Skip to main content

A registered result in its source context

Original ledger classification: Exact identity-grade uniqueness theorem [Identity] for the finite compiler object: exhaustive finite verification over F_2^4 (no floats, no RNG, no fit; orbit-stabilizer exact); the strict terminal-object reading FAILS honestly and is typed (unique up to NON-unique isomorphism, a one-object groupoid); P2 stays NARROWED to the v799 residual R1' (why THIS normal form), NOT eliminated; no marker move (Python-only per GATE.WOLFRAM.02)

Recorded statement: CFIN.UNIQUE.01: finite compiler uniqueness, one orbit and C6 automorphisms; cofinal Weil mirror moved to Prime Front. Original module ID retained; original complete mixed record is preserved in extraction provenance.

Statement, assumptions and sources

Paper context: tfpt research contracts

The exact identifier, original classification and full claim are available below.

The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.

Read the exact registered claim and its dependencies

CFIN.UNIQUE.01

Original ledger classification: Exact identity-grade uniqueness theorem [Identity] for the finite compiler object: exhaustive finite verification over F_2^4 (no floats, no RNG, no fit; orbit-stabilizer exact); the strict terminal-object reading FAILS honestly and is typed (unique up to NON-unique isomorphism, a one-object groupoid); P2 stays NARROWED to the v799 residual R1' (why THIS normal form), NOT eliminated; no marker move (Python-only per GATE.WOLFRAM.02)

Original claim text

CFIN.UNIQUE.01: finite compiler uniqueness, one orbit and C6 automorphisms; cofinal Weil mirror moved to Prime Front. Original module ID retained; original complete mixed record is preserved in extraction provenance.

Original classification detail

CFIN-UNIQUE: admissible tuple census at omega = hbar = 14400, G-orbits = 1 (orbit-stabilizer 14400 x 6 = 86400 = |Sp(4,2) x S_5| exact); Aut(C_fin) ~= C6 (element orders [1,2,3,3,6,6], faithful into Sp(4,2), the S_5 slot permutation determined by the symplectic part); the Gaussian diagram fixes the carrier triple up to the 18-element centralizer torsor, q* selector-unique, 120 iota-completions in one orbit; strict terminal reading FAILS (typed either way); controls fire (dot form 0 refinements; wrong Arf class: empty iota set; no sigma: canonicity dies 16 -> 8 -> 4 != 1)

Dependencies as recorded

AX.P2.01; NORMALFORM.CFIN.01; MESSAGE.LADDER.01; v774; v833; v844; v845

Open the original ledger source, row 708

Location recorded in the ledger

These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.

Sections that explicitly cite this claim

A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.

Navigation through a shared verification script

These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.

Registered verification modules

  • v849_cfin_unique_cofinal_lean.pyRegistered verification module · core
    Read the description recorded in the module registry

    CFIN.UNIQUE.01: finite compiler uniqueness, one orbit and C6 automorphisms; cofinal Weil mirror moved to Prime Front.

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.

Search later reviewed research for this identifierRead the coverage boundaries