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: 9c9cadc6ca7c7fe596e71066a1a9507a198b58871bb96e09c2d74fb083c391d6.
Equations in these preserved Markdown records retain their TeX notation where present; this is not a newly typeset proof edition.
Claims and uniqueness — Exact Query Bounds in Characteristic-Two Modal Computation
Canonical owner: P02 — Exact Query Bounds in Characteristic Two (P02).
Stage / recommended form: technical note / Focused exact-query technical note.
Unique results or bounded research targets
- P021: Exact Deutsch complexity two under standard XOR access (thm:deutsch).
- P022: One-query Deutsch--Jozsa obstruction under the stated pointwise invertible oracle contract (thm:dj).
- P023: Adaptive recorded-branch polynomial bound and exact Bernstein--Vazirani complexity n under standard XOR access (thm:bv); kickback need not supply an invertible Fourier analyzer.
Shared or excluded from novelty
Polynomial methods and modal computation are established. Inspecting an already constructed ANF in IP is a different access model; signed quantum-algorithm reproduction belongs to SP.
Corrections and excluded claims
Do not promote the small Simon scan to a general theorem, claim the general DJ optimum, or give free coefficient inspection in a charged-oracle lower bound.
Evidence and locators
Current source: 01_SOURCE_PACKAGE_FROM_PORTFOLIO_20260921/source_package/main.tex (ZIP). Line ranges below refer to the preserved source text after normalizing newline sequences for inspection; theorem labels/section titles are authoritative locators.
01_SOURCE_PACKAGE_FROM_PORTFOLIO_20260921/source_package/main.tex:34-19701_SOURCE_PACKAGE_FROM_PORTFOLIO_20260921/source_package/main.tex:198-241
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
Review exact discrimination, adaptive direct-sum induction, allowed ancillas and the lower/upper-bound contract; complete matched-contract priority search.
Formal proofs are present, but this organization pass does not certify them; finite evidence cannot extend their quantified scope.