Close PR4470 changed-pair coverage: 406 transports + 17 helper boundaries (no new kappa)

research/pr4470-coverage-join/README.md

@@ -0,0 +1,36 @@
+# Chronological-to-physical coverage join for PR4470
+
+**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.
+
+## What is covered
+
+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.
+
+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.
+
+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 and evidence
+
+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
+```
+
+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
+
+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 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 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, 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.

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"
+}

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"}]}

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: 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."}]}

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.

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."}]}

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.