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 fca16a7b31ece4fe1b3e524c54ed292a96417e87 Mon Sep 17 00:00:00 2001 From: Chris R Date: Thu, 22 Oct 2026 15:36:33 +1100 Subject: [PATCH 2/3] Independently audit sharp adaptive cancellation and its failure boundaries Prove the all-real slack identity and exact extremisers, bind PR4483 Section 4, and add rational, zero-mass and root/leaf omission controls. No new kappa or full compiler audit. Substantial OpenAI assistance and retained predecessor credit. --- research/adaptive-cancellation-audit/PROOF.md | 48 ++++++++ .../adaptive-cancellation-audit/README.md | 35 ++++++ .../adaptive-cancellation-audit/SOURCES.json | 1 + .../adaptive-cancellation-audit/TASK.json | 1 + .../adaptive-cancellation-audit/VERIFY.json | 1 + .../adaptive-cancellation-audit/verify.py | 108 ++++++++++++++++++ 6 files changed, 194 insertions(+) create mode 100644 research/adaptive-cancellation-audit/PROOF.md create mode 100644 research/adaptive-cancellation-audit/README.md create mode 100644 research/adaptive-cancellation-audit/SOURCES.json create mode 100644 research/adaptive-cancellation-audit/TASK.json create mode 100644 research/adaptive-cancellation-audit/VERIFY.json create mode 100644 research/adaptive-cancellation-audit/verify.py diff --git a/research/adaptive-cancellation-audit/PROOF.md b/research/adaptive-cancellation-audit/PROOF.md new file mode 100644 index 0000000000..ad8a1b955a --- /dev/null +++ b/research/adaptive-cancellation-audit/PROOF.md @@ -0,0 +1,48 @@ +# Sharp cancellation audit and exact extremisers + +This is a scoped independent written proof audit of PR4483, PROOF.md Section 4, equations (10) and (11). It is not a formal-kernel proof. The algebraic optimisation below is elementary and carries no priority claim. Its value is the precise source-bound sharpness statement, zero-mass handling and discriminating controls for the adaptive compiler. + +## Statement + +Fix real numbers 0 <= beta < eta < 1. Let I,B,F,A be nonnegative and satisfy I=B+F+A and B<=beta I. These are respectively the inner-source, boundary-exit, leaf-exit and net-production potentials of the source argument. For fixed A,F with A+F>0, the largest permitted value of (B+F)/I is + + (beta A + F)/(A+F). + +It is attained at I=(A+F)/(1-beta), B=beta I. Consequently the condition + + (eta-beta) A >= (1-eta) F + +is sufficient, and is necessary for a uniform guarantee over every admissible boundary mass at those fixed A,F. This is not claimed necessary for each individual flow, whose mirror slack can make its exit fraction smaller. + +## Independent slack certificate + +Using I=B+F+A gives the exact identity + + (1-beta) [eta I-(B+F)] + = (eta-beta) A-(1-eta) F + (1-eta) [beta I-B]. + +Under the displayed threshold and mirror inequality the right side is nonnegative. Since 1-beta>0, the desired contraction B+F<=eta I follows. This proves the implication without division by a possibly zero leaf mass or inner potential. If A=F=0, then I=B and B<=beta I force I=B=0, so the conclusion still holds. + +For sharpness, with A+F>0 the constraint is (1-beta)B<=beta(A+F). The fraction (B+F)/(B+A+F) is nondecreasing in B, with derivative A/(B+A+F)^2. The endpoint above is therefore a maximiser, also when A=0. Substitution yields the claimed maximum and the exact threshold. Equality occurs when the threshold is tight and the mirror is saturated. Strict contraction follows if at least one of the two nonnegative terms in the slack identity is positive. + +## Binding to PR4483 + +The source defines A=(T_t-P_t)H_t-R_t. Its exact potential cancellation is I+R=B+F+(T-P)H, hence the premise I=B+F+A. Source equations (3) and (9) bound F<=P_t^(G+1) and A>=D_ell(t) P_t^(G+1). Since eta>beta and eta<1, the source threshold + + (eta-beta)D_ell(t) >= 1-eta + +implies the inequality above. In particular it forces D_ell>=0. The signs and the subtraction of root potential are load-bearing. The proof does not require the old invalid assertion that leaf ranks are uniformly sublinear. + +No better universal threshold can be inferred from only these inequalities. Actual flow correlations or a strictly better mirror or leaf bound can still improve the conclusion. The statement is a ceiling on this scalar inference, not on the compiler family, native word, rank bound or multiplication exponent. + +## Failure controls + +Take beta=1/4, eta=1/2, F=1, gross production (T-P)H=2 and root debit R=1/2. Then A=3/2, I=10/3 and B=5/6 satisfy exact cancellation and saturate the mirror. The actual exit fraction is 11/20>1/2. Ignoring R falsely passes the gross threshold with equality. Thus the root term cannot be discarded. Similarly A=0,F=1 gives exit fraction 1, while a test that drops the leaf mass would accept A>=0. Both are counterexamples to weakened tests, not to PR4483, whose correct guards reject them. + +The checker uses exact Fractions for 6,120 cases, 1,800 attained extremisers, 120 zero-mass endpoints and four invalid-premise controls, plus both omission examples and nine linear coefficient checks. Finite cases corroborate implementation and failure boundaries; the all-real proof is the identity and extremal argument above. No predecessor acceptance function is imported. + +## Remaining obligations + +The Chernoff bounds producing D, the pointwise mirror certificate, funded logarithmic majorant, integer chronological realisation, native adapters, physical tape costs, precision/stock and outer transfer are not proved by this lemma. The newer PR4529 gate checks and PR4532/4533 work are complementary, not evidence that this package audits the entire compiler. Exact source bytes are checked by the Git blob pin in verify.py and declared as a live replay input. + +Credit zxv for PR4483 and the sharp cancellation already used there, Jacob Alan Sussman's compiler, Ryanson Jonathan's corrected mirror and gate work, Dillon's broader gate-existence analysis, and the retained native/outer contributors. Prepared for Chris R / Clear1nsight with substantial OpenAI assistance; Apache-2.0. diff --git a/research/adaptive-cancellation-audit/README.md b/research/adaptive-cancellation-audit/README.md new file mode 100644 index 0000000000..cc7f540990 --- /dev/null +++ b/research/adaptive-cancellation-audit/README.md @@ -0,0 +1,35 @@ +# Independent sharp-cancellation audit + +Assignment D audits one quantified implication of zxv's adaptive compiler, not its already-covered finite parameter arithmetic. PROOF.md proves the exact contraction implication for all real admissible potentials and characterises its sharp universal threshold using explicit extremisers. It agrees with PR4483 Section 4. It supplies no new kappa or lower uniform rank and does not claim a compiler bug. + +The exact dual-slack identity is + + (1-beta)(eta I-B-F) + = (eta-beta)A-(1-eta)F+(1-eta)(beta I-B), + +under I=B+F+A. At fixed A,F the worst possible exit fraction is (beta A+F)/(A+F). Necessity is for a guarantee over all allowed boundary masses, not for every individual flow. Zero mass is handled separately without division. Two explicit rejected controls show why omitting roots or leaves invalidates weaker arguments. + +## Reproduce + +Python 3.12, standard library only: + +```sh +python -B scripts/research_package.py --package research/adaptive-cancellation-audit +python -I -O -B research/adaptive-cancellation-audit/verify.py --self-test +``` + +Local normal and optimised runs pass 6,120 rational cases, 1,800 extremiser checks, 120 zero-mass checks and the listed controls. The hosted registered run additionally authenticates the exact source proof. No predecessor acceptance function, approximate logarithm or solver is imported. The universal conclusion comes from the written algebra, not extrapolation of this finite grid. + +## Sources, scope and overlap + +Canonical scientific base f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc; source research/rank-convergence/PROOF.md, Git blob 75f451837204bd141f357e7f5e5d6c6f42e1423e. VERIFY.json declares that live input and verify.py rejects a changed blob before reporting source-bound success. SOURCES.json retains the original card and selected record as historical provenance. Priority revision 7. The user-assigned proof-audit scope is recorded as changed from independent-moment. The historical baseline helper was not executed. + +PR4529 independently checks numerical gates but excludes the theorem. PR4532 proves broader gate-existence statements, and PR4533 retunes witnesses without a new kappa. This audit intentionally isolates the scalar cancellation inference rather than repeating those results. Targeted live PR searches and bounded Discussion reading are not exhaustive overlap coverage or proof of novelty. + +## Open next questions + +Can actual flow correlations improve the mirror/leaf bound beyond the information used in the sharp scalar inference? Start with a source-bound joint boundary/leaf occupation statement, not a lower threshold contradicted by the extremisers. Separately audit one Chernoff occupation or root bound before treating the full adaptive compiler as independently verified. No particular claim that these are unclaimed is made without a fresh overlap check. + +## Credit + +Credit zxv for PR4483's argument, Jacob Alan Sussman for mixed-target recursion, Ryanson Jonathan for mirror/gate work, Dillon for the broader gate-existence follow-up, and the retained Cinna Davis/native/outer lineage. Prepared for Chris R / Clear1nsight with substantial OpenAI assistance, Apache-2.0. This is one separately implemented workstream, not independent human or proof-kernel acceptance. diff --git a/research/adaptive-cancellation-audit/SOURCES.json b/research/adaptive-cancellation-audit/SOURCES.json new file mode 100644 index 0000000000..fde849527c --- /dev/null +++ b/research/adaptive-cancellation-audit/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"}]} diff --git a/research/adaptive-cancellation-audit/TASK.json b/research/adaptive-cancellation-audit/TASK.json new file mode 100644 index 0000000000..ef189c00ec --- /dev/null +++ b/research/adaptive-cancellation-audit/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":"changed","actual_scope":"Assignment D: all-real audit and sharpness of PR4483 Section 4 cancellation, with exact independent slack certificate and failure witnesses.","scope_change_reason":"The user assigned one quantified compiler proof implication. PR4529 already covers finite gate arithmetic and PR4533 retunes witnesses, so this targets the logical cancellation step instead.","bottleneck_link":"Prevent an uncharged root or leaf potential from invalidating the adaptive compiler while preserving the correct threshold.","budget_minutes":60,"stop_rule":"Stop at the scalar cancellation inference; no native, Chernoff, majorant-funding or outer theorem claim.","outcome":"completed","evidence":"Written all-real proof, 6120 exact cases, 1800 extremiser checks, 120 zero-mass cases, four invalid-premise controls and root/leaf omission witnesses pass locally in normal and optimised Python. Hosted source authentication pending.","author":"Chris R / Clear1nsight","ai_assistance":"Substantial OpenAI assistance; separately implemented in one session, not independent human or formal-kernel acceptance.","overlap":{"nearby_prs":[4436,4483,4529,4532,4533],"method":"Targeted live PR/package reading and bounded Discussions, not exhaustive pagination or novelty proof.","baseline_helper_run":false,"canonical_refresh":"2026-10-22T04:30:00Z"},"open_questions":[{"question":"Can actual flow correlations improve the sharp scalar threshold's premises?","why_it_matters":"No better guarantee follows from the same inequalities alone; stronger joint information could improve the compiler.","first_step":"Prove one source-bound joint boundary/leaf occupation inequality and compare it with the exact extremisers.","blocked_by":"The present work does not certify the Chernoff, mirror or physical flow premises."}]} diff --git a/research/adaptive-cancellation-audit/VERIFY.json b/research/adaptive-cancellation-audit/VERIFY.json new file mode 100644 index 0000000000..80eb81961f --- /dev/null +++ b/research/adaptive-cancellation-audit/VERIFY.json @@ -0,0 +1 @@ +{"schema_version":1,"status":"ready","python":"3.12","requirements":[],"inputs":["research/rank-convergence/PROOF.md"],"commands":[{"argv":["{python}","-I","-B","{package}/verify.py"],"timeout_seconds":60,"checks":"Exact source-bound cancellation identity, sharp extremisers, zero-mass cases, root/leaf omission controls and 6120 rational fixtures. The all-real argument is the separate written proof."},{"argv":["{python}","-I","-O","-B","{package}/verify.py","--self-test"],"timeout_seconds":60,"checks":"All mathematical fixture and rejection checks remain active with assertions disabled."}]} diff --git a/research/adaptive-cancellation-audit/verify.py b/research/adaptive-cancellation-audit/verify.py new file mode 100644 index 0000000000..939e32ac81 --- /dev/null +++ b/research/adaptive-cancellation-audit/verify.py @@ -0,0 +1,108 @@ +#!/usr/bin/env python3 +"""Exact independent audit of the sharp cancellation step. Apache-2.0. + +OpenAI assistance for Chris R / Clear1nsight. No predecessor acceptance function +is imported. Rational fixtures test the universal argument in PROOF.md. +""" +from fractions import Fraction as Q +from pathlib import Path +import argparse +import hashlib +import json + +HERE=Path(__file__).resolve().parent +ROOT=HERE.parents[1] +SOURCE='research/rank-convergence/PROOF.md' +BLOB='75f451837204bd141f357e7f5e5d6c6f42e1423e' + +def need(ok,why): + if not ok: raise ValueError(why) + +def authenticate(): + path=ROOT/SOURCE + need(path.is_file() and not path.is_symlink(),'Missing or aliased source') + data=path.read_bytes() + need(hashlib.sha1(b'blob '+str(len(data)).encode()+b'\0'+data).hexdigest()==BLOB,'Changed proof source') + return hashlib.sha256(data).hexdigest() + +def validate(beta,eta,I,B,F,A): + need(0<=beta=0,'Nonnegative potentials') + need(I==B+F+A,'Actual source/exit cancellation') + need(B<=beta*I,'Pointwise mirror premise') + +def audit(beta,eta,I,B,F,A): + validate(beta,eta,I,B,F,A) + margin=(eta-beta)*A-(1-eta)*F + mirror=beta*I-B + lhs=(1-beta)*(eta*I-B-F) + rhs=margin+(1-eta)*mirror + need(lhs==rhs,'Exact nonnegative-slack identity') + if margin>=0:need(B+F<=eta*I,'Sufficient cancellation implication') + if A+F: + bound=(beta*A+F)/(A+F) + need((B+F)/I<=bound,'Sharp maximal exit fraction') + else:need(I==B==F==A==0,'Zero-mass endpoint') + return margin + +def extremal(beta,A,F): + need(0<=beta<1 and A>=0 and F>=0,'Extremal domain') + I=(A+F)/(1-beta);B=beta*I + return I,B + +def controls(): + checks=0; sharp=0; zero=0 + for den in range(2,10): + for bi in range(den-1): + for ei in range(bi+1,den): + beta,eta=Q(bi,den),Q(ei,den) + for A in map(Q,(0,1,2,7)): + for F in (Q(0),Q(1,3),Q(1),Q(5)): + Imax,Bmax=extremal(beta,A,F) + for weight in (Q(0),Q(1,3),Q(1)): + B=weight*Bmax;I=B+A+F + audit(beta,eta,I,B,F,A);checks+=1 + if A+F: + need((Bmax+F)/Imax==(beta*A+F)/(A+F),'Extremiser attainment');sharp+=1 + else:zero+=1 + F=Q(1);threshold=(1-eta)/(eta-beta) + for A,should_pass in ((threshold,True),(threshold*Q(3,4),False),(threshold+1,True)): + I,B=extremal(beta,A,F) + need((audit(beta,eta,I,B,F,A)>=0)==should_pass,'Threshold direction') + need((B+F<=eta*I)==should_pass,'Necessary threshold in extremal family');checks+=1 + bad=[(Q(1,2),Q(1,2),Q(0),Q(0),Q(0),Q(0)), + (Q(1,4),Q(1,2),Q(1),Q(0),Q(2),Q(-1)), + (Q(1,4),Q(1,2),Q(2),Q(0),Q(1),Q(0)), + (Q(1,4),Q(1,2),Q(2),Q(1),Q(0),Q(1))] + for case in bad: + try:audit(*case) + except ValueError:pass + else:raise ValueError('Invalid premise accepted') + beta,eta=Q(1,4),Q(1,2) + G,R,F=Q(2),Q(1,2),Q(1);A=G-R;I,B=extremal(beta,A,F) + need((eta-beta)*G==(1-eta)*F,'Root omission false positive calibration') + need(audit(beta,eta,I,B,F,A)<0 and (B+F)/I==Q(11,20),'Root debit counterexample') + A,F=Q(0),Q(1);I,B=extremal(beta,A,F) + need((eta-beta)*A>=0 and audit(beta,eta,I,B,F,A)<0,'Leaf omission counterexample') + for beta,eta in ((Q(0),Q(1,2)),(Q(1,4),Q(1,2)),(Q(3,4),Q(7,8))): + for A,F,B in ((Q(1),Q(0),Q(0)),(Q(0),Q(1),Q(0)),(Q(0),Q(0),Q(1))): + I=B+F+A + need((1-beta)*(eta*I-B-F)==(eta-beta)*A-(1-eta)*F+(1-eta)*(beta*I-B),'Linear coefficient control') + return dict(rational_positive_cases=checks,extremal_attainments=sharp,zero_mass_cases=zero, + invalid_premises_rejected=len(bad),root_omission_exit_fraction='11/20', + root_omission_required_fraction='1/2',leaf_omission_rejected=True, + linear_coefficient_cases=9) + +def main(): + ap=argparse.ArgumentParser();ap.add_argument('--self-test',action='store_true');ap.add_argument('--write',action='store_true');args=ap.parse_args() + result=dict(schema='adaptive-cancellation-audit/v1',status='PASS_SHARP_CANCELLATION_AUDIT', + source_blob=BLOB,controls=controls(),new_kappa=False, + universal_argument='PROOF.md, exact slack identity and explicit extremisers', + not_covered=['Chernoff occupation and root bounds','mirror guard certification','native and physical premises','majorant funding','new compiler rank or outer theorem']) + if not args.self_test: result['source_sha256']=authenticate() + text=json.dumps(result,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())==result,'Receipt changed') + print(text,end='') + +if __name__=='__main__':main() From 0898b3a8faa5b809d2beedc99dce5d69574568e4 Mon Sep 17 00:00:00 2001 From: Chris R Date: Thu, 22 Oct 2026 15:50:45 +1100 Subject: [PATCH 3/3] Retain successful source-bound cancellation receipt and proof pin Record actual Ubuntu/CPython 3.12.15 hosted evidence, complete the live proof SHA256 pin and compare future replays against the full receipt. No mathematics or scientific acceptance checks changed. --- .../adaptive-cancellation-audit/README.md | 24 +++++++++++-------- .../adaptive-cancellation-audit/RESULT.json | 19 +++++++++++++++ .../adaptive-cancellation-audit/SOURCES.json | 2 +- .../adaptive-cancellation-audit/TASK.json | 2 +- .../adaptive-cancellation-audit/VALIDATION.md | 11 +++++++++ 5 files changed, 46 insertions(+), 12 deletions(-) create mode 100644 research/adaptive-cancellation-audit/RESULT.json create mode 100644 research/adaptive-cancellation-audit/VALIDATION.md diff --git a/research/adaptive-cancellation-audit/README.md b/research/adaptive-cancellation-audit/README.md index cc7f540990..ab951a04c8 100644 --- a/research/adaptive-cancellation-audit/README.md +++ b/research/adaptive-cancellation-audit/README.md @@ -1,15 +1,19 @@ # Independent sharp-cancellation audit -Assignment D audits one quantified implication of zxv's adaptive compiler, not its already-covered finite parameter arithmetic. PROOF.md proves the exact contraction implication for all real admissible potentials and characterises its sharp universal threshold using explicit extremisers. It agrees with PR4483 Section 4. It supplies no new kappa or lower uniform rank and does not claim a compiler bug. +Assignment D audits one quantified implication of zxv's adaptive compiler. The source-bound registered replay passes, and PROOF.md supplies an all-real proof with an exact sharpness statement. No new kappa, lower uniform rank, compiler bug or complete compiler admission is claimed. -The exact dual-slack identity is +## Result + +Under I=B+F+A, 0<=beta= (1-eta)F guarantees exit contraction. For fixed A,F with positive sum, the largest permitted exit fraction is (beta A+F)/(A+F), attained at I=(A+F)/(1-beta), B=beta I. Necessity is for a guarantee over all admissible boundary masses, not for every individual flow. The zero-mass endpoint is handled without division. The source's A=(T-P)H-R includes the root debit. Omitting that debit can falsely pass while the actual exit fraction is 11/20 instead of at most 1/2. Dropping the leaf term similarly invalidates a weaker test. These are rejected controls, not counterexamples to PR4483. -under I=B+F+A. At fixed A,F the worst possible exit fraction is (beta A+F)/(A+F). Necessity is for a guarantee over all allowed boundary masses, not for every individual flow. Zero mass is handled separately without division. Two explicit rejected controls show why omitting roots or leaves invalidates weaker arguments. +The elementary extremal calculation carries no priority claim. The contribution is the exact source-bound proof audit, sharp scope and discriminating failure witnesses, separate from the numerical gate checks. -## Reproduce +## Reproduce and actual evidence Python 3.12, standard library only: @@ -18,18 +22,18 @@ python -B scripts/research_package.py --package research/adaptive-cancellation-a python -I -O -B research/adaptive-cancellation-audit/verify.py --self-test ``` -Local normal and optimised runs pass 6,120 rational cases, 1,800 extremiser checks, 120 zero-mass checks and the listed controls. The hosted registered run additionally authenticates the exact source proof. No predecessor acceptance function, approximate logarithm or solver is imported. The universal conclusion comes from the written algebra, not extrapolation of this finite grid. +[VALIDATION.md](VALIDATION.md) records successful hosted workflow 39723357163 on CPython 3.12.15, the exact head and merge ref. RESULT.json retains all 6,120 rational cases, 1,800 extremiser checks, 120 zero-mass cases, four invalid-premise controls, nine coefficient checks and omission witnesses. Normal replay authenticates the proof and compares every receipt field. Optimised controls pass. No predecessor acceptance function is imported. The universal argument is written algebra, not extrapolation of a finite grid. ## Sources, scope and overlap -Canonical scientific base f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc; source research/rank-convergence/PROOF.md, Git blob 75f451837204bd141f357e7f5e5d6c6f42e1423e. VERIFY.json declares that live input and verify.py rejects a changed blob before reporting source-bound success. SOURCES.json retains the original card and selected record as historical provenance. Priority revision 7. The user-assigned proof-audit scope is recorded as changed from independent-moment. The historical baseline helper was not executed. +Canonical scientific base f9f85c1e4fa1e955ff39f10fca447e3e2a4e4adc, priority revision 7. The live source research/rank-convergence/PROOF.md is pinned by blob 75f451837204bd141f357e7f5e5d6c6f42e1423e and SHA256 in SOURCES.json and declared in VERIFY.json. Catalogue and selected record remain historical provenance. -PR4529 independently checks numerical gates but excludes the theorem. PR4532 proves broader gate-existence statements, and PR4533 retunes witnesses without a new kappa. This audit intentionally isolates the scalar cancellation inference rather than repeating those results. Targeted live PR searches and bounded Discussion reading are not exhaustive overlap coverage or proof of novelty. +PR4529 checks finite gates but excludes the theorem. PR4532 addresses broader gate existence, and PR4533 retunes witnesses without a new kappa. This work isolates the scalar cancellation inference rather than repeating those results. Targeted live searches and bounded Discussion reading are not exhaustive overlap coverage. The historical baseline helper and full selected cold replay were not run. TASK.json declares the user-assigned changed proof-audit scope. ## Open next questions -Can actual flow correlations improve the mirror/leaf bound beyond the information used in the sharp scalar inference? Start with a source-bound joint boundary/leaf occupation statement, not a lower threshold contradicted by the extremisers. Separately audit one Chernoff occupation or root bound before treating the full adaptive compiler as independently verified. No particular claim that these are unclaimed is made without a fresh overlap check. +A better universal threshold cannot follow from these same scalar inequalities alone. First prove stronger actual-flow information, such as a joint boundary/leaf occupation bound, and compare it with the explicit extremisers. Separately audit one Chernoff occupation or root bound; those premises, mirror certification, majorant funding, native realisation, physical costs, precision and outer transfer remain open to this package. Refresh overlap before claiming them. ## Credit -Credit zxv for PR4483's argument, Jacob Alan Sussman for mixed-target recursion, Ryanson Jonathan for mirror/gate work, Dillon for the broader gate-existence follow-up, and the retained Cinna Davis/native/outer lineage. Prepared for Chris R / Clear1nsight with substantial OpenAI assistance, Apache-2.0. This is one separately implemented workstream, not independent human or proof-kernel acceptance. +Credit zxv for PR4483's cancellation argument, Jacob Alan Sussman for mixed-target recursion, Ryanson Jonathan for mirror/gate work, Dillon for the broader gate-existence follow-up, and the retained Cinna Davis/native/outer lineage. Prepared for Chris R / Clear1nsight with substantial OpenAI assistance, Apache-2.0. One session with separate workstreams does not constitute independent human or formal-kernel acceptance. diff --git a/research/adaptive-cancellation-audit/RESULT.json b/research/adaptive-cancellation-audit/RESULT.json new file mode 100644 index 0000000000..fe3a08f809 --- /dev/null +++ b/research/adaptive-cancellation-audit/RESULT.json @@ -0,0 +1,19 @@ +{ + "controls": { + "extremal_attainments": 1800, + "invalid_premises_rejected": 4, + "leaf_omission_rejected": true, + "linear_coefficient_cases": 9, + "rational_positive_cases": 6120, + "root_omission_exit_fraction": "11/20", + "root_omission_required_fraction": "1/2", + "zero_mass_cases": 120 + }, + "new_kappa": false, + "not_covered": ["Chernoff occupation and root bounds", "mirror guard certification", "native and physical premises", "majorant funding", "new compiler rank or outer theorem"], + "schema": "adaptive-cancellation-audit/v1", + "source_blob": "75f451837204bd141f357e7f5e5d6c6f42e1423e", + "source_sha256": "3c971c5670669cb36312815b111e64c83e1490a10ee82f5412bd9aee01e9c376", + "status": "PASS_SHARP_CANCELLATION_AUDIT", + "universal_argument": "PROOF.md, exact slack identity and explicit extremisers" +} diff --git a/research/adaptive-cancellation-audit/SOURCES.json b/research/adaptive-cancellation-audit/SOURCES.json index fde849527c..97c41584f3 100644 --- a/research/adaptive-cancellation-audit/SOURCES.json +++ b/research/adaptive-cancellation-audit/SOURCES.json @@ -1 +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"}]} +{"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/rank-convergence/PROOF.md","usage":"input","git_blob":"75f451837204bd141f357e7f5e5d6c6f42e1423e","sha256":"3c971c5670669cb36312815b111e64c83e1490a10ee82f5412bd9aee01e9c376"}]} diff --git a/research/adaptive-cancellation-audit/TASK.json b/research/adaptive-cancellation-audit/TASK.json index ef189c00ec..5fe2b02309 100644 --- a/research/adaptive-cancellation-audit/TASK.json +++ b/research/adaptive-cancellation-audit/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":"changed","actual_scope":"Assignment D: all-real audit and sharpness of PR4483 Section 4 cancellation, with exact independent slack certificate and failure witnesses.","scope_change_reason":"The user assigned one quantified compiler proof implication. PR4529 already covers finite gate arithmetic and PR4533 retunes witnesses, so this targets the logical cancellation step instead.","bottleneck_link":"Prevent an uncharged root or leaf potential from invalidating the adaptive compiler while preserving the correct threshold.","budget_minutes":60,"stop_rule":"Stop at the scalar cancellation inference; no native, Chernoff, majorant-funding or outer theorem claim.","outcome":"completed","evidence":"Written all-real proof, 6120 exact cases, 1800 extremiser checks, 120 zero-mass cases, four invalid-premise controls and root/leaf omission witnesses pass locally in normal and optimised Python. Hosted source authentication pending.","author":"Chris R / Clear1nsight","ai_assistance":"Substantial OpenAI assistance; separately implemented in one session, not independent human or formal-kernel acceptance.","overlap":{"nearby_prs":[4436,4483,4529,4532,4533],"method":"Targeted live PR/package reading and bounded Discussions, not exhaustive pagination or novelty proof.","baseline_helper_run":false,"canonical_refresh":"2026-10-22T04:30:00Z"},"open_questions":[{"question":"Can actual flow correlations improve the sharp scalar threshold's premises?","why_it_matters":"No better guarantee follows from the same inequalities alone; stronger joint information could improve the compiler.","first_step":"Prove one source-bound joint boundary/leaf occupation inequality and compare it with the exact extremisers.","blocked_by":"The present work does not certify the Chernoff, mirror or physical flow premises."}]} +{"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":"changed","actual_scope":"Assignment D: all-real audit and sharpness of PR4483 Section 4 cancellation, with exact independent slack certificate and failure witnesses.","scope_change_reason":"User-assigned quantified compiler proof audit; PR4529 covers finite gates and PR4533 retunes witnesses, so this targets the logical cancellation inference.","bottleneck_link":"Prevent an uncharged root or leaf potential from invalidating adaptive compilation while preserving the correct threshold.","budget_minutes":60,"stop_rule":"Stop at the scalar inference; no native, Chernoff, majorant-funding or outer theorem claim.","outcome":"completed","evidence":"Hosted source-bound registered replay 39723357163 at fca16a7b31ece4fe1b3e524c54ed292a96417e87 passes on CPython 3.12.15. RESULT.json retains 6120 exact cases, 1800 extremisers, 120 zero-mass cases, four invalid-premise controls, nine coefficient checks and root/leaf omission witnesses. Written all-real proof is PROOF.md. Normal and optimised checks and committed-input preservation 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":[4436,4483,4529,4532,4533],"method":"Targeted live PR/package reading and bounded Discussions, not exhaustive pagination or novelty proof.","baseline_helper_run":false,"canonical_refresh":"2026-10-22T04:44:00Z"},"open_questions":[{"question":"Can actual flow correlations improve the sharp scalar threshold's premises?","why_it_matters":"No better guarantee follows from the same inequalities alone; stronger joint information could improve the compiler.","first_step":"Prove one source-bound joint boundary/leaf occupation inequality and compare it with the exact extremisers.","blocked_by":"The present work does not certify the Chernoff, mirror or physical flow premises."}]} diff --git a/research/adaptive-cancellation-audit/VALIDATION.md b/research/adaptive-cancellation-audit/VALIDATION.md new file mode 100644 index 0000000000..8829cf644f --- /dev/null +++ b/research/adaptive-cancellation-audit/VALIDATION.md @@ -0,0 +1,11 @@ +# Executed evidence + +The first registered source-bound replay passed in fork workflow [39723357163](https://github.com/Clear1nsight/integer-mult-bounds/actions/runs/39723357163), scientific job 119642506529, at submission head fca16a7b31ece4fe1b3e524c54ed292a96417e87. GitHub tested merge ref 52ba7b79df32dce2730aaccb321a8a75fed342af against the isolated base 59d57c8c662e62b9a03f5ebd6ba52ebdd19ed20b. The environment was Ubuntu 24.04.5, CPython 3.12.15, standard library only. Scientific execution completed at 2026-10-22T04:41:26Z. Onboarding, package metadata/source checks, normal source-bound replay, optimised controls and committed-input preservation all passed. + +RESULT.json preserves every field of that emitted scientific result. Subsequent ordinary verification compares the fresh result against this receipt without rewriting it. The source proof's SHA256, observed in that authenticated run, is now also explicit in SOURCES.json alongside the existing blob check and declared VERIFY.json input. No proof, acceptance function or scientific source changed when retaining this receipt. + +The result comprises 6,120 rational cases, 1,800 attained extremisers, 120 zero-mass endpoints, four invalid-premise controls, nine coefficient checks and both root/leaf omission witnesses. The all-real claim is the written slack identity and extremal argument, not a statistical inference from the cases. + +Local self-controls also passed under normal and optimised Python. No complete adaptive-compiler replay, new-rank certificate, native physical audit, Lean build, selected-frontier cold replay or optional publication source-history preflight was performed. A passing package does not certify the omitted Chernoff, mirror, majorant-funding, physical or outer premises. + +This is separately implemented AI-assisted work for Chris R / Clear1nsight, not independent human or proof-kernel verification. Credit and licences remain in README.md and PROOF.md. Read the current PR checks for later publication heads rather than treating this first-run record as a claim about every future change.