FPRD LabShare an approach

← Claims

Counterexample · indeterminacy

FPRD-QA-FAIL08

Raw secondary receipts are not canonical

Exact statement

Different first-stage corrections can change the raw secondary receipt; only its coset modulo induced correction images is canonical.

StatusProved and checked
External reviewNo documented external or specialist review of this Quotient Arsenal result is recorded.

Context

The general calculus treats a failed lift as a cocycle, its cohomology class as the obstruction, and a primitive—when one exists—as the receipt that repairs the presentation.

Proof or evidence

Two intermediate lifts give raw values 0 and 2 but the same secondary coset.

Self-contained cohomological sewing proof and evidence →

Verification notes

The exact archived proofs were reconstructed, the displayed hypotheses and degree conventions were checked, the original finite controls were replayed, and an independent implementation tested the connecting, graph-transport, staged, and missing-subcomplex boundaries.

Limitations

  • No novelty or specialist-review claim is made; the statement is limited to the displayed presentation and hypotheses.

Open work

Publish staged receipts as cosets, not chosen representatives.