Scope, ownership and unresolved questions

Equations in these preserved Markdown records retain their TeX notation where present; this is not a newly typeset proof edition.

Claims and boundaries - P01

Canonical owner: Chain Ring Contextuality and Exact Resources (P01).

Current source: revised main.tex.

• P011: Complete-basis support classification by r and h; hyperplane and Hardy lemmas. Outcome choices are indexed by settings, with no extra shared-ray KS identification.
• P012: Exactly dh messages for the specified full-GL orbit and complete joint decoder. This is not general channel capacity.
• P013: Universal exact raw-vector, reference-preserving teleportation iff invertibility, with a complete joint covector basis and unrestricted invertible corrections.
• Primitive-resource boundary: maximal d^2 coding iff invertibility iff raw teleportation. The maximal-coding/nonteleportation separator requires nonprimitive resources.
• Two-setting boundary: a global assignment exists in the stated binary-residue setting; this does not assert full locality.

Classical ingredients include Smith/module theory, matrix spanning by invertibles, modal protocols and the global-section hierarchy. The source comparison records established overlap, different task assumptions and access limitations. External firstness is not certified.

The support model admits nonzero static resources but is not an unchanged tensor-closed preparation/process theory. Literal binary expansion changes tensor and effect contracts. The optional Boolean construction is separate from the article.

The standalone supplement distinguishes direct support solving, invariant-derived aggregation and explicit lower-bound certificates. The received audit and all historical manuscript files remain preserved. No general physical realization, probability model, speedup or formal proof certification is claimed.