Skip to main content

A registered result in its source context

Original ledger classification: Exact identity-grade compression [Identity] with the operator-level relation bridge typed HONESTLY as classical incidence algebra (mu*log = Lambda in matrix clothes -- the value is the packaging + the four-comb discipline transport at operator level, NOT new mathematics); the -4 triple point is ONE machine-checked integer (Hecke = Gauss = Walsh = a_3); the bent/character MUB partner of v800 REPORTED with no upgrade; controls fire; no marker move (Python-only per GATE.WOLFRAM.02)

Recorded statement: ARF.BENT.CSS.01: exact bent phase and CSS code identities; Mangoldt incidence experiment 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

ARF.BENT.CSS.01

Original ledger classification: Exact identity-grade compression [Identity] with the operator-level relation bridge typed HONESTLY as classical incidence algebra (mu*log = Lambda in matrix clothes -- the value is the packaging + the four-comb discipline transport at operator level, NOT new mathematics); the -4 triple point is ONE machine-checked integer (Hecke = Gauss = Walsh = a_3); the bent/character MUB partner of v800 REPORTED with no upgrade; controls fire; no marker move (Python-only per GATE.WOLFRAM.02)

Original claim text

ARF.BENT.CSS.01: exact bent phase and CSS code identities; Mangoldt incidence experiment moved to Prime Front. Original module ID retained; original complete mixed record is preserved in extraction provenance.

Original classification detail

ARF-BENT-CSS-EXACT + MANGOLDT-COMMUTATOR-EXACT: s_q-hat = -4 s_q on all 16 (W^2 = 16I, perfect autocorrelation 16 delta); (16,6,2) difference set {0} u 5bar; A_q = C_iso^perp = [15,5,6] with the 31-word structural census; [[15,5,3]] -> [[16,4,4]] (the 60 minimal words = the 60 isotropic planes, the s_Arf = 0 rows of the v852 table; vacuum transformation typed: slot +1, logical qubit -1, distance 3 -> 4); the -4 triple point Hecke = Gauss = Walsh = a_3 (v785: 32 = 28 - (-4)); the 16 bent translates a second Gram-16I frame mutually unbiased vs the characters (+-4; reported, no upgrade); L = -M[D,Z] = -[D, log Z] = T(Lambda) exact three ways (BCH truncates; log Z rational), L^k = ordered chains (nilpotency floor(log2 N) + 1), the four-comb discipline at operator level (Epstein leak [6,14,21,...] exact, first unramified 21 = 3x7, repaired by a_A + a_B = 1 * chi_{-20}; ideal-level Dedekind Lambda_K with norm aggregation (1 + chi4) Lambda), the carrier bridge (the deployed mu-pairing IS row one of L; rows are shifts; L^2 - [D,L] = T(mu*log^2) -- the Selberg hierarchy)

Dependencies as recorded

ARF.VACUUM.SYNDROME.01; PRIME.RELATION.MULT.01; v535; v774; v785; v800; v819; v820; v852

Open the original ledger source, row 710

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

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

    ARF.BENT.CSS.01: exact bent phase and CSS code identities; Mangoldt incidence experiment 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