Skip to main content

A registered result in its source context

Original ledger classification: Closed finite theorem [E] (the intertwiner exists and is exact; the exponent reading is typed as consistent, not as the unique derivation); no marker move

Recorded statement: THE FLAVOR HEXAGON IS THE COMPILER AUTOMORPHISM ORBIT (closed 2026-08-09, round CV; promoted round CVIII in v888; probe cfin_aut_flavor_probe.py 19/19 C6FLAVOR-MEASURED + INTERTWINED): Aut(C_fin) recomputed by exhaustive enumeration = C_6;…

Statement, assumptions and sources

Paper context: 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.AUT.FLAVOR.C6.01

Original ledger classification: Closed finite theorem [E] (the intertwiner exists and is exact; the exponent reading is typed as consistent, not as the unique derivation); no marker move

Original claim text

THE FLAVOR HEXAGON IS THE COMPILER AUTOMORPHISM ORBIT (closed 2026-08-09, round CV; promoted round CVIII in v888; probe cfin_aut_flavor_probe.py 19/19 C6FLAVOR-MEASURED + INTERTWINED): Aut(C_fin) recomputed by exhaustive enumeration = C_6; the pinned generator g satisfies g^2 = the deployed family 3-cycle sigma EXACTLY (sharp, not inverse) and g^3 = the W-edge sheet swap (the S_2 factor of Stab_{S5}(W); honest: no sheet involution is deployed on V itself); the induced action on Lambda^2 E has cycle type 1 + 3 + 6 with orbits = the charge-pure Petersen distance shells, and the 6-orbit IS the deployed v808 hexagon transport edge for edge (up to D_6, orientation -1); the recovery value reads as one full automorphism orbit: (|Z_2|/N_fam)^{|Aut(C_fin)|} = (2/3)^6 = 64/729 == the frozen corpus value (exact Fractions, no fit; typed as a consistent NEW READING -- the corpus derivation via p_2 = |R+(A3)| stands). CONTROL (census, not narration): 0 of the 600 symplectic maps preserving hbar but not q* factor consistently as g^2/g^3; a scrambled transport table fails the D_6 match. Exact arithmetic; no marker moves.

Original classification detail

CLOSED [E]: g^2 = sigma exact; the hexagon = the Aut(C_fin) 6-orbit on Lambda^2 E; (2/3)^6 = the recovery value; 0/600 non-automorphisms factor

Dependencies as recorded

v845; v849; v808; v857

Open the original ledger source, row 724

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

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

    DOILY.S6.IRREP.01 + DOILY.PLUCKER.GR25.01 + CFIN.ANCHOR.HADAMARD.01 + CFIN.S6.VACUUM.01 + CFIN.AUT.FLAVOR.C6.01 + CFIN.K6.MOTIF.01 + DOILY.PFAFFIAN.WICK.01 + P2.SELFHOSTING.PAIRING.01 + ANCHOR.MOD30.CLOCK.01: **die komplette endliche Pfaffian/K₆-Signatur (27/27 + 19/19 + 42/42, exakte Ganzzahl/sympy)** — Specht-Kanäle (1, 0, 2/3) exakt; die 15 Doily-Linien SIND die 15 Plücker-Monome von Gr(2,5) mit perfektem Vorzeichen-Match; (16,6,2,10)-Hadamard-Anker; S₆→S₅-Vakuumselektion (Orbits [1,5,10] mengengleich (Λ⁰,Λ⁴,Λ²)); DER FLAVOR-HEXAGON IST DIE Aut(C_fin)-BAHN (g² = σ exakt, (2/3)⁶ = Recovery, 0/600 Nicht-Automorphismen faktorisieren); K₆-Motiv (35 = 15 Matchings + 20 Dreiecke); die fermionischen Pfaffian-Vorzeichen GAUGE-MATCHED via kanonischem χ(i) = (−1)^{i+1} (dreifach identifiziert); SELFHOSTING: C(g+1,2) = g‼ ⟹ g = 5 einzig nichttrivial, N_fam = 3 ([E]-Satz, Wick-Prämisse [O]); Mod-30-Uhr CLOCK-DISTINGUISHED ({5,10,15,30}, lcm 30); äußere-Automorphismus-Signatur exakt.

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