Scope, ownership and unresolved questions

Preserved research record. This public derivative removes local-only path links; scientific wording and original status claims remain historical. Internal AI reviews are not external peer review. Original SHA-256: 29892f6f464583bad81f0707ac943196b77ec5ffed0ca816c015fc487966733d.

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

Claims and uniqueness — Intrinsic Boolean CM Phase Algebra

Canonical owner: IP — Intrinsic Boolean CM Phase Algebra.

Stage / recommended form: substantial draft / Algebra/representation and qualified computation article.

Unique results or bounded research targets

IP1: Intrinsic cyclic phase ring F2[C4] = F2[u]/(u^4), scalar units/nilpotents, regular representation and exact small unitary/splitter inventory.
IP2: Exact phase--ANF encoding and subset-interval kernel (thm:phaseanf, prop:interval).
IP3: Shared-tag nilpotent interaction bound and local CM-to-polynomial substitution (thm:interaction, thm:local), with explicit resource accounting.

Shared or excluded from novelty

Cyclic/group algebra and ANF/Mobius machinery are classical. Foundation representation is FO; the typed pair compiler is CO; generalized chain-ring resources and charged query bounds belong to P01/P02.

Corrections and excluded claims

Pairing is nondegenerate with isotropic self-products, not a degenerate Hermitian pairing. One oracle layer is not one charged classical query. The 1,500 DAG checks concern internal nodes in 50 DAGs. Carry the later correctness audit into any revision.

Evidence and locators

Current source: CURRENT_MANUSCRIPT/Intrinsic_Boolean_CM_Phase_Algebra.tex (ZIP). Line ranges below refer to the preserved source text after normalizing newline sequences for inspection; theorem labels/section titles are authoritative locators.

CURRENT_MANUSCRIPT/Intrinsic_Boolean_CM_Phase_Algebra.tex:279-398
CURRENT_MANUSCRIPT/Intrinsic_Boolean_CM_Phase_Algebra.tex:409-750
CURRENT_MANUSCRIPT/Intrinsic_Boolean_CM_Phase_Algebra.tex:872-945

File and ZIP-member SHA-256, titles/objectives and section anchors are in the complete evidence inventory. The pairwise matrix specifies ownership, treatment and residual content for every project pair.

Work still required

Reconcile the standalone and modular archive source variants; audit unitary/readout scope and claimed pattern access; identify the strongest nonstandard theorem relative to group-algebra and ANF literature.

Older than the canonical correctness audit; performance and physical interpretations require separate evidence. Keep all negative norm/Hadamard results.