Skip to main content

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 699

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

  • 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.