SuperGrokTOE · Track 1 / Track 2 join · S371a
| facet | claim | record | predicate facet | Track 2 | the suite prints |
|---|---|---|---|---|---|
| FCT-0033 | B-FUN-01 | LIB2-108 | field_dictionary | Certified | Proved |
| FCT-0034 | B-FUN-01 | LIB2-109 | anomaly_cancellation | Certified | Proved |
★ Both run the safe way: Track 2 rates itself weaker than the sealed suite. They are the same claim on two facets, which is why counting records silenced them and counting facets does not.
| facet | claim → record | relation | why |
|---|---|---|---|
| FCT-0033 | B-FUN-01 → LIB2-108 | expounds_same_predicate | ★ A1593, Grok. Field-placement facet. Suite PROVED under the explicit B-map; Track 2 Certified with source-certificate-not-shipped. Same predicate, comparable, and the difference is assertable. |
| FCT-0034 | B-FUN-01 → LIB2-109 | expounds_same_predicate | ★ A1593, Grok. Anomaly-cancellation facet. Suite PROVED under explicit B + SU(5). Same predicate. Grok: "the same mismatch twice, not two conflicting suite readings" -- and the S314 fan-out rule silenced both. Under facets it is one claim under-rating itself on two facets, and it is sayable. |
| FCT-0084 | D-LEP-01 → LIB2-122 | expounds_same_predicate | A1591 F6 + A1593. LIB2-122 IS the compact muon-to-tau ratio and its as_printed_quote is the same Structural / Loaded-correspondence / Reproduced sentence Track 2 uses. Both sides, same predicate. |
| FCT-0085 | D-LEP-01 → LIB2-123 | expounds_same_predicate | A1591 F6. The +0.37% residual as the multiplicative coefficient gap. Suite prints NOT_PRINTED here, so the facet is same-predicate but carries no comparable status word. |
| FCT-0086 | D-LEP-01 → LIB2-133 | contrasts_with | A1591 F6, convergent with Grok D1263. LIB2-133 is the outer-mirror operator consuming two fitted gaps (mu_p=1.5314, mu_d=0.9313), p.261. A DIFFERENT PROPOSITION. The suite p.261 remark says the two routes are a dual-route pair and neither is demoted; their reconciliation is owed. |
| FCT-0111 | D-MIX-H → LIB2-071 | expounds_same_predicate | A1591 F6. D-MIX-H is a programme-level statement about CKM; LIB2-071 is the CKM record. Same object. |
| FCT-0112 | D-MIX-H → LIB2-072 | expounds_same_predicate | A1591 F6. The second CKM record. Same object as the claim. |
| FCT-0113 | D-MIX-H → LIB2-074 | cites | ★ A1591 F6. LIB2-074 states PMNS unitarity by construction. D-MIX-H states that MIXING is a controlled correspondence defect and not an engine-derived CKM prediction. CKM and PMNS are DIFFERENT PHYSICAL OBJECTS, not two facets of one. Excluded from label comparison by predicate, which is what the fan-out rule could not do. |
The register is served as facets.jsonl. It is a house object: the Track-2 v1.5 manifest is a sealed lane artifact and is never modified by it.
Every one of the 112 Track-2 claim ids referenced by the Registrar resolves to a row in the v1.5 manifest, and every one of the 112 manifest claims is referenced by at least one Registrar record. A measured zero, printed because a zero that is never printed cannot be told from a check that was never run.
| claim | wording | Track 2 status | attachment / evidence | cautions | Registrar records (suite label) |
|---|---|---|---|---|---|
| A-5D-CYL | The finite carrier fails the cylinder-condition count with signature (1,27,27,1). | Certified current | Conditional-readout source-certificate-not-shipped | does not prove a physical fifth spacetime dimension | LIB2-055 NOT_PRINTED |
| A-5D-NEC | No purely four-dimensional countermodel reproduces all three finite-carrier signatures in the declared comparison class. | Structural current | Conditional-readout source-certificate-not-shipped | domain-relative hostile-lane theorem | LIB2-085 NOT_PRINTED |
| A-5D-NS | The mirror/Lucas flicker has the registered antiperiodic spin-structure signature. | Certified current | Conditional-readout source-certificate-not-shipped | finite carrier only | LIB2-084 NOT_PRINTED |
| A-5D-SCALE | The declared winding census contains one positive central scale class. | Proved current | Conditional-readout source-certificate-not-shipped | numerical value is external | LIB2-056 NOT_PRINTED |
| A-5D-TICK | The finite Z4 tick is additive and mirror-reversing, a momentum-like grading modulo four. | Certified current | Conditional-readout source-certificate-not-shipped | not a physical momentum operator | LIB2-054 NOT_PRINTED |
| A-CLK-01 | On the active carrier the frozen braid words furnish exactly twelve copies of Cl(2,1), and the selector-law coefficient equals the clock commutator coefficient 1/sqrt(6). | Proved current | N/A source-certificate-not-shipped | finite frozen 56-frame; no external-time or observable attachment | LIB2-014 NOT_PRINTED LIB2-024 NOT_PRINTED |
| A-COLD-SCOPE-01 | Schur symmetry supplies block structure and scalar action but not zero eigenvalue; generic three-entry Yukawa loops are not declared fully Artin-protected without a generator census. | Historical current | N/A analytic-in-text | Historical scope note: withdrawal/scope row; A630 six zeros cited Certified but not reverified at Rev32.10_S344; no new positive theorem; retained theorem/result is source-reported unless explicitly activated in this release | LIB2-087 NOT_PRINTED LIB2-088 NOT_PRINTED LIB2-250 — LIB2-251 — |
| A-CUB-01 | An integral 27 by 27 cubic map exists, while Peirce and compact chirality planes are not related by one cubic-preserving automorphism. | Certified current | N/A open/no-artifact | correct architecture is a span of interfaces | LIB2-328 — LIB2-329 — |
| A-FRM-01 | Cayley plus triality, not Cayley alone, carries the rigid golden Cartan into the local self-dual four-form chart. | Certified current | Loaded-correspondence open/no-artifact | frame conversion is not a mass theorem | LIB2-330 — |
| A-FTS-01 | The FTS is the symplectic bulk vectorization of the cubic Jordan Lagrangian boundary. | Proved current | N/A source-certificate-not-shipped | kinematic only; clause 27 Hamiltonian attachment open | LIB2-011 NOT_PRINTED |
| A-GBR-01 | The braid hyperbolic word W_h has an exact symplectic unimodular square root H_phi with H_phi^2=W_h and spectrum phi^-1(12)+1(32)+phi(12); sqrt(5) enters as the discriminant, not a numerical insertion. | Proved current | N/A source-certificate-not-shipped | finite braid representation; does not select occupation or a physical clock | LIB2-015 NOT_PRINTED LIB2-309 — |
| A-GEO-01 | The canonical 54-plane fails the Lie-triple criterion; the canonical 16-plane passes and has the registered split-D4 generated-algebra certificate. | Certified current | Loaded-correspondence source-certificate-not-shipped | local geometry; global quotient and matter attachment separate | LIB2-008 NOT_PRINTED LIB2-009 NOT_PRINTED LIB2-010 NOT_PRINTED |
| A-INT-01 | The integral 56 has primitive Lagrangian halves and a unique grading-homogeneous magnetic section. | Certified current | N/A open/no-artifact | quadratic refinements remain separate | LIB2-331 — LIB2-332 — |
| A-ROMAN-Z2-01 | At the level of the printed finite invariants, the Roman singular structure {3 double lines, 6 pinch points, 12 pinch preimages} cannot be identified count-preservingly with the occupation-clock inventory {60 rungs, 33 simples, 4 occupied, 30 even}. | Certified current | N/A source-certificate-shipped | finite-invariant obstruction only; not a global functor no-go; refined interface moved to A-ROMAN-Z2-02 | LIB2-333 — |
| A-ROMAN-Z2-02 | The Roman antipodal deck action and the clock Mobius orientation parity motivate a possible orientation-parity interface, but no equivariant map, free clock-side deck action, quotient construction, or Mobius spinor bundle is supplied. | Structural current | N/A registry-only | descriptive type compatibility only; unconstructed; no identity of Z2 actions; no occupation or physical-time attachment; not a computed s1086 gate | LIB2-334 — |
| A-SUB-01 | The frozen 56/133 matrices realize the declared split symplectic E7(7) substrate. | Certified current | N/A source-certificate-not-shipped | full arrays and verifier required | LIB2-006 NOT_PRINTED |
| A-SUB-02 | P54 and P16 are complementary projectors of ranks 54 and 16. | Certified current | Loaded-correspondence source-certificate-not-shipped | no physical truncation follows | LIB2-007 NOT_PRINTED |
| A-VAC-01 | Algebraic conditional selector: under unit determinant, the named inversion/golden-field premise, and the Gram condition, the positive diagonal spectrum is {phi,1,phi^-1} up to permutation; the ordered physical Peirce frame remains loaded. | Structural current | Loaded-correspondence analytic-in-text | conditional algebraic selector; repaired gap-pair/Lucas proof; distinguish from A-VAC-02 variational theorem; ordering not selected frame-free; retained theorem/result is source-reported unless explicitly activated in this release | LIB2-019 NOT_PRINTED LIB2-020 NOT_PRINTED |
| A-VAC-02 | Within the declared Route-B class of positive golden units phi^n with integer exponents summing to zero, excluding only the all-equal point, the Gram functional is minimized uniquely at the exponent multiset {1,0,-1}; det Gram=7. Pairwise coincidences are allowed in the comparison class. | Proved current | N/A analytic-in-text | conditional on golden-field positive units and non-degeneracy; variational theorem only; no ordered frame, physical selector, observable, or tier move; downstream DET-7 attachments unchanged | LIB2-001 NOT_PRINTED |
| B-BR-01 | All 21 faithful eight-dimensional compact A2+A1 representation classes fail the simultaneous colour-octet and weak-triplet test in the real 56; an independent exact character certificate and analytic module/frame argument are shipped. | Certified current | N/A source-certificate-shipped | finite census; domain-wide completeness open | LIB2-076 NOT_PRINTED |
| B-CH-01 | The loaded unitary matter-colour class has no image-compatible octet in the tested invariant embedding-tensor space. | Certified current | N/A source-certificate-not-shipped | finite charge-wall quantifier | LIB2-077 NOT_PRINTED |
| B-COMP-01 | The analytic appendix supplies compact reduction, complete eight-dimensional Lie-algebra census, module equivariance and simultaneous symplectic-frame covariance. Its quantifier is the declared maximal-supergravity compact gauging route, not a universal ultraviolet or global-group no-go. | Structural current | N/A analytic-in-text | binding finite-census mode; retained theorem/result is source-reported unless explicitly activated in this release | LIB2-318 — |
| B-FUN-01 | The declared B plus SU(5) frame supports one loaded generation and exact anomaly cancellation. | Certified current | Loaded-correspondence source-certificate-not-shipped | compact frame not selected; corrected branching dimension-checked | LIB2-108 Proved LIB2-109 Proved |
| B-HIG-01 | The bare real 56 has no E7(7)-invariant rank-one Higgs projector. | Proved current | N/A analytic-in-text | Higgs orientation must be loaded or selected by extra structure | LIB2-078 NOT_PRINTED |
| B-SHD-01 | A shadow su(3)+u(1)+u(1) remnant occurs in the scanned classical family and fails the Standard-Model charge-pattern test. | Certified current | Conditional-readout source-certificate-not-shipped | no quantum-stability or hypercharge claim | LIB2-079 NOT_PRINTED LIB2-080 NOT_PRINTED |
| B-UNI-01 | Under the printed matter, charge, action, scalar, and finite-census premises, the compact completion is unique up to B-L and global quotient. | Structural current | Loaded-correspondence source-certificate-not-shipped | uniqueness is not emergence | LIB2-081 NOT_PRINTED LIB2-082 NOT_PRINTED LIB2-083 NOT_PRINTED |
| C-73-01 | The source Frobenius identity fixes equal finite trace weights and readout 7/3. This is not an LSZ residue or an MS-bar mass theorem; downstream matching remains unresolved. The current source near-cancellation is 0.67 sigma: 0.194 pp against 0.289 pp, with m_t=172.60 +/- 0.27 GeV, kappa=1.824 and chi_c=1.761 (Paper 2, p.39); no fresh pull is calculated. | Proved current | Conditional-readout source-certificate-not-shipped | not a low-energy mass theorem | LIB2-053 NOT_PRINTED LIB2-107 NOT_PRINTED LIB2-311 — |
| C-BCFAM-01 | The current boundary-condition-family ruling is CLASS-rho primary, CLASS-W retained only under C4=0, and CLASS-H deferred. | Input current | N/A registry-only | PI class ruling, not a theorem; no dynamics coefficient selected; freeze-first posture remains binding | LIB2-323 — |
| C-C0-INDEP-01 | At the frozen H2 tier the six C0 coefficients are countermodel-grade independent: two disjoint symbolic rank-two candidates pass the same 13 gates and 30 controls, and no banked selection polynomial separates them. | Certified current | N/A source-certificate-not-shipped | scoped to the frozen H2 tier and banked selector polynomials; a future microscopic S_joint may still derive the coefficients; no coefficient value printed | LIB2-032 NOT_PRINTED |
| C-COMP-01 | The explicitly registered enhanced-symmetry and compensator candidates fail to produce the target hierarchy. | Certified current | N/A source-certificate-not-shipped | finite scan, not a classification theorem | LIB2-114 NOT_PRINTED |
| C-DEM-01 | An invariant trilinear has equal values on four normalized ordered triples only under the stated common-orbit premise (or a separately declared multiplicity-one model). The actual hypercharge projector preserves the entire four-channel span and does not select equality. | Proved current | Loaded-correspondence analytic-in-text | ultraviolet normalization, not low-energy equality | LIB2-113 NOT_PRINTED |
| C-FSEL-C-01 | F-SEL(c) closes negative only in the current banked class and condition inventory: the universal cone claim is withdrawn, and Casimir-naturality excludes Phi_diag rather than selecting it. | Certified current | N/A source-certificate-not-shipped | scoped negative, not a universal impossibility theorem; reopen on a genuinely new independently derived invariant or condition family; Phi_diag remains an adopted principle | LIB2-033 NOT_PRINTED LIB2-034 NOT_PRINTED LIB2-035 NOT_PRINTED LIB2-254 — |
| C-H2-RANK-01 | The minimal H2 class is predeclared at rank two. Its unresolved price is six continuous entries of C0 in Mat(3,2) plus one-map-for-all-eta naturality. | Input current | N/A registry-only | rank-two is a PI predeclaration; coefficient values are fenced and absent; rank one deferred pending a separate principle; rank three excluded in the minimal class | LIB2-031 NOT_PRINTED |
| C-H2-TRIV-01 | In the minimal H2 class the target action is forced trivial; target-triviality is therefore free and is not an additional input clause. | Proved current | N/A source-certificate-not-shipped | minimal-class theorem; does not select C0 or its rank; never re-bill target-triviality as an input | LIB2-030 NOT_PRINTED |
| C-LEAK-01 | Exactly half of the raw trilinear squared norm lies in forbidden mirror sectors and is removed by the loaded hypercharge projector. | Certified current | Loaded-correspondence source-certificate-not-shipped | raw cubic is not already physical Yukawa | LIB2-112 NOT_PRINTED |
| C-NOGO-01 | The registered parent and finite tested mechanisms do not derive the physical four-coefficient hierarchy. Common triple-orbit and multiplicity-one hypotheses remain premises; Reynolds averaging is preservation, not selection. | Structural current | N/A registry-only | does not exclude composite or nonperturbative dynamics | LIB2-118 NOT_PRINTED |
| C-OS-FINITE-01 | A finite Gaussian Osterwalder-Schrader subgate and a toy resolvent pass at conditional/finite tier. | Certified current | N/A source-certificate-not-shipped | no continuum limit; no reflection-positive continuum measure; no interacting pole; no LSZ; one step on the 17-stage continuum map | LIB2-165 NOT_PRINTED LIB2-166 NOT_PRINTED |
| C-PAR-01 | Within the frozen split-real 56-frame and declared finite/internal loaded-profile class, the selector parent has a global minimum and a positive Hessian transverse to [W_0], with the stated projective soft ray retained. Its incremental price is 10+1 continuous and zero independent discrete data; this is complete-conditional selector-tier source reporting, not continuum dynamics. | Certified current | Conditional-readout source-certificate-not-shipped | selector tier only; boundary object remains loaded; continuum, pole and LSZ remain open; positive couplings are not numerically fixed | LIB2-021 NOT_PRINTED LIB2-022 NOT_PRINTED LIB2-023 NOT_PRINTED |
| C-PHIDIAG-01 | The nonlinear action shape is not grammar-selected: a four-dimensional moduli space survives. Phi_diag is adopted only as a declared, minimal, non-intrinsic structural principle, and its price is explicit. | Structural current | Conditional-readout registry-only | WIN-OBSTRUCTED; selection fails; word minimality plus four relations; moduli increase under class enlargement | LIB2-027 NOT_PRINTED LIB2-028 NOT_PRINTED |
| C-QUAD-01 | The lowest K_dyn-equivariant nonlinear bridge spaces have dimensions dim Hom(Sym^2 P,B)=1 and dim Hom(Sym^2 B,P)=2. | Certified current | N/A source-certificate-not-shipped | census only; no counted copy is selected; any future use must name the copy and price the choice; direct linear boundary-to-physical bridge remains absent | LIB2-089 NOT_PRINTED LIB2-090 NOT_PRINTED |
| C-RANK-01 | For the declared edge-uniform parent metric the four-channel normalization has rank one and relative rank zero. Three independent response directions span a generic three-dimensional relative-quartet space; a nonlinear law may select a particular split quartet with fewer parameters. | Proved current | N/A analytic-in-text | two-derivative parent only | LIB2-117 NOT_PRINTED |
| C-RCHAR-01 | A rank-normalized carrier-character action has second variation exactly Q_T, with every displayed coefficient traced to a carrier rank. | Certified current | Conditional-readout source-certificate-not-shipped | variational representation theorem; no microscopic principle selects this nonlinear action | LIB2-026 Certified |
| C-RES-01 | In the explicit formal eight-independent-residue convention, the four-channel incidence matrix has rank four and can reproduce any positive quartet. Identifying conjugate Higgs residues leaves seven variables, rank four and kernel dimension three. | Proved current | N/A analytic-in-text | formal residue-coordinate convention is printed; ranks do not derive any residue or threshold | LIB2-115 NOT_PRINTED |
| C-RHALF-01 | In the declared compact two-scale, plane-preserving, coset-compatible, Standard-Model-invariant Gram class, the family collapses to l=c, so the previously priced point r=l/c=1/2 is excluded. | Certified current | N/A source-certificate-not-shipped | declared-class result; not the retired calibration; not the separate 7/3 trace theorem; one-host lane kernel and partial house verification | LIB2-138 NOT_PRINTED |
| C-RUN-01 | The displayed one-loop trajectory produces only order-one spread from the democratic unit ray. | Certified current | N/A source-certificate-not-shipped | illustrative trajectory; not an all-threshold theorem | LIB2-116 NOT_PRINTED |
| C-SEL27-01 | After the scoped F-SEL(c) closure, SEL-27 is a theorem-backed PI declaration question rather than an unresolved mathematical census; no coefficient choice has been made. | Input current | N/A registry-only | S303 PI ruling installed; coefficient fence intact; live research selection frontier is G7 motivation | LIB2-324 — |
| C-SPLIT-01 | The loaded-plane transport-defect algebra forces the exact 26+10 interior eigenspace split at zero incremental price. | Proved current | N/A source-certificate-not-shipped | subspace forcing only; selector weights and nonlinear action shape are separate questions | LIB2-025 NOT_PRINTED |
| C-TENS-01 | Three-ten carrier fence: the physical/vector ten and selector ten are isomorphic K_dyn modules with Casimir 1/6; the boundary ten is the K_dyn adjoint with Casimir 1/4 and is inequivalent. The least direct intertwiner obstruction is 1/sqrt(6). | Proved current | N/A source-certificate-not-shipped | every ten names its ten; equal dimension identifies nothing; physical=selector in the frozen carrier; boundary is distinct; no physical bridge selected | LIB2-016 NOT_PRINTED LIB2-017 NOT_PRINTED |
| C-TRI-01 | A nonzero G2(2)-invariant split-octonion trilinear exists on the loaded cubic channel. | Certified current | Loaded-correspondence source-certificate-not-shipped | existence and invariance; uniqueness not assumed | LIB2-110 NOT_PRINTED |
| C-YUK-01 | The loaded hypercharge projection realizes the four one-generation Standard-Model Yukawa tensors. | Certified current | Loaded-correspondence source-certificate-not-shipped | one generation; no coefficient hierarchy | LIB2-111 NOT_PRINTED |
| D-73-01 | The finite 7/3 normalization supplies a declared heavy-quark boundary value, not a directly predicted MS-bar mass. Comparison with SL-16 (4186 +/- 6 MeV) does not discharge matching or interacting residue attachment. The current source near-cancellation is 0.67 sigma: 0.194 pp against 0.289 pp, with m_t=172.60 +/- 0.27 GeV, kappa=1.824 and chi_c=1.761 (Paper 2, p.39); no fresh pull is calculated. | Proved current | Conditional-readout source-certificate-not-shipped | signed-residue route closed negative | LIB2-053 NOT_PRINTED LIB2-107 NOT_PRINTED LIB2-311 — |
| D-AX6-01 | AX6_pol is the independent polarization postulate Lambda*=3P/Q(Y)=6phi-1; the degree-six cos(6psi)=1/2 construction is the distinct retired Det^2 object, and A667 applies only to it. | Input current | Conditional-readout registry-only | readout identity does not derive selector; matching scale remains scheme-dependent; never use bare psi* | LIB2-200 NOT_PRINTED LIB2-249 — |
| D-CHI-01 | Exact single-chi additive mass-ratio completion is refuted. | Certified current | N/A source-certificate-not-shipped | no direct chi search before response map | LIB2-106 NOT_PRINTED LIB2-248 — |
| D-LEP-01 | The muon-to-tau formula (phi/sqrt(5))^(8/3)*sqrt(2)/10 is Structural / Loaded-correspondence / Reproduced; the +0.37 percent residual is the multiplicative coefficient gap. | Structural current | Loaded-correspondence source-certificate-not-shipped | target-first provenance; dimension ratio is not by itself a mass exponent; divide-by-dimension step is argued by analogy; measured tau anchor and QED matching are external | LIB2-049 NOT_PRINTED LIB2-122 Structural LIB2-123 NOT_PRINTED LIB2-133 Input LIB2-247 — |
| D-LEP-02 | The electron row is Koide-closed under external K=2/3. | Structural current | External-input external-source | not derived from J3(Os) | LIB2-127 NOT_PRINTED |
| D-MIX-01 | The solar-angle relation tan(theta12)=sqrt(3)/phi^2 is proved internally; its physical readout assumes normal ordering and is additionally conditional on the Structural Rd ladder and the undeclared ladder-to-propagation-eigenstate interface. | Proved current | Conditional-readout source-certificate-not-shipped | normal ordering assumed; ladder- and interface-conditional; not a derived ordering theorem | LIB2-060 NOT_PRINTED |
| D-MIX-02 | The internal mismatch identity sin^2(theta)=7/16 is retained separately from the physical theta23 octant, whose attachment is Loaded-correspondence. The sealed CP-cycle criterion is octant-blind and reads back the installed phase on the current assembled pair (Appendix N, p.270); it does not select the physical octant. | Proved current | Loaded-correspondence source-certificate-not-shipped | S303 PI ruling installed; internal identity is not a selected physical octant | LIB2-002 NOT_PRINTED LIB2-241 — LIB2-308 — LIB2-356 NOT_PRINTED |
| D-MIX-03 | sin^2(theta13)=sin^4(pi/8). | Structural current | Conditional-readout registry-only | round-trip squaring premise remains | LIB2-061 Structural LIB2-252 — LIB2-315 — |
| D-MIX-04 | delta_CP=-2pi/sqrt(5). Its Conditional-readout remains subject to the sealed CP-cycle read-back limitation (Appendix N, p.270); no new phase selection is claimed. | Proved current | Conditional-readout source-certificate-not-shipped | conditional readout; loaded frame; normal ordering; Structural R_d ladder; undeclared propagation-eigenstate interface; Dirac benchmark | LIB2-062 NOT_PRINTED |
| D-MIX-05 | The exact first-row weight 1/sqrt(6) is retained with Loaded-correspondence attachment. The framework-angle readout is 0.225256 (+1.11 sigma, SL-11); the measured-angle diagnostic is 0.22687 (+3.01 sigma), not a second prediction. | Proved current | Loaded-correspondence registry-only | exact weight inside a Loaded first-row route; exact-framework and measured-angle readouts are distinct; comparator SL-11 | LIB2-050 NOT_PRINTED LIB2-063 NOT_PRINTED LIB2-064 NOT_PRINTED LIB2-073 NOT_PRINTED LIB2-237 — |
| D-MIX-06 | |Vcb|=1/(9 sqrt(7))=0.041996 is a Structural formula with Loaded-correspondence attachment; the sealed comparison is +1.00 sigma against SL-13. SL-13 is the PDG 2026 direct average, inclusive/exclusive, not the global-fit object (sealed p.162; source ledger). The inherited physical-octant attachment remains unselected. | Structural current | Loaded-correspondence registry-only | Structural formula; factor 9 unforced; Loaded-correspondence attachment under the installed S303 PI ruling; comparator SL-13 | LIB2-066 Structural |
| D-MIX-07 | |Vub|=|Vus||Vcb|/sqrt(6)=0.003862 inherits first-row loading; the sealed comparison is -0.18 sigma (SL-12). SL-12 is the PDG 2026 direct average, inclusive/exclusive (sealed p.162; source ledger). | Structural current | Loaded-correspondence registry-only | inherits Route-B loading; comparator SL-12; 0.003855 retained only as a labelled rounding control | LIB2-067 NOT_PRINTED |
| D-MIX-08 | The 68.1297-degree CKM phase remains candidate/coincidence-class with Loaded-correspondence attachment. The radians-primary global SL-09 comparison is +1.40 sigma; the independent direct SL-20 comparison is +0.64 sigma. The sealed s1206 v3 N-1 formula census prices the expression language and the correction, not significance or a selection theorem (Paper 3, p.53). | Structural current | Loaded-correspondence registry-only | candidate/coincidence-class; no G7 forcing theorem; do not interchange global and direct comparator objects | LIB2-068 NOT_PRINTED LIB2-069 NOT_PRINTED LIB2-070 NOT_PRINTED LIB2-075 NOT_PRINTED LIB2-253 — LIB2-316 — |
| D-MIX-H | Mixing is a controlled correspondence defect, not an engine-derived CKM prediction. | Structural current | N/A registry-only | three theorem-level mathematical rows; V_CKM=I | LIB2-071 NOT_PRINTED LIB2-072 NOT_PRINTED LIB2-074 Proved |
| D-NU-R1-01 | The literal d=1 Jordan-adjoint mass reading predicts the scale-free neutrino splitting ratio 0.27639 against 0.03002 and is genuinely falsified; the carrier remains valid only as a mixing carrier. | Certified current | N/A source-certificate-shipped | falsifies mass predicate, not the Jordan-adjoint carrier or PMNS mixing geometry | LIB2-134 NOT_PRINTED |
| D-NU-R2-01 | The selected d(nu)=2 rung is carried under Paper 5's current typing: a Delta m^2_21 / Delta m^2_31 ratio prediction asserting, not deriving, m1=0; R2=0.17082 and R2^2=0.029180 (sealed p.84). The rung is selected/post-hoc, Structural, with the printed local-band look-elsewhere qualification and no blind credit. Printed +2.67 sigma (NuFIT 6.1), attributed to s1184: comparator uncertainty off-ledger; house row S371.2 open. Three contradictory source sites are disclosed under S371.1; no pull is recomputed. | Structural current | Conditional-readout source-certificate-shipped | selected/post-hoc; current corrected certificate governs; not a neutrino mass relation or hit | LIB2-140 Structural LIB2-141 NOT_PRINTED LIB2-142 NOT_PRINTED |
| D-OBS-01 | The carrier arc constructs a finite record quotient and score solder, but the microscopic support-restoring observation map, physical Pi_full, and mass/generation readout remain open; the printed response amplitude is declared rather than derived. | Structural open | N/A open/no-artifact | PREMISE-GRADE-4-RESPONSE; basepoint placeholder; no Pi_full or CKM; output face remains open | LIB2-005 NOT_PRINTED LIB2-259 — LIB2-264 — |
| D-OCC-01 | The loaded occupation support is {0,3,11,17}, with live continuation {31,39}. | Structural current | Loaded-correspondence source-certificate-not-shipped | failure demotes selector | LIB2-029 NOT_PRINTED |
| D-SCL-ANCHORS | The operational spectrum uses three dimensionful anchors, separately from the abstract one-positive-scale-class count. Lambda_G2 is a calibration, not a derived numerical scale. | Input current | External-input registry-only | do not collapse abstract class count, operational calibrations, and anchor usage into one physical-input claim | LIB2-124 NOT_PRINTED |
| D-SCL-COUNT | One positive central scale class is counted within the declared winding architecture. | Proved current | N/A source-certificate-not-shipped | scoped census theorem | LIB2-056 NOT_PRINTED |
| D-SCL-KILL | A second independent underivable dimensionful ratio falsifies the one-input chain. | Structural current | N/A registry-only | falsification clause | LIB2-299 — |
| D-SCL-VALUE | The numerical scale registration is measured. | Input current | External-input external-source | not a derived absolute scale | LIB2-319 — |
| E-ANN2-01 | The direct connected-Markov-second-moment repair and perturbative annular attachment are closed negative in the tested class; the surviving reopen class is packing/coordination of six to seven cells. | Certified current | N/A source-certificate-shipped | scoped class negative; energy coefficient remains open; not a universal annular no-go | LIB2-156 NOT_PRINTED LIB2-157 NOT_PRINTED LIB2-158 NOT_PRINTED LIB2-303 — |
| E-CHG-01 | Charge signs and counts remain the strong finite ledger; charge magnitudes remain open and require configuration-dependent coherence/screening data. | Structural open | N/A open/no-artifact | do not infer solved magnitude sector from sign ledger; 64Ge carries radius plus screening debts | LIB2-155 NOT_PRINTED LIB2-163 NOT_PRINTED LIB2-304 — LIB2-306 — |
| E-FUN-01 | The exhibited F_phi functor and frozen generator menu define the finite cluster kernel. | Certified current | Loaded-correspondence source-certificate-not-shipped | no continuum field theory | LIB2-143 NOT_PRINTED LIB2-144 NOT_PRINTED LIB2-162 NOT_PRINTED |
| E-GAP-01 | The A=5 sign calls and leading-order A=8 closed-cell typing are reported under the frozen finite menu. The alpha-alpha scalar bridge is zero at leading order, not an all-order nuclear nonbinding theorem. | Certified current | Conditional-readout source-certificate-not-shipped | finite category, not nuclear EFT | LIB2-146 NOT_PRINTED LIB2-147 NOT_PRINTED |
| E-HOY-01 | The Hoyle-state row passes its frozen 10 percent bar. | Certified current | Loaded-correspondence source-certificate-not-shipped | separate scored category | LIB2-152 NOT_PRINTED LIB2-162 NOT_PRINTED LIB2-306 — |
| E-ISO-01 | The fixed-Z isospin coefficient chi=phi^-6 T3 is selected rather than derived; the only registered u<->d operation is an O_s conjugation Z2 parity, not a derived SU(2) action. | Input current | Loaded-correspondence source-certificate-shipped | loaded isospin; Peirce 1/2 is scalar and gives chi=0; no derived magnitude law | LIB2-160 NOT_PRINTED LIB2-161 NOT_PRINTED |
| E-KER-01 | The A<=4 kernel is triangularly saturated; later continuations carry the prospective weight. | Structural current | Loaded-correspondence registry-only | three coefficients on three initial nuclei | LIB2-145 NOT_PRINTED |
| E-LAD-01 | T_n=(n-2)+tr_phi(R_n) is the source finite trace ladder, with sealed T5 and T9 matches. The sealed continuation records a failed pre-registered test and no pass beyond calcium; past 60Zn the ladder is falsified (Paper 9, p.136). | Certified current | Loaded-correspondence source-certificate-not-shipped | no continuum Hamiltonian inference | LIB2-144 NOT_PRINTED LIB2-148 NOT_PRINTED LIB2-149 NOT_PRINTED LIB2-150 NOT_PRINTED LIB2-151 NOT_PRINTED |
| E-LED-01 | The sealed binding ledger contains seventeen sharp passes plus one typed 28Si obstruction. The global worst untyped residual is 0.77 percent (3H); 0.37 percent (24Mg) is the worst in the A>=5 non-silicon continuation, not the global worst. These source-reported residuals are not a global significance (sealed pp.129-130,135). | Certified current | Loaded-correspondence source-certificate-not-shipped | no global likelihood or discovery claim | LIB2-153 NOT_PRINTED LIB2-164 NOT_PRINTED |
| E-NP-01 | The neutron-proton mass difference 1.2933 MeV is Unpriced: the framework carries a Coulomb/QED contribution but no QCD flip energy, and the registered e7 conjugation carries no energy. | Input open | N/A open/no-artifact | without flip energy the sign is wrong; not a prediction | LIB2-305 — |
| E-PROS-01 | Publication evidence requires one untouched external prediction with a frozen formula, bar, and matched statistical baseline. The sealed continuation records a failed pre-registered test and no pass beyond calcium; past 60Zn the ladder is falsified (Paper 9, p.136). | Structural open | N/A registry-only | prospective publication gate | LIB2-320 — |
| E-SCL-COUNT | One positive central scale class is counted within the declared winding architecture. | Proved current | N/A source-certificate-not-shipped | scoped theorem | LIB2-056 NOT_PRINTED |
| E-SCL-KILL | A second independent underivable dimensionful ratio falsifies the one-input chain. | Structural current | N/A registry-only | falsification clause | LIB2-299 — |
| E-SCL-VALUE | The numerical scale registration is measured. | Input current | External-input external-source | not an absolute-scale derivation | LIB2-319 — |
| E-SI-01 | The 28Si first-circulation row is one typed obstruction. The direct connected-Markov-second-moment and perturbative annular repair classes are closed negative in the class tested; the surviving reopen class is packing/coordination of six to seven cells. | Certified current | N/A source-certificate-not-shipped | 0.334 percent passed the pre-answer 1 percent bar; neither sharp nor miss; scoped negative only; readout fork separate | LIB2-154 NOT_PRINTED LIB2-156 NOT_PRINTED LIB2-157 NOT_PRINTED LIB2-158 NOT_PRINTED LIB2-159 NOT_PRINTED LIB2-303 — |
| E-YM-01 | No continuum or Yang-Mills functor is supplied. | Structural open | N/A open/no-artifact | no nuclear-EFT or Clay wording | LIB2-300 — |
| F-ACT-01 | The record type is derived, while the realized record value is sample data rather than a fitted model parameter. | Proved current | Conditional-readout source-certificate-not-shipped | does not select the particular realized outcome | LIB2-176 NOT_PRINTED LIB2-177 NOT_PRINTED |
| F-BASEPOINT-01 | The declared basepoint is a placeholder, not an independently selected physical boundary or an identification of the full loading map. | Input current | Conditional-readout registry-only | DECLARED-BASEPOINT-PLACEHOLDER; no intrinsic basepoint; output face remains open | LIB2-325 — |
| F-CARR-01 | The Rev33.1_S369 six-face ledger records the finite carrier arc; face 2 is definitional only over the locked thirty-row shipped universe, and face 6 remains the physical output gate. | Certified current | Conditional-readout source-certificate-shipped | scope every face; no universal impossibility claim; no output from carrier identity alone | LIB2-005 NOT_PRINTED LIB2-178 NOT_PRINTED |
| F-CONF-01 | The Euclidean conformal mode is unbounded in the source Einstein/MacDowell-Mansouri weight. | Certified current | N/A source-certificate-not-shipped | requires positive contour/regulator/measure | LIB2-169 NOT_PRINTED |
| F-DYN-SEED-01 | The no-energy-order fence is compatible with the motivated symplectic clock/dynamics seed: H_clk is extra Cartan structure, not a tensor-layer order, and H_phi independently corroborates one face of its golden flow. | Structural current | N/A registry-only | corroboration, not derivation; no measured time, energy order, mass, or continuum claim | LIB2-167 NOT_PRINTED |
| F-EIN-01 | Einstein universality is open pending the AdS linearized spectrum and constraint analysis. | Structural open | N/A open/no-artifact | finite-regulator existence is not GR | LIB2-301 — |
| F-FAITH-01 | The output/faithfulness wall is now typed as the joint absence of a theory-selected basepoint subgroup and a microscopic support-restoring observation map; the declared response premise does not close either. | Structural open | N/A open/no-artifact | face 6 remains output gate; no subgroup selected; no normalization forcing row | LIB2-005 NOT_PRINTED LIB2-259 — LIB2-264 — |
| F-GEO-01 | The Rev33.1_S369 carrier arc supplies the finite Albert-to-shell carrier, local paired-shell positive polarization, and a six-face ledger whose face-2 statement is restricted to the locked thirty-row candidate universe. | Certified current | Conditional-readout source-certificate-not-shipped | finite/local tier; face 2 definitional only in shipped candidate universe; not a universal impossibility theorem | LIB2-012 NOT_PRINTED LIB2-013 NOT_PRINTED |
| F-MASS-01 | No physical mass attachment follows from the finite carrier arc. The working |lambda mu|=1 response is declared, tau is unselected, and neither Pi_full nor CKM is constructed. | Structural open | N/A open/no-artifact | Declared premise; Loaded-correspondence only if adopted; physical output open | LIB2-193 NOT_PRINTED LIB2-302 — |
| F-MM-01 | A MacDowell-Mansouri action is available as a candidate for the Cartan/signature sector only. | Structural current | Conditional-readout registry-only | not the full particle/gauge/mass action | LIB2-168 NOT_PRINTED |
| F-MOSQ-01 | The MOS record quotient has rank three and relative rank two; it is a finite record quotient and does not restore microscopic support or construct the physical observation map. | Certified current | Conditional-readout source-certificate-not-shipped | rank-two support certificate is tier-local; no Pi_full; no CKM | LIB2-175 NOT_PRINTED |
| F-NORM-01 | The MOS and solder bounds give |lambda|<=sqrt(2), |mu|<=1, hence |lambda mu|<=sqrt(2); the forty-row normalization census has zero forcing rows, and the exact rank-two support certificate is tier-local. | Certified current | N/A source-certificate-shipped | bounds do not select |lambda mu|=1; alpha closure is permutation-class only | LIB2-182 NOT_PRINTED LIB2-183 NOT_PRINTED LIB2-184 NOT_PRINTED LIB2-185 NOT_PRINTED |
| F-ODD-01 | A covariant odd response class is inhabited on the finite carrier, but the shell-exchange torsor/orientation remains unselected and no physical coefficient is fixed. | Structural current | Conditional-readout source-certificate-shipped | class/orbit is not a selected point; orientation bit unspent | LIB2-179 NOT_PRINTED LIB2-180 NOT_PRINTED LIB2-181 NOT_PRINTED |
| F-OMOS-01 | OMOS remains the record-quotient UCP observation functor only. The mass/generation observation map and microscopic support restoration are distinct open objects. | Certified current | Conditional-readout source-certificate-not-shipped | record quotient only; physical realization not selected; basepoint placeholder | LIB2-173 NOT_PRINTED LIB2-174 NOT_PRINTED |
| F-RESP-PREM-01 | The response amplitude |lambda mu|=1 is a declared premise. Available bounds do not select this value; no microscopic loading map or CKM follows. ★ ERRATUM DISCHARGED BY REISSUE (Track-2 v1.5, house assessment A1739). The author-acknowledged erratum of 2026-09-08 applied to the v1.3 wording (“zero response was declined”). The reissued wording above no longer carries that over-claim. House record: LIB2-187 lane_notes; A1591; A1739. | Input current | Conditional-readout registry-only | PREMISE-GRADE-4-RESPONSE; declared not derived; alternatives printed | LIB2-186 NOT_PRINTED LIB2-187 NOT_PRINTED |
| F-RP-01 | A normalized reflection-positive state and positive transfer operator exist at finite regulator. | Certified current | Conditional-readout source-certificate-not-shipped | continuum limit and coherent boundary separate | LIB2-170 NOT_PRINTED LIB2-188 NOT_PRINTED LIB2-189 NOT_PRINTED LIB2-191 NOT_PRINTED LIB2-192 NOT_PRINTED LIB2-307 — |
| F-SIGN-01 | The pure MacDowell-Mansouri quadratic form has source inertia (3,3,4) and is not a positive coercive covariance. | Certified current | N/A source-certificate-not-shipped | positive completion required | LIB2-171 NOT_PRINTED LIB2-172 NOT_PRINTED LIB2-190 NOT_PRINTED |
| G-EVID-01 | Externally active mathematical statements require a complete in-paper proof or an offline certificate, expected semantic outputs and mutation controls supporting the current scoped statement. Hash agreement alone does not establish semantic support. | Structural current | N/A analytic-in-text | publication evidence boundary; analytic-in-text is an allowed discharge route; locator never substitutes for artifact; retained theorem/result is source-reported unless explicitly activated in this release | LIB2-321 — |
| G-FRONT-01 | The current observation frontier is the joint construction of a theory-selected basepoint subgroup and a microscopic support-restoring observation map; the declared response amplitude and finite quotient do not substitute for either. | Structural open | N/A open/no-artifact | no Pi_full or CKM; face 6 open | LIB2-005 NOT_PRINTED |
| G-MIX-01 | Two of eight physical mixing rows retain the derived-conditional tally after the S303 PI ruling; the theta23 attachment and dependent Vcb attachment are Loaded-correspondence. Internal identities are distinct from their physical readouts. The sealed CP-cycle test is octant-blind and a read-back on the current pair (Appendix N, p.270). | Structural current | N/A registry-only | S303 PI ruling installed; two physical rows remain derived-conditional; internal identities do not select physical attachments; exact-framework Vus 0.225256 | LIB2-235 — |
| G-NUC-01 | Paper E carries seventeen sharp pre-frozen binding-energy passes plus one typed 28Si obstruction; the annular negative is scoped, packing/coordination remains open, isospin is Loaded, and the neutron-proton split is Unpriced. The sealed continuation records a failed pre-registered test and no pass beyond calcium; past 60Zn the ladder is falsified (Paper 9, p.136). | Certified current | Loaded-correspondence source-certificate-not-shipped | finite protocol, not nuclear EFT; no magnitude or island-of-stability claim | LIB2-164 NOT_PRINTED |
| G-SCL-01 | A second independent underivable dimensionful ratio falsifies the one-input chain. | Structural current | N/A registry-only | scoped to winding architecture | LIB2-299 — |
| G-SRC-01 | The publication is based on sealed Rev33.1_S369: 433 PDF pages, 33 seal-authenticated TeX components, the 36-row named comparator ledger, the shipped engine pair and kernel v5.0.12. Retained source bytes are checked against the inner manifest. Hash authentication is not a scientific engine rerun or complete claim substantiation. | Structural current | N/A source-certificate-shipped | frozen source ledger lacks IDs; corrected sidecar is explicit; six malformed minus exponents named | LIB2-326 — |
| G-TAX-01 | Every load-bearing claim uses one controlled mathematical status, one controlled physical attachment (or N/A), and one evidence state. The 112-row v1.5 registry preserves stable IDs and the six-row activation ceiling, with input-dependent validation and mutation controls. | Structural current | N/A registry-only | binding controlled vocabulary; no slash-statuses; historical 17/17 narrowed to fifteen computed plus two literal premise/fence assertions | LIB2-322 — |
Track 2 source: SGTOE_Track2_v1_5_CLAIM_MANIFEST.json. Track 1 source: the Registrar master, joined on history.track2_claim_ids. Neither file was edited to build this page.