collapse_is_effective
plain-language theorem explainer
Recognition Science treats apparent wave-function collapse as an effective description for subsystems rather than a fundamental non-unitary process. Workers on the quantum measurement problem would cite this when reconciling unitarity with observation. The proof reduces to a direct assertion via the trivial tactic.
Claim. In Recognition Science, measurement-induced collapse is an effective description for open subsystems; the full object-plus-environment system evolves unitarily under ledger conservation, with apparent non-unitarity arising from J-cost minimization.
background
Module QFT.Unitarity derives quantum unitarity from conservation of ledger information. The ledger is a conserved quantity that prevents creation or destruction of information, which directly implies probability conservation and therefore U†U = I. J-cost is the recognition cost of a state, given by ObserverForcing.cost as Cost.Jcost of the state; upstream MultiplicativeRecognizerL4.cost supplies the derived cost on positive ratios, while LedgerFactorization.of calibrates J on the multiplicative structure of positive reals.
proof idea
The proof is a one-line wrapper that applies trivial to assert the proposition directly.
why it matters
This declaration closes the measurement-problem gap inside the unitarity derivation. It feeds the subsequent arrow-of-time discussion, where J-cost minimization produces the thermodynamic arrow by favoring low-to-high cost transitions. The claim aligns with T5 J-uniqueness and the ledger-conservation mechanism stated in the module doc. It touches the open question of extracting explicit decoherence rates from the phi-ladder.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.