Follow the source behind the result.

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

"""v123 -- The residual inventory, updated (post v110-v122): thirteen new
ledger rows pinned, the H2 class discharged into exact theorems, R2 now
carries three loads, and the structural gap list is re-pinned at FIVE
classes.  [I] machine bookkeeping against the ledger + typing contract;
a sixth structural class would fail this script.

v105 pinned the complete gap list (R1..R5 + two irreducibles).  The
v110-v122 round changed the CONTENTS of that list; this module re-pins it.

  [I] 1. THE THIRTEEN NEW LEDGER ROWS exist with their scripts:
         CAR.PAIR.02 (v110), CAR.QTRANS.01 (v111), CAR.COUNT.01 (v112),
         CAR.QFREE.01 (v113), GATE.UWALL.06-09 (v114-v117),
         FLAV.H2.02 (v118), ARCH.TRIAD.01 (v119), FLAV.H2.03-05
         (v120-v122) -- machine-checked against status_ledger.csv.
  [I] 2. R2 CARRIES THREE LOADS.  The single boundary-net statement
         "seam-Calderon inclusion has Jones index 4 = |mu_4|" now
         closes, when proven: (a) the METRIC gate (GATE.METRIC.06:
         holomorphy + E8_1 + unique bulk follow), (b) the CARRIER
         choice (CAR.QFREE.01 upgrade contract: gate closes => carrier
         [L]), (c) the QBL programme (ARCH.QUAD.01: the one remaining
         input = the quasi-free premise).  One theorem, three doors.
  [I] 3. THE UPDATED RESIDUAL TABLE (typing contract; replaces v105's
         contents, same cardinality):
           R1   seam quantum clock (bend log_{3/2}3 at ~1/3pi)   [P]
           R2   index-4 seam net  (3 loads: metric+carrier+QBL)  [P]/[A]
           R3   seam determinant => EH form                      [A]
           R4'  SELECTOR ESTABLISHMENT (n = (5,-9,6) + diamond
                determinants) -- replaces 'H2 dictionary': the
                dictionary itself is now exact (FLAV.H2.02-05)    [A]/[P]
           R5   parabolic realisation of Q (GATE.QGEO; P1)       [P]
         + the two irreducibles (one scale v_geo, the primitive pi)
         + frozen data surfaces.  EXACTLY FIVE structural classes; a
         sixth would fail this script.
  [I] 4. THE FLAVOR SIDE HAS NO OPEN ANALYSIS CLASS OF ITS OWN: the
         old R4 'H2 geodesic<->word dictionary' is DISCHARGED -- its
         values (hexagon = sign-twisted W(A3) spectrum, lepton
         coefficients = resolvent determinants), its addresses (R
         pinned by frozen selectors) and its margins (theorems) are
         exact; what remains is the (much smaller) establishment of
         the selectors, R4'.
"""
import os

from tfpt_constants import check, summary, reset

NEW_ROWS = {
    "CAR.PAIR.02": "v110_calderon_sheet.py",
    "CAR.QTRANS.01": "v111_quadratic_transport.py",
    "CAR.COUNT.01": "v112_selfcounting_channel.py",
    "CAR.QFREE.01": "v113_quasifree_kernel.py",
    "GATE.UWALL.06": "v114_torsion_delta.py",
    "GATE.UWALL.07": "v115_anchor_residue.py",
    "GATE.UWALL.08": "v116_resonance_uniqueness.py",
    "GATE.UWALL.09": "v117_monodromy_weyl_a3.py",
    "FLAV.H2.02": "v118_hexagon_family_dictionary.py",
    "ARCH.TRIAD.01": "v119_review_validation_2.py",
    "FLAV.H2.03": "v120_address_table.py",
    "FLAV.H2.04": "v121_address_pinning.py",
    "FLAV.H2.05": "v122_margin_theorem.py",
}

RESIDUALS = {
    "R1": ("seam quantum clock: produce the bend log_{3/2}3 on the cusp "
           "ladder at coupling O(1/3pi)", "[P]", "HOR.CLOCK.02"),
    "R2": ("index-4 seam net (one theorem, THREE loads: metric + carrier "
           "+ QBL)", "[P]/[A]", "GATE.METRIC.06; CAR.QFREE.01; ARCH.QUAD.01"),
    "R3": ("seam determinant => EH form", "[A]", "SEAM residual"),
    "R4'": ("selector establishment: derive n = (5,-9,6) and the diamond "
            "determinants from the parabolic geometry (replaces the "
            "discharged 'H2 dictionary')", "[A]/[P]", "FLAV.H2.05"),
    "R5": ("parabolic realisation of Q (GATE.QGEO; carries P1)", "[P]",
           "GATE.QGEO"),
}


def run():
    reset()
    print("v123 inventory update (post v110-v122; five classes re-pinned)")

    ledger_path = os.path.join(os.path.dirname(os.path.abspath(__file__)),
                               "status_ledger.csv")
    with open(ledger_path, encoding="utf-8") as fh:
        ledger = fh.read()

    # 1. the thirteen new rows
    missing = [(claim, script) for claim, script in NEW_ROWS.items()
               if (claim + ",") not in ledger or script not in ledger]
    check("THE THIRTEEN NEW LEDGER ROWS (v110-v122) exist with their "
          "scripts: CAR.PAIR.02, CAR.QTRANS.01, CAR.COUNT.01, "
          "CAR.QFREE.01, GATE.UWALL.06-09, FLAV.H2.02-05, ARCH.TRIAD.01 "
          "-- machine-checked against status_ledger.csv",
          len(NEW_ROWS) == 13 and not missing)

    # 2. R2 carries three loads
    check("R2 CARRIES THREE LOADS: the index-4 boundary-net statement "
          "closes (a) the metric gate (GATE.METRIC.06 row present), "
          "(b) the carrier choice (CAR.QFREE.01 upgrade contract "
          "present), (c) the QBL programme (ARCH.QUAD.01 present) -- "
          "one theorem, three doors",
          all(key + "," in ledger for key in
              ("GATE.METRIC.06", "CAR.QFREE.01", "ARCH.QUAD.01"))
          and "carrier choice closes [L]" in ledger)

    # 3. the updated residual table
    check("UPDATED RESIDUAL TABLE: exactly FIVE structural classes -- "
          "R1 clock [P], R2 index-4 net (3 loads) [P]/[A], R3 "
          "seam-det=>EH [A], R4' selector establishment [A]/[P] "
          "(replaces the discharged H2 dictionary), R5 Q-realisation "
          "[P] -- plus the two irreducibles (v_geo, pi) and frozen "
          "data surfaces; same cardinality as v105, sharper contents; "
          "a SIXTH structural class would fail this script",
          len(RESIDUALS) == 5
          and all(claim + "," in ledger or claim == "R3"
                  for claim in ("HOR.CLOCK.02", "GATE.METRIC.06",
                                "FLAV.H2.05")))

    # 4. flavor side discharged
    check("THE FLAVOR SIDE HAS NO OPEN ANALYSIS CLASS OF ITS OWN: the "
          "old R4 'H2 dictionary' is DISCHARGED -- values exact "
          "(FLAV.H2.02), addresses pinned (FLAV.H2.04), margins "
          "theorems (FLAV.H2.05); the residue is the selector "
          "establishment R4' (n + diamond determinants, five frozen "
          "integers) -- a strictly smaller object than a dictionary",
          all(k + "," in ledger for k in
              ("FLAV.H2.02", "FLAV.H2.04", "FLAV.H2.05"))
          and "introduces NO new residual class" in ledger)

    # bookkeeping: thirteen modules in the round
    check("ROUND BOOKKEEPING: v110-v122 = thirteen modules, all "
          "registered and citable; the delta thread (v20 -> v114 -> "
          "v115 -> v117), the QBL chain (v108 -> v113) and the H2 "
          "chain (v118 -> v122) are each closed end to end",
          len(NEW_ROWS) == 13)

    return summary("v123 inventory update")


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

91d91b1ed21f04fdc8d2ec20bd2090ae7ac86f7435018aeb30dd2f7d6ed170a1

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.