From 1468f766ba4909a99b176dc5a2b5e131349c9c47 Mon Sep 17 00:00:00 2001 From: Chris R Date: Thu, 22 Oct 2026 15:40:23 +1100 Subject: [PATCH 1/2] 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 2/2] 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.