Low Power / UPF · All levels

CPF vs UPF: Comparison Matrix

Comparison Matrix for CPF vs UPF.

Comparison matrix

State and domain modeling choices trade clarity, flexibility, and tool robustness.

diagram

+------------------+----------------+----------------+----------------+
| Approach         | Strength       | Weakness       | Best when      |
+------------------+----------------+----------------+----------------+
| Conservative     | robust         | higher overhead | new architecture |
| Balanced         | efficient      | needs coverage | production     |
| Aggressive       | low leakage    | higher escape risk | late tuning    |
| Refactor         | clean model    | long cycle     | repeated escapes |
+------------------+----------------+----------------+----------------+

When to choose each approach

Choose policy based on transition-risk profile and release phase

Interview traps

Policy copied without domain context
No transition replay evidence

Evidence comparison

diagram

LOW-POWER EVIDENCE MATRIX — CPF vs UPF

+----------------------+-----------------------------+-----------------------------+-------------------------+
| Evidence             | Tells you                   | Does not prove              | Next action             |
+----------------------+-----------------------------+-----------------------------+-------------------------+
| UPF lint report      | object validity             | transition behavior         | run transition tests    |
| state coverage       | visited states/transitions  | crossing correctness        | inspect policy binding  |
| waveform + PMU trace | signal ordering             | full scenario completeness  | extend regression set   |
| formal LP checks     | proven policy classes       | analog/transient IR effects | pair with signoff IR    |
| signoff dashboard    | closure trend               | local root cause            | assign owner + action   |
+----------------------+-----------------------------+-----------------------------+-------------------------+

Low-power deep dive

Power intent must be explicit, reviewable, and tool-consistent from day one.

Concept diagram

diagram

POWER INTENT FLOW

architecture -> UPF objects -> tool binding -> verification evidence

Metric graph

diagram

INTENT QUALITY

bound policies      ████████████ high
stale references    ███          medium risk
missing states      ██           high risk

Reports and artifacts

PST report
domain map
UPF lint
policy binding summary

Mini case study

One missing PST entry blocked legal retention mode and caused false debug loops.

Debug branches

Check legal state table first
Audit policy binding IDs
Freeze UPF revision tags

Senior review question

Ask: what transition evidence proves this topic is closed, and which owner signs it?

Key takeaways

State transition context must accompany every low-power metric claim.
Intent changes require simulation, formal, and implementation re-validation.

Common pitfalls

Comparing results from mismatched UPF revisions.
Assuming static checks replace transition validation.
Shipping with aged waivers and unclear ownership.

Execution drill pack 1

Use this pack to rehearse low-power closure on low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

State transition explicitly named with legal source/target states.
Crossing and domain ownership are mapped and agreed.
Policy controls are traced to always-on source logic.
Waveform bookmarks align controls with state timestamps.

Review prompts

Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?

Evidence capsule

diagram

LP EVIDENCE CAPSULE 1

PATH: low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 2

Use this pack to rehearse low-power closure on low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

State transition explicitly named with legal source/target states.
Crossing and domain ownership are mapped and agreed.
Policy controls are traced to always-on source logic.
Waveform bookmarks align controls with state timestamps.

Review prompts

Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?

Evidence capsule

diagram

LP EVIDENCE CAPSULE 2

PATH: low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 3

Use this pack to rehearse low-power closure on low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

State transition explicitly named with legal source/target states.
Crossing and domain ownership are mapped and agreed.
Policy controls are traced to always-on source logic.
Waveform bookmarks align controls with state timestamps.

Review prompts

Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?

Evidence capsule

diagram

LP EVIDENCE CAPSULE 3

PATH: low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 4

Use this pack to rehearse low-power closure on low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

State transition explicitly named with legal source/target states.
Crossing and domain ownership are mapped and agreed.
Policy controls are traced to always-on source logic.
Waveform bookmarks align controls with state timestamps.

Review prompts

Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?

Evidence capsule

diagram

LP EVIDENCE CAPSULE 4

PATH: low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 5

Use this pack to rehearse low-power closure on low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

State transition explicitly named with legal source/target states.
Crossing and domain ownership are mapped and agreed.
Policy controls are traced to always-on source logic.
Waveform bookmarks align controls with state timestamps.

Review prompts

Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?

Evidence capsule

diagram

LP EVIDENCE CAPSULE 5

PATH: low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 6

Use this pack to rehearse low-power closure on low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

State transition explicitly named with legal source/target states.
Crossing and domain ownership are mapped and agreed.
Policy controls are traced to always-on source logic.
Waveform bookmarks align controls with state timestamps.

Review prompts

Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?

Evidence capsule

diagram

LP EVIDENCE CAPSULE 6

PATH: low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 7

Use this pack to rehearse low-power closure on low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

State transition explicitly named with legal source/target states.
Crossing and domain ownership are mapped and agreed.
Policy controls are traced to always-on source logic.
Waveform bookmarks align controls with state timestamps.

Review prompts

Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?

Evidence capsule

diagram

LP EVIDENCE CAPSULE 7

PATH: low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 8

Use this pack to rehearse low-power closure on low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

State transition explicitly named with legal source/target states.
Crossing and domain ownership are mapped and agreed.
Policy controls are traced to always-on source logic.
Waveform bookmarks align controls with state timestamps.

Review prompts

Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?

Evidence capsule

diagram

LP EVIDENCE CAPSULE 8

PATH: low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 9

Use this pack to rehearse low-power closure on low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

State transition explicitly named with legal source/target states.
Crossing and domain ownership are mapped and agreed.
Policy controls are traced to always-on source logic.
Waveform bookmarks align controls with state timestamps.

Review prompts

Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?

Evidence capsule

diagram

LP EVIDENCE CAPSULE 9

PATH: low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 10

Use this pack to rehearse low-power closure on low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

State transition explicitly named with legal source/target states.
Crossing and domain ownership are mapped and agreed.
Policy controls are traced to always-on source logic.
Waveform bookmarks align controls with state timestamps.

Review prompts

Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?

Evidence capsule

diagram

LP EVIDENCE CAPSULE 10

PATH: low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 11

Use this pack to rehearse low-power closure on low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

State transition explicitly named with legal source/target states.
Crossing and domain ownership are mapped and agreed.
Policy controls are traced to always-on source logic.
Waveform bookmarks align controls with state timestamps.

Review prompts

Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?

Evidence capsule

diagram

LP EVIDENCE CAPSULE 11

PATH: low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 12

Use this pack to rehearse low-power closure on low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

State transition explicitly named with legal source/target states.
Crossing and domain ownership are mapped and agreed.
Policy controls are traced to always-on source logic.
Waveform bookmarks align controls with state timestamps.

Review prompts

Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?

Evidence capsule

diagram

LP EVIDENCE CAPSULE 12

PATH: low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Execution drill pack 13

Use this pack to rehearse low-power closure on low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix: transition framing, policy ownership, implementation evidence, and release confidence.

Transition checklist

State transition explicitly named with legal source/target states.
Crossing and domain ownership are mapped and agreed.
Policy controls are traced to always-on source logic.
Waveform bookmarks align controls with state timestamps.

Review prompts

Which policy object is first to deviate from intent?
Which owner can apply the smallest reversible fix?
What regression matrix proves no collateral damage?
Which waiver conditions would still block release?

Evidence capsule

diagram

LP EVIDENCE CAPSULE 13

PATH: low-power/power-intent-fundamentals/cpf-vs-upf/comparison-matrix
STATE WINDOW: <from -> to>
POLICY OBJECT: <isolation / retention / shifter / switch>
OWNER: <name>
PRIMARY ARTIFACT: <report/waveform/formal result>
RELEASE DECISION: <close / bounded waiver / escalate>

Principal LP review addendum

CPF and UPF express similar low-power intent with different constructs; migration quality depends on preserving domain policy semantics, not syntax.

Metric: intent migration completeness, semantic mismatch count, and review waivers

Practice this lesson