From 59d57c8c662e62b9a03f5ebd6ba52ebdd19ed20b Mon Sep 17 00:00:00 2001 From: Chris R Date: Thu, 22 Oct 2026 15:25:09 +1100 Subject: [PATCH 1/3] Prepare isolated current-main base with retained fork CI corrections Reuse the PR14 fixes and zxv PR4436 navigation, retaining original scientific hashes and verifiers. Historical original-manifest availability now binds to canonical main. No main branch, PR or selected frontier is merged. --- docs/ci-verification.md | 19 +++++ docs/research/clear1nsight-20261022-base.md | 5 ++ docs/research/current-status.md | 6 +- .../d8-mixed-target-seeda97c8e/SOURCES.json | 8 +- research/historical-1042-link/SOURCES.json | 4 +- research/historical-1042-link/VERIFY.json | 8 +- .../historical-1042-link/historical_replay.py | 76 +++++++++++++++++++ research/test-suite-locale-reads/SOURCES.json | 2 +- 8 files changed, 115 insertions(+), 13 deletions(-) create mode 100644 docs/research/clear1nsight-20261022-base.md create mode 100644 research/historical-1042-link/historical_replay.py diff --git a/docs/ci-verification.md b/docs/ci-verification.md index 582e416aaf..4541cfa0e8 100644 --- a/docs/ci-verification.md +++ b/docs/ci-verification.md @@ -5,6 +5,25 @@ Start with the [selected record](../certificates/selected-result.json). Its `reproduce`, `review`, `source_manifest` and `validation` fields identify the replay command, scoped assessment, source bindings and integration evidence. +The selected checkpoint is #4359, documented in +[the proof review](research/pr-intake-evidence/pr4359/PROOF-REVIEW.md), +[the source manifest](../certificates/frontier4359-source.json) and +[the validation receipt](research/pr-intake-evidence/pr4359/VALIDATION.json). +The public cold replay is `make frontier4359-verify`; the configured +[frontier4359 workflow](../.github/workflows/frontier4359.yml) executes it +on Ubuntu 24.04 with Python 3.12 and the pinned requirements. Consult +[the integration receipt](research/pr-intake-evidence/pr4359/INTEGRATION.json) +and [workflow runs](https://github.com/CrocSwap/integer-mult-bounds/actions/workflows/frontier4359.yml) +for dated evidence and exact tested heads. + +`make selected-record-check` checks metadata and source/proof hashes. The +finite replay and changed-interface review retain the native/physical, +analytic, precision, fixed-tape and recovery hypotheses in the selected +record; they are not a full formal multiplication theorem. The winning +uniform templates are algorithm-defined and are not materialized. + +## Historical checkpoint through #1094 + At this checkpoint, the selected composition is #589 with #1094, documented in [the review](research/community-batch1099-review.md), [the source manifest](../research/community-frontier1094-audit/SELECTED-SOURCE.json) diff --git a/docs/research/clear1nsight-20261022-base.md b/docs/research/clear1nsight-20261022-base.md new file mode 100644 index 0000000000..cdbde019fd --- /dev/null +++ b/docs/research/clear1nsight-20261022-base.md @@ -0,0 +1,5 @@ +# Isolated contribution base, 22 October 2026 + +This branch starts at canonical main f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc. It carries only the already tested fork PR14 navigation and historical source-role corrections, separate from all four new research submissions. The historical replay's original-manifest reference is now the same byte-identical manifest in canonical main, so no foreign fork commit is required. Scientific verifiers, original hashes and receipts, selected records, and replay invalidation paths are unchanged. Credit zxv's PR4436 documentation, James Reed's PR3563 and the locale/D8 authors; fork adaptation by Chris R / Clear1nsight with substantial OpenAI assistance, Apache-2.0. + +This is an isolated base branch, not a merge into main or a selected-frontier update. Each research PR targets this branch to keep its scientific diff focused. Upstream submission should carry the individual research commit; upstream maintainers own any shared CI repair. New package metadata pins the canonical scientific baseline, not the changing current documentation. diff --git a/docs/research/current-status.md b/docs/research/current-status.md index 62a8cbb097..043a8cd78a 100644 --- a/docs/research/current-status.md +++ b/docs/research/current-status.md @@ -1,12 +1,14 @@ # Current reviewed status -Selected conditional κ: **0.0023 = 23/10000**, zxv’s #4359 productive-helper construction, using Jacob Alan Sussman’s mixed-target recursion and the credited cumulative native/outer lineage. +Selected conditional κ: **0.0023** = 23/10000, zxv’s #4359 productive-helper construction, using Jacob Alan Sussman’s mixed-target recursion and the credited cumulative native/outer lineage. [Selected record](../../certificates/selected-result.json) · [Proof review](pr-intake-evidence/pr4359/PROOF-REVIEW.md) · [Integration receipt](pr-intake-evidence/pr4359/INTEGRATION.json) · [Contributors](community-productive4359-contributors.md). Cold replay: `make frontier4359-verify`. The fresh 23-stage replay and 59 normalized artifacts pass; the changed interfaces have an AI-assisted proof review under retained analytic/native/fixed-tape hypotheses. Winning uniform templates are not materialized. This is not a complete formal or independent human verification. #4404 independently checks a narrower arithmetic/flow scope. -## Historical selected status through #1094 +The sections below are a historical snapshot; consult the selected record above for present status. + +## Historical checkpoint through #1094 Historical selected conditional κ: **0.001672660197076918**, Rohan Arun's #1094 on Jeremy Kothe's #1087 packing and the cumulative k8/slot/T16 construction. The bit supplier remains #589 on #555. diff --git a/research/d8-mixed-target-seeda97c8e/SOURCES.json b/research/d8-mixed-target-seeda97c8e/SOURCES.json index 9384463ff4..5dcfa9dd60 100644 --- a/research/d8-mixed-target-seeda97c8e/SOURCES.json +++ b/research/d8-mixed-target-seeda97c8e/SOURCES.json @@ -4,25 +4,25 @@ "files": [ { "path": "autoresearch.md", - "usage": "input", + "usage": "provenance", "git_blob": "8d5403e0f10f68a61d0cb9294fa2e83e872d1d82", "sha256": "215b3222f6a943edc69422a28ac21ea1f397ddf54770f1d87ac4195385d73699" }, { "path": "certificates/selected-result.json", - "usage": "input", + "usage": "provenance", "git_blob": "ae6a99f28aa468649eb66a361e764d769363bf11", "sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32" }, { "path": "docs/research/agent-task-catalog.json", - "usage": "input", + "usage": "provenance", "git_blob": "06c96f5579bb67ed1b86d334e78fbed7da6945f1", "sha256": "6686ad58f1fbdbc87134a78901b60fd53a20d3984355e91defbbebc9e9fa8075" }, { "path": "docs/research/current-status.md", - "usage": "input", + "usage": "provenance", "git_blob": "d73b4ff9da41f044e793422db4318be17e234a6c", "sha256": "adb54af005eb11edaf84d782fe729338680ff908f6d4fbf39ba1062d2e7d8a77" }, diff --git a/research/historical-1042-link/SOURCES.json b/research/historical-1042-link/SOURCES.json index c6119ca5a8..6a1356cf2a 100644 --- a/research/historical-1042-link/SOURCES.json +++ b/research/historical-1042-link/SOURCES.json @@ -10,13 +10,13 @@ }, { "path": "docs/research/current-status.md", - "usage": "input", + "usage": "provenance", "git_blob": "4e0a8b7cdacc1d9680f7f81d03624118bb20416d", "sha256": "00a08925c51b26d168b8099ddeed659ac4381f7e04f3c7fd0e9de8e71f206823" }, { "path": "certificates/selected-result.json", - "usage": "input", + "usage": "provenance", "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81", "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" }, diff --git a/research/historical-1042-link/VERIFY.json b/research/historical-1042-link/VERIFY.json index 5cff7b26c9..21d3b965ac 100644 --- a/research/historical-1042-link/VERIFY.json +++ b/research/historical-1042-link/VERIFY.json @@ -10,14 +10,14 @@ ], "commands": [ { - "argv": ["{python}", "-B", "{package}/verify.py"], - "timeout_seconds": 30, - "checks": "Compare the #1042 status link with the live record and the frontier1042 checkpoint." + "argv": ["{python}", "-B", "{package}/historical_replay.py"], + "timeout_seconds": 120, + "checks": "Authenticate and replay the unchanged PR3563 verifier, tests and receipt against its exact original three source blobs in a temporary snapshot. Current navigation is checked separately; all original invalidation paths remain declared." }, { "argv": ["{python}", "-B", "{package}/test_verify.py"], "timeout_seconds": 30, - "checks": "Check the printed decimal and the historical section cut." + "checks": "Check the unchanged printed decimal and historical section cut." } ] } diff --git a/research/historical-1042-link/historical_replay.py b/research/historical-1042-link/historical_replay.py new file mode 100644 index 0000000000..33cf1acd5e --- /dev/null +++ b/research/historical-1042-link/historical_replay.py @@ -0,0 +1,76 @@ +#!/usr/bin/env python3 +"""Replay unchanged PR3563 evidence on its authenticated historical snapshot. + +Adapted from Clear1nsight PR14 solely to bind the original manifest to current +canonical ancestry. Apache-2.0; substantial OpenAI assistance. +""" +from pathlib import Path, PurePosixPath +import hashlib +import json +import os +import subprocess +import sys +import tempfile + +HERE = Path(__file__).resolve().parent +ROOT = HERE.parents[1] +PUBLICATION = 'f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc' +PACKAGE = 'research/historical-1042-link' +ORIGINAL = {'verify.py':'12170922e5cd84746089d022f103bfe931fb8a15', + 'test_verify.py':'140840530cbd9b4fdd80d8fa067334b61bfa4c17', + 'RESULT.json':'a9d58d28814fc4a7c9b50a165b48d1a4f52d1892', + 'SOURCES.json':'c6119ca5a8233edd0f8ed3a2e606de5b088d9fcf'} +INPUTS = {'docs/research/current-status.md','certificates/selected-result.json', + 'certificates/checkpoints/frontier1042.json'} + +def require(ok, why): + if not ok: + raise ValueError(why) + +def blob_id(data): + return hashlib.sha1(b'blob '+str(len(data)).encode()+b'\0'+data).hexdigest() + +def checked_path(path): + p=PurePosixPath(path) + require(not p.is_absolute() and str(p)==path and '..' not in p.parts + and '\\' not in path and '\0' not in path, 'Unsafe historical path') + return path + +def git_bytes(spec): + env=dict(os.environ, GIT_NO_REPLACE_OBJECTS='1') + return subprocess.check_output(['git','--no-replace-objects','cat-file','blob',spec], + cwd=ROOT,env=env,timeout=30) + +def main(): + raw=git_bytes(PUBLICATION+':'+PACKAGE+'/SOURCES.json') + require(blob_id(raw)==ORIGINAL['SOURCES.json'],'Original manifest changed') + manifest=json.loads(raw) + rows=[r for r in manifest['files'] if r['usage']=='input'] + require(len(rows)==3 and {r['path'] for r in rows}==INPUTS,'Input inventory changed') + payload={PACKAGE+'/SOURCES.json':raw} + for name in ('verify.py','test_verify.py','RESULT.json'): + path=HERE/name + require(path.is_file() and not path.is_symlink(),'Missing/aliased frozen file') + data=path.read_bytes() + require(blob_id(data)==ORIGINAL[name],'Frozen bytes changed') + payload[PACKAGE+'/'+name]=data + for row in rows: + path=checked_path(row['path']) + data=git_bytes(manifest['base_commit']+':'+path) + require(blob_id(data)==row['git_blob'],'Historical blob mismatch') + require(hashlib.sha256(data).hexdigest()==row['sha256'],'Historical hash mismatch') + payload[path]=data + if path.endswith('frontier1042.json'): + require((ROOT/path).read_bytes()==data,'Live historical checkpoint changed') + with tempfile.TemporaryDirectory(prefix='historical-1042-replay-') as directory: + root=Path(directory) + for relative,data in payload.items(): + p=root/relative;p.parent.mkdir(parents=True,exist_ok=True);p.write_bytes(data) + flags=['-I','-B']+(['-O'] if sys.flags.optimize else []) + for name in ('verify.py','test_verify.py'): + subprocess.run([sys.executable,*flags,str(root/PACKAGE/name)],cwd=root,check=True,timeout=30) + require(all((root/p).read_bytes()==data for p,data in payload.items()),'Frozen replay mutated evidence') + print('PASS_HISTORICAL_1042_SNAPSHOT current_frontier_not_asserted=true') + +if __name__=='__main__': + main() diff --git a/research/test-suite-locale-reads/SOURCES.json b/research/test-suite-locale-reads/SOURCES.json index be5f08378a..b3ee94816b 100644 --- a/research/test-suite-locale-reads/SOURCES.json +++ b/research/test-suite-locale-reads/SOURCES.json @@ -16,7 +16,7 @@ }, { "path": "docs/research/current-status.md", - "usage": "input", + "usage": "provenance", "git_blob": "d73b4ff9da41f044e793422db4318be17e234a6c", "sha256": "adb54af005eb11edaf84d782fe729338680ff908f6d4fbf39ba1062d2e7d8a77" }, From 1468f766ba4909a99b176dc5a2b5e131349c9c47 Mon Sep 17 00:00:00 2001 From: Chris R Date: Thu, 22 Oct 2026 15:40:23 +1100 Subject: [PATCH 2/3] Join PR4470 chronological obligations to exact physical evidence Derive changed transport and helper obligations from events in both orientations, preserve canonical subspaces and reference embeddings, and classify retained operations separately. Reuse the unchanged PR14 matrix receipt with exact byte/index binding; no fresh matrix or whole-theorem claim. Substantial OpenAI assistance. --- research/pr4470-coverage-join/README.md | 36 +++ research/pr4470-coverage-join/SOURCES.json | 1 + research/pr4470-coverage-join/TASK.json | 1 + research/pr4470-coverage-join/VERIFY.json | 1 + .../pr4470-coverage-join/evidence/NOTICE.md | 5 + .../evidence/PR14-RESULT.json | 63 ++++++ research/pr4470-coverage-join/verify.py | 214 ++++++++++++++++++ 7 files changed, 321 insertions(+) create mode 100644 research/pr4470-coverage-join/README.md create mode 100644 research/pr4470-coverage-join/SOURCES.json create mode 100644 research/pr4470-coverage-join/TASK.json create mode 100644 research/pr4470-coverage-join/VERIFY.json create mode 100644 research/pr4470-coverage-join/evidence/NOTICE.md create mode 100644 research/pr4470-coverage-join/evidence/PR14-RESULT.json create mode 100644 research/pr4470-coverage-join/verify.py diff --git a/research/pr4470-coverage-join/README.md b/research/pr4470-coverage-join/README.md new file mode 100644 index 0000000000..a7a4b96acd --- /dev/null +++ b/research/pr4470-coverage-join/README.md @@ -0,0 +1,36 @@ +# Chronological-to-physical coverage join for PR4470 + +Assignment C connects the actual changed native schedule to fork PR14's exact physical recipe evidence. It does not rerun the matrix audit or claim a new kappa. The local controls pass; the first hosted source-bound run determines the complete coverage outcome. + +## Method and exact boundary + +The original pinned constructor emits old and changed chronological words, their frame catalogues and helper endpoints. Its proof engines are not called. A separate binary elimination and state trace checks every emitted climb's actual entrance, nested dimension gap, scalar common frame, retained warp entrance, owned-centre charge and final persistent frame. The receipt inventory is not used to generate required obligations. + +For each orientation the required new physical set is the actual changed transport pairs not present in the predecessor, union every productive helper boundary. The verifier compares that set exactly with the source's declared recipes and rejects missing or extra coverage. Canonical subspaces replace arbitrary frame IDs in the join, but the exact reference-basis embeddings remain in each key. Equal spans do not silently license a phase-changing replacement of the physical reference frame. Every chronological transport occurrence is then classified as directly covered or explicitly inherited. Retained warps and eight owned-centre jobs are counted separately, not silently promoted to new physical coverage. + +The exact NATIVE.json.gz bytes and the ordered pair/rank/orientation digest bind the join to the unchanged successful physical receipt retained under evidence/. That receipt and its prior source hashes are authenticated. Reusing scoped prior execution is different from freshly repeating its 221,773,824 complex entry comparisons. See evidence/NOTICE.md for exact source, hosted run and attribution. + +## Reproduction + +Python 3.12, standard library only: + +```sh +python -B scripts/research_package.py --package research/pr4470-coverage-join +python -I -O -B research/pr4470-coverage-join/verify.py --self-test +``` + +Eight source files are pinned by Git blob and SHA256 before constructor execution. The inherited constructor runs in isolated Python with a private bytecode cache. Four local positive tests and seven rejection controls cover canonicalisation, embedding preservation, duplicates, wrong ranks, absent orientations, missing records and dependent bases. The actual-source run additionally removes an oriented coverage record and requires rejection. Assertions are not used for acceptance. + +## Scope and overlap + +The scientific base is canonical f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc, priority revision 7; actual PR4470 source b9a13c1673e0e9697de410de16e8bbf3207a7363. Fork PR14 at af86fb28f4fe039d4bb8419850af99a6fc474587 supplies retained physical evidence. PR4504 independently covers chronological frames and local billing; this new package closes a different binding question using an independent trace. PR4478 already covers arithmetic. Targeted overlap searches are not exhaustive pagination or a novelty certificate. The historical baseline command was not run. + +The full 632-input operator endpoint, physical implementations of inherited transitions/warps/centres, p16 query/owner/erasure protocol, precision/stock and outer theorem remain separate. Correctly counting owned clears is not proving the complete semantic erasure contract. No selected record or frozen input is changed. + +## Open next questions + +Use the executed inherited-occurrence classification to bind one remaining operator family to its prior exact source evidence. Then audit the complete arbitrary-input invocation and actual p16 caller. Do not repeat the 423 matrix checks or root arithmetic as though those were missing. TASK.json records first steps, relevance and blockers. + +## Credit + +Credit Cinna Davis's PR4470 constructor, zxv's receiver/native/controller work, Jacob Alan Sussman's mixed recursion, Mihir Srivastava's PR4504 frame audit, Mark/Matarener's earlier operators, Ryanson Jonathan's arithmetic audit and the retained scalar/Clifford/geometry/BIT/outer notices. Fork PR14's matrix evidence and this new join were prepared for Chris R / Clear1nsight with substantial OpenAI assistance, Apache-2.0. Separate workstreams are not separate launched agents, independent human review or formal acceptance. diff --git a/research/pr4470-coverage-join/SOURCES.json b/research/pr4470-coverage-join/SOURCES.json new file mode 100644 index 0000000000..31661e43ff --- /dev/null +++ b/research/pr4470-coverage-join/SOURCES.json @@ -0,0 +1 @@ +{"schema_version":1,"base_commit":"f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc","files":[{"path":"certificates/selected-result.json","usage":"provenance","git_blob":"ed33caef5c5827693e9572d252a66f99cbb73d40","sha256":"5732707cc1e460b090b53f2463162749ad860de878a18f7408938671d295a9d9"},{"path":"docs/research/agent-task-catalog.json","usage":"provenance","git_blob":"64bfc5af6709ed9811171e0a2108f05e1219cb65","sha256":"352a6184713b8843d96fd2c2071eb7aeaa655906b7c51d45ad444912666c8a96"},{"path":"research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-CANONICAL.json.gz","usage":"input","git_blob":"4a8c4ed26e53a72362d571c972e65aff546be784","sha256":"6418ec3da24d548a57f5c3fe5b9062c26c9478e638504a61c387f5cfb5f4ed61"},{"path":"research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-NATIVE.json.gz","usage":"input","git_blob":"b46d44c6ee624968dd57be928b0c15d9d45f3b2c","sha256":"c54b0a3e129d28e6dbf74fa731fc3bb70fe3c6705f07256750fbecddcc842d39"},{"path":"research/fresh-helper-boundary/native.py","usage":"input","git_blob":"1b36f6cb5f205c33bf48811e0b1b3621c55e8154","sha256":"9b55a2d3c3972148fae9d112e745d9244968166bd89bd900c938f429fc76ab29"},{"path":"research/fresh-helper-boundary/CHANGES.json","usage":"input","git_blob":"45744fedd0e28967aa72586048b8bc0c72f419a9","sha256":"cde73b8ff5b3c0d06e69e2293b991b24fd14a16dd4ccab7ff6b3439074a94624"},{"path":"research/missing-join-frame/PATCH.json","usage":"input","git_blob":"f96d295d40014d4dd503f58eb3cdabcbb4b8e101","sha256":"9ab5328245ff02c9d0be21d39bcc375f50bc5d7909e9f7b9a3a9a6f812f5bd6e"},{"path":"research/joint-helper-lattice/PATCH.json","usage":"input","git_blob":"51304a6601061ed4e698f910b09135ef109555e3","sha256":"296d0e8c58cc70febe042c681ef30d6bb469818c0835fbcaac8aa8d330f5b727"},{"path":"research/joint-helper-lattice/native_joint.py","usage":"input","git_blob":"0315f80e2fdef5e0eef13e3e9b8f72066238164d","sha256":"50869b1bcad7493e6b4cb2a4cd5d2fd9a193a5921100483fa2c3f2c999ddfd46"},{"path":"research/joint-helper-lattice/NATIVE.json.gz","usage":"input","git_blob":"0910f74138decf498e7fc445cc2daff4390169d6","sha256":"74582cce642c80f0235be7fcbce3716174666326ac6a1d46d02a62a75d7be4c6"}]} diff --git a/research/pr4470-coverage-join/TASK.json b/research/pr4470-coverage-join/TASK.json new file mode 100644 index 0000000000..afddb15ee2 --- /dev/null +++ b/research/pr4470-coverage-join/TASK.json @@ -0,0 +1 @@ +{"schema_version":1,"task_id":"independent-moment","priority_revision":7,"base_commit":"f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc","original_card":{"id":"independent-moment","question":"Does a new paid-profile or mixture-ceiling claim have independent source-bound coverage of its actual changed ledger?","starting_points":["docs/research/research-family-status.md","certificates/selected-result.json","research/staged544-mixed-fourth-entry/README.md","research/staged-fourth-mixture-ceiling/README.md","research/r437-two-window-carrier/README.md"],"methods":["Independently reconstruct one changed paid ledger or pooled dual with exact source and model binding.","Check a genuinely uncovered moment implication with a different enclosure method and semantic controls."],"acceptance_gate":"Demonstrate independence, source binding, positive cases and semantic failure controls. Name the existing checks and the missing coverage. More digits or another equivalent evaluation of an unchanged root is not by itself new verification coverage.","first_step":{"command":["python3","-B","scripts/research_baseline.py"],"expected":"PASS_RESEARCH_BASELINE_BINDINGS_ONLY","inspect":"Choose one uncovered implication in #4088 literal mixed fill, #4091 pooled dual/model binding or #4067 changed frame/host bill. #4091 pins an earlier #4088 head: validate word, capacity and stock equivalence before applying that ceiling to the later fill.","scope":"Source-binding orientation only; no scientific replay, theorem acceptance or supplier admission. Budget any heavy replay separately."},"first_experiment":"Independently reconstruct one changed ledger or pooled certificate with a positive case and a semantic failure control. Compare exact sources and name what existing checks miss. Keep this separate from supplier-boundary-audit (ordinary/outer dispatch) and uniform-transfer-audit (all-size proof). Stop after the chosen implication; more digits of an unchanged root are not additional mechanism coverage.","bottleneck_link":"Independent pricing prevents unsupported frontier claims and can reveal genuine accounting slack.","allowed_variations":["Reconstruct either a source ledger or a numeric enclosure with a different method."],"scope_change_triggers":["Importing the primary function and calling its output independent verification.","Calling an aggregate histogram or source archive an independently accepted physical supplier."],"overlap_terms":["independent moment","rank histogram","exact enclosure","2979","rank7 joint endframes","paired extraction","joint lowering","4088","4091","4067","staged544-mixed-fourth-entry","staged-fourth-mixture-ceiling","r437-two-window-carrier"],"existing_checks":[{"scope":"PR #4088: mixed local/owner/phase ledger and moment reported.","evidence":"research/staged544-mixed-fourth-entry/README.md","remaining":"Independent binding of changed construction to paid histogram, distinct from full admission.","status":"author-checked","source_commit":"72d7efc181edb21806a878f174847c96dd410ab0","selected_record_sha256":"bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"},{"scope":"PR #4091: sharp pooled ceiling proposed for fixed THREE/FOUR words and inventory.","evidence":"research/staged-fourth-mixture-ceiling/README.md","remaining":"Validate dual, exhaustive pattern scope and exact source equivalence before applying to newer fills.","status":"author-checked","source_commit":"a29bdd8f56cd18b805917775cdec09ff935eddc4","selected_record_sha256":"bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"},{"scope":"PR #4067: paid (2,2) to (1,3) exchange and fixed OQ4 host reported.","evidence":"research/r437-two-window-carrier/README.md","remaining":"Independent full cost delta; remaining caller/precision/stock obligations are separate.","status":"author-checked","source_commit":"a95f11c52e3ca1e4c5171b3c20d8f4b0815aee2e","selected_record_sha256":"bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"}]},"scope_status":"refined","actual_scope":"Assignment C: derive PR4470 changed transport and helper-boundary obligations from chronological events and join them to the exact 423-pair physical evidence, with retained-operation classification.","scope_change_reason":"PR4504 covers frames/billing and fork PR14 covers listed matrices; neither alone establishes the changed-pair coverage join.","bottleneck_link":"Prevent a complete-looking physical recipe list from hiding an unverified required operation.","budget_minutes":60,"stop_rule":"Stop at changed/helper coverage and inherited-operation classification. Do not claim fresh matrix replay, the full 632-input operator identity or the physical p16 caller.","outcome":"partial","evidence":"Four local positive cases and seven rejection controls pass in normal and optimised Python. The exact event-derived source join awaits hosted replay.","author":"Chris R / Clear1nsight","ai_assistance":"Substantial OpenAI assistance; one session and separately implemented checker, not independent human or proof-kernel acceptance.","overlap":{"nearby_prs":[4359,4457,4470,4478,4504],"fork_predecessor":14,"method":"Targeted live PR searches and bounded Discussion reading, not exhaustive coverage.","baseline_helper_run":false,"canonical_refresh":"2026-10-22T04:30:00Z"},"open_questions":[{"question":"Can the retained transport, warp and centre operators be joined to source-bound physical evidence too?","why_it_matters":"The 423-entry list is changed-pair evidence, not a fresh audit of every operation.","first_step":"Use the executed classification to identify the smallest inherited operator family without a matching retained exact receipt.","blocked_by":"No fresh matrix or inherited-operator physical replay is run here."},{"question":"Does the full arbitrary-input native endpoint and p16 owner/query protocol hold?","why_it_matters":"Coverage of pairwise operators does not imply full caller correctness.","first_step":"Replay one complete invocation on all 632 persistent input columns and the owned centre, then bind the copied-query protocol.","blocked_by":"Whole-word semantic and physical caller proof remains separate."}]} diff --git a/research/pr4470-coverage-join/VERIFY.json b/research/pr4470-coverage-join/VERIFY.json new file mode 100644 index 0000000000..5785b5f3b2 --- /dev/null +++ b/research/pr4470-coverage-join/VERIFY.json @@ -0,0 +1 @@ +{"schema_version":1,"status":"ready","python":"3.12","requirements":[],"inputs":["research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-CANONICAL.json.gz","research/kappa-rebuild/complex/full-identity-certificates/THREE-base-FULL-IDENTITY-NATIVE.json.gz","research/fresh-helper-boundary/native.py","research/fresh-helper-boundary/CHANGES.json","research/missing-join-frame/PATCH.json","research/joint-helper-lattice/PATCH.json","research/joint-helper-lattice/native_joint.py","research/joint-helper-lattice/NATIVE.json.gz"],"commands":[{"argv":["{python}","-I","-B","{package}/verify.py"],"timeout_seconds":180,"checks":"Event-derived changed/helper coverage in both orientations, basis-bound canonical subspaces, retained versus directly covered occurrences, exact source/physical-receipt binding and rejection controls. No fresh matrix replay or full native admission."},{"argv":["{python}","-I","-O","-B","{package}/verify.py","--self-test"],"timeout_seconds":60,"checks":"Canonicalisation, retained basis embeddings, invalid or missing recipe/orientation/rank and dependent-basis controls remain active with assertions disabled."}]} diff --git a/research/pr4470-coverage-join/evidence/NOTICE.md b/research/pr4470-coverage-join/evidence/NOTICE.md new file mode 100644 index 0000000000..6fa88f9fd3 --- /dev/null +++ b/research/pr4470-coverage-join/evidence/NOTICE.md @@ -0,0 +1,5 @@ +# Retained physical audit evidence + +PR14-RESULT.json is copied byte-for-byte from Clear1nsight/integer-mult-bounds at af86fb28f4fe039d4bb8419850af99a6fc474587, path research/pr4470-exact-transport-audit/RESULT.json, Git blob d80b68175e3d8dabe0460e142afb6bbf6056a011, SHA256 53bdd869ebeee0980b139e422043922c87585bef90c2989969532ccb7b289a00. It first resulted from successful hosted full matrix execution in run 39712725621 at f4657a0ad4c11a56646c8c6c422f09335b0c73ba and was freshly reproduced in the registered final-head run. This package authenticates and reuses that scoped evidence; it does not rerun the 221,773,824 matrix-entry comparisons. + +The original check was separately implemented for Chris R / Clear1nsight with substantial OpenAI assistance, Apache-2.0. It audits Cinna Davis's PR4470 recipes, following zxv's native/controller work and the retained geometry/Clifford lineage. Its own not_covered list remains intact. This new coverage join may discharge the declared changed-pair census boundary but does not erase the original historical scope statement or certify inherited operations. diff --git a/research/pr4470-coverage-join/evidence/PR14-RESULT.json b/research/pr4470-coverage-join/evidence/PR14-RESULT.json new file mode 100644 index 0000000000..d80b68175e --- /dev/null +++ b/research/pr4470-coverage-join/evidence/PR14-RESULT.json @@ -0,0 +1,63 @@ +{ + "actual_source_phase_mutation_rejected": true, + "basis_columns_compared": 433152, + "complex_matrix_entries_compared": 221773824, + "coverage_index_sha256": "5f3923deb45470a9e9f3cf958e3876ea9e81bb2837f32b835196572993ed5d1f", + "frame_catalogue_count": 1224, + "matrix_dimension": 512, + "maximum_target_gaussian_gates": 16, + "new_kappa": false, + "not_covered": [ + "completeness of the declared 423-pair list", + "chronological native endpoint replay", + "p16 controller", + "physical tape costs", + "precision and storage", + "outer theorem" + ], + "orientations": 2, + "patch_changes": { + "A": 21, + "B": 238, + "cleanup_tail": 155, + "entrance": 38, + "exit": 47 + }, + "physical_pairs": 423, + "rank_histogram_both_orientations": { + "1": 262, + "2": 186, + "3": 264, + "4": 102, + "5": 16, + "7": 6, + "8": 8, + "9": 2 + }, + "schema": "pr4470-exact-transport-audit/v1", + "self_tests": { + "positive_checks": 196, + "rejected_controls": 7, + "tensor_phase_test": true + }, + "source_files": { + "CANONICAL.json.gz": { + "git_blob": "4a8c4ed26e53a72362d571c972e65aff546be784", + "sha256": "6418ec3da24d548a57f5c3fe5b9062c26c9478e638504a61c387f5cfb5f4ed61" + }, + "PR4447-PATCH.json": { + "git_blob": "f96d295d40014d4dd503f58eb3cdabcbb4b8e101", + "sha256": "9ab5328245ff02c9d0be21d39bcc375f50bc5d7909e9f7b9a3a9a6f812f5bd6e" + }, + "PR4470-NATIVE.json.gz": { + "git_blob": "0910f74138decf498e7fc445cc2daff4390169d6", + "sha256": "74582cce642c80f0235be7fcbce3716174666326ac6a1d46d02a62a75d7be4c6" + }, + "PR4470-PATCH.json": { + "git_blob": "51304a6601061ed4e698f910b09135ef109555e3", + "sha256": "296d0e8c58cc70febe042c681ef30d6bb469818c0835fbcaac8aa8d330f5b727" + } + }, + "source_head": "b9a13c1673e0e9697de410de16e8bbf3207a7363", + "status": "PASS_EXACT_TRANSPORT_MATRICES" +} diff --git a/research/pr4470-coverage-join/verify.py b/research/pr4470-coverage-join/verify.py new file mode 100644 index 0000000000..2a8dee06a5 --- /dev/null +++ b/research/pr4470-coverage-join/verify.py @@ -0,0 +1,214 @@ +#!/usr/bin/env python3 +"""Event-derived coverage join for PR4470. Apache-2.0; OpenAI assistance. + +The inherited constructor emits candidate data only. Neither its proof engines +nor the predecessor physical-matrix checker is imported by this verifier. +""" +from collections import Counter +from copy import deepcopy +from fractions import Fraction +from functools import lru_cache +from pathlib import Path +import argparse +import gzip +import hashlib +import json +import subprocess +import sys +import tempfile + +HERE=Path(__file__).resolve().parent +ROOT=HERE.parents[1] +PHYSICAL='research/joint-helper-lattice/NATIVE.json.gz' +COVERAGE_DIGEST='5f3923deb45470a9e9f3cf958e3876ea9e81bb2837f32b835196572993ed5d1f' + + +def need(ok,why): + if not ok:raise ValueError(why) + + +def authenticate(): + for row in json.loads((HERE/'SOURCES.json').read_bytes())['files']: + if row['usage']!='input':continue + path=ROOT/row['path'];need(path.is_file() and not path.is_symlink(),'Missing/aliased source') + data=path.read_bytes() + need(hashlib.sha256(data).hexdigest()==row['sha256'],'Changed source bytes') + need(hashlib.sha1(b'blob '+str(len(data)).encode()+b'\0'+data).hexdigest()==row['git_blob'],'Changed source blob') + + +def emit(): + authenticate() + with tempfile.TemporaryDirectory(prefix='coverage-private-cache-') as cache: + code="import json,sys;sys.path.insert(0,sys.argv[1]);import native_joint;c,p,b,o,ch=native_joint.construct();print(json.dumps({'canonical':c,'programs':p,'baseline':b,'before':o}))" + result=subprocess.run([sys.executable,'-I','-B','-X','pycache_prefix='+cache,'-c',code,str(ROOT/'research/joint-helper-lattice')],check=True,capture_output=True,timeout=60) + return json.loads(result.stdout) + + +@lru_cache(None) +def space(basis): + pivots={} + for x in basis: + need(type(x) is int and 0>k)&1:x^=pivots[k] + need(x!=0,'Dependent frame basis') + k=x.bit_length()-1 + for j in pivots: + if (pivots[j]>>k)&1:pivots[j]^=x + pivots[k]=x + return tuple(pivots[k] for k in sorted(pivots,reverse=True)) + + +def subset(a,b): + pivots={x.bit_length()-1:x for x in b} + for x in a: + for k in sorted(pivots,reverse=True): + if (x>>k)&1:x^=pivots[k] + if x:return False + return True + + +def pair(c,a,b): + A=tuple(c['frames'][a]);B=tuple(c['frames'][b]) + aa,bb=space(A),space(B) + need(aa!=bb and subset(aa,bb),'Positive nested transport') + # Preserve embeddings too: changing a basis does not silently preserve phase. + return (aa,bb,A,B) + + +def operands(g): + return g[1:3] if g[0] in ('add','copy') else g[1:2] + + +def trace(program,c): + need(len(c['start'])==len(c['final'])==632,'Persistent ownership count') + for b in c['frames']:space(tuple(b)) + state={('L',r):f for r,f in enumerate(c['start'])} + edges=Counter();bill=Counter();counts=Counter();zero=False + for e in program: + tag=e[0];counts[tag]+=1 + if tag=='climb': + _,_,role,a,b,r=e + need(type(role) is int and 0<=role<632,'Unique persistent role domain') + need(state['L',role]==a,'Chronological climb entrance') + key=pair(c,a,b) + need(r==len(key[1])-len(key[0]),'Charged transport rank') + state['L',role]=b;edges[key]+=1;bill[r]+=1 + elif tag=='scalar': + g,f=e[1:];dst=tuple(g[1]) + if g[0]=='clear': + need(dst==('C',0),'Only owned centre may be cleared');state[dst]=f;zero=True + else: + need(g[0] in ('add','copy','scale'),'Scalar alphabet') + for role in operands(g):need(state.get(tuple(role))==f,'Actual common frame') + if g[0]=='copy':need(dst==('C',0),'Copy destination must be owned') + else: + q=Fraction(*g[-2:]);need(q!=0 and q.denominator&(q.denominator-1)==0,'Legal dyadic scalar') + if dst==('C',0):zero=False + elif tag=='warp': + role=tuple(e[1]);need(role[0]=='L' and state[role]==e[3],'Retained warp entrance') + state[role]=e[4] + elif tag=='center': + _,r,a,b,k=e + need(r==0 and state.get(('C',0))==a,'Owned centre entrance') + aa,bb=space(tuple(c['frames'][a])),space(tuple(c['frames'][b])) + need((subset(aa,bb) or subset(bb,aa)) and abs(len(aa)-len(bb))==k==8,'Owned centre charge') + state['C',0]=b;bill[8]+=1 + else:need(tag in ('phase','adapter','residual_adapter'),'Unknown event') + need(all(state['L',r]==f for r,f in enumerate(c['final'])),'Persistent endpoints') + need(zero and counts['center']==8,'Owned restoration and all centre charges') + return edges,bill,counts + + +def inventory(records,c): + keys=set();raw=set();digest=hashlib.sha256() + for row in records: + a,b,r=row['old'],row['new'],row['rank'] + need((a,b) not in raw,'Duplicate physical record');raw.add((a,b)) + key=pair(c,a,b) + need(r==len(key[1])-len(key[0]),'Physical record rank') + need(set(row['recipes'])=={'forward','backward'},'Both orientations required') + for d in ('forward','backward'): + need(row['recipes'][d]['rank']==r,'Recipe rank mismatch') + keys.add((key,d)) + digest.update(json.dumps([a,b,r,d],separators=(',',':')).encode()) + return keys,digest.hexdigest() + + +def check_cover(required,available): + need(required==available,'Missing or extra changed/helper coverage') + + +def self_tests(): + need(space((1,2))==space((3,2)),'Equivalent subspace canonicalisation') + need(subset(space((1,)),space((1,2))) and not subset(space((4,)),space((1,2))),'Containment') + c={'frames':[[],[1],[1,2],[3,2]]} + need(pair(c,0,2)!=pair(c,0,3),'Different basis embedding must not silently collapse') + good=[{'old':0,'new':1,'rank':1,'recipes':{'forward':{'rank':1},'backward':{'rank':1}}}] + available,_=inventory(good,c);check_cover(available,available) + rejected=0 + for bad in (good+good,[dict(good[0],rank=2)],[dict(good[0],recipes={'forward':{'rank':1}})]): + try:inventory(bad,c) + except ValueError:rejected+=1 + else:raise ValueError('Malformed recipe inventory accepted') + for missing in (set(),{next(iter(available))}): + try:check_cover(available,missing) + except ValueError:rejected+=1 + else:raise ValueError('Omitted coverage accepted') + for b in ((1,1),(0,)): + try:space(b) + except ValueError:rejected+=1 + else:raise ValueError('Invalid basis accepted') + return dict(positive_checks=4,rejected_controls=rejected) + + +def run(): + controls=self_tests();data=emit();c=data['canonical'];before=data['baseline'] + receipt=json.loads(gzip.decompress((ROOT/PHYSICAL).read_bytes())) + records=receipt['new_physical_edges_and_boundaries'] + need(len(records)==423,'Original source physical census') + available,digest=inventory(records,c) + prior_raw=(HERE/'evidence/PR14-RESULT.json').read_bytes() + need(hashlib.sha256(prior_raw).hexdigest()=='53bdd869ebeee0980b139e422043922c87585bef90c2989969532ccb7b289a00','Prior physical receipt changed') + prior=json.loads(prior_raw) + need(prior['status']=='PASS_EXACT_TRANSPORT_MATRICES' and prior['source_head']=='b9a13c1673e0e9697de410de16e8bbf3207a7363','Prior evidence scope') + need(hashlib.sha256((ROOT/PHYSICAL).read_bytes()).hexdigest()==prior['source_files']['PR4470-NATIVE.json.gz']['sha256'],'Same physical source bytes') + need(digest==prior['coverage_index_sha256']==COVERAGE_DIGEST,'Bind exact index to the prior successful matrix audit') + helpers={pair(c,c['start'][r],c['final'][r]) for r in range(224,632)} + required=set();summary={} + for d in ('forward','backward'): + old,oldbill,oldcounts=trace(data['before'][d],before) + new,bill,counts=trace(data['programs'][d],c) + need(dict(bill)=={1:2237,2:388,3:494,4:147,5:36,8:8},'Complete actual paid bill') + changed=set(new)-set(old) + required.update((k,d) for k in changed|helpers) + direct=sum(n for k,n in new.items() if (k,d) in available) + inherited=sum(n for k,n in new.items() if (k,d) not in available and k in old) + need(direct+inherited==sum(new.values()),'Unclassified chronological demand') + summary[d]=dict(changed_distinct_transports=len(changed),all_distinct_transports=len(new), + persistent_transports=sum(new.values()),directly_covered_occurrences=direct, + inherited_transport_occurrences=inherited,owned_center_jobs=counts['center'], + retained_warp_events=counts['warp'],scalar_events=counts['scalar']) + check_cover(required,available) + removed=set(available);removed.remove(next(iter(removed))) + try:check_cover(required,removed) + except ValueError:pass + else:raise ValueError('Actual omitted orientation record accepted') + return dict(schema='pr4470-coverage-join/v1',status='PASS_EVENT_DERIVED_COVERAGE_JOIN', + source_head='b9a13c1673e0e9697de410de16e8bbf3207a7363',physical_records=len(records), + canonical_basis_bound_oriented_records=len(available),independent_helper_owners=408, + distinct_helper_boundaries=len(helpers),coverage_index_sha256=digest, + orientations=summary,controls=controls,actual_omission_rejected=True,new_kappa=False, + physical_matrix_evidence='Fork PR14 receipt at af86fb28f4fe039d4bb8419850af99a6fc474587 is reused, not rerun', + not_covered=['fresh matrix replay','physical verification of inherited transports, warps and centres', + 'complete arbitrary-input native endpoint','p16 caller and outer theorem']) + + +def main(): + ap=argparse.ArgumentParser();ap.add_argument('--self-test',action='store_true');ap.add_argument('--write',action='store_true');args=ap.parse_args() + out=self_tests() if args.self_test else run();text=json.dumps(out,indent=2,sort_keys=True)+'\n' + if args.write:(HERE/'RESULT.json').write_text(text) + elif not args.self_test and (HERE/'RESULT.json').exists():need(json.loads((HERE/'RESULT.json').read_bytes())==out,'Receipt changed') + print(text,end='') + +if __name__=='__main__':main() From 6034837daf958effc42a1908f1b3e97fe6072d0b Mon Sep 17 00:00:00 2001 From: Chris R Date: Thu, 22 Oct 2026 15:57:30 +1100 Subject: [PATCH 3/3] Retain the successful event-derived physical coverage receipt Record exact hosted source binding: 406 changed transport pairs and 17 helper boundaries match 423 recipes in both orientations. Preserve the 2863 inherited transport occurrences per orientation as separate obligations. Scientific engine and sources unchanged. --- research/pr4470-coverage-join/README.md | 22 ++++++++++----------- research/pr4470-coverage-join/RESULT.json | 19 ++++++++++++++++++ research/pr4470-coverage-join/TASK.json | 2 +- research/pr4470-coverage-join/VALIDATION.md | 9 +++++++++ 4 files changed, 40 insertions(+), 12 deletions(-) create mode 100644 research/pr4470-coverage-join/RESULT.json create mode 100644 research/pr4470-coverage-join/VALIDATION.md diff --git a/research/pr4470-coverage-join/README.md b/research/pr4470-coverage-join/README.md index a7a4b96acd..135192f2dd 100644 --- a/research/pr4470-coverage-join/README.md +++ b/research/pr4470-coverage-join/README.md @@ -1,16 +1,16 @@ # Chronological-to-physical coverage join for PR4470 -Assignment C connects the actual changed native schedule to fork PR14's exact physical recipe evidence. It does not rerun the matrix audit or claim a new kappa. The local controls pass; the first hosted source-bound run determines the complete coverage outcome. +**Source-bound coverage join passes; no new kappa.** Assignment C connects actual changed native demands to fork PR14's exact physical recipes. The 406 new distinct transport pairs and 17 distinct helper boundaries match all 423 recipes exactly in both orientations. [RESULT.json](RESULT.json) retains the complete executed output. [VALIDATION.md](VALIDATION.md) records the hosted environment, exact revisions and passing commands. -## Method and exact boundary +## What is covered -The original pinned constructor emits old and changed chronological words, their frame catalogues and helper endpoints. Its proof engines are not called. A separate binary elimination and state trace checks every emitted climb's actual entrance, nested dimension gap, scalar common frame, retained warp entrance, owned-centre charge and final persistent frame. The receipt inventory is not used to generate required obligations. +Each orientation contains 3,302 persistent transport occurrences over 2,856 distinct pairs. Of those occurrences, 439 have directly checked recipes and 2,863 are explicitly inherited. All 408 helper owners are represented through 17 distinct endpoint pairs. The join checks 846 oriented records. The 240 retained warps and eight owned-centre jobs per orientation remain separately classified, not silently promoted to new physical evidence. -For each orientation the required new physical set is the actual changed transport pairs not present in the predecessor, union every productive helper boundary. The verifier compares that set exactly with the source's declared recipes and rejects missing or extra coverage. Canonical subspaces replace arbitrary frame IDs in the join, but the exact reference-basis embeddings remain in each key. Equal spans do not silently license a phase-changing replacement of the physical reference frame. Every chronological transport occurrence is then classified as directly covered or explicitly inherited. Retained warps and eight owned-centre jobs are counted separately, not silently promoted to new physical coverage. +The original pinned constructor emits old and changed words, frame catalogues and helper endpoints. Its proof engines are not called. A separate binary elimination and state trace checks each climb's actual source, nesting and charged rank, scalar common frames, warp entrances, centre charges and final persistent frames. Required physical records are derived from actual changed transport pairs and every productive helper boundary, independently of the recipe inventory. Missing or extra records reject. -The exact NATIVE.json.gz bytes and the ordered pair/rank/orientation digest bind the join to the unchanged successful physical receipt retained under evidence/. That receipt and its prior source hashes are authenticated. Reusing scoped prior execution is different from freshly repeating its 221,773,824 complex entry comparisons. See evidence/NOTICE.md for exact source, hosted run and attribution. +Canonical subspaces replace raw frame IDs, but exact reference-basis embeddings remain in the keys. Equal spans do not silently license a phase-changing replacement of a physical frame. The exact NATIVE.json.gz bytes and ordered pair/rank/orientation digest bind the coverage to PR14's unchanged successful matrix receipt under evidence/. Reusing scoped prior execution is different from freshly repeating its 221,773,824 complex-entry comparisons. Its original limitations remain intact. -## Reproduction +## Reproduction and evidence Python 3.12, standard library only: @@ -19,18 +19,18 @@ python -B scripts/research_package.py --package research/pr4470-coverage-join python -I -O -B research/pr4470-coverage-join/verify.py --self-test ``` -Eight source files are pinned by Git blob and SHA256 before constructor execution. The inherited constructor runs in isolated Python with a private bytecode cache. Four local positive tests and seven rejection controls cover canonicalisation, embedding preservation, duplicates, wrong ranks, absent orientations, missing records and dependent bases. The actual-source run additionally removes an oriented coverage record and requires rejection. Assertions are not used for acceptance. +The registered source-bound run passed on CPython 3.12.15, including metadata, optimised controls and preservation of committed inputs. Eight sources are pinned by Git blob and SHA256 before the constructor runs in isolated Python with a private bytecode cache. Four positive and seven rejection controls cover canonicalisation, embedding preservation, duplicate records, wrong ranks, absent orientations, missing coverage and dependent bases. The actual-source run additionally removes an oriented record and requires rejection. Normal replay compares the entire retained receipt without rewriting it. ## Scope and overlap -The scientific base is canonical f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc, priority revision 7; actual PR4470 source b9a13c1673e0e9697de410de16e8bbf3207a7363. Fork PR14 at af86fb28f4fe039d4bb8419850af99a6fc474587 supplies retained physical evidence. PR4504 independently covers chronological frames and local billing; this new package closes a different binding question using an independent trace. PR4478 already covers arithmetic. Targeted overlap searches are not exhaustive pagination or a novelty certificate. The historical baseline command was not run. +Scientific base f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc, priority revision 7; PR4470 source b9a13c1673e0e9697de410de16e8bbf3207a7363. Fork PR14 at af86fb28f4fe039d4bb8419850af99a6fc474587 supplies prior physical evidence. PR4504 covers chronological frames and billing; PR4478 covers arithmetic. This package closes a different binding question and does not import their acceptance functions. Targeted searches are not exhaustive overlap coverage or novelty proof. The historical baseline helper was not run. -The full 632-input operator endpoint, physical implementations of inherited transitions/warps/centres, p16 query/owner/erasure protocol, precision/stock and outer theorem remain separate. Correctly counting owned clears is not proving the complete semantic erasure contract. No selected record or frozen input is changed. +The full 632-input operator endpoint, physical implementations of inherited transports/warps/centres, p16 query/owner/erasure protocol, precision/stock and outer theorem remain separate. Counting owned clears is not a full semantic erasure proof. No selected record or frozen source changes. ## Open next questions -Use the executed inherited-occurrence classification to bind one remaining operator family to its prior exact source evidence. Then audit the complete arbitrary-input invocation and actual p16 caller. Do not repeat the 423 matrix checks or root arithmetic as though those were missing. TASK.json records first steps, relevance and blockers. +Use the executed classification to bind the smallest inherited operator family to retained exact evidence. Then audit the complete arbitrary-input invocation and actual p16 caller. Do not repeat the 423 matrix calculations or root arithmetic as though they were missing. TASK.json records the relevance, first step and blockers. ## Credit -Credit Cinna Davis's PR4470 constructor, zxv's receiver/native/controller work, Jacob Alan Sussman's mixed recursion, Mihir Srivastava's PR4504 frame audit, Mark/Matarener's earlier operators, Ryanson Jonathan's arithmetic audit and the retained scalar/Clifford/geometry/BIT/outer notices. Fork PR14's matrix evidence and this new join were prepared for Chris R / Clear1nsight with substantial OpenAI assistance, Apache-2.0. Separate workstreams are not separate launched agents, independent human review or formal acceptance. +Credit Cinna Davis's PR4470, zxv's receiver/native/controller work, Jacob Alan Sussman's recursion, Mihir Srivastava's PR4504, Mark/Matarener's earlier operators, Ryanson Jonathan's arithmetic audit and the retained scalar/Clifford/geometry/BIT/outer notices. Prior matrix evidence and this new join were prepared for Chris R / Clear1nsight with substantial OpenAI assistance, Apache-2.0. Separate workstreams are not independently launched agents, human review or formal-kernel acceptance. diff --git a/research/pr4470-coverage-join/RESULT.json b/research/pr4470-coverage-join/RESULT.json new file mode 100644 index 0000000000..a717d45fef --- /dev/null +++ b/research/pr4470-coverage-join/RESULT.json @@ -0,0 +1,19 @@ +{ + "actual_omission_rejected": true, + "canonical_basis_bound_oriented_records": 846, + "controls": {"positive_checks": 4, "rejected_controls": 7}, + "coverage_index_sha256": "5f3923deb45470a9e9f3cf958e3876ea9e81bb2837f32b835196572993ed5d1f", + "distinct_helper_boundaries": 17, + "independent_helper_owners": 408, + "new_kappa": false, + "not_covered": ["fresh matrix replay", "physical verification of inherited transports, warps and centres", "complete arbitrary-input native endpoint", "p16 caller and outer theorem"], + "orientations": { + "backward": {"all_distinct_transports": 2856, "changed_distinct_transports": 406, "directly_covered_occurrences": 439, "inherited_transport_occurrences": 2863, "owned_center_jobs": 8, "persistent_transports": 3302, "retained_warp_events": 240, "scalar_events": 17453}, + "forward": {"all_distinct_transports": 2856, "changed_distinct_transports": 406, "directly_covered_occurrences": 439, "inherited_transport_occurrences": 2863, "owned_center_jobs": 8, "persistent_transports": 3302, "retained_warp_events": 240, "scalar_events": 17453} + }, + "physical_matrix_evidence": "Fork PR14 receipt at af86fb28f4fe039d4bb8419850af99a6fc474587 is reused, not rerun", + "physical_records": 423, + "schema": "pr4470-coverage-join/v1", + "source_head": "b9a13c1673e0e9697de410de16e8bbf3207a7363", + "status": "PASS_EVENT_DERIVED_COVERAGE_JOIN" +} diff --git a/research/pr4470-coverage-join/TASK.json b/research/pr4470-coverage-join/TASK.json index afddb15ee2..b7a0dea93f 100644 --- a/research/pr4470-coverage-join/TASK.json +++ b/research/pr4470-coverage-join/TASK.json @@ -1 +1 @@ -{"schema_version":1,"task_id":"independent-moment","priority_revision":7,"base_commit":"f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc","original_card":{"id":"independent-moment","question":"Does a new paid-profile or mixture-ceiling claim have independent source-bound coverage of its actual changed ledger?","starting_points":["docs/research/research-family-status.md","certificates/selected-result.json","research/staged544-mixed-fourth-entry/README.md","research/staged-fourth-mixture-ceiling/README.md","research/r437-two-window-carrier/README.md"],"methods":["Independently reconstruct one changed paid ledger or pooled dual with exact source and model binding.","Check a genuinely uncovered moment implication with a different enclosure method and semantic controls."],"acceptance_gate":"Demonstrate independence, source binding, positive cases and semantic failure controls. Name the existing checks and the missing coverage. More digits or another equivalent evaluation of an unchanged root is not by itself new verification coverage.","first_step":{"command":["python3","-B","scripts/research_baseline.py"],"expected":"PASS_RESEARCH_BASELINE_BINDINGS_ONLY","inspect":"Choose one uncovered implication in #4088 literal mixed fill, #4091 pooled dual/model binding or #4067 changed frame/host bill. #4091 pins an earlier #4088 head: validate word, capacity and stock equivalence before applying that ceiling to the later fill.","scope":"Source-binding orientation only; no scientific replay, theorem acceptance or supplier admission. Budget any heavy replay separately."},"first_experiment":"Independently reconstruct one changed ledger or pooled certificate with a positive case and a semantic failure control. Compare exact sources and name what existing checks miss. Keep this separate from supplier-boundary-audit (ordinary/outer dispatch) and uniform-transfer-audit (all-size proof). Stop after the chosen implication; more digits of an unchanged root are not additional mechanism coverage.","bottleneck_link":"Independent pricing prevents unsupported frontier claims and can reveal genuine accounting slack.","allowed_variations":["Reconstruct either a source ledger or a numeric enclosure with a different method."],"scope_change_triggers":["Importing the primary function and calling its output independent verification.","Calling an aggregate histogram or source archive an independently accepted physical supplier."],"overlap_terms":["independent moment","rank histogram","exact enclosure","2979","rank7 joint endframes","paired extraction","joint lowering","4088","4091","4067","staged544-mixed-fourth-entry","staged-fourth-mixture-ceiling","r437-two-window-carrier"],"existing_checks":[{"scope":"PR #4088: mixed local/owner/phase ledger and moment reported.","evidence":"research/staged544-mixed-fourth-entry/README.md","remaining":"Independent binding of changed construction to paid histogram, distinct from full admission.","status":"author-checked","source_commit":"72d7efc181edb21806a878f174847c96dd410ab0","selected_record_sha256":"bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"},{"scope":"PR #4091: sharp pooled ceiling proposed for fixed THREE/FOUR words and inventory.","evidence":"research/staged-fourth-mixture-ceiling/README.md","remaining":"Validate dual, exhaustive pattern scope and exact source equivalence before applying to newer fills.","status":"author-checked","source_commit":"a29bdd8f56cd18b805917775cdec09ff935eddc4","selected_record_sha256":"bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"},{"scope":"PR #4067: paid (2,2) to (1,3) exchange and fixed OQ4 host reported.","evidence":"research/r437-two-window-carrier/README.md","remaining":"Independent full cost delta; remaining caller/precision/stock obligations are separate.","status":"author-checked","source_commit":"a95f11c52e3ca1e4c5171b3c20d8f4b0815aee2e","selected_record_sha256":"bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"}]},"scope_status":"refined","actual_scope":"Assignment C: derive PR4470 changed transport and helper-boundary obligations from chronological events and join them to the exact 423-pair physical evidence, with retained-operation classification.","scope_change_reason":"PR4504 covers frames/billing and fork PR14 covers listed matrices; neither alone establishes the changed-pair coverage join.","bottleneck_link":"Prevent a complete-looking physical recipe list from hiding an unverified required operation.","budget_minutes":60,"stop_rule":"Stop at changed/helper coverage and inherited-operation classification. Do not claim fresh matrix replay, the full 632-input operator identity or the physical p16 caller.","outcome":"partial","evidence":"Four local positive cases and seven rejection controls pass in normal and optimised Python. The exact event-derived source join awaits hosted replay.","author":"Chris R / Clear1nsight","ai_assistance":"Substantial OpenAI assistance; one session and separately implemented checker, not independent human or proof-kernel acceptance.","overlap":{"nearby_prs":[4359,4457,4470,4478,4504],"fork_predecessor":14,"method":"Targeted live PR searches and bounded Discussion reading, not exhaustive coverage.","baseline_helper_run":false,"canonical_refresh":"2026-10-22T04:30:00Z"},"open_questions":[{"question":"Can the retained transport, warp and centre operators be joined to source-bound physical evidence too?","why_it_matters":"The 423-entry list is changed-pair evidence, not a fresh audit of every operation.","first_step":"Use the executed classification to identify the smallest inherited operator family without a matching retained exact receipt.","blocked_by":"No fresh matrix or inherited-operator physical replay is run here."},{"question":"Does the full arbitrary-input native endpoint and p16 owner/query protocol hold?","why_it_matters":"Coverage of pairwise operators does not imply full caller correctness.","first_step":"Replay one complete invocation on all 632 persistent input columns and the owned centre, then bind the copied-query protocol.","blocked_by":"Whole-word semantic and physical caller proof remains separate."}]} +{"schema_version":1,"task_id":"independent-moment","priority_revision":7,"base_commit":"f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc","original_card":{"id":"independent-moment","question":"Does a new paid-profile or mixture-ceiling claim have independent source-bound coverage of its actual changed ledger?","starting_points":["docs/research/research-family-status.md","certificates/selected-result.json","research/staged544-mixed-fourth-entry/README.md","research/staged-fourth-mixture-ceiling/README.md","research/r437-two-window-carrier/README.md"],"methods":["Independently reconstruct one changed paid ledger or pooled dual with exact source and model binding.","Check a genuinely uncovered moment implication with a different enclosure method and semantic controls."],"acceptance_gate":"Demonstrate independence, source binding, positive cases and semantic failure controls. Name the existing checks and the missing coverage. More digits or another equivalent evaluation of an unchanged root is not by itself new verification coverage.","first_step":{"command":["python3","-B","scripts/research_baseline.py"],"expected":"PASS_RESEARCH_BASELINE_BINDINGS_ONLY","inspect":"Choose one uncovered implication in #4088 literal mixed fill, #4091 pooled dual/model binding or #4067 changed frame/host bill. #4091 pins an earlier #4088 head: validate word, capacity and stock equivalence before applying that ceiling to the later fill.","scope":"Source-binding orientation only; no scientific replay, theorem acceptance or supplier admission. Budget any heavy replay separately."},"first_experiment":"Independently reconstruct one changed ledger or pooled certificate with a positive case and a semantic failure control. Compare exact sources and name what existing checks miss. Keep this separate from supplier-boundary-audit (ordinary/outer dispatch) and uniform-transfer-audit (all-size proof). Stop after the chosen implication; more digits of an unchanged root are not additional mechanism coverage.","bottleneck_link":"Independent pricing prevents unsupported frontier claims and can reveal genuine accounting slack.","allowed_variations":["Reconstruct either a source ledger or a numeric enclosure with a different method."],"scope_change_triggers":["Importing the primary function and calling its output independent verification.","Calling an aggregate histogram or source archive an independently accepted physical supplier."],"overlap_terms":["independent moment","rank histogram","exact enclosure","2979","rank7 joint endframes","paired extraction","joint lowering","4088","4091","4067","staged544-mixed-fourth-entry","staged-fourth-mixture-ceiling","r437-two-window-carrier"],"existing_checks":[{"scope":"PR #4088: mixed local/owner/phase ledger and moment reported.","evidence":"research/staged544-mixed-fourth-entry/README.md","remaining":"Independent binding of changed construction to paid histogram, distinct from full admission.","status":"author-checked","source_commit":"72d7efc181edb21806a878f174847c96dd410ab0","selected_record_sha256":"bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"},{"scope":"PR #4091: sharp pooled ceiling proposed for fixed THREE/FOUR words and inventory.","evidence":"research/staged-fourth-mixture-ceiling/README.md","remaining":"Validate dual, exhaustive pattern scope and exact source equivalence before applying to newer fills.","status":"author-checked","source_commit":"a29bdd8f56cd18b805917775cdec09ff935eddc4","selected_record_sha256":"bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"},{"scope":"PR #4067: paid (2,2) to (1,3) exchange and fixed OQ4 host reported.","evidence":"research/r437-two-window-carrier/README.md","remaining":"Independent full cost delta; remaining caller/precision/stock obligations are separate.","status":"author-checked","source_commit":"a95f11c52e3ca1e4c5171b3c20d8f4b0815aee2e","selected_record_sha256":"bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"}]},"scope_status":"refined","actual_scope":"Assignment C: event-derived changed transport/helper coverage joined to the exact 423-pair physical evidence, with retained operations explicitly classified.","scope_change_reason":"PR4504 covers frames/billing and fork PR14 covers listed matrices; neither alone supplies this changed-pair coverage join.","bottleneck_link":"Prevent a physical recipe list from hiding a required unverified operation.","budget_minutes":60,"stop_rule":"Stop at the changed/helper join and inherited-operation classification; no fresh matrix, full endpoint or p16 caller claim.","outcome":"completed","evidence":"Hosted registered replay 39723709269 at 1468f766ba4909a99b176dc5a2b5e131349c9c47 passed CPython 3.12.15. In each orientation, 406 new transport pairs plus 17 helper boundaries equal 423 recipes; 439 transport occurrences are directly covered and 2863 inherited. All 408 helper owners are retained. RESULT.json includes complete counts and actual missing-record rejection. Normal and optimised controls and unchanged inputs pass.","author":"Chris R / Clear1nsight","ai_assistance":"Substantial OpenAI assistance; separately implemented in one session, not independent human or proof-kernel acceptance.","overlap":{"nearby_prs":[4359,4457,4470,4478,4504],"fork_predecessor":14,"method":"Targeted live PR searches and bounded Discussion reading, not exhaustive coverage.","baseline_helper_run":false,"canonical_refresh":"2026-10-22T04:44:00Z"},"open_questions":[{"question":"Can inherited transport, warp and centre operators be joined to exact retained evidence?","why_it_matters":"The 423 recipes are changed-pair evidence, not a fresh audit of every operation.","first_step":"Use the executed classification to identify the smallest retained operator family lacking a matched exact receipt.","blocked_by":"No fresh matrix or inherited-operation physical replay is run here."},{"question":"Does the full arbitrary-input native endpoint and p16 owner/query protocol hold?","why_it_matters":"Complete pair coverage does not prove the entire caller.","first_step":"Replay one complete invocation on all 632 persistent input columns and its owned centre, then bind the copied-query protocol.","blocked_by":"Whole-word semantics and physical caller proof remain separate."}]} diff --git a/research/pr4470-coverage-join/VALIDATION.md b/research/pr4470-coverage-join/VALIDATION.md new file mode 100644 index 0000000000..5bea5d2fa7 --- /dev/null +++ b/research/pr4470-coverage-join/VALIDATION.md @@ -0,0 +1,9 @@ +# Executed coverage evidence + +The first full source-bound registered replay passed in [workflow 39723709269](https://github.com/Clear1nsight/integer-mult-bounds/actions/runs/39723709269), job 119643558341, at head 1468f766ba4909a99b176dc5a2b5e131349c9c47. GitHub tested merge ref b889ef010c54291e70c2a652c7d1b37787b62ac1 against isolated base 59d57c8c662e62b9a03f5ebd6ba52ebdd19ed20b. Ubuntu 24.04.5, CPython 3.12.15, standard library only. Scientific execution completed at 2026-10-22T04:44:36Z. Onboarding, package metadata and source pins, full coverage join, optimised controls and unchanged committed inputs passed. + +In each orientation the actual schedule contains 3,302 persistent transports over 2,856 distinct basis-bound pairs. The 406 new distinct transport pairs plus 17 distinct helper boundaries match the 423 physical recipes exactly. Both orientations yield 846 coverage records. All 408 helper owners are retained. Of the chronological transport occurrences, 439 have directly audited recipes and 2,863 are explicitly inherited. The 240 retained warp events and eight owned-centre jobs per orientation are not silently included in fresh physical coverage. Each word also contains 17,453 scalar events. + +RESULT.json retains every field emitted in that run. Subsequent normal verification compares the fresh result against it. The prior matrix receipt remains byte-identical and is reused through its exact source and index hashes, not rerun or rewritten. An actual missing oriented record is rejected. Four positive and seven negative local controls also pass with assertions disabled. + +The successful join establishes completeness for the changed-transport/helper interface. It does not establish a fresh physical audit of every retained operation, full native arbitrary-input semantics, the p16 query/owner caller, precision/stock or the outer theorem. No full selected cold replay or optional source-history publication preflight was performed. Current PR checks determine success of any later publication head.