G.11:2 - Problem — Why naive refresh breaks comparability and admissibility
A refresh loop fails (conceptually) when any of the following happens:
- Full-rerun mania. Minor edits (e.g., a single Bridge calibration) trigger pack-wide rebuilds without a traceable scope rationale.
- Editionless telemetry. Telemetry signals are recorded without edition pins, making reruns non-comparable and parity-unreplayable.
- Alias-as-semantics. Local trigger aliases are treated as if they define meaning, fragmenting refresh semantics across patterns.
- Silent crossings. Refresh actions implicitly change crossing assumptions (UTS, Path, or policy pins) without a visible CrossingBundle.
- Orchestration smuggles semantics. Refresh introduces new default behaviors (dominance,
PortfolioMode, or Γ-fold) or coerces partial orders into scalars “for convenience.”