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-temporal-237-595-composition/APPLICATION.md b/research/p104-temporal-237-595-composition/APPLICATION.md new file mode 100644 index 0000000000..642006df17 --- /dev/null +++ b/research/p104-temporal-237-595-composition/APPLICATION.md @@ -0,0 +1,60 @@ +# Complete 17-stage application price + +The reconstructed literal caller is unchanged: 4,783 events, SHA256 +`255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc`. +It runs the changed native word 17 times. The table compares full inventories, +including host, idle, conversion and query charges. T counts productive fields, +P counts paid positions, and S is the unweighted rank surplus. + +| Application | Conditional κ | Paid P | Productive T | S | Empty-root credit | +| --- | ---: | ---: | ---: | ---: | ---: | +| #7148, chart 595 | 0.003643716168305 | 110,468 | 22,376 | 1,424 | 0 | +| #7147, chart 237 | 0.003643989339627 | 110,468 | 22,376 | 1,424 | 0 | +| Chart 237 on chart 595 | **0.003644267085400** | **110,485** | **22,393** | **1,424** | **0** | + +Versus #7148: ΔT₄ = +17, ΔT₅ = +17, ΔT₉ = −17; +ΔP₁ = +17, ΔP₅ = +17, ΔP₆ = −17. +Versus #7147: ΔT₁ = +17, ΔT₈ = +17, ΔT₉ = −17; +ΔP₁ = +34, ΔP₂ = −17. Other T and P bins agree, as do S and credit. +The reconstructed inventories and both exact comparison receipts are in +RESULT.json. The two directed price engines certify the crossing within + +``` +(0.0036442670854004444481576159015679, + 0.0036442670854004444481576159015680). +``` + +The gain is 0.000000277745773 over #7147 and 0.000000550917095 over #7148. +Both older invoices have a strictly negative moment at the new claim; +the new invoice has a strictly positive moment at each older upper +crossing. The separate unchanged-caller adapter reproduces the same price +gate and rejects a probe at the new lower crossing endpoint. + +| Recomputed resource or gate | Result | +| --- | ---: | +| Ordinary source-unit bound | 781,680,368 < 1,000,000,000 | +| Context height / mass exponent / c | 406 / 1215 / 2430 | +| Native odd grid / fractional bits | 1125 / 25 | +| Owned stock: labels × 17 raw occurrences | 1,003 | +| Owned lifetimes / peak / rise mass | 62 / 46 / 56 | +| Scalar service bound | 43,666,976 | +| Scalar step coefficient | 45,788,143,026,176 | +| Monomial map slots | 298,604 | +| Elementary records upper bound | 25,460,171,456 | +| Actual ambient / compiler cap | 145 / 153 | +| Maximum reduced scalar numerator bits | 24 | +| Kstar / context-bound bits | 14093 / 14104 | +| BIT pin / margin from tested probe | 0.00376669 / 0.00012242291459993 | +| Strict / functional compiler outer checks | 54 / 4 | + +The catalogue checks all 3,038 distinct helper/paid chart maps and +104 main boundaries. The native replay also checks all 512 exact Gaussian +columns for each of five affected pairs, a changed absolute phase control, +and independent rational and integer native grids. The fixed-prime/seed +physical execution is finite evidence in addition to those exact checks. + +The separately checked 18-stage ingredient has κ = +0.003643652270265 and ordinary work +855,649,024. Its invoice rejects the +17-stage application claim. The κ gain belongs to the complete 17-stage +application, under the five inherited assumptions. diff --git a/research/p104-temporal-237-595-composition/CERTIFICATE.json b/research/p104-temporal-237-595-composition/CERTIFICATE.json new file mode 100644 index 0000000000..7cd31739c7 --- /dev/null +++ b/research/p104-temporal-237-595-composition/CERTIFICATE.json @@ -0,0 +1,153 @@ +{ + "boundary_pairing": "1", + "brackets": [ + { + "after": [ + 37222, + 37224 + ], + "before": [ + 36813, + 36815 + ], + "move": 37223, + "role": 794 + }, + { + "after": [ + 37312, + 46914 + ], + "before": [ + 36903, + 46491 + ], + "move": 46913, + "role": 794 + }, + { + "after": [ + 37485, + 37754 + ], + "before": [ + 37076, + 37345 + ], + "move": 37753, + "role": 795 + }, + { + "after": [ + 37485, + 45461 + ], + "before": [ + 37076, + 45038 + ], + "move": 45460, + "role": 878 + }, + { + "after": [ + 34508, + 37230 + ], + "before": [ + 34102, + 36821 + ], + "move": 37229, + "role": 1082 + }, + { + "after": [ + 37477, + 37761 + ], + "before": [ + 37068, + 37352 + ], + "move": 37760, + "role": 1082 + }, + { + "after": [ + 37216, + 37244 + ], + "before": [ + 36807, + 36835 + ], + "move": 37243, + "role": 1092 + }, + { + "after": [ + 38419, + 45976 + ], + "before": [ + 38010, + 45553 + ], + "move": 45975, + "role": 1095 + }, + { + "after": [ + 38300, + 45973 + ], + "before": [ + 37891, + 45550 + ], + "move": 45971, + "role": 820 + } + ], + "candidate_sha256": "8f0fe8e7b7180e4ee2bb74284e8946603f07ceb04b4ffcd96156f0e50c5d7667", + "controls": { + "gather_after_retirement": true, + "incomplete_paid_path": true, + "injection_before_retirement": true, + "omitted_gathers_observation": true, + "omitted_injections_observation": true, + "omitted_paid_midpoint_cost": true, + "output_invisible_copy_violation_detected": true, + "oversized_scalar_numerator_rejected": true, + "retirement_before_last_gather": true, + "wrong_gathers_coefficient": true, + "wrong_injections_coefficient": true, + "wrong_productive_ranks": true + }, + "earliest_injection": 37754, + "gather_count": 2, + "injection_count": 6, + "latest_gather": 37222, + "neutral_paths": 8, + "paid_paths": 1, + "retirement_cut": 37222, + "scalar_width": { + "at_limit": 9, + "count": 69779, + "maximum_bits": 24 + }, + "source_sha256": "ecb1f56ba06dbaae424d0f94ad41c6d08f39f5f1f2fec348f2d0c9c9873c657f", + "status": "PASS_EXACT_GUARDED_TIMED_OBSERVATIONS", + "vectors": { + "c": { + "229": "-4" + }, + "d": { + "1082": "-1/4", + "229": "-1/4", + "233": "-1/4", + "549": "-1/2" + } + } +} diff --git a/research/p104-temporal-237-595-composition/ENVIRONMENT.json b/research/p104-temporal-237-595-composition/ENVIRONMENT.json new file mode 100644 index 0000000000..023d35b18a --- /dev/null +++ b/research/p104-temporal-237-595-composition/ENVIRONMENT.json @@ -0,0 +1,15 @@ +{ + "python": "CPython 3.12.3", + "platform": "Linux x86_64", + "dependencies": "Python standard library only", + "argv": [ + "-I", + "-B" + ], + "isolated_cache": "The registered runner supplies a fresh per-command cache prefix.", + "offline_inputs": "Both upstream archives and their transitive execution sources are package-local.", + "source_hashes": { + "pr7147.tar.gz": "9c1614a4873ad9b72c7050602cd0a8e2c7d2192102a283aed4a9090bb7ebea88", + "pr7148.tar.gz": "6258e2e16dd9cc740639ed321523148997aa9179b95c8bedcf2099835f7abcf7" + } +} diff --git a/research/p104-temporal-237-595-composition/NATIVE-RESULT.json b/research/p104-temporal-237-595-composition/NATIVE-RESULT.json new file mode 100644 index 0000000000..da014d2a9c --- /dev/null +++ b/research/p104-temporal-237-595-composition/NATIVE-RESULT.json @@ -0,0 +1,3090 @@ +{ + "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, + 237 + ], + "rank": 4 + }, + { + "columns": 512, + "pair": [ + 237, + 127 + ], + "rank": 5 + }, + { + "columns": 512, + "pair": [ + 734, + 127 + ], + "rank": 6 + }, + { + "columns": 512, + "pair": [ + 734, + 237 + ], + "rank": 1 + } + ], + "wrong_phase_rejected": true + }, + "controls": { + "extra_uncharged_owned_lifetime": true, + "gather_after_retirement": true, + "incomplete_paid_path": 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_paid_midpoint_cost": 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": 16416959, + "fractional_bits": 25, + "mass_witness": [ + 66035, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "841374570120675/8192", + "unscaled_maximum_mass": "11218327601609/122880" + }, + "forward": { + "coefficient_positions": 2421136, + "fractional_bits": 25, + "grid": 1125, + "rows": 1556 + }, + "gate": { + "BIT_margin": "12303772973493/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16502900000000000000000", + "alpha": [ + 0.9999999999999996, + 0.9999999999999996 + ], + "claim": "728730454053/200000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8852563218278856, + 0.8852563218278856 + ], + "derivative_upper": -407037.748323745, + "gamma": [ + 0.9499615586112723, + 0.9499615586112723 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "364365227026507/100000000000000000": [ + "31078933183090903300900062251985586813118982391980876002635005064788121391581/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31078933183090903300900062251985586813118982391980876002635005064788121392073/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "728730454053/200000000000000": [ + "124315732732361326772136279612964166320176052680527371836583383089581405393403/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "24863146546472265354427255922592833264035210536105474367316676617916281079071/20000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2235, + "moment_margin_float": { + "364365227026507/100000000000000000": [ + 1.4210888789443394e-10, + 1.4210888789443394e-10 + ], + "4554565337831766557237794293883/1250000000000000000000000000000000": [ + 1.7185757063566184e-29, + 1.7185757063566184e-29 + ], + "7287304540530826491580470870213/2000000000000000000000000000000000": [ + -2.4215737706977158e-29, + -2.4215737706977158e-29 + ] + }, + "moment_margins": { + "364365227026507/100000000000000000": [ + "1421088878944339295470602398207776129541133249982986612710214290188831/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "3552722197360848238676505995519440323852833124957466531775535735971867/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "4554565337831766557237794293883/1250000000000000000000000000000000": [ + "859287853178309181640699165265529934998661203607143/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "429643926589154590820349582632764967499330612275647/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "7287304540530826491580470870213/2000000000000000000000000000000000": [ + "-1210786885348857822554483848135082793340424928497947/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-605393442674428911277241924067541396670212453671439/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "4554565337831766557237794293883/1250000000000000000000000000000000", + "7287304540530826491580470870213/2000000000000000000000000000000000" + ], + "tested": "364365227026507/100000000000000000", + "written_log_power": 2236 + }, + "grid": { + "dyadic_height": 25, + "maximum_scaled_mass": "841374570120675/8192", + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "odd_grid_lcm": 1125, + "opcodes": { + "ADD": 66056, + "CLEAR": 62, + "COPY": 1, + "INIT": 62, + "MOVE": 6277, + "SCALE": 3722 + }, + "owned_lifetimes": 62, + "owned_peak": 46, + "owned_rise_mass": 56, + "owned_rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "paid": { + "1": 3998, + "2": 853, + "3": 828, + "4": 225, + "5": 343, + "6": 14, + "7": 10, + "8": 6 + } + }, + "invoice": { + "P": { + "1": 72348, + "16": 416, + "2": 15354, + "24": 416, + "3": 14904, + "32": 416, + "4": 4050, + "40": 416, + "48": 416, + "5": 6174, + "56": 416, + "6": 252, + "64": 416, + "7": 180, + "8": 780, + "9": 32 + }, + "S": 1520, + "T": { + "1": 306, + "145": 208, + "17": 416, + "2": 378, + "25": 416, + "3": 846, + "33": 416, + "4": 3978, + "41": 416, + "49": 416, + "5": 1386, + "57": 416, + "6": 774, + "65": 416, + "7": 342, + "73": 416, + "8": 630, + "9": 11522 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036436522702654132457902354351064415099917498477391540130572551265", + "raw_crossing": "0.0036436522702654132457902354351064415099917498477391540130572551265" + }, + "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": 76180, + "helpers": { + "1": 17, + "2": 21, + "3": 47, + "4": 221, + "5": 77, + "6": 43, + "7": 19, + "8": 35, + "9": 617 + }, + "lifetimes": 62, + "owned_peak": 46, + "paid": { + "1": 3998, + "2": 853, + "3": 828, + "4": 225, + "5": 343, + "6": 14, + "7": 10, + "8": 6 + }, + "public": 1497, + "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": 855649024, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 248, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 144350976, + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "per_input_conversion": 2802384, + "raw_upper": 837678384, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2194, + "moves": 6277, + "owned_lifetime": 248, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9919000, + "scalar_upper": 2186128 + }, + "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": "1182248105590939843454747755117964316969384278381240009090285225539702985136015880530544206311441860472585431953259640435562602116352401558226510485024172188858675525485985306973183118473025469974599985864403615624824811078413427782920356439815962855354829083190268499775422675149580352979008998255915801649532287004051620082059/3028147527897511472958985459201159987200000000000000000000", + "strict_power_of_two": 896, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "761904575452447309298616776209641140248465602139478863306571610240438090127565349230443468920908904291882611420197474357672458326793363178403688501509056137840808692296815312214912438062126993961546576295314395228454940725691169634295120869858721210635605689019768216814302242046469611238760469731293483576978200684524443544102719/14535108133908055070203130204165567938560000000000000000000", + "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": "14410082196746515198244574254399838579910704074880176198046545593395895743449585958343418224725798388016198943215976975245591745041210470691748393498400222958364366082186623199756573649443431342712649997607889256581087674890614507236572460351268391807944642703831354183086747306490092013531246497000042962624180426873235374965355586431/129200961190293822846250046259249492787200000000000000000000", + "strict_power_of_two": 914, + "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": "761904575452447309298616776209641140248465602139478863306571610240438090127565349230443468920908904291882611420197474357672458326793363178403688501509056137840808692296815312214912438062126993961546576295314395228454940725691169634295120869858721210635605689019768216814302242046469611238760469731293483576978200684524443544102719/14535108133908055070203130204165567938560000000000000000000", + "strict_power_of_two": 903, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "3858326634389252591216437251007936739442097796361360625419832930698967691701519584237961668578380126588634306647495245345342018940805105659258430622051095591685649662939319758257783723551489823250216789555891459799314431015093586945916907470481039218660333361743145772793183004474365198366636210887656554033734485983013521941542483475254714887931819999675735204558259953046670257727916485378163102319705560432392149039992094740729864356508887319840072198901215207232338667307/1432762101673720316311763316486079954482839766905938437993018373445360025600000000000000000000000000000000000000000", + "strict_power_of_two": 1198, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19746, + "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": "1182248105590939843454747755117964316969384278381240009090285225539702985136015880530544206311441860472585431953259640435562602116352401558226510485024172188858675525485985306973183118473025469974599985864403615624824811078413427782920356439815962855354829083190268499775422675149580352979008998255915801649532287004051620082059/3028147527897511472958985459201159987200000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "761904575452447309298616776209641140248465602139478863306571610240438090127565349230443468920908904291882611420197474357672458326793363178403688501509056137840808692296815312214912438062126993961546576295314395228454940725691169634295120869858721210635605689019768216814302242046469611238760469731293483576978200684524443544102719/14535108133908055070203130204165567938560000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "761904575452447309298616776209641140248465602139478863306571610240438090127565349230443468920908904291882611420197474357672458326793363178403688501509056137840808692296815312214912438062126993961546576295314395228454940725691169634295120869858721210635605689019768216814287706938335703183690266601089318009039640684524443544102719/14535108133908055070203130204165567938560000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "1182248105590939843454747755117964316969384278381240009090285225539702985136015880530544206311441860472585431953259640435562602116352401558226510485024172188858675525485985306973183118473025469974599985864403615624824811078413427782920356439815962855354829083190268499775422675149580352979008998255915801649532287004051620082059/3028147527897511472958985459201159987200000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "761904575452447309298616776209641140248465602139478863306571610240438090127565349230443468920908904291882611420197474357672458326793363178403688501509056137840808692296815312214912438062126993961546576295314395228454940725691169634295120869858721210635605689019768216814302242046469611238760469731293483576978200684524443544102719/14535108133908055070203130204165567938560000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "149810312493239957309079642426904353384881524845005957504376713108336329634097368351856826061600286059552465150823505766310371591357168581969943763049/554470372539827540214657982031462400000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "429439091366309486175786192581576670494518233354632621050843902171630144361411092825833095770852316759925981653956776070513945651588342272590477065564223908571/35486103842548962573738110850013593600000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "5541857388961221066709867504881318766203454093310019213709707779502133966690289295063171774058275639780065442236371465714719634662829695139212212588897246112393751367/1774305192127448128686905542500679680000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "19684481608179443437035609495205170472371179145255047714627339816501603042457999207285244444776891306563890276149661446383610418520916506202158878671829496883314819365722562399/11828701280849654191246036950004531200000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "35327042525476951786529681133573584091157559401796310167575096312022290611760974315115476222136811641452239883709682366383394658391590747568829563809514526571279225230214698861304611497/8871525960637240643434527712503398400000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "535693325332143861778998352422877244124258923239210010711159735337048641581199782419463824277331099250090492600495807859000693367990915010446946327685399789457815545757361673531829184169815563703/56777766148078340117980977360021749760000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "2210927403509677595246141061080339505474906647909749670219698899031635637069326816941400180239634707296275726870269652621112818480158295998036663806243278110475980883371991920689494379909075448373277364681/23657402561699308382492073900009062400000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "23931314945079601775038686382742677554913222859777677573196108490861055704996835137259249371433422069769796400924561938542920997189979181518929113067353573593193557231008432213202216188701645108655468308245009735929/141944415370195850294952443400054374400000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "686827161575909258471986417738349931707760370129365776503121025641291255275833764470812526631495114257604588227893284614017291510257787040927411188060565502642635016716982534909144990446201415624592129297436202163637229145530385307562601885834259332647365897/35486103842548962573738110850013593600000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "8567564214809912110039192385622603280347547280617542892312930843753270683424595546676523471106769535683532505617880693155046924706640297068911536552264451373582812362439547112094977385339846759775301225557283170647216004315220844237716038217820752245504181011592032983/567777661480783401179809773600217497600000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "38207258634064295358234801641842007225856922937220001071788171459376856443135377331436088290515653601672176781733419721059407278706036352575415462488758305983082098430058126563835965808866391222017483781700170127232640958413344271055126303817644855801199661018501785853310250223/2271110645923133604719239094400869990400000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "4109264647792940374064765420487796216951450467365018003357221156929037154024401550456863192607107336572378065431162715674540855982224707076613491085397716373069014703391225645369937593481577297709525182251756224845221621071648176681250291138229530680702065129109665851432581196764532517/252345627324792622746582121600096665600000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "25214999118371424613230429018520057626483661570433308101292328140827022449332787849019538092423030527004446927339205101849701941393774904118314986555785223692414843134034179232572300639281219804260217758398466005615993947785608581308686768465597750741035559041526209768339953475331098538489033671/4542221291846267209438478188801739980800000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "2488254048182883399439299739616522301007206518004997367278618019616089680799399500708888428977923754093280175610516358973380927758326943547360167403362011382643976234126892328143685418532653235603546868514101526462580454904083555215303194186287901629640060603973011673717581290205803747374218505018051353/2271110645923133604719239094400869990400000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "1215524556367746993417788199887195068285181819537081001088308815012297185752619178460388120709008452126710740814861698267289711459507470026098940716977116011846622422225926471600213904831310885732386541449335878818950006868967984537218527957366796318086983803691051166401621723976036600244313906227669901142316687/18168885167385068837753912755206959923200000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "2510115024685489052096872798534493634363659744697059147413714871987591121690423327509726860067107162569837443607202487524152779251648421833104676585349156481085396759748516510839500104060567274376120772524461794710136223543020257133799111604282569521793219857048693946537890744750040170258695083815713328242820972191313/3633777033477013767550782551041391984640000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "1182248105590939843454747755117964316969384278381240009090285225539702985136015880530544206311441860472585431953259640435562602116352401558226510485024172188858675525485985306973183118473025469974599985864403615624824811078413427782920356439815962855354829083190268499775422675149580352979008998255915801649532287004051620082059/3028147527897511472958985459201159987200000000000000000000", + "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": "1061498271061920891293051437507736453258897937696225191519770377226380665014046299904730677549570384795058800031343882390562740564136643132762779/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 298, + "witness": { + "cut": 76180, + "factor": "1", + "kind": "public-return", + "register": 1495 + } + }, + "M": { + "exact": "3263550701534590702976812135964512319307692366778775835211317341157343887268066831821231078738191897825383432391949151464916619336789962094183503073/473148051233986167649841478000181248000000000000000000000", + "strict_power_of_two": 302, + "witness": { + "cut": 76175, + "factor": "1", + "kind": "stored", + "register": 1495 + } + }, + "Sigma": { + "exact": "1061498271061920891293051437507736453258897937696225191519770377226380665014046299904730677549570384795058800031343882390562740564136643132762779/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 298, + "witness": { + "cut": 76175, + "factor": "1", + "kind": "stored", + "register": 1495 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 76180, + "lifetimes": 62, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 66056, + "CLEAR": 62, + "COPY": 1, + "INIT": 62, + "MOVE": 6277, + "SCALE": 3722 + }, + "owned_labels": 59, + "peak_owned": 46, + "public": 1497, + "scalars": { + "dyadic": 63879, + "integer": 39644, + "noninteger": 30135, + "odd": 5900 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26037, + "entrance_mass": "3263550701534590702976812135964512319307692366778775835211317341157343887268066831821231078738191897825383432391949151464916619336789962094183503073/473148051233986167649841478000181248000000000000000000000", + "residual_mass": "1061498271061920891293051437507736453258897937696225191519770377226380665014046299904730677549570384795058800031343882390562740564136643132762779/2217881490159310160858631928125849600000000000000000000" + }, + "M": { + "active_residual_sites": 26037, + "entrance_mass": "3263550701534590702976812135964512319307692366778775835211317341157343887268066831821231078738191897825383432391949151464916619336789962094183503073/473148051233986167649841478000181248000000000000000000000", + "residual_mass": "1061498271061920891293051437507736453258897937696225191519770377226380665014046299904730677549570384795058800031343882390562740564136643132762779/2217881490159310160858631928125849600000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26037, + "entrance_mass": "3263550701534590702976812135964512319307692366778775835211317341157343887268066831821231078738191897825383432391949151464916619336789962094183503073/473148051233986167649841478000181248000000000000000000000", + "residual_mass": "1061498271061920891293051437507736453258897937696225191519770377226380665014046299904730677549570384795058800031343882390562740564136643132762779/2217881490159310160858631928125849600000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 16416959, + "dyadic_height": 25, + "mass_witness": [ + 66035, + "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": [ + "11309684473424691727466493086699793098960693082125672725145467518913836525766973/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "1130968447342469172746649308669979309896069308212567272514546751891383654438211/5000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003643652270265", + "gain": "5.46341223E-7", + "gain_exact": "546341223/1000000000000000", + "independent_raw_bracket": [ + "0.00364365227026541324579023543510644", + "0.00364365227026541324579023543510645" + ], + "previous_claim": "1821552964521/500000000000000", + "raw_bracket": [ + "0.0036436522702654132457902354351064", + "0.0036436522702654132457902354351065" + ] + }, + "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": "8f0fe8e7b7180e4ee2bb74284e8946603f07ceb04b4ffcd96156f0e50c5d7667" + }, + "source_head": "154ef929894225674df48df2d6ea3b7a7d1f39a0", + "status": "PASS_P104_TEMPORAL_237_595_NATIVE", + "word_canonical_sha256": "8f0fe8e7b7180e4ee2bb74284e8946603f07ceb04b4ffcd96156f0e50c5d7667" +} diff --git a/research/p104-temporal-237-595-composition/NOTICE b/research/p104-temporal-237-595-composition/NOTICE new file mode 100644 index 0000000000..c5466006c2 --- /dev/null +++ b/research/p104-temporal-237-595-composition/NOTICE @@ -0,0 +1,20 @@ +Prepared for Clear1nsight with substantial OpenAI Codex and ChatGPT Pro +assistance. Apache-2.0. + +Rohan Arun: chart-237 witness, signed application and endpoint construction. +dillona: complete chart-595 source, width repair and temporal replay adaptation. +Ali Romman: causal-history owned-buffer identity and helper bases +(https://github.com/CrocSwap/integer-mult-bounds/discussions/5600#discussioncomment-19209322). +Jerry Chen / CubeJerry: contact-free retiming, exact temporal histories and +verification. Matarener: complete helper kernels. ToikY: price engines and +earlier chart leads. Cinna Davis / 1337isnot1337, Dugongue, DreamingOfClouds, +Douglas Colkitt/#7000 reviewers and all authors in the source closure retain +their credit. + +The complete #7148 package, original notices, and all nested sources are +retained verbatim inside its archive. #7147 contributes eight exact source +files, including its NOTICE, not a second duplicate source closure. The +local copies of derive_grid.py, split.py, support.py and temporal_construct.py +are byte-identical to #7148 and checked against it before use. Local replay +adapters are credited in their headers. The separate CI navigation prerequisite +is reused verbatim from #7147. diff --git a/research/p104-temporal-237-595-composition/PATHS.json b/research/p104-temporal-237-595-composition/PATHS.json new file mode 100644 index 0000000000..e9d826900c --- /dev/null +++ b/research/p104-temporal-237-595-composition/PATHS.json @@ -0,0 +1,186 @@ +[ + { + "role": 794, + "lo": 37222, + "hi": 37224, + "frame": 237, + "moves": [ + 37223 + ], + "frames": [ + 382, + 237 + ], + "old": 382, + "new": 237, + "old_paid": [ + 1 + ], + "new_paid": [ + 1, + 0 + ], + "private": false + }, + { + "role": 794, + "lo": 37312, + "hi": 46914, + "frame": 237, + "moves": [ + 46913 + ], + "frames": [ + 237, + 127 + ], + "old": 237, + "new": 127, + "old_paid": [ + 5 + ], + "new_paid": [ + 0, + 5 + ], + "private": false + }, + { + "role": 795, + "lo": 37485, + "hi": 37754, + "frame": 237, + "moves": [ + 37753 + ], + "frames": [ + 237, + 477 + ], + "old": 237, + "new": 477, + "old_paid": [ + 4 + ], + "new_paid": [ + 0, + 4 + ], + "private": false + }, + { + "role": 878, + "lo": 37485, + "hi": 45461, + "frame": 237, + "moves": [ + 45460 + ], + "frames": [ + 237, + 267 + ], + "old": 237, + "new": 267, + "old_paid": [ + 4 + ], + "new_paid": [ + 0, + 4 + ], + "private": false + }, + { + "role": 1082, + "lo": 34508, + "hi": 37230, + "frame": 237, + "moves": [ + 37229 + ], + "frames": [ + 376, + 237 + ], + "old": 376, + "new": 237, + "old_paid": [ + 1 + ], + "new_paid": [ + 1, + 0 + ], + "private": false + }, + { + "role": 1082, + "lo": 37477, + "hi": 37761, + "frame": 237, + "moves": [ + 37760 + ], + "frames": [ + 237, + 517 + ], + "old": 237, + "new": 517, + "old_paid": [ + 4 + ], + "new_paid": [ + 0, + 4 + ], + "private": false + }, + { + "role": 1092, + "lo": 37216, + "hi": 37244, + "frame": 237, + "moves": [ + 37243 + ], + "frames": [ + 379, + 237 + ], + "old": 379, + "new": 237, + "old_paid": [ + 1 + ], + "new_paid": [ + 1, + 0 + ], + "private": false + }, + { + "role": 1095, + "lo": 38419, + "hi": 45976, + "frame": 237, + "moves": [ + 45975 + ], + "frames": [ + 237, + 127 + ], + "old": 237, + "new": 127, + "old_paid": [ + 5 + ], + "new_paid": [ + 0, + 5 + ], + "private": false + } +] diff --git a/research/p104-temporal-237-595-composition/PR7147-INPUTS.json b/research/p104-temporal-237-595-composition/PR7147-INPUTS.json new file mode 100644 index 0000000000..29959289cc --- /dev/null +++ b/research/p104-temporal-237-595-composition/PR7147-INPUTS.json @@ -0,0 +1,61 @@ +{ + "pr": 7147, + "owner": "rohanarun", + "head": "3b61d41d81a4bc8f78252240c8fb02473dd3d94f", + "git_tree": "11dcc77037d9b657be2f9de1c29734ca818c76dc", + "git_package_tree": "ab24882113db6a648ce0f5384dee312c9d1ec773", + "prefix": "research/p104-temporal-chart237-continuation", + "complete_package": false, + "archive": "inputs/pr7147.tar.gz", + "archive_sha256": "9c1614a4873ad9b72c7050602cd0a8e2c7d2192102a283aed4a9090bb7ebea88", + "files": [ + { + "path": "research/p104-temporal-chart237-continuation/NATIVE-RESULT.json", + "size": 74633, + "git_blob": "5fc907436e78fa5f5d88692c1dd70e953c497aa2", + "sha256": "e5ee210b63f8f6ae9bb876668e3cac6f8ea49c86e5bf4ae123e056add116006a" + }, + { + "path": "research/p104-temporal-chart237-continuation/NOTICE", + "size": 1653, + "git_blob": "2746028de527734107a227925b71926097574c35", + "sha256": "4b18c0e419d33bbc5f0ee597ec4c2c12577ab51618f8562f25ab866312e266c7" + }, + { + "path": "research/p104-temporal-chart237-continuation/PATHS.json", + "size": 1246, + "git_blob": "588955f4156efedd45c89cee89e7cd0f3c025842", + "sha256": "34ac7e3c287136d8a26815f80db09858daa2525ebed448ab23fd3d3765956eee" + }, + { + "path": "research/p104-temporal-chart237-continuation/PROOF.md", + "size": 3799, + "git_blob": "50b641591ab0af0055ed02c356c9f9827d0ec97f", + "sha256": "5a7191e6ff4b1b3ccb6828ae405aa65640428004a0456c3bcf8480fe1321be7e" + }, + { + "path": "research/p104-temporal-chart237-continuation/README.md", + "size": 2194, + "git_blob": "bb5732ca3ccb86ad48d68c64909d3553c8c7f2c2", + "sha256": "0d91ea82e5451e575b50a2254f9db08342069ba25614674357b9d5df9b9fb205" + }, + { + "path": "research/p104-temporal-chart237-continuation/RESULT.json", + "size": 79257, + "git_blob": "6407dbdeef825649571946afbd3720fa270a103d", + "sha256": "1b6c00fe3f32b74a335d6f024c8d2582684307fff90d29400487a1418427ad95" + }, + { + "path": "research/p104-temporal-chart237-continuation/WITNESS.json", + "size": 1569, + "git_blob": "48dae74cac870236be925b8eb3e63cf87e2dc074", + "sha256": "7be3dd698c70dbbbf4509f4b6761b97a0868664d0cd08b56cd200316bb69f8b4" + }, + { + "path": "research/p104-temporal-chart237-continuation/WORD.json.gz", + "size": 374687, + "git_blob": "4dd7b4ef601612db2712996c2d77c335f50fdb48", + "sha256": "ef44f3a72db2e7c58c088423cd7613ff562c110caf4bb2142896dcaa56753d2d" + } + ] +} diff --git a/research/p104-temporal-237-595-composition/PR7148-INPUTS.json b/research/p104-temporal-237-595-composition/PR7148-INPUTS.json new file mode 100644 index 0000000000..8b50a567a3 --- /dev/null +++ b/research/p104-temporal-237-595-composition/PR7148-INPUTS.json @@ -0,0 +1,229 @@ +{ + "pr": 7148, + "owner": "dillona", + "head": "154ef929894225674df48df2d6ea3b7a7d1f39a0", + "git_tree": "7cb76bb204c9b820b25615b4163f47dc27db5b3b", + "prefix": "research/p104-temporal-chart595-split", + "complete_package": true, + "archive": "inputs/pr7148.tar.gz", + "archive_sha256": "6258e2e16dd9cc740639ed321523148997aa9179b95c8bedcf2099835f7abcf7", + "files": [ + { + "path": "research/p104-temporal-chart595-split/APPLICATION.md", + "size": 3549, + "git_blob": "61151cba51a517ab4647ec8b7f8f7cffd86dc206", + "sha256": "c1e22536196bca150ad17e675da62c7cc1bfe07e64525e796b452a06f0dca41b" + }, + { + "path": "research/p104-temporal-chart595-split/CERTIFICATE.json", + "size": 10692, + "git_blob": "2fd1c455978bbc9bfc85cd713f9f5a6e94c2153e", + "sha256": "22a97a8778a62409d308bcc5adca03d764d180f25d4ad6e42346518c56cf2f56" + }, + { + "path": "research/p104-temporal-chart595-split/DISCOVERY.json", + "size": 108528, + "git_blob": "1a040da209f88607890e42b93f80e1baca1cc23d", + "sha256": "a59da90c2fecfdaf076dcd69af95e2affc8e36f097a4e48f29956df801682877" + }, + { + "path": "research/p104-temporal-chart595-split/ENVIRONMENT.json", + "size": 388, + "git_blob": "7cf80a899003634eb089ac6f6bd827796c233245", + "sha256": "494c9915fb531e1617ecb151f91438c2fea102dcb016b6a5cab2322dcc05b867" + }, + { + "path": "research/p104-temporal-chart595-split/INPUTS.json", + "size": 8660, + "git_blob": "2522c655e859a9ed3e82a99b4e7aa5129dcccd67", + "sha256": "fcc6b2926af7b66a083880d1ea0f0821fb45a95379ae7c6d39a8141513d84b17" + }, + { + "path": "research/p104-temporal-chart595-split/NATIVE-RESULT.json", + "size": 74961, + "git_blob": "68b1292a670131222ed042ca4e3ccd5d6800f236", + "sha256": "0ea4595fe0f0acde3556fc5300c9b8128891bc94bd218a5e7a04890b3dd18da4" + }, + { + "path": "research/p104-temporal-chart595-split/NORMALIZATION.json", + "size": 452, + "git_blob": "6432adb3d347a0fb2d27d5e54fcb64fcd7d11f5d", + "sha256": "688cae4e5698f4ed2b941de2b00396f6c36426b9cde28e3139c6d43effb551e8" + }, + { + "path": "research/p104-temporal-chart595-split/NOTICE", + "size": 1303, + "git_blob": "9882b5134a31b5bc2c001f0f99fbe248a91676b5", + "sha256": "024b6878658a7f8ab21b71c6dc1827f07185b9b3023cda863d2c969abaf14e26" + }, + { + "path": "research/p104-temporal-chart595-split/PATHS.json", + "size": 1386, + "git_blob": "dd4a2b480d3710e1209d8ef28c4590b8292b5c3a", + "sha256": "8df5b1419a4ecc3ac5b427251887fb79cc9d82b6d0c6d606f458b81dce66a0ad" + }, + { + "path": "research/p104-temporal-chart595-split/PEER-INPUTS.json", + "size": 7959, + "git_blob": "96755388570a12390fdc4b330865209623fcc9db", + "sha256": "062b348e5a9dd62827db6484077308f004742a5b8e904c2bba63a109a73e0da4" + }, + { + "path": "research/p104-temporal-chart595-split/PEER-RESULT.json", + "size": 77051, + "git_blob": "e559bf1eee2627212061ae0605ee23f255c024bb", + "sha256": "c8809cce26586b3788d55c4fc75cdbf79b7218f1f37d8e9828f4c63220338783" + }, + { + "path": "research/p104-temporal-chart595-split/PROOF.md", + "size": 6163, + "git_blob": "e33b3901c959d937bc85e44d91f8e2a22084c372", + "sha256": "54a80fcc3644748f5c7f2a5138d5d36af04ab6df15e3c98e022cc2c85e1aa26c" + }, + { + "path": "research/p104-temporal-chart595-split/README.md", + "size": 3639, + "git_blob": "511e5f8bd8cb0feab7d9c2c883eda579b2182f33", + "sha256": "e1aea379a85be464e11f887458735c4aa3882e34029d1843874cd590cee49683" + }, + { + "path": "research/p104-temporal-chart595-split/REPLAY.txt", + "size": 3808, + "git_blob": "14836ad40aa89f5e82fc65fff1b04cf32fe08370", + "sha256": "b3b100178a86a149ecda247f8b8ec16302dbfc6a51e3e9f90300b8e0b840a49e" + }, + { + "path": "research/p104-temporal-chart595-split/RESULT.json", + "size": 79511, + "git_blob": "38840e566ae605c93f7622e8586514e20334ddfa", + "sha256": "72d113c25508b33c61f1f375d7dbfbc648b5907d427b5b44a9bb6b093600b8ac" + }, + { + "path": "research/p104-temporal-chart595-split/REUSE.json", + "size": 883, + "git_blob": "ba7d858d68d65d82471056622c71141a4f334e71", + "sha256": "2a2fa8c920fde16b68ea6f2d04cc2684e050c4e50d7fec048b566585350f1141" + }, + { + "path": "research/p104-temporal-chart595-split/SOURCES.json", + "size": 856, + "git_blob": "c4150ae39789502a4adf89e8f5235995d458a72e", + "sha256": "8b58a30ae55396b8d108de4ee2c7c6ac75dc1096948c9ac3796c20b21b1c9372" + }, + { + "path": "research/p104-temporal-chart595-split/TASK.json", + "size": 12812, + "git_blob": "4f648f24f7180688703701a3fc7efa93ada0f71f", + "sha256": "d2beddf31a9aa2926ae5d761d90255d4a080cfe92bf4c23b6cd945eb7e8d41d2" + }, + { + "path": "research/p104-temporal-chart595-split/VALIDATION.md", + "size": 3046, + "git_blob": "5448cba661ff84eae045ee7cc78960b3727b714e", + "sha256": "cf4ab07380d3f40eb458981d6b3ac0a5a7e90d34478092faf41971b3e1ea02e1" + }, + { + "path": "research/p104-temporal-chart595-split/VERIFY.json", + "size": 1173, + "git_blob": "1179cc845ec30c38766988cc99db8ebabbb1ef00", + "sha256": "7d5631bc88e35ecd66b05703d0ecdf3b516bd7037ce15a7ea4c872968f4a9d6b" + }, + { + "path": "research/p104-temporal-chart595-split/WITNESS.json", + "size": 10761, + "git_blob": "d5ba6ef6f70cd154e1ff0ff910f66f4b1cc80e3e", + "sha256": "727e587a9246d0bbf23070d3d23cce8737545810de4499c814ce2429d863dbff" + }, + { + "path": "research/p104-temporal-chart595-split/WORD.json.gz", + "size": 380123, + "git_blob": "63fc2772d4c565875314fd27a4d0cd79a058fbcd", + "sha256": "6a8b6bd1a734c518feef0294931a0b93b5daa87a9f7ae7aed6d472b0bfe63d7b" + }, + { + "path": "research/p104-temporal-chart595-split/adapt.py", + "size": 3381, + "git_blob": "fed0438d8ad105758dfe248aa942e83b1e80baa2", + "sha256": "971c2fd55b6e65154bb0780eb951ba1fa9f5289a90302153bb61b937973c1236" + }, + { + "path": "research/p104-temporal-chart595-split/certificate.py", + "size": 5067, + "git_blob": "99f017221ffb972e55d8dd72ca61510d2569209f", + "sha256": "15581732d5e07550a2fea1dcb17a1eb106a053ef69223c4c861d4e322149ce86" + }, + { + "path": "research/p104-temporal-chart595-split/construct.py", + "size": 1136, + "git_blob": "c70362f9284252b97061d6dd30678445f4ca225a", + "sha256": "2bd83cf64fc3890fcf7a5c37de08be9aeeb50245a2e150e79b4ebab04afd1c86" + }, + { + "path": "research/p104-temporal-chart595-split/derive_grid.py", + "size": 1510, + "git_blob": "f8cb37f00bcd197d77bbb205dae3c1a40c0aa680", + "sha256": "ceb7a44ef19d72a16db7b43c65c85910d965499d1715436011de32af5d39dbb0" + }, + { + "path": "research/p104-temporal-chart595-split/inputs/methods7143.tar", + "size": 12994560, + "git_blob": "b2604e3c82fea7c7df75c251814f81c1b038baa9", + "sha256": "578a8497cbd199d756bd1311bffee103c64d1556ddc915157f2a719105c23719" + }, + { + "path": "research/p104-temporal-chart595-split/inputs/previous7145.tar", + "size": 26726400, + "git_blob": "c082c63d18001b9cb560eeeff2f5226e641f4cdb", + "sha256": "0a94c51ff855018d08f8a48c0b9748a164652b7492f2b5afcbe102f7202fbda0" + }, + { + "path": "research/p104-temporal-chart595-split/price.py", + "size": 3649, + "git_blob": "ed708595a0ebbca9c9bc798b9f214ed8555da013", + "sha256": "36c00058b2aee4e9b27534e561e77b10897582a46bb254716db1217b54eb85c6" + }, + { + "path": "research/p104-temporal-chart595-split/source.py", + "size": 3888, + "git_blob": "4f6dbc826f140137fe684caa516d70b1d46a9b7b", + "sha256": "24022e0e5d99370db472ea40f7be31eaf85d720171a84c0a429b6a72a90a770a" + }, + { + "path": "research/p104-temporal-chart595-split/split.py", + "size": 6551, + "git_blob": "f1c76096534a7aea45a2f4b994d9de483695140d", + "sha256": "999b9eeabe5cd1a7e3ec014d1a449f850b4ac9bfb19749cddef41ae12cd0b405" + }, + { + "path": "research/p104-temporal-chart595-split/support.py", + "size": 606, + "git_blob": "192cd38d27e4b732981b98730459a041dcfb52e7", + "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6" + }, + { + "path": "research/p104-temporal-chart595-split/temporal_construct.py", + "size": 7156, + "git_blob": "0e1fc67ac51f6a87843dc3772a39e746836ee183", + "sha256": "2e07135e9c733bd0a6d61eb1d9c2bfbf5b482f599dcb6f82238e15ee9bd93018" + }, + { + "path": "research/p104-temporal-chart595-split/verify.py", + "size": 3602, + "git_blob": "21538bb476485d72376a0b50ecea1a179b36169d", + "sha256": "3b0779894f5842b93ea191da310a863703f928938cf9472e7e4d0ab1a52f9c1c" + }, + { + "path": "research/p104-temporal-chart595-split/verify_certificate.py", + "size": 1618, + "git_blob": "482d940bd3f6c4192d551c9901db9f7155626994", + "sha256": "0c79decfe1c0286e2aea72706579ccdd480dee8c31a50bda80bc52e44d1ea478" + }, + { + "path": "research/p104-temporal-chart595-split/verify_native.py", + "size": 12356, + "git_blob": "552dd95f106cd102fa3c39b92cf82d94f46b8aab", + "sha256": "eeb71c52a68055858b1eb77a3ae39eaf72090bd9f1938ca6300709f7804ba9ad" + } + ], + "git_package_tree": "ce7a50245b9a4e62d5aa7bafab3a7401190a3222" +} diff --git a/research/p104-temporal-237-595-composition/PROOF.md b/research/p104-temporal-237-595-composition/PROOF.md new file mode 100644 index 0000000000..f56d4759be --- /dev/null +++ b/research/p104-temporal-237-595-composition/PROOF.md @@ -0,0 +1,80 @@ +# Compose the chart-237 split with the complete chart-595 word + +This is a new source-bound instance of Ali Romman's causal-history split. +The same recipe is used on a different, longer word. Neither parent's result +alone establishes composition: changing event order or role contacts can +invalidate a path, prefix coefficient, suffix guard, or resource limit. + +The common parent is [#7145](https://github.com/CrocSwap/integer-mult-bounds/pull/7145) +at `db8f31c4a1d9e191976e2c92951e6d2dea886a27`. Start from dillona's completed +[#7148](https://github.com/CrocSwap/integer-mult-bounds/pull/7148) at +`154ef929894225674df48df2d6ea3b7a7d1f39a0`. Translate Rohan Arun's +[#7147](https://github.com/CrocSwap/integer-mult-bounds/pull/7147) recipe at +`3b61d41d81a4bc8f78252240c8fb02473dd3d94f`. The witness, paths and native word +in the latter are byte-identical to the initially inspected draft. + +## Literal paths and guarded observations + +Positions are zero-based cuts immediately before the numbered event. The +chart-237 helper belongs to the `3 → 127` group. Its pivot is role 1082. +Retirement moves from cut 36,813 on #7145 to 37,222 on #7148. Each of eight +neutral intervals and the one paid interval is identified on the new word +by its two consecutive scalar contacts and the literal MOVE between them. +A read of the role is a contact. The checker verifies the role renumbering +caused by the chart-595 insertion and requires exactly one match per bracket. +The paid path for role 820 now has its old MOVE at 45,971. Splitting +`734 → 127` at chart 237 changes rank 6 to ranks 1 and 5; its injection +is before its departure. The complete path boundaries are in PATHS.json +and CERTIFICATE.json. The productive split is rank 9 to ranks 4 and 5. + +Write `P(t,r)` for the prefix row of role r at cut t, over all public input +coordinates. Write `S(t,r)` for its suffix response in all final public +and owned coordinates, augmented by one coordinate for the precondition +of each subsequent COPY. That coordinate records the perturbation to the +destination just before the overwrite. In the reverse pass, send the output +adjoint to the source with the COPY coefficient, then replace the destination +adjoint by the unit coordinate for that COPY guard. INIT and CLEAR reset +the appropriate row or adjoint. Chart and ownership checks are done on the +actual paths; coefficient replay uses normalized rows in their respective frames. + +The exact new-word combinations are + +``` +c = P(37222,794) + P(37216,1092) + = -4 e229 + +d = -S(37754,795)/4 - S(45976,1095) - S(45461,878)/2 + + S(45973,820)/2 + S(37761,1082)/4 - S(46914,794)/4 + = -(e229 + e233 + e1082)/4 - e549/2. +``` + +Here e denotes a coordinate unit row or column as appropriate. All other +coordinates vanish, including those for interior COPY guards and final +owned fields. Both vectors lie in the same helper group and `c d = 1`. +For example, the negative control injects a perturbation that is invisible at +the final output because a COPY overwrites it, but whose interior guard +coordinate is nonzero. The two prefix observations precede or meet +retirement; all six injections follow it. + +## Why this preserves the arbitrary-input endpoint + +The retained exact basis constructor produces a matrix G whose pivot row +is c and for which `G d = e1082`. Apply G inverse at the entry chart, so the +gathered prefix combination is the original arbitrary pivot input x. Call the +new public input z, and let v be the current pivot value at retirement. +The credited two-buffer sequence moves v to the successor public role, +retires the pivot with x, and stores z−x in the second buffer. The remaining +source events run on the successor role. The six injections add precisely +`d (z−x)` in the source output coordinates, with zero change at the +interior COPY guards and final owned fields. Applying G at the exit chart +adds z−x to the successor coordinate, restores the other helper coordinates, +and returns z there. Both owned buffers are explicitly created and cleared. +The exact full forward and adjoint checks also test the emitted word directly. + +The chart-595 change remains in the source; this construction does not revert +its four charged scalar refinements or rerun its normalization rule. Every +emitted ADD, COPY and SCALE numerator is checked against the existing 24-bit +contract. The new word adds 23 ADDs, 2 SCALEs, one MOVE, two INITs and two +CLEARs to #7148. The retiming is not a free paid path: the complete 17-stage +caller pays the new rank-1 and rank-5 positions and the added scalar and +owned-stock costs. See APPLICATION.md for both complete parent comparisons. diff --git a/research/p104-temporal-237-595-composition/README.md b/research/p104-temporal-237-595-composition/README.md new file mode 100644 index 0000000000..b5785b9d59 --- /dev/null +++ b/research/p104-temporal-237-595-composition/README.md @@ -0,0 +1,68 @@ +# Conditional κ = 0.003644267085400 from the chart-237/595 composition + +The chart-237 temporal split from [#7147](https://github.com/CrocSwap/integer-mult-bounds/pull/7147) +also works on the completed chart-595 word from +[#7148](https://github.com/CrocSwap/integer-mult-bounds/pull/7148). The package +rebuilds the source word, finds the nine translated contact brackets, and +checks the two prefix and six suffix observations from scratch. One rank-nine +productive field becomes ranks four and five; one paid rank-six path becomes +ranks one and five. Both added buffers, every scalar and the unchanged literal +17-stage caller are included in the bill. [PROOF.md](PROOF.md) explains the +arbitrary-input identity, and [APPLICATION.md](APPLICATION.md) records the +complete comparison with both parents. + +The candidate has 76,180 events, 1,497 public fields, and 59 owned labels with +62 lifetimes and peak 46. No new scalar-width repair is needed: all 69,779 +ADD/COPY/SCALE numerators fit the retained 24-bit compiler contract. + +The complete signed caller improves #7147 by **0.000000277745773** and #7148 by +**0.000000550917095**. Both parent invoices reject the new claim. + +## Exact source and replay + +Main base: `e54523517d0f03e58352e647c403a5af3e525a57`, priority revision 8. +The archived #7148 package is complete at +`154ef929894225674df48df2d6ea3b7a7d1f39a0`; it contains its complete nested +closure and notices. The #7147 archive is the eight-file source subset at +`3b61d41d81a4bc8f78252240c8fb02473dd3d94f` needed to authenticate the +translation, independently reconstruct its caller invoice, and compare price +brackets. Neither upstream PR has to be merged to replay this package. +PR7148-INPUTS.json and PR7147-INPUTS.json bind exact paths, Git blob IDs and +SHA256 values checked before use. SOURCES.json pins the task catalogue and +selected baseline provenance on main. + +Candidate native SHA256: +`8f0fe8e7b7180e4ee2bb74284e8946603f07ceb04b4ffcd96156f0e50c5d7667`. + +```sh +python3.12 -B scripts/research_package.py --package research/p104-temporal-237-595-composition +``` + +The hook runs the certificate, full native replay and full caller replay +serially, comparing every field of the three frozen receipts. The three +`verify_certificate.py`, `verify_native.py` and `verify.py` entry points also +run directly with `python3.12 -I -B` in a Git-free export. No third-party +Python dependencies or network are needed. [VALIDATION.md](VALIDATION.md) +records actual executions and limits. + +This is one exact conditional construction, under `native_all_columns`, +`owned_erasure`, `compiler`, `precision_tape` and `analytic_recovery`. +The selected frontier remains #7000. This package does not establish +a global optimum, independent human or formal acceptance, or a compiled +top-level multiplier execution. + +## Credit and coordination + +Rohan Arun provided the chart-237 witness, dillona the chart-595 source +and width repair, Ali Romman the causal split identity, CubeJerry the +temporal/verification methods, Matarener the kernels, and ToikY the price +engines. The remaining retained authors and sources are listed in [NOTICE](NOTICE). +Prepared for Clear1nsight with substantial OpenAI Codex and ChatGPT Pro assistance. +[Canonical composition claim](https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19532859). + +## Open next questions + +Independently replay the nine brackets and the guarded suffix, then review +the complete 17-stage physical/price binding, especially the peak-46 +lifetime and 24-bit fixed-tape checks. Formal acceptance of the inherited +framework and compiled top-level execution are separate obligations. diff --git a/research/p104-temporal-237-595-composition/REPLAY.txt b/research/p104-temporal-237-595-composition/REPLAY.txt new file mode 100644 index 0000000000..75b265bca3 --- /dev/null +++ b/research/p104-temporal-237-595-composition/REPLAY.txt @@ -0,0 +1,79 @@ +Linux x86_64, CPython 3.12.3; all three commands isolated, compared to frozen receipts. +$ python3.12 -B scripts/research_package.py --package research/p104-temporal-237-595-composition +CHECK Both exact source heads; nine translated brackets; full prefix and guarded suffix; unit pairing, 24-bit limit and 12 controls; every certificate field. +PASS_EXACT_GUARDED_TIMED_OBSERVATIONS +CHECK Full native forward/adjoint, exact 62/46/59 lifecycle, independent 1125/F25 grids, ingredient ordinary/precision/price, affected 512-column charts, 20 controls and physical replay; every native receipt field. +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 76180 public 1497 owned roles 59 paid {1: 3998, 2: 853, 3: 828, 4: 225, 5: 343, 6: 14, 7: 10, 8: 6} owned UP {1: 10, 2: 4, 3: 1, 4: 6, 5: 1, 6: 1} helpers {1: 17, 2: 21, 3: 47, 4: 221, 5: 77, 6: 43, 7: 19, 8: 35, 9: 617} +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 76180 events, 2951 chart pairs, 35s +prime 1000000009 seed 11: helper rows bad 0 (of 1097), 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_P104_TEMPORAL_237_595_NATIVE 728730454053/200000000000000 +CHECK Complete unchanged 17-stage caller, all chart maps and boundaries, fresh physical/owned/ordinary/grid/precision/compiler, both parents, two price engines and all outer conditions; every application receipt field. +PASS three reconstructed invoices; both parents rejected at new claim, by two exact price engines 0.0036442670854 +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 ['36442670854004444481576159015679/10000000000000000000000000000000000', '28470836604690972251231374231/7812500000000000000000000000000'] +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 110485 13600 22393 +RUN check_odd_precision.py +PASS short precision 406 1215 2430 +RUN check_odd_partial_admission.py +ordinary bill 781680368 +PASS partial signed short gates 781680368 18221335427/5000000000000 {'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 43666976 25460171456 precision 2430 +RUN complete catalogue 0 1000 +RUN complete catalogue 1000 2000 +RUN complete catalogue 2000 3000 +RUN complete catalogue 3000 3038 +PASS complete 8+9 component application checks 18221335427/5000000000000 3038 110485 +PASS_P104_TEMPORAL_237_595_APPLICATION 18221335427/5000000000000 +PASS_REGISTERED_RESEARCH_PACKAGE research/p104-temporal-237-595-composition outcome=completed +elapsed_seconds=833.77 peak_RSS_kib=662428 exit=0 diff --git a/research/p104-temporal-237-595-composition/RESULT.json b/research/p104-temporal-237-595-composition/RESULT.json new file mode 100644 index 0000000000..5143ddde18 --- /dev/null +++ b/research/p104-temporal-237-595-composition/RESULT.json @@ -0,0 +1,1662 @@ +{ + "adapter": { + "adapted_sha256": { + "check_odd_partial_admission.py": "0b95ed92baa30ce2d6daeca44d518d301e52944b74d9a27318c0fa00301658e4", + "check_odd_precision.py": "4f1a66fee31bd08d8c721184c54e3698bcb65e2f6b6473cdd201f3ef62db77bd", + "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('18221335427/5000000000000')", + "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 changed-word all-column 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) == (62, 46, 59)')\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": "3c7245916511ebfe150989b4117195f0bd67a31b46cfa424a2299ec60606d7ba", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2951, + "exact_recipe_digest": "4171c559cd862256537c6eee2aba58eae1dbf0aa571928610ede0a0e70bfc18c", + "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": "ba1d4315fb4fcf8f73d63a8a22a223bb139bbae1bab0eab2eb92d61a54cc4c23" + }, + { + "catalogue_digest": "3c7245916511ebfe150989b4117195f0bd67a31b46cfa424a2299ec60606d7ba", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2951, + "exact_recipe_digest": "6b82845b3513edc6689dc9b69a1860c920502b9894ffcdb37a5869b39593ba2a", + "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": "ba1d4315fb4fcf8f73d63a8a22a223bb139bbae1bab0eab2eb92d61a54cc4c23" + }, + { + "catalogue_digest": "3c7245916511ebfe150989b4117195f0bd67a31b46cfa424a2299ec60606d7ba", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2951, + "exact_recipe_digest": "ba4ef1badc9dddccc3b7a0eff81a26c66cb0c6e02d6101e1737fc024e71a875a", + "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": "ba1d4315fb4fcf8f73d63a8a22a223bb139bbae1bab0eab2eb92d61a54cc4c23" + }, + { + "catalogue_digest": "3c7245916511ebfe150989b4117195f0bd67a31b46cfa424a2299ec60606d7ba", + "catalogue_size": 3038, + "checked_maps": 38, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2951, + "exact_recipe_digest": "bfc076a1b2a07970754ea4df7d34ebef3f24dfb8fb22f891d0b20192de61a896", + "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": 3038, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "ba1d4315fb4fcf8f73d63a8a22a223bb139bbae1bab0eab2eb92d61a54cc4c23" + } + ], + "checks": { + "ODD-8X9-APPLICATION-CHECKS.json": { + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "candidate": "18221335427/5000000000000", + "catalogue": [ + { + "catalogue_digest": "3c7245916511ebfe150989b4117195f0bd67a31b46cfa424a2299ec60606d7ba", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2951, + "exact_recipe_digest": "4171c559cd862256537c6eee2aba58eae1dbf0aa571928610ede0a0e70bfc18c", + "log_sha256": "e7b9ee22beac17338e0dcf25b27873c62c1760db9207f462e47de74a55a73d02", + "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": "ba1d4315fb4fcf8f73d63a8a22a223bb139bbae1bab0eab2eb92d61a54cc4c23" + }, + { + "catalogue_digest": "3c7245916511ebfe150989b4117195f0bd67a31b46cfa424a2299ec60606d7ba", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2951, + "exact_recipe_digest": "6b82845b3513edc6689dc9b69a1860c920502b9894ffcdb37a5869b39593ba2a", + "log_sha256": "f770dc0cbb857c7589341616df695cb2c1d658306a4414d00dd7b9cdf173249e", + "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": "ba1d4315fb4fcf8f73d63a8a22a223bb139bbae1bab0eab2eb92d61a54cc4c23" + }, + { + "catalogue_digest": "3c7245916511ebfe150989b4117195f0bd67a31b46cfa424a2299ec60606d7ba", + "catalogue_size": 3038, + "checked_maps": 1000, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2951, + "exact_recipe_digest": "ba4ef1badc9dddccc3b7a0eff81a26c66cb0c6e02d6101e1737fc024e71a875a", + "log_sha256": "a1ab781ad98a33d5abf0ad17e5cdb78faa85ac9a88b6c52c9a99fd31146535f7", + "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": "ba1d4315fb4fcf8f73d63a8a22a223bb139bbae1bab0eab2eb92d61a54cc4c23" + }, + { + "catalogue_digest": "3c7245916511ebfe150989b4117195f0bd67a31b46cfa424a2299ec60606d7ba", + "catalogue_size": 3038, + "checked_maps": 38, + "distinct_helper_maps": 188, + "distinct_paid_maps": 2951, + "exact_recipe_digest": "bfc076a1b2a07970754ea4df7d34ebef3f24dfb8fb22f891d0b20192de61a896", + "log_sha256": "10019d52804dc9a3f5cd723585b586a9c0d13630d2065bb808c900dfc1b9bcb2", + "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": 3038, + "status": "PASS_CURRENT_NATIVE_CATALOGUE_SLICE", + "word_sha256": "ba1d4315fb4fcf8f73d63a8a22a223bb139bbae1bab0eab2eb92d61a54cc4c23" + } + ], + "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": 25460171456, + "log_power": 2237, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298604, + "native_invocations": 17, + "native_sha256": "8f0fe8e7b7180e4ee2bb74284e8946603f07ceb04b4ffcd96156f0e50c5d7667", + "owned_banks_per_raw_occurrence": 1003, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58386, + "native": 1188351 + }, + "scalar_services_upper": 43666976, + "scalar_steps_coefficient": 45788143026176, + "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": "18221335427/5000000000000" + }, + "native_archive_sha256": "ba1d4315fb4fcf8f73d63a8a22a223bb139bbae1bab0eab2eb92d61a54cc4c23", + "native_canonical_sha256": "8f0fe8e7b7180e4ee2bb74284e8946603f07ceb04b4ffcd96156f0e50c5d7667", + "numeric_gate": { + "BIT_margin": "12242291459993/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 0.9999999999999996, + 0.9999999999999996 + ], + "claim": "18221335427/5000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9053475855357662, + 0.9053475855357662 + ], + "derivative_upper": -381755.4782822386, + "gamma": [ + 0.9408036663961675, + 0.9408036663961675 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "18221335427/5000000000000": [ + "15541976809669361175486808271287981649172144488939492022772782297754621434973/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "62167907238677444701947233085151926596688577955757968091091129191018485740853/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364426708540007/100000000000000000": [ + "62167907238678587900568976635475056728412305827407186079922631247648646945309/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62167907238678587900568976635475056728412305827407186079922631247648646946289/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "28470836604690972251231374231/7812500000000000000000000000000": [ + -2.264194280389072e-29, + -2.264194280389072e-29 + ], + "364426708540007/100000000000000000": [ + 1.4522252026471728e-10, + 1.4522252026471728e-10 + ], + "36442670854004444481576159015679/10000000000000000000000000000000000": [ + 1.6141134989666588e-29, + 1.6141134989666588e-29 + ] + }, + "moment_margins": { + "28470836604690972251231374231/7812500000000000000000000000000": [ + "-1132097140194535887809001017892427876752309004254833/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2264194280389071775618002035784855753504617969304879/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364426708540007/100000000000000000": [ + "2904450405294345890093109916134448233926345470071670130727124549864189/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "56727546978405193165881053049500942068873934962337307240764151516283/390625000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36442670854004444481576159015679/10000000000000000000000000000000000": [ + "1614113498966658862916445925626181078257848062257889/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "201764187370832357864555740703272634782231012588507/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36442670854004444481576159015679/10000000000000000000000000000000000", + "28470836604690972251231374231/7812500000000000000000000000000" + ], + "tested": "364426708540007/100000000000000000", + "written_log_power": 2237 + }, + "physical_binding": { + "ambient": 145, + "complete_paid_position_digest": "1a15a0bb22b900e64198f13030d30bdd3b5b1a92bf9fc8dc2f2cce497c793414", + "fresh_helpers": 18649, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1497, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68350, + "16": 416, + "2": 14501, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "paid_positions": 110485, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22393, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 1003, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3757, + "41": 416, + "49": 416, + "5": 1309, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10905 + } + }, + "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": 781680368, + "init_clear_allowance": 248, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 218319632, + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "per_input_conversion": 2646696, + "raw_upper": 765025512, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2194, + "moves": 6277, + "owned_lifetime": 248, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9919000, + "scalar_upper": 2186128 + }, + "status": "PASS_8X9_EXACT_COMPONENT_APPLICATION_CHECKS" + }, + "ODD-ADMISSION-PARTIAL.json": { + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "compiler_outer": { + "BIT_margin": "12242291459993/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 0.9999999999999996, + 0.9999999999999996 + ], + "claim": "18221335427/5000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9053475855357662, + 0.9053475855357662 + ], + "derivative_upper": -381755.4782822386, + "gamma": [ + 0.9408036663961675, + 0.9408036663961675 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "18221335427/5000000000000": [ + "15541976809669361175486808271287981649172144488939492022772782297754621434973/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "62167907238677444701947233085151926596688577955757968091091129191018485740853/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364426708540007/100000000000000000": [ + "62167907238678587900568976635475056728412305827407186079922631247648646945309/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62167907238678587900568976635475056728412305827407186079922631247648646946289/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "28470836604690972251231374231/7812500000000000000000000000000": [ + -2.264194280389072e-29, + -2.264194280389072e-29 + ], + "364426708540007/100000000000000000": [ + 1.4522252026471728e-10, + 1.4522252026471728e-10 + ], + "36442670854004444481576159015679/10000000000000000000000000000000000": [ + 1.6141134989666588e-29, + 1.6141134989666588e-29 + ] + }, + "moment_margins": { + "28470836604690972251231374231/7812500000000000000000000000000": [ + "-1132097140194535887809001017892427876752309004254833/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2264194280389071775618002035784855753504617969304879/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364426708540007/100000000000000000": [ + "2904450405294345890093109916134448233926345470071670130727124549864189/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "56727546978405193165881053049500942068873934962337307240764151516283/390625000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36442670854004444481576159015679/10000000000000000000000000000000000": [ + "1614113498966658862916445925626181078257848062257889/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "201764187370832357864555740703272634782231012588507/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36442670854004444481576159015679/10000000000000000000000000000000000", + "28470836604690972251231374231/7812500000000000000000000000000" + ], + "tested": "364426708540007/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": 68350, + "16": 416, + "2": 14501, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3757, + "41": 416, + "49": 416, + "5": 1309, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10905 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036442670854004444481576159015679416190150652457352295427293354471", + "raw_crossing": "0.0036442670854004444481576159015679416190150652457352295427293354471" + }, + "native_sha256": "8f0fe8e7b7180e4ee2bb74284e8946603f07ceb04b4ffcd96156f0e50c5d7667", + "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": 781680368, + "init_clear_allowance": 248, + "lambda_paid_rank1_would_reduce_S_by": 11280, + "lambda_second_charge": 11280000, + "margin_to_billion": 218319632, + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "per_input_conversion": 2646696, + "raw_upper": 765025512, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2194, + "moves": 6277, + "owned_lifetime": 248, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9919000, + "scalar_upper": 2186128 + }, + "scope": "Fresh changed-word all-column 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": 25460171456, + "log_power": 2237, + "max_scalar_numerator_bits": 24, + "monomial_map_slots": 298604, + "native_invocations": 17, + "native_sha256": "8f0fe8e7b7180e4ee2bb74284e8946603f07ceb04b4ffcd96156f0e50c5d7667", + "owned_banks_per_raw_occurrence": 1003, + "scalar_macro_inputs": { + "caller": 117856, + "conversions": 58386, + "native": 1188351 + }, + "scalar_services_upper": 43666976, + "scalar_steps_coefficient": 45788143026176, + "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": "18221335427/5000000000000" + }, + "ODD-PHYSICAL-BINDING.json": { + "aliased_main_rejected": true, + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "native_sha256": "8f0fe8e7b7180e4ee2bb74284e8946603f07ceb04b4ffcd96156f0e50c5d7667", + "occurrence_and_geometry": { + "ambient": 145, + "complete_paid_position_digest": "1a15a0bb22b900e64198f13030d30bdd3b5b1a92bf9fc8dc2f2cce497c793414", + "fresh_helpers": 18649, + "idle_uses": 3392, + "lambda_uses": 11280, + "native_calls": 17, + "native_contact_boundaries": 13600, + "native_public": 1497, + "nonzero_boundary_translations": 13600, + "paid": { + "1": 68350, + "16": 416, + "2": 14501, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "paid_positions": 110485, + "phase_record_digest": "586ab7499fb677afdd83c397ea0b6d3b25f73ea6cdfa1ec95dd68adccff935ad", + "productive_fields": 22393, + "query_uses": 384, + "rank_surplus": 1424, + "reserved_native_banks": 1003, + "reserved_serial_query_lambda_bank": 1, + "targets": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3757, + "41": 416, + "49": 416, + "5": 1309, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10905 + } + }, + "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": 16416959, + "dyadic_height": 25, + "mass_witness": [ + 66035, + "stored add" + ], + "maximum_scaled_mass": "841374570120675/8192", + "numerator_bits": 24, + "odd_scale_lcm": 1125 + }, + "native_sha256": "8f0fe8e7b7180e4ee2bb74284e8946603f07ceb04b4ffcd96156f0e50c5d7667", + "precision_program_sha256": "ba9dd3a229368affdec5acdc0d471ccf9a48b7db17272bd76e8eb3ba6074105f", + "rounded_caller": { + "bounds": { + "E_joint_entrance": { + "exact": "153087289581562109225685487886241857450864954491251112376215738737110979647111073804568798832368947343213135008153794692306255457840205076350545417738920593459078111454013923022146293438780850251178772623089436582496065924046415445290138846860075689797338913049361514991683240166587086544573103241132725276262612896094495811538891646851009453874970241608144751068464553409537106441214915543145518506668635531626556394844488010478235973123/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "strict_power_of_two": 1179, + "witness": { + "cut": 4691, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": 36 + } + }, + "Gamma_context": { + "exact": "3950815861246742984794740126340221141073730311885594653144786407741124992255898400666145974783807466460807318938763134454293904382961590907058271413234995440550471445073954116652187281545932355137887395723497249050104811437139484640134952823460158788686274136720788412531867691272303791774429383024083398726986903410839441300662195142744926658185589589310847848495461739735664793143695400506492663061524913500295922967711182143913357916033/24279918853238950105526389834524917760000000000000000000000000000000000000000000000", + "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": "40619828913705388585100061392883969327932577485302184844681067383891804216359525257810812794616268606227916498385220599834278492742688062025488649685662623574513840307559333887471861974095821488000726710588690462122616637506668794152658935803061567087125226761104619675341452823454411056255977264600990517534670717240266508204110879121514197399062148350074644078441106437818098570395702865157660781661057477827920323935302844863406373908412383/287762001223572741991423879520295321600000000000000000000000000000000000000000000000", + "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": "3950815861246742984794740126340221141073730311885594653144786407741124992255898400666145974783807466460807318938763134454293904382961590907058271413234995440550471445073954116652187281545932355137887395723497249050104811437139484640134952823460158788686274136720788412531867691272303791774429383024083398726986903410839441300662195142744926658185589589310847848495461739735664793143695400506492663061524913500295922967711182143913357916033/24279918853238950105526389834524917760000000000000000000000000000000000000000000000", + "strict_power_of_two": 1184, + "witness": { + "cut": 4753, + "event": 4752, + "factor": "1", + "kind": "stored", + "register": 37 + } + }, + "Sigma_context": { + "exact": "499608131309936059992746537749415020818316764330269920047574657779828047955869515039201756814167966766045070404053915611147894180663345499090314609821268006399871004481529021296768093111580190939646063862407151560053874231367733221245974791309596829805960594873914385166584926102518471079793990239245628907966895038431802852113666245035152181836634004442862941512083491095546872164423303146716197476434065907632521007117042443573522053982983608782017346706250356263493524842664485546082873167425415004094855962917833793005389723510242654635120392995586142184364244116785300249215906979/15317328386039105924046095337175077245711163365270933802788769669725552640000000000000000000000000000000000000000000000000000000000000000000", + "strict_power_of_two": 1480, + "witness": { + "cut": 4692, + "event": 4691, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 18649, + "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": "153087289581562109225685487886241857450864954491251112376215738737110979647111073804568798832368947343213135008153794692306255457840205076350545417738920593459078111454013923022146293438780850251178772623089436582496065924046415445290138846860075689797338913049361514991683240166587086544573103241132725276262612896094495811538891646851009453874970241608144751068464553409537106441214915543145518506668635531626556394844488010478235973123/32373225137651933474035186446033223680000000000000000000000000000000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "3950815861246742984794740126340221141073730311885594653144786407741124992255898400666145974783807466460807318938763134454293904382961590907058271413234995440550471445073954116652187281545932355137887395723497249050104811437139484640134952823460158788686274136720788412531867691272303791774429383024083398726986903410839441300662195142744926658185589589310847848495461739735664793143695400506492663061524913500295922967711182143913357916033/24279918853238950105526389834524917760000000000000000000000000000000000000000000000" + }, + "M_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796247824792255124449682067424881/131368167114257812500000000000", + "residual_mass": "3950815861246742984794740126340221141073730311885594653144786407741124992255898400666145974783807466460807318938763134454293904382961590907058271413234995440550471445073954116652187281545932355137887395723497249050104811437139484640134952823460158788686274136720788412531867691272303791774429383024083398726986903410839441300662195142744926658185589589310823568576608500785559266753860875588732663061524913500295922967711182143913357916033/24279918853238950105526389834524917760000000000000000000000000000000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "12446513821466013746992171114880354528234540647439407368041740746722705684890095694539586093101687855496797040728247169012299728404791642365323413178973703529222728715961384485250463009966565309368602073434714550373752128374887698957802006867751735225949803848812917591840288770078529478244705471/608185958862304687500000000", + "joint_coefficient": "144218124282401204617230263054514744346632405857442589144991781917530152132889870002846209306787762894150543865356389849084238452276894627352790762454037345126994351979907477144401257368423063007427271766117739822282248246858569624239109891511459830034432108241771054783468611278140179030295737/14596463012695312500000000000", + "primitive_coefficient": "1237373204913668966810008103424843603237049842106979534739539344726881600855129275554334885562896567825503574055929527662143657491595081161117482238618339640110136792453314323518006796600687371906278112102741547626404362403105174332310591538741639237757093806525664195341657589882317257470101709011/175157556152343750000000000000", + "residual_mass": "153087289581562109225685487886241857450864954491251112376215738737110979647111073804568798832368947343213135008153794692306255457840205076350545417738920593459078111454013923022146293438780850251178772623089436582496065924046415445290138846860075689797338913049361514991683240166587086544573103241132725276262612896094495811538891646851009453874970241608144751068464553409537106441214915543145518506668635531626556394844488010478235973123/32373225137651933474035186446033223680000000000000000000000000000000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "321214676655933560129782836030951119958622429471431692811117505066079252658303325303661828534046786576018850667853596288128047313819788006911616028348392581085050721023636971054851673799947587501432346122953175312809813833001587100311020687804583808767060460431114911369649528995555025426696059541/456139469146728515625000000", + "joint_coefficient": "3721923971948022264020008386608472289590988528157114268392412469599050143495508978788641788787976594161440706214373829555996384554677122174093932095769106055424540710380314024651007332164525664382203471694821380954416641216321248248752759218861172626274920078125266851782731337714997593665899027/10947347259521484375000000000", + "primitive_coefficient": "31933635363307317503891208167952125518099265598871297188945655447689887409437080424471754322893069036961252717295444311531802702290424391181977246033332095685934810861449534911850277930109610390733877602745069385156892357266512877411313922547610591253415658016844390796379192959369382262182067424881/131368167114257812500000000000", + "residual_mass": "3950815861246742984794740126340221141073730311885594653144786407741124992255898400666145974783807466460807318938763134454293904382961590907058271413234995440550471445073954116652187281545932355137887395723497249050104811437139484640134952823460158788686274136720788412531867691272303791774429383024083398726986903410839441300662195142744926658185589589310847848495461739735664793143695400506492663061524913500295922967711182143913357916033/24279918853238950105526389834524917760000000000000000000000000000000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "1435/4", + "entrance_mass": "2067/2", + "event": 43, + "stage": 1 + }, + { + "entrance_defect": "1820901564667516530370339487260833666075486334609668567109354743486773977429750121180677057610835039554534170772769527319477963230903946586443200436053/693087965674784425268322477539328000000000000000000000", + "entrance_mass": "56849465528/5", + "event": 137, + "stage": 2 + }, + { + "entrance_defect": "2766663325061061532492669312619486277819306622124663099038771027343652368297287778532644557482206732619728120741430636441594593448912112534799215641673483878786773/66536444704779304825758957843775488000000000000000000000", + "entrance_mass": "899756300051784928313/5", + "event": 268, + "stage": 3 + }, + { + "entrance_defect": "2576882800694955198361610868779891143723213740472687913192013658611642208928353693681249599594285531178500470190609626532172013414495214883305133297051563327811001868890389/66536444704779304825758957843775488000000000000000000000", + "entrance_mass": "2514111326902273689027625979152/15", + "event": 432, + "stage": 4 + }, + { + "entrance_defect": "526398962016944080075603444788794804814889671913508082441033524327604886858577089967900259931716900592765663516407483979048499105063051028265580496418267598630174756159642835394032019/66536444704779304825758957843775488000000000000000000000", + "entrance_mass": "513576167499541081817002847690160861158177/15", + "event": 633, + "stage": 5 + }, + { + "entrance_defect": "50402692479375531665687416747480120150109247599005874526279354030003952241157440225009496508565104894025727399928131327261608942930188340011559455857374648074140105683926273861973075674094454071/998046670571689572386384367656632320000000000000000000000", + "entrance_mass": "49174910102467876864090432969907258581035345395534834/225", + "event": 867, + "stage": 6 + }, + { + "entrance_defect": "5375704457381479114608671898019415524919862570639577631689367169387305977268855183752170742695567458579139805826018931770371897753710425718110785255891829889032533439261828454836491129113518014170870889721/110894074507965508042931596406292480000000000000000000000", + "entrance_mass": "47202796791779792903787260464709452698419616298153732189406926691/225", + "event": 1138, + "stage": 7 + }, + { + "entrance_defect": "1565186825567976352787892363989775896530032665473003046774660207214110508638609814053145964045484990891932224936400796213461791978090724109323929155285158624614981637270738455197270598169389740157076702768676678098713700159/124755833821461196548298045957079040000000000000000000000000", + "entrance_mass": "1527059719525243651854937925515623170877847518562264265010551055991429949116792541/28125", + "event": 1423, + "stage": 8 + }, + { + "entrance_defect": "558181242223326853284859807842060113594469450002683828464718553426464426185665946076659870951700587482721307948530952932463028522067641681429491423679582766833417019347495257617187882422080847611007544033259063553373431503984886135565711524360386061614080961861355431028267502098436318727237431615183098135953005229165054494601933564457619112718239427463739/143881000611786370995711939760147660800000000000000000000000000000000000000000000", + "entrance_mass": "45382020709918266925583064268574418985484021788023395083741971786893952543604385214817042722264713249357732585113211736557042182118473445437784492974844696068231496289005681248244219743195326431922663592509646282903/2703048706054687500000000", + "event": 3058, + "stage": 9 + }, + { + "entrance_defect": "212249192689625471836003389933632024226686823897829839936014954857332908189858186451976374659838026300656250167494614294664636587362034135907633649661638674828450513220753994079228547504926205112103373853600180637196682610714412589659810665465989951678075734579689175485998456839320796828445858742429970443418625091934031676813903717953483643622381854245263189944107386681/3597025015294659274892798494003691520000000000000000000000000000000000000000000000", + "entrance_mass": "17256576412236653193246225901973714737195067836439327666112948810725372605325768521068989782195051084826433423902219365061463548934152577319772447024097669813834215493691840531234110147024064996639957180865886380686899413865699437/67576217651367187500000000", + "event": 3377, + "stage": 10 + }, + { + "entrance_defect": "101261076878344648682834970506311984354822458173812348524791195153775393461692421282790009727331380077763965954754949190056895287287711669176548476383986322960639425200123432499681312544166960229062324804419621991981827015434607206369434228571243569540078098723287515876624214449461879808597408598044382821571667927541441122897645364332801342685394938187884105714874230214327724811139/119900833843155309163093283133456384000000000000000000000000000000000000000000000", + "entrance_mass": "8232867642949280967953864719378369729636081542640965177026582834276172086852779069019078166383458700724373015543641299678854718814560615654710102550769670203427726502361438450768012893674227975469242856299447027845030556012745339827937032703/2252540588378906250000000", + "event": 3674, + "stage": 11 + }, + { + "entrance_defect": "1272488517495581922978392969233138076115360469807178982442653593327806539138346657291494590565121246957156185732097504926816682382951151583344800444063893134966439717161922937677597547282105946434956639026800406158285888911241074892357227171357333201807698832054409988059529855065186593591871208397465452344604245192365677414290732471686117730070570734037106572778895048311627497618794030092991203/16186612568825966737017593223016611840000000000000000000000000000000000000000000000", + "entrance_mass": "103457615351059805192637231353494210876529187337645013912367786609511281374638184501291799844537790265462481580051228205479278831706979374022592427678836083146990308179368316797029946556942233864286312243671687806427572314354434738422294564686254956597631/304092979431152343750000000", + "event": 3934, + "stage": 12 + }, + { + "entrance_defect": "83818008966860874279444396272654506957975430594697776940594897765953311246908843532516507706075005439152670203920386178030657171332554327897038900858938327473735461502935951489507892293349894917576857669475917917489463249011784702519914435157175624698741018088123763720303029975703264918461530036666076998515418279354191441471835468132228515736139952396891675625777104491038234943599344446123904287529507/4046653142206491684254398305754152960000000000000000000000000000000000000000000000", + "entrance_mass": "6814687293408352348961376609223100753789665399854180217091951198766673494955017243489117504312576625705862588971333049204842152193259763726092611947454717867967563820647006231530855513792517852570389360287582421241328472893443552787136426885585158158296407747039/76023244857788085937500000", + "event": 4149, + "stage": 13 + }, + { + "entrance_defect": "3366263122769777545523307299607301565674805910377786709900603582798684059813909687553460154876225155398934758700763043711007860728453036779348706425097926405261053524100577066233422379705454875663835320693807313437861162761754266412975838245232692650129419704587276662457500330821188412037929215364785324230448226104102359438619862269807853736453577367341063307895283189942024245650282087388673397255933933248966683/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "entrance_mass": "273688564209132230699064882255651065961520374651451250325109091529813162250488973700796593555467744131430272845604649750549608356985710665121874068107850799585492748533787927289567936649257940207702597871193107311090132538524151482351564937285621850171994049078063458209591/608185958862304687500000000", + "event": 4337, + "stage": 14 + }, + { + "entrance_defect": "64336571371307204691058064595593813596931848053053832269122512505422270863281577167480368151748360596005047196568457794997937707784362206604335599642606234167209392717033041915905138067011667444329484058961263820767038358824869221565660422179144645071373477545584585044229464069674140229640218232426503864251403522368761603499630369930006321906505261901076034345546598845591802395661916768997604422546319777469994726606793/16186612568825966737017593223016611840000000000000000000000000000000000000000000000", + "entrance_mass": "5230780602279043381317572379439763694807653157987526423412516241866438709931406455512285461654380762978554988724296151241130161368896505647624919395909388513302452136334767445346454946237326490486725295589968816639097338790755366202380875008783642473174121062695038054202858248061/304092979431152343750000000", + "event": 4485, + "stage": 15 + }, + { + "entrance_defect": "71219969207627911566406017125941248554560388143406477668290347285861923782468491048189121288575505265866619063880401660938783340899424039488451045697486352708573713323263029935950784079580396992013166629452842616828685453071554188698084919786289097765108077347539384144909186438924975697384716282001928604957803757515575903911998913175383714998373784965604652183452588822074929920612818861734043388271713807408118789829170981600819/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "entrance_mass": "5790424100720951765768300756324298709533962301792798636386692749870979029496708556989270788662796627612885676197810930990877069943243536093513215980405080279750566239442965631097385199413957318608000177913047677092759213914423460784984181631621622445055356552059259436283593839861423838063/608185958862304687500000000", + "event": 4606, + "stage": 16 + }, + { + "entrance_defect": "153087289581562109225685487886241857450864954491251112376215738737110979647111073804568798832368947343213135008153794692306255457840205076350545417738920593459078111454013923022146293438780850251178772623089436582496065924046415445290138846860075689797338913049361514991683240166587086544573103241132725276262612896094495811538891646851009453874970241608144751068464553409537106441214915543145518506668635531626556394844488010478235973123/32373225137651933474035186446033223680000000000000000000000000000000000000000000000", + "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": "1061498271061920891293051437507736453258897937696225191519770377226380665014046299904730677549570384795058800031343882390562740564136643132762779/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 298, + "witness": { + "cut": 76180, + "factor": "1", + "kind": "public-return", + "register": 1495 + } + }, + "M": { + "exact": "3263550701534590702976812135964512319307692366778775835211317341157343887268066831821231078738191897825383432391949151464916619336789962094183503073/473148051233986167649841478000181248000000000000000000000", + "strict_power_of_two": 302, + "witness": { + "cut": 76175, + "factor": "1", + "kind": "stored", + "register": 1495 + } + }, + "Sigma": { + "exact": "1061498271061920891293051437507736453258897937696225191519770377226380665014046299904730677549570384795058800031343882390562740564136643132762779/2217881490159310160858631928125849600000000000000000000", + "strict_power_of_two": 298, + "witness": { + "cut": 76175, + "factor": "1", + "kind": "stored", + "register": 1495 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 76180, + "lifetimes": 62, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 66056, + "CLEAR": 62, + "COPY": 1, + "INIT": 62, + "MOVE": 6277, + "SCALE": 3722 + }, + "owned_labels": 59, + "peak_owned": 46, + "public": 1497, + "scalars": { + "dyadic": 63879, + "integer": 39644, + "noninteger": 30135, + "odd": 5900 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26037, + "entrance_mass": "3263550701534590702976812135964512319307692366778775835211317341157343887268066831821231078738191897825383432391949151464916619336789962094183503073/473148051233986167649841478000181248000000000000000000000", + "residual_mass": "1061498271061920891293051437507736453258897937696225191519770377226380665014046299904730677549570384795058800031343882390562740564136643132762779/2217881490159310160858631928125849600000000000000000000" + }, + "M": { + "active_residual_sites": 26037, + "entrance_mass": "3263550701534590702976812135964512319307692366778775835211317341157343887268066831821231078738191897825383432391949151464916619336789962094183503073/473148051233986167649841478000181248000000000000000000000", + "residual_mass": "1061498271061920891293051437507736453258897937696225191519770377226380665014046299904730677549570384795058800031343882390562740564136643132762779/2217881490159310160858631928125849600000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26037, + "entrance_mass": "3263550701534590702976812135964512319307692366778775835211317341157343887268066831821231078738191897825383432391949151464916619336789962094183503073/473148051233986167649841478000181248000000000000000000000", + "residual_mass": "1061498271061920891293051437507736453258897937696225191519770377226380665014046299904730677549570384795058800031343882390562740564136643132762779/2217881490159310160858631928125849600000000000000000000" + } + } + }, + "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": 68350, + "16": 416, + "2": 14501, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "raw_bracket": [ + "36442670854004444481576159015679/10000000000000000000000000000000000", + "28470836604690972251231374231/7812500000000000000000000000000" + ], + "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": "8f0fe8e7b7180e4ee2bb74284e8946603f07ceb04b4ffcd96156f0e50c5d7667", + "target": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3757, + "41": 416, + "49": 416, + "5": 1309, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10905 + } + } + }, + "claim": "18221335427/5000000000000", + "price": { + "after": { + "P": { + "1": 68350, + "16": 416, + "2": 14501, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3757, + "41": 416, + "49": 416, + "5": 1309, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10905 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036442670854004444481576159015679416190150652457352295427293354471", + "raw_crossing": "0.0036442670854004444481576159015679416190150652457352295427293354471" + }, + "before": { + "P": { + "1": 68333, + "16": 416, + "2": 14501, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5814, + "56": 416, + "6": 255, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 289, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3740, + "41": 416, + "49": 416, + "5": 1292, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 595, + "9": 10922 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036437161683053639514518829222626917863827922370446766649633497614", + "raw_crossing": "0.0036437161683053639514518829222626917863827922370446766649633497614" + }, + "gate": { + "BIT_margin": "12242291459993/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16510400000000000000000", + "alpha": [ + 0.9999999999999996, + 0.9999999999999996 + ], + "claim": "18221335427/5000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9053475855357662, + 0.9053475855357662 + ], + "derivative_upper": -381755.4782822386, + "gamma": [ + 0.9408036663961675, + 0.9408036663961675 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "18221335427/5000000000000": [ + "15541976809669361175486808271287981649172144488939492022772782297754621434973/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "62167907238677444701947233085151926596688577955757968091091129191018485740853/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364426708540007/100000000000000000": [ + "62167907238678587900568976635475056728412305827407186079922631247648646945309/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62167907238678587900568976635475056728412305827407186079922631247648646946289/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2236, + "moment_margin_float": { + "28470836604690972251231374231/7812500000000000000000000000000": [ + -2.264194280389072e-29, + -2.264194280389072e-29 + ], + "364426708540007/100000000000000000": [ + 1.4522252026471728e-10, + 1.4522252026471728e-10 + ], + "36442670854004444481576159015679/10000000000000000000000000000000000": [ + 1.6141134989666588e-29, + 1.6141134989666588e-29 + ] + }, + "moment_margins": { + "28470836604690972251231374231/7812500000000000000000000000000": [ + "-1132097140194535887809001017892427876752309004254833/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-2264194280389071775618002035784855753504617969304879/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364426708540007/100000000000000000": [ + "2904450405294345890093109916134448233926345470071670130727124549864189/20000000000000000000000000000000000000000000000000000000000000000000000000000000", + "56727546978405193165881053049500942068873934962337307240764151516283/390625000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36442670854004444481576159015679/10000000000000000000000000000000000": [ + "1614113498966658862916445925626181078257848062257889/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "201764187370832357864555740703272634782231012588507/12500000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36442670854004444481576159015679/10000000000000000000000000000000000", + "28470836604690972251231374231/7812500000000000000000000000000" + ], + "tested": "364426708540007/100000000000000000", + "written_log_power": 2237 + }, + "native_baseline_rejects_new_claim": true, + "new_native": "8f0fe8e7b7180e4ee2bb74284e8946603f07ceb04b4ffcd96156f0e50c5d7667", + "old_native": "ecb1f56ba06dbaae424d0f94ad41c6d08f39f5f1f2fec348f2d0c9c9873c657f", + "peer_comparison": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "1077184206582200052862176973786927748190590476465054404130412589685423158469103/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "5385921032911000264310884868934638740952952382325272020652062948427115809573749/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.0036442670854", + "gain": "2.77745773E-7", + "gain_exact": "277745773/1000000000000000", + "independent_raw_bracket": [ + "0.00364426708540044444815761590156794", + "0.00364426708540044444815761590156795" + ], + "previous_claim": "3643989339627/1000000000000000", + "raw_bracket": [ + "0.0036442670854004444481576159015679", + "0.003644267085400444448157615901568" + ] + }, + "peer_invoice": { + "P": { + "1": 68316, + "16": 416, + "2": 14518, + "24": 416, + "3": 14076, + "32": 416, + "4": 3825, + "40": 416, + "48": 416, + "5": 5831, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 758, + "9": 32 + }, + "S": 1424, + "T": { + "1": 272, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3757, + "41": 416, + "49": 416, + "5": 1309, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 578, + "9": 10922 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036439893396275796269239190306320804882462061414061582089206271171", + "raw_crossing": "0.0036439893396275796269239190306320804882462061414061582089206271171" + }, + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "5341571188180577086937265018809391194522609303524423522547523121240428671755381/25000000000000000000000000000000000000000000000000000000000000000000000000000000", + "21366284752722308347749060075237564778090437214097694090190092484961714721717679/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.0036442670854", + "gain": "5.50917095E-7", + "gain_exact": "110183419/200000000000000", + "independent_raw_bracket": [ + "0.00364426708540044444815761590156794", + "0.00364426708540044444815761590156795" + ], + "previous_claim": "728743233661/200000000000000", + "raw_bracket": [ + "0.0036442670854004444481576159015679", + "0.003644267085400444448157615901568" + ] + } + }, + "status": "PASS_P104_TEMPORAL_237_595_APPLICATION" +} diff --git a/research/p104-temporal-237-595-composition/SOURCES.json b/research/p104-temporal-237-595-composition/SOURCES.json new file mode 100644 index 0000000000..c4150ae397 --- /dev/null +++ b/research/p104-temporal-237-595-composition/SOURCES.json @@ -0,0 +1,24 @@ +{ + "schema_version": 1, + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "files": [ + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec", + "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81" + }, + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "75d77b328ea02ded535e7f23aee5b1e55d0bb1a8", + "sha256": "154c3d30455d778fd3343b6b4851f0fa4665f0f7625b0adb3675e2bafbbf6bf1" + }, + { + "path": "docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md", + "usage": "provenance", + "git_blob": "3dd1af2285e597676725e85ad4f65e7ad326d695", + "sha256": "4501502c2ceb9759b20372435fe4beb51082c5a5e2910c1fd5dbe6edca415055" + } + ] +} diff --git a/research/p104-temporal-237-595-composition/TASK.json b/research/p104-temporal-237-595-composition/TASK.json new file mode 100644 index 0000000000..1b09c42a8e --- /dev/null +++ b/research/p104-temporal-237-595-composition/TASK.json @@ -0,0 +1,148 @@ +{ + "schema_version": 1, + "task_id": "p104-side-correction", + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "priority_revision": 8, + "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" + } + ] + }, + "author": "Prepared for Clear1nsight with OpenAI Codex and ChatGPT Pro assistance", + "ai_assistance": "Substantial OpenAI Codex and ChatGPT Pro assistance; no subagents.", + "claim": "https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19532859", + "scope_status": "changed", + "scope_change_reason": "Revision 8 and selected #7000 are the live context. After two bounded screens found no nominee, completed #7148 supplied a new executable source and explicitly left its composition with #7147 untested. Only that fixed composition is evaluated.", + "actual_scope": "Rebind the exact chart-237 group 3→127, pivot 1082, cut 37222 and role 820 paid path on completed #7148. Replay both complete invoices and the unchanged 17-stage caller, including ordinary, width, owned stock, precision, physical and compiler outer costs.", + "concrete_question": "Does the fixed chart-237 witness still pair on the chart-595 word, and does the resulting complete application beat both parent prices?", + "domain": "Eight neutral and one paid bracket, exactly one recipe and one candidate; no sweep, standalone continuation or frontier change.", + "bottleneck_link": "The additive productive/paid histogram must survive causal translation and all ordinary, precision, scalar and owned-stock costs of the exact unchanged caller.", + "success": "Whole arbitrary-input native and caller verification and directed complete application κ above both completed parents.", + "outcome": "completed", + "evidence": "PR7147-INPUTS.json, PR7148-INPUTS.json, CERTIFICATE.json, NATIVE-RESULT.json, RESULT.json, PROOF.md, APPLICATION.md and VALIDATION.md.", + "open_questions": [ + { + "question": "Can a reviewer independently reproduce the translated guarded pairing and exact complete application bill?", + "why_it_matters": "The two timed cuts interact with a shared source, and the new long owned lifetime and scalar-width bound must remain paid.", + "first_step": "Run the three registered checks and inspect the nine brackets, peak 46, width 24 and parent price brackets.", + "blocked_by": "Independent human/formal review, framework acceptance and compiled top-level execution are outside this contribution." + } + ], + "stop_rule": "One completed composition or rejection of the one fixed translated contract; no further construction after a complete positive.", + "predecessors": [ + { + "pr": 7148, + "head": "154ef929894225674df48df2d6ea3b7a7d1f39a0", + "disposition": "reuse and adapt", + "reason": "Complete executable chart-595 source, exact normalized 24-bit word, caller/physical/price engines and charged scalar repair. Four shared implementation files are byte-identical; candidate-specific gates use exact new values." + }, + { + "pr": 7147, + "head": "3b61d41d81a4bc8f78252240c8fb02473dd3d94f", + "disposition": "reuse witness, review-only standalone result", + "reason": "Same chart-237 witness bytes as the inspected draft. Clocks must translate and all coefficients must be recomputed on #7148; separate standalone full replay is not counted. Also reuse its exact CI navigation prerequisite." + }, + { + "pr": 7145, + "head": "db8f31c4a1d9e191976e2c92951e6d2dea886a27", + "disposition": "reuse", + "reason": "Common word provides exact original contact events and chart catalogue, verified from #7148 nested source." + }, + { + "pr": 7143, + "head": "9ff298bd6547299dc5b263873bf8a400909e5501", + "disposition": "reuse through #7148", + "reason": "Authenticated causal constructor and exact grid tools preserve paid and owned contract; chart 120 is not rerun." + } + ], + "overlap": "Canonical #1166 includes the released #7148 scope and the separate chart-237/595 composition claim. Two previous zero-nominee searches are closed. The scoped delta search for PRs citing both parents returned only #7147 and #7148; discussions and subsequent PRs were checked for the same fixed composition.", + "evidence_status": "Direct certificate, complete native and complete 17-stage caller/cost/catalogue replays passed; see VALIDATION.md for registered replay and committed-byte checks." +} diff --git a/research/p104-temporal-237-595-composition/VALIDATION.md b/research/p104-temporal-237-595-composition/VALIDATION.md new file mode 100644 index 0000000000..81b24ac327 --- /dev/null +++ b/research/p104-temporal-237-595-composition/VALIDATION.md @@ -0,0 +1,54 @@ +# Validation and limits + +The direct checks ran on Linux x86_64 with CPython 3.12.3 in normal assertion +mode. They emitted the three frozen JSON receipts; their final pass markers +are separate from the later registered equality replay. + +| Entry point | Direct evidence | +| --- | --- | +| `verify_certificate.py` | `PASS_EXACT_GUARDED_TIMED_OBSERVATIONS`; 9 translated brackets, exact all-coordinate pairing and 12 negative controls | +| `verify_native.py` | `PASS_P104_TEMPORAL_237_595_NATIVE`; whole forward and adjoint, 1,556 rows and cleared owned output, independent grids, all 512 columns for five chart pairs, 20 native controls (including the 12 above) and source-bound physical route checks | +| `verify.py` | `PASS_P104_TEMPORAL_237_595_APPLICATION`; unchanged caller bytes, full price and physical/precision/tape bounds; four contiguous catalogue batches through 3,038 maps and 104 main boundaries; exit 0 | + +Direct physical execution uses prime 1,000,000,009 and seed 11 and is a finite +check. The all-coordinate rational/integer endpoint and exact affected +Gaussian chart checks are separate. The application compares the two +reconstructed parent invoices; it does not rerun the complete standalone +chart-237 package. The 18-stage ingredient and the 17-stage application +have different invoices, and the former rejects the latter's claim. + +Controls include altered gather/injection coefficients and omitted terms, +bad chronology, the uncharged paid midpoint, an incomplete path, a wrong +target split, an output-invisible interior COPY violation, an oversized +numerator, wrong frame/phase, uncharged owned lifetime, public erasure, +insufficient odd/dyadic grids, caller main aliasing and a probe at the lower +price crossing. Controls shared by the native and certificate runs are +counted once in the native total. + +```sh +python3.12 -B scripts/research_package.py --package research/p104-temporal-237-595-composition +``` + +The package uses no network or third-party Python packages. Each direct +verifier is runnable with `python3.12 -I -B` in a checked Git-free export. +The registered runner additionally validates repository task/source pins and +uses a fresh Python cache prefix per command. The command limits are 140, +460 and 600 seconds respectively. The [registered replay](REPLAY.txt) exited 0 +in 833.77 seconds and matched every frozen receipt field. The direct full +application command exited 0 in 401.83 seconds. + +The original two paid-path and rank-eight partial-group search rounds closed +with zero nominations. They provide no credit for this κ increase; the +composition is one fixed instance on newly available public source. +The selected #7000 source binding remains unchanged. + +The separate CI navigation commit reuses the exact #7147 repair and does +not change the selected record. On the pinned #7147 head, the [hosted +plan and scientific candidate job passed](https://github.com/CrocSwap/integer-mult-bounds/actions/runs/42940972425), +while the separately selected historical package failed on its old Makefile +pin. That package and its inputs are outside this change. + +The inherited assumptions are `native_all_columns`, `owned_erasure`, +`compiler`, `precision_tape` and `analytic_recovery`. This is a source-aware +conditional application result. Independent human/formal acceptance, +maintainer admission and actual compiled top-level execution remain open. diff --git a/research/p104-temporal-237-595-composition/VERIFY.json b/research/p104-temporal-237-595-composition/VERIFY.json new file mode 100644 index 0000000000..e36ad9300a --- /dev/null +++ b/research/p104-temporal-237-595-composition/VERIFY.json @@ -0,0 +1,24 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [], + "commands": [ + { + "argv": ["{python}", "-I", "-B", "{package}/verify_certificate.py"], + "timeout_seconds": 140, + "checks": "Both exact source heads; nine translated brackets; full prefix and guarded suffix; unit pairing, 24-bit limit and 12 controls; every certificate field." + }, + { + "argv": ["{python}", "-I", "-B", "{package}/verify_native.py"], + "timeout_seconds": 460, + "checks": "Full native forward/adjoint, exact 62/46/59 lifecycle, independent 1125/F25 grids, ingredient ordinary/precision/price, affected 512-column charts, 20 controls and physical replay; every native receipt field." + }, + { + "argv": ["{python}", "-I", "-B", "{package}/verify.py"], + "timeout_seconds": 600, + "checks": "Complete unchanged 17-stage caller, all chart maps and boundaries, fresh physical/owned/ordinary/grid/precision/compiler, both parents, two price engines and all outer conditions; every application receipt field." + } + ] +} diff --git a/research/p104-temporal-237-595-composition/WITNESS.json b/research/p104-temporal-237-595-composition/WITNESS.json new file mode 100644 index 0000000000..8ce4283df8 --- /dev/null +++ b/research/p104-temporal-237-595-composition/WITNESS.json @@ -0,0 +1,107 @@ +{ + "frame": 237, + "cut": 37222, + "pivot": 1082, + "ranks": [ + 4, + 5 + ], + "c": { + "229": "-4" + }, + "d": { + "233": "-1/4", + "549": "-1/2", + "1082": "-1/4", + "229": "-1/4" + }, + "gathers": [ + { + "cut": 37222, + "role": 794, + "frame": 237, + "path": 0, + "coefficient": "1" + }, + { + "cut": 37216, + "role": 1092, + "frame": 237, + "path": 6, + "coefficient": "1" + } + ], + "injections": [ + { + "cut": 37754, + "role": 795, + "frame": 237, + "path": 2, + "coefficient": "-1/4" + }, + { + "cut": 45976, + "role": 1095, + "frame": 237, + "path": 7, + "coefficient": "-1" + }, + { + "cut": 45461, + "role": 878, + "frame": 237, + "path": 3, + "coefficient": "-1/2" + }, + { + "cut": 45973, + "role": 820, + "frame": 237, + "paid_path": 0, + "coefficient": "1/2" + }, + { + "cut": 37761, + "role": 1082, + "frame": 237, + "path": 5, + "coefficient": "1/4" + }, + { + "cut": 46914, + "role": 794, + "frame": 237, + "path": 1, + "coefficient": "-1/4" + } + ], + "paid_delta": { + "1": 1, + "5": 1, + "6": -1 + }, + "paid_path": 0, + "path": { + "role": 820, + "lo": 38300, + "hi": 45973, + "frame": 237, + "moves": [ + 45971 + ], + "frames": [ + 734, + 127 + ], + "old": 734, + "new": 127, + "old_paid": [ + 6 + ], + "new_paid": [ + 1, + 5 + ], + "private": false + } +} diff --git a/research/p104-temporal-237-595-composition/WORD.json.gz b/research/p104-temporal-237-595-composition/WORD.json.gz new file mode 100644 index 0000000000..7de0c81080 Binary files /dev/null and b/research/p104-temporal-237-595-composition/WORD.json.gz differ diff --git a/research/p104-temporal-237-595-composition/adapt.py b/research/p104-temporal-237-595-composition/adapt.py new file mode 100644 index 0000000000..3039ca7bab --- /dev/null +++ b/research/p104-temporal-237-595-composition/adapt.py @@ -0,0 +1,42 @@ +"""Counted adapters invalidate same-native reuse in Rohan Arun's #7113 checks. +All edits apply only to temporary copies of authenticated source. Apache-2.0. +Chart-595 adapter: dillona with OpenAI Codex. Composition: Clear1nsight with Codex. +""" +from hashlib import sha256 + +def adapt(folder, claim): + from fractions import Fraction + Fraction(claim) # parse the exact value before including it in generated source + changes=[] + def patch(name,old,new): + path=folder/name;raw=path.read_text() + if raw.count(old)!=1:raise ValueError('Exact one-occurrence adapter: '+name+' '+old) + path.write_text(raw.replace(old,new));changes.append(dict(file=name,old=old,new=new)) + patch('emit_odd_type_ab.py', + 'invoice=next(x for x in json.loads((root/"SHORT-CALLER-RAW-PRICE.json").read_text())["rows"] if tuple(x["shape"])==shape)', + 'invoice=json.loads((root/"COHORT-PRICE.json").read_text())') + patch('check_odd_partial_admission.py', + 'previous=json.loads((root/"SHORT-ADMISSION-PARTIAL.json").read_text())\nassert previous["native_sha256"]==digest and not N["bad_inputs"]', + 'actual_native=ind.native(w)\nassert actual_native==N and not N["bad_inputs"], "Fresh complete native inventory and arbitrary-input adjoint"') + patch('check_odd_partial_admission.py','claim=Q(".00363797977")',f'claim=Q({claim!r})') + # ToikY's frozen exact_price() already shrinks this probe below the + # certified crossing. Recompute that rule in the caller's separate gate. + patch('check_odd_partial_admission.py', + 'tested=claim+Q(7,10**17)', + 'tested=claim+Q(7,10**17)\nwhile tested>=Q(reference["raw_bracket"][0]):\n tested=claim+(tested-claim)/10') + patch('check_odd_partial_admission.py', + 'g=gate(invoice,claim,tested,*bracket,r["gate"]["BIT_pin"])', + '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")') + patch('check_odd_partial_admission.py', + '"scope":"Reuse exact same native word all-column adjoint;', + '"crossing_probe_rejected":crossing_probe_rejected,"scope":"Fresh changed-word all-column adjoint;') + patch('check_odd_precision.py', 'env=ModuleType("short_envelope")', + 'patch(\'(life, peak, owned_count) == (54, 43, 51)\',\'(life, peak, owned_count) == (62, 46, 59)\')\nenv=ModuleType("short_envelope")') + patch('check_odd_precision.py','previous=json.loads((root/"SHORT-PRECISION.json").read_text())','') + patch('check_odd_precision.py', + 'assert previous["native_sha256"]==sha and grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()', + 'assert grid_receipt["caller_sha256"]==sha256(cpath.read_bytes()).hexdigest()') + patch('check_odd_precision.py', + 'wg=previous["native_grid"]\nwr=previous["rounded_native"]\nwp={key:(Q(v["exact"]),v["witness"]) for key,v in wr["bounds"].items()}', + '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"') + return dict(edits=changes,adapted_sha256={x['file']:sha256((folder/x['file']).read_bytes()).hexdigest() for x in changes}) diff --git a/research/p104-temporal-237-595-composition/certificate.py b/research/p104-temporal-237-595-composition/certificate.py new file mode 100644 index 0000000000..b61ed8d869 --- /dev/null +++ b/research/p104-temporal-237-595-composition/certificate.py @@ -0,0 +1,133 @@ +"""Exact timed histories with independent final-owned and COPY-zero adjoints. + +Causal split: Ali Romman; earlier history and retiming methods: Jerry Chen / +CubeJerry; chart-237 observations: Rohan Arun; executable chart-595 source: +dillona. Guarded suffix adaptation: Clear1nsight, Codex and ChatGPT Pro. +""" +from collections import defaultdict +from copy import deepcopy +from fractions import Fraction as Q +from source import need +from construct import construct, scalar_width +from support import L + + +def observe(word, hit): + n = word['public'] + m = n + word['owned_fields'] + events = word['program'] + requests = [defaultdict(set), defaultdict(set)] + snapshots = [{}, {}] + for side, name in enumerate(('gathers', 'injections')): + for x in hit[name]: + requests[side][x['cut']].add(x['role']) + + def save(side, cut, values): + for r in requests[side].get(cut, ()): + snapshots[side][cut, r] = dict(values[r]) + + rows = [{i: Q(1)} if i < n else {} for i in range(m)] + save(0, 0, rows) + for i, e in enumerate(events): + op, r = e[:2] + if op in ('INIT', 'CLEAR'): + rows[r] = {} + elif op == 'SCALE': + rows[r] = {k: Q(e[-2])*q for k, q in rows[r].items()} + elif op in ('ADD', 'COPY'): + if op == 'COPY': + need(not rows[r], 'Original COPY destination must be zero') + L.add(rows[r], rows[e[2]], Q(e[-2])) + save(0, i+1, rows) + + # Coordinates [0,m) are all final roles, including owned fields. The + # unique coordinate m+i measures the destination just before COPY i. + cols = [{i: Q(1)} for i in range(m)] + save(1, len(events), cols) + for i in reversed(range(len(events))): + e = events[i] + op, r = e[:2] + if op in ('INIT', 'CLEAR'): + cols[r] = {} + elif op == 'SCALE': + cols[r] = {k: Q(e[-2])*q for k, q in cols[r].items()} + elif op in ('ADD', 'COPY'): + L.add(cols[e[2]], cols[r], Q(e[-2])) + if op == 'COPY': + cols[r] = {m+i: Q(1)} + save(1, i, cols) + return snapshots + + +def check(hit, snapshots): + vectors = {} + for side, field, target in ((0, 'gathers', 'c'), (1, 'injections', 'd')): + total, seen = {}, set() + for x in hit[field]: + key = x['cut'], x['role'] + need(key in snapshots[side] and key not in seen, 'Distinct source observation') + seen.add(key) + need(x['frame'] == hit['frame'], 'One accumulator frame') + need(x['cut'] <= hit['cut'] if side == 0 else x['cut'] >= hit['cut'], 'Causal chronology') + q = Q(x['coefficient']) + need(q != 0, 'Nonzero timed coefficient') + L.add(total, snapshots[side][key], q) + want = {int(k): Q(q) for k, q in hit[target].items()} + need(total == want, 'All coefficients, including outside and guard coordinates, for ' + target) + vectors[target] = {str(k): str(v) for k, v in sorted(total.items())} + c, d = ({int(k): Q(q) for k, q in vectors[x].items()} for x in ('c', 'd')) + need(sum(q*d.get(r, 0) for r, q in c.items()) == 1, 'Unit pairing') + return dict(status='PASS_EXACT_GUARDED_TIMED_OBSERVATIONS', gather_count=len(hit['gathers']), + injection_count=len(hit['injections']), latest_gather=max(x['cut'] for x in hit['gathers']), + retirement_cut=hit['cut'], earliest_injection=min(x['cut'] for x in hit['injections']), + vectors=vectors, boundary_pairing='1') + + +def rejected(action): + try: + action() + except (AssertionError, ValueError): + return True + raise ValueError('Corruption accepted') + + +def controls(word, hit, paths, snapshots=None): + snapshots = observe(word, hit) if snapshots is None else snapshots + check(hit, snapshots) + results = {} + for field in ('gathers', 'injections'): + bad = deepcopy(hit) + bad[field][0]['coefficient'] = str(2*Q(bad[field][0]['coefficient'])) + results['wrong_'+field+'_coefficient'] = rejected(lambda: check(bad, snapshots)) + bad = deepcopy(hit) + bad[field].pop(0) + results['omitted_'+field+'_observation'] = rejected(lambda: check(bad, snapshots)) + bad = deepcopy(hit) + bad['cut'] = max(x['cut'] for x in bad['gathers'])-1 + results['retirement_before_last_gather'] = rejected(lambda: check(bad, snapshots)) + bad = deepcopy(hit) + bad['injections'][0]['cut'] = hit['cut']-1 + results['injection_before_retirement'] = rejected(lambda: check(bad, snapshots)) + bad = deepcopy(hit) + bad['paid_delta'] = {} + results['omitted_paid_midpoint_cost'] = rejected(lambda: construct(word, bad, paths)) + bad = deepcopy(hit) + bad['path']['hi'] = bad['path']['moves'][0] + results['incomplete_paid_path'] = rejected(lambda: construct(word, bad, paths)) + bad = deepcopy(hit) + bad['ranks'] = list(reversed(bad['ranks'])) + results['wrong_productive_ranks'] = rejected(lambda: construct(word, bad, paths)) + bad = deepcopy(hit) + bad['gathers'][0]['cut'] = hit['cut']+1 + results['gather_after_retirement'] = rejected(lambda: construct(word, bad, paths)) + toy = {'public': 1, 'owned_fields': 1, + 'program': [['INIT', 1, 0], ['COPY', 1, 0, '1', 0], ['CLEAR', 1, 0]]} + toy_hit = {'gathers': [], 'injections': [{'cut': 1, 'role': 1}]} + _, cols = observe(toy, toy_hit) + # This perturbation is invisible at the final output because of COPY + # and CLEAR; it is nevertheless forbidden at the interior COPY. + need(cols == {(1, 1): {3: Q(1)}}, 'COPY-zero control must see erased perturbation') + results['output_invisible_copy_violation_detected'] = True + results['oversized_scalar_numerator_rejected'] = rejected( + lambda: scalar_width({'program': [['ADD', 0, 1, str(2**24), 0]]})) + return results diff --git a/research/p104-temporal-237-595-composition/construct.py b/research/p104-temporal-237-595-composition/construct.py new file mode 100644 index 0000000000..011d4da0ab --- /dev/null +++ b/research/p104-temporal-237-595-composition/construct.py @@ -0,0 +1,18 @@ +"""Apply the authenticated causal split and retain the fixed-tape scalar contract.""" +from fractions import Fraction +from temporal_construct import construct as split +from source import need + + +def scalar_width(word): + widths = [abs(Fraction(event[-2]).numerator).bit_length() + for event in word['program'] if event[0] in ('ADD', 'COPY', 'SCALE')] + width = max(widths) + need(width <= 24, 'Existing fixed-tape 24-bit scalar numerator limit') + return dict(count=len(widths), maximum_bits=width, at_limit=widths.count(24)) + + +def construct(word, hit, paths): + candidate = split(word, hit, paths) + scalar_width(candidate) + return candidate diff --git a/research/p104-temporal-237-595-composition/derive_grid.py b/research/p104-temporal-237-595-composition/derive_grid.py new file mode 100644 index 0000000000..f8cb37f00b --- /dev/null +++ b/research/p104-temporal-237-595-composition/derive_grid.py @@ -0,0 +1,36 @@ +"""Derive a finite common grid from every exact prefix row and scalar product. +Prepared for dillona with substantial OpenAI Codex assistance. Apache-2.0. +""" +from fractions import Fraction as Q +from math import lcm +from pathlib import Path +import gzip,json,sys + +def derive(word): + n=word['public'];rows=[{r:Q(1)}for r in range(n)]+[{}for _ in range(word['owned_fields'])] + denom=1;peak=Q(1);witness=None;visits=0 + def observe(row,i,kind): + nonlocal denom,peak,witness,visits + for v in row.values():denom=lcm(denom,v.denominator);visits+=1 + mass=sum(map(abs,row.values())) + if mass>peak:peak=mass;witness=[i,kind] + for i,e in enumerate(word['program']): + op,r=e[:2] + if op in('INIT','CLEAR'):rows[r]={} + elif op=='SCALE': + rows[r]={k:Q(e[2])*v for k,v in rows[r].items()};observe(rows[r],i,'scale') + elif op in('ADD','COPY'): + if op=='COPY':assert not rows[r] + product={k:Q(e[3])*v for k,v in rows[e[2]].items()};observe(product,i,'product') + row=rows[r].copy() + for k,v in product.items(): + value=row.get(k,Q(0))+v + if value:row[k]=value + else:row.pop(k,None) + rows[r]=row;observe(row,i,'stored') + odd=denom;frac=0 + while odd%2==0:odd//=2;frac+=1 + return dict(odd_scale=odd,fractional_bits=frac,unscaled_maximum_mass=str(peak),scaled_maximum_mass=str(peak*odd),mass_witness=witness,coefficient_visits=visits),rows +if __name__=='__main__': + w=json.load(gzip.open(sys.argv[1],'rt'));result,rows=derive(w) + Path(sys.argv[2]).write_text(json.dumps(result,indent=2)+'\n');print(result) diff --git a/research/p104-temporal-237-595-composition/inputs/pr7147.tar.gz b/research/p104-temporal-237-595-composition/inputs/pr7147.tar.gz new file mode 100644 index 0000000000..44b07be2ae Binary files /dev/null and b/research/p104-temporal-237-595-composition/inputs/pr7147.tar.gz differ diff --git a/research/p104-temporal-237-595-composition/inputs/pr7148.tar.gz b/research/p104-temporal-237-595-composition/inputs/pr7148.tar.gz new file mode 100644 index 0000000000..02936d5598 Binary files /dev/null and b/research/p104-temporal-237-595-composition/inputs/pr7148.tar.gz differ diff --git a/research/p104-temporal-237-595-composition/price.py b/research/p104-temporal-237-595-composition/price.py new file mode 100644 index 0000000000..c8b92c0764 --- /dev/null +++ b/research/p104-temporal-237-595-composition/price.py @@ -0,0 +1,69 @@ +"""Recompute both source invoices and two exact crossing engines. +Retains Rohan Arun's caller adapters and ToikY's attributed price engines. +Chart-595 adapter: dillona with OpenAI Codex. Three-way comparison: +Clear1nsight with Codex and ChatGPT Pro. Apache-2.0. +""" +from pathlib import Path +from hashlib import sha256 +from fractions import Fraction as Q +import gzip,importlib.util,json,sys + +def load(name,path): + spec=importlib.util.spec_from_file_location(name,path);obj=importlib.util.module_from_spec(spec);sys.modules[name]=obj;spec.loader.exec_module(obj);return obj + +def read(path): + raw=Path(path).read_bytes();return json.loads(gzip.decompress(raw) if raw[:2]==b'\x1f\x8b' else raw) + +def normalized(value):return json.loads(json.dumps(value,default=str)) + +def main(native,caller,previous_composition,folder): + source=load('composition_native_source',native/'source.py') + with source.sources() as (vendor,archive,rank9,bundle,parent,word), source.frozen(7147) as peer: + sys.path.insert(0,str(folder)) + model=load('composition_signed_model',folder/'signed_model.py');ind=model.signed_model() + code=(folder/'independent.py').read_text();part=code[code.index('def invoices('):code.index('def ordinary(')] + assert part.count('assert calls==18')==1 + part=part.replace('assert calls==18',"assert calls==C['stages']") + old="elif e[1]=='IDLE_ONE':P[8*len(e[3])]+=ports";assert part.count(old)==1 + part=part.replace(old,"elif e[1] in ('IDLE_ONE','IDLE_ODD'):P[8*len(e[3])+(e[1]=='IDLE_ODD')]+=ports") + exec(compile(part,str(folder/'independent.py'),'exec'),ind.__dict__) + C=read(caller/'expected/ODD-TYPE-AB-CALLER.json') + old_word=word;new_word=read(native/'WORD.json.gz') + old_result=read(parent/'NATIVE-RESULT.json');new_result=read(native/'NATIVE-RESULT.json') + peer_word=read(peer/'WORD.json.gz');peer_result=read(peer/'NATIVE-RESULT.json') + words=(old_word,new_word,peer_word) + inventories=[ind.native(w) for w in words] + for n,r,w in zip(inventories,(old_result,new_result,peer_result),words): + assert normalized(n)==r['native'] and not n['bad_inputs'] + assert sha256(json.dumps(w,sort_keys=True,separators=(',',':')).encode()).hexdigest()==r['word_canonical_sha256'] + before,after,peer_invoice=[ind.invoices(w,C,n) for w,n in zip(words,inventories)] + previous=read(previous_composition/'RESULT.json')['price'] + peer_price=read(peer/'RESULT.json')['price'] + assert normalized(before)==previous['after'],'Entire reconstructed chart-595 caller invoice' + assert normalized(peer_invoice)==peer_price['after'],'Entire reconstructed chart-237 caller invoice' + assert before['S']==after['S']==peer_invoice['S']==1424 + assert before['empty_root_credits']==after['empty_root_credits']==peer_invoice['empty_root_credits']==0 + def delta(new,old): + return {r:new.get(r,0)-old.get(r,0) for r in sorted(new.keys()|old.keys()) + if new.get(r,0)!=old.get(r,0)} + assert delta(after['T'],before['T'])=={4:17,5:17,9:-17} + assert delta(after['P'],before['P'])=={1:17,5:17,6:-17} + assert delta(after['T'],peer_invoice['T'])=={1:17,8:17,9:-17} + assert delta(after['P'],peer_invoice['P'])=={1:34,2:-17} + G=load('composition_price_engine',bundle/'gate.py') + gate,price=G.exact_price(vendor,archive,before,after,{'gate':previous['gate']}) + peer_gate,peer_comparison=G.exact_price(vendor,archive,peer_invoice,after,{'gate':peer_price['gate']}) + assert gate==peer_gate and Q(gate['claim'])>Q(new_result['gate']['claim']) + native_invoice={k:({int(r):v for r,v in value.items()} if k in ('T','P') else value) for k,value in new_result['invoice'].items()} + directed=G.module('composition_native_comparator',vendor/'interval_gate.py') + assert directed.moment(G.signed(native_invoice),Q(gate['claim']))[1]<0,'The separately checked18-stage ingredient invoice rejects the17-stage claim' + record=normalized(dict(before=before,after=after,gate=gate,price=price,peer_invoice=peer_invoice, + peer_comparison=peer_comparison,native_baseline_rejects_new_claim=True, + old_native=old_result['word_canonical_sha256'],new_native=new_result['word_canonical_sha256'])) + with (folder/'CURRENT-PRICE.json').open('x') as f:json.dump(record,f,indent=2) + with (folder/'COHORT-PRICE.json').open('x') as f:json.dump(dict(target=after['T'],paid=after['P'],bracket=gate['raw_bracket']),f,indent=2) + print('PASS three reconstructed invoices; both parents rejected at new claim, by two exact price engines',price['claim_decimal'],flush=True) + +if __name__=='__main__': + assert __debug__ + main(*map(Path,sys.argv[1:])) diff --git a/research/p104-temporal-237-595-composition/source.py b/research/p104-temporal-237-595-composition/source.py new file mode 100644 index 0000000000..f1c7f9477b --- /dev/null +++ b/research/p104-temporal-237-595-composition/source.py @@ -0,0 +1,112 @@ +"""Verify the frozen upstream artifacts before importing or executing their code.""" +from contextlib import contextmanager +from hashlib import sha1, sha256 +from pathlib import Path +import gzip +import importlib.util +import json +import sys +import tarfile +import tempfile + +HERE = Path(__file__).resolve().parent +SOURCE_SHA = 'ecb1f56ba06dbaae424d0f94ad41c6d08f39f5f1f2fec348f2d0c9c9873c657f' +PEER_HEAD = '3b61d41d81a4bc8f78252240c8fb02473dd3d94f' +SOURCE_HEAD = '154ef929894225674df48df2d6ea3b7a7d1f39a0' +# These modules are byte-for-byte copies of the complete parent package. +REUSE = ('derive_grid.py', 'split.py', 'support.py', 'temporal_construct.py') + + +def read(path): + raw = Path(path).read_bytes() + return json.loads(gzip.decompress(raw) if raw[:2] == b'\x1f\x8b' else raw) + + +def canonical(obj): + return json.dumps(obj, sort_keys=True, separators=(',', ':')).encode() + + +def need(ok, why): + if not ok: + raise ValueError(why) + + +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 frozen(pr): + manifest = read(HERE / f'PR{pr}-INPUTS.json') + need((pr, manifest['head'], manifest['complete_package']) in + ((7148, SOURCE_HEAD, True), (7147, PEER_HEAD, False)), 'Expected exact upstream head and inventory scope') + arc = HERE / f'inputs/pr{pr}.tar.gz' + need(manifest['archive'] == str(arc.relative_to(HERE)), 'Expected relative archive') + need(sha256(arc.read_bytes()).hexdigest() == manifest['archive_sha256'], 'Complete archive hash') + pins = {row['path']: row for row in manifest['files']} + need(len(pins) == len(manifest['files']), 'Distinct manifest entries') + with tempfile.TemporaryDirectory(prefix=f'chart-composition-{pr}-') as tmp: + root = Path(tmp) + parent = root / manifest['prefix'] + seen = set() + with tarfile.open(arc, 'r:gz') as tar: + for item in tar: + path = root / item.name + need(item.isfile() and item.name in pins and item.name not in seen + and parent.resolve().is_relative_to(root.resolve()) + and path.resolve().is_relative_to(parent.resolve()), 'Safe listed archive member') + row = pins[item.name] + need(item.size == row['size'], 'Exact archive member length') + raw = tar.extractfile(item).read() + blob = sha1(b'blob ' + str(len(raw)).encode() + b'\0' + raw).hexdigest() + need(sha256(raw).hexdigest() == row['sha256'] and blob == row['git_blob'], 'SHA256 and Git blob bytes') + path.parent.mkdir(parents=True, exist_ok=True) + path.write_bytes(raw) + seen.add(item.name) + need(seen == set(pins), 'Complete recorded source inventory') + if pr == 7148: + for name in REUSE: + need((HERE / name).read_bytes() == (parent / name).read_bytes(), 'Byte-identical method: ' + name) + yield parent + + +@contextmanager +def _parent_imports(parent): + names = ('source', 'construct', 'support', 'split', 'temporal_construct', 'rechart', 'retime') + saved = {name: sys.modules.pop(name, None) for name in names} + oldpath = list(sys.path) + try: + sys.path.insert(0, str(parent)) + yield + finally: + sys.path[:] = oldpath + for name, module in saved.items(): + sys.modules.pop(name, None) + if module is not None: + sys.modules[name] = module + + +@contextmanager +def sources(): + with frozen(7148) as parent: + module = load('frozen_chart595_source', parent / 'source.py') + with module.sources() as (vendor, archive, rank9, bundle, common, word): + with _parent_imports(parent): + constructor = load('frozen_chart595_construct', parent / 'construct.py') + result = constructor.construct(word, read(parent / 'WITNESS.json'), read(parent / 'PATHS.json')) + raw = canonical(result) + need(raw == gzip.decompress((parent / 'WORD.json.gz').read_bytes()) + and sha256(raw).hexdigest() == SOURCE_SHA, 'Reconstructed entire exact chart-595 source') + yield vendor, archive, rank9, bundle, parent, result + + +@contextmanager +def bundles(): + with frozen(7148) as parent: + module = load('frozen_chart595_bundles', parent / 'source.py') + with module.bundles() as (parts, _, root): + yield parts, parent, root diff --git a/research/p104-temporal-237-595-composition/split.py b/research/p104-temporal-237-595-composition/split.py new file mode 100644 index 0000000000..f1c7609653 --- /dev/null +++ b/research/p104-temporal-237-595-composition/split.py @@ -0,0 +1,155 @@ +"""Split independent helper jobs with three scalar basis changes. + +Ali Romman with substantial OpenAI Codex assistance. Apache-2.0. +Adapted for arbitrary counted owned-field inventory by @CubeJerry with OpenAI assistance. +Successor: OpenAI Codex for dillona excludes both hosted main planes from helper groups. +The source word and caller retain the credits in README.md. +Successors: dillona/OpenAI Codex choose a small smooth swap entry when pivot is zero; +then also when a nonzero pivot has a nonunit reciprocal, preserving the native alphabet. +""" +from copy import deepcopy +from fractions import Fraction as Q +from support import L + + +def inverse(program): + return [[e[0], *e[1:-2], + str(1/Q(e[-2]) if e[0] == 'SCALE' else -Q(e[-2])), e[-1]] + for e in reversed(program)] + + +def basis(a, b, pivot, frame): + """Return B with row pivot equal to a and B b equal to e_pivot.""" + L.need(sum(v*b.get(k, 0) for k, v in a.items()) == 1, 'Unit basis pairing') + roles = sorted(set(a) | set(b) | {pivot}) + values, program = dict(b), [] + + def emit(event): + program.append(event) + r, q = event[1], Q(event[-2]) + if event[0] == 'SCALE': + values[r] = values.get(r, 0)*q + else: + values[r] = values.get(r, 0)+q*values.get(event[2], 0) + + def swap_score(r): + q=b[r] + def smooth(x): + for prime in (2,3,5): + while x%prime==0:x//=prime + return x==1 + return (not(smooth(abs(q.numerator)) and smooth(q.denominator)), + abs(q.numerator).bit_length()+q.denominator.bit_length(),r) + j = pivot if b.get(pivot) and not swap_score(pivot)[0] else min((r for r in roles if b.get(r)),key=swap_score) + if j != pivot: + for event in [['ADD', pivot, j, '1', frame], + ['ADD', j, pivot, '-1', frame], + ['ADD', pivot, j, '1', frame], + ['SCALE', j, '-1', frame]]: + emit(event) + if values[pivot] != 1: + emit(['SCALE', pivot, str(1/values[pivot]), frame]) + for r in roles: + if r != pivot and values.get(r): + emit(['ADD', r, pivot, str(-values[r]), frame]) + L.need(all(values.get(r, 0) == int(r == pivot) for r in roles), 'Basis column') + inverse_rows = {r: {r: Q(1)} for r in roles} + for e in inverse(program): + if e[0] == 'SCALE': + inverse_rows[e[1]] = {k: Q(e[-2])*v for k, v in inverse_rows[e[1]].items()} + else: + L.add(inverse_rows[e[1]], inverse_rows[e[2]], Q(e[-2])) + row = {} + for r, q in a.items(): + L.add(row, inverse_rows[r], q) + L.need(row[pivot] == 1, 'Basis row coefficient') + for r in roles: + if r != pivot and row.get(r): + program.append(['ADD', pivot, r, str(row[r]), frame]) + return program + + +def check_cut(word, h): + """Check the whole prefix row and suffix column over the rationals.""" + n, cut, f, p = word['public'], h['cut_after'], h['frame'], h['pivot'] + a, b, c, d = ({int(k): Q(v) for k, v in h[s].items()} for s in ('a', 'b', 'c', 'd')) + main = set(word['live']) | {r+112 for r in word['live']} | set(word['hosted']['X2']) | set(word['hosted']['Y2']) + L.need(p < n and p not in main, 'A helper supplies the retained output role') + u, v = word['initial'][p], word['final'][p] + group = {r for r in range(n) if r not in main and + (word['initial'][r], word['final'][r]) == (u, v)} + L.need(set(c) | set(d) <= group, 'Both boundary vectors use one helper group') + L.need(L.span(word['frames'][u]) < L.span(word['frames'][f]) < L.span(word['frames'][v]), + 'Two strictly productive nested targets') + L.need(h['ranks'] == [len(word['frames'][f])-len(word['frames'][u]), + len(word['frames'][v])-len(word['frames'][f])], 'Declared split ranks') + rows = [{r: Q(1)} if r < n else {} for r in range(n+word['owned_fields'])] + current = word['initial']+[None]*word['owned_fields'] + for e in word['program'][:cut+1]: + op, r = e[:2] + if op == 'MOVE': + current[r] = e[3] + elif op in ('INIT', 'CLEAR'): + rows[r] = {} + current[r] = e[2] if op == 'INIT' else None + elif op == 'SCALE': + rows[r] = {k: Q(e[-2])*x for k, x in rows[r].items()} + elif op == 'COPY': + rows[r] = {k: Q(e[-2])*x for k, x in rows[e[2]].items()} + else: + L.add(rows[r], rows[e[2]], Q(e[-2])) + L.need(all(current[r] == f for r in set(a) | set(b) | {p}), 'One intermediate chart') + total = {} + for r, q in a.items(): + L.add(total, rows[r], q) + L.need(total == c, 'Exact prefix functional; no other input') + column = [b.get(r, Q(0)) for r in range(n+word['owned_fields'])] + for e in word['program'][cut+1:]: + op, r = e[:2] + if op in ('INIT', 'CLEAR'): + column[r] = Q(0) + elif op == 'SCALE': + column[r] *= Q(e[-2]) + elif op == 'COPY': + column[r] = Q(e[-2])*column[e[2]] + elif op == 'ADD': + column[r] += Q(e[-2])*column[e[2]] + L.need(column == [d.get(r, Q(0)) for r in range(n+word['owned_fields'])], 'Exact suffix direction; no other output') + L.need(sum(x*b.get(r, 0) for r, x in a.items()) == + sum(x*d.get(r, 0) for r, x in c.items()) == 1, 'Both independent pairings') + return a, b, c, d + + +def split(word, h): + a, b, c, d = check_cut(word, h) + n, p, f, cut = word['public'], h['pivot'], h['frame'], h['cut_after'] + u, v = word['initial'][p], word['final'][p] + + def shift_owned(event): + e = event.copy() + e[1] += int(e[1] >= n) + if e[0] in ('ADD', 'COPY'): + e[2] += int(e[2] >= n) + return e + + def use_successor(event): + e = event.copy() + if e[1] == p: + e[1] = n + if e[0] in ('ADD', 'COPY') and e[2] == p: + e[2] = n + return e + + boundary, middle = basis(c, d, p, u), basis(a, b, p, f) + out = deepcopy(word) + out['public'] = n+1 + out['initial'].append(f) + out['final'].append(v) + out['final'][p] = f + out['program'] = inverse(boundary) + out['program'] += [shift_owned(e) for e in word['program'][:cut+1]] + out['program'] += [shift_owned(e) for e in middle] + out['program'] += [use_successor(shift_owned(e)) for e in inverse(middle)] + out['program'] += [use_successor(shift_owned(e)) for e in word['program'][cut+1:]] + out['program'] += [use_successor([*e[:-1], v]) for e in boundary] + return out diff --git a/research/p104-temporal-237-595-composition/support.py b/research/p104-temporal-237-595-composition/support.py new file mode 100644 index 0000000000..192cd38d27 --- /dev/null +++ b/research/p104-temporal-237-595-composition/support.py @@ -0,0 +1,18 @@ +"""Small exact sparse operations, retained from Ali Romman/CubeJerry. Apache-2.0.""" +class L: + @staticmethod + def need(ok, why): + if not ok: raise ValueError(why) + @staticmethod + def add(dst, src, q): + for k,v in tuple(src.items()): + value=dst.get(k,0)+q*v + if value: dst[k]=value + else: dst.pop(k,None) + @staticmethod + def span(basis): + out={0} + for v in basis: + L.need(type(v) is int and 0= cut, 'Injection chronology') + injections[obs['cut']].append(obs) + selected = {} + for obs in hit['gathers'] + hit['injections']: + if 'path' in obs: + p = neutral_paths[obs['path']] + L.need(p['role'] == obs['role'] and p['frame'] == f and p['lo'] <= obs['cut'] <= p['hi'], 'Observation belongs to its neutral path') + selected[(p['role'], p['lo'], p['hi'])] = (p, False) + if 'paid_path' in obs: + p = hit['path'] + L.need(obs['paid_path'] == hit['paid_path'] and p['role'] == obs['role'] and p['frame'] == f and p['lo'] <= obs['cut'] <= p['hi'], 'Observation belongs to its paid path') + if 'path' in hit: + p = hit['path'] + selected[(p['role'], p['lo'], p['hi'])] = (p, True) + # A pivot may use a neutral path even when its value is not gathered. + for p in neutral_paths: + if p['role'] == pivot and p['frame'] == f and p['lo'] <= cut <= p['hi']: + selected.setdefault((p['role'], p['lo'], p['hi']), (p, False)) + break + enter, leave, remove, delta = defaultdict(list), defaultdict(list), set(), Counter() + events = word['program'] + for p, paid in selected.values(): + r, lo, hi = p['role'], p['lo'], p['hi'] + actual = [i for i in range(lo, hi) if events[i][1] == r or (events[i][0] in ('ADD', 'COPY') and events[i][2] == r)] + L.need(actual == p['moves'] and actual, 'Complete contact-free interval') + path = [events[i] for i in actual] + L.need(all(e[0] == 'MOVE' and e[1] == r and e[4] == (r >= n) for e in path), 'Only owned-typed MOVEs') + L.need(all(a[3] == b[2] for a, b in zip(path, path[1:])), 'Continuous original path') + L.need(not remove.intersection(actual), 'Nonoverlapping changed intervals') + remove.update(actual) + if paid: + a, b = path[0][2], path[-1][3] + L.need((a, b) == (p['old'], p['new']) and (spaces[a] <= spaces[f] <= spaces[b] or spaces[b] <= spaces[f] <= spaces[a]), 'Paid nested midpoint') + before = [['MOVE', r, a, f, r >= n]] if a != f else [] + after = [['MOVE', r, f, b, r >= n]] if f != b else [] + else: + frames = [path[0][2]] + [e[3] for e in path] + L.need(frames == p['frames'] and f in frames, 'Exact retained neutral path') + at = frames.index(f) + before, after = path[:at], path[at:] + enter[lo].extend(before) + leave[hi].extend(after) + delta.update(abs(len(word['frames'][e[3]])-len(word['frames'][e[2]])) for e in before+after) + delta.subtract(abs(len(word['frames'][e[3]])-len(word['frames'][e[2]])) for e in path) + L.need({r: q for r, q in delta.items() if q} == {int(r): q for r, q in hit['paid_delta'].items()}, 'Complete paid histogram change') + boundary = basis(c, d, pivot, u) + out = deepcopy(word) + out['public'] = n+1 + out['owned_fields'] = owned+2 + out['initial'].append(f) + out['final'].append(v) + out['final'][pivot] = f + A, B = n+1+owned, n+2+owned + program = inverse(boundary) + current = word['initial'] + [None]*owned + first, last = min(gathers), max(injections) + + def mapped(event, after): + e = event.copy() + for pos in (1, 2) if e[0] in ('ADD', 'COPY') else (1,): + r = e[pos] + e[pos] = n if after and r == pivot else r+int(r >= n) + return e + + def original(event, after): + op, r = event[:2] + if op == 'MOVE': + L.need(current[r] == event[2], 'Retimed path entry') + current[r] = event[3] + elif op == 'INIT': + L.need(current[r] is None, 'Fresh original owned field') + current[r] = event[2] + elif op == 'CLEAR': + L.need(current[r] == event[2], 'Original owned clear') + current[r] = None + else: + L.need(current[r] == event[-1], 'Original scalar frame') + if op in ('ADD', 'COPY'): + L.need(current[event[2]] == event[-1], 'Original scalar source frame') + program.append(mapped(event, after)) + + for i in range(len(events)+1): + for e in enter[i]: + original(e, i > cut) + if i == first: + program.append(['INIT', A, f]) + for obs in gathers[i]: + L.need(current[obs['role']] == f, 'Literal scheduled gather frame') + r = obs['role'] + int(obs['role'] >= n) + program.append(['ADD', A, r, str(Q(obs['coefficient'])), f]) + if i == cut: + L.need(current[pivot] == f, 'Literal pivot residency') + program.extend([ + ['INIT', B, f], ['ADD', B, n, '1', f], ['ADD', B, A, '-1', f], + ['ADD', n, pivot, '1', f], ['ADD', n, A, '-1', f], ['ADD', n, B, '-1', f], + ['ADD', pivot, A, '1', f], ['ADD', pivot, n, '-1', f], ['CLEAR', A, f]]) + for obs in injections[i]: + L.need(current[obs['role']] == f, 'Literal scheduled injection frame') + r = n if obs['role'] == pivot else obs['role'] + int(obs['role'] >= n) + program.append(['ADD', r, B, str(Q(obs['coefficient'])), f]) + if i == last: + program.append(['CLEAR', B, f]) + for e in leave[i]: + original(e, i >= cut) + if i < len(events) and i not in remove: + original(events[i], i >= cut) + L.need(current == word['final'] + [None]*owned, 'All original final frames') + program += [mapped([*e[:-1], v], True) for e in boundary] + out['program'] = program + return out diff --git a/research/p104-temporal-237-595-composition/verify.py b/research/p104-temporal-237-595-composition/verify.py new file mode 100644 index 0000000000..2d639b6156 --- /dev/null +++ b/research/p104-temporal-237-595-composition/verify.py @@ -0,0 +1,54 @@ +"""Fresh source-bound native/caller composition and complete chart catalogue. +Chart-595 adapter: dillona with OpenAI Codex. Composition: Clear1nsight with Codex. Apache-2.0. +""" +from pathlib import Path +from hashlib import sha256 +import argparse,json,shutil,subprocess,sys +sys.path.insert(0,str(Path(__file__).resolve().parent)) +from source import HERE,bundles,read,need +from adapt import adapt +need(__debug__,'Run without optimized Python') +COMMANDS=('emit_odd_type_b.py','emit_odd_type_ab.py','check_odd_caller_exact_grid.py', + 'check_odd_physical_binding.py','check_odd_precision.py','check_odd_partial_admission.py', + 'check_odd_fixed_tape_counts.py') + +def run(): + with bundles() as (source,previous_composition,root): + working=root/'working';shutil.copytree(source[7113]/'replay',working) + folder=working/'supplier7112/short-caller' + (folder.parent/'WORD.json.gz').write_bytes((HERE/'WORD.json.gz').read_bytes()) + (folder.parent/'RESULT.json').write_bytes((HERE/'NATIVE-RESULT.json').read_bytes()) + for path in folder.glob('SHORT-CATALOGUE-*-*.log'):path.unlink() + subprocess.run([sys.executable,'-I','-B',str(HERE/'price.py'),str(HERE),str(source[7113]),str(previous_composition),str(folder)],check=True) + price=read(folder/'CURRENT-PRICE.json') + adapter=adapt(folder,price['gate']['claim']) + for name in COMMANDS: + print('RUN',name,flush=True) + subprocess.run([sys.executable,'-B',str(folder/name)],cwd=folder,check=True) + need((folder/'ODD-TYPE-AB-CALLER.json').read_bytes()==(source[7113]/'expected/ODD-TYPE-AB-CALLER.json').read_bytes(),'Whole reconstructed literal caller unchanged') + price=read(folder/'CURRENT-PRICE.json');partial=read(folder/'ODD-ADMISSION-PARTIAL.json') + need(price['after']==partial['invoice'],'Complete invoice from two adapters') + need(price['gate']==partial['compiler_outer'],'Both complete directed compiler gates') + catalogue=[] + size=int(subprocess.check_output([sys.executable,'-B',str(folder/'short_native_catalogue.py'),'--size'],cwd=folder,text=True)) + for start in range(0,size,1000): + stop=min(start+1000,size) + print('RUN complete catalogue',start,stop,flush=True) + path=folder/f'SHORT-CATALOGUE-{start}-{stop}.log' + with path.open('x') as out:subprocess.run([sys.executable,'-B',str(folder/'short_native_catalogue.py'),'--start',str(start),'--stop',str(stop)],cwd=folder,stdout=out,check=True) + text=path.read_text();catalogue.append(json.loads(text[text.index('\n{'):])) + subprocess.run([sys.executable,'-B',str(folder/'assemble_odd_application.py')],cwd=folder,check=True) + files=('ODD-TYPE-AB-REPLAY.json','ODD-CALLER-EXACT-GRID.json','ODD-PHYSICAL-BINDING.json', + 'ODD-PRECISION.json','ODD-ADMISSION-PARTIAL.json','ODD-FIXED-TAPE-COUNTS.json','ODD-8X9-APPLICATION-CHECKS.json') + result=dict(status='PASS_P104_TEMPORAL_237_595_APPLICATION',claim=price['gate']['claim'],price=price, + caller_sha256=sha256((folder/'ODD-TYPE-AB-CALLER.json').read_bytes()).hexdigest(), + adapter=adapter,catalogue=catalogue,checks={name:read(folder/name) for name in files}) + return result + +def main(): + p=argparse.ArgumentParser();p.add_argument('--out',type=Path);a=p.parse_args();result=run() + if a.out: + with a.out.open('x') as f:json.dump(result,f,sort_keys=True,indent=2);f.write('\n') + else:need(result==read(HERE/'RESULT.json'),'Every frozen composition receipt field') + print(result['status'],result['claim'],flush=True) +if __name__=='__main__':main() diff --git a/research/p104-temporal-237-595-composition/verify_certificate.py b/research/p104-temporal-237-595-composition/verify_certificate.py new file mode 100644 index 0000000000..e080793b07 --- /dev/null +++ b/research/p104-temporal-237-595-composition/verify_certificate.py @@ -0,0 +1,120 @@ +"""Check literal path translation, guarded pairing and every emitted byte.""" +from collections import defaultdict +from hashlib import sha1, sha256 +from pathlib import Path +import argparse +import gzip +import json +import sys +import tarfile +sys.path.insert(0, str(Path(__file__).resolve().parent)) +from source import HERE, canonical, frozen, need, read, sources +from certificate import check, controls, observe +from construct import construct, scalar_width + + +def common_word(parent): + pin = read(parent/'INPUTS.json') + path = pin['prefix']+'/WORD.json.gz' + row = next(x for x in pin['files'] if x['path'] == path) + with tarfile.open(parent/pin['archive']) as tar: + packed = tar.extractfile(path).read() + need(sha256(packed).hexdigest() == row['sha256'] + and sha1(b'blob '+str(len(packed)).encode()+b'\0'+packed).hexdigest() == row['git_blob'], + 'Exact common #7145 word') + return json.loads(gzip.decompress(packed)) + + +def translated_paths(common, source, peer_hit, peer_paths, parent_hit, hit, paths): + n = common['public'] + need(source['public'] == n+1 and source['frames'] == common['frames'], 'Literal common chart catalogue') + need((hit['frame'], hit['pivot'], hit['ranks']) == (237, 1082, [4, 5]), 'Exact scoped helper') + need((source['initial'][1082], source['final'][1082]) == (3, 127), 'Actual helper group') + need((hit['path']['old'], hit['path']['new'], hit['path']['role']) == (734, 127, 820), 'Exact paid route') + need(len(peer_paths) == len(paths) == 8, 'Eight neutral path brackets') + need(peer_hit['cut'] == peer_paths[0]['lo'] and hit['cut'] == paths[0]['lo'], 'Cut follows first gather bracket') + + def map_event(event, time): + out = event.copy() + for k in (1, 2) if event[0] in ('ADD', 'COPY') else (1,): + r = event[k] + out[k] = n if r == parent_hit['pivot'] and time >= parent_hit['cut'] else r+(r >= n) + return out + + old_paths, new_paths = [*peer_paths, peer_hit['path']], [*paths, hit['path']] + # Index complete contact spans on the selected literal public roles. + roles = {p['role'] for p in old_paths} + seq = source['program'] + contacts = defaultdict(list) + moves = defaultdict(list) + for i, e in enumerate(seq): + op, r = e[:2] + if op == 'MOVE': + if r in roles: + moves[r].append(i) + else: + for x in (r, e[2]) if op in ('ADD', 'COPY') else (r,): + if x in roles: + contacts[x].append(i) + + result = [] + for old, new in zip(old_paths, new_paths): + r = old['role'] + need(r < n and r != parent_hit['pivot'] and new['role'] == r, 'Separate literal public role') + a, b = old['lo'], old['hi'] + need(0 < a < b < len(common['program']) and len(old['moves']) == 1, 'One original MOVE in bounded span') + before = map_event(common['program'][a-1], a-1) + after = map_event(common['program'][b], b) + step = map_event(common['program'][old['moves'][0]], old['moves'][0]) + found = [] + for lo, hi in zip(contacts[r], contacts[r][1:]): + if seq[lo] == before and seq[hi] == after: + middle = [i for i in moves[r] if lo < i < hi] + if len(middle) == 1 and seq[middle[0]] == step: + found.append((lo+1, hi, middle)) + need(found == [(new['lo'], new['hi'], new['moves'])], 'Unique translated bracket and literal MOVE') + result.append(dict(role=r, before=[a, b], after=[new['lo'], new['hi']], move=new['moves'][0])) + + for key in ('gathers', 'injections'): + bound = 'lo' if key == 'gathers' else 'hi' + need(len(peer_hit[key]) == len(hit[key]), 'Every timed recipe term retained') + for old, new in zip(peer_hit[key], hit[key]): + pos = old.get('path', 8) + expected = dict(old, cut=new_paths[pos][bound]) + need(old['cut'] == old_paths[pos][bound] and new == expected, 'Only literal observation clocks translated') + for key in ('c', 'd', 'paid_delta'): + need(hit[key] == peer_hit[key], 'Preserved exact recipe: '+key) + return result + + +def run(): + need(__debug__, 'Assertions are proof obligations') + with sources() as (_, _, _, _, parent, source), frozen(7147) as peer: + hit, paths = read(HERE/'WITNESS.json'), read(HERE/'PATHS.json') + brackets = translated_paths(common_word(parent), source, read(peer/'WITNESS.json'), + read(peer/'PATHS.json'), read(parent/'WITNESS.json'), hit, paths) + snapshots = observe(source, hit) + record = check(hit, snapshots) + candidate = construct(source, hit, paths) + raw = canonical(candidate) + need(raw == gzip.decompress((HERE/'WORD.json.gz').read_bytes()), 'Every reconstructed candidate byte') + record.update(source_sha256=sha256(canonical(source)).hexdigest(), + candidate_sha256=sha256(raw).hexdigest(), + controls=controls(source, hit, paths, snapshots), + neutral_paths=len(paths), paid_paths=1, brackets=brackets, + scalar_width=scalar_width(candidate)) + return record + + +if __name__ == '__main__': + parser = argparse.ArgumentParser() + parser.add_argument('--out', type=Path) + args = parser.parse_args() + result = run() + if args.out: + with args.out.open('x') as stream: + json.dump(result, stream, indent=2, sort_keys=True) + stream.write('\n') + else: + need(result == read(HERE/'CERTIFICATE.json'), 'Every frozen timed certificate field') + print(result['status'], flush=True) diff --git a/research/p104-temporal-237-595-composition/verify_native.py b/research/p104-temporal-237-595-composition/verify_native.py new file mode 100644 index 0000000000..5ef22034f8 --- /dev/null +++ b/research/p104-temporal-237-595-composition/verify_native.py @@ -0,0 +1,149 @@ +"""Full changed-native operator, grid, price, envelope and physical checks. + +Retains authenticated predecessor engines and all source notices. Source-aware +verification is distinct from independent human/formal acceptance. +Rohan Arun with OpenAI Codex assistance. Apache-2.0. +Chart-595 adaptation: dillona/OpenAI Codex. Translated chart-237 replay: +Clear1nsight with Codex and ChatGPT Pro. Apache-2.0. +""" +from pathlib import Path +from collections import Counter +from copy import deepcopy +from fractions import Fraction as Q +from hashlib import sha256 +import sys,json,gzip,argparse,subprocess,tempfile,io,contextlib +sys.path.insert(0,str(Path(__file__).resolve().parent)) +from source import HERE,read,load,sources,canonical,need +from construct import construct +from derive_grid import derive +from certificate import controls as temporal_controls +def normalized(x):return json.loads(json.dumps(x,default=str)) +def delta(a,b): + d=Counter(a);d.subtract(b);return {r:v for r,v in d.items() if v} +def rejects(fn): + try:fn() + except (AssertionError,ValueError):return True + raise ValueError('Corruption control accepted') +def chart_check(vendor,source,word): + C=load('step_chart_compiler',vendor/'frozen/clifford_exact.py') + V=load('step_chart_interpreter',vendor/'frozen/native_verify.py') + def pairs(w): + main=set(w['live'])|{r+112 for r in w['live']}|set(w['hosted']['X2'])|set(w['hosted']['Y2']) + return {(e[2],e[3])for e in w['program']if e[0]=='MOVE'}|{(w['initial'][r],w['final'][r])for r in range(w['public'])if r not in main} + changed=pairs(word)-pairs(source) + needed=changed|{(3,237),(237,127),(3,127),(734,237),(734,127)} + out=[] + for a,b in sorted(needed): + ca,cb=[C.canonical_frame(9,tuple(word['frames'][f]))for f in(a,b)] + recipe,_=C.lower_child(ca.adjoint().then(cb)) + expected=V.adjoint(V.frame(word['frames'][a],9))+V.frame(word['frames'][b],9) + actual=V.recipe(recipe);V.equal(actual,expected,'Signed Pauli action and absolute phase') + need(recipe['rank']==abs(len(word['frames'][a])-len(word['frames'][b])),'Exact chart rank') + for column in range(512):need(V.state(actual,column)==V.state(expected,column),'All Gaussian columns') + bad=deepcopy(recipe);bad['left']['phase']=(bad['left']['phase']+1)%4 + need(rejects(lambda:V.equal(V.recipe(bad),expected,'wrong phase')),'Wrong phase rejected') + out.append({'pair':[a,b],'rank':recipe['rank'],'columns':512}) + return {'new_pairs':sorted(changed),'rechecked_pairs':out,'wrong_phase_rejected':True} + +def forward_endpoint(word,rows): + n=word['public'];unit=1125*2**25 + target=[{r:Q(1)}if r0,'Ordinary allowance') + gate,price=G.exact_price(vendor,archive,before,invoice,previous) + manifest=read(vendor/'INDEPENDENT-SOURCES.json');P=load('rechart_bit_binding',archive/'verify.py');P.bit_binding(I,manifest) + precision=base.precision(vendor,new,C,gate,manifest) + need(precision['word']['odd_scale_lcm']==1125 and precision['word']['dyadic_height']==25,'Fresh ingredient precision') + print('PASS full ingredient invoice, ordinary, precision, both prices and outer gates',flush=True) + charts=chart_check(vendor,old,new) + controls=temporal_controls(old,hit,paths) + scalar=next(i for i,e in enumerate(new['program'])if e[0]=='ADD') + controls['wrong_boundary_scalar_coefficient']=bool(I.native(new,mutant=scalar)['bad_inputs']) + bad=deepcopy(new);i=next(i for i,e in enumerate(bad['program'])if e[0]=='MOVE');bad['program'][i][2]=-1 + controls['wrong_move_source']=rejects(lambda:I.native(bad)) + bad=deepcopy(new);bad['final'][hit['pivot']]=old['final'][hit['pivot']] + controls['omitted_retiring_output_frame']=rejects(lambda:I.native(bad)) + A=new['public']+old['owned_fields'] + bad=deepcopy(new);bad['program']=[e for e in bad['program']if not(e[0]=='INIT'and e[1]==A)] + controls['omitted_accumulator_init']=rejects(lambda:I.native(bad)) + bad=deepcopy(new);i=next(i for i,e in enumerate(bad['program'])if e[0]=='CLEAR'and e[1]==A);bad['program'][i][1]=hit['pivot'] + controls['public_erasure_rejected']=rejects(lambda:I.native(bad)) + owned_check=G.module('temporal_owned_census',vendor/'retained/query-only-precision-envelope/envelopes.py',(('(life, peak, owned_count) == (54, 43, 51)','(life, peak, owned_count) == (62, 46, 59)'),)) + need(owned_check.validate_word(new)['lifetimes']==62,'Fresh exact owned census in envelope validator') + bad=deepcopy(new);bad['program']=[['INIT',A,hit['frame']],['CLEAR',A,hit['frame']]]+bad['program'] + controls['extra_uncharged_owned_lifetime']=rejects(lambda:owned_check.validate_word(bad)) + grid_engine=G.module('rechart_grid_controls',vendor/'retained/odd-native-common-grid/independent_bounds.py') + controls['insufficient_odd_grid']=rejects(lambda:grid_engine.word_run(new,375,25)) + controls['insufficient_fractional_grid']=rejects(lambda:grid_engine.word_run(new,1125,24)) + need(all(controls.values()),'All native corruption controls') + physical_checks=[] + with tempfile.TemporaryDirectory(prefix='rechart-physical-') as tmp: + path=Path(tmp)/'word.json.gz';path.write_bytes(gzip.compress(canonical(new),mtime=0)) + for command,args in [(vendor/'frozen/verify_host3_odd.py',[path,'1125']),(vendor/'frozen/physical.py',[path,vendor/'frozen/clifford_exact.py','1000000009','11'])]: + subprocess.run([sys.executable,'-I','-B',str(command),*map(str,args)],check=True);physical_checks.append(command.name) + digest=sha256(canonical(new)).hexdigest() + engine=G.module('rechart_signed_routes',rank9/'physical_child.py',(('cca66a7ec924bab47ccd1410968d16e071a01dc6110b5c08040bd207f753d066',digest),)) + capture=io.StringIO() + with contextlib.redirect_stdout(capture):engine.main(path,vendor/'data/caller.json',caller_path) + signed_routes=json.loads(capture.getvalue()) + need(signed_routes['status']=='PASS_PHYSICAL_RANK9_ALGEBRA' and signed_routes['paid_calls']==32,'Signed physical fields') + need(1000*sum(len(row['caller_fields'])*row['ordinary_elementary_units'] for row in signed_routes['bindings'])==routes,'Actual signed-route charge') + print('PASS affected Gaussian chart columns, phase, corruption controls and finite physical replay',flush=True) + return normalized(dict(status='PASS_P104_TEMPORAL_237_595_NATIVE',source_head=read(HERE/'PR7148-INPUTS.json')['head'],word_canonical_sha256=digest,native=N,forward=forward_receipt,grid=grid,derived_grid=derived,caller=symbolic,invoice=invoice,ordinary=ordinary,gate=gate,price=price,precision=precision,charts=charts,controls=controls,physical_checks=physical_checks,signed_routes=signed_routes,limitations=['Five inherited framework assumptions remain.','Source-aware retained engines are not independent human/formal acceptance.','The complete 17-stage application is checked separately.'])) +if __name__=='__main__': + p=argparse.ArgumentParser();p.add_argument('--out',type=Path);a=p.parse_args();r=run() + if a.out: + with a.out.open('x') as f:json.dump(r,f,sort_keys=True,indent=2);f.write('\n') + else:need(r==read(HERE/'NATIVE-RESULT.json'),'Every frozen native receipt field') + print(r['status'],r['gate']['claim'],flush=True)