Manuscript XVI-M@1 · XVI-M.tex · section · 7346c909
Kernel identification: Gate S-bv certified (work package A)
M.2 Numerical-kernel relations and Gate S-bv › Kernel identification: Gate S-bv certified (work package A) · lines 705–712
dots}, provenance/XVI-J_corpus_ eqW_DF_ rational_propq.txt): labels eq:W, eq:EA, eq:DF, eq:rational, prop:q. Role: supplementary corroboration; eq:rational is not part of the frozen XVI-L dependency; Theorem thm:wpA-Sbv and Lemma lem:wpA-varreg stand independently.
• Frozen XVI-L.tex (db5f027ef08e): thm:L5, thm:L6, def:RL,\ Role: frozen dependency. Corpus excerpt of thm:L6 (1ef32e999bfc).
• Local XVI-K.tex/artifacts (6264bc8ec685): eq:S, prop:hess,\ Role: frozen interface. Corpus excerpt (f0ebf560b5d6): prop:hess, eq:Lpq.
• Corpus/local XI-E (ea40d58d5912/d686b6ec595e): eq:W, eq:h. Role: supplementary corroboration.
• Corpus/local XII-C (79c1765ef7d8/83c6d0383b0a): lem:weighted-curvature. Role: supplementary corroboration.
A failed repository retrieval does not make eq:rational a premise of XVI-L.
Nearby in this section
- scope: Status (work package A).
- section: Kernel identification: Gate S-bv certified (work package A)
- section: Kernel identification: Gate S-bv certified (work package A)
- lemma: Lemma: Variable regulator near a nonzero null point (audit 3)
- theorem: Theorem: Certified identification for Gate S-bv
- remark: Remark: Downstream impact
- remark: Remark: What remains open after work package A
- lemma: Lemma: Reported computation for work package A