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-rank8-exit-funded-split/APPLICATION.md b/research/p104-rank8-exit-funded-split/APPLICATION.md new file mode 100644 index 0000000000..d18e650acf --- /dev/null +++ b/research/p104-rank8-exit-funded-split/APPLICATION.md @@ -0,0 +1,57 @@ +# Exact complete application + +The unchanged signed 17-stage caller hashes to +`255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc`. The native SHA256 is +`9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3`. The complete signed physical binding +contains **110,519 paid positions, 22,427 productive fields, surplus 1,424** +and zero empty credit. It charges all 17 added paid exit occurrences and +the changed targets on separate actual owners. Each original main +contact still has its absolute-phase translation. The physical +checker binds all 13,600 contact boundaries. + +The exact catalogue covers **3,036 paid/helper maps and 104 main +boundary pairs** with complete signed Pauli action and absolute Gaussian +phase. The native check compares 5 affected chart pairs on +all 512 columns and runs 18 inherited corruption controls. +The unchanged formal caller uses the 17 independent stage factors, +the signed central operator and the whole-factor LAMBDA convention of +the selected application proof. The literal rank-one exit is a nested +native MOVE with a charged whole-job adapter pair. + +## Precision and finite tape cost + +The native grid is **1125/F25**, the caller's odd scale is 675, and +the fresh precision context is **c = 2,430**. Full exact prefix rows +and separate products give the native grid, and the separate exact +integer replay agrees. The proof uses one complete root factor, with +`F=p+D`, `W=p+h+2D+3` and 26 temporary bits. Scalar numerators fit +the 24-bit contract. Fixed reduced divisors run in finite control +with exact remainder checks. Whole returns and charged scale/reciprocal +conversions support the same common-root induction as the selected review. + +The ordinary source-unit bill is **782,129,100 < 10^9**. The finite +tape count reserves 1,071 native banks and one serial QUERY/LAMBDA +bank, charges 43,760,000 scalar services at the retained step allowance, +and bounds 298,740 complete monomial maps by 25,471,767,360 elementary +records using actual ambient 145. The bit-step coefficient for scalar +services is 45,885,685,760,000. The compiler retains conservative +ambient 153. Every compiled occurrence's actual productive width, +paid count, routing, setup and storage terms enter the retained stock +formula. Reserve `O=63J+U+O_aux` for complex stock and carry the +simultaneous retained BIT stock. + +## Funded compiler and outer result + +The verified claim is **κ = 0.003644890067940**, with tested price +`C=0.00364489006794007`, gap `g=10^-17`, product power 1,920, +cutoff 11, completion floor 12 and offset 1/7. The funded +carrier is `2^16510400000000000000000`, with log power 2237. +The full repricing passes all 54 strict and four functional outer +predicates. Their least positive guard is `10^-18`. Use complex uniform +saving `κ+6g` and the retained weaker BIT premise `0.00376669`, +supplied by the selected admitted BIT `0.00385248`. +The five inherited assumptions remain explicit in [PROOF.md](PROOF.md). + +A separate exact evaluation of the nine outer savings gives limiting +slack `299635510993205997/10^34` above κ. Substituting BIT at or below +the effective saving into the pinned outer evaluator rejects both controls. diff --git a/research/p104-rank8-exit-funded-split/DISCOVERY.json b/research/p104-rank8-exit-funded-split/DISCOVERY.json new file mode 100644 index 0000000000..2ab3171d66 --- /dev/null +++ b/research/p104-rank8-exit-funded-split/DISCOVERY.json @@ -0,0 +1,29 @@ +{ + "group_size": 616, + "eligible_exits": 26, + "charts": 747, + "screen": { + "cases": 11, + "prefix_generators": 499, + "suffix_generators": 397, + "rational_pairs": 1, + "new_access_required_pairs": 1 + }, + "witness": { + "frame": 1031, + "cut": 42379, + "pivot": 1336, + "full_generators": [ + 114, + 86 + ], + "reference_generators": [ + 2, + 52 + ], + "reference_pair_windows": 0, + "boundary_instructions": 50 + }, + "status": "EXACT_CAUSAL_NOMINEE", + "scope": "Exact rational availability and bounded literal basis synthesis" +} diff --git a/research/p104-rank8-exit-funded-split/EARLY-RESULT.json b/research/p104-rank8-exit-funded-split/EARLY-RESULT.json new file mode 100644 index 0000000000..2f014f2bc8 --- /dev/null +++ b/research/p104-rank8-exit-funded-split/EARLY-RESULT.json @@ -0,0 +1,243 @@ +{ + "exit_extension": { + "move": [ + "MOVE", + 133, + 591, + 127, + false + ], + "omitted_extension_rejected": true, + "original_cut": 76220, + "wrong_source_rejected": true + }, + "gate": { + "BIT_margin": "12179993205993/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 1.0, + 1.0 + ], + "claim": "182244503397/50000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9066684778947387, + 0.9066684778947387 + ], + "derivative_upper": -381691.382745105, + "gamma": [ + 0.9407507620286742, + 0.9407507620286742 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "182244503397/50000000000000": [ + "12435616268822964624108204151994732023643370358542418433979015630224454754777/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124356162688229646241082041519947320236433703585424184339790156302244547549693/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364489006794007/100000000000000000": [ + "31089040672057983150912632412500092401132902361597748561959244574623506755013/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31089040672057983150912632412500092401132902361597748561959244574623506755499/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "364489006794007/100000000000000000": [ + 2.1150234102748054e-12, + 2.1150234102748054e-12 + ], + "36448900679400754544078619670439/10000000000000000000000000000000000": [ + 7.73624976984083e-30, + 7.73624976984083e-30 + ], + "911222516985018863601965491761/250000000000000000000000000000000": [ + -3.104015756527284e-29, + -3.104015756527284e-29 + ] + }, + "moment_margins": { + "364489006794007/100000000000000000": [ + "211502341027480531553379384024870327589034622358366451274129769433559/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "211502341027480531553379384024870327589034622358366451274129808297531/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36448900679400754544078619670439/10000000000000000000000000000000000": [ + "773624976984082980223062771948247773718705008389919/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "773624976984082980223062771948247773718705047289897/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911222516985018863601965491761/250000000000000000000000000000000": [ + "-3104015756527283602766646092015489002158505106995697/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-3104015756527283602766646092015489002158505068342321/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36448900679400754544078619670439/10000000000000000000000000000000000", + "911222516985018863601965491761/250000000000000000000000000000000" + ], + "tested": "364489006794007/100000000000000000", + "written_log_power": 2237 + }, + "invoice": { + "P": { + "1": 68367, + "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": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3791, + "41": 416, + "49": 416, + "5": 1343, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10888 + }, + "empty_root_credits": 0 + }, + "native": { + "bad_inputs": [], + "events": 76349, + "helpers": { + "1": 17, + "2": 21, + "3": 47, + "4": 223, + "5": 79, + "6": 43, + "7": 19, + "8": 34, + "9": 616 + }, + "lifetimes": 66, + "owned_peak": 48, + "paid": { + "1": 3999, + "2": 853, + "3": 829, + "4": 225, + "5": 344, + "6": 14, + "7": 10, + "8": 5 + }, + "public": 1499, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + } + }, + "native_delta": { + "P": { + "1": 1 + }, + "T": { + "4": 1, + "5": 1, + "8": -1 + } + }, + "packing": { + "ambient_cap": 145, + "claimed_fraction": [ + "12230221593216811008/19480695599365234375", + "16306962124289081344/25974260797119140625" + ], + "raw_ceiling": [ + "12766868667/2199023255552", + "3191717167/549755813888" + ], + "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": [ + "2337116490365366956039289279110037307025889205276376707432293767001594532441593/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "18696931922922935648314314232880298456207113642211013659458350136012756293809623/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.00364489006794", + "gain": "4.82172401E-7", + "gain_exact": "482172401/1000000000000000", + "independent_raw_bracket": [ + "0.00364489006794007545440786196704391", + "0.00364489006794007545440786196704392" + ], + "previous_claim": "3644407895539/1000000000000000", + "raw_bracket": [ + "0.0036448900679400754544078619670439", + "0.003644890067940075454407861967044" + ] + }, + "stationary": { + "accesses": [ + { + "cut": 0, + "interval": [ + 0, + 35561 + ], + "kind": "gathers", + "role": 1362 + }, + { + "cut": 0, + "interval": [ + 0, + 35607 + ], + "kind": "gathers", + "role": 1386 + } + ], + "after_clear": true, + "inside_moving_epoch": true, + "wrong_chart": true + }, + "status": "PASS_EXACT_NATIVE_AND_PRICE_ONLY", + "word_sha256": "9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3" +} diff --git a/research/p104-rank8-exit-funded-split/INPUTS.json b/research/p104-rank8-exit-funded-split/INPUTS.json new file mode 100644 index 0000000000..be4c4e13be --- /dev/null +++ b/research/p104-rank8-exit-funded-split/INPUTS.json @@ -0,0 +1,239 @@ +{ + "source_head": "b44944c3058d522cbff17836e16240d40d77a927", + "prefix": "research/p104-temporal-chart306-continuation", + "archive": "inputs/pr7156.tar", + "archive_sha256": "443c2d55a64a5837335b16e0d16627209a209ac0ab779fb5e010c5bb88c50e77", + "files": [ + { + "path": "research/p104-temporal-chart306-continuation/APPLICATION.md", + "size": 1766, + "sha256": "2bfab323ea36d454a436406293b9af552326059a0c78415a8acdb1565df449da", + "git_blob": "59e9242f1cef405ac4deada490b79467075c230e", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/DISCOVERY.json", + "size": 751, + "sha256": "66257c8841ff748d8496d8e8a5b3c509dcb94ee6353890ca76f5de036d5b15d2", + "git_blob": "fbac2b4b4633a9e6c88116ddd82211a0a9526cee", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/EARLY-RESULT.json", + "size": 6464, + "sha256": "5c110364cae0978eb76182fbdfd3dab8caacf15bd4b047d3f7a0b01bb0d136ca", + "git_blob": "a043f80516eeb132b8ecc4889e0ede8927c20c42", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/ENVIRONMENT.json", + "size": 422, + "sha256": "4f1dc37f969ba6c5f79e5a9b5b7b535f36e28b745208a2a235d32732ca6fd671", + "git_blob": "e3220cac1a117801ec069575924f2d5df0ea6354", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/INPUTS.json", + "size": 6346, + "sha256": "a21302c276e70c87cbb4fe90c6850e21459ab81097e9d2855f278c85d4516d06", + "git_blob": "67a771dcaca68b63bd941b7ba8c75aae5fd5b507", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/NATIVE-RESULT.json", + "size": 75496, + "sha256": "69664f6939c0ec4507ee4b849a289dbe4ede0b5c33d9dc95ae319827fc43af0d", + "git_blob": "3d84a6fa5f2a0f80f01ef7d17aaec3cef66765c7", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/NOTICE", + "size": 1527, + "sha256": "f86fdd80256d606ed8d8b441fcf62ede86d1dd41df96c612d1a4758aa03ab1fe", + "git_blob": "45ae369fa941ebc0dba6f2a956220ad4b4b0e339", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/PATHS.json", + "size": 1714, + "sha256": "60195cf6db4faa98a3e2b7ce5d1b00cd6345a4b87ab43030c9066da23f91e4a7", + "git_blob": "a33773333cf0c9736e14145503132784b22f2666", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/PROOF.md", + "size": 3863, + "sha256": "5f83545ee7c86549d14d9fb70282df330bba4fa25b16231bbd912e3bb4398c0c", + "git_blob": "574c819c0435135c40c77153611b8e059bbf7896", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/README.md", + "size": 3219, + "sha256": "0bdc24ae4a760397651d6b4c3acc266a1f12bc14a05c56a53b8a4ba60bc6c46b", + "git_blob": "707a73fc8ebe675b5b14c0e5e1843b95ebd09876", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/REPLAY-INTEGRITY.json", + "size": 2180, + "sha256": "3a6e46508aeaeefc034ccc94c34914b3b302a22f440323286a8052e54ca02224", + "git_blob": "f1ec322b54b7e1a4a91ef5edcb60e229f6560a86", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/REPLAY.txt", + "size": 3934, + "sha256": "fa9a262718c0f84ad9065adda58acadd56f20d0d6c498f3d3c58bdb48cec251e", + "git_blob": "17de7fe778d2e1bd4bb07d9cda17d3de0045494b", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/RESULT.json", + "size": 79518, + "sha256": "88fba8e4b5a6965545d4e32889be4c4c25db9d9b5d70c45147d20db4d56f1985", + "git_blob": "b27ddf273c75cb67d10603594904d5019d1d4cd1", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/SOURCES.json", + "size": 856, + "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372", + "git_blob": "c4150ae39789502a4adf89e8f5235995d458a72e", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/TASK.json", + "size": 12336, + "sha256": "0844a217ac68d8352fb6ac546545629c294f0ed777962827e79263be4c6a6e79", + "git_blob": "3a4342f07d0e7cfa5ed98f68199fabbff83f429b", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/VALIDATION.md", + "size": 873, + "sha256": "0421802826b0839812d21b18acf17d5489e4f37e2fb0379e408d7a9461fe4438", + "git_blob": "9196d02e04380c83f8deb6f8e3d09c3f6b6cae3d", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/VERIFY.json", + "size": 1264, + "sha256": "bfb84afc5cba1e96e085e90770d2dae567c2b15131932f026d0ed7ea39d1792e", + "git_blob": "f117234055e1ceb5643e317f5fa27cbcfd3fdcad", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/WITNESS.json", + "size": 2088, + "sha256": "d48dac72cf9b6d07e6903db5d0c00f903e74256815c5f9af79e734f540b79d6d", + "git_blob": "5abaa48c8078744013d091281237c87b53d03403", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/WORD.json.gz", + "size": 380570, + "sha256": "e950eab5cc3f3fc8a2554e488114d788741d3262381459688ebaea08cd0a4d50", + "git_blob": "d05462ff386d710b6ec3e4d7ebdbfdba1da496cf", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/adapt.py", + "size": 3488, + "sha256": "9aaa048b0ec709241d44747f9dc639107150202cdea827eebfb3635955a9ef44", + "git_blob": "e8dd3c99be6141711efafe27efc7b29f8208a251", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/certificate.py", + "size": 5858, + "sha256": "80ecaa921e6719047090fad7d672c85d10e4198c222fbcfe20fa3dd8fc357eee", + "git_blob": "b61ed8d86950af08d04dd87c084a0f0f7c89c58d", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/construct.py", + "size": 668, + "sha256": "8f0021a76a50abdfb943ee5e9c729bdac7e8208719248f55638b8d1bc14a3eec", + "git_blob": "011d4da0ab932d90a38e5185e5989e6a35daf320", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/derive_grid.py", + "size": 1510, + "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0", + "git_blob": "f8cb37f00bcd197d77bbb205dae3c1a40c0aa680", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/discover_temporal.py", + "size": 9123, + "sha256": "5c0dbcff3800c924cb425815f74aaec90b376f98c75d648e6ff20ff27b3ea5b1", + "git_blob": "0798cfea017516027a8b375c7af361c829cc940f", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/inputs/pr7155.tar", + "size": 25825280, + "sha256": "94eb795f165ab08f1cb60df1fb8b0b7c4945706e8ccdbd4927f97c09ccd3070b", + "git_blob": "7b2cb82cc0eddd42cc50259b22399b1ac81f90bd", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/price.py", + "size": 3736, + "sha256": "6c2c08c0885f822691f34a3a89995c17bfcfc83a650895a707b866ca0add101b", + "git_blob": "af0e88151fdae22fe992d971bedb41aa1dfb8b97", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/source.py", + "size": 2910, + "sha256": "6cf358a7a4ddc5fb96385038c1f626588d7d5d5244e2ddce4b56fdf1020efc38", + "git_blob": "e4320617cae507db6078b65be0ec7947ec61db8a", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/split.py", + "size": 6551, + "sha256": "999b9eeabe5cd1a7e3ec014d1a449f850b4ac9bfb19749cddef41ae12cd0b405", + "git_blob": "f1c76096534a7aea45a2f4b994d9de483695140d", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/support.py", + "size": 606, + "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6", + "git_blob": "192cd38d27e4b732981b98730459a041dcfb52e7", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/temporal_construct.py", + "size": 7156, + "sha256": "2e07135e9c733bd0a6d61eb1d9c2bfbf5b482f599dcb6f82238e15ee9bd93018", + "git_blob": "0e1fc67ac51f6a87843dc3772a39e746836ee183", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/verify.py", + "size": 3822, + "sha256": "002755b3eda0adfe05b9dfce01eb5866e20e3b8a3466747ce442b397f0364a97", + "git_blob": "9919cb0493554ffcace4fa37f04725eb1c59dc37", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/verify_early.py", + "size": 2669, + "sha256": "cf6da7c9264a55b0f83e8432410c78a7fcfc11192633303f266b8c3a8a0a5a1b", + "git_blob": "42d826cf35c0116646111c672238ea35a90e9cb0", + "git_mode": "100644" + }, + { + "path": "research/p104-temporal-chart306-continuation/verify_native.py", + "size": 12646, + "sha256": "bea75da89a5ddfa778b7934f38aa69923d27834466e22b533be5f220a0cb9fd7", + "git_blob": "e8b2fc0761bd7e5a0581505a19d50f54d6ea2e5d", + "git_mode": "100644" + } + ] +} diff --git a/research/p104-rank8-exit-funded-split/NATIVE-RESULT.json b/research/p104-rank8-exit-funded-split/NATIVE-RESULT.json new file mode 100644 index 0000000000..e84d81cb9e --- /dev/null +++ b/research/p104-rank8-exit-funded-split/NATIVE-RESULT.json @@ -0,0 +1,3155 @@ +{ + "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, + 591 + ], + "rank": 8 + }, + { + "columns": 512, + "pair": [ + 3, + 1031 + ], + "rank": 5 + }, + { + "columns": 512, + "pair": [ + 591, + 127 + ], + "rank": 1 + }, + { + "columns": 512, + "pair": [ + 1031, + 127 + ], + "rank": 4 + } + ], + "wrong_phase_rejected": true + }, + "controls": { + "extra_uncharged_owned_lifetime": true, + "gather_after_retirement": true, + "injection_before_retirement": true, + "insufficient_fractional_grid": true, + "insufficient_odd_grid": true, + "omitted_accumulator_init": true, + "omitted_gathers_observation": true, + "omitted_injections_observation": true, + "omitted_retiring_output_frame": true, + "output_invisible_copy_violation_detected": true, + "oversized_scalar_numerator_rejected": true, + "public_erasure_rejected": true, + "retirement_before_last_gather": true, + "wrong_boundary_scalar_coefficient": true, + "wrong_gathers_coefficient": true, + "wrong_injections_coefficient": true, + "wrong_move_source": true, + "wrong_productive_ranks": true + }, + "derived_grid": { + "coefficient_visits": 16445348, + "fractional_bits": 25, + "mass_witness": [ + 66145, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "841374570120675/8192", + "unscaled_maximum_mass": "11218327601609/122880" + }, + "forward": { + "coefficient_positions": 2439844, + "fractional_bits": 25, + "grid": 1125, + "rows": 1562 + }, + "gate": { + "BIT_margin": "12241992323593/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 0.9999999999999989, + 0.9999999999999989 + ], + "claim": "911067519191/250000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8865497635632512, + 0.8865497635632512 + ], + "derivative_upper": -406969.88246089773, + "gamma": [ + 0.9499092615731942, + 0.9499092615731942 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "364427007676407/100000000000000000": [ + "31083978045932704085004720345277331897315557421816450325268122258790648427007/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62167956091865408170009440690554663794631114843632900650536244517581296854977/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911067519191/250000000000000": [ + "124335912183728529942941892787088084050797106409767012450127078364888550531509/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62167956091864264971470946393544042025398553204883506225063539182444275266729/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "364427007676407/100000000000000000": [ + 3.538633804806846e-10, + 3.538633804806846e-10 + ], + "7288540153529849714921843166753/2000000000000000000000000000000000": [ + -2.825641104687549e-29, + -2.825641104687549e-29 + ], + "9110675191912312143652303958441/2500000000000000000000000000000000": [ + 1.313801979767721e-29, + 1.313801979767721e-29 + ] + }, + "moment_margins": { + "364427007676407/100000000000000000": [ + "17693169024034229453681833822236349099809066967561540013548652462983873/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "8846584512017114726840916911118174549904533483780770006774326241970299/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "7288540153529849714921843166753/2000000000000000000000000000000000": [ + "-1412820552343774533905873593822496795145613970088549/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-1412820552343774533905873593822496795145613949087293/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "9110675191912312143652303958441/2500000000000000000000000000000000": [ + "65690098988386051195980338892158733573449284640227/5000000000000000000000000000000000000000000000000000000000000000000000000000000", + "328450494941930255979901694460793667867246433786023/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "9110675191912312143652303958441/2500000000000000000000000000000000", + "7288540153529849714921843166753/2000000000000000000000000000000000" + ], + "tested": "364427007676407/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": 66213, + "CLEAR": 66, + "COPY": 1, + "INIT": 66, + "MOVE": 6279, + "SCALE": 3724 + }, + "owned_lifetimes": 66, + "owned_peak": 48, + "owned_rise_mass": 56, + "owned_rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "paid": { + "1": 3999, + "2": 853, + "3": 829, + "4": 225, + "5": 344, + "6": 14, + "7": 10, + "8": 5 + } + }, + "invoice": { + "P": { + "1": 72366, + "16": 416, + "2": 15354, + "24": 416, + "3": 14922, + "32": 416, + "4": 4050, + "40": 416, + "48": 416, + "5": 6192, + "56": 416, + "6": 252, + "64": 416, + "7": 180, + "8": 762, + "9": 32 + }, + "S": 1520, + "T": { + "1": 306, + "145": 208, + "17": 416, + "2": 378, + "25": 416, + "3": 846, + "33": 416, + "4": 4014, + "41": 416, + "49": 416, + "5": 1422, + "57": 416, + "6": 774, + "65": 416, + "7": 342, + "73": 416, + "8": 612, + "9": 11504 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036442700767649248574609215833764317386168371635133208366030557981", + "raw_crossing": "0.0036442700767649248574609215833764317386168371635133208366030557981" + }, + "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": 76349, + "helpers": { + "1": 17, + "2": 21, + "3": 47, + "4": 223, + "5": 79, + "6": 43, + "7": 19, + "8": 34, + "9": 616 + }, + "lifetimes": 66, + "owned_peak": 48, + "paid": { + "1": 3999, + "2": 853, + "3": 829, + "4": 225, + "5": 344, + "6": 14, + "7": 10, + "8": 5 + }, + "public": 1499, + "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": 856124152, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 264, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 143875848, + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "per_input_conversion": 2806128, + "raw_upper": 838149768, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2198, + "moves": 6279, + "owned_lifetime": 264, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9941000, + "scalar_upper": 2190316 + }, + "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": "28561954158623938922531692560642766391494492392367689614625428938422373576115933189891007776375965826458288179351112629097292414678114107654606763169415472185269275295522859443626986183641968861963081439996735507166776735131712260693910376328200323741286210742829836679103571985763840430715983477060492958320921131497808663746817/58140432535632220280812520816662271754240000000000000000000", + "strict_power_of_two": 896, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "18406866929544609433008853206170939700894940350225077733170458112402170416208334122919805978187795191022236783262801624109969758753654473722465667565597160221754376868225413566724805730549961581996338897058236801183370017709706833665855118465455515377110527026725726010483919692520843813190608037570956041685012835489180938283402397/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": "116044482027949903365895982952994652891251324772510891009732280451239543929527897840106130557096033250384478126275851149071529406307766550656957155196415253627600289887718823174838609425043634889916709060068345807464479242504217777853075694578218533562407780172094205656299365686165646664641097901424189970096430684313375067139512216351/826886151617880466216000296059196753838080000000000000000000", + "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": "18406866929544609433008853206170939700894940350225077733170458112402170416208334122919805978187795191022236783262801624109969758753654473722465667565597160221754376868225413566724805730549961581996338897058236801183370017709706833665855118465455515377110527026725726010483919692520843813190608037570956041685012835489180938283402397/279074076171034657347900099919978904420352000000000000000000", + "strict_power_of_two": 903, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "750647976492844413120179894223929905806766976196147877057203879020095939331872968077012288593568301199015298936463307188970075373276859985365889621817038025644880626714007282356974687446498303514417704683437484943039351275869560466284119776152887544441798357843310499366097905776125847111960128503692850788747408684527017102934014645851660929283571581380397860250280058413283843408115241869572739519571605511108480423817521583136056655757491260621626056947763355973779816925761/176057807053666752468389476329809504806851350557401715260582097728965839945728000000000000000000000000000000000000000", + "strict_power_of_two": 1198, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19782, + "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": "28561954158623938922531692560642766391494492392367689614625428938422373576115933189891007776375965826458288179351112629097292414678114107654606763169415472185269275295522859443626986183641968861963081439996735507166776735131712260693910376328200323741286210742829836679103571985763840430715983477060492958320921131497808663746817/58140432535632220280812520816662271754240000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "18406866929544609433008853206170939700894940350225077733170458112402170416208334122919805978187795191022236783262801624109969758753654473722465667565597160221754376868225413566724805730549961581996338897058236801183370017709706833665855118465455515377110527026725726010483919692520843813190608037570956041685012835489180938283402397/279074076171034657347900099919978904420352000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "18406866929544609433008853206170939700894940350225077733170458112402170416208334122919805978187795191022236783262801624109969758753654473722465667565597160221754376868225413566724805730549961581996338897058236801183370017709706833665855118465455515377110527026725726010483640618444672778533260137471036062780592483489180938283402397/279074076171034657347900099919978904420352000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "28561954158623938922531692560642766391494492392367689614625428938422373576115933189891007776375965826458288179351112629097292414678114107654606763169415472185269275295522859443626986183641968861963081439996735507166776735131712260693910376328200323741286210742829836679103571985763840430715983477060492958320921131497808663746817/58140432535632220280812520816662271754240000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "18406866929544609433008853206170939700894940350225077733170458112402170416208334122919805978187795191022236783262801624109969758753654473722465667565597160221754376868225413566724805730549961581996338897058236801183370017709706833665855118465455515377110527026725726010483919692520843813190608037570956041685012835489180938283402397/279074076171034657347900099919978904420352000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "3619270149544689602124249303360319617536059356027269087533571843657935187123185113335445031616219554539362502042371244152171237498960004444979950180187/10645831152764688772121433255004078080000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "10374827063389329952061165006998493121386528275616503927257824328029979102847404584370030341447679576826609307513877430142938620705852848909729286504155803909873/681333193776940081415771728320260997120000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "133885836609586510226029815112714059260250552771283837842774982951910608577386168122839734599751773158223540062055565529695131176241134095810315464928196558278289578421/34066659688847004070788586416013049856000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "475557760397570074386997589865461885573248532855093734251753409452520718473183155933478059167895174554516262057066844931817352901998377589933035031180062866240819798870000554237/227111064592313360471923909440086999040000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "853466683009048843272033984599601991860236310726671642843554492002408592303839219812778374808358016783036989113071256368915593507295690320840107009694623678682755950848168906634754563611/170333298444235020353942932080065249280000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "12941825094800784582071878128995411333201553278866890254585393173980637256085691962363236163069052439313978063454305599094360625882953146560131251518530208016276395430680291464028613535951961353989/1090133110043104130265234765312417595392000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "53413836612175833600346451249404488060948402660759009257196058367277220930616039467623128953568186624101875479734244650513388596290164789256462247345947885410761970064113725210355613490447888255524776103803/454222129184626720943847818880173998080000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "578157086642401083948818354207403171192358619442233246230248908735602727204071675660570557344725582378159517633498126042851134664998385319369151580663673756307772685206131144982808590718006765993019716205673697743627/2725332775107760325663086913281043988480000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "16593070279460004821429677734814868493229776384130318698268109911360625173563697263597250085858562142422192718913794460805358766870399457097694924712269286087902019902599891404371425533580275894650358506814940035977330542794135927396594435375128624553945450811/681333193776940081415771728320260997120000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "206983944569023057435641544370730264171267897626519562498617220349454912038393343223759592806077916097690789006094789583119568255700637856398986968900695169242505862721704459530008855367639998095282100304368058555678180553758098821744985104804688593888711274625547350629/10901331100431041302652347653124175953920000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "923049878001171460219482525621119058307904374756881236171476850275156789468580633228920454789722014047819958750209195149848372055621364687326929220160489769555327819743983933676254826682160484500733987581925268758342020269762706588607263536948314036880575491516425067239827192749/43605324401724165210609390612496703815680000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "99275801704287681881148256339902025436497235314930223913477423606510846878294088192237609358468352854331610126042477647799216763832727280229882792651141355993002273843380451656029512779642839564070887180787270124062335821116251846921370521368932603010196927212564322476006558745883225871/4845036044636018356734376734721855979520000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "609169636663266256683590546405513654900821567218625453673895672165863220712377931924613967792125350870070285395697302720762420800134789692374037330918199467431622614449615813769911238600286291587487531793219738989383875080969509870044900571221018346010504221167757533711633741897690956815962981173/87210648803448330421218781224993407631360000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "60113776222704397478678266174642055736559337189315552191780212870527608394328886767743378806930826265804884235966909711309660231605081690549978995323813095480965736851514120383603467517908840466287371345613509363232271309277435302701265501045684513456499641566083718119105184548206379647984745709022360939/43605324401724165210609390612496703815680000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "29365880557113534843365730657313544563800854413970706109312322819307991160860157149328365430008928207279232617710450010074344978609241732125407714656836350469400353313953292199121011621003752798008998901599180943629561791199856248447649841049511685300480004951451177907443310163172927754741744937040944977197501581/348842595213793321684875124899973630525440000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "60641915964081338756829249851224490774015946982596867485010831440108525814861854177053485292010947848189441991460337560589601339474089493701741107288935653235009637787608129875062336485555175472251410014522975400034019666315543116630351624067134680496587328328452995378599998813468719331998782925185762400604708561702419/69768519042758664336975024979994726105088000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "28561954158623938922531692560642766391494492392367689614625428938422373576115933189891007776375965826458288179351112629097292414678114107654606763169415472185269275295522859443626986183641968861963081439996735507166776735131712260693910376328200323741286210742829836679103571985763840430715983477060492958320921131497808663746817/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": "25644756641309773204499715182067154753640655532996075189246670424342881345155813487719928577675093971877014167583684151460219920536239411929200177/42583324611058755088485733020016312320000000000000000000", + "strict_power_of_two": 299, + "witness": { + "cut": 76349, + "factor": "1", + "kind": "public-return", + "register": 1498 + } + }, + "M": { + "exact": "26281394204471659888223645870046127062271058529103906740924080498292768335410526105784514321102978706962592713956752093599490780744495562301020762433/3028147527897511472958985459201159987200000000000000000000", + "strict_power_of_two": 303, + "witness": { + "cut": 76349, + "factor": "1", + "kind": "stored", + "register": 1498 + } + }, + "Sigma": { + "exact": "25644756641309773204499715182067154753640655532996075189246670424342881345155813487719928577675093971877014167583684151460219920536239411929200177/42583324611058755088485733020016312320000000000000000000", + "strict_power_of_two": 299, + "witness": { + "cut": 76349, + "factor": "1", + "kind": "stored", + "register": 1498 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 76349, + "lifetimes": 66, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 66213, + "CLEAR": 66, + "COPY": 1, + "INIT": 66, + "MOVE": 6279, + "SCALE": 3724 + }, + "owned_labels": 63, + "peak_owned": 48, + "public": 1499, + "scalars": { + "dyadic": 64038, + "integer": 39714, + "noninteger": 30224, + "odd": 5900 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26545, + "entrance_mass": "26281394204471659888223645870046127062271058529103906740924080498292768335410526105784514321102978706962592713956752093599490780744495562301020762433/3028147527897511472958985459201159987200000000000000000000", + "residual_mass": "25644756641309773204499715182067154753640655532996075189246670424342881345155813487719928577675093971877014167583684151460219920536239411929200177/42583324611058755088485733020016312320000000000000000000" + }, + "M": { + "active_residual_sites": 26545, + "entrance_mass": "26281394204471659888223645870046127062271058529103906740924080498292768335410526105784514321102978706962592713956752093599490780744495562301020762433/3028147527897511472958985459201159987200000000000000000000", + "residual_mass": "25644756641309773204499715182067154753640655532996075189246670424342881345155813487719928577675093971877014167583684151460219920536239411929200177/42583324611058755088485733020016312320000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26545, + "entrance_mass": "26281394204471659888223645870046127062271058529103906740924080498292768335410526105784514321102978706962592713956752093599490780744495562301020762433/3028147527897511472958985459201159987200000000000000000000", + "residual_mass": "25644756641309773204499715182067154753640655532996075189246670424342881345155813487719928577675093971877014167583684151460219920536239411929200177/42583324611058755088485733020016312320000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 16445348, + "dyadic_height": 25, + "mass_witness": [ + 66145, + "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": [ + "49483583381670045816131845218222479659693277356411037709978051560469901286833/250000000000000000000000000000000000000000000000000000000000000000000000000000", + "9896716676334009163226369043644495931938655471282207541995610312093980276055457/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003644270076764", + "gain": "4.78166103E-7", + "gain_exact": "478166103/1000000000000000", + "independent_raw_bracket": [ + "0.00364427007676492485746092158337643", + "0.00364427007676492485746092158337644" + ], + "previous_claim": "3643791910661/1000000000000000", + "raw_bracket": [ + "0.0036442700767649248574609215833764", + "0.0036442700767649248574609215833765" + ] + }, + "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": "9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3" + }, + "source_head": "b44944c3058d522cbff17836e16240d40d77a927", + "status": "PASS_FUNDED_EXIT_NATIVE", + "timed_certificate": { + "boundary_pairing": "1", + "earliest_injection": 42382, + "gather_count": 12, + "injection_count": 5, + "latest_gather": 42379, + "retirement_cut": 42379, + "status": "PASS_EXACT_GUARDED_TIMED_OBSERVATIONS", + "vectors": { + "c": { + "1001": "-1/4", + "1008": "-11", + "1017": "-2", + "1030": "-105/4", + "1032": "15/2", + "1039": "6", + "1043": "5/2", + "1120": "13/8", + "1134": "5", + "1207": "-3/2", + "1234": "105/16", + "1235": "3/2", + "1242": "10", + "1272": "-1/4", + "1284": "2", + "1307": "-4", + "133": "-3", + "1331": "-3/2", + "1336": "2", + "21": "1/2", + "270": "-3", + "348": "-3/8", + "370": "-3", + "372": "1/8", + "445": "-2", + "482": "-7", + "483": "-3/4", + "494": "19/2", + "495": "9/2", + "497": "1/2", + "506": "1/4", + "507": "2", + "518": "7/2", + "519": "-11", + "553": "-21/2", + "671": "-15/4", + "688": "27/8", + "695": "-5/2", + "711": "3/4", + "757": "5/16", + "767": "1/4", + "901": "10", + "924": "1/2" + }, + "d": { + "1230": "-1/4", + "1236": "-1/2", + "1241": "-1/4", + "1242": "-1/2", + "1247": "1/2", + "1248": "1", + "133": "-2", + "1336": "1", + "445": "1" + } + } + }, + "word_canonical_sha256": "9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3" +} diff --git a/research/p104-rank8-exit-funded-split/NOTICE b/research/p104-rank8-exit-funded-split/NOTICE new file mode 100644 index 0000000000..ad393f2b6e --- /dev/null +++ b/research/p104-rank8-exit-funded-split/NOTICE @@ -0,0 +1,14 @@ +Prepared for Clear1nsight with substantial OpenAI Codex and ChatGPT Pro +assistance. New work is Apache-2.0. + +Rohan Arun supplied the exact #7156 word, its directed supplier/caller +application, and the signed #7113 caller. His #7142 charged an input +boundary for a different split. Ali Romman supplied the causal-history +owned-buffer identity. Jerry Chen / CubeJerry supplied contact-free +retiming and temporal verification. Matarener supplied the helper +kernels. dillona supplied the temporal constructor, chart-595 source and +scalar-width work. ToikY supplied the pricing engines and earlier chart +leads. The #7155 composition and guarded suffix retain their authors. +Douglas Colkitt and the #7000/#7001 reviewers supplied the retained +all-width application and fixed-tape proof. All original source credits, +licenses and notices remain in the authenticated #7156 archive. diff --git a/research/p104-rank8-exit-funded-split/PATHS.json b/research/p104-rank8-exit-funded-split/PATHS.json new file mode 100644 index 0000000000..de49fca679 --- /dev/null +++ b/research/p104-rank8-exit-funded-split/PATHS.json @@ -0,0 +1,197 @@ +[ + { + "role": 1332, + "lo": 35541, + "hi": 35553, + "moves": [ + 35552 + ], + "frames": [ + 3, + 1031 + ], + "frame": 1031 + }, + { + "role": 767, + "lo": 35552, + "hi": 35555, + "moves": [ + 35554 + ], + "frames": [ + 3, + 1031 + ], + "frame": 1031 + }, + { + "role": 696, + "lo": 31268, + "hi": 35557, + "moves": [ + 35556 + ], + "frames": [ + 3, + 1031 + ], + "frame": 1031 + }, + { + "role": 699, + "lo": 35552, + "hi": 35559, + "moves": [ + 35558 + ], + "frames": [ + 3, + 1031 + ], + "frame": 1031 + }, + { + "role": 697, + "lo": 35570, + "hi": 35580, + "moves": [ + 35579 + ], + "frames": [ + 3, + 1031 + ], + "frame": 1031 + }, + { + "role": 1334, + "lo": 35574, + "hi": 35584, + "moves": [ + 35583 + ], + "frames": [ + 3, + 1031 + ], + "frame": 1031 + }, + { + "role": 1336, + "lo": 32013, + "hi": 35598, + "moves": [ + 35597 + ], + "frames": [ + 3, + 1031 + ], + "frame": 1031 + }, + { + "role": 695, + "lo": 35551, + "hi": 39432, + "moves": [ + 39431 + ], + "frames": [ + 3, + 1031 + ], + "frame": 1031 + }, + { + "role": 1501, + "lo": 42370, + "hi": 42371, + "moves": [ + 42370 + ], + "frames": [ + 591, + 1031 + ], + "frame": 1031 + }, + { + "role": 1530, + "lo": 42379, + "hi": 42380, + "moves": [ + 42379 + ], + "frames": [ + 597, + 1031 + ], + "frame": 1031 + }, + { + "role": 1530, + "lo": 42381, + "hi": 42382, + "moves": [ + 42381 + ], + "frames": [ + 1031, + 591 + ], + "frame": 1031 + }, + { + "role": 1336, + "lo": 42388, + "hi": 42389, + "moves": [ + 42388 + ], + "frames": [ + 1031, + 1079 + ], + "frame": 1031 + }, + { + "role": 1337, + "lo": 42387, + "hi": 42391, + "moves": [ + 42390 + ], + "frames": [ + 1031, + 1080 + ], + "frame": 1031 + }, + { + "role": 1362, + "lo": 42388, + "hi": 42393, + "moves": [ + 42392 + ], + "frames": [ + 1031, + 1078 + ], + "frame": 1031 + }, + { + "role": 1335, + "lo": 39691, + "hi": 42875, + "moves": [ + 42874 + ], + "frames": [ + 1031, + 898 + ], + "frame": 1031 + } +] diff --git a/research/p104-rank8-exit-funded-split/PROFILE.json b/research/p104-rank8-exit-funded-split/PROFILE.json new file mode 100644 index 0000000000..d6a9a12374 --- /dev/null +++ b/research/p104-rank8-exit-funded-split/PROFILE.json @@ -0,0 +1,16 @@ +{ + "added_events": 129, + "events": 76349, + "lifetimes": 66, + "owned": 63, + "paid_delta": { + "1": 1 + }, + "peak": 48, + "public": 1499, + "target_delta": { + "4": 1, + "5": 1, + "8": -1 + } +} diff --git a/research/p104-rank8-exit-funded-split/PROOF.md b/research/p104-rank8-exit-funded-split/PROOF.md new file mode 100644 index 0000000000..0e20dca0d4 --- /dev/null +++ b/research/p104-rank8-exit-funded-split/PROOF.md @@ -0,0 +1,91 @@ +# One paid exit funds the chart-1031 split + +The source is [#7156 at b44944c3058d522cbff17836e16240d40d77a927](https://github.com/CrocSwap/integer-mult-bounds/tree/b44944c3058d522cbff17836e16240d40d77a927/research/p104-temporal-chart306-continuation). +Its normalized native word returns every helper coordinate and leaves all +other outputs independent of those helper inputs. The candidate retains +the signed 17-stage [#7113 caller](https://github.com/CrocSwap/integer-mult-bounds/pull/7113) +at `07a76c5e2738882c0cb322278e56f6cae3c9885d`. + +## Literal exit extension and temporal access + +Role 133 starts at frame 3 and returns at frame 591 of rank eight. Append one +public MOVE from frame 591 to frame 127, whose span strictly contains it. +The unchanged scalar endpoint for role 133 now belongs to the arbitrary +helper group with boundary frames 3 and 127. The new MOVE has rank one and +is charged. Both the prefix and suffix vectors use role 133, so omitting +the extension makes the unchanged-boundary constructor reject the witness. + +At chart 1031 of rank five and original cut 42,379, pivot 1,336 is resident. +[WITNESS.json](WITNESS.json) binds twelve gathers and five injections to +the exact original cuts. Roles 1,362 and 1,386 are literal stationary +gathers at cut zero, with windows `[0,35561]` and `[0,35607]`. The other +fifteen observations use the contact-free retimings in +[PATHS.json](PATHS.json). The retiming preserves all original paid MOVE +ranks. Every read and write stays in one literal frame. + +Let P(t,r) be the complete normalized scalar prefix row at cut t, and let +S(t,r) be the suffix perturbation response in all final public and owned +coordinates and all COPY destination-zero guards. A guard for an injection +at cut t includes a COPY performed at event t. The two weighted sums give +the vectors c and d in the witness, with zero in every outside coordinate. +Their support intersection is roles 133, 445, 1,242 and 1,336. Its dot +product is `6 - 2 - 5 + 2 = 1`. The retained exact certificate recomputes +both vectors. Separate controls reject an omitted exit, a wrong exit +frame, a false stationary frame, a MOVE inside the claimed stationary +interval and an observation after CLEAR. + +## Arbitrary-input split + +The retained causal construction builds a scalar basis G with pivot row +c and `G d = e_pivot`. It applies G inverse at the input frame and G at +the final frame, where the paid extension has already arrived. Both +directions are emitted with the literal scalar coefficients. On original +group input u, the internal input is `G^-1 u` and the gathers put the +original pivot input x in an owned buffer A. + +At retirement let v be the current pivot continuation and z the independent +new public input at chart 1031. The literal middle operation leaves x in +the retiring pivot, v in its new continuation and z−x in a second owned +buffer B. The scheduled suffix injections add `d(z−x)` without changing +any other output or COPY guard. After the exit basis the continuing pivot +returns z, since `G(G^-1 u+d(z−x)) = u+e_pivot(z−x)`. The two owned +lifetimes retire explicitly. This is an arbitrary-input identity, +including when v differs from x. + +The common-frame scalar operators act on the normalized complete arrays +at every positive column multiplicity. A MOVE is the exact nested-frame +quotient with its absolute phase, and its tensor lift is one charged child +with two whole-job adapters. The separate native and complete caller +replays check the affected maps, phase, ownership, and exact grids. +The signed caller's 17 stages use the same distinct physical owner and +central-phase bindings as the selected application framework. + +## Complete price change + +The extended helper changes one rank-eight target to rank nine and adds +one paid rank-one child. The causal split then replaces one rank-nine +target with ranks five and four. Thus the net per-native change is +`T4 +1, T5 +1, T8 -1, P1 +1`. All seventeen occurrences are charged. +Rank surplus stays 1,424. For `p=1-C` in `(0,1)`, strict concavity gives +`4^p + 5^p - 8^p - 1 > 0`. The complete directed engines certify the +funded price `C=0.00364489006794007` and conditional +`κ=0.003644890067940`, an exact gain of `482172401/10^15` over #7156. +The original complete invoice has a strictly negative moment at the new +claim. The fixed BIT premise is 0.00376669. + +For a fixed-profile ceiling, hold this exact target invoice and the +seventeen native profiles fixed. The remaining paid rank mass is 109,088. +The most favorable fractional remainder under the ambient cap 145 puts +all that mass at rank 145, because `r^(-C)` decreases in r for positive C. +The early receipt certifies a decreasing relaxed crossing on `[0,1/32]` +and records the rational ceiling bracket and fraction realized. This +relaxation has different hypotheses from the nine-stage equal-target cap. +It bounds the fixed profiles and rank mass stated here. + +The common exact-grid, finite stock, movement, compiler and outer +application follows the [selected #7000/#7001 review](../../docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md) +and the [exact #7156 application review in #7158](https://github.com/CrocSwap/integer-mult-bounds/pull/7158). +Use the regenerated full ordinary and physical bills, common-grid bounds, +precision context and complete outer receipt for this candidate. The +five inherited assumptions remain native_all_columns, owned_erasure, +compiler, precision_tape and analytic_recovery. diff --git a/research/p104-rank8-exit-funded-split/README.md b/research/p104-rank8-exit-funded-split/README.md new file mode 100644 index 0000000000..35239e230f --- /dev/null +++ b/research/p104-rank8-exit-funded-split/README.md @@ -0,0 +1,72 @@ +# Conditional κ = 0.003644890067940 from one funded helper exit + +On the exact [#7156 native word](https://github.com/CrocSwap/integer-mult-bounds/pull/7156), +one paid rank-one exit for helper 133 permits a split at chart 1031. +This increases conditional κ by **0.000000482172401** over #7156. Each +native invocation adds a rank-one paid child and replaces one rank-eight +productive target with ranks four and five. The 17-stage caller is +byte-identical to [#7113](https://github.com/CrocSwap/integer-mult-bounds/pull/7113). +The full invoice has 110,519 paid positions, 22,427 productive fields, +rank surplus 1,424 and zero empty-root credit. + +[PROOF.md](PROOF.md) gives the arbitrary-input identity and exact +budget. [WITNESS.json](WITNESS.json) records both exact boundary vectors, +twelve gathers, five injections and the two stationary intervals. +The full emitted word has canonical SHA256 +`9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3`, +76,349 instructions, 1,499 public fields and 63 owned labels across +66 lifetimes, with peak 48. The exact predecessor archive retains all 33 +files and every nested source and notice. [INPUTS.json](INPUTS.json) binds +the member paths, Git blobs, SHA256 hashes and sizes. The archive was +compared to the directly fetched #7156 Git tree. + +The independent raw crossing lies between +`0.00364489006794007545440786196704391` and +`0.00364489006794007545440786196704392`. Both directed engines reject +the #7156 invoice at the new claim. The relaxed ambient-145 +fixed-profile packing ceiling is between 0.0058056997054336 and +0.0058056997058885. The proposed κ realizes about 62.7812% of that +ceiling. Its assumptions and exact rational bracket are in +[PROOF.md](PROOF.md) and [EARLY-RESULT.json](EARLY-RESULT.json). + +The scope is coordinated in the +[funded-exit claim](https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19534677). +The initial stationary screens found no compatible pair on their tested +neutral and one-midpoint domains. The changed boundary admits the rank-eight +exit's coordinate to the rank-nine group. At the chosen chart the +unextended group has zero compatible rational pairing windows. The bounded +funded-exit search stopped at its first literal candidate, after eleven +tested exit/chart cases among 26 eligible exits. No search optimum follows. + +## Reproduce + +```sh +python3.12 -B scripts/research_package.py --package research/p104-rank8-exit-funded-split +``` + +The three registered stages check the exact arbitrary-input source and +prices, native phase/precision/physical obligations, and the complete +signed application. Each stage runs inherited engines in an isolated +private copy and matches its own frozen receipt. The counted adaptations +bind this exact candidate's paid/target profile and owned census. +The standalone `build.py` reproduces every canonical word byte. +The optional `discover.py OUTPUT_DIR --funded-exit` reruns the bounded +nomination from the same archive. [VALIDATION.md](VALIDATION.md) lists +the checked obligations, runtimes and substantive controls. + +## Open next questions + +- Independently check the literal paid exit and the two stationary reads + against the 33 pinned predecessor files, then run the registered package. + The complete application remains conditional on the five framework + assumptions used in the selected result. Human or formal acceptance, + maintainer admission and literal top-level multiplier execution remain + separate obligations. + +## Credit + +Rohan Arun supplied #7156 and the signed caller. This extends the causal +history construction of Ali Romman, CubeJerry, Matarener and dillona and +retains ToikY's pricing lineage. Prepared for Clear1nsight with substantial +OpenAI Codex and ChatGPT Pro assistance. [NOTICE](NOTICE) records the +predecessor and application credit. diff --git a/research/p104-rank8-exit-funded-split/REPLAY.txt b/research/p104-rank8-exit-funded-split/REPLAY.txt new file mode 100644 index 0000000000..7c1e035c4b --- /dev/null +++ b/research/p104-rank8-exit-funded-split/REPLAY.txt @@ -0,0 +1,85 @@ +Linux x86-64, CPython 3.12.3. Direct regeneration of frozen receipts. + +python3.12 -I -B research/p104-rank8-exit-funded-split/verify.py early --out + +PASS_EXACT_NATIVE_AND_PRICE_ONLY 0.00364489006794 +elapsed_seconds=102.75 peak_RSS_kib=373632 exit=0 + +python3.12 -I -B research/p104-rank8-exit-funded-split/verify.py native --out + +PASS whole source/operator, forward/adjoint, causal charts and fresh native grid +caller 0 terms 77 +caller 500 terms 621 +caller 1000 terms 2648 +caller 1500 terms 3619 +caller 2000 terms 1590 +caller 2500 terms 398 +caller 3000 terms 1918 +caller 3500 terms 1797 +caller 4000 terms 1817 +caller 4500 terms 912 +caller 5000 terms 167 +PASS full ingredient invoice, ordinary, precision, both prices and outer gates +events 76349 public 1499 owned roles 63 paid {1: 3999, 2: 853, 3: 829, 4: 225, 5: 344, 6: 14, 7: 10, 8: 5} owned UP {1: 10, 2: 4, 3: 1, 4: 6, 5: 1, 6: 1} helpers {1: 17, 2: 21, 3: 47, 4: 223, 5: 79, 6: 43, 7: 19, 8: 34, 9: 616} +endpoint bad rows 0 odd certificate S 1125 +PASS_HOST3 decoupled ports 96 hosted ports 8 +gate interpreter agrees with the library on 4 exact state vectors +replayed 76349 events, 2950 chart pairs, 35s +prime 1000000009 seed 11: helper rows bad 0 (of 1099), X rows bad 0, Y rows bad 0, X2 rows bad 0, Y2 rows bad 0 (of 104 ports; 96 with second mains) +tableau on 104 ports: XX!=D 0 YY!=D 0 YX!=Q^-1D 0 XY!=QD 0 | controls matching (must be 0): 0 0 +PASS_PHYSICAL 47s +PASS affected Gaussian chart columns, phase, corruption controls and finite physical replay +PASS_FUNDED_EXIT_NATIVE 911067519191/250000000000000 +elapsed_seconds=333.05 peak_RSS_kib=662468 exit=0 + +python3.12 -I -B research/p104-rank8-exit-funded-split/verify.py caller --out + +PASS two reconstructed invoices and both exact price engines 0.00364489006794 +RUN emit_odd_type_b.py +caller 0 terms 41 +caller 500 terms 1178 +caller 1000 terms 2699 +caller 1500 terms 1262 +caller 2000 terms 881 +caller 2500 terms 2484 +caller 3000 terms 765 +caller 3500 terms 640 +caller 0 terms 41 +caller 500 terms 1178 +caller 1000 terms 2701 +caller 1500 terms 1264 +caller 2000 terms 881 +caller 2500 terms 2485 +caller 3000 terms 765 +caller 3500 terms 641 +PASS exact short type B 3877 events Counter({8: 34, 9: 4, 56: 4, 48: 4, 40: 4, 32: 4, 24: 4, 16: 4, 64: 2}) +RUN emit_odd_type_ab.py +caller 0 terms 73 +caller 500 terms 1076 +caller 1000 terms 2476 +caller 1500 terms 1334 +caller 2000 terms 2078 +caller 2500 terms 1235 +caller 3000 terms 2978 +caller 3500 terms 2335 +caller 4000 terms 1046 +caller 4500 terms 299 +PASS exact short A+B 4783 events 3752 ['36448900679400754544078619670439/10000000000000000000000000000000000', '911222516985018863601965491761/250000000000000000000000000000000'] +RUN check_odd_caller_exact_grid.py +PASS odd caller grid [381, 69, 62] [381, 3, 2] scale bits 10 checked 176874 +RUN check_odd_physical_binding.py +PASS exact physical binding 110519 13600 22427 +RUN check_odd_precision.py +PASS short precision 406 1215 2430 +RUN check_odd_partial_admission.py +ordinary bill 782129100 +PASS partial signed short gates 782129100 182244503397/50000000000000 {'strict_count': 54, 'functional_count': 4, 'minimum_margin': '1/1000000000000000000', 'BIT_just_below_effective_rejected': True} +RUN check_odd_fixed_tape_counts.py +PASS finite tariff substitution 43760000 25471767360 precision 2430 +RUN complete catalogue 0 1000 +RUN complete catalogue 1000 2000 +RUN complete catalogue 2000 3000 +RUN complete catalogue 3000 3036 +PASS complete 8+9 component application checks 182244503397/50000000000000 3036 110519 +PASS_FUNDED_EXIT_CONTINUATION 182244503397/50000000000000 +elapsed_seconds=385.74 peak_RSS_kib=352824 exit=0 diff --git a/research/p104-rank8-exit-funded-split/RESULT.json b/research/p104-rank8-exit-funded-split/RESULT.json new file mode 100644 index 0000000000..60edfac362 --- /dev/null +++ b/research/p104-rank8-exit-funded-split/RESULT.json @@ -0,0 +1,1599 @@ +{ + "adapter": { + "adapted_sha256": { + "check_odd_partial_admission.py": "de75cd93b9bfffb2a13781209435d31a84edd97f0fe313d3ecb9542ce8383dac", + "check_odd_precision.py": "59d811dd0eddca0a761e935341e7bee51cf66b9d9481ce8eb500c9ae5723bbcb", + "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.00364489006794')", + "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 exact current 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) == (66, 48, 63)')\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": "c1caec11ca3ee264ef03018dd91037eac10c3e28950c4c525ee1b4bf5ee210e2" + }, + { + "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": "c1caec11ca3ee264ef03018dd91037eac10c3e28950c4c525ee1b4bf5ee210e2" + }, + { + "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": "c1caec11ca3ee264ef03018dd91037eac10c3e28950c4c525ee1b4bf5ee210e2" + }, + { + "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": "c1caec11ca3ee264ef03018dd91037eac10c3e28950c4c525ee1b4bf5ee210e2" + } + ], + "checks": { + "ODD-8X9-APPLICATION-CHECKS.json": { + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "candidate": "182244503397/50000000000000", + "catalogue": [ + { + "catalogue_digest": "789580be599f2c712cda0ef0622d3fff6c86bf1ffdcd49c73b2f7f839aae5f23", + "catalogue_size": 3036, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "430c467e9c73ef00ddc325b7cf95aba8a34187f362eae67791aafd26b117e4b9", + "log_sha256": "935d09f384d976a4abe11403eb0213e1f42e68dffb5467b2fdff7635473e68e9", + "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": "c1caec11ca3ee264ef03018dd91037eac10c3e28950c4c525ee1b4bf5ee210e2" + }, + { + "catalogue_digest": "789580be599f2c712cda0ef0622d3fff6c86bf1ffdcd49c73b2f7f839aae5f23", + "catalogue_size": 3036, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "2cae048f253c10a701476eaa4486931f22766daf994d44d80688b0f8f2fc530f", + "log_sha256": "463a21775a829fdb699fa5f6eaa73026bb9043f668b612717b6c496956864b34", + "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": "c1caec11ca3ee264ef03018dd91037eac10c3e28950c4c525ee1b4bf5ee210e2" + }, + { + "catalogue_digest": "789580be599f2c712cda0ef0622d3fff6c86bf1ffdcd49c73b2f7f839aae5f23", + "catalogue_size": 3036, + "checked_maps": 1000, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "c8524029578adf6749ecc9b72b848a9933ea23b54951d7349c0614c18603fea9", + "log_sha256": "e59a6f7fdab5722a88432a4c0ac5109e50edd2f7ad3f76861f6354c467383275", + "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": "c1caec11ca3ee264ef03018dd91037eac10c3e28950c4c525ee1b4bf5ee210e2" + }, + { + "catalogue_digest": "789580be599f2c712cda0ef0622d3fff6c86bf1ffdcd49c73b2f7f839aae5f23", + "catalogue_size": 3036, + "checked_maps": 36, + "distinct_helper_maps": 187, + "distinct_paid_maps": 2950, + "exact_recipe_digest": "01651736571052e77f70be25553d3f726b5325a89c93cb9459a54c3634ee1f38", + "log_sha256": "691b3eed53d1c03b06f8361effe1f6db74ea2a7fe7bfc983437a0857cb3b5cd5", + "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": "c1caec11ca3ee264ef03018dd91037eac10c3e28950c4c525ee1b4bf5ee210e2" + } + ], + "fixed_tape_counts": { + "H": 16510400000000000000000, + "Kstar_bits": 14093, + "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": 14104, + "context_c": 2430, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25471767360, + "log_power": 2237, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298740, + "native_invocations": 17, + "native_sha256": "9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3", + "owned_banks_per_raw_occurrence": 1071, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58454, + "native": 1191190 + }, + "scalar_services_upper": 43760000, + "scalar_steps_coefficient": 45885685760000, + "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": "182244503397/50000000000000" + }, + "native_archive_sha256": "c1caec11ca3ee264ef03018dd91037eac10c3e28950c4c525ee1b4bf5ee210e2", + "native_canonical_sha256": "9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3", + "numeric_gate": { + "BIT_margin": "12179993205993/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 1.0, + 1.0 + ], + "claim": "182244503397/50000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9066684778947387, + 0.9066684778947387 + ], + "derivative_upper": -381691.382745105, + "gamma": [ + 0.9407507620286742, + 0.9407507620286742 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "182244503397/50000000000000": [ + "12435616268822964624108204151994732023643370358542418433979015630224454754777/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124356162688229646241082041519947320236433703585424184339790156302244547549693/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364489006794007/100000000000000000": [ + "31089040672057983150912632412500092401132902361597748561959244574623506755013/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31089040672057983150912632412500092401132902361597748561959244574623506755499/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "364489006794007/100000000000000000": [ + 2.1150234102748054e-12, + 2.1150234102748054e-12 + ], + "36448900679400754544078619670439/10000000000000000000000000000000000": [ + 7.73624976984083e-30, + 7.73624976984083e-30 + ], + "911222516985018863601965491761/250000000000000000000000000000000": [ + -3.104015756527284e-29, + -3.104015756527284e-29 + ] + }, + "moment_margins": { + "364489006794007/100000000000000000": [ + "211502341027480531553379384024870327589034622358366451274129769433559/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "211502341027480531553379384024870327589034622358366451274129808297531/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36448900679400754544078619670439/10000000000000000000000000000000000": [ + "773624976984082980223062771948247773718705008389919/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "773624976984082980223062771948247773718705047289897/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911222516985018863601965491761/250000000000000000000000000000000": [ + "-3104015756527283602766646092015489002158505106995697/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-3104015756527283602766646092015489002158505068342321/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36448900679400754544078619670439/10000000000000000000000000000000000", + "911222516985018863601965491761/250000000000000000000000000000000" + ], + "tested": "364489006794007/100000000000000000", + "written_log_power": 2237 + }, + "physical_binding": { + "ambient": 145, + "complete_paid_position_digest": "f562c24ef3c0e657936f45baa50a921964282dbcbc1ed85ebae85422bc567ed1", + "fresh_helpers": 18683, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1499, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68367, + "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 + }, + "paid_positions": 110519, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22427, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 1071, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3791, + "41": 416, + "49": 416, + "5": 1343, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10888 + } + }, + "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": 782129100, + "init_clear_allowance": 264, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 217870900, + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "per_input_conversion": 2650232, + "raw_upper": 765470708, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2198, + "moves": 6279, + "owned_lifetime": 264, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9941000, + "scalar_upper": 2190316 + }, + "status": "PASS_8X9_EXACT_COMPONENT_APPLICATION_CHECKS" + }, + "ODD-ADMISSION-PARTIAL.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "compiler_outer": { + "BIT_margin": "12179993205993/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 1.0, + 1.0 + ], + "claim": "182244503397/50000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9066684778947387, + 0.9066684778947387 + ], + "derivative_upper": -381691.382745105, + "gamma": [ + 0.9407507620286742, + 0.9407507620286742 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "182244503397/50000000000000": [ + "12435616268822964624108204151994732023643370358542418433979015630224454754777/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124356162688229646241082041519947320236433703585424184339790156302244547549693/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364489006794007/100000000000000000": [ + "31089040672057983150912632412500092401132902361597748561959244574623506755013/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31089040672057983150912632412500092401132902361597748561959244574623506755499/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "364489006794007/100000000000000000": [ + 2.1150234102748054e-12, + 2.1150234102748054e-12 + ], + "36448900679400754544078619670439/10000000000000000000000000000000000": [ + 7.73624976984083e-30, + 7.73624976984083e-30 + ], + "911222516985018863601965491761/250000000000000000000000000000000": [ + -3.104015756527284e-29, + -3.104015756527284e-29 + ] + }, + "moment_margins": { + "364489006794007/100000000000000000": [ + "211502341027480531553379384024870327589034622358366451274129769433559/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "211502341027480531553379384024870327589034622358366451274129808297531/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36448900679400754544078619670439/10000000000000000000000000000000000": [ + "773624976984082980223062771948247773718705008389919/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "773624976984082980223062771948247773718705047289897/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911222516985018863601965491761/250000000000000000000000000000000": [ + "-3104015756527283602766646092015489002158505106995697/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-3104015756527283602766646092015489002158505068342321/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36448900679400754544078619670439/10000000000000000000000000000000000", + "911222516985018863601965491761/250000000000000000000000000000000" + ], + "tested": "364489006794007/100000000000000000", + "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": 68367, + "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": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3791, + "41": 416, + "49": 416, + "5": 1343, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10888 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036448900679400754544078619670439199509193901914957386128030283655", + "raw_crossing": "0.0036448900679400754544078619670439199509193901914957386128030283655" + }, + "native_sha256": "9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3", + "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": 782129100, + "init_clear_allowance": 264, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 217870900, + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "per_input_conversion": 2650232, + "raw_upper": 765470708, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2198, + "moves": 6279, + "owned_lifetime": 264, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9941000, + "scalar_upper": 2190316 + }, + "scope": "Fresh exact current 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": 16510400000000000000000, + "Kstar_bits": 14093, + "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": 14104, + "context_c": 2430, + "elementary_records_per_map_upper": 85264, + "elementary_records_upper": 25471767360, + "log_power": 2237, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298740, + "native_invocations": 17, + "native_sha256": "9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3", + "owned_banks_per_raw_occurrence": 1071, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58454, + "native": 1191190 + }, + "scalar_services_upper": 43760000, + "scalar_steps_coefficient": 45885685760000, + "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": "182244503397/50000000000000" + }, + "ODD-PHYSICAL-BINDING.json": { + "aliased_main_rejected": true, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "native_sha256": "9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3", + "occurrence_and_geometry": { + "ambient": 145, + "complete_paid_position_digest": "f562c24ef3c0e657936f45baa50a921964282dbcbc1ed85ebae85422bc567ed1", + "fresh_helpers": 18683, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1499, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68367, + "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 + }, + "paid_positions": 110519, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22427, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 1071, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3791, + "41": 416, + "49": 416, + "5": 1343, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10888 + } + }, + "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": 16445348, + "dyadic_height": 25, + "mass_witness": [ + 66145, + "stored add" + ], + "maximum_scaled_mass": "841374570120675/8192", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + }, + "native_sha256": "9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3", + "precision_program_sha256": "ce92f880fa0628caadfea4e14140ad4f617a82f13ae452fe7b8cd8e7a00ffd78", + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "3698438700488346562040013259694346617276899010780958570896247841998410543952845718405399644725727547850031077289428751190142095725329631299078835662282648820955677952400390221055254876259133646109032215543464282810791436554335493309483059934863526258758473057114627247663197031967632688279411793657724951672054526204278013917041108799506354516222839195219110526644345688152721349310078745278165209175303889670639871906387750453394182745449/621565922642917122701475579763837894656000000000000000000000000000000000000000000000", + "strict_power_of_two": 1179, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Gamma_context": { + "exact": "95447834498064093977737612322824240860989785478457360939465616050207668401318696429374977499654675832619420189662071162238213252926528019212202119948273559620833568903976256447063993069483371253646038779934250562521737509241245604006816339083315916440441340371511437198043447875773697313054280541087366528176065281903824560726454243830482481398816516247979371536730979517503204509049338241842295670801401782033813662295564612880551752527779/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": "327111736213353305790991091824348467854708091542498514544864499380347538764149951207806586803328343722622028458252856338974714017710745131664240849335386155294919376186366908519280366477832364454061654742515102357862733358286618892685278348518498630998166743815885045516870288507481034139825665242058716892571547731071918126148364289902790435685318383779081796746597020584004569680769807459720842641555764310577929855342933981306629425946370943/1841676807830865548745112828929890058240000000000000000000000000000000000000000000000", + "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": "95447834498064093977737612322824240860989785478457360939465616050207668401318696429374977499654675832619420189662071162238213252926528019212202119948273559620833568903976256447063993069483371253646038779934250562521737509241245604006816339083315916440441340371511437198043447875773697313054280541087366528176065281903824560726454243830482481398816516247979371536730979517503204509049338241842295670801401782033813662295564612880551752527779/466174441982187842026106684822878420992000000000000000000000000000000000000000000000", + "strict_power_of_two": 1184, + "witness": { + "cut": 4753, + "event": 4752, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "Sigma_context": { + "exact": "97200125428608128489216070525154109508426116851325939285166229979576527601965279780108941017029567412524930841655033462200595331602346042170156280563751372476355153428928041901330308853897527069649172077561612201280886795792050483903130003242812199393567682674388749350080279922803877708906264073587180499798876419824043178765084616132016246018732612635186671137342317350328077348428527157289666609535211460036799834610051652352756119191538243717843171259307129217712969198197798027813358984110291089666596780034994353102138829797819414278054468301136396234517195236214520059991140917417/1882193312076485335946784195032073491952987754324492345686684017015875908403200000000000000000000000000000000000000000000000000000000000000000", + "strict_power_of_two": 1481, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 18683, + "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": "3698438700488346562040013259694346617276899010780958570896247841998410543952845718405399644725727547850031077289428751190142095725329631299078835662282648820955677952400390221055254876259133646109032215543464282810791436554335493309483059934863526258758473057114627247663197031967632688279411793657724951672054526204278013917041108799506354516222839195219110526644345688152721349310078745278165209175303889670639871906387750453394182745449/621565922642917122701475579763837894656000000000000000000000000000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "95447834498064093977737612322824240860989785478457360939465616050207668401318696429374977499654675832619420189662071162238213252926528019212202119948273559620833568903976256447063993069483371253646038779934250562521737509241245604006816339083315916440441340371511437198043447875773697313054280541087366528176065281903824560726454243830482481398816516247979371536730979517503204509049338241842295670801401782033813662295564612880551752527779/466174441982187842026106684822878420992000000000000000000000000000000000000000000000" + }, + "M_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796247824792255124449682067424881/131368167114257812500000000000", + "residual_mass": "95447834498064093977737612322824240860989785478457360939465616050207668401318696429374977499654675832619420189662071162238213252926528019212202119948273559620833568903976256447063993069483371253646038779934250562521737509241245604006816339083315916440441340371511437198043447875773697313054280541087366528176065281903824560726454243830482481398816516247978905362288997329661178402364515363421303670801401782033813662295564612880551752527779/466174441982187842026106684822878420992000000000000000000000000000000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "3698438700488346562040013259694346617276899010780958570896247841998410543952845718405399644725727547850031077289428751190142095725329631299078835662282648820955677952400390221055254876259133646109032215543464282810791436554335493309483059934863526258758473057114627247663197031967632688279411793657724951672054526204278013917041108799506354516222839195219110526644345688152721349310078745278165209175303889670639871906387750453394182745449/621565922642917122701475579763837894656000000000000000000000000000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "95447834498064093977737612322824240860989785478457360939465616050207668401318696429374977499654675832619420189662071162238213252926528019212202119948273559620833568903976256447063993069483371253646038779934250562521737509241245604006816339083315916440441340371511437198043447875773697313054280541087366528176065281903824560726454243830482481398816516247979371536730979517503204509049338241842295670801401782033813662295564612880551752527779/466174441982187842026106684822878420992000000000000000000000000000000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "1435/4", + "entrance_mass": "2067/2", + "event": 43, + "stage": 1 + }, + { + "entrance_defect": "43991195055799274123411242921324271734478455985890198352160063172610749059649698547529231750013035691116050646090343510746895632484908840899233488027039/13307288940955860965151791568755097600000000000000000000", + "entrance_mass": "56849465528/5", + "event": 137, + "stage": 2 + }, + { + "entrance_defect": "66839871164980025891562407739654598808732884408115621525672134771122867273784736682440264802344057181363365557479678295660998822886293864382938888018202725413690399/1277499738331762652654571990600489369600000000000000000000", + "entrance_mass": "899756300051784928313/5", + "event": 268, + "stage": 3 + }, + { + "entrance_defect": "62254959917069896363208216864987682119550378620799358416991837549724853757364506294619230252744604068296561789025711563978900365745210260641569153351016186124262729588048607/1277499738331762652654571990600489369600000000000000000000", + "entrance_mass": "2514111326902273689027625979152/15", + "event": 432, + "stage": 4 + }, + { + "entrance_defect": "12717282397132733798393428787991042792090654564660720512466624063727256891568118724887223325609262097806872554498360458524761922878644474215813598782298518175908996284135644485840118297/1277499738331762652654571990600489369600000000000000000000", + "entrance_mass": "513576167499541081817002847690160861158177/15", + "event": 633, + "stage": 5 + }, + { + "entrance_defect": "1217679593022116207546798210509341018107956170805439203146320903582405629342831584971649991934747195551432048220505207354942555451241246562794205971480277017338935671718591575078851944120477226373/19162496074976439789818579859007340544000000000000000000000", + "entrance_mass": "49174910102467876864090432969907258581035345395534834/225", + "event": 867, + "stage": 6 + }, + { + "entrance_defect": "129871744818989406529136440635320053468594962372247188734851546603640722173330037286540003337339006135733031631529724863171261371030324854618435464569131918500814943028189111054364714934029599793598578157323/2129166230552937754424286651000815616000000000000000000000", + "entrance_mass": "47202796791779792903787260464709452698419616298153732189406926691/225", + "event": 1138, + "stage": 7 + }, + { + "entrance_defect": "37813377877403518679603587364443864192869730544824933592938983450113445181333793973311575547782383550855324302983105699755916196331551485204733270065381214330215929074986595427757936618733450720913522003488563216694609577117/2395312009372054973727322482375917568000000000000000000000000", + "entrance_mass": "1527059719525243651854937925515623170877847518562264265010551055991429949116792541/28125", + "event": 1423, + "stage": 8 + }, + { + "entrance_defect": "13485111100785005818854756620792265912792044032380491916410990711278752085520894076096194182218145474914871229377058423816209967454842768761272432055034086749310362249239022183799859089040688426046153163094839262417451340701653087987475285752765277099662282008373062970678961836829617573496155772575300592701038458942604991457306957047577275549855577024784657/2762515211746298323117669243394835087360000000000000000000000000000000000000000000", + "entrance_mass": "45382020709918266925583064268574418985484021788023395083741971786893952543604385214817042722264713249357732585113211736557042182118473445437784492974844696068231496289005681248244219743195326431922663592509646282903/2703048706054687500000000", + "event": 3058, + "stage": 9 + }, + { + "entrance_defect": "5127732227387110678967027168422380165679923489786173400936436526331584549760674845909743846963200900082293320528327348675592186404519106863134721753032955606579090875501665747290688111825582567305719726516449877276397266785447407727551835704300498140438006106341009644723036232335871040970870983576100037024676195704808736239600045128505300003389191880568335999249679289803/69062880293657458077941731084870877184000000000000000000000000000000000000000000000", + "entrance_mass": "17256576412236653193246225901973714737195067836439327666112948810725372605325768521068989782195051084826433423902219365061463548934152577319772447024097669813834215493691840531234110147024064996639957180865886380686899413865699437/67576217651367187500000000", + "event": 3377, + "stage": 10 + }, + { + "entrance_defect": "2446368255677193791537585526745456909387262363063406782498159597508854770748821831604995647428658315859752679609122120658484852867890901034407915663364399289773956622195440328032414352595847281093297090679259382124637259040947438564034593319172314012794984639781615038992215013461769508751154050633844870368423250908674143726469817469914530366652932470484822738648026770805995036730857/2302096009788581935931391036162362572800000000000000000000000000000000000000000000", + "entrance_mass": "8232867642949280967953864719378369729636081542640965177026582834276172086852779069019078166383458700724373015543641299678854718814560615654710102550769670203427726502361438450768012893674227975469242856299447027845030556012745339827937032703/2252540588378906250000000", + "event": 3674, + "stage": 11 + }, + { + "entrance_defect": "30742073962484744766258245709440053785098846127465153132082220387400660976118286537491285825438064395478013500046150157253538525114662141068463918276720746502952033492552522059762840347383273419151092006122402449922502385316395083759894998070422941912287971564062875788575885089522789600133731982224301283464731216037762934014517356690548872043927892007423598423276522879511493488517270465014036489/310782961321458561350737789881918947328000000000000000000000000000000000000000000000", + "entrance_mass": "103457615351059805192637231353494210876529187337645013912367786609511281374638184501291799844537790265462481580051228205479278831706979374022592427678836083146990308179368316797029946556942233864286312243671687806427572314354434738422294564686254956597631/304092979431152343750000000", + "event": 3934, + "stage": 12 + }, + { + "entrance_defect": "2024960850820717113647511115349387054612389423918231520164467685608025516907980454086975110649055579362369362133378615585609588865077067528014675123515253984311296867587679221527384472231594314514953968681581378564368546042590212960917657833817546402926344928041324835535492579780231932477057528212203067674304958720572336155237253117014016517351855286308122365804803660928731156852447449938381445886967241/77695740330364640337684447470479736832000000000000000000000000000000000000000000000", + "entrance_mass": "6814687293408352348961376609223100753789665399854180217091951198766673494955017243489117504312576625705862588971333049204842152193259763726092611947454717867967563820647006231530855513792517852570389360287582421241328472893443552787136426885585158158296407747039/76023244857788085937500000", + "event": 4149, + "stage": 13 + }, + { + "entrance_defect": "81325613924632265972116031833515725734855056582845884709615502923472832168001762885789094897101393212435713558809993527758903597942084333030120682747662319238260618295425402334822414156545534955855646140803647735067564723779148239789429732493011560461173178376803275812392378467368386496781289728344483788639943005510241666662165577816968510679560803319250777341971187940556742415989285372516451660198685056367703729/621565922642917122701475579763837894656000000000000000000000000000000000000000000000", + "entrance_mass": "273688564209132230699064882255651065961520374651451250325109091529813162250488973700796593555467744131430272845604649750549608356985710665121874068107850799585492748533787927289567936649257940207702597871193107311090132538524151482351564937285621850171994049078063458209591/608185958862304687500000000", + "event": 4337, + "stage": 14 + }, + { + "entrance_defect": "1554308434532708246513761244702860402843720433931527900427142455484989429748607772865318899608021612457077805111457279277381044621687051325316805018370486198518344869367080458503369255017490416584791967002729290065877869212686128354966137537811032281077526621976312546497580810881264716289333634746074634578648311139860229751437017745038260695629368270596536839355214583222335763415885401308955338157387180314158326053089659/310782961321458561350737789881918947328000000000000000000000000000000000000000000000", + "entrance_mass": "5230780602279043381317572379439763694807653157987526423412516241866438709931406455512285461654380762978554988724296151241130161368896505647624919395909388513302452136334767445346454946237326490486725295589968816639097338790755366202380875008783642473174121062695038054202858248061/304092979431152343750000000", + "event": 4485, + "stage": 15 + }, + { + "entrance_defect": "1720604571973581728449057367510187268442851574154237958747013645017468056662434022154922140035404832726830435684001912925318257016166850004404265476480594359639867430640003041080331094187750685556438303713474195078858144384729727402873025339028856919093791963325204408018217206911405568383191718938509697713838850822433581599042152158101457333878525103131164334328694214459836595261531760705636792165400186404621791714358967065672697/621565922642917122701475579763837894656000000000000000000000000000000000000000000000", + "entrance_mass": "5790424100720951765768300756324298709533962301792798636386692749870979029496708556989270788662796627612885676197810930990877069943243536093513215980405080279750566239442965631097385199413957318608000177913047677092759213914423460784984181631621622445055356552059259436283593839861423838063/608185958862304687500000000", + "event": 4606, + "stage": 16 + }, + { + "entrance_defect": "3698438700488346562040013259694346617276899010780958570896247841998410543952845718405399644725727547850031077289428751190142095725329631299078835662282648820955677952400390221055254876259133646109032215543464282810791436554335493309483059934863526258758473057114627247663197031967632688279411793657724951672054526204278013917041108799506354516222839195219110526644345688152721349310078745278165209175303889670639871906387750453394182745449/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": "25644756641309773204499715182067154753640655532996075189246670424342881345155813487719928577675093971877014167583684151460219920536239411929200177/42583324611058755088485733020016312320000000000000000000", + "strict_power_of_two": 299, + "witness": { + "cut": 76349, + "factor": "1", + "kind": "public-return", + "register": 1498 + } + }, + "M": { + "exact": "26281394204471659888223645870046127062271058529103906740924080498292768335410526105784514321102978706962592713956752093599490780744495562301020762433/3028147527897511472958985459201159987200000000000000000000", + "strict_power_of_two": 303, + "witness": { + "cut": 76349, + "factor": "1", + "kind": "stored", + "register": 1498 + } + }, + "Sigma": { + "exact": "25644756641309773204499715182067154753640655532996075189246670424342881345155813487719928577675093971877014167583684151460219920536239411929200177/42583324611058755088485733020016312320000000000000000000", + "strict_power_of_two": 299, + "witness": { + "cut": 76349, + "factor": "1", + "kind": "stored", + "register": 1498 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 76349, + "lifetimes": 66, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 66213, + "CLEAR": 66, + "COPY": 1, + "INIT": 66, + "MOVE": 6279, + "SCALE": 3724 + }, + "owned_labels": 63, + "peak_owned": 48, + "public": 1499, + "scalars": { + "dyadic": 64038, + "integer": 39714, + "noninteger": 30224, + "odd": 5900 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26545, + "entrance_mass": "26281394204471659888223645870046127062271058529103906740924080498292768335410526105784514321102978706962592713956752093599490780744495562301020762433/3028147527897511472958985459201159987200000000000000000000", + "residual_mass": "25644756641309773204499715182067154753640655532996075189246670424342881345155813487719928577675093971877014167583684151460219920536239411929200177/42583324611058755088485733020016312320000000000000000000" + }, + "M": { + "active_residual_sites": 26545, + "entrance_mass": "26281394204471659888223645870046127062271058529103906740924080498292768335410526105784514321102978706962592713956752093599490780744495562301020762433/3028147527897511472958985459201159987200000000000000000000", + "residual_mass": "25644756641309773204499715182067154753640655532996075189246670424342881345155813487719928577675093971877014167583684151460219920536239411929200177/42583324611058755088485733020016312320000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26545, + "entrance_mass": "26281394204471659888223645870046127062271058529103906740924080498292768335410526105784514321102978706962592713956752093599490780744495562301020762433/3028147527897511472958985459201159987200000000000000000000", + "residual_mass": "25644756641309773204499715182067154753640655532996075189246670424342881345155813487719928577675093971877014167583684151460219920536239411929200177/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": 68367, + "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 + }, + "raw_bracket": [ + "36448900679400754544078619670439/10000000000000000000000000000000000", + "911222516985018863601965491761/250000000000000000000000000000000" + ], + "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": "9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3", + "target": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3791, + "41": 416, + "49": 416, + "5": 1343, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10888 + } + } + }, + "claim": "182244503397/50000000000000", + "price": { + "after": { + "P": { + "1": 68367, + "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": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3791, + "41": 416, + "49": 416, + "5": 1343, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10888 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036448900679400754544078619670439199509193901914957386128030283655", + "raw_crossing": "0.0036448900679400754544078619670439199509193901914957386128030283655" + }, + "before": { + "P": { + "1": 68350, + "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": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3774, + "41": 416, + "49": 416, + "5": 1326, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10888 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036444078955399752291473031465479694211600421312227856343702575978", + "raw_crossing": "0.0036444078955399752291473031465479694211600421312227856343702575978" + }, + "gate": { + "BIT_margin": "12179993205993/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 1.0, + 1.0 + ], + "claim": "182244503397/50000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9066684778947387, + 0.9066684778947387 + ], + "derivative_upper": -381691.382745105, + "gamma": [ + 0.9407507620286742, + 0.9407507620286742 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "182244503397/50000000000000": [ + "12435616268822964624108204151994732023643370358542418433979015630224454754777/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124356162688229646241082041519947320236433703585424184339790156302244547549693/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364489006794007/100000000000000000": [ + "31089040672057983150912632412500092401132902361597748561959244574623506755013/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31089040672057983150912632412500092401132902361597748561959244574623506755499/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "364489006794007/100000000000000000": [ + 2.1150234102748054e-12, + 2.1150234102748054e-12 + ], + "36448900679400754544078619670439/10000000000000000000000000000000000": [ + 7.73624976984083e-30, + 7.73624976984083e-30 + ], + "911222516985018863601965491761/250000000000000000000000000000000": [ + -3.104015756527284e-29, + -3.104015756527284e-29 + ] + }, + "moment_margins": { + "364489006794007/100000000000000000": [ + "211502341027480531553379384024870327589034622358366451274129769433559/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "211502341027480531553379384024870327589034622358366451274129808297531/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36448900679400754544078619670439/10000000000000000000000000000000000": [ + "773624976984082980223062771948247773718705008389919/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "773624976984082980223062771948247773718705047289897/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911222516985018863601965491761/250000000000000000000000000000000": [ + "-3104015756527283602766646092015489002158505106995697/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-3104015756527283602766646092015489002158505068342321/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36448900679400754544078619670439/10000000000000000000000000000000000", + "911222516985018863601965491761/250000000000000000000000000000000" + ], + "tested": "364489006794007/100000000000000000", + "written_log_power": 2237 + }, + "native_baseline_rejects_new_claim": true, + "new_native": "9eff91418d838f1ffa20fe5c5975dc2c43a79b32d501fcbe30b90c50a7b11ce3", + "old_native": "b012295cfe44d204c2724fe544731ac17aa969e06e33043496ac7a1c91a912b3", + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "2337116490365366956039289279110037307025889205276376707432293767001594532441593/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "18696931922922935648314314232880298456207113642211013659458350136012756293809623/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.00364489006794", + "gain": "4.82172401E-7", + "gain_exact": "482172401/1000000000000000", + "independent_raw_bracket": [ + "0.00364489006794007545440786196704391", + "0.00364489006794007545440786196704392" + ], + "previous_claim": "3644407895539/1000000000000000", + "raw_bracket": [ + "0.0036448900679400754544078619670439", + "0.003644890067940075454407861967044" + ] + } + }, + "status": "PASS_FUNDED_EXIT_CONTINUATION" +} diff --git a/research/p104-rank8-exit-funded-split/SOURCES.json b/research/p104-rank8-exit-funded-split/SOURCES.json new file mode 100644 index 0000000000..8afe96903b --- /dev/null +++ b/research/p104-rank8-exit-funded-split/SOURCES.json @@ -0,0 +1,30 @@ +{ + "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": "provenance", + "git_blob": "39e62cac780b662903582cb5f8684990fa779bb3", + "sha256": "196be1bc2329500f2c7c995deaf5a82aecc5e27f0fef7805470cb65d187bb1c0" + } + ] +} diff --git a/research/p104-rank8-exit-funded-split/TASK.json b/research/p104-rank8-exit-funded-split/TASK.json new file mode 100644 index 0000000000..b28db4134d --- /dev/null +++ b/research/p104-rank8-exit-funded-split/TASK.json @@ -0,0 +1,117 @@ +{ + "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": "refined", + "actual_scope": "One final paid rank-one MOVE for role 133 in the exact #7156 word and one new arbitrary-input causal split at chart 1031 using the unchanged signed 17-stage #7113 caller.", + "scope_change_reason": "The two bounded stationary-only searches had zero compatible rational pairs in their tested domains. Admit one rank-eight exit to the complete helper boundary with its rank-one payment, then require a strictly better complete price and full replay.", + "bottleneck_link": "The exit extension supplies the missing group coordinate in both exact temporal functionals. The fully charged profile has a higher conditional kappa.", + "budget_minutes": 60, + "stop_rule": "First literal nominee from 26 rank-eight exit extensions, original cut ranks 2\u20137, with complete source, ownership, price and native/caller replay before publication.", + "outcome": "completed", + "evidence": "PROOF.md, WITNESS.json, PATHS.json and all three exact stage receipts. The funded price and candidate improvement are certified by two directed engines.", + "author": "Clear1nsight", + "ai_assistance": "Substantial OpenAI Codex and verified ChatGPT Pro consultation. Pro audited temporal availability and COPY guards. Codex ran the bounded screens and verified the exact candidate.", + "open_questions": [ + { + "question": "Can the exact funded exit be independently reproduced?", + "why_it_matters": "The charged source path gives a higher conditional bound than the complete #7156 invoice.", + "first_step": "Check the exact extension and guard certificate, then run the registered package.", + "blocked_by": "Independent mathematical review under the five inherited assumptions." + } + ] +} diff --git a/research/p104-rank8-exit-funded-split/VALIDATION.md b/research/p104-rank8-exit-funded-split/VALIDATION.md new file mode 100644 index 0000000000..b858af91de --- /dev/null +++ b/research/p104-rank8-exit-funded-split/VALIDATION.md @@ -0,0 +1,26 @@ +# Source-bound replay evidence + +The literal constructor regenerated the full canonical word. The +funded-exit discovery also reproduced the exact witness and paths from +a separate copied archive. Each scientific stage ran in a private +temporary directory on Linux x86-64 with CPython 3.12.3. + +| Stage | Elapsed seconds | Peak RSS KiB | +|---|---:|---:| +| Exact adjoint, prices and fixed-profile ceiling | 102.75 | 373632 | +| Full native, precision and physical checks | 333.05 | 662468 | +| Complete signed caller, catalogue, costs and outer gates | 385.74 | 352824 | + +All three exited zero. [REPLAY.txt](REPLAY.txt) preserves the direct +outputs. The registered entry point compares every field in the three +frozen receipts. The early checks reject an omitted or wrong-frame exit, +a false stationary chart, an interior MOVE masquerading as a stationary +window, and post-CLEAR access. The full native stage retains the guarded +COPY mutation, wrong boundary coefficient, public erasure, extra owned +lifetime, insufficient grids and absolute-phase mutations. The +unchanged signed caller's physical binding rejects aliased ownership. +Both exact prices reject the old invoice at the new claim. + +The fixed source-profile result remains conditional under the five +inherited premises. Maintainer review, independent human or formal +acceptance, and literal top-level multiplier execution remain open. diff --git a/research/p104-rank8-exit-funded-split/VERIFY.json b/research/p104-rank8-exit-funded-split/VERIFY.json new file mode 100644 index 0000000000..a02fbed5a6 --- /dev/null +++ b/research/p104-rank8-exit-funded-split/VERIFY.json @@ -0,0 +1,42 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py", + "early" + ], + "timeout_seconds": 180, + "checks": "Exact source, full candidate arbitrary-input adjoint, omitted exit and literal stationary controls, both directed prices, fixed-profile packing cap and complete receipt." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py", + "native" + ], + "timeout_seconds": 510, + "checks": "Complete native forward/adjoint and timed guarded proof, fresh exact grid, owned census, affected 512-column chart and phase maps, native ordinary and precision, finite physical checks and complete receipt." + }, + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/verify.py", + "caller" + ], + "timeout_seconds": 510, + "checks": "Exact 17-stage caller and complete paid/helper catalogue, absolute phase and main boundaries, all costs and grids, both prices and 54+4 outer guards with complete receipt." + } + ] +} diff --git a/research/p104-rank8-exit-funded-split/WITNESS.json b/research/p104-rank8-exit-funded-split/WITNESS.json new file mode 100644 index 0000000000..1f995a1125 --- /dev/null +++ b/research/p104-rank8-exit-funded-split/WITNESS.json @@ -0,0 +1,201 @@ +{ + "frame": 1031, + "cut": 42379, + "pivot": 1336, + "ranks": [ + 5, + 4 + ], + "c": { + "1008": "-11", + "688": "27/8", + "270": "-3", + "1331": "-3/2", + "1235": "3/2", + "1207": "-3/2", + "1284": "2", + "1234": "105/16", + "1032": "15/2", + "1030": "-105/4", + "671": "-15/4", + "497": "1/2", + "372": "1/8", + "370": "-3", + "711": "3/4", + "1242": "10", + "767": "1/4", + "482": "-7", + "494": "19/2", + "133": "-3", + "1039": "6", + "495": "9/2", + "483": "-3/4", + "1120": "13/8", + "518": "7/2", + "506": "1/4", + "519": "-11", + "1307": "-4", + "1134": "5", + "1017": "-2", + "695": "-5/2", + "507": "2", + "1043": "5/2", + "901": "10", + "757": "5/16", + "1336": "2", + "445": "-2", + "1001": "-1/4", + "21": "1/2", + "924": "1/2", + "1272": "-1/4", + "348": "-3/8", + "553": "-21/2" + }, + "d": { + "133": "-2", + "1242": "-1/2", + "1230": "-1/4", + "445": "1", + "1248": "1", + "1336": "1", + "1236": "-1/2", + "1241": "-1/4", + "1247": "1/2" + }, + "gathers": [ + { + "cut": 42379, + "role": 1530, + "frame": 1031, + "coefficient": "1", + "path": 9 + }, + { + "cut": 42370, + "role": 1501, + "frame": 1031, + "coefficient": "1", + "path": 8 + }, + { + "cut": 35551, + "role": 695, + "frame": 1031, + "coefficient": "-5", + "path": 7 + }, + { + "cut": 35541, + "role": 1332, + "frame": 1031, + "coefficient": "-1", + "path": 0 + }, + { + "cut": 31268, + "role": 696, + "frame": 1031, + "coefficient": "7/2", + "path": 2 + }, + { + "cut": 32013, + "role": 1336, + "frame": 1031, + "coefficient": "5/2", + "path": 6 + }, + { + "cut": 35552, + "role": 767, + "frame": 1031, + "coefficient": "-1", + "path": 1 + }, + { + "cut": 35574, + "role": 1334, + "frame": 1031, + "coefficient": "3/2", + "path": 5 + }, + { + "cut": 35570, + "role": 697, + "frame": 1031, + "coefficient": "1", + "path": 4 + }, + { + "cut": 35552, + "role": 699, + "frame": 1031, + "coefficient": "1/2", + "path": 3 + }, + { + "cut": 0, + "role": 1362, + "frame": 1031, + "coefficient": "1", + "stationary_interval": [ + 0, + 35561 + ] + }, + { + "cut": 0, + "role": 1386, + "frame": 1031, + "coefficient": "1/2", + "stationary_interval": [ + 0, + 35607 + ] + } + ], + "injections": [ + { + "cut": 42382, + "role": 1530, + "frame": 1031, + "coefficient": "1", + "path": 10 + }, + { + "cut": 42391, + "role": 1337, + "frame": 1031, + "coefficient": "-1/2", + "path": 12 + }, + { + "cut": 42389, + "role": 1336, + "frame": 1031, + "coefficient": "-1/2", + "path": 11 + }, + { + "cut": 42393, + "role": 1362, + "frame": 1031, + "coefficient": "-1/2", + "path": 13 + }, + { + "cut": 42875, + "role": 1335, + "frame": 1031, + "coefficient": "-1/2", + "path": 14 + } + ], + "paid_delta": {}, + "extension": { + "role": 133, + "old": 591, + "new": 127, + "cut": 76220 + } +} diff --git a/research/p104-rank8-exit-funded-split/WORD.json.gz b/research/p104-rank8-exit-funded-split/WORD.json.gz new file mode 100644 index 0000000000..84c893e83b Binary files /dev/null and b/research/p104-rank8-exit-funded-split/WORD.json.gz differ diff --git a/research/p104-rank8-exit-funded-split/build.py b/research/p104-rank8-exit-funded-split/build.py new file mode 100644 index 0000000000..108732075b --- /dev/null +++ b/research/p104-rank8-exit-funded-split/build.py @@ -0,0 +1,69 @@ +#!/usr/bin/env python3 +# SPDX-License-Identifier: Apache-2.0 +"""Emit the frozen candidate from its exact parent and literal witness.""" + +from collections import Counter +from pathlib import Path +import argparse +import gzip +import json +import sys + +HERE = Path(__file__).resolve().parent +sys.path.insert(0, str(HERE)) +from replay_checks import check_stationary, extend_exit +from replay_sources import canonical, need, parent_archive, predecessor, read + + +def profile(old, new, hit): + live = set() + peak = lives = 0 + for e in new["program"]: + if e[0] == "INIT": + need(e[1] not in live, "Fresh owned life") + live.add(e[1]) + lives += 1 + peak = max(peak, len(live)) + elif e[0] == "CLEAR": + live.remove(e[1]) + need(not live, "All owned lives retired") + paid = Counter(abs(len(new["frames"][e[3]])-len(new["frames"][e[2]])) + for e in new["program"] if e[0] == "MOVE") + paid.subtract(abs(len(old["frames"][e[3]])-len(old["frames"][e[2]])) + for e in old["program"] if e[0] == "MOVE") + delta = Counter(hit["ranks"]) + delta[8] -= 1 + need({r: n for r, n in paid.items() if n} == {1: 1}, "Exactly one paid exit rank added") + need(new["public"] == old["public"]+1 and new["owned_fields"] == old["owned_fields"]+2, + "One extra arbitrary public field and two owned labels") + return dict(lifetimes=lives, peak=peak, owned=new["owned_fields"], events=len(new["program"]), + added_events=len(new["program"])-len(old["program"]), public=new["public"], + target_delta=dict(sorted(delta.items())), paid_delta={1: 1}) + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument("--write", action="store_true", help="Write new frozen word and profile files") + args = parser.parse_args() + hit = read(HERE / "WITNESS.json") + with parent_archive() as parent: + sys.path.insert(0, str(parent)) + from construct import construct + old = predecessor(parent) + check_stationary(old, hit) + word = construct(extend_exit(old, hit), hit, read(HERE / "PATHS.json")) + census = profile(old, word, hit) + if args.write: + with (HERE / "WORD.json.gz").open("xb") as out: + out.write(gzip.compress(canonical(word), mtime=0)) + with (HERE / "PROFILE.json").open("x") as out: + json.dump(census, out, indent=2, sort_keys=True) + out.write("\n") + else: + need(canonical(word) == canonical(read(HERE / "WORD.json.gz")), "Full regenerated word") + need(json.loads(json.dumps(census)) == read(HERE / "PROFILE.json"), "Exact emitted census") + print("PASS_LITERAL_FUNDED_EXIT_WORD", census) + + +if __name__ == "__main__": + main() diff --git a/research/p104-rank8-exit-funded-split/discover.py b/research/p104-rank8-exit-funded-split/discover.py new file mode 100644 index 0000000000..e50db34b9f --- /dev/null +++ b/research/p104-rank8-exit-funded-split/discover.py @@ -0,0 +1,373 @@ +#!/usr/bin/env python3 +# SPDX-License-Identifier: Apache-2.0 +"""Find causal pairings from literal stationary and retimable observations. + +Retiming and temporal elimination follow the credited #7156 lineage. The +changed pool adds complete live zero-MOVE intervals and guards same-cut COPY. +A nomination is an input to the whole-word and complete-caller replays. +""" + +import argparse +from collections import Counter, defaultdict +from fractions import Fraction as Q +from pathlib import Path +import json +import sys + +HERE = Path(__file__).resolve().parent +sys.path.insert(0, str(HERE)) +from replay_sources import need, parent_archive, predecessor + + +def add(dst, src, scale): + for k, v in src.items(): + value = dst.get(k, 0) + v*scale + if value: + dst[k] = value + else: + dst.pop(k, None) + + +def span(basis): + out = {0} + for a in basis: + need(a not in out, "Independent axes") + out |= {a ^ v for v in out} + return out + + +def affected(event): + return event[1:3] if event[0] in ("ADD", "COPY") else event[1:2] + + +def windows(word, charts): + events = word["program"] + live = {r: (0, f, []) for r, f in enumerate(word["initial"])} + neutral, movers = defaultdict(list), [] + + def close(role, hi): + lo, a, indices = live[role] + if indices: + frames = [a, *(events[j][3] for j in indices)] + path = dict(role=role, lo=lo, hi=hi, moves=indices, frames=frames) + movers.append(path) + for f in sorted(set(frames) & charts): + neutral[f].append(path | {"frame": f}) + elif a in charts: + neutral[a].append(dict(role=role, lo=lo, hi=hi, frame=a, stationary=True)) + return events[indices[-1]][3] if indices else a + + for i, e in enumerate(events): + op, r = e[:2] + if op == "INIT": + need(r not in live, "Fresh owned interval") + live[r] = i+1, e[2], [] + elif op == "MOVE": + live[r][2].append(i) + else: + for owner in affected(e): + f = close(owner, i) + need(f == e[-1], "Literal contact chart") + live[owner] = i+1, f, [] + if op == "CLEAR": + del live[r] + for role in live: + need(role < word["public"] and close(role, len(events)) == word["final"][role], "Literal final chart") + return neutral, movers + + +def affordable_paths(word, charts, movers, spaces, cap, descending_owned): + ranks = list(map(len, word["frames"])) + n = word["public"] + proposals = [] + for path in movers: + if len(path["moves"]) != 1: + continue + a, b = path["frames"] + owned = path["role"] >= n + if owned and (not descending_owned or ranks[b] >= ranks[a]): + continue + rank = abs(ranks[b]-ranks[a]) + if not 2 <= rank <= 8: + continue + for f in sorted(charts - {a, b}): + if spaces[a] < spaces[f] < spaces[b] or (owned and spaces[b] < spaces[f] < spaces[a]): + legs = [abs(ranks[f]-ranks[a]), abs(ranks[b]-ranks[f])] + proposal = path | dict(frame=f, old=a, new=b, old_paid=[rank], new_paid=legs, + private=owned, paid=True) + proposals.append((rank, min(legs), f, path["lo"], path["role"], proposal)) + proposals.sort(key=lambda row: row[:5]) + return [p[-1] for p in proposals[:cap]], len(proposals) + + +def annotate(word, observations): + """One forward and one guarded backward pass over the exact source.""" + events = word["program"] + n, m = word["public"], word["public"]+word["owned_fields"] + starts, stops = defaultdict(list), defaultdict(list) + for obs in observations: + starts[obs["lo"]].append(obs) + stops[obs["hi"]].append(obs) + rows = [{r: Q(1)} if r < n else {} for r in range(m)] + for cut in range(len(events)+1): + for x in starts.get(cut, ()): + x["pre"] = rows[x["role"]].copy() + if cut == len(events): + break + op, r, *a = events[cut] + if op in ("INIT", "CLEAR"): + rows[r] = {} + elif op == "SCALE": + rows[r] = {j: v*Q(a[0]) for j, v in rows[r].items()} + elif op in ("ADD", "COPY"): + if op == "COPY": + need(not rows[r], "Original COPY destination zero") + add(rows[r], rows[a[0]], Q(a[1])) + cols = [{r: Q(1)} for r in range(m)] + for cut in range(len(events), -1, -1): + for x in stops.get(cut, ()): + x["suf"] = cols[x["role"]].copy() + if cut == 0: + break + op, r, *a = events[cut-1] + if op in ("INIT", "CLEAR"): + cols[r] = {} + elif op == "SCALE": + cols[r] = {j: v*Q(a[0]) for j, v in cols[r].items()} + elif op in ("ADD", "COPY"): + add(cols[a[0]], cols[r], Q(a[1])) + if op == "COPY": + cols[r] = {m+cut-1: Q(1)} + + +def kernel(observations, side, group, skip_stationary=False): + """A chronological generating set for the pure helper images.""" + is_prefix = side == "pre" + endpoint = "lo" if is_prefix else "hi" + order = sorted(range(len(observations)), + key=lambda j: observations[j][endpoint], reverse=not is_prefix) + pivots, pure = {}, [] + for j in order: + obs = observations[j] + if skip_stationary and obs.get("stationary"): + continue + outside = {r: v for r, v in obs[side].items() if r not in group} + inside = {r: v for r, v in obs[side].items() if r in group} + provenance = {j: Q(1)} + while outside: + r = min(outside) + if r not in pivots: + coefficient = outside[r] + pivots[r] = tuple({k: v/coefficient for k, v in row.items()} + for row in (outside, inside, provenance)) + break + factor = -outside[r] + for row, pivot in zip((outside, inside, provenance), pivots[r]): + add(row, pivot, factor) + if not outside and inside: + clock = (max if is_prefix else min)(observations[k][endpoint] for k in provenance) + pure.append((inside, provenance, clock)) + return pure + + +def pair(c, d): + return sum(q*d.get(r, 0) for r, q in c.items()) + + +def smooth(x): + for p in (2, 3, 5): + while x % p == 0: + x //= p + return x == 1 + + +def legal(op, q): + return (q and abs(q)+1 < 2**16 and abs(q.numerator).bit_length() <= 24 + and smooth(q.denominator) and (op != "SCALE" or smooth(abs(q.numerator)))) + + +def point(obs, q, side, index, remap): + row = dict(cut=obs["lo" if side == "pre" else "hi"], role=obs["role"], frame=obs["frame"], + coefficient=str(q)) + if obs.get("stationary"): + row["stationary_interval"] = [obs["lo"], obs["hi"]] + elif obs.get("paid"): + row["paid_path"] = 0 + else: + row["path"] = remap[index] + return row + + +def nominate(observations, word, group, f, split, extra, counts, extension=None, baseline=None): + pre = kernel(observations, "pre", group) + suf = kernel(observations, "suf", group) + if baseline is None: + mpre = kernel(observations, "pre", group, skip_stationary=True) + msuf = kernel(observations, "suf", group, skip_stationary=True) + else: + mpre, msuf = baseline + residents = [(o["lo"], o["hi"], o["role"], j) for j, o in enumerate(observations) + if o["role"] in group] + counts["cases"] += 1 + counts["prefix_generators"] += len(pre) + counts["suffix_generators"] += len(suf) + reference_pair_windows = sorted((lo, hi) for c, _, lo in mpre for d, _, hi in msuf + if lo <= hi and pair(c, d)) + for c, a, lo in pre: + for d0, b0, hi in suf: + if lo > hi: + continue + pairing = pair(c, d0) + if not pairing: + continue + counts["rational_pairs"] += 1 + if extension: + if extension["role"] not in c and extension["role"] not in d0: + continue + elif not any(observations[j].get("stationary") for j in set(a) | set(b0)): + continue + d = {r: q/pairing for r, q in d0.items()} + b = {j: q/pairing for j, q in b0.items()} + scales = {Q(1), *(1/q for q in d.values()), *c.values()} + for born, expired, pivot, pivot_index in residents: + cut = max(lo, born) + for first, last in reference_pair_windows: + if first > cut: + break + if last >= cut: + cut = last+1 + if cut > min(hi, expired): + continue + counts["new_access_required_pairs"] += 1 + for s in sorted(scales, key=lambda q: (abs(q.numerator).bit_length()+q.denominator.bit_length(), q)): + cc, dd = {r: q/s for r, q in c.items()}, {r: q*s for r, q in d.items()} + aa, bb = {j: q/s for j, q in a.items()}, {j: q*s for j, q in b.items()} + if not all(legal("ADD", q) for q in [*aa.values(), *bb.values()]): + continue + code = split.basis(cc, dd, pivot, 3) + if not all(legal(e[0], Q(e[-2])) for e in code + split.inverse(code)): + continue + used = sorted(j for j in set(aa) | set(bb) | {pivot_index} + if not (observations[j].get("stationary") or observations[j].get("paid"))) + remap = {j: k for k, j in enumerate(used)} + paths = [{k: v for k, v in observations[j].items() if k not in ("pre", "suf")} for j in used] + rank = len(word["frames"][f]) + hit = dict(frame=f, cut=cut, pivot=pivot, ranks=[rank, 9-rank], + c={str(r): str(q) for r, q in cc.items()}, d={str(r): str(q) for r, q in dd.items()}, + gathers=[point(observations[j], q, "pre", j, remap) for j, q in aa.items()], + injections=[point(observations[j], q, "suf", j, remap) for j, q in bb.items()], + paid_delta={}) + if extension: + hit["extension"] = extension + if extra: + delta = Counter(extra["new_paid"]) + delta.subtract(extra["old_paid"]) + hit.update(paid_path=0, path={k: v for k, v in extra.items() if k not in ("pre", "suf", "paid")}, + paid_delta={str(r): v for r, v in delta.items() if v}) + return hit, paths, dict(full_generators=[len(pre), len(suf)], + reference_generators=[len(mpre), len(msuf)], + reference_pair_windows=len(reference_pair_windows), boundary_instructions=len(code)) + return None + + +def run(word, split, paid_limit, ranks, descending_owned): + spaces = list(map(span, word["frames"])) + main = set(word["live"]) | {r+112 for r in word["live"]} | set(word["hosted"]["X2"]) | set(word["hosted"]["Y2"]) + group = {r for r, (a, b) in enumerate(zip(word["initial"], word["final"])) + if r not in main and (a, b) == (3, 127)} + charts = {f for f, s in enumerate(spaces) if len(s) in {2**rank for rank in ranks} and spaces[3] < s < spaces[127]} + charts -= {120, 237, 306, 595} + neutral, movers = windows(word, charts) + eligible = {f for f in charts if any(o.get("stationary") for o in neutral[f])} + paid, available_paid = affordable_paths(word, eligible, movers, spaces, paid_limit, descending_owned) + by_chart = [o for f in sorted(eligible) for o in neutral[f]] + annotate(word, [*by_chart, *paid]) + counts = Counter() + summary = dict(group_size=len(group), eligible_charts=len(eligible), + stationary=sum(o.get("stationary", False) for o in by_chart), + moving=len(by_chart)-sum(o.get("stationary", False) for o in by_chart), + affordable_single_midpoints=available_paid, paid_case_cap=paid_limit, ranks=ranks, descending_owned=descending_owned) + print("DOMAIN", summary, flush=True) + for f in sorted(eligible): + obs = neutral[f] + if not any(o["role"] in group for o in obs): + counts["charts_without_pivot"] += 1 + continue + found = nominate(obs, word, group, f, split, None, counts) + if found: + return found, summary | dict(neutral=dict(counts), paid={}) + neutral_counts, counts = dict(counts), Counter() + print("NEUTRAL", neutral_counts, flush=True) + for extra in paid: + f = extra["frame"] + found = nominate([*neutral[f], extra], word, group, f, split, extra, counts) + if found: + return found, summary | dict(neutral=neutral_counts, paid=dict(counts)) + return None, summary | dict(neutral=neutral_counts, paid=dict(counts)) + + + +def run_exit(word, split): + spaces = list(map(span, word["frames"])) + main = set(word["live"]) | {r+112 for r in word["live"]} | set(word["hosted"]["X2"]) | set(word["hosted"]["Y2"]) + group = {r for r, (a, b) in enumerate(zip(word["initial"], word["final"])) + if r not in main and (a, b) == (3, 127)} + exits = {r: b for r, (a, b) in enumerate(zip(word["initial"], word["final"])) + if r not in main and a == 3 and len(spaces[b]) == 256 and spaces[b] < spaces[127]} + charts = {f for f, s in enumerate(spaces) if 4 <= len(s) <= 128 and spaces[3] < s < spaces[127]} + charts -= {120, 237, 306, 595} + pool, _ = windows(word, charts) + annotate(word, [o for obs in pool.values() for o in obs]) + order = sorted(pool, key=lambda f: (abs(len(word["frames"][f])-4.5), f)) + counts = Counter() + summary = dict(group_size=len(group), eligible_exits=len(exits), charts=len(order)) + print("EXIT DOMAIN", summary, flush=True) + for f in order: + obs = pool[f] + roles = {o["role"] for o in obs} + supported = set().union(*(row.keys() for o in obs for row in (o["pre"], o["suf"]))) + choices = [r for r in exits if r in supported and (r in roles or not roles.isdisjoint(group))] + if not choices: + continue + baseline = kernel(obs, "pre", group), kernel(obs, "suf", group) + for r in choices: + extra = dict(role=r, old=exits[r], new=127, cut=len(word["program"])) + found = nominate(obs, word, group | {r}, f, split, None, counts, extension=extra, baseline=baseline) + if found: + return found, summary | dict(screen=dict(counts)) + if counts["cases"] % 200 < len(choices): + print("EXIT SCREEN", dict(counts), flush=True) + return None, summary | dict(screen=dict(counts)) + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument("output", type=Path) + parser.add_argument("--paid-limit", type=int, default=500) + parser.add_argument("--ranks", type=int, nargs="+", default=[4, 5]) + parser.add_argument("--descending-owned", action="store_true") + parser.add_argument("--funded-exit", action="store_true") + args = parser.parse_args() + need(all(1 <= r <= 8 for r in args.ranks) and 0 <= args.paid_limit <= 500, "Bounded search scope") + args.output.mkdir() + with parent_archive() as parent: + sys.path.insert(0, str(parent)) + import split + word = predecessor(parent) + if args.funded_exit: + result, info = run_exit(word, split) + else: + result, info = run(word, split, args.paid_limit, args.ranks, args.descending_owned) + if result: + hit, paths, detail = result + for name, data in [("WITNESS.json", hit), ("PATHS.json", paths)]: + (args.output / name).write_text(json.dumps(data, indent=2)+"\n") + info.update(witness=dict(frame=hit["frame"], cut=hit["cut"], pivot=hit["pivot"], **detail)) + info.update(status="EXACT_CAUSAL_NOMINEE" if result else "NO_EMITTED_NOMINEE", + scope="Exact rational availability and bounded literal basis synthesis") + (args.output / "DISCOVERY.json").write_text(json.dumps(info, indent=2)+"\n") + print(info, flush=True) + + +if __name__ == "__main__": + main() diff --git a/research/p104-rank8-exit-funded-split/inputs/pr7156.tar b/research/p104-rank8-exit-funded-split/inputs/pr7156.tar new file mode 100644 index 0000000000..4784b2241c Binary files /dev/null and b/research/p104-rank8-exit-funded-split/inputs/pr7156.tar differ diff --git a/research/p104-rank8-exit-funded-split/replay_adapters.py b/research/p104-rank8-exit-funded-split/replay_adapters.py new file mode 100644 index 0000000000..0745cfce45 --- /dev/null +++ b/research/p104-rank8-exit-funded-split/replay_adapters.py @@ -0,0 +1,65 @@ +# SPDX-License-Identifier: Apache-2.0 +"""Counted edits to the private copies of the exact #7156 replay engines.""" + +from replay_sources import need + + +def adapt_replay(work, profile, witness): + def patch(file, old, new, count=1): + path = work / file + raw = path.read_text() + need(raw.count(old) == count, "Unexpected predecessor adapter anchor in " + file + ": " + old) + path.write_text(raw.replace(old, new)) + + native = "verify_native.py" + owned = f'({profile["lifetimes"]}, {profile["peak"]}, {profile["owned"]})' + patch(native, "(64, 47, 61)", owned, count=2) + patch(native, "oldN['lifetimes']+2==64 and N['owned_peak']==47", + f'oldN[\'lifetimes\']+2=={profile["lifetimes"]} and N[\'owned_peak\']=={profile["peak"]}') + patch(native, "old['owned_fields']+2==61", f'old[\'owned_fields\']+2=={profile["owned"]}') + patch(native, "['lifetimes']==64,'Fresh exact owned census", + f'["lifetimes"]=={profile["lifetimes"]},\'Fresh exact owned census') + paid = {int(r): q for r, q in profile["paid_delta"].items()} + target = {int(r): q for r, q in profile["target_delta"].items()} + patch(native, "=={4:1,5:1,9:-1} and delta(N['paid'],oldN['paid'])=={3:1,5:1,8:-1}", + f"=={target!r} and delta(N['paid'],oldN['paid'])=={paid!r}") + patch(native, "len(old['program'])+40 and new['public']==old['public']+1==1498", + f'len(old[\'program\'])+{profile["added_events"]} and new[\'public\']==old[\'public\']+1==1499') + patch(native, ";a=hit['path']['old'];b=hit['path']['new']\n needed=changed|{(u,f),(f,v),(a,f),(f,b),(a,b),(u,v)}", + "\n needed=changed|{(u,f),(f,v),(u,v)}\n" + " if 'path' in hit:\n" + " a,b=hit['path']['old'],hit['path']['new'];needed|={(a,f),(f,b),(a,b)}\n" + " e=hit['extension'];needed|={(3,e['old']),(e['old'],e['new']),(3,e['new'])}") + patch(native, "PASS_TEMPORAL_CHART306_NATIVE", "PASS_FUNDED_EXIT_NATIVE") + patch("verify.py", "PASS_TEMPORAL_CHART306_CONTINUATION", "PASS_FUNDED_EXIT_CONTINUATION") + patch("adapt.py", "(64, 47, 61)", owned) + patch("price.py", "Entire reconstructed current #7155 invoice", "Entire reconstructed current #7156 invoice") + patch("adapt.py", 'crossing_probe_rejected,"scope":"Reuse exact same native word all-column adjoint;', + 'crossing_probe_rejected,"scope":"Fresh exact current native arbitrary-input adjoint;') + if "path" not in witness: + start = " bad = deepcopy(hit)\n bad['paid_delta'] = {}\n" + stop = " bad = deepcopy(hit)\n bad['ranks']" + text = (work / "certificate.py").read_text() + a, b = text.index(start), text.index(stop) + patch("certificate.py", text[a:b], "") + + patch("construct.py", "from source import need", "from source import need\nfrom replay_checks import extend_exit") + patch("construct.py", "candidate = split(word, hit, paths)", "candidate = split(extend_exit(word, hit), hit, paths)") + + early = "verify_early.py" + patch(early, "from construct import construct", + "from construct import construct\nfrom replay_checks import check_stationary, check_exit, packing\nfrom fractions import Fraction as Q") + patch(early, "new=construct(old,read(HERE/'WITNESS.json'),read(HERE/'PATHS.json'));", + "hit=read(HERE/'WITNESS.json');stationary=check_stationary(old,hit);exit_check=check_exit(old,hit,read(HERE/'PATHS.json'))\n" + " new=construct(old,hit,read(HERE/'PATHS.json'));") + patch(early, " return normalized(dict(status=", + " pack=packing(invoice,after,G.module('stationary_packing',vendor/'interval_gate.py'),Q(gate['claim']))\n" + " return normalized(dict(stationary=stationary,exit_extension=exit_check,packing=pack,status=") + patch(early, " r=run();need(r==read(HERE/'EARLY-RESULT.json'),'Every frozen early receipt field');" + "print(r['status'],r['price']['claim_decimal'],flush=True)", + " parser=argparse.ArgumentParser();parser.add_argument('--out',type=Path);args=parser.parse_args()\n" + " r=run()\n" + " if args.out:\n" + " with args.out.open('x') as out:json.dump(r,out,sort_keys=True,indent=2);out.write('\\n')\n" + " else:need(r==read(HERE/'EARLY-RESULT.json'),'Every frozen early receipt field')\n" + " print(r['status'],r['price']['claim_decimal'],flush=True)") diff --git a/research/p104-rank8-exit-funded-split/replay_checks.py b/research/p104-rank8-exit-funded-split/replay_checks.py new file mode 100644 index 0000000000..5a5882985a --- /dev/null +++ b/research/p104-rank8-exit-funded-split/replay_checks.py @@ -0,0 +1,140 @@ +# SPDX-License-Identifier: Apache-2.0 +"""Independent literal interval controls and fixed-profile packing relaxation.""" + +from collections import Counter +from fractions import Fraction as Q + + +def require(condition, message): + if not condition: + raise ValueError(message) + + +def touches(event, role): + return event[1] == role or (event[0] in ("ADD", "COPY") and event[2] == role) + + +def stationary(word, role, frame, lo, hi): + events = word["program"] + require(0 <= lo <= hi <= len(events), "Well-ordered original cuts") + require(lo == 0 or (events[lo-1][0] != "MOVE" and touches(events[lo-1], role)), + "Stationary interval starts at a literal contact boundary") + require(hi == len(events) or (events[hi][0] != "MOVE" and touches(events[hi], role)), + "Stationary interval ends at a literal contact boundary") + current = word["initial"][role] if role < word["public"] else None + for e in events[:lo]: + if e[1] != role: + continue + if e[0] == "INIT": + current = e[2] + elif e[0] == "CLEAR": + current = None + elif e[0] == "MOVE": + current = e[3] + require(current is not None and current == frame, "Live literal stationary chart") + require(not any(touches(e, role) for e in events[lo:hi]), + "Whole contact interval has no MOVE or intervening contact") + + +def rejected(check): + try: + check() + except ValueError: + return True + raise ValueError("Malformed stationary access accepted") + + +def check_stationary(word, hit): + retained = [] + for name, endpoint in (("gathers", 0), ("injections", 1)): + for x in hit[name]: + if "stationary_interval" not in x: + continue + lo, hi = x["stationary_interval"] + require("path" not in x and "paid_path" not in x and x["cut"] == (lo, hi)[endpoint], + "Literal stationary access without retiming") + require(Q(x["coefficient"]) and x["frame"] == hit["frame"], "Nonzero cocharted access") + stationary(word, x["role"], x["frame"], lo, hi) + retained.append(dict(kind=name, role=x["role"], cut=x["cut"], interval=[lo, hi])) + require(retained, "At least one genuine stationary coefficient") + a = retained[0] + toy = dict(public=1, initial=[0], program=[ + ["INIT", 1, 0], ["MOVE", 1, 0, 1, True], + ["ADD", 1, 0, "1", 1], ["CLEAR", 1, 1], + ]) + return dict(accesses=retained, + wrong_chart=rejected(lambda: stationary(word, a["role"], -1, *a["interval"])), + inside_moving_epoch=rejected(lambda: stationary(toy, 1, 0, 1, 2)), + after_clear=rejected(lambda: stationary(toy, 1, 1, 4, 4))) + + +def packing(invoice, native, g, claim): + """Fixed T, 17 fixed native words, and fixed ambient-145 remainder mass.""" + cap = 145 + paid = Counter(invoice["P"]) + local = Counter({r: 17*count for r, count in native["paid"].items()}) + paid.subtract(local) + require(all(n >= 0 and r <= cap for r, n in paid.items()), "Exact nonnegative paid remainder") + mass = sum(r*n for r, n in paid.items()) + relaxed = Counter(invoice["T"]) + relaxed.subtract(local) + relaxed[cap] -= Q(mass, cap) + + # r^(1-x) log(r) is positive. Bound each signed derivative term + # across the entire recipe range using its monotone power factor. + end = Q(1, 32) + derivative = (0, 0) + for r, count in relaxed.items(): + term = g.mul(g.power(r, end if count >= 0 else 0), g.log(r)) + derivative = g.add(derivative, g.smul(term, -count)) + require(derivative[1] < 0 and g.moment(relaxed, 0)[0] > 0 > g.moment(relaxed, end)[1], + "Directed relaxed crossing and uniform decrease") + lo, hi = Q(0), end + for _ in range(36): + mid = (lo+hi)/2 + a, b = g.moment(relaxed, mid) + if a > 0: + lo = mid + elif b < 0: + hi = mid + else: + raise ValueError("Ambiguous packing ceiling bisection") + require(0 < claim < lo < hi, "Candidate within fixed-profile packing ceiling") + return dict(ambient_cap=cap, remainder_rank_mass=mass, raw_ceiling=[str(lo), str(hi)], + claimed_fraction=[str(claim/hi), str(claim/lo)]) + + +def extend_exit(word, hit): + from copy import deepcopy + + e = hit["extension"] + role, old, new, cut = (e[k] for k in ("role", "old", "new", "cut")) + main = set(word["live"]) | {r+112 for r in word["live"]} | set(word["hosted"]["X2"]) | set(word["hosted"]["Y2"]) + require(0 <= role < word["public"] and role not in main and word["initial"][role] == 3 + and word["final"][role] == old and new == 127 and cut == len(word["program"]), + "Literal rank-eight arbitrary helper exit") + require(str(role) in hit["c"] or str(role) in hit["d"], "The extended coordinate participates") + old_basis, new_basis = word["frames"][old], word["frames"][new] + space = {0} + for v in new_basis: + space |= {v ^ x for x in space} + require(len(old_basis) == 8 and len(new_basis) == 9 and set(old_basis) <= space, + "One strictly nested paid exit rank") + out = deepcopy(word) + out["program"].append(["MOVE", role, old, new, False]) + out["final"][role] = new + return out + + +def check_exit(word, hit, paths): + from copy import deepcopy + from temporal_construct import construct + + e = hit["extension"] + extend_exit(word, hit) + omitted = rejected(lambda: construct(word, hit, paths)) + bad = deepcopy(hit) + bad["extension"]["old"] = bad["extension"]["new"] + wrong_source = rejected(lambda: extend_exit(word, bad)) + return dict(move=["MOVE", e["role"], e["old"], e["new"], False], original_cut=e["cut"], + omitted_extension_rejected=omitted, wrong_source_rejected=wrong_source) diff --git a/research/p104-rank8-exit-funded-split/replay_sources.py b/research/p104-rank8-exit-funded-split/replay_sources.py new file mode 100644 index 0000000000..45a1ffacce --- /dev/null +++ b/research/p104-rank8-exit-funded-split/replay_sources.py @@ -0,0 +1,96 @@ +# SPDX-License-Identifier: Apache-2.0 +"""Authenticate the literal predecessor and reuse its retained source closure.""" + +from contextlib import contextmanager +from hashlib import sha1, sha256 +from pathlib import Path +from tempfile import TemporaryDirectory +import gzip +import importlib.util +import json +import sys +import tarfile + +HERE = Path(__file__).resolve().parent + + +def need(condition, message): + if not condition: + raise ValueError(message) + + +def read(path): + raw = Path(path).read_bytes() + return json.loads(gzip.decompress(raw) if raw.startswith(b"\x1f\x8b") else raw) + + +def canonical(value): + return json.dumps(value, sort_keys=True, separators=(",", ":")).encode() + + +def load(name, path): + spec = importlib.util.spec_from_file_location(name, path) + module = importlib.util.module_from_spec(spec) + sys.modules[name] = module + spec.loader.exec_module(module) + return module + + +@contextmanager +def parent_archive(): + pin = read(HERE / "INPUTS.json") + archive = HERE / pin["archive"] + need(sha256(archive.read_bytes()).hexdigest() == pin["archive_sha256"], "Exact predecessor archive") + files = {x["path"]: x for x in pin["files"]} + need(len(files) == len(pin["files"]), "Unique pinned archive paths") + with TemporaryDirectory(prefix="p104-stationary-source-") as tmp: + root = Path(tmp) + seen = set() + with tarfile.open(archive) as payload: + for member in payload: + 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 archive inventory") + raw = payload.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"]), "Predecessor member " + name) + target.parent.mkdir(parents=True, exist_ok=True) + target.write_bytes(raw) + seen.add(name) + need(seen == set(files), "All predecessor bytes retained") + yield root / pin["prefix"] + + +def predecessor(parent): + word = read(parent / "WORD.json.gz") + receipt = read(parent / "NATIVE-RESULT.json") + need(sha256(canonical(word)).hexdigest() == receipt["word_canonical_sha256"], + "Literal #7156 native source") + return word + + +# The runner installs this file as source.py in a private stage directory. +# The exact parent archive stays read-only throughout the stage. +def stage_parent(): + return Path((HERE / "PARENT-DIRECTORY.txt").read_text().strip()) + + +@contextmanager +def sources(): + parent = stage_parent() + source = load("stationary_parent_native_sources", parent / "source.py") + with source.sources() as (vendor, audit, rank9, bundle, _, _): + yield vendor, audit, rank9, bundle, parent, predecessor(parent) + + +@contextmanager +def bundles(): + parent = stage_parent() + source = load("stationary_parent_caller_sources", parent / "source.py") + with source.bundles() as (parts, _, temporary): + yield parts, parent, temporary diff --git a/research/p104-rank8-exit-funded-split/verify.py b/research/p104-rank8-exit-funded-split/verify.py new file mode 100644 index 0000000000..154b386e9a --- /dev/null +++ b/research/p104-rank8-exit-funded-split/verify.py @@ -0,0 +1,55 @@ +#!/usr/bin/env python3 +# SPDX-License-Identifier: Apache-2.0 +"""Run the inherited exact checks on a private source-bound candidate copy.""" + +import argparse +from pathlib import Path +from shutil import copyfile +import subprocess +import sys +from tempfile import TemporaryDirectory + +HERE = Path(__file__).resolve().parent +sys.path.insert(0, str(HERE)) +from replay_sources import parent_archive, read, need + +STAGES = {"early": "verify_early.py", "native": "verify_native.py", "caller": "verify.py"} +REPLAY_MODULES = ( + "verify_early.py", "verify_native.py", "verify.py", "price.py", "adapt.py", + "construct.py", "certificate.py", "derive_grid.py", "support.py", + "split.py", "temporal_construct.py", +) +INPUTS = ("INPUTS.json", "WITNESS.json", "PATHS.json", "WORD.json.gz", + "EARLY-RESULT.json", "NATIVE-RESULT.json", "RESULT.json") + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument("stage", choices=STAGES) + parser.add_argument("--out", type=Path, help="Generate a new receipt at a path that does not exist") + args = parser.parse_args() + need(__debug__, "Run without optimized Python") + output = args.out.resolve() if args.out else None + if output: + need(not output.exists(), "Receipt destination already exists") + from replay_adapters import adapt_replay + + with parent_archive() as parent, TemporaryDirectory(prefix="p104-stationary-stage-") as tmp: + work = Path(tmp) + for name in REPLAY_MODULES: + copyfile(parent / name, work / name) + for name in INPUTS: + if (HERE / name).is_file(): + copyfile(HERE / name, work / name) + copyfile(HERE / "replay_sources.py", work / "source.py") + copyfile(HERE / "replay_checks.py", work / "replay_checks.py") + (work / "PARENT-DIRECTORY.txt").write_text(str(parent) + "\n") + adapt_replay(work, read(HERE / "PROFILE.json"), read(HERE / "WITNESS.json")) + argv = [sys.executable, "-I", "-B", str(work / STAGES[args.stage])] + if output: + argv.extend(("--out", str(output))) + subprocess.run(argv, cwd=work, check=True) + + +if __name__ == "__main__": + main()