Observation, Reconstruction and Justified Decisions: A unified Couret research manuscript

UNREVIEWED RESEARCH MANUSCRIPT / NOT PEER REVIEWED. This unified manuscript asks what a representation must preserve to justify a specified decision. It connects finite additive reconstruction, task-specific query costs, sequential memory and constrained algebraic representations through explicit observation and preservation contracts. The proposed contribution is the inspectable arrangement and its worked bridges, not a claim that all branches are mathematically equivalent. The 14-page manuscript includes a written small-state no-adaptivity theorem and exact convolution cases; the BC-MOD30 147-state machine and its minimal 101-state future-output quotient; the distinct optimal six-factor saturation threshold; the reported minimum length 47 for a precisely constrained A10/F2 local-algebra embedding problem; and a source-critical modern CRT study with 64 realized answer signatures and fixed-block density limitations. English text with a French abstract. The companion ZIP contains 349 files: mathematical source snapshots, certificates, historical receipts, a claim/evidence map, reproduction instructions and five fresh finite checker runs. Written proofs, finite computations, historical Lean compilations and uncompiled formal source retain distinct statuses. DecisionInterface.lean remains SOURCE_ONLY_UNCOMPILED. No new Lean compilation or complete rerun of the algebraic exhaustive dependency is claimed for this assembly. Scientific priority and independent human review are not established. Prepared with substantial AI assistance. The earlier STROBO-4, singleton-collision and RECOH archive is referenced at https://zenodo.org/records/23980513 (DOI 10.5281/zenodo.23980513), without duplication. This manuscript and additional companion complement that source deposit. The unpublished joint Couret-Koyama manuscript and private correspondence are not redistributed. The historical chapter is not a complete critical edition, and the exact definition of Bernard Couret's regression coefficients remains unidentified. No general analytic asymptotic, RH result, industrial safety guarantee or FCI competitive advantage is claimed. Rights: no new blanket reuse licence is granted. Existing explicit licences and notices retain their scope; previously unlicensed files do not acquire a new reuse licence. See RIGHTS.txt.