diff --git a/docs/ci-verification.md b/docs/ci-verification.md index 63ba3e9aa8..52b62d0481 100644 --- a/docs/ci-verification.md +++ b/docs/ci-verification.md @@ -1,8 +1,25 @@ # CI verification -## Current selected-family replay: #6030 +## Current selected-family replay: #7000 with #7001 The [selected record](../certificates/selected-result.json) binds conditional +κ = 0.00363005817 to the [application review](research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md), +[validation receipts](research/pr-intake-evidence/pr7000-application/VALIDATION.json), +and [explicit source closure](../certificates/frontier7000-source.json). +`make frontier7000-verify` follows that exact-source selected replay. The review +reuses eleven authenticated preceding executions and records seven fresh serial +application, scalar and complete native-catalogue executions. The earlier +monolithic timeout is retained separately and is not completed coverage. +Consult the receipts for exact commands, source heads and limits. + +The five inherited framework assumptions remain. No complete uniform word, +literal multiplier execution, independent human proof or formal-kernel proof +is asserted. Routine research submissions do not need to rerun this +selected-family replay. The sections below preserve historical checkpoints. + +## Historical selected-family replay: #6030 + +The [historical checkpoint](../certificates/checkpoints/frontier6030.json) binds conditional κ = 0.003125804 to the [proof review](research/pr-intake-evidence/pr6030-audit/PROOF-REVIEW.md), [validation receipts](research/pr-intake-evidence/pr6030-audit/VALIDATION.json), and [explicit source closure](../certificates/frontier6030-source.json). diff --git a/research/historical-selected-replay-gap/README.md b/research/historical-selected-replay-gap/README.md index 55d8cc3b49..36d9a873ca 100644 --- a/research/historical-selected-replay-gap/README.md +++ b/research/historical-selected-replay-gap/README.md @@ -69,7 +69,11 @@ python3 -B scripts/research_package.py --package research/historical-selected-re The direct command prints `PASS_HISTORICAL_SELECTED_REPLAY_GAP`. A registered replay prints `PASS_REGISTERED_RESEARCH_PACKAGE`. Both require Git history -containing the two inspected commits. +containing the two inspected commits and the source and manifest objects at +`2485805a6d47f36ea83ddde6327d453ac82d44dc`. The verifier uses a temporary +sparse checkout of that commit, checks the declared source digests there, and +uses its planner and manifest inventory. The recorded rejections and selection +therefore remain reproducible after later changes to the live Makefile or CI guide. ## Open next questions diff --git a/research/historical-selected-replay-gap/SOURCES.json b/research/historical-selected-replay-gap/SOURCES.json index c1010eec95..62bb8b3950 100644 --- a/research/historical-selected-replay-gap/SOURCES.json +++ b/research/historical-selected-replay-gap/SOURCES.json @@ -4,13 +4,13 @@ "files": [ { "path": "Makefile", - "usage": "input", + "usage": "provenance", "git_blob": "0d683a06b9e7ee162496108ce9a7c5d2ee94fccf", "sha256": "4f2d4f2dcd15139ec82658a975f85ed300897385f85799218539f4c8d60567da" }, { "path": "certificates/partial-swap-network.json", - "usage": "input", + "usage": "provenance", "git_blob": "eccafa830c16170c36faf93045ddf1f638f7bcd4", "sha256": "4c0b9d37e1034b2076e30a70f8e514416298c462d9ee98bc87fe6556b14df786" }, @@ -22,7 +22,7 @@ }, { "path": "docs/ci-verification.md", - "usage": "input", + "usage": "provenance", "git_blob": "63ba3e9aa8bdc5e942b56e34244b92b16f854085", "sha256": "c7d3027e9ad8bcbff68f07aa9576b30fb2f3c76c44d876d40c7fdbf4a3e2228a" }, @@ -34,163 +34,163 @@ }, { "path": "research/clifford-state-performance/SOURCE.json", - "usage": "input", + "usage": "provenance", "git_blob": "6f98a0061a5104dfab82c9e806f819b41811f684", "sha256": "396d0f08df24952248140d5c65c51b8c902ef1c580892ff7ea182890530f67ee" }, { "path": "research/community-batch1047-audit/CONTENT-COVERAGE.json", - "usage": "input", + "usage": "provenance", "git_blob": "5e0f92af463ec12c5e1dcc3effd44081a88af647", "sha256": "07a9daeaf2bda308a92e9a4684f13d5fc766c7772d74801fceb7f4599fdab226" }, { "path": "research/community-batch1099-audit/CONTENT-COVERAGE.json", - "usage": "input", + "usage": "provenance", "git_blob": "9e13266bf85e627f1b7dc225e9530ea69fd2c7f0", "sha256": "421e1211fb1897c45621dc6801c276e53f2e6f335583c9c9049e535f87c0a3b1" }, { "path": "research/community-batch932-audit/CONTENT-COVERAGE.json", - "usage": "input", + "usage": "provenance", "git_blob": "cc4d03eb59b9ab3f952735f7e88ff18c2d15d7af", "sha256": "184629cac91a5cfaca50330a88596008b824221433867dcf8117539c913c284a" }, { "path": "research/community-batch970-audit/CONTENT-COVERAGE.json", - "usage": "input", + "usage": "provenance", "git_blob": "8b9f4111badf7de5d97684799560b55110e9da79", "sha256": "23188ed920e38a54006cb883e181585620821c63bf7e8b5e05d32719417cc37e" }, { "path": "research/community-frontier741-audit/CONTENT-COVERAGE.json", - "usage": "input", + "usage": "provenance", "git_blob": "a5300d4e7a5381a3f443fc54c768ca6f0f236d68", "sha256": "3c820fb30e1b4d9bcfc6a7ab524375e5b2abd66b940af2c509146104f0bcd79c" }, { "path": "research/community-frontier890-audit/CONTENT-COVERAGE.json", - "usage": "input", + "usage": "provenance", "git_blob": "d7ff6d777b01d69b6ce84caf25d3b7e4a4d2f211", "sha256": "6b185a9902652f893f3ebd8ada92d2f11b6de6533a9a4d11718a8a4496101128" }, { "path": "research/community-hyperplane599-audit/SOURCE.json", - "usage": "input", + "usage": "provenance", "git_blob": "546f37d326d10a99910ae8f908e71ef768524d98", "sha256": "65099d764bfcc39bda5e4d9966783611b094c3522dbdd1435cd498d657a8ef8e" }, { "path": "research/community-k492-audit/SOURCE.json", - "usage": "input", + "usage": "provenance", "git_blob": "e538481e4cb16ed936d3195f2dfb5b5a9ca0a76b", "sha256": "2c0f4fa5bc150d05658af2e7c54c4d2c337dd52b7efd3d69530ae73bcbdf452a" }, { "path": "research/community-reconciliation92-audit/MANIFEST.json", - "usage": "input", + "usage": "provenance", "git_blob": "2a2e93685173d5f13cbb5abe740f5d90352e0228", "sha256": "5f501f3c118131e7d069f30ad77186eb2ad6961f9680a0ef105f4514ed41808a" }, { "path": "research/partial-swap-digest/baseline.py", - "usage": "input", + "usage": "provenance", "git_blob": "a2f0190704db83bd8ef48e46e723c49b925804fe", "sha256": "81e9af92cdf38243a540cdcff2062778e449467848d444da37a9553c12ca4c34" }, { "path": "research/r420-two-sided-basis/SOURCES.json", - "usage": "input", + "usage": "provenance", "git_blob": "5d718e11e62f4bcadecf1e02d6b61f87dbe190b0", "sha256": "d9810b0d139c5a1211fd2c1f0d142187cc1fca30026e1e7bc4f9ecfacf1596d1" }, { "path": "research/skip-clones/SOURCE.json", - "usage": "input", + "usage": "provenance", "git_blob": "8d1bb3b9c8189e35e5d8bfdfa632d7473e8be0d5", "sha256": "0b68e63e35a97ce6b0cdb6e291b88ebaa8f2dd4afb70b2498f10ee89428258dc" }, { "path": "research/split-skip/SOURCE.json", - "usage": "input", + "usage": "provenance", "git_blob": "2ab610b6ea2edd2865fda793ef2168b0c76afb4f", "sha256": "7c2b4646a3ecfef6f881da5c43e4bd0fa9a4d1b00548b8ab458d897e16735134" }, { "path": "scripts/historical-ci-inputs/Makefile", - "usage": "input", + "usage": "provenance", "git_blob": "aff68409021c9d401a6f8013b9dfd7dbcc30f2a8", "sha256": "ea8830dd79da493e2d75baf753d733ff7efbcf2b4794afe41fae0ac8f3055646" }, { "path": "scripts/historical-ci-inputs/ledger-batch932-run_isolated_tests.py", - "usage": "input", + "usage": "provenance", "git_blob": "65db599ab0b1dea0312c4ca048e0bd0f44c3736f", "sha256": "96ea543e6c707424afe247e77bd86c82152f90fc76a0773c4232145da5cdf8d1" }, { "path": "scripts/historical-ci-inputs/ledger-batch932-test_isolated_test_runner.py", - "usage": "input", + "usage": "provenance", "git_blob": "34820a8f24678f918f4d0e7a35380d8013fc3495", "sha256": "628391b6abfbc8674ceec1751867a4392f2cc0b5b66886243e139af86cf355ac" }, { "path": "scripts/historical-ci-inputs/ledger-batch970-verify_selected_result.py", - "usage": "input", + "usage": "provenance", "git_blob": "c755b76e0d44ba4917aa94440ebe54daefce5b2a", "sha256": "d7fd929726b326aeeaf0a3996475adec88eee9aac09ae0bebeeaa0bc1fc8f199" }, { "path": "scripts/historical-ci-inputs/ledger-frontier741-ci-verification.md", - "usage": "input", + "usage": "provenance", "git_blob": "7f3c012504187917a728b9fe87043f0fc8cd006a", "sha256": "a854022e0e1d5d4db4d60e586be3ea56005013ef14a1fc06d02bc06e8529c4b0" }, { "path": "scripts/historical-ci-inputs/partial-swap-context.json", - "usage": "input", + "usage": "provenance", "git_blob": "ad65114886bf34a4fd27e79f3be502389e689faa", "sha256": "833a9642f33aeab2ffea17ec9c6b82e0a953f90192b2c82e10bef21538dccba9" }, { "path": "scripts/historical-ci-inputs/partial-swap-network.json", - "usage": "input", + "usage": "provenance", "git_blob": "52075f2463f60af5e16571347f24274fce73a1ea", "sha256": "f3c4be597b2f2136da4ae2cc80c7454f63c90aa01f84e5b8131cee4dd55de815" }, { "path": "scripts/partial_swap/shared.py", - "usage": "input", + "usage": "provenance", "git_blob": "44a0e454c70f9c4b98e258b8443612e6a119904b", "sha256": "5a0646a50b9f3e8ea55168620a78e8853b0ab810517cefc8cfb8696aedee278a" }, { "path": "scripts/replay_historical_check.py", - "usage": "input", + "usage": "provenance", "git_blob": "1e92fff2782970ef71378f594f2350d245a4db26", "sha256": "5467619c78183d3adc82b0cb55af28e5c1a01fca2b0588677816244b53e2bafd" }, { "path": "scripts/research_package.py", - "usage": "input", + "usage": "provenance", "git_blob": "091b4c8f58bac9a9580d76025b887dc5c873d05f", "sha256": "e1256016e7f51827d04fa2179255989f639ae1d97afaa9c16265f85a0c6abd70" }, { "path": "scripts/run_isolated_tests.py", - "usage": "input", + "usage": "provenance", "git_blob": "a96ab35b315ce492e7fbbfd6c5ae211aa066b541", "sha256": "49eb56dd0fc0d8d8ffdb209970a7adf2176223580646f575d5c22e59543b381c" }, { "path": "scripts/verify_selected_result.py", - "usage": "input", + "usage": "provenance", "git_blob": "6882a4700e410dec569b51ae2eaf1a19cc019195", "sha256": "d6b305eac5b9bdb8172c469ad30a1655a60fa0aceac8b1bf610e1b73f51babd8" }, { "path": "tests/test_isolated_test_runner.py", - "usage": "input", + "usage": "provenance", "git_blob": "343b24abf6719b81805eba5a84c74e57634c8288", "sha256": "3a5470d0b139828b90e19bf9583ddeafcd69f8e34f2824664eb3a2958a52e34d" } diff --git a/research/historical-selected-replay-gap/VERIFY.json b/research/historical-selected-replay-gap/VERIFY.json index 98553e72ed..ab7efa3471 100644 --- a/research/historical-selected-replay-gap/VERIFY.json +++ b/research/historical-selected-replay-gap/VERIFY.json @@ -4,36 +4,7 @@ "python": "3.12", "requirements": [], "inputs": [ - "Makefile", - "certificates/partial-swap-network.json", - "docs/ci-verification.md", - "research/clifford-state-performance/SOURCE.json", - "research/community-batch1047-audit/CONTENT-COVERAGE.json", - "research/community-batch1099-audit/CONTENT-COVERAGE.json", - "research/community-batch932-audit/CONTENT-COVERAGE.json", - "research/community-batch970-audit/CONTENT-COVERAGE.json", - "research/community-frontier741-audit/CONTENT-COVERAGE.json", - "research/community-frontier890-audit/CONTENT-COVERAGE.json", - "research/community-hyperplane599-audit/SOURCE.json", - "research/community-k492-audit/SOURCE.json", - "research/community-reconciliation92-audit/MANIFEST.json", - "research/partial-swap-digest/baseline.py", - "research/r420-two-sided-basis/SOURCES.json", - "research/skip-clones/SOURCE.json", - "research/split-skip/SOURCE.json", - "scripts/historical-ci-inputs/Makefile", - "scripts/historical-ci-inputs/ledger-batch932-run_isolated_tests.py", - "scripts/historical-ci-inputs/ledger-batch932-test_isolated_test_runner.py", - "scripts/historical-ci-inputs/ledger-batch970-verify_selected_result.py", - "scripts/historical-ci-inputs/ledger-frontier741-ci-verification.md", - "scripts/historical-ci-inputs/partial-swap-context.json", - "scripts/historical-ci-inputs/partial-swap-network.json", - "scripts/partial_swap/shared.py", - "scripts/replay_historical_check.py", - "scripts/research_package.py", - "scripts/run_isolated_tests.py", - "scripts/verify_selected_result.py", - "tests/test_isolated_test_runner.py" + "scripts/research_package.py" ], "commands": [ { diff --git a/research/historical-selected-replay-gap/verify.py b/research/historical-selected-replay-gap/verify.py index 83b995941a..9d266c5a4e 100644 --- a/research/historical-selected-replay-gap/verify.py +++ b/research/historical-selected-replay-gap/verify.py @@ -6,8 +6,10 @@ """ import hashlib import importlib.util +import json import subprocess import sys +import tempfile from pathlib import Path ROOT = Path(__file__).resolve().parents[2] @@ -61,31 +63,47 @@ def require(ok, message): raise SystemExit(message) -def load_checker(): - path = ROOT / "scripts/replay_historical_check.py" - spec = importlib.util.spec_from_file_location("historical_selected_replay_gap_checker", path) +def load_module(path): + spec = importlib.util.spec_from_file_location(path.stem, path) module = importlib.util.module_from_spec(spec) spec.loader.exec_module(module) return module +def checkout_snapshot(snapshot, sources, runner, env): + paths = [runner.canonical_relative_path(row["path"]) for row in sources["files"]] + git = ["git", "-c", "maintenance.auto=false", "-c", "gc.auto=0", + "-c", "core.autocrlf=false"] + subprocess.run([*git, "clone", "--quiet", "--shared", "--no-tags", "--no-checkout", + "--", str(ROOT), str(snapshot)], cwd=ROOT, env=env, check=True) + subprocess.run([*git, "update-ref", "--no-deref", "HEAD", INSPECTED], + cwd=snapshot, env=env, check=True) + # The pinned planner reads omitted manifests from the sparse HEAD/index. + patterns = "".join(f"/{path.as_posix()}\n" for path in paths) + subprocess.run([*git, "sparse-checkout", "set", "--no-cone", "--stdin"], + cwd=snapshot, env=env, input=patterns.encode("utf-8"), check=True) + subprocess.run([*git, "read-tree", "-mu", "HEAD"], cwd=snapshot, env=env, check=True) + for path, row in zip(paths, sources["files"], strict=True): + require(hashlib.sha256((snapshot / path).read_bytes()).hexdigest() == row["sha256"], + "historical checkout source digest changed: " + path.as_posix()) + + def entries(checker): for name, config in checker.CONFIG.items(): for entry in [config, *config.get("additional_inputs", [])]: yield name, entry -def reject(checker, entry): +def reject(root, checker, entry): try: - checker.authenticated_input(ROOT, entry) + checker.authenticated_input(root, entry) except ValueError as exc: return str(exc) raise SystemExit("historical input was admitted: " + entry["path"]) -def main(): - require(not sys.flags.optimize, "assertions must stay enabled") - checker = load_checker() +def check_snapshot(root, env): + checker = load_module(root / "scripts/replay_historical_check.py") selected = [entry for name, entry in entries(checker) if name == "tooling-ledger" and entry["path"] == SELECTED_PATH] require(len(selected) == 1, "selected-result checker overlay is not unique") @@ -94,7 +112,7 @@ def main(): require(entry["accepted_live_sha256"] == [SELECTED_ACCEPTED], "accepted selected-checker successors changed") frozen = (checker.INPUTS / entry["input"]).read_bytes() - live = (ROOT / SELECTED_PATH).read_bytes() + live = (root / SELECTED_PATH).read_bytes() require(hashlib.sha256(frozen).hexdigest() == SELECTED_PIN, "frozen selected checker bytes changed") require(hashlib.sha256(live).hexdigest() == SELECTED_LIVE, "live selected checker digest changed") require(SELECTED_LIVE not in (SELECTED_PIN, SELECTED_ACCEPTED), "live checker was already admitted") @@ -102,7 +120,7 @@ def main(): # live successor, not a broken comparison. require(SELECTED_PIN in (SELECTED_PIN, *entry["accepted_live_sha256"]), "pin membership control failed") - require(reject(checker, entry) == REJECTIONS[SELECTED_PATH][1], + require(reject(root, checker, entry) == REJECTIONS[SELECTED_PATH][1], "selected checker rejection text changed") counts = {path: 0 for path in REJECTIONS} @@ -110,7 +128,7 @@ def main(): for _name, item in entries(checker): if item["path"] not in REJECTIONS: continue - message = reject(checker, item) + message = reject(root, checker, item) counts[item["path"]] += 1 messages.setdefault(item["path"], message) for path, (count, message) in REJECTIONS.items(): @@ -118,20 +136,31 @@ def main(): require(messages[path] == message, "rejection text changed for " + path) require(sum(counts.values()) == 19, "rejection total changed") ci = [item for _name, item in entries(checker) if item["path"] == CI_PATH] - require(len(ci) == 1 and hashlib.sha256((ROOT / CI_PATH).read_bytes()).hexdigest() == CI_LIVE, + require(len(ci) == 1 and hashlib.sha256((root / CI_PATH).read_bytes()).hexdigest() == CI_LIVE, "selected CI note digest changed") diff = subprocess.check_output( - ["git", "diff", "--name-only", PARENT, INSPECTED], cwd=ROOT, text=True) + ["git", "diff", "--name-only", PARENT, INSPECTED], cwd=root, env=env, text=True) changed = sorted(name for name in diff.splitlines() if name) require(changed == CHANGED, "inspected commit diff changed") - sys.path.insert(0, str(ROOT / "scripts")) - from research_package import plan_details - details = plan_details(ROOT, set(changed)) + planner = load_module(root / "scripts/research_package.py") + details = planner.plan_details(root, set(changed)) require([row["package"] for row in details] == PLAN_PACKAGES, "helper plan selection changed") matched = {name for row in details for names in row["causes"].values() for name in names} require(sorted(set(changed) - matched) == UNMATCHED, "unmatched plan paths changed") - require(plan_details(ROOT, set()) == [], "empty change set selected a package") + require(planner.plan_details(root, set()) == [], "empty change set selected a package") + + +def main(): + require(not sys.flags.optimize, "assertions must stay enabled") + sources = json.loads(Path(__file__).with_name("SOURCES.json").read_bytes()) + require(sources["base_commit"] == INSPECTED, "historical checkout base changed") + runner = load_module(ROOT / "scripts/research_package.py") + env = runner.git_source_env() + with tempfile.TemporaryDirectory(prefix="historical-selected-replay-") as temporary: + snapshot = Path(temporary) / "snapshot" + checkout_snapshot(snapshot, sources, runner, env) + check_snapshot(snapshot, env) print("PASS_HISTORICAL_SELECTED_REPLAY_GAP") print("selected_checker_live=" + SELECTED_LIVE) print("rejections=19 distinct_paths=7 plan_packages=9") diff --git a/research/p104-funded-shorter-return/EARLY-RESULT.json b/research/p104-funded-shorter-return/EARLY-RESULT.json new file mode 100644 index 0000000000..27a98c8512 --- /dev/null +++ b/research/p104-funded-shorter-return/EARLY-RESULT.json @@ -0,0 +1,206 @@ +{ + "gate": { + "BIT_margin": "121216778283993/1000000000000000000", + "BIT_pin": "376669/100000000", + "H": "172680000000000000000000", + "alpha": [ + 1.0, + 1.0 + ], + "claim": "911368305429/250000000000000", + "compiler_gap": "1/1000000000000000000", + "delta": [ + 0.907989763909995, + 0.907989763909995 + ], + "derivative_upper": -381631.58262413816, + "gamma": [ + 0.9407201722450762, + 0.9407201722450762 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3645473221716007/1000000000000000000": [ + "124375209709674049116861367074974228977517363293800099502608284457726117939321/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62187604854837024558430683537487114488758681646900049751304142228863058970639/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911368305429/250000000000000": [ + "31093802427418455120962581338783321495838179280705828530911121130132896434291/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124375209709673820483850325355133285983352717122823314123644484520531585739139/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "18227366108580099497402197444457/5000000000000000000000000000000000": [ + -2.9982745944880004e-29, + -2.9982745944880004e-29 + ], + "3645473221716007/1000000000000000000": [ + 5.001149904981008e-12, + 5.001149904981008e-12 + ], + "36454732217160198994804394888913/10000000000000000000000000000000000": [ + 8.78741947721793e-30, + 8.78741947721793e-30 + ] + }, + "moment_margins": { + "18227366108580099497402197444457/5000000000000000000000000000000000": [ + "-2998274594488000077155715462442283600237607300800473/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2998274594488000077155715462442283600237607262075141/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "3645473221716007/1000000000000000000": [ + "500114990498100846580611676667627844275707820277833764461908436331627/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "250057495249050423290305838333813922137853910138916882230954237640909/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36454732217160198994804394888913/10000000000000000000000000000000000": [ + "439370973860896498205509874021948558906947296422573/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "54921371732612062275688734252743569863368414477429/6250000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/10000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36454732217160198994804394888913/10000000000000000000000000000000000", + "18227366108580099497402197444457/5000000000000000000000000000000000" + ], + "tested": "3645473221716007/1000000000000000000", + "written_log_power": 2237 + }, + "invoice": { + "P": { + "1": 68401, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3842, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "S": 1424, + "T": { + "1": 306, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3808, + "41": 416, + "49": 416, + "5": 1360, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10871 + }, + "empty_root_credits": 0 + }, + "native": { + "bad_inputs": [], + "events": 76444, + "helpers": { + "1": 18, + "2": 21, + "3": 47, + "4": 224, + "5": 80, + "6": 43, + "7": 19, + "8": 34, + "9": 615 + }, + "lifetimes": 70, + "owned_peak": 49, + "paid": { + "1": 4001, + "2": 853, + "3": 829, + "4": 226, + "5": 343, + "6": 14, + "7": 10, + "8": 5 + }, + "public": 1501, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + } + }, + "native_delta": { + "P": { + "4": 1, + "5": -1 + }, + "T": { + "8": 1, + "9": -1 + } + }, + "packing": { + "ambient_cap": 145, + "claimed_fraction": [ + "122321783325890445312/194856208160400390625", + "81547855550593630208/129904138763427734375" + ], + "raw_ceiling": [ + "12770096457/2199023255552", + "6385048229/1099511627776" + ], + "remainder_rank_mass": 109088 + }, + "pending": [ + "fresh integer grid", + "all affected physical chart maps", + "complete caller replay", + "ordinary and precision bounds", + "full source application" + ], + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "1955061275082059099891104008886487760526215701495173560117706852920983990372083/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "3910122550164118199782208017772975521052431402990347120235413705841968015509771/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003645473221716", + "gain": "1.00853884E-7", + "gain_exact": "25213471/250000000000000", + "independent_raw_bracket": [ + "0.00364547322171601989948043948889132", + "0.00364547322171601989948043948889133" + ], + "previous_claim": "455671545979/125000000000000", + "raw_bracket": [ + "0.0036454732217160198994804394888913", + "0.0036454732217160198994804394888914" + ] + }, + "status": "PASS_EXACT_NATIVE_AND_PRICE_ONLY", + "word_sha256": "be20da577573b70989a052d814b4701c72eaf9053e159078a28e7d1f90280d32" +} diff --git a/research/p104-funded-shorter-return/INPUTS.json b/research/p104-funded-shorter-return/INPUTS.json new file mode 100644 index 0000000000..dfbec7fee8 --- /dev/null +++ b/research/p104-funded-shorter-return/INPUTS.json @@ -0,0 +1,211 @@ +{ + "source_head": "215f67247f395c0e15f5ea3980f6a3e4aed155af", + "prefix": "research/p104-two-cut-funded-split", + "archive": "inputs/pr7244.tar.gz", + "archive_sha256": "04a493b9bacc263d02a8119d833a71542da1774c80ce6e2d2794920dbdf15b68", + "files": [ + { + "path": "research/p104-two-cut-funded-split/EARLY-RESULT.json", + "size": 6764, + "sha256": "4388516378f6055f7dead727cb0a247d2100ee677424bd91a096364dc6b89910", + "git_blob": "7345eadaedf6a67d20209b369398cb531c0ba8d1", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/GRID.json", + "size": 233, + "sha256": "1d3476058ced0fdbad8d3c3c32cf52bdfc154bd8c4645372c157791a4f847fe3", + "git_blob": "8761d6a5ef7565b51a9daad4ef3dc45c3f2defa6", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/INPUTS.json", + "size": 9559, + "sha256": "3aef6562ac1ef38e9d9f610c904d35ff96fcfb4349eac1a4e9718e479c1097bf", + "git_blob": "be4c4e13be012f1c230f973af827eccf07913b54", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/NATIVE-RESULT.json", + "size": 75158, + "sha256": "20013a5be96bd3da61140bbd53d938a95e22c70970193e581e32e0db1f6b3f72", + "git_blob": "b8aaa4269a40882721a7f3c651c803c3c41c1250", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/NOTICE", + "size": 783, + "sha256": "3ed23f5fea64744747b3f03d85bcddee18a6fd52611733f34096c200547a2c8b", + "git_blob": "c31402a4fb56f7e334722dd8cdc5313eaa104cfd", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/PROFILE.json", + "size": 688, + "sha256": "335405841598e0f15ea5c75bacfbcaf33633201222f80b58e20f3c5c75385835", + "git_blob": "f626b8968579fd8adce8fbd19f38c3d58572811d", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/PROOF.md", + "size": 3518, + "sha256": "d9cc72480f7fd7d7cdcac3d8617b91c39d0630f5dc36a67fb6c2dbf81377bbc0", + "git_blob": "fcda156f898e1c44f20c385cee0460c64247093e", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/PROPOSED-CLAIM.json", + "size": 2969, + "sha256": "14e52a8a25f8f47fa8a9b1429246fa73f047707b4cc51a575154b60788b9e688", + "git_blob": "786f5550a20184637fc1e05f99a0e28e0976e1a4", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/README.md", + "size": 2582, + "sha256": "ba9ba0336e8520ab5d317136425fb5b68154e57563f0526403e2d8f2e60b2f21", + "git_blob": "0175467da013c5517ace49739b716b5dca2fe286", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/REFERENCE.json", + "size": 578, + "sha256": "75f434f65f6e7ba382cca4620b9a2e824486022b9883eb4e425a825a0df16dbd", + "git_blob": "ba8d62920ef4791e70549b6e1b79d0f041fec55d", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/REPLAY.txt", + "size": 1379, + "sha256": "216a6fa2895f84fe01f2833d3a4c05f2220273b9a8d4c112cc87c1c565c0a47c", + "git_blob": "97a107ca63979736cd0568a785286307f3ba3952", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/RESULT.json", + "size": 79609, + "sha256": "75f34132b5b12b1a92f13b7a7c47ea3857f1955403090ae06b38dd9cf18aeb49", + "git_blob": "b1d7b3d4a2338b57992acfc1972fe788582e9f8d", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/SOURCES.json", + "size": 1348, + "sha256": "ac7b4473035af648d6073e78b6c39675e706e8194b346bb55ed62a0adc81d593", + "git_blob": "6b97e903a6df8de437068a0e2907823885928053", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/TASK.json", + "size": 7783, + "sha256": "a6eabd292d1c567461dd70946ced7fc5c8aac7071ed3de900f0567b78bedd993", + "git_blob": "5afcf62ed479e7fb6baadd3011d3f924bfd6c755", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/VERIFY.json", + "size": 1621, + "sha256": "9a23eca99f117c38872639817c0256c6380e3b2c117bcc378f178cb9bd431b7c", + "git_blob": "c572c338df68c2e56a1ceb71a68b3d4161d4d63e", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/WITNESS.json", + "size": 7668, + "sha256": "33b99d80e17839d9c08f4f1f50231e2d3c69d3d62fe126f66d29a44fb0e80b16", + "git_blob": "280878f85df5831addf04c874d206143b1c67014", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/WORD.json.gz", + "size": 381724, + "sha256": "75061d1e4b354e4cf36b690f30ddb2b257ed2f4e86509f87e17bb0f63eca126f", + "git_blob": "836f915b721e0716d4d0400cb55741b737102196", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/certificate.py", + "size": 5437, + "sha256": "00cb1f821a0a6ed3a5eb530dca38eab6b1043992a6a9efe10eeb8fbb00e2f002", + "git_blob": "0c7c6d549e6b8659a18a6e02041d8c9c78e7680b", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/construct.py", + "size": 6241, + "sha256": "b4cbfaaa48291b9bda8908d550163ded5e28fac856f9b77d31de76cd01e9aa82", + "git_blob": "f37d628b2fa1ce7e271ccbfa71ee9f03d7bb077c", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/frontier.py", + "size": 5757, + "sha256": "39901d785247a3b22de6735842a982b152e08b29d1a23272900efd4d1e1d4ecf", + "git_blob": "be2baf2dfecbdddba61f7fe27e3595ec901fecd2", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/inputs/pr7156.tar", + "size": 26501120, + "sha256": "443c2d55a64a5837335b16e0d16627209a209ac0ab779fb5e010c5bb88c50e77", + "git_blob": "4784b2241cd8ffb66855f0e245cadc54cc101782", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/packing_reference.py", + "size": 1782, + "sha256": "c977cf46a9498d013145f74186081ec67674d11473295df399bca61f8a4e7382", + "git_blob": "2f93d314459e0aacc48a3072f4c65f36d8b6dbfe", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/reference/EARLY-RESULT.json", + "size": 7336, + "sha256": "ff56198ced55f4c59011bb1b6c7a9deb8b9fd4baa03a688cc6de63d03573b50b", + "git_blob": "2f014f2bc8e781230c2c3dcc3c5208868ed0a6cc", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/reference/NATIVE-RESULT.json", + "size": 76490, + "sha256": "952fab601b22e68e570144cd0bad06c1ecf62be12ebbfd27b24fabd5ff421b71", + "git_blob": "e84d81cb9ecd335f2858f4673f73f96790848ff2", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/reference/NOTICE", + "size": 874, + "sha256": "fb25cd50d8e99fd749e4aa567a1a453b353d90bf74e2b20bd8395aae62d18100", + "git_blob": "ad393f2b6ebfb208a9092fa3dd1322b139ad19fe", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/reference/RESULT.json", + "size": 79473, + "sha256": "59080d75e7281b1a8c1353930917fd15869ad747ff4200948898f78f11c14089", + "git_blob": "60edfac362a0350be3c9f36d62684cc8ddf80293", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/reference/WORD.json.gz", + "size": 381194, + "sha256": "c1caec11ca3ee264ef03018dd91037eac10c3e28950c4c525ee1b4bf5ee210e2", + "git_blob": "84c893e83b32eae33fae27e622c4756ffe98ab09", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/sources.py", + "size": 3757, + "sha256": "bc8add51d91e6f8dfed3892022c6db915c3da507dc349d0d04dba4c305fb924b", + "git_blob": "6485b9bf03f23593b88821870bcce31d26ce9e42", + "git_mode": "100644" + }, + { + "path": "research/p104-two-cut-funded-split/verify.py", + "size": 6228, + "sha256": "490af29b4c504e243ddda8c5a8b3a2024519cd7c16f8b2ba74a710919331bc1c", + "git_blob": "2928a6a47ecfb24f58c2cc4be1a52d0e52a1bd23", + "git_mode": "100644" + } + ] +} diff --git a/research/p104-funded-shorter-return/NATIVE-RESULT.json b/research/p104-funded-shorter-return/NATIVE-RESULT.json new file mode 100644 index 0000000000..ca283329a1 --- /dev/null +++ b/research/p104-funded-shorter-return/NATIVE-RESULT.json @@ -0,0 +1,3097 @@ +{ + "caller": { + "bad_outputs": [], + "caller_denominator_height_bound": 431, + "caller_mass_bound": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "caller_mass_ceiling_bits": 642, + "max_terms": 3998 + }, + "charts": { + "new_pairs": [], + "rechecked_pairs": [ + { + "columns": 512, + "pair": [ + 3, + 127 + ], + "rank": 9 + }, + { + "columns": 512, + "pair": [ + 3, + 245 + ], + "rank": 8 + }, + { + "columns": 512, + "pair": [ + 245, + 127 + ], + "rank": 1 + }, + { + "columns": 512, + "pair": [ + 1091, + 127 + ], + "rank": 5 + }, + { + "columns": 512, + "pair": [ + 1091, + 245 + ], + "rank": 4 + } + ], + "wrong_phase_rejected": true + }, + "controls": { + "extra_uncharged_owned_lifetime": true, + "insufficient_fractional_grid": true, + "insufficient_odd_grid": true, + "omitted_988_correction": true, + "omitted_accumulator_init": true, + "omitted_early_991_correction": true, + "omitted_retiring_output_frame": true, + "premature_correction_changes_779": true, + "public_erasure_rejected": true, + "wrong_boundary_scalar_coefficient": true, + "wrong_move_source": true, + "wrong_terminal_basis": true + }, + "derived_grid": { + "coefficient_visits": 16448730, + "fractional_bits": 25, + "mass_witness": [ + 66215, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "841374570120675/8192", + "unscaled_maximum_mass": "11218327601609/122880" + }, + "forward": { + "coefficient_positions": 2458624, + "fractional_bits": 25, + "grid": 1125, + "rows": 1568 + }, + "gate": { + "BIT_margin": "12184161612393/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 0.9999999999999997, + 0.9999999999999997 + ], + "claim": "911212095969/250000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8878435798090986, + 0.8878435798090986 + ], + "derivative_upper": -406906.5646857563, + "gamma": [ + 0.9498788011814148, + 0.9498788011814148 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "364484838387607/100000000000000000": [ + "7772175074325220746214040563395901570751623637467745729749465903075836572891/6250000000000000000000000000000000000000000000000000000000000000000000000000000", + "62177400594601765969712324507167212566012989099741965837995727224606692584117/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911212095969/250000000000000": [ + "24870960237840249114907208474912597171686398063786398991735497991725995919161/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124354801189201245574536042374562985858431990318931994958677489958629979597753/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "364484838387607/100000000000000000": [ + 9.373472423090297e-11, + 9.373472423090297e-11 + ], + "36448483838762964790040894852669/10000000000000000000000000000000000": [ + -2.9709858035660763e-30, + -2.9709858035660763e-30 + ], + "9112120959690741197510223713167/2500000000000000000000000000000000": [ + 3.8416834938469206e-29, + 3.8416834938469206e-29 + ] + }, + "moment_margins": { + "364484838387607/100000000000000000": [ + "2343368105772574004898182409373501689558991658531983786051162135920737/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "4686736211545148009796364818747003379117983317063967572102324293069513/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36448483838762964790040894852669/10000000000000000000000000000000000": [ + "-74274645089151903789875158949455299497242188389823/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-928433063614398797373439486868191243715527223527/312500000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "9112120959690741197510223713167/2500000000000000000000000000000000": [ + "960420873461730126956087917554387022861047188988807/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "19208417469234602539121758351087740457220943989311/500000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "9112120959690741197510223713167/2500000000000000000000000000000000", + "36448483838762964790040894852669/10000000000000000000000000000000000" + ], + "tested": "364484838387607/100000000000000000", + "written_log_power": 2237 + }, + "grid": { + "dyadic_height": 25, + "maximum_scaled_mass": "841374570120675/8192", + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "odd_grid_lcm": 1125, + "opcodes": { + "ADD": 66296, + "CLEAR": 70, + "COPY": 1, + "INIT": 70, + "MOVE": 6281, + "SCALE": 3726 + }, + "owned_lifetimes": 70, + "owned_peak": 49, + "owned_rise_mass": 56, + "owned_rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "paid": { + "1": 4001, + "2": 853, + "3": 829, + "4": 226, + "5": 343, + "6": 14, + "7": 10, + "8": 5 + } + }, + "invoice": { + "P": { + "1": 72402, + "16": 416, + "2": 15354, + "24": 416, + "3": 14922, + "32": 416, + "4": 4068, + "40": 416, + "48": 416, + "5": 6174, + "56": 416, + "6": 252, + "64": 416, + "7": 180, + "8": 762, + "9": 32 + }, + "S": 1520, + "T": { + "1": 324, + "145": 208, + "17": 416, + "2": 378, + "25": 416, + "3": 846, + "33": 416, + "4": 4032, + "41": 416, + "49": 416, + "5": 1440, + "57": 416, + "6": 774, + "65": 416, + "7": 342, + "73": 416, + "8": 612, + "9": 11486 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036448483838762964790040894852668928215940093008738544548384283535", + "raw_crossing": "0.0036448483838762964790040894852668928215940093008738544548384283535" + }, + "limitations": [ + "Five inherited framework assumptions remain.", + "Source-aware retained engines are not independent human/formal acceptance.", + "The complete 17-stage application is checked separately." + ], + "native": { + "bad_inputs": [], + "events": 76444, + "helpers": { + "1": 18, + "2": 21, + "3": 47, + "4": 224, + "5": 80, + "6": 43, + "7": 19, + "8": 34, + "9": 615 + }, + "lifetimes": 70, + "owned_peak": 49, + "paid": { + "1": 4001, + "2": 853, + "3": 829, + "4": 226, + "5": 343, + "6": 14, + "7": 10, + "8": 5 + }, + "public": 1501, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + } + }, + "ordinary": { + "caller_items": { + "A": { + "envelope": 124674048, + "field_boundary": 94848, + "fused_routes": 0, + "idle_routes": 185472000, + "output_routes": 229056000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 39515136, + "field_boundary": 7904, + "fused_routes": 1168000, + "idle_routes": 19552000, + "output_routes": 19088000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 619786080, + "conservative_total": 856558456, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 280, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 143441544, + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "per_input_conversion": 2809872, + "raw_upper": 838580328, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2202, + "moves": 6281, + "owned_lifetime": 280, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9963000, + "scalar_upper": 2192236 + }, + "physical_checks": [ + "verify_host3_odd.py", + "physical.py" + ], + "precision": { + "Kstar_bits": 14093, + "caller": { + "denominator_height": 431, + "maximum_mass": "2031778024781380738667307850969872261300825114412066667930609010754885615256246771273722516797028373875488084463456734932931819440254377992064287155336455679722182496470290893143689397339193405421398373633/137438953472", + "pre_joint_height": 426, + "pre_joint_mass": "766527916529583301313228867197686200815349463045311717713050641430930492401493758087731346459407655106441982454343595473292801327075604294093436993244143470221321807686760749419510412771973080166736111/17179869184" + }, + "context_c": 1342, + "context_height": 451, + "context_mass_bits": 671, + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "28577034248836041093834744780978747296947905315685280620740211268967729327321265254124356406114979874942846379669938114587655667198525550011380547028952373105663416877952975320679372659064478891378023279186593162324011207127429263510065763031727579507553768273630594933471879719039256633449878198467868945797722523990130017474817/58140432535632220280812520816662271754240000000000000000000", + "strict_power_of_two": 896, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "18416585354701309774078926691911748983124413123623307086095091039359836780470951392616010271654444578910580298256721543395334385572524026835141773633484963241015048803285979225206933638717856361191302569570129576571812578570205124385230879242684258311891524585445750066559851589453326061173733433457149761704063146844642121619850397/279074076171034657347900099919978904420352000000000000000000", + "strict_power_of_two": 903, + "witness": { + "cut": 5112, + "factor": "1", + "kind": "public-return", + "register": 75 + } + }, + "M_caller": { + "exact": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "strict_power_of_two": 619, + "witness": { + "cut": 5076, + "event": 5075, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "M_context": { + "exact": "348317560539912874859756333429197826459483595229300487856628742991276194686331287959035526097935421579213048721726266363052450988382442099349509360112601483630970474378568248652572032346945906511648334994888480483212807334958013843395116239392532888459900318938086450626138245285691944004384081987619273866868925790900392396128843776349/2480658454853641398648000888177590261514240000000000000000000", + "strict_power_of_two": 915, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + }, + "M_joint_entrance": { + "exact": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "strict_power_of_two": 612, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Sigma_caller": { + "exact": "18416585354701309774078926691911748983124413123623307086095091039359836780470951392616010271654444578910580298256721543395334385572524026835141773633484963241015048803285979225206933638717856361191302569570129576571812578570205124385230879242684258311891524585445750066559851589453326061173733433457149761704063146844642121619850397/279074076171034657347900099919978904420352000000000000000000", + "strict_power_of_two": 903, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "2254324502628828240808510393639720391726291569397525396106195113543609300713694746262266388272471492008707025695264794168497170830062119156084394872567925265769492405069995664066402868181184099927958377070003827797023302426851470077560426314382162778060866584825342698967180816641266659980078811067846310534511241256505113578875930714651777690714882047270428788551069650622961138670541312818258301155256011694656807653732170904346176770684340597476426553337269771298797467999939/528173421161000257405168428989428514420554051672205145781746293186897519837184000000000000000000000000000000000000000", + "strict_power_of_two": 1198, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19818, + "helper_allocation_premise": "distinct (stage, helper) public inputs as in frozen caller proof", + "independent_adjoint": { + "E_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "28577034248836041093834744780978747296947905315685280620740211268967729327321265254124356406114979874942846379669938114587655667198525550011380547028952373105663416877952975320679372659064478891378023279186593162324011207127429263510065763031727579507553768273630594933471879719039256633449878198467868945797722523990130017474817/58140432535632220280812520816662271754240000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "18416585354701309774078926691911748983124413123623307086095091039359836780470951392616010271654444578910580298256721543395334385572524026835141773633484963241015048803285979225206933638717856361191302569570129576571812578570205124385230879242684258311891524585445750066559851589453326061173733433457149761704063146844642121619850397/279074076171034657347900099919978904420352000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "18416585354701309774078926691911748983124413123623307086095091039359836780470951392616010271654444578910580298256721543395334385572524026835141773633484963241015048803285979225206933638717856361191302569570129576571812578570205124385230879242684258311891524585445750066559572515377155026516385533357229782799642794844642121619850397/279074076171034657347900099919978904420352000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "28577034248836041093834744780978747296947905315685280620740211268967729327321265254124356406114979874942846379669938114587655667198525550011380547028952373105663416877952975320679372659064478891378023279186593162324011207127429263510065763031727579507553768273630594933471879719039256633449878198467868945797722523990130017474817/58140432535632220280812520816662271754240000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "18416585354701309774078926691911748983124413123623307086095091039359836780470951392616010271654444578910580298256721543395334385572524026835141773633484963241015048803285979225206933638717856361191302569570129576571812578570205124385230879242684258311891524585445750066559851589453326061173733433457149761704063146844642121619850397/279074076171034657347900099919978904420352000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "3621181045418760003787139308911108214936992624906308543591423254554121196129146867386307184687697239022137808759803805992266262722210207693263077988187/10645831152764688772121433255004078080000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "10380304746295127591433775272432593396379941881101215479110372098393998720388036438517322897367097553128377568167832873989037460785199152985267347111970939141873/681333193776940081415771728320260997120000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "133956525417606521704332054484733738699700723009390936285114796980449442916066202013027160769578164643910139391727430307867121389019864520226746545749266053564291242421/34066659688847004070788586416013049856000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "475808844545665567765759016540394990617306231963311447306103730239879179648939927773841860563200467307904686113443819604720859971141061129013043459607421303680379226875163562237/227111064592313360471923909440086999040000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "853917294843985705077398439455935537876691091936134712379205845185725878488909495212340828052777022487309356291382800066573220270744411369539233376261017618541094191744980612079389187611/170333298444235020353942932080065249280000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "12948658096802502177255381461693952384560709862861461734525053333602444901300930423301372269820566141960114191667009728482606658664223092400641144183858346423293661162722939024390462646872485129989/1090133110043104130265234765312417595392000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "53442037955480731060501236417494603238088802288633567390648898999927856124836998821214571259439906296742104917509266570881060110172698150936736508362617552760724156507221766938065548197751900535985420455803/454222129184626720943847818880173998080000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "578462341001921196988451110217095512594377736676570527469842042775884296109855014397125739202166663519015465213482465994719977419158547689630522683348946472040060750439653195550308799270493564283781846513141506511627/2725332775107760325663086913281043988480000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "16601831059458471972086618551560405956791366208068771954456225787490306555364997886219818936295374021910634918411664350034465623412367678504267565823842563447803851071860982022180522366501603478666672225410296986488919589328054795531408010782186092860864874811/681333193776940081415771728320260997120000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "207093227587237522740768909763110224709538149518669279691046732146719706919615681499858113641100352555048794215080862720213999999194297684193191211493512840448849811906074228647906296902253881592399433224562891729843950607476380140880318368111272032240506682138700886629/10901331100431041302652347653124175953920000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "923537228248749835045128358929735323661072998020858175086701164458898840499741026473872600902924302848932901361832733033190601281406586413096814051062940896079135608891351020936570085256899114536316463062703445619688889659785106761888491343269334753102991730068823684003714808749/43605324401724165210609390612496703815680000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "99328217167083577342602238113523396231029989392350085023664762150962501549074587107436351773041989372989309015908329001630899587135601478824710393023442003397332631396795458110747511438416147631506559951182878268971087810200043797181975702725290955553976053545980259810290219366105689871/4845036044636018356734376734721855979520000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "609491264974282288986932176732358298207408136550124576394406990846934047114761076816850014864476480945934281957985225141045806586911511604462065231916079751144298290590525862474823042524819302101596517721410807033191748523237608766146186420606708771242102619312967711310254194217245491840877413173/87210648803448330421218781224993407631360000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "60145514988315250881834894652523185806065094876181562076827866169183851369680459242180825238184247520815076663321728957172408555185235243006546858665675878238775800692192310606997244193149981678868963627024934283596618336550773844191265921090883219568855684663959723126237921006449660529162474445814936939/43605324401724165210609390612496703815680000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "29381385102968475200013959472587729650493676522776259618930005246918070582330647266225787698052296960778523170060185514990958388744129443491103501165168747803359907513578346584184334958348508645946226540528379219443541075971950986965336028188433496590270607758651657972735507212909348610871664161533393070172605581/348842595213793321684875124899973630525440000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "60673933575981921808295859615863027603963536567965395782853578785074717014514723773625278388144522330428156873981620634329382136233410646571842686207226038299620495295030536836296474179332347688998805298864270120504713042267542017069067500197214746613634547760888155942655026862826285395848931949633055704866261922598419/69768519042758664336975024979994726105088000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "28577034248836041093834744780978747296947905315685280620740211268967729327321265254124356406114979874942846379669938114587655667198525550011380547028952373105663416877952975320679372659064478891378023279186593162324011207127429263510065763031727579507553768273630594933471879719039256633449878198467868945797722523990130017474817/58140432535632220280812520816662271754240000000000000000000", + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "event": 4982, + "stage": 18 + } + ], + "physical_main_inputs": 3952, + "sites": { + "ADD": 4102, + "IDLE_ODD": 4, + "IDLE_ONE": 96, + "J": 18, + "LAMBDA": 214, + "QUERY": 4, + "SCALE": 298, + "SWAP": 376, + "noninteger_scalar": 1562 + } + }, + "rounded_native": { + "bounds": { + "Gamma": { + "exact": "25658296514718665663724761455038993665013304128124285547409309468182902382390451902036146510457244487942055205466449538512639482668231697453168177/42583324611058755088485733020016312320000000000000000000", + "strict_power_of_two": 299, + "witness": { + "cut": 76444, + "factor": "1", + "kind": "public-return", + "register": 1498 + } + }, + "M": { + "exact": "78885880284118292076998717719781876096347665647824497567470757539679832954370746877506446595824785784526303648069065087019557498698445175282954441667/9084442583692534418876956377603479961600000000000000000000", + "strict_power_of_two": 303, + "witness": { + "cut": 76419, + "factor": "1", + "kind": "stored", + "register": 1498 + } + }, + "Sigma": { + "exact": "25658296514718665663724761455038993665013304128124285547409309468182902382390451902036146510457244487942055205466449538512639482668231697453168177/42583324611058755088485733020016312320000000000000000000", + "strict_power_of_two": 299, + "witness": { + "cut": 76419, + "factor": "1", + "kind": "stored", + "register": 1498 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 76444, + "lifetimes": 70, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 66296, + "CLEAR": 70, + "COPY": 1, + "INIT": 70, + "MOVE": 6281, + "SCALE": 3726 + }, + "owned_labels": 67, + "peak_owned": 49, + "public": 1501, + "scalars": { + "dyadic": 64123, + "integer": 39769, + "noninteger": 30254, + "odd": 5900 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26565, + "entrance_mass": "78885880284118292076998717719781876096347665647824497567470757539679832954370746877506446595824785784526303648069065087019557498698445175282954441667/9084442583692534418876956377603479961600000000000000000000", + "residual_mass": "25658296514718665663724761455038993665013304128124285547409309468182902382390451902036146510457244487942055205466449538512639482668231697453168177/42583324611058755088485733020016312320000000000000000000" + }, + "M": { + "active_residual_sites": 26565, + "entrance_mass": "78885880284118292076998717719781876096347665647824497567470757539679832954370746877506446595824785784526303648069065087019557498698445175282954441667/9084442583692534418876956377603479961600000000000000000000", + "residual_mass": "25658296514718665663724761455038993665013304128124285547409309468182902382390451902036146510457244487942055205466449538512639482668231697453168177/42583324611058755088485733020016312320000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26565, + "entrance_mass": "78885880284118292076998717719781876096347665647824497567470757539679832954370746877506446595824785784526303648069065087019557498698445175282954441667/9084442583692534418876956377603479961600000000000000000000", + "residual_mass": "25658296514718665663724761455038993665013304128124285547409309468182902382390451902036146510457244487942055205466449538512639482668231697453168177/42583324611058755088485733020016312320000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 16448730, + "dyadic_height": 25, + "mass_witness": [ + 66215, + "stored add" + ], + "maximum_scaled_mass": "841374570120675/8192", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + } + }, + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "413942835800829517700601516921205347851943476804317070190493365923180267012091/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "2069714179004147588503007584606026739259717384021585350952466829615901353787511/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003644848383876", + "gain": "1.00015595E-7", + "gain_exact": "20003119/200000000000000", + "independent_raw_bracket": [ + "0.00364484838387629647900408948526689", + "0.0036448483838762964790040894852669" + ], + "previous_claim": "3644748368281/1000000000000000", + "raw_bracket": [ + "0.0036448483838762964790040894852668", + "0.0036448483838762964790040894852669" + ] + }, + "signed_routes": { + "ambient": 153, + "bindings": [ + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 69, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 17, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "old9_route": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 15, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 81, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 64, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 17, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "old9_route": [ + 81, + 82, + 4, + 8, + 67, + 32, + 19, + 128, + 256 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 15, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 81, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 63, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 19, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "old9_route": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 17, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 273, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 60, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 19, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 4, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ] + ], + "old9_inverse": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "old9_route": [ + 273, + 274, + 4, + 8, + 259, + 32, + 64, + 128, + 19 + ], + "ordinary_elementary_units": 35, + "ordinary_route_units": 19, + "port": 17, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 273, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 67, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 30, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 2 + ], + [ + "XOR", + 0, + 2 + ], + [ + "SWAP", + 2, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 2, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 2, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "old9_route": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 27, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 262, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 61, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 30, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 2 + ], + [ + "XOR", + 0, + 2 + ], + [ + "SWAP", + 2, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 2, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 2, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "old9_route": [ + 262, + 261, + 259, + 8, + 16, + 32, + 64, + 128, + 7 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 27, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 262, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 55, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 38, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "old9_route": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 34, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 98, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 68, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 38, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 6 + ], + [ + "XOR", + 0, + 6 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 6 + ], + [ + "XOR", + 6, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 6, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "old9_route": [ + 98, + 97, + 4, + 8, + 16, + 67, + 35, + 128, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 34, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 98, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 60, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 40, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "old9_route": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 35, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 290, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 69, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 40, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 1, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 1, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 8 + ], + [ + "XOR", + 8, + 1 + ], + [ + "XOR", + 5, + 1 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 1 + ] + ], + "old9_inverse": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "old9_route": [ + 290, + 289, + 4, + 8, + 16, + 259, + 64, + 128, + 35 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 35, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 290, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 62, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 47, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 2, + 3 + ], + [ + "XOR", + 0, + 3 + ], + [ + "SWAP", + 3, + 8 + ], + [ + "XOR", + 8, + 2 + ], + [ + "XOR", + 3, + 2 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 3, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "old9_route": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 42, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 268, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 62, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 47, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 2, + 3 + ], + [ + "XOR", + 0, + 3 + ], + [ + "SWAP", + 3, + 8 + ], + [ + "XOR", + 8, + 2 + ], + [ + "XOR", + 3, + 2 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 3, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "old9_route": [ + 268, + 2, + 265, + 261, + 16, + 32, + 64, + 128, + 13 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 42, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 268, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 60, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 52, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 7 + ], + [ + "XOR", + 0, + 7 + ], + [ + "XOR", + 2, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 7 + ], + [ + "XOR", + 7, + 2 + ], + [ + "XOR", + 5, + 2 + ], + [ + "XOR", + 7, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "old9_route": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 47, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 164, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 69, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 52, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 2, + 7 + ], + [ + "XOR", + 0, + 7 + ], + [ + "XOR", + 2, + 5 + ], + [ + "XOR", + 0, + 5 + ], + [ + "SWAP", + 5, + 7 + ], + [ + "XOR", + 7, + 2 + ], + [ + "XOR", + 5, + 2 + ], + [ + "XOR", + 7, + 0 + ], + [ + "XOR", + 5, + 0 + ], + [ + "SWAP", + 0, + 2 + ] + ], + "old9_inverse": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "old9_route": [ + 164, + 2, + 161, + 8, + 16, + 133, + 64, + 37, + 256 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 47, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 164, + "stage": 10 + }, + { + "body_swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "caller_fields": [ + 56, + 57 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 59, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 60, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 3, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 3, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 3 + ], + [ + "XOR", + 4, + 3 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ], + [ + "SWAP", + 0, + 3 + ] + ], + "old9_inverse": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "old9_route": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 55, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 280, + "stage": 9 + }, + { + "body_swaps": [ + [ + 1, + 81 + ], + [ + 2, + 82 + ], + [ + 3, + 83 + ], + [ + 4, + 84 + ], + [ + 5, + 85 + ], + [ + 6, + 86 + ], + [ + 7, + 87 + ], + [ + 8, + 88 + ] + ], + "caller_fields": [ + 58, + 59 + ], + "checks": [ + { + "omitted_q_translation_failures": 512, + "tests": 512, + "width": 1 + }, + { + "omitted_q_translation_failures": 55, + "tests": 128, + "width": 2 + }, + { + "omitted_q_translation_failures": 128, + "tests": 128, + "width": 3 + } + ], + "logical_child_rank": 9, + "native_live_role": 60, + "negative_axis_translation_slot": 0, + "old9_elementary_passes": [ + [ + "XOR", + 3, + 8 + ], + [ + "XOR", + 0, + 8 + ], + [ + "XOR", + 3, + 4 + ], + [ + "XOR", + 0, + 4 + ], + [ + "SWAP", + 4, + 8 + ], + [ + "XOR", + 8, + 3 + ], + [ + "XOR", + 4, + 3 + ], + [ + "XOR", + 8, + 0 + ], + [ + "XOR", + 4, + 0 + ], + [ + "SWAP", + 0, + 3 + ] + ], + "old9_inverse": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "old9_route": [ + 280, + 2, + 4, + 273, + 265, + 32, + 64, + 128, + 25 + ], + "ordinary_elementary_units": 37, + "ordinary_route_units": 19, + "port": 55, + "positive_child_slots": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8 + ], + "q": 280, + "stage": 10 + } + ], + "paid_calls": 32, + "proposed_sha": "9557f713ab4ffb91ede05e8a6d5668c694b9940fc16f2f2d657e2f2b2cac2d3f", + "status": "PASS_PHYSICAL_RANK9_ALGEBRA", + "word_sha": "be20da577573b70989a052d814b4701c72eaf9053e159078a28e7d1f90280d32" + }, + "source_head": "215f67247f395c0e15f5ea3980f6a3e4aed155af", + "status": "PASS_FUNDED_SHORTER_RETURN_NATIVE", + "timed_certificate": { + "compared_coefficient_domain": "all independent cut coordinates", + "donor_shift": "-8 times role 1499", + "early_changed_roles": [ + 988, + 991 + ], + "events": 76444, + "guard_prefix_preserved": true, + "status": "PASS_SHORTER_RETURN_AFFINE_DELTA", + "tail_changed_roles_before_basis": [ + 991, + 1500 + ] + }, + "word_canonical_sha256": "be20da577573b70989a052d814b4701c72eaf9053e159078a28e7d1f90280d32" +} diff --git a/research/p104-funded-shorter-return/NOTICE b/research/p104-funded-shorter-return/NOTICE new file mode 100644 index 0000000000..95e1aa6acd --- /dev/null +++ b/research/p104-funded-shorter-return/NOTICE @@ -0,0 +1,5 @@ +CrocSwap/integer-mult-bounds — funded shorter P104 return. +New work prepared for Clear1nsight with substantial OpenAI Codex and ChatGPT Pro +assistance, Apache-2.0. The exact archived #7244 subtree retains its own NOTICE +and all nested source-specific notices. Its adapters and frontier checker are +reused with the exact changes recorded in verify.py and frontier.py. diff --git a/research/p104-funded-shorter-return/PROOF.md b/research/p104-funded-shorter-return/PROOF.md new file mode 100644 index 0000000000..dc92fcd05d --- /dev/null +++ b/research/p104-funded-shorter-return/PROOF.md @@ -0,0 +1,69 @@ +# Funded shorter return on exact #7244 + +The starting program is [#7244 at `215f67247f395c0e15f5ea3980f6a3e4aed155af`](https://github.com/CrocSwap/integer-mult-bounds/pull/7244/commits/215f67247f395c0e15f5ea3980f6a3e4aed155af). +Its canonical word hash is +`56e1a5e60cecf14991b3169b4575f0b7388d48fa39f261d7a20c7627a8d9e540`. +Event indices below are zero-based in that word. + +1. Replace the rank-five move of 1499 at 45,667, from chart 1091 to + chart 127, by the two legs 1091 → 245 → 127. These charts have + ranks 4, 8 and 9, with strictly nested spans. In normalized coordinates + the ordered maps are $F_B F_A^{-1}$; their composition equals the + original map including its phase. The native replay independently + checks the canonical maps and every affected Gaussian basis column. +2. Let $q$ be the value of 1499 at that move. It is never written + afterward. Run the eight intervening events at their original charts + and in their original order; these include both donor arrivals and + every use of those donors by 996 and 779. Then subtract $8q$ from + each of 988 and 991 at chart 245 and finish 1499's move. The + unchanged ADD into 1000 follows that move. It commutes past the eight + events, which touch neither 1000 nor 1499. +3. At the second cut, let $a,b$ be the two old donor values and $z$ + the new continuation input. The old instructions gather $x=a-b$, + retire $x$ on 988, and produce the pair + $(a+(z-x)/2,b-(z-x)/2)$ on 1500 and 991. + Subtracting $8q$ from both donors before this cut preserves $x$ + and subtracts $8q$ from each member of that pair. Those are exactly + the two corrections that #7244 applied at chart 127 after the exits. + The two shifted values have no other readers before the terminal basis. +4. With both corrected fields still at chart 245, apply the original + three scalar basis operations to 1500 and 991. Send only 1500 to + chart 127 and return 991 at chart 245. The remaining basis events + are on different destinations at 127 and use 1499, whose value is + unchanged. All normalized outputs agree on arbitrary inputs. The + physical target of 991 is now the rank-eight map from chart 3 to 245. + +The [affine delta checker](certificate.py) starts with independent cut +coordinates, verifies both affected boundary blocks and propagates the +common shift through the actual middle word. It rejects an omitted +correction, a premature correction that changes 779, and a wrong +terminal basis. The full replay separately recomputes all arbitrary-input +forward and adjoint coefficients, actual dirty COPY, native chart phases, +ownership, grid, precision, and the signed caller. + +Let $H_r=r^{1-C}$ for $00 +$$ + +by strict concavity. Both rank masses decrease by one and the number of +paid and target positions is unchanged. The signed caller bills this +change at all 17 occurrences. The directed price and outer replay +establish the proposed κ; the concavity comparison is independent of +rounding the new price. + +## Attribution and scope + +This change uses the two-cut construction and temporal checks from +#7244, the funded rank-eight exit lineage from #7161, and the unchanged +signed caller from #7113. The prior canonical chart and native/compiler +licenses and notices are retained in the exact source archive. The +ChatGPT Pro consultation excluded moving the second retirement earlier +on the fixed itinerary; the present construction uses an already paid +continuation on a changed route. The consultation did not verify this +word. Prepared for Clear1nsight with substantial OpenAI Codex and +ChatGPT Pro assistance, Apache-2.0. diff --git a/research/p104-funded-shorter-return/PROPOSED-CLAIM.json b/research/p104-funded-shorter-return/PROPOSED-CLAIM.json new file mode 100644 index 0000000000..67c3cac1ad --- /dev/null +++ b/research/p104-funded-shorter-return/PROPOSED-CLAIM.json @@ -0,0 +1,65 @@ +{ + "schema": "proposed-conditional-integer-multiplication-claim/1", + "kappa": "911368305429/250000000000000", + "source_result": "research/p104-funded-shorter-return/RESULT.json", + "uniform_templates": [ + { + "family": "complex", + "rank_encoding": "2^172680000000000000000000", + "saving": "1822736610858003/500000000000000000", + "ambient": 153 + }, + { + "family": "BIT before cover", + "rank_encoding": "2^296630000000000", + "saving": "38525299/10000000000", + "ambient": 134 + } + ], + "covered_BIT_saving": "19262649/5000000000", + "ordinary_BIT_saving": "4815653101/1250000000000", + "admitted_BIT_saving": "12039/3125000", + "complex_BIT_premise": "376669/100000000", + "BIT_bootstrap": [ + "17/5000", + "38507/10000000", + "12039/3125000" + ], + "nine_outer_savings": { + "main_transform": "3645473221716002996354526778283997/1000000000000000000000000000000000000", + "global_coordinate_router": "911368305429001/250000000000000000", + "fused_gaussian": "3645473221716003989063580334851991/1000000000000000000000000000000000000", + "group_bit_router": "911368305429001247265895083712997/250000000000000000000000000000000000", + "group_scans": "499999999999999999/500000000000000000", + "boundary_algebraic_matrix": "3645473221716003996354526778283997/1000000000000000000000000000000000000", + "sparse_union_movement": "409895473221716003996354526778283997/1000000000000000000000000000000000000", + "polynomial_products": "999999999999999999/1000000000000000000", + "microbox_face_corrections": "19250000000000000001/250000000000000000" + }, + "outer_formula_source": "research/final4610-independent-admission/checks/outer.py", + "limiting_outer_saving": "3645473221716002996354526778283997/1000000000000000000000000000000000000", + "strict_limiting_slack": "2996354526778283997/1000000000000000000000000000000000000", + "assumptions": [ + { + "id": "native_all_columns", + "statement": "Retained native operators, phase conventions, spectators and whole-job adapters work at every positive column multiplicity." + }, + { + "id": "owned_erasure", + "statement": "Owned streams and suspended centers obey the retained allocation, erasure and ownership contracts." + }, + { + "id": "compiler", + "statement": "The finite mixed-target compiler and chronological product, completion and splitting satisfy the retained uniform closure contract." + }, + { + "id": "precision_tape", + "statement": "Retained fixed-tape movement and precision/storage prescriptions apply to the new fixed finite template." + }, + { + "id": "analytic_recovery", + "statement": "Analytic decomposition, fine-prime avoidance and exact integer recovery follow the retained upstream/outer framework." + } + ], + "scope": "Conditional application of the funded shorter-return supplier and exact #7113 signed caller. Maintainer selection, a materialized multiplier and formal-kernel acceptance remain open." +} diff --git a/research/p104-funded-shorter-return/README.md b/research/p104-funded-shorter-return/README.md new file mode 100644 index 0000000000..f1ae3ace84 --- /dev/null +++ b/research/p104-funded-shorter-return/README.md @@ -0,0 +1,66 @@ +# Conditional κ = 0.003645473221716 from a shorter funded return + +This candidate improves exact [#7244](https://github.com/CrocSwap/integer-mult-bounds/pull/7244) +by **0.000000100853884** with the same signed 17-stage caller +from [#7113](https://github.com/CrocSwap/integer-mult-bounds/pull/7113) +at `07a76c5e2738882c0cb322278e56f6cae3c9885d`. The selected +[#7000](https://github.com/CrocSwap/integer-mult-bounds/pull/7000) +remains at κ = 0.00363005817. + +Continuation 1499 now stops at chart 245 on its existing path to 127. +It supplies the same scalar correction that previously required both +donor outputs at 127. After that correction and the existing terminal +basis, helper 991 returns at rank eight. Per native, the **entire** +profile change is `T8 +1, T9 −1, P4 +1, P5 −1`. The complete signed +caller has 22,461 productive positions, 110,553 paid positions, rank +surplus 1,424 and zero empty-root credit. The 76,444-event word retains +1,501 public fields, 67 owned labels, 70 owned lifetimes and peak 49 +owned fields. The canonical emitted word SHA-256 is +`be20da577573b70989a052d814b4701c72eaf9053e159078a28e7d1f90280d32`. + +The complete signed invoice crosses in +`[0.00364547322171601989948043948889132, 0.00364547322171601989948043948889133]` +with the independent directed engine. This is a fixed-invoice ceiling. +The compiler tests 0.003645473221716007, below that crossing, and +the outer checks leave strict headroom at the stated claim. The old +invoice rejects the new price. The exact totals and both price checks +are in [RESULT.json](RESULT.json). + +Run with CPython 3.12 and the standard library: + +```sh +python3.12 -B scripts/research_package.py --package research/p104-funded-shorter-return +``` + +[PROOF.md](PROOF.md) explains the operator and cost changes. +[INPUTS.json](INPUTS.json) pins every exact #7244 archive member by +Git blob, size and SHA-256. The archive retains the predecessor's +source closure and notices so no unmerged Git branch or network +access is needed during replay. The verifier first uses #7244's +authenticated adapter, then rebinds the comparator, new chart maps, +ownership, exact price and full caller to this word. Registered commands +work on private temporary copies. See [REPLAY.txt](REPLAY.txt) for the +executed stages and [TASK.json](TASK.json) for scope and overlap. + +This is a conditional frontier proposal under the same five framework +assumptions: all-column native maps, owned erasure, compiler closure, +precision and tape bounds, and analytic recovery. It is finite source +and application evidence. Maintainer selection, independent human +review, a materialized multiplier and formal kernel acceptance are +outside the result. + +Credit Clear1nsight and the #7244 lineage, Rohan Arun/dillona and the +#7161 rechart/split chain, the exact #7113 signed caller and retained +work by ToikY, Ali Romman, Jerry Chen/CubeJerry, DreamingOfClouds and +the other contributors named in the frozen sources. Prepared with +substantial OpenAI Codex and ChatGPT Pro assistance, Apache-2.0. + +## Open next questions + +- Can the maintainers select the new conditional bound? Reproduce the + exact submitted head and compare its signed application and inherited + assumptions to #7000. See [TASK.json](TASK.json). +- Can a coframed continuation already using chart 245 deliver the same + correction without splitting 1499's rank-five move? Compare exact + chart-245 rows before the terminal basis. The fixed-itinerary screen + did not supply 1499's row there. diff --git a/research/p104-funded-shorter-return/REFERENCE.json b/research/p104-funded-shorter-return/REFERENCE.json new file mode 100644 index 0000000000..b329a80bbd --- /dev/null +++ b/research/p104-funded-shorter-return/REFERENCE.json @@ -0,0 +1,3 @@ +{ + "source_head": "215f67247f395c0e15f5ea3980f6a3e4aed155af" +} diff --git a/research/p104-funded-shorter-return/REPLAY.txt b/research/p104-funded-shorter-return/REPLAY.txt new file mode 100644 index 0000000000..e37edf978c --- /dev/null +++ b/research/p104-funded-shorter-return/REPLAY.txt @@ -0,0 +1,31 @@ +Executed on CPython 3.12.3, Linux x86-64, in serial, from authenticated +archives into private temporary stage directories. The committed result +files are the full generated receipts, without normalizing away fields. + +Stage Exit Seconds Peak RSS KiB +early 0 103.38 351500 +native 0 317.62 662352 +signed caller 0 394.19 362256 +independent frontier proposal 0 10.28 55088 + +PASS_EXACT_NATIVE_AND_PRICE_ONLY 0.003645473221716 +PASS_FUNDED_SHORTER_RETURN_NATIVE 911212095969/250000000000000 +PASS exact physical binding 110553 13600 22461 +PASS odd caller grid [381, 69, 62] [381, 3, 2] scale bits 10 checked 176874 +PASS short precision 406 1215 2430 +PASS partial signed short gates 782539276 911368305429/250000000000000 +PASS finite tariff substitution 43812768 25483363264 precision 2430 +PASS complete 8+9 component application checks 911368305429/250000000000000 3036 110553 +PASS_FUNDED_SHORTER_RETURN_CALLER 911368305429/250000000000000 +PASS_FUNDED_SHORTER_RETURN_FRONTIER_PROPOSAL 911368305429/250000000000000 + +The 18-stage ingredient price in the native marker is separate from +the actual signed 17-stage claim. The unchanged #7244 bill and the +separate ingredient invoice each reject the claimed signed price. +Native coverage includes twelve rejection controls and five affected +512-column chart pairs with phase controls. The frontier step rejects +an actual dirty COPY and two insufficient BIT values. The selected +record and all five framework assumptions are unchanged. + +Registered check (read-only): +python3.12 -B scripts/research_package.py --package research/p104-funded-shorter-return diff --git a/research/p104-funded-shorter-return/RESULT.json b/research/p104-funded-shorter-return/RESULT.json new file mode 100644 index 0000000000..9397a86e1b --- /dev/null +++ b/research/p104-funded-shorter-return/RESULT.json @@ -0,0 +1,1599 @@ +{ + "adapter": { + "adapted_sha256": { + "check_odd_partial_admission.py": "279b253e7543d80803ea993db0b703d4b4f045c5315144a30c37aada1d22f66d", + "check_odd_precision.py": "2c0316767a823c80172779486292f1e32a98811ed56c58dea3f2fda59ea82969", + "emit_odd_type_ab.py": "6fd9f61f9ba6c726524d1a585d0201b0eac61829ccae6be598f0f0fc1cb64f1a" + }, + "edits": [ + { + "file": "emit_odd_type_ab.py", + "new": "invoice=json.loads((root/\"COHORT-PRICE.json\").read_text())", + "old": "invoice=next(x for x in json.loads((root/\"SHORT-CALLER-RAW-PRICE.json\").read_text())[\"rows\"] if tuple(x[\"shape\"])==shape)" + }, + { + "file": "check_odd_partial_admission.py", + "new": "actual_native=ind.native(w)\nassert actual_native==N and not N[\"bad_inputs\"], \"Fresh complete native inventory and arbitrary-input adjoint\"", + "old": "previous=json.loads((root/\"SHORT-ADMISSION-PARTIAL.json\").read_text())\nassert previous[\"native_sha256\"]==digest and not N[\"bad_inputs\"]" + }, + { + "file": "check_odd_partial_admission.py", + "new": "claim=Q('0.003645473221716')", + "old": "claim=Q(\".00363797977\")" + }, + { + "file": "check_odd_partial_admission.py", + "new": "tested=claim+Q(7,10**17)\nwhile tested>=Q(reference[\"raw_bracket\"][0]):\n tested=claim+(tested-claim)/10", + "old": "tested=claim+Q(7,10**17)" + }, + { + "file": "check_odd_partial_admission.py", + "new": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])\ntry:\n gate(invoice,claim,Q(bracket[0]),*bracket,r[\"gate\"][\"BIT_pin\"])\nexcept AssertionError:\n crossing_probe_rejected=True\nelse:\n raise AssertionError(\"Probe at lower crossing unexpectedly accepted\")", + "old": "g=gate(invoice,claim,tested,*bracket,r[\"gate\"][\"BIT_pin\"])" + }, + { + "file": "check_odd_partial_admission.py", + "new": "\"crossing_probe_rejected\":crossing_probe_rejected,\"scope\":\"Fresh complete changed-native arbitrary-input adjoint;", + "old": "\"scope\":\"Reuse exact same native word all-column adjoint;" + }, + { + "file": "check_odd_precision.py", + "new": "patch('(life, peak, owned_count) == (54, 43, 51)','(life, peak, owned_count) == (70, 49, 67)')\nenv=ModuleType(\"short_envelope\")", + "old": "env=ModuleType(\"short_envelope\")" + }, + { + "file": "check_odd_precision.py", + "new": "", + "old": "previous=json.loads((root/\"SHORT-PRECISION.json\").read_text())" + }, + { + "file": "check_odd_precision.py", + "new": "assert grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()", + "old": "assert previous[\"native_sha256\"]==sha and grid_receipt[\"caller_sha256\"]==sha256(cpath.read_bytes()).hexdigest()" + }, + { + "file": "check_odd_precision.py", + "new": "wg=grid.word_run(w, frac=25)\nwp,wr=env.native_envelope(w)\nwg=json.loads(json.dumps(wg,default=str));wr=json.loads(json.dumps(wr,default=str))\nassert wg==r[\"precision\"][\"word\"] and wr==r[\"precision\"][\"rounded_native\"], \"Fresh changed-native grid and envelope\"", + "old": "wg=previous[\"native_grid\"]\nwr=previous[\"rounded_native\"]\nwp={key:(Q(v[\"exact\"]),v[\"witness\"]) for key,v in wr[\"bounds\"].items()}" + } + ] + }, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "catalogue": [ + { + "catalogue_digest": "789580be599f2c712cda0ef0622d3fff6c86bf1ffdcd49c73b2f7f839aae5f23", + "catalogue_size": 3036, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "430c467e9c73ef00ddc325b7cf95aba8a34187f362eae67791aafd26b117e4b9", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 0, + "slice_stop": 1000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "66bc395b599bc0b805c5061bbbd124e2027ad86645c07abe40d0b472fa1a7a2b" + }, + { + "catalogue_digest": "789580be599f2c712cda0ef0622d3fff6c86bf1ffdcd49c73b2f7f839aae5f23", + "catalogue_size": 3036, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "2cae048f253c10a701476eaa4486931f22766daf994d44d80688b0f8f2fc530f", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 1000, + "slice_stop": 2000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "66bc395b599bc0b805c5061bbbd124e2027ad86645c07abe40d0b472fa1a7a2b" + }, + { + "catalogue_digest": "789580be599f2c712cda0ef0622d3fff6c86bf1ffdcd49c73b2f7f839aae5f23", + "catalogue_size": 3036, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "c8524029578adf6749ecc9b72b848a9933ea23b54951d7349c0614c18603fea9", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 2000, + "slice_stop": 3000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "66bc395b599bc0b805c5061bbbd124e2027ad86645c07abe40d0b472fa1a7a2b" + }, + { + "catalogue_digest": "789580be599f2c712cda0ef0622d3fff6c86bf1ffdcd49c73b2f7f839aae5f23", + "catalogue_size": 3036, + "checked_maps": 36, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "01651736571052e77f70be25553d3f726b5325a89c93cb9459a54c3634ee1f38", + "main_boundary_digest": "ad959887c990b8862a0e60db3f53d5195a1c9d667c1593f0101adc8db18f27fa", + "main_boundary_pairs": 104, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 3000, + "slice_stop": 3036, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "66bc395b599bc0b805c5061bbbd124e2027ad86645c07abe40d0b472fa1a7a2b" + } + ], + "checks": { + "ODD-8X9-APPLICATION-CHECKS.json": { + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "candidate": "911368305429/250000000000000", + "catalogue": [ + { + "catalogue_digest": "789580be599f2c712cda0ef0622d3fff6c86bf1ffdcd49c73b2f7f839aae5f23", + "catalogue_size": 3036, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "430c467e9c73ef00ddc325b7cf95aba8a34187f362eae67791aafd26b117e4b9", + "log_sha256": "761af230aaec33e005b8f7488650210a1d21a4bfb24963485427c2d434f08593", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 0, + "slice_stop": 1000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "66bc395b599bc0b805c5061bbbd124e2027ad86645c07abe40d0b472fa1a7a2b" + }, + { + "catalogue_digest": "789580be599f2c712cda0ef0622d3fff6c86bf1ffdcd49c73b2f7f839aae5f23", + "catalogue_size": 3036, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "2cae048f253c10a701476eaa4486931f22766daf994d44d80688b0f8f2fc530f", + "log_sha256": "9bcc23d18c2861b66e5a6b4619eb620d4e30f58489dc5653ed46f8f1425807a2", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 1000, + "slice_stop": 2000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "66bc395b599bc0b805c5061bbbd124e2027ad86645c07abe40d0b472fa1a7a2b" + }, + { + "catalogue_digest": "789580be599f2c712cda0ef0622d3fff6c86bf1ffdcd49c73b2f7f839aae5f23", + "catalogue_size": 3036, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "c8524029578adf6749ecc9b72b848a9933ea23b54951d7349c0614c18603fea9", + "log_sha256": "7d55369eee3f05f5ff57f73f21aa3ae8ae23affa949ac61486fb91922217e7b4", + "main_boundary_digest": "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945", + "main_boundary_pairs": 0, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 2000, + "slice_stop": 3000, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "66bc395b599bc0b805c5061bbbd124e2027ad86645c07abe40d0b472fa1a7a2b" + }, + { + "catalogue_digest": "789580be599f2c712cda0ef0622d3fff6c86bf1ffdcd49c73b2f7f839aae5f23", + "catalogue_size": 3036, + "checked_maps": 36, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "01651736571052e77f70be25553d3f726b5325a89c93cb9459a54c3634ee1f38", + "log_sha256": "bf43d9e3ddc5c6efc9ebb124575f20dc8cba7b7178ef6b6a8336e0b757c90984", + "main_boundary_digest": "ad959887c990b8862a0e60db3f53d5195a1c9d667c1593f0101adc8db18f27fa", + "main_boundary_pairs": 104, + "phase_control_rejected": true, + "scope": "Complete signed Pauli action plus exact Gaussian global phase; for Clifford maps these determine every matrix column. Generic tensor-product and physical grammar application is written in the review. No random-field substitution.", + "slice_start": 3000, + "slice_stop": 3036, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "66bc395b599bc0b805c5061bbbd124e2027ad86645c07abe40d0b472fa1a7a2b" + } + ], + "fixed_tape_counts": { + "H": 172680000000000000000000, + "Kstar_bits": 14100, + "actual_ambient": 145, + "caller_odd_scale": 675, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "common_grid": { + "fractional": "p+D", + "signed_width": "p+h+2D+3", + "temp_padding": 26 + }, + "compiler_ambient_cap": 153, + "context_bound_bits": 14111, + "context_c": 2430, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25483363264, + "log_power": 2237, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298876, + "native_invocations": 17, + "native_sha256": "be20da577573b70989a052d814b4701c72eaf9053e159078a28e7d1f90280d32", + "owned_banks_per_raw_occurrence": 1139, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58522, + "native": 1192771 + }, + "scalar_services_upper": 43812768, + "scalar_steps_coefficient": 45941017018368, + "scope": "Exact finite-cost and common-format substitutions in the selected #7000 conditional application proof, using the conservative primitive movement and scalar constants there. The premise is the complete signed native/physical binding and retained compiler, BIT, stock, and outer contracts. This script counts the raw occurrence, not an enumerated top-level compiled multiplier.", + "tested_claim": "911368305429/250000000000000" + }, + "native_archive_sha256": "66bc395b599bc0b805c5061bbbd124e2027ad86645c07abe40d0b472fa1a7a2b", + "native_canonical_sha256": "be20da577573b70989a052d814b4701c72eaf9053e159078a28e7d1f90280d32", + "numeric_gate": { + "BIT_margin": "121216778283993/1000000000000000000", + "BIT_pin": "376669/100000000", + "H": "172680000000000000000000", + "alpha": [ + 1.0, + 1.0 + ], + "claim": "911368305429/250000000000000", + "compiler_gap": "1/1000000000000000000", + "delta": [ + 0.907989763909995, + 0.907989763909995 + ], + "derivative_upper": -381631.58262413816, + "gamma": [ + 0.9407201722450762, + 0.9407201722450762 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3645473221716007/1000000000000000000": [ + "124375209709674049116861367074974228977517363293800099502608284457726117939321/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62187604854837024558430683537487114488758681646900049751304142228863058970639/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911368305429/250000000000000": [ + "31093802427418455120962581338783321495838179280705828530911121130132896434291/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124375209709673820483850325355133285983352717122823314123644484520531585739139/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "18227366108580099497402197444457/5000000000000000000000000000000000": [ + -2.9982745944880004e-29, + -2.9982745944880004e-29 + ], + "3645473221716007/1000000000000000000": [ + 5.001149904981008e-12, + 5.001149904981008e-12 + ], + "36454732217160198994804394888913/10000000000000000000000000000000000": [ + 8.78741947721793e-30, + 8.78741947721793e-30 + ] + }, + "moment_margins": { + "18227366108580099497402197444457/5000000000000000000000000000000000": [ + "-2998274594488000077155715462442283600237607300800473/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2998274594488000077155715462442283600237607262075141/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "3645473221716007/1000000000000000000": [ + "500114990498100846580611676667627844275707820277833764461908436331627/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "250057495249050423290305838333813922137853910138916882230954237640909/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36454732217160198994804394888913/10000000000000000000000000000000000": [ + "439370973860896498205509874021948558906947296422573/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "54921371732612062275688734252743569863368414477429/6250000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/10000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36454732217160198994804394888913/10000000000000000000000000000000000", + "18227366108580099497402197444457/5000000000000000000000000000000000" + ], + "tested": "3645473221716007/1000000000000000000", + "written_log_power": 2237 + }, + "physical_binding": { + "ambient": 145, + "complete_paid_position_digest": "c4690d4fe38febeda130a74e5ed273a820bf33756b7c0c77560e73b5153e2127", + "fresh_helpers": 18717, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1501, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68401, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3842, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "paid_positions": 110553, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22461, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 1139, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 306, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3808, + "41": 416, + "49": 416, + "5": 1360, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10871 + } + }, + "scope": "Conditional component application to the exact 8+9 source with the selected completed BIT predecessor and inherited five assumptions. Checks every normalized endpoint, every paid/helper nested chart map up to exact signed Pauli and absolute phase, caller occurrence/phase, precision, finite scalar and route bounds, and numeric gates. Does not run a compiled Turing machine, select an upstream frontier, or claim human/formal review.", + "source_unit_ordinary": { + "all_caller_scalar_surcharge": 2248928, + "caller_items": { + "A": { + "envelope": 102076416, + "field_boundary": 89856, + "fused_routes": 0, + "idle_routes": 170112000, + "output_routes": 213120000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 35730432, + "field_boundary": 7488, + "fused_routes": 1168000, + "idle_routes": 18016000, + "output_routes": 17760000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 559238336, + "charged_caller_odd_conversions": 479232, + "conservative_total": 782539276, + "init_clear_allowance": 280, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 217460724, + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "per_input_conversion": 2653768, + "raw_upper": 765877348, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2202, + "moves": 6281, + "owned_lifetime": 280, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9963000, + "scalar_upper": 2192236 + }, + "status": "PASS_8X9_EXACT_COMPONENT_APPLICATION_CHECKS" + }, + "ODD-ADMISSION-PARTIAL.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "compiler_outer": { + "BIT_margin": "121216778283993/1000000000000000000", + "BIT_pin": "376669/100000000", + "H": "172680000000000000000000", + "alpha": [ + 1.0, + 1.0 + ], + "claim": "911368305429/250000000000000", + "compiler_gap": "1/1000000000000000000", + "delta": [ + 0.907989763909995, + 0.907989763909995 + ], + "derivative_upper": -381631.58262413816, + "gamma": [ + 0.9407201722450762, + 0.9407201722450762 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3645473221716007/1000000000000000000": [ + "124375209709674049116861367074974228977517363293800099502608284457726117939321/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62187604854837024558430683537487114488758681646900049751304142228863058970639/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911368305429/250000000000000": [ + "31093802427418455120962581338783321495838179280705828530911121130132896434291/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124375209709673820483850325355133285983352717122823314123644484520531585739139/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "18227366108580099497402197444457/5000000000000000000000000000000000": [ + -2.9982745944880004e-29, + -2.9982745944880004e-29 + ], + "3645473221716007/1000000000000000000": [ + 5.001149904981008e-12, + 5.001149904981008e-12 + ], + "36454732217160198994804394888913/10000000000000000000000000000000000": [ + 8.78741947721793e-30, + 8.78741947721793e-30 + ] + }, + "moment_margins": { + "18227366108580099497402197444457/5000000000000000000000000000000000": [ + "-2998274594488000077155715462442283600237607300800473/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2998274594488000077155715462442283600237607262075141/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "3645473221716007/1000000000000000000": [ + "500114990498100846580611676667627844275707820277833764461908436331627/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "250057495249050423290305838333813922137853910138916882230954237640909/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36454732217160198994804394888913/10000000000000000000000000000000000": [ + "439370973860896498205509874021948558906947296422573/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "54921371732612062275688734252743569863368414477429/6250000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/10000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36454732217160198994804394888913/10000000000000000000000000000000000", + "18227366108580099497402197444457/5000000000000000000000000000000000" + ], + "tested": "3645473221716007/1000000000000000000", + "written_log_power": 2237 + }, + "crossing_probe_rejected": true, + "finite_rank9_fields": [ + { + "child_rank": 9, + "denominator": 512, + "exponent": 1, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 0 + }, + "spectators": 136, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 262144, + "width": 1 + }, + { + "child_rank": 9, + "denominator": 262144, + "exponent": 2, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 272, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 1024, + "width": 2 + }, + { + "child_rank": 9, + "denominator": 134217728, + "exponent": 3, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 408, + "stage": 8, + "swaps": [ + [ + 1, + 65 + ], + [ + 2, + 66 + ], + [ + 3, + 67 + ], + [ + 4, + 68 + ], + [ + 5, + 69 + ], + [ + 6, + 70 + ], + [ + 7, + 71 + ], + [ + 8, + 72 + ] + ], + "tested_entries": 1024, + "width": 3 + }, + { + "child_rank": 9, + "denominator": 512, + "exponent": 1, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 0 + }, + "spectators": 136, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 262144, + "width": 1 + }, + { + "child_rank": 9, + "denominator": 262144, + "exponent": 2, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 272, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 1024, + "width": 2 + }, + { + "child_rank": 9, + "denominator": 134217728, + "exponent": 3, + "mutated_entries": { + "missing global phase": 8, + "missing multiplicity": 8 + }, + "spectators": 408, + "stage": 9, + "swaps": [ + [ + 1, + 73 + ], + [ + 2, + 74 + ], + [ + 3, + 75 + ], + [ + 4, + 76 + ], + [ + 5, + 77 + ], + [ + 6, + 78 + ], + [ + 7, + 79 + ], + [ + 8, + 80 + ] + ], + "tested_entries": 1024, + "width": 3 + } + ], + "invoice": { + "P": { + "1": 68401, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3842, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "S": 1424, + "T": { + "1": 306, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3808, + "41": 416, + "49": 416, + "5": 1360, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10871 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036454732217160198994804394888913226654165169213900780789576231055", + "raw_crossing": "0.0036454732217160198994804394888913226654165169213900780789576231055" + }, + "native_sha256": "be20da577573b70989a052d814b4701c72eaf9053e159078a28e7d1f90280d32", + "ordinary": { + "all_caller_scalar_surcharge": 2248928, + "caller_items": { + "A": { + "envelope": 102076416, + "field_boundary": 89856, + "fused_routes": 0, + "idle_routes": 170112000, + "output_routes": 213120000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 35730432, + "field_boundary": 7488, + "fused_routes": 1168000, + "idle_routes": 18016000, + "output_routes": 17760000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 559238336, + "charged_caller_odd_conversions": 479232, + "conservative_total": 782539276, + "init_clear_allowance": 280, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 217460724, + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "per_input_conversion": 2653768, + "raw_upper": 765877348, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2202, + "moves": 6281, + "owned_lifetime": 280, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9963000, + "scalar_upper": 2192236 + }, + "scope": "Fresh complete changed-native arbitrary-input adjoint; fresh exact signed caller and invoice, ordinary source-unit upper bill, inherited numerical compiler and outer inequalities, and signed rank9 child finite field routes. Fresh integrated physical native/caller and changed-word precision/occurrence application remain separate." + }, + "ODD-CALLER-EXACT-GRID.json": { + "caller_odd_scale": "675", + "caller_odd_scale_bits": 10, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "grid_exponents": [ + 381, + 3, + 2 + ], + "peak_terms": 3752, + "preproduct_exact_divisions": 176874, + "prime_order": [ + 2, + 3, + 5 + ], + "safe_valuation_bound": [ + 381, + 69, + 62 + ], + "scope": "Independent integer Laurent caller endpoint and pre-product divisibility. Valuation bound propagates complete field operators whose Gaussian coefficients have only power-of-two denominators, so odd factors are sourced only from the charged scalar operations. Fixed conversion and storage bounds still needed." + }, + "ODD-FIXED-TAPE-COUNTS.json": { + "H": 172680000000000000000000, + "Kstar_bits": 14100, + "actual_ambient": 145, + "caller_odd_scale": 675, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "common_grid": { + "fractional": "p+D", + "signed_width": "p+h+2D+3", + "temp_padding": 26 + }, + "compiler_ambient_cap": 153, + "context_bound_bits": 14111, + "context_c": 2430, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25483363264, + "log_power": 2237, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298876, + "native_invocations": 17, + "native_sha256": "be20da577573b70989a052d814b4701c72eaf9053e159078a28e7d1f90280d32", + "owned_banks_per_raw_occurrence": 1139, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58522, + "native": 1192771 + }, + "scalar_services_upper": 43812768, + "scalar_steps_coefficient": 45941017018368, + "scope": "Exact finite-cost and common-format substitutions in the selected #7000 conditional application proof, using the conservative primitive movement and scalar constants there. The premise is the complete signed native/physical binding and retained compiler, BIT, stock, and outer contracts. This script counts the raw occurrence, not an enumerated top-level compiled multiplier.", + "tested_claim": "911368305429/250000000000000" + }, + "ODD-PHYSICAL-BINDING.json": { + "aliased_main_rejected": true, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "native_sha256": "be20da577573b70989a052d814b4701c72eaf9053e159078a28e7d1f90280d32", + "occurrence_and_geometry": { + "ambient": 145, + "complete_paid_position_digest": "c4690d4fe38febeda130a74e5ed273a820bf33756b7c0c77560e73b5153e2127", + "fresh_helpers": 18717, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1501, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68401, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3842, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "paid_positions": 110553, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22461, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 1139, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 306, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3808, + "41": 416, + "49": 416, + "5": 1360, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10871 + } + }, + "patched_application_sha256": "733b31b1cee4567b466fdf834a34460b530f1f87ca6dca9270c0fabb2cf89849", + "scope": "Current caller port and ownership substitution, full phase-polynomial native contact identities on disjoint stage axes, whole signed idle/output geometry, and ordered paid positions. Retains the standard nested chart and local operator premises and requires separate full native replay and complete fixed-tape tariff application.", + "source_reviewer_sha256": "d98987db98553dc55bfc80e3ca47abfcd51c57af6f8cda61101391d8eae94184" + }, + "ODD-PRECISION.json": { + "caller_grid": { + "caller_odd_scale": "675", + "caller_odd_scale_bits": 10, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "grid_exponents": [ + 381, + 3, + 2 + ], + "peak_terms": 3752, + "preproduct_exact_divisions": 176874, + "prime_order": [ + 2, + 3, + 5 + ], + "safe_valuation_bound": [ + 381, + 69, + 62 + ], + "scope": "Independent integer Laurent caller endpoint and pre-product divisibility. Valuation bound propagates complete field operators whose Gaussian coefficients have only power-of-two denominators, so odd factors are sourced only from the charged scalar operations. Fixed conversion and storage bounds still needed." + }, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "context_c": 2430, + "context_height": 406, + "context_mass_bits": 1215, + "native_grid": { + "coefficient_visits": 16448730, + "dyadic_height": 25, + "mass_witness": [ + 66215, + "stored add" + ], + "maximum_scaled_mass": "841374570120675/8192", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + }, + "native_sha256": "be20da577573b70989a052d814b4701c72eaf9053e159078a28e7d1f90280d32", + "precision_program_sha256": "6828598610ad0b8e73083d1a5126f4e485698f6f519a60767598c0c52c71b060", + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "3700391395634398193988231961413106626231788248633761228620292774210365782787301892508279852757274931632876603578031481787565193280357060987986920013448339558722889651752264044697172739691097304494263788128632945013374306707726313558470423719658855884049300848187647696185250843482825759382959262470902334992967053893829312810415224999691318837879543582450552262689342736855001196754291248931972445165740507458520230615953628988435907161449/621565922642917122701475579763837894656000000000000000000000000000000000000000000000", + "strict_power_of_two": 1179, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Gamma_context": { + "exact": "95498228877481792407732094667731188460316260455601654554478634712165643366226038427037901955290038841145365524106467564198249884855728275882036893029477747042618433670613065237160463253732917612818255745662457693139044623097641178965596451432354205329505331179296401883419733467710488476930359866177625682140407193478222028447227349686669722359491844659313883273010214966592489552038788465051985784111613346636048711177136923821028131663779/466174441982187842026106684822878420992000000000000000000000000000000000000000000000", + "strict_power_of_two": 1184, + "witness": { + "cut": 4783, + "factor": "1", + "kind": "public-return", + "register": 37 + } + }, + "M_caller": { + "exact": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "strict_power_of_two": 897, + "witness": { + "cut": 4751, + "event": 4750, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "M_context": { + "exact": "981854199274791633791257137686278843099997480379185914860705438687120456804937961897636886077339221004995032694141063631661436117749900209868597623913611620536251993564450326605732023663083560027696392573388123134524356046358364719758969967433380655644557757798580660749122760664642338995776803810874820300987852570269504055866798900872168946458420363638308421864453951305305470229552912639581896762622538762187236908574007777183884745665260157/5525030423492596646235338486789670174720000000000000000000000000000000000000000000000", + "strict_power_of_two": 1194, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + }, + "M_joint_entrance": { + "exact": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "strict_power_of_two": 892, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Sigma_caller": { + "exact": "95498228877481792407732094667731188460316260455601654554478634712165643366226038427037901955290038841145365524106467564198249884855728275882036893029477747042618433670613065237160463253732917612818255745662457693139044623097641178965596451432354205329505331179296401883419733467710488476930359866177625682140407193478222028447227349686669722359491844659313883273010214966592489552038788465051985784111613346636048711177136923821028131663779/466174441982187842026106684822878420992000000000000000000000000000000000000000000000", + "strict_power_of_two": 1184, + "witness": { + "cut": 4753, + "event": 4752, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "Sigma_context": { + "exact": "291908632640396543147239251769182815765347850305725022201049394692891850169052702222239810727758282935288390862701344902381192766850446335196644438907325845298405586296585134421484073566857727845836967571666614729728746179855323932939878706652431698379608522771132022310640844335680935653039097452990998942129249602457240984932081769482895386993177266208365033728362264820295533920618404139040425542420304438880990798494477108814777165510295466168457770677792918326780764684626738818646921036351877541643979711902362457585154914586476498165439733146406715175653241449348169057448621695483/5646579936229456007840352585096220475858963262973477037060052051047627725209600000000000000000000000000000000000000000000000000000000000000000", + "strict_power_of_two": 1481, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 18717, + "helper_allocation_premise": "distinct (stage, helper) public inputs as in frozen caller proof", + "independent_adjoint": { + "E_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "3700391395634398193988231961413106626231788248633761228620292774210365782787301892508279852757274931632876603578031481787565193280357060987986920013448339558722889651752264044697172739691097304494263788128632945013374306707726313558470423719658855884049300848187647696185250843482825759382959262470902334992967053893829312810415224999691318837879543582450552262689342736855001196754291248931972445165740507458520230615953628988435907161449/621565922642917122701475579763837894656000000000000000000000000000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "95498228877481792407732094667731188460316260455601654554478634712165643366226038427037901955290038841145365524106467564198249884855728275882036893029477747042618433670613065237160463253732917612818255745662457693139044623097641178965596451432354205329505331179296401883419733467710488476930359866177625682140407193478222028447227349686669722359491844659313883273010214966592489552038788465051985784111613346636048711177136923821028131663779/466174441982187842026106684822878420992000000000000000000000000000000000000000000000" + }, + "M_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796247824792255124449682067424881/131368167114257812500000000000", + "residual_mass": "95498228877481792407732094667731188460316260455601654554478634712165643366226038427037901955290038841145365524106467564198249884855728275882036893029477747042618433670613065237160463253732917612818255745662457693139044623097641178965596451432354205329505331179296401883419733467710488476930359866177625682140407193478222028447227349686669722359491844659313417098568232778750463445353965586630993784111613346636048711177136923821028131663779/466174441982187842026106684822878420992000000000000000000000000000000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "3700391395634398193988231961413106626231788248633761228620292774210365782787301892508279852757274931632876603578031481787565193280357060987986920013448339558722889651752264044697172739691097304494263788128632945013374306707726313558470423719658855884049300848187647696185250843482825759382959262470902334992967053893829312810415224999691318837879543582450552262689342736855001196754291248931972445165740507458520230615953628988435907161449/621565922642917122701475579763837894656000000000000000000000000000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "95498228877481792407732094667731188460316260455601654554478634712165643366226038427037901955290038841145365524106467564198249884855728275882036893029477747042618433670613065237160463253732917612818255745662457693139044623097641178965596451432354205329505331179296401883419733467710488476930359866177625682140407193478222028447227349686669722359491844659313883273010214966592489552038788465051985784111613346636048711177136923821028131663779/466174441982187842026106684822878420992000000000000000000000000000000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "1435/4", + "entrance_mass": "2067/2", + "event": 43, + "stage": 1 + }, + { + "entrance_defect": "44014421449424002110213101873304075005919476994513296298024761326887228027069257925916172205433066161427634497761704435054325516303063331433046863003039/13307288940955860965151791568755097600000000000000000000", + "entrance_mass": "56849465528/5", + "event": 137, + "stage": 2 + }, + { + "entrance_defect": "66875161162342788504236192740396175870454756755693173515453543710978772135235489043517230875144074849984281481515093624805474896669123323552505348222488903598906399/1277499738331762652654571990600489369600000000000000000000", + "entrance_mass": "899756300051784928313/5", + "event": 268, + "stage": 3 + }, + { + "entrance_defect": "62287829181073555448314854637831594222496382201083494725957560734823785336923277432032873916951001024103731891707004334555658180853290450724689150320378565503340111949136607/1277499738331762652654571990600489369600000000000000000000", + "entrance_mass": "2514111326902273689027625979152/15", + "event": 432, + "stage": 4 + }, + { + "entrance_defect": "12723996845476725541154302647350247270857469337040138950674128979681026401707653678970318927339878686477059357642611944334723550553001961124618183675464491865994888502061922083282166297/1277499738331762652654571990600489369600000000000000000000", + "entrance_mass": "513576167499541081817002847690160861158177/15", + "event": 633, + "stage": 5 + }, + { + "entrance_defect": "1218322501347303928216200172712737774246782535762919133177499853680429749688418864093258335827042280195988438862037150685137602976909078292868971824924633428632191295158744952911295496001148458373/19162496074976439789818579859007340544000000000000000000000", + "entrance_mass": "49174910102467876864090432969907258581035345395534834/225", + "event": 867, + "stage": 6 + }, + { + "entrance_defect": "129940314273901234900495220450642513175133460422743216171998552787711781971649084776462906649201627325023116741625397095936972912006226785547281755435240911332968916983695664314534217150838694152898334189323/2129166230552937754424286651000815616000000000000000000000", + "entrance_mass": "47202796791779792903787260464709452698419616298153732189406926691/225", + "event": 1138, + "stage": 7 + }, + { + "entrance_defect": "37833342518003692030801232854911423070139033702432086754567502381265112179915373106137218211744769858678637591166984367745334467435155410155890628386427939588439820806511024228502923799446264210160589777236373993493198505117/2395312009372054973727322482375917568000000000000000000000000", + "entrance_mass": "1527059719525243651854937925515623170877847518562264265010551055991429949116792541/28125", + "event": 1423, + "stage": 8 + }, + { + "entrance_defect": "13492230945974542935771030245134195880207837253704954008374659691637345470177544675289347673927383978333002685229439121854371781933794907815808322364150564769644132162343618026655400953300350885168624576097058995849945794488382220863858323849111261302514974520259810805995084627591788173464857311524111982220137178946567800036064216820369845598303380429072657/2762515211746298323117669243394835087360000000000000000000000000000000000000000000", + "entrance_mass": "45382020709918266925583064268574418985484021788023395083741971786893952543604385214817042722264713249357732585113211736557042182118473445437784492974844696068231496289005681248244219743195326431922663592509646282903/2703048706054687500000000", + "event": 3058, + "stage": 9 + }, + { + "entrance_defect": "5130439558410158112007682408089895237937641135696220254931857260054179126172163024799951016182739030505074146297677691535242944625809138842454473727032886592605712582187208446987059557021217293235192211872020258149399168973276239016474408703335800653981226226645862133120726519703690178852356787315060218054759090152583952695951266538788000696916314125943455550341747641803/69062880293657458077941731084870877184000000000000000000000000000000000000000000000", + "entrance_mass": "17256576412236653193246225901973714737195067836439327666112948810725372605325768521068989782195051084826433423902219365061463548934152577319772447024097669813834215493691840531234110147024064996639957180865886380686899413865699437/67576217651367187500000000", + "event": 3377, + "stage": 10 + }, + { + "entrance_defect": "2447659884876748969061470001154570021719221801643259648188430480348673481305794995633037585740415004554421905346580426915700720350973940300416436531364346545700910594129675972452737387883277253989998825778483884334374075429235259345813471526922847341868430878819034143918467584866678755074544632286178101878038730926760352027210012117334102030469289328051973014813103201609499381818857/2302096009788581935931391036162362572800000000000000000000000000000000000000000000", + "entrance_mass": "8232867642949280967953864719378369729636081542640965177026582834276172086852779069019078166383458700724373015543641299678854718814560615654710102550769670203427726502361438450768012893674227975469242856299447027845030556012745339827937032703/2252540588378906250000000", + "event": 3674, + "stage": 11 + }, + { + "entrance_defect": "30758305108508113436939905613290518481871233068983603178035022079322127858437955175091442686611027845167330805554795283832392762795330928861052661361299687286316920362924503411132694659124172754999513176031937178344939355414461632883351820405664282553987058276086241933019134621887107712678981578852516499078319050736690172616065431862000917385353209933042247760643340356489716480686761975617812489/310782961321458561350737789881918947328000000000000000000000000000000000000000000000", + "entrance_mass": "103457615351059805192637231353494210876529187337645013912367786609511281374638184501291799844537790265462481580051228205479278831706979374022592427678836083146990308179368316797029946556942233864286312243671687806427572314354434738422294564686254956597631/304092979431152343750000000", + "event": 3934, + "stage": 12 + }, + { + "entrance_defect": "2026029986081447564193823977052871737274467997318767984745880792357813081128603909894404982274295914678674928271751522181453320614789116694319347253708176017067914257472484817258710241604690401068290794497663384836760181081620939580530343175653404826065773754513106927903024207328614743727216446537653160064581387539240938467357207324659322314102733707372996910386161692166286513568772455237040898155511241/77695740330364640337684447470479736832000000000000000000000000000000000000000000000", + "entrance_mass": "6814687293408352348961376609223100753789665399854180217091951198766673494955017243489117504312576625705862588971333049204842152193259763726092611947454717867967563820647006231530855513792517852570389360287582421241328472893443552787136426885585158158296407747039/76023244857788085937500000", + "event": 4149, + "stage": 13 + }, + { + "entrance_defect": "81368552078924056650019386854496386022445855114287818696253312823951925553976322246256767312544129391520832080157639434917305163195827291105023676045091904906253929633437547865632194714984887697699088520346168761537455924928599585038863227330342119800642974287030551123340358506478124912925454261979794331832127614486612936065697049854870792948553728065398003360247099542149308882776361659138615780521687781911639729/621565922642917122701475579763837894656000000000000000000000000000000000000000000000", + "entrance_mass": "273688564209132230699064882255651065961520374651451250325109091529813162250488973700796593555467744131430272845604649750549608356985710665121874068107850799585492748533787927289567936649257940207702597871193107311090132538524151482351564937285621850171994049078063458209591/608185958862304687500000000", + "event": 4337, + "stage": 14 + }, + { + "entrance_defect": "1555129075560279792560833953758080959076484652577478041426651661747278426554568937669055817488193296058232872819518295138883173553765601835358837714274350772167487149457288365895546533297073066028536358258476913421180418008804330694904444686936449782659777747269314732633889551400273383503360836371634544577231527153911182763896050709367407002873809905033411041863871530651516623138280632768390548886268886789596138834145659/310782961321458561350737789881918947328000000000000000000000000000000000000000000000", + "entrance_mass": "5230780602279043381317572379439763694807653157987526423412516241866438709931406455512285461654380762978554988724296151241130161368896505647624919395909388513302452136334767445346454946237326490486725295589968816639097338790755366202380875008783642473174121062695038054202858248061/304092979431152343750000000", + "event": 4485, + "stage": 15 + }, + { + "entrance_defect": "1721513013742678354123234387431046665054234314062025384505354464047852086760747219085710190217675460118455426277734778212593621971433002609853581250199432326320654461153578355668162822964751610661906434569890161985031568673590129094026471816864164779628107676580659496286430773807524988730563244931099793112161942368844519159908993905368894043602378289120602832719082444540724467506230758120828955616110404408482677704018140597320697/621565922642917122701475579763837894656000000000000000000000000000000000000000000000", + "entrance_mass": "5790424100720951765768300756324298709533962301792798636386692749870979029496708556989270788662796627612885676197810930990877069943243536093513215980405080279750566239442965631097385199413957318608000177913047677092759213914423460784984181631621622445055356552059259436283593839861423838063/608185958862304687500000000", + "event": 4606, + "stage": 16 + }, + { + "entrance_defect": "3700391395634398193988231961413106626231788248633761228620292774210365782787301892508279852757274931632876603578031481787565193280357060987986920013448339558722889651752264044697172739691097304494263788128632945013374306707726313558470423719658855884049300848187647696185250843482825759382959262470902334992967053893829312810415224999691318837879543582450552262689342736855001196754291248931972445165740507458520230615953628988435907161449/621565922642917122701475579763837894656000000000000000000000000000000000000000000000", + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "event": 4691, + "stage": 17 + } + ], + "physical_main_inputs": 3744, + "sites": { + "ADD": 4126, + "IDLE_ODD": 4, + "IDLE_ONE": 90, + "J": 17, + "LAMBDA": 178, + "QUERY": 4, + "SCALE": 312, + "SWAP": 52, + "noninteger_scalar": 1752 + } + }, + "rounded_native": { + "bounds": { + "Gamma": { + "exact": "25658296514718665663724761455038993665013304128124285547409309468182902382390451902036146510457244487942055205466449538512639482668231697453168177/42583324611058755088485733020016312320000000000000000000", + "strict_power_of_two": 299, + "witness": { + "cut": 76444, + "factor": "1", + "kind": "public-return", + "register": 1498 + } + }, + "M": { + "exact": "78885880284118292076998717719781876096347665647824497567470757539679832954370746877506446595824785784526303648069065087019557498698445175282954441667/9084442583692534418876956377603479961600000000000000000000", + "strict_power_of_two": 303, + "witness": { + "cut": 76419, + "factor": "1", + "kind": "stored", + "register": 1498 + } + }, + "Sigma": { + "exact": "25658296514718665663724761455038993665013304128124285547409309468182902382390451902036146510457244487942055205466449538512639482668231697453168177/42583324611058755088485733020016312320000000000000000000", + "strict_power_of_two": 299, + "witness": { + "cut": 76419, + "factor": "1", + "kind": "stored", + "register": 1498 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 76444, + "lifetimes": 70, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 66296, + "CLEAR": 70, + "COPY": 1, + "INIT": 70, + "MOVE": 6281, + "SCALE": 3726 + }, + "owned_labels": 67, + "peak_owned": 49, + "public": 1501, + "scalars": { + "dyadic": 64123, + "integer": 39769, + "noninteger": 30254, + "odd": 5900 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26565, + "entrance_mass": "78885880284118292076998717719781876096347665647824497567470757539679832954370746877506446595824785784526303648069065087019557498698445175282954441667/9084442583692534418876956377603479961600000000000000000000", + "residual_mass": "25658296514718665663724761455038993665013304128124285547409309468182902382390451902036146510457244487942055205466449538512639482668231697453168177/42583324611058755088485733020016312320000000000000000000" + }, + "M": { + "active_residual_sites": 26565, + "entrance_mass": "78885880284118292076998717719781876096347665647824497567470757539679832954370746877506446595824785784526303648069065087019557498698445175282954441667/9084442583692534418876956377603479961600000000000000000000", + "residual_mass": "25658296514718665663724761455038993665013304128124285547409309468182902382390451902036146510457244487942055205466449538512639482668231697453168177/42583324611058755088485733020016312320000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26565, + "entrance_mass": "78885880284118292076998717719781876096347665647824497567470757539679832954370746877506446595824785784526303648069065087019557498698445175282954441667/9084442583692534418876956377603479961600000000000000000000", + "residual_mass": "25658296514718665663724761455038993665013304128124285547409309468182902382390451902036146510457244487942055205466449538512639482668231697453168177/42583324611058755088485733020016312320000000000000000000" + } + } + }, + "scope": "Fixed integer Laurent grid with charged odd caller scale, and pinned attributed forward/adjoint all-fibre defect engine applied to the emitted 17-stage caller. Each LAMBDA, QUERY and signed/unsigned idle is one unitary with one child defect. The caller allocation assumes independent stage helpers. Full physical application remains separate." + }, + "ODD-TYPE-AB-REPLAY.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "paid": { + "1": 68401, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3842, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "raw_bracket": [ + "36454732217160198994804394888913/10000000000000000000000000000000000", + "18227366108580099497402197444457/5000000000000000000000000000000000" + ], + "replay": { + "bad_outputs": [], + "caller_denominator_height_bound": 578, + "caller_mass_bound": "854474036861847560509026474008040300059938928517783661039773198072080884690114508581583887358835968277340425788985297793555303569703690223623950838857161290503004459697662544865276977234864184443860251086668962688762176068520364648820282528496698239206689277049335412289161443623602012468587331439851515703/168151253906250000000000000000000", + "caller_mass_ceiling_bits": 910, + "max_terms": 3752 + }, + "scope": "Exact emitted signed Laurent caller endpoint and recomputed native/caller paid and target profiles. Physical address bindings, independent branch-source composition, ordinary units, precision and outer gates are still required.", + "shape": [ + 8, + 9 + ], + "source_word_sha256": "be20da577573b70989a052d814b4701c72eaf9053e159078a28e7d1f90280d32", + "target": { + "1": 306, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3808, + "41": 416, + "49": 416, + "5": 1360, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10871 + } + } + }, + "claim": "911368305429/250000000000000", + "price": { + "after": { + "P": { + "1": 68401, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3842, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "S": 1424, + "T": { + "1": 306, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3808, + "41": 416, + "49": 416, + "5": 1360, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10871 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036454732217160198994804394888913226654165169213900780789576231055", + "raw_crossing": "0.0036454732217160198994804394888913226654165169213900780789576231055" + }, + "before": { + "P": { + "1": 68401, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5848, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "S": 1424, + "T": { + "1": 306, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3808, + "41": 416, + "49": 416, + "5": 1360, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 561, + "9": 10888 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036453723678327048470293552676012675338592174074882354127105617063", + "raw_crossing": "0.0036453723678327048470293552676012675338592174074882354127105617063" + }, + "gate": { + "BIT_margin": "121216778283993/1000000000000000000", + "BIT_pin": "376669/100000000", + "H": "172680000000000000000000", + "alpha": [ + 1.0, + 1.0 + ], + "claim": "911368305429/250000000000000", + "compiler_gap": "1/1000000000000000000", + "delta": [ + 0.907989763909995, + 0.907989763909995 + ], + "derivative_upper": -381631.58262413816, + "gamma": [ + 0.9407201722450762, + 0.9407201722450762 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "3645473221716007/1000000000000000000": [ + "124375209709674049116861367074974228977517363293800099502608284457726117939321/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62187604854837024558430683537487114488758681646900049751304142228863058970639/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911368305429/250000000000000": [ + "31093802427418455120962581338783321495838179280705828530911121130132896434291/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124375209709673820483850325355133285983352717122823314123644484520531585739139/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "18227366108580099497402197444457/5000000000000000000000000000000000": [ + -2.9982745944880004e-29, + -2.9982745944880004e-29 + ], + "3645473221716007/1000000000000000000": [ + 5.001149904981008e-12, + 5.001149904981008e-12 + ], + "36454732217160198994804394888913/10000000000000000000000000000000000": [ + 8.78741947721793e-30, + 8.78741947721793e-30 + ] + }, + "moment_margins": { + "18227366108580099497402197444457/5000000000000000000000000000000000": [ + "-2998274594488000077155715462442283600237607300800473/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2998274594488000077155715462442283600237607262075141/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "3645473221716007/1000000000000000000": [ + "500114990498100846580611676667627844275707820277833764461908436331627/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "250057495249050423290305838333813922137853910138916882230954237640909/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36454732217160198994804394888913/10000000000000000000000000000000000": [ + "439370973860896498205509874021948558906947296422573/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "54921371732612062275688734252743569863368414477429/6250000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/10000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36454732217160198994804394888913/10000000000000000000000000000000000", + "18227366108580099497402197444457/5000000000000000000000000000000000" + ], + "tested": "3645473221716007/1000000000000000000", + "written_log_power": 2237 + }, + "native_baseline_rejects_new_claim": true, + "new_native": "be20da577573b70989a052d814b4701c72eaf9053e159078a28e7d1f90280d32", + "old_native": "56e1a5e60cecf14991b3169b4575f0b7388d48fa39f261d7a20c7627a8d9e540", + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "1955061275082059099891104008886487760526215701495173560117706852920983990372083/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "3910122550164118199782208017772975521052431402990347120235413705841968015509771/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003645473221716", + "gain": "1.00853884E-7", + "gain_exact": "25213471/250000000000000", + "independent_raw_bracket": [ + "0.00364547322171601989948043948889132", + "0.00364547322171601989948043948889133" + ], + "previous_claim": "455671545979/125000000000000", + "raw_bracket": [ + "0.0036454732217160198994804394888913", + "0.0036454732217160198994804394888914" + ] + } + }, + "status": "PASS_FUNDED_SHORTER_RETURN_CALLER" +} diff --git a/research/p104-funded-shorter-return/SOURCES.json b/research/p104-funded-shorter-return/SOURCES.json new file mode 100644 index 0000000000..6b97e903a6 --- /dev/null +++ b/research/p104-funded-shorter-return/SOURCES.json @@ -0,0 +1,36 @@ +{ + "schema_version": 1, + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "75d77b328ea02ded535e7f23aee5b1e55d0bb1a8", + "sha256": "154c3d30455d778fd3343b6b4851f0fa4665f0f7625b0adb3675e2bafbbf6bf1" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec", + "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81" + }, + { + "path": "docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md", + "usage": "provenance", + "git_blob": "3dd1af2285e597676725e85ad4f65e7ad326d695", + "sha256": "4501502c2ceb9759b20372435fe4beb51082c5a5e2910c1fd5dbe6edca415055" + }, + { + "path": "research/final4610-independent-admission/checks/outer.py", + "usage": "input", + "git_blob": "39e62cac780b662903582cb5f8684990fa779bb3", + "sha256": "196be1bc2329500f2c7c995deaf5a82aecc5e27f0fef7805470cb65d187bb1c0" + }, + { + "path": "certificates/frontier7000/CLAIM.json", + "usage": "input", + "git_blob": "c9b816f8445be9dc19b2259e03e9d8709d18c87a", + "sha256": "3f8add8252adb223b60418ec69351a69b6b5edfe601ec1c6b4b65cd9e2afd9b2" + } + ] +} diff --git a/research/p104-funded-shorter-return/TASK.json b/research/p104-funded-shorter-return/TASK.json new file mode 100644 index 0000000000..5b0b0c74fe --- /dev/null +++ b/research/p104-funded-shorter-return/TASK.json @@ -0,0 +1,128 @@ +{ + "schema_version": 1, + "task_id": "p104-side-correction", + "priority_revision": 8, + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "original_card": { + "id": "p104-side-correction", + "question": "Can joint helper bases and a legal causal split improve the complete P104 productive/paid invoice?", + "starting_points": [ + "docs/research/current-priorities.md", + "docs/research/research-family-status.md", + "certificates/selected-result.json", + "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md", + "research/p104-helper-subspace-splits/README.md", + "research/dyadic-helper-channel-capacity/README.md" + ], + "methods": [ + "Construct and independently check one source-bound instance of the stated first experiment.", + "Seek an exact counterexample or target-specific complete-budget obstruction to that same proposed change." + ], + "acceptance_gate": "An exact arbitrary-input identity, source/target frame availability and restoration at the chosen cut, plus the complete channel+correction+idle/hosting bill or an explicit favorable bound. The native channel alone is not a supplier. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_selected_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read revision 8, the selected review and live exact-source handoffs. Then follow this card's bounded first_experiment.", + "scope": "Source-bound orientation only, not a supplier replay or theorem proof." + }, + "first_experiment": "Start with the selected #5599 emitted word and review pending #5718 distinct input/output bases plus #5717/#5719 coverage before claiming work. Pick one uncovered source word, helper group and cut region. Prove the arbitrary-input relation and legal entry/exit corrections, then compare full target and paid profiles. Reject if completion, owned lifetimes or consumer costs repay the gain. A static pairing rank alone is not a physical split.", + "bottleneck_link": "Judge the actual current supplier contract and complete signed target/paid bill; frozen-profile ceilings require an applicability proof.", + "allowed_variations": [ + "One exact source head, helper/cut region or quantified proposition and changed hypothesis; check live handoffs first. Different seeds are not different scopes." + ], + "scope_change_triggers": [ + "Changing source head, helper/cut domain, operation alphabet or caller boundary without recording the new scope.", + "Treating an archived proposal or local numerical pass as complete supplier admission." + ], + "overlap_terms": [ + "P104", + "helper basis", + "helper split", + "5718", + "dyadic capacity" + ], + "existing_checks": [ + { + "scope": "PR #4133: literal-slot defect", + "evidence": "research/p104-literal-slot-defect/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "88666f1dee93fbd85b31fd5d6f91a219e111b5f4", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4136: uniform commutation gap", + "evidence": "research/p104-uniform-commutation-gap/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "281ce601a8be9db470de630759179c23e1dfaa88", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4140: uniform encoding gap", + "evidence": "research/p104-uniform-encoding-gap/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "de25c6525aa866962309df5d107b32d55e6e5628", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4153: source-chart shortcut exhausts its optimistic allowance", + "evidence": "research/p104-source-chart-shortcut/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "9123241fea53df77e51ffe30d9aca1625d4bf3a8", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #4154: fiber-tag seam mismatch", + "evidence": "research/p104-fiber-tag-seam/README.md", + "remaining": "Independently validate the stated scope or change its producer/consumer premise and pay the complete boundary.", + "status": "author-checked", + "source_commit": "4ffcdaee5d6255a9cea1fe53a5424435068089d0", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "Selected PR5599: complete helper-subspace construction and independent caller replay; five framework assumptions remain.", + "evidence": "docs/research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md", + "remaining": "The next experiment must identify uncovered source-specific work. Successor archive intake does not transfer this admission.", + "status": "reviewed", + "source_commit": "09dd0965711ca7eeb169057a420abab1c9052137", + "selected_record_sha256": "2a0220e866417774606e0f991e41b9c1d26b1f43b97857238cf478dbc7d330b5" + } + ] + }, + "scope_status": "changed", + "actual_scope": "On exact #7244, route existing continuation 1499 through chart 245 after the external donor reads, apply the late correction there, and return helper 991 at rank eight; fully replay the signed #7113 caller.", + "scope_change_reason": "The fixed itinerary does not admit an earlier balanced retirement in the tested helper space. A paid midpoint carries the exact common correction and allows a shorter terminal return.", + "bottleneck_link": "The exact signed target and paid moments improve after billing the move and the target debit across all 17 native occurrences.", + "budget_minutes": 60, + "stop_rule": "Stop at one replayed literal improvement; reject if arbitrary dirty inputs, native phase/ownership, or the full signed compiler/outer gates fail.", + "outcome": "completed", + "evidence": "PROOF.md, exact #7244 archive and INPUTS.json, certificate.py, emitted WORD.json.gz, all stage receipts and PROPOSED-CLAIM.json.", + "author": "Clear1nsight", + "ai_assistance": "Substantial OpenAI Codex and verified ChatGPT Pro assistance. Pro analyzed and excluded a fixed-itinerary alternative; Codex found and implemented the midpoint witness and ran the source-bound checks.", + "open_questions": [ + { + "question": "Should this candidate be selected as the conditional frontier?", + "why_it_matters": "The signed caller improves #7244 and selected #7000 with the same framework assumptions.", + "first_step": "Replay the exact published package and compare its directed price and application to #7000 and #7244.", + "blocked_by": "Maintainer decision and independent human or formal review." + }, + { + "question": "Can the chart-245 correction use a continuation already visiting that chart?", + "why_it_matters": "Avoiding the rank-five fission would retain more of the shorter-return gain.", + "first_step": "Compare exact chart-245 prefix rows before the terminal basis to the needed 1499 row.", + "blocked_by": "No witness in the fixed-itinerary row-span screen." + } + ], + "overlap": { + "observed": "2026-11-11 UTC", + "canonical": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19543102", + "changed_contract": "Paid itinerary and one productive boundary change. #7245/#7259 keep the target boundary fixed; #7246 concerns a one-input fixed monomial decoder; #7271/#7272 are BIT. Bounded GitHub title/body and discussion checks are not a proof of novelty." + } +} diff --git a/research/p104-funded-shorter-return/VERIFY.json b/research/p104-funded-shorter-return/VERIFY.json new file mode 100644 index 0000000000..3f3b23f32a --- /dev/null +++ b/research/p104-funded-shorter-return/VERIFY.json @@ -0,0 +1,55 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "certificates/frontier7000/CLAIM.json", + "research/final4610-independent-admission/checks/outer.py" + ], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py", + "early" + ], + "timeout_seconds": 180, + "checks": "Authenticate exact #7244 inputs, rebuild the shorter-return word, check all arbitrary-input adjoint columns, both signed price engines and packing ceiling." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py", + "native" + ], + "timeout_seconds": 480, + "checks": "Independent affine correction delta, actual changed physical maps, all forward and adjoint coefficients, ownership, common grid and precision, signed route prices and rejecting controls." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py", + "caller" + ], + "timeout_seconds": 495, + "checks": "Actual signed 17-stage caller, every physical map in the full catalogue, exact grids and costs, two complete prices and all 54 strict and four functional outer predicates." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/frontier.py" + ], + "timeout_seconds": 45, + "checks": "Derive exact frontier proposal and independently check all outer savings, strict slack and actual BIT mutations. Also reject an actual output-invisible dirty-COPY mutation." + } + ] +} diff --git a/research/p104-funded-shorter-return/WORD.json.gz b/research/p104-funded-shorter-return/WORD.json.gz new file mode 100644 index 0000000000..8701c521b5 Binary files /dev/null and b/research/p104-funded-shorter-return/WORD.json.gz differ diff --git a/research/p104-funded-shorter-return/certificate.py b/research/p104-funded-shorter-return/certificate.py new file mode 100644 index 0000000000..a4f4556978 --- /dev/null +++ b/research/p104-funded-shorter-return/certificate.py @@ -0,0 +1,89 @@ +# SPDX-License-Identifier: Apache-2.0 +"""Independent exact scalar proof of the correction and retimed terminal basis.""" +from copy import deepcopy +from fractions import Fraction as Q + + +def need(ok, message): + if not ok: + raise ValueError(message) + + +def accumulate(a, b, k): + out = a.copy() + for i,v in b.items(): + value = out.get(i,0)+k*v + if value: + out[i] = value + else: + out.pop(i,None) + return out + + +def replay(program, values): + """Normalized chart coordinates; the native stage separately proves the maps.""" + state = values.copy() + for e in program: + op,r,*args = e + if op=="MOVE": + continue + if op in ("INIT","CLEAR"): + state.pop(r,None) + elif op=="SCALE": + state[r] = {i:Q(args[0])*v for i,v in state.get(r,{}).items() if Q(args[0])*v} + elif op=="ADD": + state[r] = accumulate(state.get(r,{}),state.get(args[0],{}),Q(args[1])) + else: + raise ValueError("Unexpected non-ADD operation in changed suffix") + return {r:a for r,a in state.items() if a} + + +def check_affine(old, new): + p,q = old["program"],new["program"] + first, after, end = 45667,45677,76416 + shift = 3 + n = old["public"]+old["owned_fields"] + independent = {r:{r:Q(1)} for r in range(n)} + need(p[:first]==q[:first], "Original prefix, all earlier guards and phases preserved") + a,b = replay(p[first:after],independent),replay(q[first:after+shift],independent) + actual = {r:v for r in a.keys()|b.keys() if (v:=accumulate(b.get(r,{}),a.get(r,{}),-1))} + want = {r:{1499:Q(-8)} for r in (988,991)} + need(actual==want, "Exact early shifts after all external consumers") + mid=p[after:end] + need(mid==q[after+shift:end+shift], "All events of the original middle word preserved") + result = replay(mid,actual) + need(result=={r:{1499:Q(-8)} for r in (991,1500)}, "Second retirement preserves both equal corrections") + tail = independent | {r:accumulate(independent[r],v,1) for r,v in result.items()} + need(replay(p[end:],independent)==replay(q[end+shift:],tail), "Same arbitrary-input normalized terminal map") + return {"status":"PASS_SHORTER_RETURN_AFFINE_DELTA", "compared_coefficient_domain":"all independent cut coordinates", + "early_changed_roles":[988,991], "tail_changed_roles_before_basis":[991,1500], + "donor_shift":"-8 times role 1499", "guard_prefix_preserved":True, "events":len(p)} + + +def check(old, new): + receipt = check_affine(old,new) + controls = {} + program = new["program"] + correction = program.index(["ADD",988,1499,"-8",245]) + consumer = program.index(["ADD",779,988,"-1/2",245],45667) + rotate = program.index(["SCALE",1500,"2",245],76416) + + def reject(name, bad, reason): + try: + check_affine(old,new|{"program":bad}) + except ValueError as exc: + need(str(exc)==reason, "Expected exact rejection for "+name) + controls[name]=True + else: + raise ValueError("Control accepted: "+name) + + bad = deepcopy(program) + bad[correction][-2]="0" + reject("omitted_988_correction",bad,"Exact early shifts after all external consumers") + bad = program.copy() + bad[correction],bad[consumer] = bad[consumer],bad[correction] + reject("premature_correction_changes_779",bad,"Exact early shifts after all external consumers") + bad = deepcopy(program) + bad[rotate][-2]="1" + reject("wrong_terminal_basis",bad,"Same arbitrary-input normalized terminal map") + return receipt,controls diff --git a/research/p104-funded-shorter-return/construct.py b/research/p104-funded-shorter-return/construct.py new file mode 100644 index 0000000000..6abd26f8f3 --- /dev/null +++ b/research/p104-funded-shorter-return/construct.py @@ -0,0 +1,71 @@ +# SPDX-License-Identifier: Apache-2.0 +"""Route one existing continuation through the donor return chart.""" +from collections import Counter +from copy import deepcopy + + +def need(ok, reason): + if not ok: + raise ValueError(reason) + + +def delta(a, b): + return {k: a.get(k, 0)-b.get(k, 0) for k in a.keys() | b.keys() if a.get(k, 0)!=b.get(k, 0)} + + +def profiles(w): + ranks = list(map(len, w["frames"])) + main = set(w["live"]) | {i+112 for i in w["live"]} | set(w["hosted"]["X2"] + w["hosted"]["Y2"]) + target = Counter(ranks[b]-ranks[a] for i,(a,b) in enumerate(zip(w["initial"], w["final"], strict=True)) if i not in main) + paid = Counter(abs(ranks[e[3]]-ranks[e[2]]) for e in w["program"] if e[0]=="MOVE") + return target, paid + + +FIRST, RETIMED, CORRECT, TAIL = 45667, 45668, 45677, 76416 +LATE = [76433, 76434, 76441, 76442, 76443] + + +def construct(old, _witness=None): + p = old["program"] + need((old["public"], old["owned_fields"], len(p)) == (1501,67,76444), "Exact incumbent inventory") + need([old["initial"][i] for i in (988,991,1499,1500)] == [3,3,1091,245] and + [old["final"][i] for i in (988,991,1499,1500)] == [245,127,127,127], "Exact donor boundaries") + need(p[FIRST:CORRECT] == [ + ["MOVE",1499,1091,127,False], ["ADD",1000,1499,"1",127], + ["ADD",991,1565,"8",1091], ["MOVE",991,1091,245,False], + ["ADD",996,991,"1",245], ["ADD",988,1565,"8",1091], + ["MOVE",988,1091,245,False], ["ADD",996,988,"-1",245], + ["ADD",779,991,"1",245], ["ADD",779,988,"-1/2",245], + ], "Exact moves, retimed ADD and external consumer clocks") + need(p[TAIL:TAIL+2] == [["MOVE",1500,245,127,False],["MOVE",991,245,127,False]], + "Exact terminal exits") + need([p[i] for i in LATE] == [ + ["ADD",1500,1499,"-8",127], ["ADD",991,1499,"-8",127], + ["SCALE",1500,"2",127], ["ADD",991,1500,"1/2",127], ["ADD",1500,991,"-1",127], + ], "Exact terminal basis and correction") + need(p[58907:58920] == [ + ["ADD",1566,988,"1",245], ["ADD",1566,991,"-1",245], ["INIT",1567,245], + ["ADD",1567,1500,"1",245], ["ADD",1567,1566,"-1",245], + ["ADD",1500,988,"1",245], ["ADD",1500,1566,"-1",245], ["ADD",1500,1567,"-1",245], + ["ADD",988,1566,"1",245], ["ADD",988,1500,"-1",245], ["CLEAR",1566,245], + ["ADD",1500,1567,"1/2",245], ["ADD",991,1567,"-1/2",245], + ], "Exact late antisymmetric cut") + # No scalar consumer sees a shifted donor except the exact late cut above. + for i,e in enumerate(p[CORRECT:TAIL],CORRECT): + roles = e[1:3] if e[0] in ("ADD","COPY") else e[1:2] + need(not set(roles)&{988,991,1500} or 58907<=i<58920, "No intervening donor or continuation contact") + need(not any(e[1] == 1499 for e in p[FIRST+1:]), "Continuation retains its exact terminal value") + early = [["MOVE",1499,1091,245,False],*p[RETIMED+1:CORRECT], + ["ADD",988,1499,"-8",245],["ADD",991,1499,"-8",245], + ["MOVE",1499,245,127,False],p[RETIMED]] + tail = [[*p[i][:-1],245] for i in LATE[-3:]] + [p[TAIL]] + out = deepcopy(old) + out["final"][991] = 245 + omit = {TAIL+1,*LATE} + out["program"] = [*p[:FIRST],*early,*p[CORRECT:TAIL],*tail, + *(e for i,e in enumerate(p[TAIL+2:],TAIL+2) if i not in omit)] + before, after = profiles(old), profiles(out) + need(delta(after[0],before[0]) == {8:1,9:-1} and delta(after[1],before[1]) == {4:1,5:-1}, + "Exact paid and target rank deltas") + need(len(out["program"]) == len(p), "Instruction count preserved") + return out diff --git a/research/p104-funded-shorter-return/frontier.py b/research/p104-funded-shorter-return/frontier.py new file mode 100644 index 0000000000..6cc5651b75 --- /dev/null +++ b/research/p104-funded-shorter-return/frontier.py @@ -0,0 +1,142 @@ +# SPDX-License-Identifier: Apache-2.0 +"""Derive a proposed frontier claim and independently check the actual outer rows.""" + +import argparse +from fractions import Fraction as Q +from hashlib import sha256 +import gzip +import json +from pathlib import Path +import runpy + +HERE = Path(__file__).resolve().parent +ROOT = HERE.parents[1] +SELECTED = "certificates/frontier7000/CLAIM.json" +OUTER = "research/final4610-independent-admission/checks/outer.py" + + +def require(condition, message): + if not condition: + raise ValueError(message) + + +def read(path): + return json.loads(path.read_bytes()) + + +def actual_copy_guard(program, n, owned): + rows = [{r: Q(1)} if r < n else {} for r in range(n + owned)] + for event in program: + op, r = event[:2] + if op == "COPY": + require(not rows[r], "Actual COPY destination is dirty") + return + if op in ("INIT", "CLEAR"): + rows[r] = {} + elif op == "SCALE": + q = Q(event[-2]) + rows[r] = {j: q*x for j, x in rows[r].items()} + elif op == "ADD": + q = Q(event[-2]) + for j, x in rows[event[2]].items(): + value = rows[r].get(j, 0) + q*x + if value: + rows[r][j] = value + else: + rows[r].pop(j, None) + raise ValueError("Missing actual COPY") + + +def check_copy_control(): + raw = gzip.decompress((HERE / "WORD.json.gz").read_bytes()) + require(sha256(raw).hexdigest() == read(HERE / "NATIVE-RESULT.json")["word_canonical_sha256"], "Exact candidate word") + word = json.loads(raw) + program = word["program"] + indexes = [i for i, e in enumerate(program) if e[0] == "COPY"] + require(len(indexes) == 1, "One literal COPY") + i = indexes[0] + n, owned = word["public"], word["owned_fields"] + actual_copy_guard(program, n, owned) + _, dst, src, _, chart = program[i] + corrupt = [*program[:i], ["ADD", dst, src, "1", chart], *program[i:]] + try: + actual_copy_guard(corrupt, n, owned) + except ValueError as error: + require(str(error) == "Actual COPY destination is dirty", "Actual dirty-COPY rejection") + else: + raise ValueError("Actual COPY mutation was accepted") + + +def run(): + pins = {x["path"]: x["sha256"] for x in read(HERE / "SOURCES.json")["files"]} + for name in (SELECTED, OUTER): + require(sha256((ROOT / name).read_bytes()).hexdigest() == pins[name], "Exact selected application source") + selected = read(ROOT / SELECTED) + check_copy_control() + receipt = read(HERE / "RESULT.json") + gate = receipt["price"]["gate"] + k, C = Q(gate["claim"]), Q(gate["tested"]) + gap = (C - k) / 7 + require(k > Q(".003645372367832") > Q(selected["kappa"]) and gap == Q(1, 10**18), "Strict improvement and funded gap") + bit = Q(selected["complex_BIT_premise"]) + require(Q(selected["admitted_BIT_saving"]) > bit > C, "Admitted BIT covers the fixed premise") + evaluator = runpy.run_path(str(ROOT / OUTER)) + params = evaluator["parameters"](k, C) | {"bit_saving": bit} + proof = evaluator["evaluate"](params) + strict, functional = proof["strict_checks"], proof["functional_checks"] + require(proof["all_positive"] and len(strict) == 54 and len(functional) == 4, "Every outer predicate") + epsilon, beta = 1-gap, 1-3*gap + a, q = k+4*gap, k+3*gap + xi = epsilon*(1+q)-Q(3,32)+gap + savings = { + "main_transform": epsilon*q, "global_coordinate_router": a, + "fused_gaussian": 1-epsilon+q*beta, "group_bit_router": 1-epsilon+a*beta, + "group_scans": 1-epsilon+beta, "boundary_algebraic_matrix": Q(3,32)+xi-epsilon, + "sparse_union_movement": xi+Q(1,2)-epsilon, "polynomial_products": epsilon, + "microbox_face_corrections": 1-(epsilon+beta+48-128+2), + } + require(savings == proof["margins"] and min(savings, key=savings.get) == "main_transform", "Nine independent outer savings") + low = min(savings.values()) + require(low > k, "Strict limiting outer slack") + for test in (a, a-Q(1,10**12)): + negative = evaluator["evaluate"](params | {"bit_saving": test}) + require(not negative["all_positive"] and negative["strict_checks"]["actual_bit_above_effective"] == test-a, + "Actual outer checker rejects insufficient BIT") + after, before = (receipt["price"][k] for k in ("after", "before")) + for key, wanted in (("T", {"8":17, "9":-17}), ("P", {"4":17, "5":-17})): + actual = {r: after[key].get(r,0)-before[key].get(r,0) + for r in after[key].keys() | before[key].keys() + if after[key].get(r,0) != before[key].get(r,0)} + require(actual == wanted, "Every actual signed occurrence: " + key) + require(receipt["price"]["price"]["baseline_rejects_new_claim"], "Complete #7244 bill rejects candidate price") + require(sum(after["T"].values()) == 22461 and sum(after["P"].values()) == 110553 and + after["S"] == 1424 and after["empty_root_credits"] == 0, "Complete actual signed invoice") + return selected | { + "kappa": str(k), + "source_result": "research/p104-funded-shorter-return/RESULT.json", + "uniform_templates": [dict(family="complex", rank_encoding="2^"+str(gate["H"]), saving=str(k+6*gap), ambient=153), + selected["uniform_templates"][1]], + "nine_outer_savings": {name: str(x) for name, x in savings.items()}, + "outer_formula_source": OUTER, + "limiting_outer_saving": str(low), + "strict_limiting_slack": str(low-k), + "scope": "Conditional application of the funded shorter-return supplier and exact #7113 signed caller. Maintainer selection, a materialized multiplier and formal-kernel acceptance remain open.", + } + + +def main(): + p = argparse.ArgumentParser(description=__doc__) + p.add_argument("--out", type=Path) + args = p.parse_args() + result = run() + if args.out: + with args.out.open("x") as f: + json.dump(result, f, indent=2) + f.write("\n") + else: + require(result == read(HERE / "PROPOSED-CLAIM.json"), "Every frozen frontier proposal field") + print("PASS_FUNDED_SHORTER_RETURN_FRONTIER_PROPOSAL", result["kappa"], flush=True) + + +if __name__ == "__main__": + main() diff --git a/research/p104-funded-shorter-return/inputs/pr7244.tar.gz b/research/p104-funded-shorter-return/inputs/pr7244.tar.gz new file mode 100644 index 0000000000..0414fff2db Binary files /dev/null and b/research/p104-funded-shorter-return/inputs/pr7244.tar.gz differ diff --git a/research/p104-funded-shorter-return/verify.py b/research/p104-funded-shorter-return/verify.py new file mode 100644 index 0000000000..f3a8a52120 --- /dev/null +++ b/research/p104-funded-shorter-return/verify.py @@ -0,0 +1,146 @@ +#!/usr/bin/env python3 +# SPDX-License-Identifier: Apache-2.0 +"""Rebuild the changed native and replay the signed caller from exact sources.""" +import argparse +from contextlib import contextmanager +from hashlib import sha1, sha256 +import importlib.util +import json +from pathlib import Path +import shutil +import subprocess +import sys +import tarfile +from tempfile import TemporaryDirectory + +HERE = Path(__file__).resolve().parent +sys.path.insert(0,str(HERE)) +from construct import need + +STAGES = {"early": "verify_early.py", "native": "verify_native.py", "caller": "verify.py"} +REPLAY = ("verify_early.py", "verify_native.py", "verify.py", "price.py", "adapt.py", + "derive_grid.py", "support.py") + + +@contextmanager +def predecessor(): + pin = json.loads((HERE/"INPUTS.json").read_bytes()) + archive = HERE/pin["archive"] + need(pin["source_head"] == "215f67247f395c0e15f5ea3980f6a3e4aed155af", "Exact #7244 head") + need(sha256(archive.read_bytes()).hexdigest() == pin["archive_sha256"], "Exact #7244 archive") + files = {r["path"]:r for r in pin["files"]} + need(len(files)==len(pin["files"]), "Unique archive paths") + with TemporaryDirectory(prefix="p104-shorter-source-") as tmp, tarfile.open(archive) as tar: + root = Path(tmp) + seen = set() + for member in tar: + if member.isdir(): + continue + name = member.name + target = root/name + need(member.isfile() and name in files and name not in seen and + target.resolve().is_relative_to(root), "Exact regular source inventory") + raw = tar.extractfile(member).read() + row = files[name] + blob = sha1(b"blob "+str(len(raw)).encode()+b"\0"+raw).hexdigest() + need((len(raw),sha256(raw).hexdigest(),blob)==(row["size"],row["sha256"],row["git_blob"]), + "Exact frozen source member "+name) + target.parent.mkdir(parents=True,exist_ok=True) + target.write_bytes(raw) + seen.add(name) + need(seen==set(files), "Every frozen source path") + yield root/pin["prefix"] + + +def load(name, path): + spec = importlib.util.spec_from_file_location(name,path) + mod = importlib.util.module_from_spec(spec) + sys.modules[name] = mod + spec.loader.exec_module(mod) + return mod + + +def adapt(work, old): + old.adapt(work) # first apply the exact published #7244 adapter + + def patch(name, before, after, count=1): + path = work/name + text = path.read_text() + need(text.count(before)==count, "Exact successor adapter anchor in "+name+": "+before) + path.write_text(text.replace(before,after)) + + path = work/"source.py" + raw = (old.HERE/"sources.py").read_text() + start,end = raw.index("def reference():"),raw.index("@contextmanager\ndef sources():") + path.write_text(raw[:start] + """def reference(): + root = Path((HERE / "INCUMBENT-DIRECTORY.txt").read_text().strip()) + word = read(root / "WORD.json.gz") + need(sha256(canonical(word)).hexdigest() == "56e1a5e60cecf14991b3169b4575f0b7388d48fa39f261d7a20c7627a8d9e540", + "Exact #7244 incumbent word") + return root, word + + +""" + raw[end:]) + + early,native,caller = (STAGES[k] for k in ("early","native","caller")) + patch(early,"construct(old,read(HERE/'WITNESS.json'))","construct(old)") + patch(early,"before['lifetimes']+4 and new['owned_fields']==old['owned_fields']+4", + "before['lifetimes'] and new['owned_fields']==old['owned_fields']") + patch(early,"'Two explicit added owned lifetimes and labels'","'Unchanged owned lifetimes and labels'") + patch(native,"needed=changed|{(3,1091),(1091,127),(3,245),(245,127),(3,127)}", + "needed=changed|{(1091,127),(1091,245),(245,127),(3,245),(3,127)}") + patch(native,"hit=read(HERE/'WITNESS.json');new=construct(old,hit)", + "hit={'pivots':[991], 'frames':[245]};new=construct(old)") + patch(native,"['native']['helpers'].values())+2","['native']['helpers'].values())") + patch(native,"oldN['lifetimes']+4==70","oldN['lifetimes']==70") + patch(native,"'Two explicit added owned lifetimes, exact peak and unchanged ascent'", + "'Unchanged owned lifetimes, exact peak and unchanged ascent'") + patch(native,"old['owned_fields']+4==67","old['owned_fields']==67") + patch(native,"'Two explicit added owned labels'","'Unchanged owned labels'") + patch(native,"=={1:1,4:1,5:1,8:-1} and delta(N['paid'],oldN['paid'])=={1:2}", + "=={8:1,9:-1} and delta(N['paid'],oldN['paid'])=={4:1,5:-1}") + patch(native,"len(old['program'])+95 and new['public']==old['public']+2==1501", + "len(old['program']) and new['public']==old['public']==1501") + patch(native," from certificate import controls as temporal_controls, vectors, check\n" + " snapshots=vectors(old,hit);timed_certificate=check(old,hit,snapshots)\n" + " controls=temporal_controls(old,hit,snapshots)", + " from certificate import check\n" + " timed_certificate,controls=check(old,new)\n" + " c=next(i for i,e in enumerate(new['program']) if e==['ADD',991,1499,'-8',245])\n" + " controls['omitted_early_991_correction']=bool(I.native(new,mutant=c)['bad_inputs'])") + patch(native,"A=new['public']+old['owned_fields']","A=new['public']+old['owned_fields']-1") + patch(native,"PASS_TWO_CUT_FUNDED_NATIVE","PASS_FUNDED_SHORTER_RETURN_NATIVE") + patch(caller,"PASS_TWO_CUT_FUNDED_CALLER","PASS_FUNDED_SHORTER_RETURN_CALLER") + patch("price.py","Entire reconstructed #7161 invoice","Entire reconstructed #7244 invoice") + + +def main(): + cli = argparse.ArgumentParser(description=__doc__) + cli.add_argument("stage",choices=STAGES) + cli.add_argument("--out",type=Path) + args = cli.parse_args() + out = args.out.resolve() if args.out else None + need(__debug__, "Assertions are proof obligations") + need(out is None or not out.exists(), "Keep prior receipts immutable") + with predecessor() as exact, TemporaryDirectory(prefix="p104-shorter-stage-") as tmp: + old = load("pr7244_stage_adapter",exact/"verify.py") + with old.parent_archive() as parent: + work = Path(tmp) + for f in REPLAY: + shutil.copyfile(parent/f,work/f) + for f in ("REFERENCE.json","INPUTS.json","construct.py","certificate.py", + "WORD.json.gz","EARLY-RESULT.json","NATIVE-RESULT.json","RESULT.json"): + if (HERE/f).is_file(): + shutil.copyfile(HERE/f,work/f) + shutil.copyfile(exact/"packing_reference.py",work/"packing_reference.py") + (work/"INCUMBENT-DIRECTORY.txt").write_text(str(exact)+"\n") + (work/"PARENT-DIRECTORY.txt").write_text(str(parent)+"\n") + adapt(work,old) + cmd = [sys.executable,"-I","-B",str(work/STAGES[args.stage])] + if out is not None: + cmd.extend(("--out",str(out))) + subprocess.run(cmd,cwd=work,check=True) + + +if __name__=="__main__": + main()