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: 1e862bcfcefe4715e69a6bae080fb4a1d8ee866d965d902e1c727e2162eb2e00.

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

Claims and uniqueness — CM Phase Calculus Verified: Signed and Integral Lift

Canonical owner: SP — Signed Integral CM Phase Calculus.

Stage / recommended form: companion / Technical synthesis/correction companion; defer standalone submission.

Unique results or bounded research targets

Shared or excluded from novelty

Quantum algorithm reproductions and known exact synthesis/coefficient rings are not new algorithms. Boolean operator calculus is FO; the intrinsic characteristic-two phase ring and ANF package is IP; chain-ring resources and query bounds are P01/P02.

Corrections and excluded claims

Integral/signed lift is not an embedding of characteristic-two arithmetic and does not derive a Boolean Born rule. Keep failure results and correction ledger. No physical realization or speedup is established.

Evidence and locators

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

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 against the later correctness audit, audit lift/norm conventions and modular source lineage; assess whether the bridge/correction synthesis merits a technical venue rather than an original quantum-computation paper.

Strong prior-art overlap in quantum reproductions and exact coefficient domains. Separate technical value exists, but it does not justify submitting all claims as new research.