A registered result in its source context
Original ledger classification: Exact [E] order-exact budget identifications (pure integers, exhaustive false-positive controls) with the entry-level reconstruction NEGATIVE; typed audit fingerprint at budget level
Recorded statement: FLAVOR.GRAPH.FILTRATION.01: the flavor-matrix filtration Q -> K -> L as an incidence-compiler fingerprint -- budgets exact, entries NOT reconstructible, one probe (16/16 checks incl. the 4 must-fire controls, ~1 s; discovery probe…
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
FLAVOR.GRAPH.FILTRATION.01
Original ledger classification: Exact [E] order-exact budget identifications (pure integers, exhaustive false-positive controls) with the entry-level reconstruction NEGATIVE; typed audit fingerprint at budget level
Original claim text
FLAVOR.GRAPH.FILTRATION.01: the flavor-matrix filtration Q -> K -> L as an incidence-compiler fingerprint -- budgets exact, entries NOT reconstructible, one probe (16/16 checks incl. the 4 must-fire controls, ~1 s; discovery probe flavor_graph_filtration_probe.py, 2026-08-06, verdict FILTRATION-FINGERPRINT-ONLY). THE BUDGET IDENTIFICATIONS ARE EXACT AND ORDER-EXACT: Q row budgets (4, 5, 6) = (|E(K3) u E(K2)|, |V(K5)|, |E(K_{3,2})|), K row budgets (6, 9, 10) = (|E(K_{3,2})|, |E(L(K_{3,2}))| with the line graph certified isomorphic to the triangular prism AND the hexagon circulant C6(2,3), |E(K5)|), L row budgets (10, 14, 16) = (|E(K5)|, #wt-4 words of H8, |H8|) -- with the level-wise additivity (4, 5, 6) + (6, 9, 10) = (10, 14, 16) mirroring the deployed L = K + Q (v37/v4) exactly; the deployed matrices located (v11/v12/v37/v4; v11 uniqueness re-derived in pure integers); control C1 certifies the identifications hold in EXACTLY the identity order. THE DECISIVE BAR (frozen: row sums alone do NOT count): NO frozen structural candidate -- 25/20/47 flag- classifier and operator-quotient candidates per level, entry-exact comparison with all 6 column permutations -- reproduces ANY of the three deployed matrices entry-wise (per-row matches recorded as fingerprint data; K rows 2-3 and all L rows have ZERO candidates). THE CONTROLS MAKE THE MISS INFORMATIVE: the exhaustive false-positive census over ALL nonneg-integer matrices with the deployed row sums gives rates 0.748% / 0.035% / 0.005% (Q/K/L) -- the candidate set is not vacuously flexible, so the entry-level failure is a real structural boundary, not a weak test; the wrong split 4|1 and the non-extended Hamming [7,4] break the Q/K/L identifications as predeclared. TYPED: the identification is an AUDIT FINGERPRINT at the budget level, not an entry-level incidence construction. Matrix-structure archaeology only -- no mass/physics claim. No marker move, NO RH claim. Python-only per GATE.WOLFRAM.02.
Original classification detail
FILTRATION-FINGERPRINT-ONLY: Q (4,5,6) / K (6,9,10) / L (10,14,16) = exact counts of the K_{3,2}/prism/K5/H8 incidence chain, order-exact, with level-wise additivity mirroring L = K + Q; deployed matrices located (v11/v12/v37/v4); NO entry-level reconstruction from any frozen candidate (25/20/47 per level); exhaustive false-positive rates 0.005-0.75% -- the misses are informative; typed audit fingerprint.
Dependencies as recorded
FLAV.PENCIL.01; v11; v12; v37; v4; v752
Open the original ledger source, row 699Location 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.
- Standard Model and flavor structure
- E8 audit and bootstrap
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.
- Front matter / supportE8 audit and bootstrap
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Research Contract 2 — [formula in source]tfpt research contracts
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Research Contract 2 — [formula in source]Research contracts
- Research Contract 2 — [formula in source]tfpt research contracts
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.
- The flavor residue matrix is the compiler signatureStandard Model and flavor structure
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- The flavor residue matrix is the compiler signaturetfpt 2 standard model
- 2026-10-18: Project separation and retained physics historyResearch changelog; TFPT — Introduction and reading guide
Registered verification modules
- v812_flavor_graph_filtration.pyRegistered verification module · core
Read the description recorded in the module registry
FLAVOR.GRAPH.FILTRATION.01: die Flavor-Matrix-Filtration Q → K → L als Inzidenz-Compiler-Fingerabdruck — **FILTRATION-FINGERPRINT-ONLY (16/16): die Zeilen-Budgets sind EXAKTE, ordnungs-exakte Zählungen der K_{3,2}/Prisma/K5/H8-Inzidenzkette — Q (4,5,6), K (6,9,10) (Liniengraph ≅ Dreiecksprisma ≅ C6(2,3)), L (10,14,16) — mit der stufenweisen Additivität (4,5,6) + (6,9,10) = (10,14,16), die das deployte L = K + Q spiegelt (Matrizen lokalisiert: v11/v12/v37/v4; v11-Eindeutigkeit rein-ganzzahlig re-deriviert); aber KEINE Eintrags-Rekonstruktion: keiner der eingefrorenen Struktur-Kandidaten (25/20/47 pro Stufe, eintrags-exakt, 6 Spaltenpermutationen) reproduziert irgendeine deployte Matrix; die erschöpfenden False-Positive-Raten 0.748% / 0.035% / 0.005% machen die Misses INFORMATIV (Kandidatenmenge nicht vakuös); getypt: Audit-Fingerabdruck auf Budget-Niveau, keine Eintrags-Inzidenz-Konstruktion; Kontrollen 4/4
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.