SuperGrokTOE · generated from library_v2.jsonl · S371a

The premise graph, regenerated from data

How the four surfaces connect. The sealed suite is the basis every other surface pins to. The Registrar holds one record per claim, parsed from that suite. Premises holds what those claims declare they rest on. Expositions are exposition built on the Registrar, and an article imports a premise closure only through a citation typed use_as_support. This page is the join, drawn from the data.

The S304 page promised in its own legend that this picture would be regenerated from library_v2.json once the library rebuild reached Stage 5. Stage 5 happened in S309. This is the first regeneration. It is still mostly a picture of an absence: the premises are registered and the first edges are declared, but most of the corpus declares nothing about what it rests on.

The join exists, and it is thin. 33 premises are registered with verbatim statements and locators. 33 record→premise edges have been declared, by hand, across 27 records — and they are editorial house judgments, each carrying its reasoning, not extracted text. 31 of 357 records now carry a non-empty premise_closure; the other 326 carry an empty one. 13 of the 33 registered premises are reached by nothing at all. An empty closure means UNKNOWN, not INDEPENDENT: a claim that reaches no premise has declared nothing, and 322 of 357 records declare no dependency of any kind.

Figure 2 — the pyramid and the ledge, generated

The S304 version of this picture was drawn by hand and frozen as four JPEGs. Its caption read “N_gen = 3 reaches none” as bedrock — a positive claim of foundational purity read off an EMPTY CLOSURE. This one is derived from library_v2.jsonl, so it cannot say more than the data. ★ It is not a pyramid. 322 of 357 records sit at dependency depth 0, and the tiers are scaled so a reader sees a slab with a spike rather than a flattering triangle. Depth 0 means nothing was declared, not that nothing is depended on; the apex is empty because 0 records are house-adjudicated and 0 have been externally peer-reviewed — the 280 PUBLISHED records passed two-lane review with a current certificate, which is not adjudication (R72); and the ledge protrudes because 13 of the 33 declared premises are reached by nothing at all. The frozen S304 panels remain at /premise-graph/s304/ as a dated record of what the programme drew before it could derive it.

THE PYRAMID AND THE LEDGE — generated from library_v2.jsonl, every number deriveddepth = longest declared chain over depends_on + uses_input + rests_on_premise, the same walk as Figure 1 and the 5-hop cell below; the composable-only walk(no premise hop) tops out one lower at 4APEX EMPTY · 0 house-adjudicated · 0 externally peer-reviewed · 280 PUBLISHED(two-lane review + certificate, not adjudication)depth 5 · 1 records1 of 357 records have a longest declared dependency chain of 5. Depth 0 means NOTHING WAS DECLARED, not that nothing is depended on.depth 4 · 2 records2 of 357 records have a longest declared dependency chain of 4. Depth 0 means NOTHING WAS DECLARED, not that nothing is depended on.depth 3 · 3 records3 of 357 records have a longest declared dependency chain of 3. Depth 0 means NOTHING WAS DECLARED, not that nothing is depended on.depth 2 · 8 records8 of 357 records have a longest declared dependency chain of 2. Depth 0 means NOTHING WAS DECLARED, not that nothing is depended on.depth 1 · 21 records21 of 357 records have a longest declared dependency chain of 1. Depth 0 means NOTHING WAS DECLARED, not that nothing is depended on.depth 0 · 322 records322 of 357 records have a longest declared dependency chain of 0. Depth 0 means NOTHING WAS DECLARED, not that nothing is depended on.BASE — peer-reviewed mathematics and measurement, and the one algebra: INHERITED, 0records of this corpus sit hereTHE LEDGE — 33 declared premisesnot derived; adopted. 13 reached by nothing.postulate 11 · 3 reached11 premises of kind POSTULATE; 3 are reached by at least one record’s declared closure.adopted premise 9 · 7 reached9 premises of kind ADOPTED_PREMISE; 7 are reached by at least one record’s declared closure.measured input 4 · 4 reached4 premises of kind MEASURED_INPUT; 4 are reached by at least one record’s declared closure.convention 1 · 1 reached1 premises of kind CONVENTION; 1 are reached by at least one record’s declared closure.loaded correspondence 5 · 5 reached5 premises of kind LOADED_CORRESPONDENCE; 5 are reached by at least one record’s declared closure.fence 2 · 0 reached2 premises of kind FENCE; 0 are reached by at least one record’s declared closure.open requirement 1 · 0 reached1 premises of kind OPEN_REQUIREMENT; 0 are reached by at least one record’s declared closure.
THE PYRAMID AND THE LEDGE — generated from library_v2.jsonl, everynumber deriveddepth = longest declared chain over depends_on + uses_input + rests_on_premise, thesame walk as Figure 1 and the 5-hop cell below; the composable-only walk (nopremise hop) tops out one lower at 4APEX EMPTY · 0 house-adjudicated · 0 externallypeer-reviewed · 280 PUBLISHED (two-lane review +certificate, not adjudication)depth 5 · 1 records1 of 357 records have a longest declared dependency chain of 5. Depth 0 means NOTHING WAS DECLARED, not that nothing is depended on.depth 4 · 2 records2 of 357 records have a longest declared dependency chain of 4. Depth 0 means NOTHING WAS DECLARED, not that nothing is depended on.depth 3 · 3 records3 of 357 records have a longest declared dependency chain of 3. Depth 0 means NOTHING WAS DECLARED, not that nothing is depended on.depth 2 · 8 records8 of 357 records have a longest declared dependency chain of 2. Depth 0 means NOTHING WAS DECLARED, not that nothing is depended on.depth 1 · 21 records21 of 357 records have a longest declared dependency chain of 1. Depth 0 means NOTHING WAS DECLARED, not that nothing is depended on.depth 0 · 322 records322 of 357 records have a longest declared dependency chain of 0. Depth 0 means NOTHING WAS DECLARED, not that nothing is depended on.BASE — peer-reviewed mathematics and measurement, and theone algebra: INHERITED, 0 records of this corpus sit hereTHE LEDGE — 33 declared premisesnot derived; adopted. 13 reached by nothing.postulate 11 · 3 reached11 premises of kind POSTULATE; 3 are reached by at least one record’s declared closure.adopted premise 9 · 7 reached9 premises of kind ADOPTED_PREMISE; 7 are reached by at least one record’s declared closure.measured input 4 · 4 reached4 premises of kind MEASURED_INPUT; 4 are reached by at least one record’s declared closure.convention 1 · 1 reached1 premises of kind CONVENTION; 1 are reached by at least one record’s declared closure.loaded correspondence 5 · 5 reached5 premises of kind LOADED_CORRESPONDENCE; 5 are reached by at least one record’s declared closure.fence 2 · 0 reached2 premises of kind FENCE; 0 are reached by at least one record’s declared closure.open requirement 1 · 0 reached1 premises of kind OPEN_REQUIREMENT; 0 are reached by at least one record’s declared closure.

Figure 1 — what the corpus can actually support

DECLARED DEPENDENCY GRAPH — 42 of 357 records and 20 premises drawn, 62 edges every record not shown declares no dependency at all; the RED boxes are premises, not records PREMISE REGISTER — 33 registered, 20 referenced, 13 reached by nothing solid = at least one claim declares it; dashed = nothing points here LIB2-001 rests_on_premise PRM-024LIB2-002 depends_on LIB2-356LIB2-002 rests_on_premise PRM-012LIB2-019 uses_input LIB2-018LIB2-019 rests_on_premise PRM-013LIB2-019 rests_on_premise PRM-023LIB2-020 uses_input LIB2-018LIB2-020 rests_on_premise PRM-013LIB2-020 rests_on_premise PRM-024LIB2-021 rests_on_premise PRM-010LIB2-024 depends_on LIB2-014LIB2-026 depends_on LIB2-025LIB2-051 rests_on_premise PRM-013LIB2-060 rests_on_premise PRM-031LIB2-060 rests_on_premise PRM-033LIB2-063 depends_on LIB2-060LIB2-063 depends_on LIB2-050LIB2-063 rests_on_premise PRM-017LIB2-065 depends_on LIB2-063LIB2-065 depends_on LIB2-067LIB2-065 rests_on_premise PRM-017LIB2-066 depends_on LIB2-002LIB2-066 rests_on_premise PRM-013LIB2-067 depends_on LIB2-063LIB2-067 depends_on LIB2-066LIB2-067 depends_on LIB2-050LIB2-067 rests_on_premise PRM-017LIB2-105 rests_on_premise PRM-002LIB2-108 rests_on_premise PRM-012LIB2-108 rests_on_premise PRM-011LIB2-108 rests_on_premise PRM-032LIB2-109 depends_on LIB2-108LIB2-120 depends_on LIB2-119LIB2-121 depends_on LIB2-120LIB2-121 rests_on_premise PRM-028LIB2-122 rests_on_premise PRM-012LIB2-125 depends_on LIB2-122LIB2-125 uses_input LIB2-124LIB2-125 rests_on_premise PRM-019LIB2-126 depends_on LIB2-125LIB2-126 rests_on_premise PRM-008LIB2-127 depends_on LIB2-126LIB2-127 uses_input LIB2-124LIB2-127 rests_on_premise PRM-019LIB2-127 rests_on_premise PRM-030LIB2-128 uses_input LIB2-124LIB2-128 rests_on_premise PRM-029LIB2-129 uses_input LIB2-124LIB2-129 rests_on_premise PRM-029LIB2-130 uses_input LIB2-124LIB2-130 rests_on_premise PRM-019LIB2-131 depends_on LIB2-129LIB2-139 depends_on LIB2-120LIB2-139 rests_on_premise PRM-027LIB2-170 rests_on_premise PRM-014LIB2-173 rests_on_premise PRM-005LIB2-174 depends_on LIB2-173LIB2-176 depends_on LIB2-174LIB2-183 depends_on LIB2-182LIB2-192 rests_on_premise PRM-014LIB2-200 rests_on_premise PRM-006LIB2-356 rests_on_premise PRM-013 LIB2-001Route-B admissible-gap classificationLIB2-002Physical atmospheric registration of the internal 7/16 mismatchLIB2-014The active braid carrier consists of twelve Clifford-module copiesLIB2-018DET-7 is a structural postulate in the algebraic selectorLIB2-019Route A selects the positive golden spectrum under its stated hypothesesLIB2-020Route B selects the positive golden-unit triple under DET-7LIB2-021The finite loaded-profile parent action has its stated stable minimumLIB2-024The selector law and clock commutator share one structure constantLIB2-025The loaded-plane defect algebra determines the selector eigenspacesLIB2-026A rank-character action represents the selector HessianLIB2-050The Peirce first-row weight factors into trace and generation normalizationsLIB2-051The registered half-weight generator has fixed octonionic coefficientLIB2-060The solar-angle readout is conditional on ordering and the propagation interfaceLIB2-063The framework-angle Route-B readout gives the corrected Cabibbo valueLIB2-065The loaded first row determines its displayed Vud magnitudeLIB2-066The Vcb formula retains its loaded physical attachmentLIB2-067The Vub hierarchy relation inherits the loaded Route-B chainLIB2-105The stated split-G2 involution family yields no positive equivariant polarizationLIB2-108The explicit B-map fixes a loaded one-generation field dictionaryLIB2-109The loaded one-generation dictionary cancels the stated anomaliesLIB2-119The same-block Peirce contraction extracts the unit middle weightLIB2-120W01 declares the Planck-scale top-Yukawa attachmentLIB2-121The top tree estimate retains a status-ineligible cross-scheme offsetLIB2-122The muon-to-tau formula is a loaded reproduced ratioLIB2-124The mass-formula chains retain three named dimensional anchorsLIB2-125The tau-anchored muon tree estimate inherits the loaded ratioLIB2-126The separate QED matching step gives the displayed physical muon massLIB2-127The electron value is the light Koide root under an external empirical ruleLIB2-128The light-quark constituent proxy uses the fitted hadronic anchorLIB2-129The strange constituent proxy carries the printed Casimir modifierLIB2-130The bottom bridge retains its tau anchor and cross-scheme offsetLIB2-131The charm bridge remains constituent-anchored and cross-schemeLIB2-139The declared top-Yukawa boundary has a separately reported running valueLIB2-170A reflection-positive Cartan state exists at finite regulatorLIB2-173The ordered state pair supplies the additive relative modular scoreLIB2-174The record-quotient observation composite is unique under its seven premisesLIB2-176History, character and boundary record are one registered record typeLIB2-182The MOS channel family permits a range of odd-response amplitudesLIB2-183The reversal-covariant score solder bounds the product responseLIB2-192A soft positive simplicity weight exists at finite regulatorLIB2-200The AX6 polarization postulate gives its readout without selecting itselfLIB2-356The internal mismatch identity is distinct from atmospheric registrationPRM-002premise -- drawn here because a record grounds on it; the register is on the rightPRM-005premise -- drawn here because a record grounds on it; the register is on the rightPRM-006premise -- drawn here because a record grounds on it; the register is on the rightPRM-008premise -- drawn here because a record grounds on it; the register is on the rightPRM-010premise -- drawn here because a record grounds on it; the register is on the rightPRM-011premise -- drawn here because a record grounds on it; the register is on the rightPRM-012premise -- drawn here because a record grounds on it; the register is on the rightPRM-013premise -- drawn here because a record grounds on it; the register is on the rightPRM-014premise -- drawn here because a record grounds on it; the register is on the rightPRM-017premise -- drawn here because a record grounds on it; the register is on the rightPRM-019premise -- drawn here because a record grounds on it; the register is on the rightPRM-023premise -- drawn here because a record grounds on it; the register is on the rightPRM-024premise -- drawn here because a record grounds on it; the register is on the rightPRM-027premise -- drawn here because a record grounds on it; the register is on the rightPRM-028premise -- drawn here because a record grounds on it; the register is on the rightPRM-029premise -- drawn here because a record grounds on it; the register is on the rightPRM-030premise -- drawn here because a record grounds on it; the register is on the rightPRM-031premise -- drawn here because a record grounds on it; the register is on the rightPRM-032premise -- drawn here because a record grounds on it; the register is on the rightPRM-033premise -- drawn here because a record grounds on it; the register is on the right PRM-001 · Neutral signatureStep 1 ( adopted premise, not a derivation) - both Lorentz signatures are physically equivalent, and we choose a convention-neutral fibre.PRM-002 · Split Jordan carrier J3(O_s) (indefinite traThe raw split algebra J3 (Os ) has signature (15, 12) (indefinite, not formally real), decomposing as (3, 0)diag ⊕ 3 × (4, 4)off-diag .PRM-003 · AX-COTselector/order/depth ≡ transvection/polar/oriented-axial.PRM-004 · AX-MGOne unit affine transfer ≡ one complete normalized Fibonacci cap-cup/Jones interface; boundary amplitudes multiply along the unique rooted geodesic.PRM-005 · AX-MOSGiven the active c3 /c2 branch, (1, 0, −1) is the unique assignment by enumeration … AX-MOS carries no new bit inside the loaded branch — honest compression, not unconditional derivation.PRM-006 · AX6_pol — polarisation postulate (weak-angleAX6pol is the polarisation postulate Λ⋆ = 3P/Q(Y ) = 6ϕ − 1 on the exact-colour I4 = ϕ3 orbitPRM-007 · Action shape (the adopted principle Φ_diag)The clause Φdiag : {v = 0, w = 0, u = t, 27z = t} — four coefficient relations — isolates exactly the Fchar orbit and is minimal in codimension (dropping any one relation restores a projective one-parameter family). It iPRM-008 · Alpha as declared inputThe framework declares α (the U (1)EM fibre scale) an input.PRM-009 · Basepoint / tensor equivalenceTensor equivalence is not intrinsic basepoint selection;PRM-010 · Boundary datumThe boundary datum: one ten-dimensional object, three exact faces (A1508) The datum the action is conditional on is single: [j] ⇐⇒ L∂ ⇐⇒ E ∗ = span{iB j, ΩiB j} - three faces of one ten-continuous boundary object, pricedPRM-011 · Colour real form as declared inputFenced / input (unchanged). α (five-legged fence, Appendix N); the compact colour real form;PRM-012 · Correspondence map algebra to SMThe specified correspondence map is itself a chosen (loaded) embedding, not shown to be forced or unique by the algebra - the selectors listed above (Jvac , Route B, AX6, ordering, Dirac-ν) are the loading.PRM-013 · DET-7 structural postulateDET-7 enters this appendix as a structural postulate, not a derived necessity;PRM-014 · Finite regulatorA normalized reflection-positive state exists at the finite Cartan regulator tier: … The OS Hilbert space and a positive transfer operator exist at finite regulator.PRM-015 · Module-naturality premiseClause Status What would discharge it Open head walls Module-naturality premise open head wall Derive from the microscopic parent action (the promotion gate) that the physical DF is recovery-fixed and commutes with the ePRM-016 · Parity pattern is not a spin structureFence (F03, Rev29 ): what is exhibited is the parity pattern a spin structure would produce, not a spin structure.PRM-017 · CKM first-row Route B (selected against kaonThe first row is Loaded: Route B was selected after comparison with kaon data.PRM-018 · X_vac = diag(φ², 1, 0) — legacy vacuum normaLevel 1 - THE VACUUM: X_vac = diag(φ2, 1, 0). NOT derived from minimization. The single most important open problem. Must emerge from cubic + quadratic invariant interplay.PRM-019 · m_tau as registered inputMass anchor mτ = 1776.93(9) MeVPRM-020 · Cascade prescriptionLevel 2 - THE CASCADE PRESCRIPTION: m_i ∝ h_i^n - h_{i-1}^n. Motivated by nested Peirce decomposition. Sequential symmetry breaking generates masses from orthogonal complements. Motivated but NOT proved.PRM-021 · Power assignment n = 4, 5Level 3 - THE POWER ASSIGNMENT: n = 2,3,4,5 for ν,l,d,u. n=3 derived (cubic degree of Freudenthal det). n=2 plausible (seesaw). n=4,5 from associator counting (structural but hand-wavy).PRM-022 · DSE / Faddeev closureLevel 4 - DSE/FADDEEV CLOSURE: K_B = 3φ2m32/(4A), A=144, GMOR proxy, T-matrix residue. Each is a specific technical choice.PRM-023 · Route A inversion symmetry (palindromic spec(H1) Inversion symmetry (palindromic spectrum): the characteristic polynomial of Jvac is palindromicPRM-024 · Route B golden-unit restriction (positive alLet Jvac = diag(a, b, c) with a, b, c > 0 algebraic integers in ℚ(√5) and abc = 1.PRM-025 · AX1 — golden unitAX1 ρ²−ρ−1 = 0 (the golden unit) — Input (named axiom) — assumed, not derived from nothing.PRM-026 · Det² selector object (historical; retired asThe Det² object is the degree-six selector cos(6ψ) = ½ with its 50° branchPRM-027 · W01 — ultraviolet boundary attachment (y_t(MReading that eigenvalue as the physical top Yukawa at the Planck scale, yt (MPl ) = 1, is a declared attachment, not a derivation: it requires identifying the carrier with the physical Higgs direction, the vacuum weight PRM-028 · v_EW = 246.22 GeV — electroweak calibration vEW = 246.22 GeV (top, pinned by GF );PRM-029 · Λ_G₂ ≈ 260 MeV — external dimensional calibrwith ΛG2 ≈ 260 MeV the framework’s hadronic calibration — an external dimensional calibration in the sense of the Appendix X input-count box, its value taken from hadronic phenomenology; not a derived scale, and not a mePRM-030 · Koide relation K = 2/3 — external empirical Koide selector — K = 2/3 — External selection rule — Integral to the m_e chain (Koide-consistent ★★★★ under this external rule)PRM-031 · Normal ordering (the neutrino mass-ordering Normal ordering is assumedPRM-032 · Dirac-neutrino extension (the Dirac-ν benchmthe operative benchmark assumes Dirac neutrinos — an explicit framework assumption, not a consequence of a derived symmetry forbidding M ν c ν c (A709).PRM-033 · Propagation interface (the R_d ladder read aconditional on the Rd ladder, Paper 2 §3, and on its identification with the propagation eigenstates, an interface that is undeclared (Rev32.2)

The numbers

quantityvalue
Registrar records357
premises minted33
declared record → premise edges (rests_on_premise)33 across 27 records
premises reached by nothing13 of 33
premises used by the corpus but NOT registered7 (see /premises/)
records with a non-empty premise closure31 of 202 CLAIM records — all 31 are CLAIM; the all-record denominator 357 would be the wrong one, and is not used here (Grok, S315)
★ CORRECTION, S315b. The S315 fix immediately below corrected the counts in this figure and left the picture unchanged — all forty-five boxes stayed the same colour, so a reader still could not tell which ten were premises, and the legend line shipped with that fix said “the dashed boxes here are premises” when nothing in this panel was dashed. The premise nodes now carry the register's own red. Found by looking at the live page — the one instrument this programme has repeatedly had to fall back on (SITE_PENDING H23), and the only one that found the S312 palette defect. A caption describing a distinction the picture does not draw is the same class as a heading asserting a count the data does not support.
★ CORRECTION, S315. The figure heading printed “45 of 357 records” and its aria-label spoke “the 45 records touched by a dependency edge” until 2026-09-08. Thirty-five of those nodes are records; the other ten are premises — the same ten the very next clause counts as “10 of them referenced by at least one record”, so the sentence added its own right-hand side into its left-hand number. The cause was the S314 fix directly above: adding rests_on_premise to the dependency query was right for the coverage count and silently put premise ids into the node set. Found by the promise-sweep gate (scripts/promise_sweep.py), built this session to look for exactly this: a heading or label that asserts a count the data under it does not support. Nothing above is edited away; this note is the record that it changed.
★ CORRECTION, S314. This page printed “334 of 357 records declare no dependency of any kind” until 2026-09-07, two sentences after saying 326 closures were empty. The Grok lane read that as an off-by-one (D1264). It was not: the empty-closure count is correct, and the 334 came from a query that omitted rests_on_premise — the honest figure is the one now printed. “Of any kind” was the aggravating phrase: it promised exhaustiveness over a query that excluded an edge type. The same query produced a second wrong number on the premises page, found by the ChatGPT lane at D1262. This page also printed a hardcoded “4 hops” for the longest chain; that cell is now derived from the data. Nothing above is edited away; this note is the record that it changed.
CLAIM records declaring any dependency edge35 of 202 = 17.3% (all classes: 35 of 357 = 9.8%)
records with a reviewed dependency enumeration0 — incidence is not completeness
dependency edges (depends_on + uses_input + rests_on_premise)62
longest declared dependency chain5 hops (derived, S314 — this cell printed a hardcoded 4)
candidate attachments (text quotes a premise anchor)22, of which 12 point at PRM-017
An empty closure means UNKNOWN, not INDEPENDENT. The S304 drawing reads N_gen = 3 reaches none as bedrock — a positive claim of foundational purity. The data produces the same emptiness for 326 records, for the opposite reason: nothing was declared. The computation cannot tell the two apart, and neither can this picture. Read no node's position as a warrant. [★ S315f, Grok: this sentence carried a HARDCODED “334 other records” — twelve lines below a correction box saying this page's hardcoded “4 hops” had been derived. It is derived now. The figure is 326, the same number the table above prints; the old 334 was neither that count nor a stated subset of it, and it collided on this page with the RETRACTED 334 quoted in the S314 note, which is how a reader — and a lane — could not tell which was which.]

2A · The problem board

These are the 19 records the Registrar holds as OPEN: the problems the programme has named and not solved. The text on this board is the Registrar's own, copied from library_v2.jsonl when the page is built: the question, what blocks it, what would count as success, and what would not. It is not the house's summary. The records are grouped by the kind of object each one is missing. Each record links to its Registrar page, and to its plan in 2B below.

Selection — basepoint, operator, sign (5)

LIB2-005 · Joint basepoint and microscopic observation-map construction

questionCan a theory-selected basepoint subgroup and a microscopic support-restoring observation map be constructed together?

blocked byThe intrinsic basepoint is absent over the complete shipped candidate universe; the subgroup placeholder selects nothing, and the record quotient is not the microscopic mass/generation map.

What counts as success, and what does not

successRegister a subgroup before choosing a vector or frame, with the printed single non-null fixed-line and residual-normalizer conditions, and construct the microscopic support-restoring observation map; both are required before entering the spectral-pair/output gate.

does not countA placeholder subgroup, the supported record quotient alone, or a declared response amplitude does not discharge this joint obligation. The existing basepoint exclusion is confined to the shipped candidate universe.

where it is statedRev32.7 Appendix T §15.5–15.6, p.317; A1553–A1561

plan: LIB2-005 · wave W1

LIB2-308 · Derive the sign that selects the atmospheric-octant registration

questionCan the source’s odd-object and mirror-control requirements select the physical octant registration?

blocked byThe registered chirality interface permits the mirror identification as well as the chosen one; no registered coupling excludes the countermap.

What counts as success, and what does not

successSupply the registered odd object with a theory-fixed coupling sign and a pre-registered mirror control excluding the countermap without the target angle, phase or observed charge-sign data.

does not countInstalling an odd carrier without fixing its coupling sign, or using the observed target to choose a registration, does not satisfy the printed reopen condition.

where it is statedRev32.7 Appendix N Part N.E, p.257; A1566/D1244

plan: LIB2-308 · wave W2

LIB2-309 · Derive one source law for the real ladder step and compact phase

questionCan a registered source law determine the scaling step, commuting complex structure and nonzero compact angle together?

blocked byThe registered centralizers contain compact subalgebras, but no one-law selection fixes the compact datum and angle; the separate compact datum leaves its angle independent of the grading.

What counts as success, and what does not

successRegister a compact datum commuting with the scaling and one source law fixing both the real rung step and the nonzero angle without comparison.

does not countInstalling a complex structure, choosing a free angle or selecting after comparison does not reopen the closed registered-census result.

where it is statedRev32.7 Appendix N Part N.E, p.257; A1567/D1246; A1568/D1248

plan: LIB2-309 · wave W1

LIB2-315 · Force the reactor-angle readout rather than choose its normalization

questionCan the unit-endpoint-ray rule and its round-trip squaring be derived instead of adopted?

blocked byThe moment law is compatible with a half-angle reading but does not choose the angle, endpoint ray or squaring operation required by the reactor readout.

What counts as success, and what does not

successSupply a first-principles selection of the readout rule, including its ray, half-angle and squaring step.

does not countReasserting the moment identity or the target's numerical agreement does not establish the missing forcing; the source explicitly withdrew the canonical-half-angle inference.

where it is statedRev32.7 Appendix B, Lemma B.5′ and T-bridge correction, pp.153–154; Paper 5 §5, p.85

plan: LIB2-315 · wave W2

LIB2-316 · Select the invariant required by the CKM-phase construction

questionDoes a registered operator have the required eigenvalue or invariant G7 without building that correction into the construction?

blocked byThe equal-shift argument is an identity of the selected construction rather than a selection theorem; the retained numeral remains coincidence-class.

What counts as success, and what does not

successSupply the registered operator whose eigenvalue or invariant is G7, as required by the source's reopen condition.

does not countRepeating the circular equal-shift step or further scanning the numerical correction menu does not meet the stated operator-based reopen condition.

where it is statedRev32.7 Paper 3, Candidate Construction 2.1, p.51; §5.3, p.59; Appendix E p.172

plan: LIB2-316 · wave W1

Scale anchors and scheme matching (6)

LIB2-299 · Derive the anchor relations required by the physical one-input programme

questionCan the required relations and uncertainties linking the operational anchors to the registered class be derived?

blocked byThe abstract central-class count does not by itself supply the relations consumed by the operational mass chains.

What counts as success, and what does not

successDerive relations, with uncertainties, tying vEW and ΛG2 to the registered class rather than identifying their roles by a count alone.

does not countThe source states that a second independent underivable dimensionful ratio falsifies the one-input theorem chain.

where it is statedRev32.7 Appendix X, The one-input obligation and Ledger consequence, pp.330–331

plan: LIB2-299 · wave W1

LIB2-310 · Derive the scheme-specific weak-angle matching bridge

questionCan a first-principles scale or completed bridge connect the target to the Z-pole weak-angle observable?

blocked byThe crossing scale is scheme-dependent and undetermined, and the required radiative shift is not uniquely fixed.

What counts as success, and what does not

successDerive the matching scale with its stated scheme and threshold dependence, or supply the completed bridge to the Z-pole observable.

does not countThe source names failure to supply a first-principles matching scale or completed bridge as the weak-angle failure condition.

where it is statedRev32.7 Paper 4 §7, p.73; Paper 7 primary falsification benchmarks, p.108

plan: LIB2-310 · wave W2

LIB2-311 · Find a non-residue physical realization of the finite index normalization

questionDoes the non-residue index-theoretic physical realization left open by the source exist?

blocked byThe metric-weighted residue route on the split imaginary-octonion channels is closed negative; an unweighted finite index is a different object.

What counts as success, and what does not

successConstruct the physical non-residue, index-theoretic realization rather than re-identify the finite multiplicity with the excluded signed residue.

does not countA route that still uses the excluded metric-weighted residue does not reopen the question; the no-go does not exclude every different physical construction.

where it is statedRev32.7 Appendix I §8, amplitude-bridge boundary and Lemma 8.3, p.212

plan: LIB2-311 · wave W1

LIB2-312 · Supply a scheme-matched physical comparison for the top tree estimate

questionCan a derived matching prescription connect the top tree estimate to its named physical comparator with quantified uncertainties?

blocked byThe framework object is a tree-level boundary value, not a pole or MS-bar mass. The displayed direct/MC comparator is distinct, and the tested standard conversion does not remove the offset.

What counts as success, and what does not

successSupply the physical mass interpretation and matching calculation with theory, matching and scheme uncertainties in a common comparison convention.

does not countThe printed untuned running/matching audit is negative; selecting a scale because it fits, or using experimental-error units alone, does not supply a derived scheme-matched comparison.

where it is statedRev32.7 Appendix X, Honest precision summary and Scheme-label declaration, pp.325–326

plan: LIB2-312 · wave W1

LIB2-313 · Derive physical matching for the tau-anchored bottom bridge

questionCan the bottom bridge acquire a physical self-scale MS-bar matching relation with quantified uncertainties?

blocked byThe current quantity is a tau-pole-anchored algebraic bridge compared directly with a running bottom mass. It is not a bottom pole mass and has no supplied scheme-matched uncertainty.

What counts as success, and what does not

successDerive the physical matching of the bridge to the self-scale MS-bar object, with the conversion and theory uncertainties needed for a scheme-matched comparison.

does not countTreating the bridge as a bottom pole mass is the source's category error; running from the tau scale or selecting a favourable scale does not close the printed audit.

where it is statedRev32.7 Paper 2 §3.6, pp.36–38; Appendix X Scheme-label declaration, pp.326–327

plan: LIB2-313 · wave W1

LIB2-314 · Derive the constituent-to-running-mass bridge for charm

questionCan an explicit constituent-to-MS conversion with uncertainty be derived for the charm bridge?

blocked byThe bridge uses a strange constituent anchor whereas its comparator is a self-scale running charm mass; neither a conversion nor a scheme uncertainty is supplied.

What counts as success, and what does not

successDerive the physical constituent-to-running-mass matching and its uncertainty at the named charm self-scale.

does not countThe source reports that running from the strange constituent scale overcorrects downward. An experimental-error-only distance or a fitted scale is not the missing physical conversion.

where it is statedRev32.7 Paper 2 §3.6, pp.37–38; Appendix X Scheme-label declaration, p.327

plan: LIB2-314 · wave W1

Nuclear cluster tier (4)

LIB2-303 · Construct the packing or coordination explanation of the deficit window

questionCan the deficit be explained by a construction in the surviving packing/coordination class?

blocked byThe direct connected-Markov-second-moment and tested perturbative annular attachments are closed negative; their sign and window tests do not explain the deficit.

What counts as success, and what does not

successConstruct the packing/coordination mechanism and meet the cited minimum reopen package rather than relabeling the excluded annular attachment.

does not countA first-circulation fix refutes the retained irreducibility claim; the negative annular ruling remains scoped to its tested class.

where it is statedRev32.7 Paper 9 §9, pp.131–132; A1542 minimum reopen package; A1545

plan: LIB2-303 · wave W2

LIB2-304 · Derive the configuration-dependent charge-magnitude mechanism

questionCan the coherence and screening mechanism needed for charge magnitudes be derived?

blocked byThe source records exposed separation-energy magnitude defects; its coherence description names the problem, and the screening factor is unregistered.

What counts as success, and what does not

successSupply the configuration-dependent coherence/screening mechanism needed to determine the charge magnitudes using the banked refined-daughter baseline.

does not countA named coherence effect or an unregistered screening factor alone does not complete the mechanism; the baseline remains the banked one.

where it is statedRev32.7 Paper 9 §7, baseline ruling, p.130; §9, charge-magnitude sector, pp.132–133

plan: LIB2-304 · wave W2

LIB2-305 · Supply the missing QCD flip energy in the neutron–proton splitting

questionCan the missing QCD flip energy be constructed and combined with the Coulomb/QED contribution?

blocked byThe registered conjugation has no flip energy, the constituent masses are equal in the stated approximation, and the remaining QED contribution gives the wrong sign by itself.

What counts as success, and what does not

successSupply the missing QCD flip contribution and a complete calculation of the neutron–proton mass difference, rather than attach an energy to the parity by name.

does not countWithout the missing flip energy, the source’s wrong-sign result remains; selecting the isospin coefficient does not supply that energy.

where it is statedRev32.7 Paper 9 §9, isospin and neutron–proton paragraph, p.133; s1129

plan: LIB2-305 · wave W1

LIB2-306 · Resolve the parent breathing-mode accounting

questionDoes the breathing excitation occur in the relevant parent typings?

blocked byThe naturality square is unchecked, so the alternative separation-energy reading has not been established by the parent/daughter typing.

What counts as success, and what does not

successResolve the parent-excitation typing and apply the banked refined-daughter rule, cancelling neutral excitations only when they occur in both typings.

does not countThe alternative reading remains an audit candidate while the naturality square is unchecked; no new scoring decision follows from its numerical proximity.

where it is statedRev32.7 Paper 9 §9, A = 8 breathing accounting, p.133; OPEN_ITEMS pointer

plan: LIB2-306 · wave W2

Continuum, gravity and the interacting measure (4)

LIB2-300 · Construct the missing continuum Yang–Mills functor

questionCan the missing continuum Yang–Mills functor be constructed?

blocked byThe exhibited finite functor and Gaussian checkpoint do not supply a continuum limit, a reflection-positive continuum measure, a physical pole or LSZ.

What counts as success, and what does not

successSupply the continuum functor identified by Paper 9 and the continuum staging map, rather than another finite checkpoint.

does not countFinite generator checks, a toy resolvent or finite reflection positivity alone do not discharge the source’s continuum requirement.

where it is statedTrackers/CONTINUUM_STAGING_MAP_S284.md, cited in Rev32.7 Appendix E p.171

plan: LIB2-300 · wave W3

LIB2-301 · Test Einstein universality of the finite-regulator gravity construction

questionIs the AdS linearized spectrum of the sourced heat-kernel action consistent with linearized general relativity?

blocked byA positive finite-regulator state and nonlinear simplicity measure do not establish the required gravitational spectrum or continuum limit.

What counts as success, and what does not

successCompute the named linearized spectrum and establish its agreement with linearized general relativity at the stated tier.

does not countA spectrum inconsistent with linearized general relativity falsifies the gravity-measure programme under the printed test.

where it is statedRev32.7 Appendix T §8, Theorem 8.6, p.307; Paper 7 §6, item 5, p.115

plan: LIB2-301 · wave W2

LIB2-302 · Construct the normalized physical mass-response map

questionCan Nmass be supplied with the stated LSZ/self-energy attachment and dimensional registration?

blocked byThe finite Clifford gap is a one-particle attachment; the state and generator do not by themselves fix the physical mass response.

What counts as success, and what does not

successConstruct the normalized response map into the mass quadrature together with its physical self-energy or LSZ attachment and dimensional registration.

does not countA fitted improvement of the χ-ladder against the banked ratios does not meet the source’s requirement for a physical generator and response map.

where it is statedRev32.7 Appendix T §8, Theorem 8.11, p.307; §11, Proposition 11.3, p.310

plan: LIB2-302 · wave W3

LIB2-307 · Construct the interacting chiral determinant-line trivialization

questionDoes a trivialization tdet satisfying the three stated compatibility conditions exist?

blocked byFree quaternionic positivity is not generic; anomaly cancellation alone is not sufficient to produce the interacting determinant-line trivialization.

What counts as success, and what does not

successConstruct a gauge-invariant, reflection-compatible, globally phase-consistent trivialization of the chiral determinant line.

does not countA free-sector positive determinant or anomaly cancellation alone does not discharge this construction.

where it is statedRev32.7 Appendix T §7, Proposition 7.5, p.305

plan: LIB2-307 · wave W3

2B · Attack plans

These are house estimates, not predictions. Each card gives a path of attack for one open problem, the next concrete step, who owns it, and three estimates: the chance of a decisive result, the chance of a close, and the difficulty and time involved. The cards are written by Claude, the house's physics-project coordinator, and were ruled for publication by the PI (R75). The estimates are judgments, not computations, and are uncalibrated. They were frozen at S327 and will be scored against what actually happens. A revised estimate appears as a new dated version, and the original stays on the card.

How to read the estimates. Decisive means the next milestone gives a usable answer either way: the problem is solved, or a scoped no-go retires or retypes the path. Close means the record's printed success condition is met. Most near-term milestones are expected to end in scoped no-gos that name the missing object. By this programme's standards that is progress, but it is not a close, and no card counts it as one.

Bands: high = 60% or more · moderate = 30–60% · low = 10–30% · very low = under 10%. Difficulty: D1 bookkeeping · D2 finite census with existing machinery · D3 new finite computation, known methods · D4 needs an object the registered class does not contain · D5 open research problem in mainstream mathematical physics. Time is counted in house working sessions and lane rounds.

W0 · reconcile now — no new physics

No cards in this wave now. LIB2-306 left W0 at S327, when the reconcile moved it to W2 (card v2).

W1 · cheap decisive censuses — house kernel, light lane check

recordnext milestonedecisiveclosedifficultytime to next milestone
LIB2-005Census kernel with hashed enumeration lock and a loss condition that names the missing object.moderatelowD42 house sessions + 1 lane round
LIB2-299Audit kernel + table of inputs by row.highvery lowD51–2 house sessions (audit)
LIB2-305 v2One-page return.highvery lowD41 light lane round
LIB2-309Census kernel with the law table.highlowD41–2 house sessions + 1 lane round
LIB2-311Census kernel with the notion table.moderatelowD41–2 house sessions
LIB2-312Envelope kernel + table per class.highlowD51–2 house sessions (shared envelope)
LIB2-313Envelope rows for the bottom bridge.highlowD5shared with LIB2-312
LIB2-314Envelope rows for the charm bridge.moderatevery lowD5shared with LIB2-312
LIB2-316 v2One-page return.highvery lowD21 light lane round

W2 · defined computations — house charter, lane build

recordnext milestonedecisiveclosedifficultytime to next milestone
LIB2-301Spec + precommitted bar.moderatelowD31 house session (spec) + 2–3 sessions + 2 lane rounds
LIB2-303 v2Frozen spec + sha.moderatelowD41 house session + 1 lane round
LIB2-304Restated defect table + precommit sha.moderatelowD41 house session, then 2 sessions + 1–2 lane rounds
LIB2-306 v2Re-derivation on the LIB2-303 object.moderatelowD4with LIB2-303 (1 house session + 1 lane round)
LIB2-308Charter + typed table of the odd data.moderatelowD32 house sessions + 1 lane round
LIB2-310Budget kernel + REV33 row.moderatevery lowD51–2 house sessions
LIB2-315Lane return with typed forcing arguments and a failing control.moderatelowD32 house sessions + 1 lane round

W3 · long horizon — fenced, rides on other waves

recordnext milestonedecisiveclosedifficultytime to next milestone
LIB2-300Map kept current.lowvery lowD50 dedicated sessions (rides on LIB2-301)
LIB2-302Charter + lane build.moderatevery lowD52–3 house sessions + 1–2 lane rounds
LIB2-307Census kernel.moderatevery lowD52 house sessions

The cards

LIB2-005 · Joint basepoint and microscopic observation-map construction W1decisive moderateclose lowD4

Registrar recordLIB2-005 · on the board

where it standsA1561 (S299, D1242): the intrinsic basepoint branch is EMPTY over the complete shipped candidate universe (30 rows, 5 intrinsic, 0 with a fixed vector); the missing object is typed class (c) — a theory-selected subgroup H_bp ⊂ E6(6) with dim Fix27 = 1, N ≠ 0 on that line, residual normalizer acting trivially. The microscopic support-restoring observation map is a separate, unbuilt object (the OMOS record quotient is not it). A1561 names the next step: an existence census of registered subgroup-selection laws.

missing objectH_bp (class c) and the microscopic observation map — both required.

paths

  1. census (HOUSE) Subgroup census over what the theory itself registers — the grading centralizer su*(6)⊕su(2), the lifted S3 of the score algebra, door-family stabilizers, the so(4,4) pair stabilizer (s1167), F4-type stabilizers — each scored by dim Fix27 and N on the fixed line. Expectation stated before running (complex-type branchings, to be confirmed on the real forms): 27 → (15,1)⊕(6̄,2) fixes no line; the D4 type fixes three; F4 fixes one — but an F4 that stabilizes a chosen unit is pointed by construction and excluded by the non-circularity rule.
    deliversCensus kernel with hashed enumeration lock and a loss condition that names the missing object.
    exitEvery registered, non-pointed candidate has Fix ≠ 1 → face 2 rests on a declared basepoint premise (PI ruling), printed beside the normalization premise.
  2. charter (HOUSE) Type the domain and codomain of the support-restoring observation map. No build before the census resolves.
    deliversTyping charter (operator systems named).
    exitDeferred until the census exit.

next stepFreeze the candidate-subgroup list from registered objects only, with the exclusion table for pointed candidates.

timenext milestone: 2 house sessions + 1 lane round; to close: open-ended

depends onnone · unblocksLIB2-302, LIB2-315

ownersHOUSE, LANE:chatgpt · evidenceA1561 · s1152 · s1153 · s1167 · Appendix T §15.5–15.6 p.317

v1 · S327, frozendecisive moderate · close low · D4 · W1

LIB2-299 · Derive the anchor relations required by the physical one-input programme W1decisive highclose very lowD5

Registrar recordLIB2-299 · on the board

where it standsAppendix X pp.330–331: the one-input obligation. The σ-bridge programme (S228) marks v_EW/√σ as mandated-derivable (dim H² = 1) with the falsification clause live: a second independent underivable dimensionful ratio kills the one-input chain. A1531 (S286) retyped the cross-scheme σ distances as comparator distances. No derivation of the v_EW or Λ_G2 relations exists.

missing objectDerived relations, with uncertainties, from v_EW and Λ_G2 to the registered class.

paths

  1. census (HOUSE) Input-rank audit: enumerate every dimensionful quantity consumed by the Appendix X mass chains and the Scorecard rows, build the usage matrix in log-dimension, and count the independent dimensionful ratios actually used, under a precommitted counting rule.
    deliversAudit kernel + table of inputs by row.
    exitExactly one independent ratio → consistent with one input (not a derivation). Two or more underived → the printed falsification clause fires (PI ruling).
  2. charter (LANE:chatgpt) σ-bridge derivation: v_EW/√σ from the registered H² class with an uncertainty. Only after the audit.
    deliversCharter with typed map and bar.
    exitNo derivation in the registered class → the one-input claim rests on a declared ratio.

next stepWrite the counting rule and the input enumeration lock before reading any row.

timenext milestone: 1–2 house sessions (audit); to close: open-ended

depends onnone · unblocksLIB2-302, LIB2-310, LIB2-312, LIB2-313, LIB2-314

ownersHOUSE, PI · evidenceAppendix X pp.330–331 · A1531 · A1538 · Trackers/OPEN_ITEMS.md S228 block

v1 · S327, frozendecisive high · close very low · D5 · W1

LIB2-300 · Construct the missing continuum Yang–Mills functor W3decisive lowclose very lowD5

Registrar recordLIB2-300 · on the board

where it standsPaper 9 posture p.125, Appendix E p.171, CONTINUUM_STAGING_MAP_S284: an ordered gateway map — stages 0–2 banked or partly banked, 3–4 are walls, 5 is the first computable edge, the finite Gaussian OS subgate of stage 6 passed (A1529), stage 7 on is new. No continuum claim is made.

missing objectThe continuum functor — a continuum limit with a reflection-positive measure and a physical pole/LSZ. This is the open problem class of the Clay Yang–Mills problem.

paths

  1. hold (HOUSE) Hold as a fence; no direct attack. Keep the staging map current as other records move.
    deliversMap kept current.
    exitNone.
  2. compute (HOUSE) Bank the fixed-background covariant quadratic action from LIB2-301 into the map as Stage 5.
    deliversMap update when LIB2-301 exits.
    exitMoves with LIB2-301.

next stepNone — fenced.

timenext milestone: 0 dedicated sessions (rides on LIB2-301); to close: open-ended

depends onLIB2-301 · unblocksnone

ownersHOUSE · evidenceTrackers/CONTINUUM_STAGING_MAP_S284.md · A1529 · Paper 9 p.125 · Appendix E p.171

v1 · S327, frozendecisive low · close very low · D5 · W3

LIB2-301 · Test Einstein universality of the finite-regulator gravity construction W2decisive moderateclose lowD3

Registrar recordLIB2-301 · on the board

where it standsAppendix T §§7–8 (Theorem 8.6 p.307), Paper 7 §6 item 5 p.115. A1442/A1444: a normalized reflection-positive Spin(5) heat-kernel state exists at finite regulator; linear simplicity is derived; the finite-algebraic sign problem stands — inertia(B_MM) = (3,3,4), the pure MM/EH weight is not positive, positive-completion cone α > 0, |β| < α. The AdS linearized spectrum of the sourced heat-kernel action has never been computed.

missing objectThe quadratic fluctuation operator of the sourced heat-kernel action on the priced AdS branch, and its spectrum.

paths

  1. charter (HOUSE) Write the action to quadratic order on the AdS branch; declare the comparison (a massless spin-2 mode with the right count of propagating degrees of freedom, no ghost, Breitenlohner–Freedman bounds for the rest) and the tier before computing. Expectation stated in advance: heat-kernel actions usually generate higher-derivative terms, so extra massive spin-2 modes — possibly ghosts — are the likely failure mode.
    deliversSpec + precommitted bar.
    exitThe action is not explicit enough to expand → the record retypes to "action not yet specified at quadratic order".
  2. compute (LANE:chatgpt) TT/vector/scalar decomposition and spectrum, with a control on a known case (Einstein–Hilbert on AdS gives the massless graviton). Exact-algebra check by Grok.
    deliversLane build + Grok check.
    exitA spectrum inconsistent with linearized GR fires the record's printed failure condition.

next stepExtract the sourced heat-kernel action from Appendix T §8 and write the quadratic-order spec.

timenext milestone: 1 house session (spec) + 2–3 sessions + 2 lane rounds; to close: same, if it passes at leading order

depends onnone · unblocksLIB2-300

ownersHOUSE, LANE:chatgpt, LANE:grok · evidenceA1442 · A1444 · s922 · Papers/current/tex/appendix_t_cartan_observation.tex:520,863 · Trackers/CONTINUUM_STAGING_MAP_S284.md

notesShares Stage 5 of CONTINUUM_STAGING_MAP_S284 (fixed-background covariant quadratic action) with LIB2-300. The best-defined of the large items.

v1 · S327, frozendecisive moderate · close low · D3 · W2

LIB2-302 · Construct the normalized physical mass-response map W3decisive moderateclose very lowD5

Registrar recordLIB2-302 · on the board

where it standsAppendix T Theorem 8.11 p.307 and Proposition 11.3 p.310: the finite Clifford gap is a one-particle attachment; AX-MASS-LABEL (OS-even gap ↔ rest mass) is an axiom candidate; the single-χ ratio no-go binds (A1448, D1145 item 3).

missing objectThe normalized response map into the mass quadrature with an LSZ/self-energy attachment and dimensional registration.

paths

  1. charter (LANE:chatgpt) Finite-regulator transfer-matrix gap: in the reflection-positive state of A1442, OS reconstruction gives a transfer matrix; compute its spectral gap and the two-point spectral weight at finite regulator. This supplies a mass-type quantity at regulator tier, not the normalized map.
    deliversCharter + lane build.
    exitNo isolated gap at regulator tier → the record retypes with that obstruction.
  2. hold (HOUSE) Normalization and dimensional registration wait on LIB2-005 (observation map), LIB2-299 (anchors) and LIB2-307 (interacting measure).
    deliversNone.
    exitMoves with its dependencies.

next stepNone scheduled until W1 exits; the charter can be drafted when capacity allows.

timenext milestone: 2–3 house sessions + 1–2 lane rounds; to close: open-ended

depends onLIB2-005, LIB2-299, LIB2-307 · unblocksnone

ownersHOUSE, LANE:chatgpt · evidenceA1448 · A1447 · s922 · Appendix T pp.307,310

v1 · S327, frozendecisive moderate · close very low · D5 · W3

LIB2-303 · Construct the packing or coordination explanation of the deficit window W2decisive moderateclose lowD4 card v2

Registrar recordLIB2-303 · on the board

where it standsPaper 9 §9 pp.131–132 (tex p9:378, p9:432): the surviving class is packing/coordination of 6–7 cells (writhe sector). Closed negative: the direct connected-Markov second moment (A1542, lane s1097) and the tested perturbative annular attachment (A1545 T4: sign derived, magnitude about 400× short). A1545 T1: the quotient ATL_φ/⟨f4⟩ carries no metric, contact graph or volume. A1542 adopted a seven-item minimum reopen package as the build spec.

missing objectA registered contact or metric structure on the cell quotient; the reopen package cannot be built without one.

paths

  1. charter (HOUSE) Freeze the seven-item reopen package as a precommitted spec with bars and blind targets named before any build; state the model-lock chronology honestly (the targets are already visible).
    deliversFrozen spec + sha.
    exitNone — this is the gate for the next path.
  2. census (LANE:chatgpt) Contact-structure existence census: which registered objects supply a contact graph on 6–7 cells without importing a metric by hand.
    deliversLane return.
    exitNone found → the packing class is typed "needs a new registered geometric object", like the radius wall.

next stepPull the seven items from A1542 and write the frozen spec.

timenext milestone: 1 house session + 1 lane round; to close: 4–8 sessions

depends onnone · unblocksLIB2-304, LIB2-306

ownersHOUSE, LANE:chatgpt · evidenceA1542 · A1544 · A1545 · s1112 · s1115 · Papers/current/tex/p9_nuclear_cluster_tier.tex:378,432

v1 · S327, frozendecisive moderate · close low · D4 · W2

v2 · S327 · W0 reconcileStructural edge only: the W0 reconcile found that LIB2-306 is blocked on the same missing object. No estimate changed.

LIB2-304 · Derive the configuration-dependent charge-magnitude mechanism W2decisive moderateclose lowD4

Registrar recordLIB2-304 · on the board

where it standsPaper 9 §7 baseline ruling p.130 and §9 (tex p9:436–444): exposed magnitude defects (×1.29 and ×2.60 as filed; ×0.78 for S_p(8B) under the S228 mute ruling); "coherence multiplies by φ" names the problem without solving it; 64Ge carries an unregistered screening factor 0.47 (s1114). A1542 P4: the Coulomb magnitude forces α as a second input.

missing objectA configuration-dependent coherence/screening mechanism from registered geometry, on the banked refined-daughter baseline.

paths

  1. reconcile (HOUSE) After LIB2-306: restate the defect table under the reconciled A=8 ruling; precommit the test set and bars before any mechanism.
    deliversRestated defect table + precommit sha.
    exitNone — gate for the charter.
  2. charter (LANE:chatgpt) Mechanism charter: derive the 0.47 or refuse it; print the α accounting (external input).
    deliversCharter + lane build.
    exitA named effect or an unregistered factor alone does not complete the mechanism (the record's failure condition).

next stepWait for LIB2-306; then restate the defect table.

timenext milestone: 1 house session, then 2 sessions + 1–2 lane rounds; to close: 6 or more sessions

depends onLIB2-306, LIB2-303 · unblocksnone

ownersHOUSE, LANE:chatgpt · evidencePapers/current/tex/p9_nuclear_cluster_tier.tex:436–444 · s1114 · A1357 · A1542 §4 P4

v1 · S327, frozendecisive moderate · close low · D4 · W2

LIB2-305 · Supply the missing QCD flip energy in the neutron–proton splitting W1decisive highclose very lowD4 card v2

Registrar recordLIB2-305 · on the board

where it standsPaper 9 §9 (tex p9:446–455): the isospin sector is LOADED (χ = φ^-6 T3 selected); m_n − m_p is UNPRICED. S329 census s1170 (A1649): no object in a hashed 15-object lock (the s1168 operators on J3(O_s), the trace form, H_gold, the cubic norm on J_vac + t·H) gives the J12 images H_u = e0+e7 and H_d = e0−e7 different energy, under either reading of the A689 flip; neither reading is a Jordan automorphism. The flip is visible only in the cubic-norm trilinear with J23 ⊗ J31 states, and no such state is registered.

missing objectA registered J23 ⊗ J31 state (fermion bilinear or condensate) on which the cubic-norm trilinear with the J12 Higgs directions is non-zero, turned into an energy by a registered functional — or a registered u/d constituent-mass asymmetry.

paths

  1. census (HOUSE) DONE S329 (s1170, A1649): existence census over the registered class under a hashed lock, both flip readings, null and non-null test pairs. NO SPLIT. Controls fire (an injected e0–e7 coupling at 1e-3 and 1e-9; not at 1e-15).
    deliversKernels/current/s1170_* (lock sha 7a6b2b90…).
    exitExited: the printed exit is met — UNPRICED retypes to "requires a new registered isospin-breaking datum" (REV32.12 (= Rev33.0, R156) row).
  2. lane check (LANE:grok) Check of s1170: rebuild the lock, confirm Δ = 0 and the commutators, and name any registered operator built from an off-diagonal element that the lock missed.
    deliversOne-page return.
    exitA named registered off-diagonal operator that splits the pair reopens the census.
  3. charter (HOUSE) If LIB2-308 registers a single odd sign, or a fermion condensate is registered, test whether it switches on the trilinear with a flip-odd energy.
    deliversShort typing note.
    exitDeferred until LIB2-308 exits.

next stepQueue the Grok check of s1170 after round 4; REV32.12 (= Rev33.0, R156) row for the p9 §9 wording.

timenext milestone: 1 light lane round; to close: open-ended — needs a new registered datum

depends onLIB2-308 · unblocksnone

ownersHOUSE · evidenceKernels/current/s1170_np_flip_energy_census.py · A1649 · Papers/current/tex/p9_nuclear_cluster_tier.tex:446–455 · s1129 · s1124 T3/T4 · s1168 lock · A689

notesThe printed status does not change (UNPRICED); the census adds that no registered object carries a u↔d energy, and names where one could live.

v1 · S327, frozendecisive high · close very low · D4 · W1

v2 · S329 · W1 census s1170Path 1 ran. s1170 locked the eleven 27-dim operators of the s1168 lock plus the trace form, H_gold and the cubic norm on J_vac + t·H, and tested the A689 flip in both readings (e7 only, as s1124; full split-octonion conjugation) on H_u = e0 ± e7 and the non-null pair e0 ± ½e7 in J12. NO SPLIT: every object gives H_u and H_d the same energy (|Δ| < 1e-12) and commutes with both flips; neither flip is a Jordan automorphism. A seeded probe with unregistered J23/J31 states shows the only flip-odd structure is the cubic-norm trilinear Re((z x) y); no registered state switches it on. The printed exit (UNPRICED → requires a new registered isospin-breaking datum) is met. Scored against v1: decisive MET — the census returned a decisive scoped no-go in one house session.

LIB2-306 · Resolve the parent breathing-mode accounting W2decisive moderateclose lowD4 card v2

Registrar recordLIB2-306 · on the board

where it standsRev32.7 print (Paper 9 §9, p9:457–460; status p9:523) keeps the A=8 naturality square as an open audit item. The S228 tracker line "CLOSED, ruled parent-mute" rests on A1359: a lane ruling by type, matched to the sealed house pre-commit s749 (re-run S327 ×2: results 7065004b = manifest; chronology s749 → D1063 → A1359 holds). The mechanism behind that ruling is the annular second-circulation primitive (A1359 T3), which A1542 §1 (S292) found not constructible from the shipped intake, and whose direct attachment A1544 T4 closed negative. The number reproduces; the mechanism does not carry forward.

missing objectA defined second-circulation (packing/coordination) structure on which the A=8 parent typing can be re-derived — the same missing object as LIB2-303.

paths

  1. reconcile (HOUSE) DONE S327: s749 re-run ×2 and chronology checked; the mechanism was traced to the primitive A1542/A1544 found undefined.
    deliversTrackers/W0_LIB2-306_RECONCILE_S327.md.
    exitExited: the record stays OPEN; the tracker's S228 CLOSED gets a dated correction note.
  2. hold (HOUSE) Ride on LIB2-303. When a registered second-circulation / contact structure exists, re-derive the A=8 parent typing on it, with s749's committed branch and number kept as the sealed comparison.
    deliversRe-derivation on the LIB2-303 object.
    exitLIB2-303 exits with "needs a new registered geometric object" → this record is typed with the same wall.
  3. print (PI) REV33_PENDING clarification of p9:457–460: the mute branch was ruled at typing tier (A1359, matched to the sealed s749) on the primitive A1542 found undefined; the audit item is blocked on the same object as the 28Si residual.
    deliversREV33 row (PI-gated).
    exitThe PI declines → the print stays as is (substantively correct).

next stepNothing separate: the next step is LIB2-303's frozen reopen-package spec. Add the dated correction note to OPEN_ITEMS beside the S228 CLOSED line.

timenext milestone: with LIB2-303 (1 house session + 1 lane round); to close: 4–8 sessions, with LIB2-303

depends onLIB2-303 · unblocksLIB2-304

ownersHOUSE, PI · evidenceA1359 T1/T3 · s749 (Kernels/current, re-run S327 ×2) · D1063 · A1542 §1 · A1544 T4 · Papers/current/tex/p9_nuclear_cluster_tier.tex:457–460,521,523 · Trackers/W0_LIB2-306_RECONCILE_S327.md

notess749 promoted to Kernels/current/ S327 (README_s749_s902_s756_s502_PROMOTED_S327.md). v1 of this card called the record a likely stale OPEN; the reconcile found the reverse.

v1 · S327, frozendecisive high · close moderate · D1 · W0

v2 · S327 · W0 reconcileThe W0 reconcile reversed the v1 lead finding. s749 and the chronology reproduce, but the S228 parent-mute ruling is a ruling by type on the annular second-circulation primitive (A1359 T3: "three faces of ONE" primitive), and A1542 §1 / A1544 T4 later found that primitive not defined in the shipped intake. The print's OPEN is correct; the tracker's S228 CLOSED is the stale entry. Scored against v1: decisive MET — the reconcile returned a decisive answer · close MISSED — the record does not close; v1 MODERATE was too high.

LIB2-307 · Construct the interacting chiral determinant-line trivialization W3decisive moderateclose very lowD5

Registrar recordLIB2-307 · on the board

where it standsAppendix T §7 Proposition 7.5 p.305. A1442: the free quaternionic fermion measure is positive (det(m + D_free) = m^8 (m²+3)^8 exact; Kramers pairing; positivity not generic); the chiral determinant-line trivialization t_det is named as the missing object; anomaly cancellation alone is not sufficient. Context: an exact lattice construction of this kind is known for abelian chiral gauge theories and is open in general for non-abelian ones.

missing objectA gauge-invariant, reflection-compatible, globally phase-consistent trivialization of the chiral determinant line.

paths

  1. census (HOUSE) Regulator-tier topology census: on the finite regulator configuration space, compute the phase holonomy of the chiral determinant around closed loops; a nonzero holonomy is an obstruction at that tier. Decisive at regulator tier only.
    deliversCensus kernel.
    exitObstruction found → the record is typed with it at regulator tier.
  2. charter (LANE:chatgpt) If no obstruction, construct t_det with the reflection condition.
    deliversCharter.
    exitConstruction fails → typed at the failing condition.

next stepNone scheduled until W1 exits.

timenext milestone: 2 house sessions; to close: open-ended

depends onnone · unblocksLIB2-302

ownersHOUSE, LANE:chatgpt · evidenceA1442 · s920 · Appendix T §7 p.305

v1 · S327, frozendecisive moderate · close very low · D5 · W3

LIB2-308 · Derive the sign that selects the atmospheric-octant registration W2decisive moderateclose lowD3

Registrar recordLIB2-308 · on the board

where it standsAppendix N Part N.E p.257: A1566 (S301, D1244) ruled route (a) — s501 is a candidate correspondence, not a selector. Exact obstruction: two Z2-equivariant registrations; the mirror-even coupling S_link = −κ χ_odd cos 2θ23 is allowed for both signs of κ, and sign(κ) is the missing registration datum. The S295 moiré law: every even structure is sign-blind; the odd handedness data (CP, up/down, lepton δ sign, mouth orientation) live outside them, with the registered carrier the s1140 sign class. The five-item reopen condition is printed.

missing objectA registered odd object with a theory-fixed sign of κ, and a pre-registered mirror control.

paths

  1. charter (HOUSE) One-odd-bit test: are the handedness data named at S295 one registered sign or several? If one, the octant, CP-sign and up/down questions reduce to a single declared or derived sign. That does not close this record but collapses several opens onto one premise. Precommit: no target angle, phase or observed charge sign enters.
    deliversCharter + typed table of the odd data.
    exitSeveral independent signs → each stays its own premise.
  2. compute (LANE:chatgpt) Attempt to fix κ from the s1140 split-norm sign class, with the mirror control.
    deliversLane return with a control that fires.
    exitκ free for both classes → the octant is printed as resting on one declared sign.

next stepDraft the one-odd-bit charter from A1566 §10 and the S295 head note.

timenext milestone: 2 house sessions + 1 lane round; to close: 4 or more sessions

depends onnone · unblocksLIB2-305

ownersHOUSE, LANE:chatgpt · evidenceA1566 · D1244 · s501 · s1156 · s1140 · Trackers/OPEN_ITEMS.md S295 head note

notesThe experimental octant is itself not settled; the physical target can move.

v1 · S327, frozendecisive moderate · close low · D3 · W2

LIB2-309 · Derive one source law for the real ladder step and compact phase W1decisive highclose lowD4

Registrar recordLIB2-309 · on the board

where it standsAppendix N Part N.E p.257: A1567 (D1246) typed the missing object Q_L = S_L e^{αJ_L} with a one-law α. A1568 (s1159 census, lane check ★★): the loss condition is met in the registered class; amended — Appendix G registers a Z2 compact datum commuting with D_KK, so on the KK carrier the missing object narrows from (J_L, α) to α alone.

missing objectOne source law fixing a nonzero angle α together with the real rung step on the KK carrier.

paths

  1. census (HOUSE) α-law census on the KK carrier: registered holonomy, periodicity or spectral-flow conditions tied to the Z2 datum and D_KK, scored by whether they fix a unique nonzero α without comparison. Note before running: a Z2 datum alone fixes α only up to discrete choices; a continuous nonzero angle needs more.
    deliversCensus kernel with the law table.
    exitNo registered law → typed no-go; α declared or the ladder stays a candidate.
  2. lane check (LANE:grok) Exact-algebra check of the law table.
    deliversOne-page return.
    exitDisagreement voids the census until repaired.

next stepExtract the Appendix G Z2 datum and D_KK from the shipped machinery; freeze the law table.

timenext milestone: 1–2 house sessions + 1 lane round; to close: open-ended

depends onnone · unblocksnone

ownersHOUSE, LANE:grok · evidenceA1567 · A1568 · s1159 · s1160 · Appendix N Part N.E p.257

v1 · S327, frozendecisive high · close low · D4 · W1

LIB2-310 · Derive the scheme-specific weak-angle matching bridge W2decisive moderateclose very lowD5

Registrar recordLIB2-310 · on the board

where it standsPaper 4 §7 (tex p4:314–362, p4:446): the matching scale μ* is not derived from J3(O_s); the once-quoted 1.8 GeV is not pinned; the S295 note records AX6 as not single-valued in print. Comparator sin²θ̂_W(M_Z) MS-bar = 0.23122 ± 0.00006 (as carried at S294). The source names failure to supply a first-principles scale or a completed bridge as the weak-angle failure condition.

missing objectA derived matching scale with its scheme and threshold dependence, or a completed bridge to the Z-pole observable.

paths

  1. compute (HOUSE) Scale-sensitivity budget: run the structural target across declared schemes and thresholds (two-loop SM running) and print how tightly μ* must be pinned to reach the comparator precision. Decides whether any bridge short of a derived scale can be meaningful. Also route the AX6 single-valuedness repair to REV33_PENDING.
    deliversBudget kernel + REV33 row.
    exitIf no pinning short of a derivation is meaningful, the record is printed as waiting on LIB2-299.
  2. charter (LANE:chatgpt) Derive μ* from the registered anchor class, after LIB2-299.
    deliversCharter.
    exitNo derivation → the printed failure condition stands.

next stepLocate the AX6 print defect and write the budget kernel header.

timenext milestone: 1–2 house sessions; to close: open-ended

depends onLIB2-299 · unblocksnone

ownersHOUSE, LANE:chatgpt · evidencePapers/current/tex/p4_higgs_ewsb.tex:314–362,446 · A697 · A698 · Trackers/OPEN_ITEMS.md S294–S295 notes

v1 · S327, frozendecisive moderate · close very low · D5 · W2

LIB2-311 · Find a non-residue physical realization of the finite index normalization W1decisive moderateclose lowD4

Registrar recordLIB2-311 · on the board

where it standsAppendix I §8 Lemma 8.3 (tex appendix_i:654–678): the metric-weighted residue route on Im O_s is closed (signature (3,4), signed trace −1; s902). S228 retyped 7/3 from an LSZ residue to a Markov/index trace (s756 scoping). The non-residue, index-theoretic physical realization is open.

missing objectA physical index-theoretic object whose value is 7/3 without the excluded residue.

paths

  1. census (HOUSE) Index-object census: candidate notions (Fredholm index ratios, Markov trace weights, multiplicity ratios in registered decompositions) tested for 7/3. Note printed before running: 7/3 cannot be a subfactor (Jones) index — below 4 the allowed values are 4cos²(π/n) = 1, 2, 2.618…, 3, … — so an index reading must be a trace or multiplicity ratio.
    deliversCensus kernel with the notion table.
    exitNo registered notion yields 7/3 without the residue → scoped no-go in class.
  2. charter (LANE:chatgpt) Physical realization for the surviving notion.
    deliversCharter.
    exitSurvivor has no physical attachment → the record retypes to the finite trace statement only.

next stepPromote s902 and s756, then freeze the notion table.

timenext milestone: 1–2 house sessions; to close: open-ended

depends onnone · unblocksLIB2-313, LIB2-314

ownersHOUSE, LANE:chatgpt · evidencePapers/current/tex/appendix_i_dynamics_bounce.tex:654–678 · s902 · s756 · Sessions/S228_handover.md

notess902 and s756 live only in _TODAY/notes — promote before citing.

v1 · S327, frozendecisive moderate · close low · D4 · W1

LIB2-312 · Supply a scheme-matched physical comparison for the top tree estimate W1decisive highclose lowD5

Registrar recordLIB2-312 · on the board

where it standsAppendix X pp.325–326: the framework object is a tree-level boundary value, not a pole or MS-bar mass; the printed untuned running/matching audit is negative. A1531 retyped the bare σ as a comparator distance, not a physics tension.

missing objectThe derived physical interpretation of the tree boundary value (which scheme and scale it lives in).

paths

  1. compute (HOUSE) Scheme envelope, one kernel shared with LIB2-313 and LIB2-314: for each interpretation class declared before computing (pole; MS-bar at μ = m; MS-bar at a stated boundary scale) compute the standard perturbative QCD conversion with truncation and α_s uncertainties and print the whole envelope, not a best point. A scale chosen because it fits is refused by the precommit.
    deliversEnvelope kernel + table per class.
    exitTypes what a derivation must deliver; does not close the record.
  2. charter (LANE:chatgpt) Derive which interpretation class the boundary value belongs to from the framework.
    deliversCharter.
    exitNo derivation → the comparison stays a comparator distance.

next stepDeclare the interpretation classes and conversion order in the envelope header.

timenext milestone: 1–2 house sessions (shared envelope); to close: open-ended

depends onLIB2-299 · unblocksnone

ownersHOUSE, LANE:chatgpt · evidenceAppendix X pp.325–326 · Paper 2 §3.6 pp.37–38 · A713 · A724 · A1531

v1 · S327, frozendecisive high · close low · D5 · W1

LIB2-313 · Derive physical matching for the tau-anchored bottom bridge W1decisive highclose lowD5

Registrar recordLIB2-313 · on the board

where it standsPaper 2 §3.6 pp.36–38, Appendix X pp.326–327: a tau-pole-anchored algebraic bridge compared directly with the running bottom mass; not a bottom pole mass; no scheme-matched uncertainty. It uses the finite index normalization (LIB2-311).

missing objectThe physical matching of the bridge to the self-scale MS-bar bottom mass, with conversion and theory uncertainties.

paths

  1. compute (HOUSE) The shared scheme envelope, with bottom-specific classes. The tau-pole anchor enters through the lepton sector, so the envelope must state which sector carries the anchor into a quark mass.
    deliversEnvelope rows for the bottom bridge.
    exitTypes the derivation target; does not close the record.
  2. charter (LANE:chatgpt) Derive the matching relation.
    deliversCharter.
    exitRunning from the tau scale or choosing a favourable scale is refused by the record's own failure condition.

next stepAs LIB2-312.

timenext milestone: shared with LIB2-312; to close: open-ended

depends onLIB2-299, LIB2-311 · unblocksnone

ownersHOUSE, LANE:chatgpt · evidencePaper 2 §3.6 pp.36–38 · Appendix X pp.326–327 · A713 · A724 · A1531

v1 · S327, frozendecisive high · close low · D5 · W1

LIB2-314 · Derive the constituent-to-running-mass bridge for charm W1decisive moderateclose very lowD5

Registrar recordLIB2-314 · on the board

where it standsPaper 2 §3.6 pp.37–38, Appendix X p.327: the bridge uses a strange constituent anchor against a self-scale running charm mass; the source reports that running from the strange constituent scale overcorrects downward. Constituent masses have no standard first-principles QCD scheme, so this conversion is harder than the top and bottom cases.

missing objectA physical constituent-to-running-mass conversion with uncertainty at the charm self-scale.

paths

  1. compute (HOUSE) The shared scheme envelope; for charm it can only bracket, with the constituent definition declared as a model input.
    deliversEnvelope rows for the charm bridge.
    exitA bracket that includes the comparator only under a chosen constituent definition is printed as such.
  2. charter (LANE:chatgpt) A registered definition of the constituent anchor that admits a conversion.
    deliversCharter.
    exitNo registered definition → the charm row stays a comparator distance.

next stepAs LIB2-312.

timenext milestone: shared with LIB2-312; to close: open-ended

depends onLIB2-299, LIB2-311 · unblocksnone

ownersHOUSE, LANE:chatgpt · evidencePaper 2 §3.6 pp.37–38 · Appendix X p.327 · A713 · A724 · A1531

v1 · S327, frozendecisive moderate · close very low · D5 · W1

LIB2-315 · Force the reactor-angle readout rather than choose its normalization W2decisive moderateclose lowD3

Registrar recordLIB2-315 · on the board

where it standsAppendix B Lemma B.5′ (tex appendix_b:156–171), Paper 5 §5 p.85: the readout is taken off the unit endpoint ray of the Route-B frame, through the spin double cover with the half-angle; the round-trip T² squaring is identified (exponent 2, s502/A1275) but its forcing is pending; the canonical-half-angle inference was withdrawn.

missing objectThree forcings — the endpoint ray, the half-angle and the squaring.

paths

  1. charter (LANE:chatgpt) Test whether the constructed observation functor O_MOS (A1447: unital-CP channel, Pin/OS Clifford channel) forces (i) the half-angle through its Pin double cover and (ii) the squaring as a transition probability rather than a chosen operation.
    deliversLane return with typed forcing arguments and a failing control.
    exitEither step remains a choice inside O_MOS → printed as a named readout premise.
  2. hold (HOUSE) The endpoint ray depends on the basepoint/unit selection (LIB2-005) and is not attacked separately.
    deliversNone.
    exitMoves with LIB2-005.

next stepPromote s502; write the charter naming the O_MOS stages that could carry each forcing.

timenext milestone: 2 house sessions + 1 lane round; to close: depends on LIB2-005

depends onLIB2-005 · unblocksnone

ownersHOUSE, LANE:chatgpt · evidencePapers/current/tex/appendix_b_independent_verification.tex:156–171 · s502 · A1275 · A1447 · D678

notess502 lives only in _TODAY/notes — promote before citing.

v1 · S327, frozendecisive moderate · close low · D3 · W2

LIB2-316 · Select the invariant required by the CKM-phase construction W1decisive highclose very lowD2 card v2

Registrar recordLIB2-316 · on the board

where it standsPaper 3 Candidate Construction 2.1 (tex p3:378–407): G7 = φ + 5φ^-5 = 13√5 − 27 ≈ 2.0689, coincidence-class, motivation missing. A1546 C4: bare φ sits closer to the comparator than G7. S327 census s1168: no registered operator in a hashed 21-operator, 15-scalar lock has G7 as an eigenvalue, trace, determinant or char-poly coefficient (exact over Q(√5) for 19 operators). The reopen object is typed and absent from the registered class.

missing objectA registered operator whose eigenvalue or invariant is G7, registered before the correction is chosen.

paths

  1. census (HOUSE) DONE S327 (s1168): an existence census over the registered operators under a hashed lock. NO HIT. The controls fire (a detector on an after-the-fact operator, near-miss tolerance, exact near-number).
    deliversKernels/current/s1168_* (lock sha 3b7f2a69…).
    exitExited: scoped no-go; G7 stays coincidence-class.
  2. lane check (LANE:grok) Exact-algebra check of s1168: rebuild the lock from its cited objects, confirm det(O − G7·I) ≠ 0 for each exact operator, and name any registered operator the lock missed.
    deliversOne-page return.
    exitA named registered operator that the lock omitted reopens the census; a polynomial disagreement voids it until repaired.

next stepDraft the Grok check of s1168 (lock list + certificates); PI decides when to send.

timenext milestone: 1 light lane round; to close: open-ended — needs a new registered object

depends onnone · unblocksnone

ownersHOUSE, LANE:grok · evidenceKernels/current/s1168_g7_registered_operator_census.py · Papers/current/tex/p3_ckm_pmns_mixing.tex:378–407 · A1546 C4 · s1106 · D772 · D773

notesThe printed status for G7 does not change: coincidence-class, and the census adds that no registered operator carries it.

v1 · S327, frozendecisive high · close low · D2 · W1

v2 · S327 · W1 census s1168Path 1 ran. s1168 locked 21 registered operators (L, U, the linearized sharp and the Peirce idempotents on J3(O_s) from the s1152 carrier; the DET-7 Gram matrix; T³S, figure-8, Fibonacci, s954 M; the ladder resolvents d=1..5) and 15 registered scalars, and hashed the lock before computing anything. Result: NO HIT. The certificate is exact over Q(√5) (det(O − G₇I) ≠ 0) for 19 operators and numeric for 2. Of 51 distinct values none lies within 1% of G₇; the nearest is 2 (a trace), 3.3% away. The loss condition is met and scoped to the lock: the missing object is a registered operator with eigenvalue or invariant 13√5 − 27 (minimal polynomial x² + 54x − 116). Scored against v1: decisive MET — the census returned a decisive scoped no-go.

2A is copied from library_v2.jsonl sha256 01d1a5873ede42f5…. 2B is from ATTACK_PLANS_S327.jsonl sha256 241c24e313aaabbd…, built by scripts/attack_plans_S327.py and checked against the same master at build time. The plans are printed as ratified (R75): where a plan says REV33 or REV33_PENDING (the pre-R85 name, NOT the Rev33.X series, PI ruling R163), read Rev33.1 / REV33.2_PENDING.md (PI ruling R85, S328; the label was TYPED here and went stale at every seal until S348, when it was made DERIVED — sgtoe-release 6c(c): a builder that names the release must read it, never type it).

Generated by scripts/premise_graph_build.py from library_v2.jsonl sha256 01d1a5873ede42f5b2c5f4fdcee3a4a7…, basis Rev33.1_S369. Full analysis: Trackers/PREMISE_GRAPH_REGENERATION_S312.md. Declared volatile fields (R36): BUILD_STAMP.
BUILD_STAMP S371a · 2026-09-26T22:53Z · master 01d1a5873ede42f5 · cut 9dcc6ce9a8ee3e02