Expositions · C04.2 · Registrar

C04.2 · Prior art

Section of C04.2 — Finite selector actions and the price of their shape. Section object E-C04.2.prior-art · kind PRIOR_ART · 13 record uses, all UNREVIEWED — no lane has read this section · attestation inherited from the article (R69).

← What this does not show · Sources/receipt →

1 standard · 6 programme · 1 unresolved. Standard results are known mathematics, executed here as exposition; the citation is given. Nothing on this page is claimed as new.

ResultStatusCitation / locator
A1STANDARDTaylor jets, the least-squares Hessian and spectral functional calculus used below. | [BV] Chapter 3; [LL] §3 spectral decomposition and matrix exponential.
A2PROGRAMMEThe loaded finite-action minimum, coupling price and source-conditioned detector/clock/eigenspace laws. | LIB2-021–LIB2-025; Appendix E pp.168–170.
A3PROGRAMMEThe rank-character action represents the registered selector Hessian. | LIB2-026; Appendix S §9.1 p.296. The carrier-character identity is a premise of the derivation here.
A4PROGRAMMEThe declared action class retains two-jet-invisible freedom and the adopted shape principle is not intrinsically selected. | LIB2-027–LIB2-028; Appendix S §9.4 pp.297–298.
A5PROGRAMMEThe conditional occupied-rung selector and the separate minimal-H2 coefficient obligations. | LIB2-029–LIB2-032; Appendix M pp.247–248; Appendix E pp.170–171.
A6PROGRAMMEThe tested refined-condition family does not select the adopted action; Casimir-naturality excludes its nonzero ray. | LIB2-033–LIB2-035; Appendix E pp.171–172.
A7PROGRAMMEThe source-class Gram, frame-free, transported-source, fixed-grade, sign, KN and braid-grammar exclusions. | LIB2-036–LIB2-040 and LIB2-043–LIB2-045; Appendix E pp.166–169.
A8UNRESOLVEDExact reconstruction of the frozen projectors, detector, full finite parent, H2 complexes and universal family inventories. | Missing source arrays and complete equivalence/class definitions; the coefficient script is not their replacement.

| Result | Classification | Predicate and exact scope | Source | |---|---|---|---| | A1 | STANDARD | Taylor jets, the least-squares Hessian and spectral functional calculus used below. | [BV] Chapter 3; [LL] §3 spectral decomposition and matrix exponential. | | A2 | PROGRAMME | The loaded finite-action minimum, coupling price and source-conditioned detector/clock/eigenspace laws. | LIB2-021–LIB2-025; Appendix E pp.168–170. | | A3 | PROGRAMME | The rank-character action represents the registered selector Hessian. | LIB2-026; Appendix S §9.1 p.296. The carrier-character identity is a premise of the derivation here. | | A4 | PROGRAMME | The declared action class retains two-jet-invisible freedom and the adopted shape principle is not intrinsically selected. | LIB2-027–LIB2-028; Appendix S §9.4 pp.297–298. | | A5 | PROGRAMME | The conditional occupied-rung selector and the separate minimal-H2 coefficient obligations. | LIB2-029–LIB2-032; Appendix M pp.247–248; Appendix E pp.170–171. | | A6 | PROGRAMME | The tested refined-condition family does not select the adopted action; Casimir-naturality excludes its nonzero ray. | LIB2-033–LIB2-035; Appendix E pp.171–172. | | A7 | PROGRAMME | The source-class Gram, frame-free, transported-source, fixed-grade, sign, KN and braid-grammar exclusions. | LIB2-036–LIB2-040 and LIB2-043–LIB2-045; Appendix E pp.166–169. | | A8 | UNRESOLVED | Exact reconstruction of the frozen projectors, detector, full finite parent, H2 complexes and universal family inventories. | Missing source arrays and complete equivalence/class definitions; the coefficient script is not their replacement. |

Registrar records this section cites

Registrar records are IN REVIEW and noindex; a use's role here is the Registrar's not-read state until two non-drafting lanes read it (R67 §3).

← What this does not show · Sources/receipt →

Receipt, script and stdout: on the article page. Registrar master sha256 01d1a5873ede42f5b2c5f4fdcee3a4a74c09a14b99a0deea86a60ebd9c821033 · BUILD_STAMP S371a · 2026-09-26 22:53Z · master 01d1a5873ede42f5 · cut 9dcc6ce9a8ee3e02