Claims & Evidence Registrar › H07
| domain | The house divergence assertion for the unregulated partition function and its legacy Morse-index argument. |
|---|
Quotes are verbatim from the sha-pinned text extraction of the Rev33.1 PDF (A1584 §2.2, S309): mathematical typography — radicals, exponents, ≅ — can appear displaced in the extracted line. The PDF page is authoritative; the quote is what the machine gate matched.
Appendix I, §6, Hadronic scope fence: legacy parametrization — PDF p.220 (bytes of record)
blocked on ruling R3 — the cited source is not in the sealed suite; this use cannot be read against Rev33.1 by anyone until that ruling lands (R62 P2, family A). What R3 is: R3 (S310, Trackers/OPEN_ITEMS.md): a source held only in a house file, outside the sealed suite, is admissible when sha-pinned and labelled — the per-use adjudication under R3 has not been made for this use.
The numerical values once attached to this sector — the spectral trace A = 144, the ambient Morse index 17/27, and the baryon/meson ratio MB /MM ≈ 6.7 — were computed in the legacy ambient-27 Hessian parametrization and predate the current {ϕ, 1, ϕ−1 }/OP 2 description.The text extraction above lost mathematical typography. Restored from the sealed TeX source (
rev32.7/tex/appendix_i_dynamics_bounce.tex:541-544): The numerical values once attached to this sector — the spectral trace A=144, the ambient Morse index 17/27, and the baryon/meson ratio M_B/M_M≈6.7 — were computed in the legacy ambient-27 Hessian parametrization and predate the current {ϕ,1,ϕ⁻¹}/𝕆P² description. (R87 house restoration: rendered from the tex, not the quote; the quote above is what the machine gate matched)
| kind | reference | line / key | availability | note |
|---|---|---|---|---|
| registry | LIBRARY_V2_CANDIDATE_LIST_S304.csv, C2-177; L-Z1Divergence_partition_function_indefinite.md | C2-177 | shipped | The header asserts Z(1) diverges and cites a legacy Morse-index inequality. The integration domain, measure, contour and original argument are not supplied. |
| type | target | licensed by |
|---|---|---|
related_to (never evidential) | LIB2-335 Source hold on the two distinct Hessian-trace quantities | — |
| states a predicate | no — a record with no predicate has nothing to clear (NOT_AN_ENTRY) |
|---|---|
| uses on the record · unblocked | 1 · 0 (1 blocked on ruling R3) |
| uses any lane has read | 0 of 0 |
| REVIEWED SUPPORTS use on the predicate, read by two non-drafting lanes | no (0) |
| a SUPPORTS use on the predicate is DISPUTED | no |
| machine certificate current | yes |
Not PUBLISHED because it states no predicate. The transition is written only by the R67 producer and recomputed by a gate on every build; no person promotes a record by hand.
| state | MACHINE_CHECKS_PASSED | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| policy | sgtoe-clearance-policy-1.0-RATIFIED · sha16 ef7d6e7690514311 | |||||||||||||||||||||
| bound to master | aad7a3ec6ce3b510 (the master the checks ran on; issued 2026-09-26T05:06Z) | |||||||||||||||||||||
| checks |
|
A certificate says the record is well-formed, current, quote-on-page, label-literal, edge-resolved and binding-consistent on the bytes it was issued on. It is not a review, and it goes STALE the moment the master moves under it (R68). It is one conjunct of the PUBLISHED condition (R67), never the whole of it.
| March library (v1) antecedents | no legacy antecedent identified |
|---|---|
| candidate ids (frozen list S304) | C2-177 |
Z1Divergence, Z(1) diverges and partition function diverges were not located. Appendix I p.208 uses Z(1) in a homogeneity relation, not a convergence proof; p.210 identifies the legacy ambient Morse index. Neither supplies the missing domain and measure or establishes the header's divergence assertion. The old index inequality is not recalculated, silently updated or declared false.
round D1253 · parsed 2026-09-06T00:06Z · machine gates passed: CONTRACT, G1-quote-on-page, G2-numerals-declared, G4-ids-resolve, DAG-acyclic · content sha256 0ea543305fc8b5ef980b72f016f515da1524fe5d898e51d34e5c618b5a8ee8d7
Reviewer verdict line (one per entry, as text): LIB2-354 | PASS or FAIL(G1–G8) or NOT RUN | quote | PDF page | one sentence. G1 source supports the exact scoped assertion · G2 evidence class fits (numbers ≡ digit source) · G3 labels as printed, not converted · G4 comparison typed · G6 public scope · G7 history real · G8 caution present and true. Machine surfaces: index.json · capsule.md.
Generated from library_v2.jsonl. Declared volatile fields (R36): BUILD_STAMP.
BUILD_STAMP S371a · 2026-09-26T22:53Z · master 01d1a5873ede42f5 · cut 9dcc6ce9a8ee3e02