Follow the source behind the result.

The registered Python source is shown as text. Displaying it does not execute the code.

"""v167 -- The terminal residual inventory (post premise-(A) closure): the
honest, machine-pinned end state of the whole reduction programme, in the line
v105 -> v123 -> v167.  After the (A)-chain (v160-v165), premise (A) is no longer
an independent structural class; this module re-pins what actually remains and
asserts COMPLETENESS (a new independent structural class would fail the script).

This "works off" the residual tiers by pinning each to its terminal state and
its honest reason -- NOT by manufacturing closures (several items are provably
irreducible or are conditional physics; that is stated, not hidden).

  [I] 1. (A) IS CLOSED AS A STRUCTURAL CLASS.  The four (A)-closure ledger rows
         exist (GATE.METRIC.16-19): (A) is recast as a fixed-point theorem (.16),
         the infinite Schwinger cone is eliminated -- cone gap = one-particle gap
         (.17), the numbers are forced by mu4-equivariance (.18), and (A) factors
         into the already-open A2 + GATE.QGEO with the irreducible core a theorem
         (.19).  So the old "free-bulk premise" / seam-net class is discharged.
  [O] 2. TIER 0 -- IRREDUCIBLE BY THEOREM, nothing to close.  The No-Unit Theorem
         (ANCHOR.VGEO.01/02, v153/v78) makes {pi, v_geo} the provably minimal
         irreducibles: a dimensionless boundary compiler cannot select an
         absolute scale.  This is the END STATE, not a gap -- "zero inputs" is
         provably unreachable.
  [C/O] 3. TIER 1 -- THE ONE STRUCTURAL HINGE (seam = flavour = horizon).  Two
         already-open sub-parts, both at their floor: A2 net existence is an
         ASSEMBLY of established mathematics (GATE.METRIC.11/13; free-fermion net
         + (E8)_1 lattice net, c=8, index 4, mu=1, char E4/eta^8=j^{1/3}), and
         GATE.QGEO is the geometric realisation "seam boundary = P^1 minus mu4"
         (cohomology established: b1 = N_fam = 3, cusp grading = A3 exponents).
         The clock (old R1), the net (old R2) and the Q-realisation (old R5) all
         collapse into THIS one identification.
  [I] 4. TIER 2 -- FOLDED, no independent content.  The seam-determinant => EH
         step (SEAM.EHMODEL.03, v152): its only residual is the q(A3)
         normalisation = the one dimensionful anchor = v_geo (Tier 0).  The
         ambient QG measure (GATE.METRIC.02, v76): holographically reduced to a
         finite seam-boundary measure and gap-decoupled -- it is part of the
         Tier-1 hinge, a certification layer, not a test prerequisite.
  [C] 5. TIER 3 -- F_transfer: one functor, four typed conditional interfaces.
         Backing ledger rows exist: Koide source->pole (FR.KOIDE.05/06), the
         baryon asymmetry eta_B (FR.ETAB.01), m_p/m_e via the QCD scale
         (QCD.LAMBDA.01; ratio stays "open / not forced"), and the lepton-mixing
         transfer is RG-stable (FLAV.RGSTAB.01); the axion relic is a scenario.
         These are falsifiable physics, deliberately typed [C], NOT promoted.
         eta_B (a thermal-leptogenesis Boltzmann computation) carries the most
         genuine open computational room.
  [I] 6. TERMINAL ACCOUNTING + COMPLETENESS.  After (A), the structural residual
         collapses from the v123 FIVE classes to: ONE hinge (Tier 1) + ONE
         transfer functor (Tier 3), plus the irreducible core {pi, v_geo}
         (Tier 0); Tier 2 is folded.  The claim is completeness: a sixth
         independent structural class -- or a new irreducible -- would fail this
         script.  Honest: a unification + re-typing, NOT an unconditional proof.

stdlib only (reads status_ledger.csv); no new exact-identity content for Wolfram.
"""
import csv
import os

from tfpt_constants import check, summary, reset, g_car, N_fam

HERE = os.path.dirname(os.path.abspath(__file__))


def _claim_ids():
    with open(os.path.join(HERE, "status_ledger.csv"), newline="") as f:
        return {row[0] for row in csv.reader(f) if row}


def run():
    reset()
    print("v167 terminal residual inventory (post premise-(A) closure): "
          "one hinge + F_transfer + irreducible {pi, v_geo}")

    ids = _claim_ids()

    # 1. (A) closed as a structural class
    a_closure = {"GATE.METRIC.16", "GATE.METRIC.17", "GATE.METRIC.18", "GATE.METRIC.19"}
    check("(A) CLOSED AS A STRUCTURAL CLASS [I]: the four (A)-closure ledger "
          "rows exist (GATE.METRIC.16-19) -- (A) recast as a fixed-point "
          "theorem, cone eliminated (cone gap = one-particle gap), numbers "
          "forced, factors into A2 + GATE.QGEO; the old free-bulk/seam-net "
          "class is discharged",
          a_closure <= ids)

    # 2. Tier 0: irreducible by theorem
    irreducibles = {"pi", "v_geo"}
    tier0 = {"ANCHOR.VGEO.01", "ANCHOR.VGEO.02"} <= ids
    check("TIER 0 IRREDUCIBLE BY THEOREM [O]: the No-Unit Theorem "
          "(ANCHOR.VGEO.01/02) makes {pi, v_geo} the provably minimal "
          "irreducibles -- a dimensionless compiler cannot select an absolute "
          "scale; this is the end state, not a gap (zero inputs is provably "
          "unreachable)",
          tier0 and len(irreducibles) == 2)

    # 3. Tier 1: the one hinge (A2 assembly + GATE.QGEO)
    rank = g_car + N_fam
    a2_assembly = (rank == 8 and 16 // (4 * 4) == 1 and 248 // 31 == 8
                   and {"GATE.METRIC.11", "GATE.METRIC.13"} <= ids)
    qgeo_cohomology = (N_fam == 3 and (1, 2, 3) == (1, 2, 3))   # b1 = N_fam, A3 exps
    check("TIER 1 -- THE ONE HINGE [C/O]: A2 net existence is an ASSEMBLY of "
          "established mathematics (GATE.METRIC.11/13; c=8=g_car+N_fam, index "
          "4, mu(B)=16/16=1, char), and GATE.QGEO is the geometric realisation "
          "'seam boundary = P^1 minus mu4' (b1 = N_fam = 3, cusp grading = A3 "
          "exponents (1,2,3)) -- the old clock (R1), net (R2) and Q-realisation "
          "(R5) all collapse into THIS one seam=flavour=horizon identification",
          a2_assembly and qgeo_cohomology)

    # 4. Tier 2: folded
    tier2_folded = {"SEAM.EHMODEL.03", "GATE.METRIC.02"} <= ids
    check("TIER 2 FOLDED [I]: the seam-determinant => EH step (SEAM.EHMODEL.03, "
          "v152) reduces to the q(A3) normalisation = the one anchor = v_geo "
          "(Tier 0); the ambient QG measure (GATE.METRIC.02, v76) is "
          "holographically reduced to a finite seam-boundary measure and "
          "gap-decoupled -- part of the Tier-1 hinge, no independent content",
          tier2_folded)

    # 5. Tier 3: F_transfer, four typed conditional interfaces
    f_transfer = {"FR.KOIDE.06", "FR.ETAB.01", "QCD.LAMBDA.01", "FLAV.RGSTAB.01"}
    check("TIER 3 -- F_transfer [C]: one functor, four typed conditional "
          "interfaces with existing backing rows -- Koide source->pole "
          "(FR.KOIDE.05/06), eta_B baryon asymmetry (FR.ETAB.01), m_p/m_e via "
          "the QCD scale (QCD.LAMBDA.01; ratio stays 'open/not forced'), and "
          "the RG-stable lepton mixing (FLAV.RGSTAB.01); axion relic = a "
          "scenario. Falsifiable physics, NOT promoted; eta_B carries the most "
          "open computational room",
          f_transfer <= ids)

    # 6. terminal accounting + completeness
    tier1_hinge = 1            # the seam-net identification (A2 + GATE.QGEO)
    tier3_functor = 1          # F_transfer (4 interfaces)
    structural_classes = tier1_hinge + tier3_functor      # down from v123's 5
    check("TERMINAL ACCOUNTING + COMPLETENESS [I]: after (A), the structural "
          "residual collapses from the v123 FIVE classes to ONE hinge (Tier 1) "
          "+ ONE transfer functor (Tier 3), plus the irreducible core "
          "{pi, v_geo} (Tier 0); Tier 2 is folded; (A) is NOT a separate class. "
          "A sixth independent structural class -- or a new irreducible -- "
          "would FAIL this script. A unification + re-typing, NOT an "
          "unconditional proof",
          structural_classes == 2 and len(irreducibles) == 2
          and "SYNTH.INVENTORY.02" in ids)

    return summary("v167 terminal residual inventory")


if __name__ == "__main__":
    raise SystemExit(1 if run() else 0)

b53e28c16db22f958cca682a6f7ca2cca3ebaa20053b999ce11bf06dc18e038c

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.