From 783419a93c2903df950c06cd764bda6dc15c91a8 Mon Sep 17 00:00:00 2001 From: Cinna Davis <1337isnot1337@users.noreply.github.com> Date: Fri, 23 Oct 2026 00:24:59 -0500 Subject: [PATCH] Map distinct two-FULL controller and precision contracts --- docs/research/research-glossary.md | 1 + .../two-full-controller-contract-map.json | 109 ++++++++++++++++++ .../two-full-controller-contract-map.md | 93 +++++++++++++++ 3 files changed, 203 insertions(+) create mode 100644 docs/research/two-full-controller-contract-map.json create mode 100644 docs/research/two-full-controller-contract-map.md diff --git a/docs/research/research-glossary.md b/docs/research/research-glossary.md index 25eb567d8c..ed9cc74ce3 100644 --- a/docs/research/research-glossary.md +++ b/docs/research/research-glossary.md @@ -13,6 +13,7 @@ and contracts govern a proof; historical packages may use different conventions. | Role / register / helper | A logical data or workspace position. A helper may hold arbitrary initial data; it is not automatically zero or disposable. | | Dirty state / restoration | A routine must work for arbitrary initial workspace and return the state required by its caller's contract. | | Frame / label | The representation attached to a role or operation. Changing frames can require paid recursive work. | +| Controller | A program combining native invocations into independent target jobs. Owner, helper, routing and error contracts determine which [two-FULL result](two-full-controller-contract-map.md) applies; inverse recipes and a favorable invoice alone do not establish a complete caller. | | Decoder / copy cost | In the complex E8 algebraic model, a sum of support-pair terms realizing the required Gram identity; each term is charged its binary label-pairing rank. Term count, all-pairs versus masked exactness and retained readers change which [decoder bound](complex-decoder-scope-map.md) applies. A decoder alone does not supply a physical COPY program. | | Rank / paid profile / histogram | The size of each recursive child and the count at each size, derived from the actual frame transitions and other charged calls. | | Moment / invoice | The normalized recursive cost at a proposed saving, including the applicable extra charges. It must satisfy strict inequalities. | diff --git a/docs/research/two-full-controller-contract-map.json b/docs/research/two-full-controller-contract-map.json new file mode 100644 index 0000000000..27e58b5bae --- /dev/null +++ b/docs/research/two-full-controller-contract-map.json @@ -0,0 +1,109 @@ +{ + "schema_version": 1, + "base_commit": "b91956876e5b4122fd89179f1b57557ff8378f15", + "checked_at": "2026-10-23T05:24:59.113644+00:00", + "priority_revision": 7, + "task": "scope-navigation", + "assignment_seed": "69e7607a18fdb0eea80d9683e58f4194", + "track": "consolidation", + "candidate_task_ids": [ + "scope-navigation", + "overlap-receipt" + ], + "actual_scope": "Navigate the distinct two-FULL exact endpoint, owner/helper/routing, Laurent independent-error, inverse and shared scalar-potential contracts. No strategic priority, selected frontier or scientific acceptance change.", + "outcome": "Documentation source/cross-reference correction; no new kappa.", + "source_inputs": [ + { + "commit": "b91956876e5b4122fd89179f1b57557ff8378f15", + "path": "research/two-full-central-obstruction/README.md", + "git_blob": "0b74451d2501318e3c4d1e5d3b4b0de96830d89f", + "sha256": "52663560c13b18547752af243b47693a9c7e76cd3cb7bb86328e609533c5a4e1", + "scope": "Source scope read for navigation; scientific verifier not rerun." + }, + { + "commit": "b91956876e5b4122fd89179f1b57557ff8378f15", + "path": "research/two-full-central-obstruction/TASK.json", + "git_blob": "5a7627f4b79c8d5ceb4bd7831db257fa96591ea0", + "sha256": "545427fe9840bbd412cb5127b27d1039babad7c44961222f3ab08a5fa81ab230", + "scope": "Source scope read for navigation; scientific verifier not rerun." + }, + { + "commit": "b91956876e5b4122fd89179f1b57557ff8378f15", + "path": "research/two-full-retained-helper-ceiling/README.md", + "git_blob": "dc4353d52e32cd327ef4cce7152a28a1ada1388e", + "sha256": "9540363e1fba2379ec8ac89216b8865aa838e992d5e2806ead3c4ac398107efa", + "scope": "Source scope read for navigation; scientific verifier not rerun." + }, + { + "commit": "b91956876e5b4122fd89179f1b57557ff8378f15", + "path": "research/two-full-retained-helper-ceiling/TASK.json", + "git_blob": "7b62f5388fb5f3cfc0dd86e39bdac1e26c76cc94", + "sha256": "fee585131e63265f7ab7336aa07d671339d5e59403f45e130549c4cdc9c7976b", + "scope": "Source scope read for navigation; scientific verifier not rerun." + }, + { + "commit": "039b6ea51ab7a7efb38fc6851f345839683251b0", + "path": "research/two-full-border-paid-precision/inverse-interface/PROOF.md", + "git_blob": "7d939c4dc662af9cdbf306b7e5ab4f4acf21c35c", + "sha256": "753f0e1e7f6305ed550cb7247204190d9f4f258e07744e16ee55a35ee42e3f85", + "scope": "Source scope read for navigation; scientific verifier not rerun." + }, + { + "commit": "039b6ea51ab7a7efb38fc6851f345839683251b0", + "path": "research/two-full-border-paid-precision/paid-sensitivity/PROOF.md", + "git_blob": "f2260e452a301c86238ac88976fba16fae69456a", + "sha256": "8b47f2a6c6bd8e6ef035e0faeced6877037a6beac3b8cb535617988d0c3088b3", + "scope": "Source scope read for navigation; scientific verifier not rerun." + }, + { + "commit": "acb28c0b5708d0aee91e457050c973e3df476fa4", + "path": "research/coherent-frame-additivity/PROOF.md", + "git_blob": "67dd02c9d31d77be390a9e3fdfc09c7dd8de56c2", + "sha256": "0f72ad943e6f1803d6cdc5749f6b6880463fc8dba8ce57e8de3c3550a8eaea79", + "scope": "Source scope read for navigation; scientific verifier not rerun." + }, + { + "commit": "b91956876e5b4122fd89179f1b57557ff8378f15", + "path": "research/two-full-central-obstruction/PROOF.md", + "git_blob": "66df36c04d0f88018fd640aa095bb55eeacb17e1", + "sha256": "9babe77410543665f197cd1846d71d775d306c97716aedefc6f25f4256f5a699", + "scope": "Source theorem hypotheses read for navigation; scientific verifier not rerun." + }, + { + "commit": "b91956876e5b4122fd89179f1b57557ff8378f15", + "path": "research/two-full-retained-helper-ceiling/science/PROOF.md", + "git_blob": "85eb3ade566aecd21b681085543eff617fc0f5db", + "sha256": "63ec5034fb526dc9243de487f97477e51221773f4b7cae21b38df719ba1362c7", + "scope": "Source theorem hypotheses read for navigation; scientific verifier not rerun." + } + ], + "overlap": { + "terms": [ + "two-full controller", + "controller contract map" + ], + "coverage": { + "local": { + "head": "b91956876e5b4122fd89179f1b57557ff8378f15", + "records": 6636, + "head_records": 6636, + "complete_head_inventory": true, + "unsearched_head_paths": [] + }, + "open_prs": { + "fetched_at": "2026-10-23T05:23:13.776726+00:00", + "complete_pagination": true, + "records": 331 + }, + "discussions": { + "fetched_at": "2026-10-23T05:24:14.722610+00:00", + "complete_pagination": true, + "records": 4083 + } + }, + "matches_total": 0, + "limitations": "Remote PR scope is open PRs including drafts. Closed work is searched through local READMEs, TASK metadata and ledger only. Local coverage compares searched working-tree notes with regular note paths at coverage.local.head; it does not certify HEAD contents or historical coverage. No code diffs or arbitrary package files are searched. Recheck relevant heads before submission." + }, + "scientific_replays": "Not rerun; this is navigation only.", + "author": "Cinna Davis with substantial OpenAI Codex assistance" +} diff --git a/docs/research/two-full-controller-contract-map.md b/docs/research/two-full-controller-contract-map.md new file mode 100644 index 0000000000..47e58e2a4f --- /dev/null +++ b/docs/research/two-full-controller-contract-map.md @@ -0,0 +1,93 @@ +# Two-FULL controller contracts + +This is navigation across scoped results, checked against canonical main +`b91956876e5b4122fd89179f1b57557ff8378f15` on October 23, 2026. It neither +replays nor scientifically accepts the cited proofs. The selected conditional +κ remains [60403/20000000](../../certificates/selected-result.json). The +[source receipt](two-full-controller-contract-map.json) pins the exact inputs +and assignment context; later PR status does not change those frozen sources. + +A FULL is a complete native invocation, including its main and productive +helper outputs. A controller joins such invocations to produce independent +target jobs. An attractive formal invoice still needs its declared endpoint, +actual source frames, independent input owners and a complete recursive bill. + +## Which result covers which contract + +| Source | Contract actually covered | Result and boundary | +|---|---|---| +| [Two changed central functions](../../research/two-full-central-obstruction/README.md), original theorem | Two main owners; arbitrary owner controls over the specified separated central-monomial/transverse algebra; source helpers remain autonomous and untouched; restored dirty scratch is permitted. | The two independent nonmonomial main targets cannot both be completed. This does not permit spending existing transformed helper values as identity scratch. | +| [The same package's full-routing addendum](../../research/two-full-central-obstruction/README.md#addendum-full-monomial-routing-on-exactly-two-owners) | Full monomial Clifford interstage routing, including central/fresh mixing, with exactly two main owners and no access to other states. | The lower-grade purity argument excludes the two rank-seventeen targets. Its full-routing permission and the original theorem's additional scratch are separate scopes. | +| [Retained productive helpers](../../research/two-full-retained-helper-ceiling/README.md) | Two main owners plus distinct simultaneous helper jobs and restored B-valued spectators; every helper job must remain a distinct output; controls retain central/transverse separation. | A projected-rank obstruction excludes the endpoint. This is neither the exactly-two-owner full-routing theorem nor a theorem about an arbitrary joint 224-main-owner controller. | +| [PR4966 paid-site precision proof](https://github.com/Lyy-iiis/integer-mult-bounds/blob/039b6ea51ab7a7efb38fc6851f345839683251b0/research/two-full-border-paid-precision/paid-sensitivity/PROOF.md) | The actual round-three Laurent border; independent per-paid-site operator errors; the explicitly declared leading cost linear in precision. | Main-visible rank-one faults alone reject the concave moment under that policy. This does not exclude correlated, adaptive or differently priced implementations. | +| [PR4966 inverse-interface proof](https://github.com/Lyy-iiis/integer-mult-bounds/blob/039b6ea51ab7a7efb38fc6851f345839683251b0/research/two-full-border-paid-precision/inverse-interface/PROOF.md) | Each persistent child exposes the inverse of its same realization at the same declared rank charge; deterministic owned centers are recomputed on unchanged capture fields. | Exact persistent inverse recipes retain the paid profile. The other retained source orientation is not automatically that actual inverse, and an inverse does not supply the second fresh-D caller or linear Gaussian identities. | +| [PR4983 scalar compatibility](https://github.com/1337isnot1337/integer-mult-bounds/blob/acb28c0b5708d0aee91e457050c973e3df476fa4/research/coherent-frame-additivity/PROOF.md) | A gatewise proof using one shared potential per frame, unchanged scalar ADDs and arbitrary persistent inputs. | Every active frame in each source orientation must have an additive potential. Nonlinear inverse/warp compatibility alone is insufficient. This does not exclude a different global correlated-error argument or a changed scalar circuit. | + +The first two source packages are retained on the pinned main. PR4966 and +PR4983 are separately pinned submissions; their inclusion here is a pointer, +not a maintainer acceptance or selected-frontier update. Their source notices +identify author checks and any separately performed review. A submitted +checker pass does not change the quantifiers of its written proof. + +## Contract checks before a new experiment + +First name the actual native source and the main input/output owners. The +central-obstruction and retained-helper packages bind the #4610 native source +at `20bb93cd990d2ff683e4d0fc56b87a42cd5d3296`. The precision and inverse +proofs instead consume the round-three `ACTUAL-WORD.json.gz`, whose compressed +SHA256 is +`7679daa4ec6a40f56fc7f0202379a6f454310e94945aba4f48beaaaafb838d05`. +Do not transfer an invoice or a source-normalizer identity between them +without checking the actual version and interface. + +Then state which helpers may be touched, whether their original outputs are +retained, and what scratch must be returned. Extra helper owners change the +exactly-two-owner contract. Allowing address mixing changes the separated +algebra contract. Two source relaxations proved in different theorems cannot +simply be joined into one stronger exclusion. + +For a Laurent approximation, distinguish its formal exact algebraic identity, +its error model, and the leading precision tariff. Deterministic inverses can +correlate errors without restoring Gaussian/frame identities. A coherent +potential proposal must address the actual scalar gates as well as paid and +warp transitions. Changing the scalar gates, using nonlinear potentials, or +allowing a quantitative scalar defect requires its own caller and bill. + +Finally price all target, helper, center, correction, return and precision +work. A passing optimistic moment is a reason to continue the endpoint test; +an impossible endpoint cannot be repaired by a more accurate evaluation of +that same invoice. Conversely a scoped negative moment does not establish +the failure of a different cost model. + +## Open changed contracts + +The retained-helper source explicitly leaves literal central/fresh monomial +routing that preserves both distinct helper jobs open. Begin with the actual +forward/backward owner frames: the rank-one X entrance and empty Y/helper +entrance differ. Price every conversion and cleanup before a routing search. +The full-routing main-only addendum does not already close that helper access. + +The inverse-interface source leaves a Gaussian-compatible paired caller with +both independent fresh D factors open. An additive coherent realization must +satisfy its paid and warp relations with a complete precision/storage bill. +A nonlinear realization could instead change its scalar circuit or bound and +pay scalar defects; no such implementation follows from invertibility alone. + +These are source-stated remaining obligations, not recommendations that a +particular mechanism will improve κ. Recheck live discussions and PR heads +before claiming or expanding either route. + +## Attribution and validation + +Chris R / Clear1nsight's packages retain their source, algebra, accounting and +review contributor notices. Yiyang (@Lyy-iiis) supplies the paid-site precision +and inverse-interface work. Cao Yifan supplies the round-three actual word; +the native, E8/Clifford, controller, compiler and outer predecessor credit +remains in the original notices. Cinna Davis supplies the additive-frame +boundary and this navigation; all cited AI-assistance disclosures remain. + +The documentation check resolves every relative link/anchor, authenticates the +receipt's Git blobs and SHA256 values, and compares the named source scopes. +No scientific verifier, selected cold replay, Lean or physical suite was rerun +for this map. Prepared by Cinna Davis with substantial OpenAI Codex assistance. +Apache-2.0. No independent human review is claimed.