PRM-022 · DSE / Faddeev closure

Premise

Register corrected — R81 (D19, S327j). The PI ruled this correction to the register row (Trackers/RULING_R81_S327_PREMISE_REGISTER.md). Statement now (PRM-022/r1, L-AssumptionStack_five_level_hierarchy.md, quality HOUSE_TRIMMED): Level 4 - DSE/FADDEEV CLOSURE: K_B = 3φ2m32/(4A), A=144, GMOR proxy, T-matrix residue. Each is a specific technical choice.. Located status PARTLY_IN_SUITE. Appendix I:541: the A=144 values were computed in the legacy ambient-27 parametrization and predate the current frame. The register row the drafting lane quotes below is the row as it was supplied to the lane, before R81; it is kept in the register's history (R29: nothing is overwritten).

This premise is registered from a HOUSE FILE, Coalition/library/L-AssumptionStack_five_level_hierarchy.md, not from a suite-first locator. PARTLY IN SUITE — the legacy Faddeev model and A=144 occur at p8_junkyard.tex:270–276; the old numerical ratio is explicitly retired at lines 281–286. NOT IN SUITE — the full registered closure/proxy/residue package has not been located in the accessible TeX; exhaustive absence is unverified.

Register kind: POSTULATE. The following is the supplied register’s transcription of the house statement, not an authenticated quotation from the unprovided house file:

Level 4 - DSE/FADDEEV CLOSURE: K_B = 3φ2m32/(4A), A=144, GMOR proxy, T-matrix residue. Each is a specific technical choice.

House-file SHA-256 named in the register: 1a11009b68531c7b2de1d2408ee8259b6219ba9d009e57916c4edf88cc06f638. That named hash was not independently checked against the house file’s bytes.

What kind of premise this is

POSTULATE is the register kind for the house technical package. The suite contains a historical Faddeev model with the same A=144 normalization, but the full listed closure formula, proxy and residue prescription have not been located together in the supplied TeX. Paper 8 explicitly retires the old numerical ratio and separately retains cubic-channel structural content. A structural survivor is not a reinstatement of the retired numerical closure. Source status words: \textbf{retired} (p8_junkyard.tex:281).

Where the suite invokes it

Located invocations in the read excerpts, not an exhaustive full-source-tree census. Pages refer to saved Rev32.7 page-delimited text, not PDF-image authentication.

Arguments that rest on it

NO RECORD — the full registered house closure package is not located as a current suite argument. LIB2-246 reports the earlier ambient-Hessian ratio; it is a historical record, not a live result to reactivate through an ADD. No new dependency is proposed.

What breaks without it

The source retires the legacy null-cone numerical result and distinguishes the retained cubic-channel statement (p8_junkyard.tex:281–286). NOT ASSESSED — it does not provide a current failure calculation after deleting the entire house package, nor derive replacement GMOR/residue prescriptions.

Registrar sync

Registrar state after R76, R78 and R82 (S327j, master 0e1418ad6501767d). Declared today: none (UNKNOWN, not INDEPENDENT). The lane's lines below describe the master as it was supplied to the lane (d0aa26db154ff43f), before these changes.

Declared today in the supplied material, Registrar master d0aa26db154ff43f: none (UNKNOWN, not INDEPENDENT). Draft dispositions — no ADD, CONFIRM or DISPUTE row; there is no declared edge to adjudicate. Unbound NO RECORD arguments are not graph ADDs. No edge is declared. LIB2-246 is historical numerical context. LIB2-352 has no predicate in the supplied material and is not an argument carrier. The Faddeev-evasion proposition at appendix_i_dynamics_bounce.tex:466–475 concerns cubic versus quadratic tensor structure; it is not the complete A=144 numerical closure package.

Tier and what this does not show

A premise is not a result, and invocation count is not importance. An ADD remains a proposal until house verification under R76; a DISPUTE goes to the PI. No record or premise is upgraded, downgraded, or edited. Unlocated dependencies remain unknown.

Sources

TeX: appendix_i_dynamics_bounce.tex:466–475; p8_junkyard.tex:270; p8_junkyard.tex:275; p8_junkyard.tex:281; p8_junkyard.tex:281–286; p8_junkyard.tex:283. Registrar: LIB2-246, LIB2-352. Premise: PRM-022.