diff --git a/docs/ci-verification.md b/docs/ci-verification.md index 63ba3e9aa8..52b62d0481 100644 --- a/docs/ci-verification.md +++ b/docs/ci-verification.md @@ -1,8 +1,25 @@ # CI verification -## Current selected-family replay: #6030 +## Current selected-family replay: #7000 with #7001 The [selected record](../certificates/selected-result.json) binds conditional +κ = 0.00363005817 to the [application review](research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md), +[validation receipts](research/pr-intake-evidence/pr7000-application/VALIDATION.json), +and [explicit source closure](../certificates/frontier7000-source.json). +`make frontier7000-verify` follows that exact-source selected replay. The review +reuses eleven authenticated preceding executions and records seven fresh serial +application, scalar and complete native-catalogue executions. The earlier +monolithic timeout is retained separately and is not completed coverage. +Consult the receipts for exact commands, source heads and limits. + +The five inherited framework assumptions remain. No complete uniform word, +literal multiplier execution, independent human proof or formal-kernel proof +is asserted. Routine research submissions do not need to rerun this +selected-family replay. The sections below preserve historical checkpoints. + +## Historical selected-family replay: #6030 + +The [historical checkpoint](../certificates/checkpoints/frontier6030.json) binds conditional κ = 0.003125804 to the [proof review](research/pr-intake-evidence/pr6030-audit/PROOF-REVIEW.md), [validation receipts](research/pr-intake-evidence/pr6030-audit/VALIDATION.json), and [explicit source closure](../certificates/frontier6030-source.json). diff --git a/research/historical-selected-replay-gap/README.md b/research/historical-selected-replay-gap/README.md index 55d8cc3b49..36d9a873ca 100644 --- a/research/historical-selected-replay-gap/README.md +++ b/research/historical-selected-replay-gap/README.md @@ -69,7 +69,11 @@ python3 -B scripts/research_package.py --package research/historical-selected-re The direct command prints `PASS_HISTORICAL_SELECTED_REPLAY_GAP`. A registered replay prints `PASS_REGISTERED_RESEARCH_PACKAGE`. Both require Git history -containing the two inspected commits. +containing the two inspected commits and the source and manifest objects at +`2485805a6d47f36ea83ddde6327d453ac82d44dc`. The verifier uses a temporary +sparse checkout of that commit, checks the declared source digests there, and +uses its planner and manifest inventory. The recorded rejections and selection +therefore remain reproducible after later changes to the live Makefile or CI guide. ## Open next questions diff --git a/research/historical-selected-replay-gap/SOURCES.json b/research/historical-selected-replay-gap/SOURCES.json index c1010eec95..62bb8b3950 100644 --- a/research/historical-selected-replay-gap/SOURCES.json +++ b/research/historical-selected-replay-gap/SOURCES.json @@ -4,13 +4,13 @@ "files": [ { "path": "Makefile", - "usage": "input", + "usage": "provenance", "git_blob": "0d683a06b9e7ee162496108ce9a7c5d2ee94fccf", "sha256": "4f2d4f2dcd15139ec82658a975f85ed300897385f85799218539f4c8d60567da" }, { "path": "certificates/partial-swap-network.json", - "usage": "input", + "usage": "provenance", "git_blob": "eccafa830c16170c36faf93045ddf1f638f7bcd4", "sha256": "4c0b9d37e1034b2076e30a70f8e514416298c462d9ee98bc87fe6556b14df786" }, @@ -22,7 +22,7 @@ }, { "path": "docs/ci-verification.md", - "usage": "input", + "usage": "provenance", "git_blob": "63ba3e9aa8bdc5e942b56e34244b92b16f854085", "sha256": "c7d3027e9ad8bcbff68f07aa9576b30fb2f3c76c44d876d40c7fdbf4a3e2228a" }, @@ -34,163 +34,163 @@ }, { "path": "research/clifford-state-performance/SOURCE.json", - "usage": "input", + "usage": "provenance", "git_blob": "6f98a0061a5104dfab82c9e806f819b41811f684", "sha256": "396d0f08df24952248140d5c65c51b8c902ef1c580892ff7ea182890530f67ee" }, { "path": "research/community-batch1047-audit/CONTENT-COVERAGE.json", - "usage": "input", + "usage": "provenance", "git_blob": "5e0f92af463ec12c5e1dcc3effd44081a88af647", "sha256": "07a9daeaf2bda308a92e9a4684f13d5fc766c7772d74801fceb7f4599fdab226" }, { "path": "research/community-batch1099-audit/CONTENT-COVERAGE.json", - "usage": "input", + "usage": "provenance", "git_blob": "9e13266bf85e627f1b7dc225e9530ea69fd2c7f0", "sha256": "421e1211fb1897c45621dc6801c276e53f2e6f335583c9c9049e535f87c0a3b1" }, { "path": "research/community-batch932-audit/CONTENT-COVERAGE.json", - "usage": "input", + "usage": "provenance", "git_blob": "cc4d03eb59b9ab3f952735f7e88ff18c2d15d7af", "sha256": "184629cac91a5cfaca50330a88596008b824221433867dcf8117539c913c284a" }, { "path": "research/community-batch970-audit/CONTENT-COVERAGE.json", - "usage": "input", + "usage": "provenance", "git_blob": "8b9f4111badf7de5d97684799560b55110e9da79", "sha256": "23188ed920e38a54006cb883e181585620821c63bf7e8b5e05d32719417cc37e" }, { "path": "research/community-frontier741-audit/CONTENT-COVERAGE.json", - "usage": "input", + "usage": "provenance", "git_blob": "a5300d4e7a5381a3f443fc54c768ca6f0f236d68", "sha256": "3c820fb30e1b4d9bcfc6a7ab524375e5b2abd66b940af2c509146104f0bcd79c" }, { "path": "research/community-frontier890-audit/CONTENT-COVERAGE.json", - "usage": "input", + "usage": "provenance", "git_blob": "d7ff6d777b01d69b6ce84caf25d3b7e4a4d2f211", "sha256": "6b185a9902652f893f3ebd8ada92d2f11b6de6533a9a4d11718a8a4496101128" }, { "path": "research/community-hyperplane599-audit/SOURCE.json", - "usage": "input", + "usage": "provenance", "git_blob": "546f37d326d10a99910ae8f908e71ef768524d98", "sha256": "65099d764bfcc39bda5e4d9966783611b094c3522dbdd1435cd498d657a8ef8e" }, { "path": "research/community-k492-audit/SOURCE.json", - "usage": "input", + "usage": "provenance", "git_blob": "e538481e4cb16ed936d3195f2dfb5b5a9ca0a76b", "sha256": "2c0f4fa5bc150d05658af2e7c54c4d2c337dd52b7efd3d69530ae73bcbdf452a" }, { "path": "research/community-reconciliation92-audit/MANIFEST.json", - "usage": "input", + "usage": "provenance", "git_blob": "2a2e93685173d5f13cbb5abe740f5d90352e0228", "sha256": "5f501f3c118131e7d069f30ad77186eb2ad6961f9680a0ef105f4514ed41808a" }, { "path": "research/partial-swap-digest/baseline.py", - "usage": "input", + "usage": "provenance", "git_blob": "a2f0190704db83bd8ef48e46e723c49b925804fe", "sha256": "81e9af92cdf38243a540cdcff2062778e449467848d444da37a9553c12ca4c34" }, { "path": "research/r420-two-sided-basis/SOURCES.json", - "usage": "input", + "usage": "provenance", "git_blob": "5d718e11e62f4bcadecf1e02d6b61f87dbe190b0", "sha256": "d9810b0d139c5a1211fd2c1f0d142187cc1fca30026e1e7bc4f9ecfacf1596d1" }, { "path": "research/skip-clones/SOURCE.json", - "usage": "input", + "usage": "provenance", "git_blob": "8d1bb3b9c8189e35e5d8bfdfa632d7473e8be0d5", "sha256": "0b68e63e35a97ce6b0cdb6e291b88ebaa8f2dd4afb70b2498f10ee89428258dc" }, { "path": "research/split-skip/SOURCE.json", - "usage": "input", + "usage": "provenance", "git_blob": "2ab610b6ea2edd2865fda793ef2168b0c76afb4f", "sha256": "7c2b4646a3ecfef6f881da5c43e4bd0fa9a4d1b00548b8ab458d897e16735134" }, { "path": "scripts/historical-ci-inputs/Makefile", - "usage": "input", + "usage": "provenance", "git_blob": "aff68409021c9d401a6f8013b9dfd7dbcc30f2a8", "sha256": "ea8830dd79da493e2d75baf753d733ff7efbcf2b4794afe41fae0ac8f3055646" }, { "path": "scripts/historical-ci-inputs/ledger-batch932-run_isolated_tests.py", - "usage": "input", + "usage": "provenance", "git_blob": "65db599ab0b1dea0312c4ca048e0bd0f44c3736f", "sha256": "96ea543e6c707424afe247e77bd86c82152f90fc76a0773c4232145da5cdf8d1" }, { "path": "scripts/historical-ci-inputs/ledger-batch932-test_isolated_test_runner.py", - "usage": "input", + "usage": "provenance", "git_blob": "34820a8f24678f918f4d0e7a35380d8013fc3495", "sha256": "628391b6abfbc8674ceec1751867a4392f2cc0b5b66886243e139af86cf355ac" }, { "path": "scripts/historical-ci-inputs/ledger-batch970-verify_selected_result.py", - "usage": "input", + "usage": "provenance", "git_blob": "c755b76e0d44ba4917aa94440ebe54daefce5b2a", "sha256": "d7fd929726b326aeeaf0a3996475adec88eee9aac09ae0bebeeaa0bc1fc8f199" }, { "path": "scripts/historical-ci-inputs/ledger-frontier741-ci-verification.md", - "usage": "input", + "usage": "provenance", "git_blob": "7f3c012504187917a728b9fe87043f0fc8cd006a", "sha256": "a854022e0e1d5d4db4d60e586be3ea56005013ef14a1fc06d02bc06e8529c4b0" }, { "path": "scripts/historical-ci-inputs/partial-swap-context.json", - "usage": "input", + "usage": "provenance", "git_blob": "ad65114886bf34a4fd27e79f3be502389e689faa", "sha256": "833a9642f33aeab2ffea17ec9c6b82e0a953f90192b2c82e10bef21538dccba9" }, { "path": "scripts/historical-ci-inputs/partial-swap-network.json", - "usage": "input", + "usage": "provenance", "git_blob": "52075f2463f60af5e16571347f24274fce73a1ea", "sha256": "f3c4be597b2f2136da4ae2cc80c7454f63c90aa01f84e5b8131cee4dd55de815" }, { "path": "scripts/partial_swap/shared.py", - "usage": "input", + "usage": "provenance", "git_blob": "44a0e454c70f9c4b98e258b8443612e6a119904b", "sha256": "5a0646a50b9f3e8ea55168620a78e8853b0ab810517cefc8cfb8696aedee278a" }, { "path": "scripts/replay_historical_check.py", - "usage": "input", + "usage": "provenance", "git_blob": "1e92fff2782970ef71378f594f2350d245a4db26", "sha256": "5467619c78183d3adc82b0cb55af28e5c1a01fca2b0588677816244b53e2bafd" }, { "path": "scripts/research_package.py", - "usage": "input", + "usage": "provenance", "git_blob": "091b4c8f58bac9a9580d76025b887dc5c873d05f", "sha256": "e1256016e7f51827d04fa2179255989f639ae1d97afaa9c16265f85a0c6abd70" }, { "path": "scripts/run_isolated_tests.py", - "usage": "input", + "usage": "provenance", "git_blob": "a96ab35b315ce492e7fbbfd6c5ae211aa066b541", "sha256": "49eb56dd0fc0d8d8ffdb209970a7adf2176223580646f575d5c22e59543b381c" }, { "path": "scripts/verify_selected_result.py", - "usage": "input", + "usage": "provenance", "git_blob": "6882a4700e410dec569b51ae2eaf1a19cc019195", "sha256": "d6b305eac5b9bdb8172c469ad30a1655a60fa0aceac8b1bf610e1b73f51babd8" }, { "path": "tests/test_isolated_test_runner.py", - "usage": "input", + "usage": "provenance", "git_blob": "343b24abf6719b81805eba5a84c74e57634c8288", "sha256": "3a5470d0b139828b90e19bf9583ddeafcd69f8e34f2824664eb3a2958a52e34d" } diff --git a/research/historical-selected-replay-gap/VERIFY.json b/research/historical-selected-replay-gap/VERIFY.json index 98553e72ed..ab7efa3471 100644 --- a/research/historical-selected-replay-gap/VERIFY.json +++ b/research/historical-selected-replay-gap/VERIFY.json @@ -4,36 +4,7 @@ "python": "3.12", "requirements": [], "inputs": [ - "Makefile", - "certificates/partial-swap-network.json", - "docs/ci-verification.md", - "research/clifford-state-performance/SOURCE.json", - "research/community-batch1047-audit/CONTENT-COVERAGE.json", - "research/community-batch1099-audit/CONTENT-COVERAGE.json", - "research/community-batch932-audit/CONTENT-COVERAGE.json", - "research/community-batch970-audit/CONTENT-COVERAGE.json", - "research/community-frontier741-audit/CONTENT-COVERAGE.json", - "research/community-frontier890-audit/CONTENT-COVERAGE.json", - "research/community-hyperplane599-audit/SOURCE.json", - "research/community-k492-audit/SOURCE.json", - "research/community-reconciliation92-audit/MANIFEST.json", - "research/partial-swap-digest/baseline.py", - "research/r420-two-sided-basis/SOURCES.json", - "research/skip-clones/SOURCE.json", - "research/split-skip/SOURCE.json", - "scripts/historical-ci-inputs/Makefile", - "scripts/historical-ci-inputs/ledger-batch932-run_isolated_tests.py", - "scripts/historical-ci-inputs/ledger-batch932-test_isolated_test_runner.py", - "scripts/historical-ci-inputs/ledger-batch970-verify_selected_result.py", - "scripts/historical-ci-inputs/ledger-frontier741-ci-verification.md", - "scripts/historical-ci-inputs/partial-swap-context.json", - "scripts/historical-ci-inputs/partial-swap-network.json", - "scripts/partial_swap/shared.py", - "scripts/replay_historical_check.py", - "scripts/research_package.py", - "scripts/run_isolated_tests.py", - "scripts/verify_selected_result.py", - "tests/test_isolated_test_runner.py" + "scripts/research_package.py" ], "commands": [ { diff --git a/research/historical-selected-replay-gap/verify.py b/research/historical-selected-replay-gap/verify.py index 83b995941a..9d266c5a4e 100644 --- a/research/historical-selected-replay-gap/verify.py +++ b/research/historical-selected-replay-gap/verify.py @@ -6,8 +6,10 @@ """ import hashlib import importlib.util +import json import subprocess import sys +import tempfile from pathlib import Path ROOT = Path(__file__).resolve().parents[2] @@ -61,31 +63,47 @@ def require(ok, message): raise SystemExit(message) -def load_checker(): - path = ROOT / "scripts/replay_historical_check.py" - spec = importlib.util.spec_from_file_location("historical_selected_replay_gap_checker", path) +def load_module(path): + spec = importlib.util.spec_from_file_location(path.stem, path) module = importlib.util.module_from_spec(spec) spec.loader.exec_module(module) return module +def checkout_snapshot(snapshot, sources, runner, env): + paths = [runner.canonical_relative_path(row["path"]) for row in sources["files"]] + git = ["git", "-c", "maintenance.auto=false", "-c", "gc.auto=0", + "-c", "core.autocrlf=false"] + subprocess.run([*git, "clone", "--quiet", "--shared", "--no-tags", "--no-checkout", + "--", str(ROOT), str(snapshot)], cwd=ROOT, env=env, check=True) + subprocess.run([*git, "update-ref", "--no-deref", "HEAD", INSPECTED], + cwd=snapshot, env=env, check=True) + # The pinned planner reads omitted manifests from the sparse HEAD/index. + patterns = "".join(f"/{path.as_posix()}\n" for path in paths) + subprocess.run([*git, "sparse-checkout", "set", "--no-cone", "--stdin"], + cwd=snapshot, env=env, input=patterns.encode("utf-8"), check=True) + subprocess.run([*git, "read-tree", "-mu", "HEAD"], cwd=snapshot, env=env, check=True) + for path, row in zip(paths, sources["files"], strict=True): + require(hashlib.sha256((snapshot / path).read_bytes()).hexdigest() == row["sha256"], + "historical checkout source digest changed: " + path.as_posix()) + + def entries(checker): for name, config in checker.CONFIG.items(): for entry in [config, *config.get("additional_inputs", [])]: yield name, entry -def reject(checker, entry): +def reject(root, checker, entry): try: - checker.authenticated_input(ROOT, entry) + checker.authenticated_input(root, entry) except ValueError as exc: return str(exc) raise SystemExit("historical input was admitted: " + entry["path"]) -def main(): - require(not sys.flags.optimize, "assertions must stay enabled") - checker = load_checker() +def check_snapshot(root, env): + checker = load_module(root / "scripts/replay_historical_check.py") selected = [entry for name, entry in entries(checker) if name == "tooling-ledger" and entry["path"] == SELECTED_PATH] require(len(selected) == 1, "selected-result checker overlay is not unique") @@ -94,7 +112,7 @@ def main(): require(entry["accepted_live_sha256"] == [SELECTED_ACCEPTED], "accepted selected-checker successors changed") frozen = (checker.INPUTS / entry["input"]).read_bytes() - live = (ROOT / SELECTED_PATH).read_bytes() + live = (root / SELECTED_PATH).read_bytes() require(hashlib.sha256(frozen).hexdigest() == SELECTED_PIN, "frozen selected checker bytes changed") require(hashlib.sha256(live).hexdigest() == SELECTED_LIVE, "live selected checker digest changed") require(SELECTED_LIVE not in (SELECTED_PIN, SELECTED_ACCEPTED), "live checker was already admitted") @@ -102,7 +120,7 @@ def main(): # live successor, not a broken comparison. require(SELECTED_PIN in (SELECTED_PIN, *entry["accepted_live_sha256"]), "pin membership control failed") - require(reject(checker, entry) == REJECTIONS[SELECTED_PATH][1], + require(reject(root, checker, entry) == REJECTIONS[SELECTED_PATH][1], "selected checker rejection text changed") counts = {path: 0 for path in REJECTIONS} @@ -110,7 +128,7 @@ def main(): for _name, item in entries(checker): if item["path"] not in REJECTIONS: continue - message = reject(checker, item) + message = reject(root, checker, item) counts[item["path"]] += 1 messages.setdefault(item["path"], message) for path, (count, message) in REJECTIONS.items(): @@ -118,20 +136,31 @@ def main(): require(messages[path] == message, "rejection text changed for " + path) require(sum(counts.values()) == 19, "rejection total changed") ci = [item for _name, item in entries(checker) if item["path"] == CI_PATH] - require(len(ci) == 1 and hashlib.sha256((ROOT / CI_PATH).read_bytes()).hexdigest() == CI_LIVE, + require(len(ci) == 1 and hashlib.sha256((root / CI_PATH).read_bytes()).hexdigest() == CI_LIVE, "selected CI note digest changed") diff = subprocess.check_output( - ["git", "diff", "--name-only", PARENT, INSPECTED], cwd=ROOT, text=True) + ["git", "diff", "--name-only", PARENT, INSPECTED], cwd=root, env=env, text=True) changed = sorted(name for name in diff.splitlines() if name) require(changed == CHANGED, "inspected commit diff changed") - sys.path.insert(0, str(ROOT / "scripts")) - from research_package import plan_details - details = plan_details(ROOT, set(changed)) + planner = load_module(root / "scripts/research_package.py") + details = planner.plan_details(root, set(changed)) require([row["package"] for row in details] == PLAN_PACKAGES, "helper plan selection changed") matched = {name for row in details for names in row["causes"].values() for name in names} require(sorted(set(changed) - matched) == UNMATCHED, "unmatched plan paths changed") - require(plan_details(ROOT, set()) == [], "empty change set selected a package") + require(planner.plan_details(root, set()) == [], "empty change set selected a package") + + +def main(): + require(not sys.flags.optimize, "assertions must stay enabled") + sources = json.loads(Path(__file__).with_name("SOURCES.json").read_bytes()) + require(sources["base_commit"] == INSPECTED, "historical checkout base changed") + runner = load_module(ROOT / "scripts/research_package.py") + env = runner.git_source_env() + with tempfile.TemporaryDirectory(prefix="historical-selected-replay-") as temporary: + snapshot = Path(temporary) / "snapshot" + checkout_snapshot(snapshot, sources, runner, env) + check_snapshot(snapshot, env) print("PASS_HISTORICAL_SELECTED_REPLAY_GAP") print("selected_checker_live=" + SELECTED_LIVE) print("rejections=19 distinct_paths=7 plan_packages=9") diff --git a/research/p104-funded-first-read-bound/LOCAL-PINS.json b/research/p104-funded-first-read-bound/LOCAL-PINS.json new file mode 100644 index 0000000000..9f5a8a139b --- /dev/null +++ b/research/p104-funded-first-read-bound/LOCAL-PINS.json @@ -0,0 +1,28 @@ +{ + "admission/ADMITTED.json": "41b8a189dffeb768e5843446cdc469f9cc2f0aa038d0a593cf2be43aa009a9a3", + "admission/ANCHORED.json": "6378aff76d6d38b3863d039b2d1814db48c3105ffe933e96d9c449e799f624aa", + "admission/ARCHIVE.stdout": "fbfe4d32b4b7614ec0adbcf31d788706c305fa85c88db34822daa3e057b85599", + "admission/COMMIT.stdout": "fd1d72b0397b2e089e9e6ae467c9322a96a08628d7d511c68b417203b5b4cee8", + "admission/DECLARED-SOURCE-PINS.json": "aad96b05ba3fb91051f310120c1d32729d4fd6cf20395943c4aea4fcf1d2d4d4", + "admission/HISTORY.stderr": "c95523eb2c5d47834d66c8568f1d755cf2201e8a23b18ec0e1a5c3fab0eb9b74", + "admission/METADATA.stdout": "5873404cb4424dca918a00d503569f3c29a3190fd029a007e1afb2006399f647", + "admission/STAGE-caller.json": "a653be3423a20a9aa0b6c532fabf7bf96ea7e5feab6bd3924d171d2b9c5c5f76", + "admission/STAGE-early.json": "cee13f7126ecdd375ad62b4a6773f3ac4182df52bc484dc2944a92ee31cd15f7", + "admission/STAGE-frontier.json": "75b8ceb5547f9828b03d60b7646fc2fdb47a0d02b5715d8f7fb35d7de946694f", + "admission/STAGE-native.json": "36ec25be5eb332a45f36d935fc1d0397e02e0b243ea38cc77d340592a33c478b", + "admission/TREE.txt": "6b7c113f9b02b45024c96eafb88256b76a8d3b3d91a1c1730090ded0d3be7246", + "engines/compare.py": "29b2882b0df8563d9a90cf1b55aa436f82e88f8e5d91efa0fd1e8fbb9da075e3", + "engines/contact_index.py": "4c9d794e9f79304fbf5263d55051dcd2c8b26d1fb1d8f50da7a82ae29509ded7", + "engines/entrance_price.py": "37cffc5f28dda64a125e5ecbd9f4c8d112296c9a21511b8d363b1c0ce362695f", + "engines/funded.py": "4953cc2e12192931da78780dfa1e8a37be916332a81b03cf78db7854ce85ab24", + "engines/price.py": "89dc922381d325a655813b99cca34ae57bd89df3161c99f8d94cee58e817e143", + "engines/reverse_funded_read.py": "73489a6baa21a6a1deb1f461b0cc1d1fd1ccf1123fb4db7ba32f62029e61e110", + "inputs/7113/CALLER.json.gz": "58beaf24e01c0589ecd5d1676d6d27e75b779f089d0674eda11725465ffc04e1", + "inputs/7298/pricing.py": "f4d0b6c9314b838d882d6d06020f24881c19a3fda97a7c00df87b1e920785182", + "inputs/7314/EARLY-RESULT.json": "b5043855411432b24336ecc443cba9ebfae6392e2045ddd01c87cfe2c51f5f08", + "inputs/7314/NATIVE-RESULT.json": "336f463da5afe5b60bfd3b9f0ce8aeea5a5feb1f854613bf4218ba0b28b3371b", + "inputs/7314/PRICE-ONLY.json": "b757665a3a50324b2ae6649cc89f5b8d9a752c7af996f1ee894a0de47ade94e1", + "inputs/7314/WORD.json.gz": "c404b9b61220e6cf740d85276df2828bbb4a9d68a4d44b5e283f8d96f78c0fd9", + "inputs/r58/PRICE.json": "8d70669e720faabc932366dafbc1bd1fdaef6f088c4eb02b0ea3707ba309ab53", + "inputs/r58/SHA256.json": "ca3ed296a19bdd7b2b37608e93d1763d97c7620ac9faef732a01bae4f485114c" +} diff --git a/research/p104-funded-first-read-bound/NOTICE b/research/p104-funded-first-read-bound/NOTICE new file mode 100644 index 0000000000..7cd928f539 --- /dev/null +++ b/research/p104-funded-first-read-bound/NOTICE @@ -0,0 +1,8 @@ +Apache-2.0. + +#7314 supplies the exact comparator word and complete invoice, #7113 the +signed caller and #7298 the directed tariff. #7319 supplies the earlier +first-literal-MOVE census, price engine and receipt; #7312 supplies related +public common-lift coverage. #5561, #5567 and #5568 supply retime and +normalizer precedents, and #7121 and #7122 supply the productive-split and +changed-entrance precedents. OpenAI Codex and subagents materially assisted. diff --git a/research/p104-funded-first-read-bound/PROOF.md b/research/p104-funded-first-read-bound/PROOF.md new file mode 100644 index 0000000000..fa55120ea6 --- /dev/null +++ b/research/p104-funded-first-read-bound/PROOF.md @@ -0,0 +1,21 @@ +# First-read contact and strict interior price obstruction + +## Exact scope and necessity + +Let h and g be distinct independent productive public helpers. In the old word h is first read by a nonzero ordinary ADD into g in chart A. The proposed edit hoists the same paid `A→C` chart action on g, installs h in C, and performs the ADD in C. This requires both roles to have matching next paid chart contacts. An intervening use of either operand can observe the old chart or old row, so the fixed suffix and single-edit scope do not allow skipping that contact. The forward index and reverse nearest-contact walk both record the source and destination of each ADD and COPY. They separately check exact binary span inclusion and compare helper, partner, clock, chart and disposition for all 1,101 keys. + +A common signed linear transport U commutes with a coframed ADD, since `U(g+c h) = Ug+c Uh`. The hypothetical construction still needs the retained compiler to supply arbitrary dirty h in C with its entrance normalizer and complete costs. This is a necessary contact screen and a price exclusion. It establishes no new physical wrapper. + +## Invoice on the two terminal coincidences + +For each coincidence let d be the dimension gap from A to the shared C. In both cases C is h's literal final chart, so the old target for h and both next paid ascents have rank d. The unaffected target for g is omitted from this difference because it is identical in both invoices. + +A strict interior edit chooses prefix rank `k` with `0 < k < d`, performs g's prefix and the ADD there, and retains both residual rank-`d−k` paid children. The old local productive-minus-paid moment on these terms is `H_d − 2H_d`. The new terms are `H_(d−k) − H_k − 2H_(d−k)`. Thus the full signed 17-copy credit is + +```text +17(H_d − H_k − H_(d−k)). +``` + +Here `H_r = r^(1−C)` at the pinned raw complex crossing probe C. Strict concavity with `H_0 = 0` makes each credit negative. The directed exact rational replay confirms negativity for k = 1, 2, 3, 4 at d = 5 and k = 1 at d = 2. This grants every rank split a suitable intermediate chart and grants additional costs free. It excludes the declared bill without asserting physical feasibility of the hypothetical splits. + +For a full lift, removing h's productive rank-d target and matching paid rank-d child would change the moment by zero, with no empty-root credit. The classification is conditional on legal removal. It supplies no positive saving even under that favorable interpretation. diff --git a/research/p104-funded-first-read-bound/PROVENANCE.json b/research/p104-funded-first-read-bound/PROVENANCE.json new file mode 100644 index 0000000000..0c236e6329 --- /dev/null +++ b/research/p104-funded-first-read-bound/PROVENANCE.json @@ -0,0 +1,69 @@ +{ + "files": { + "engines/entrance_price.py": { + "commit": "b2d3bc4dd584f8d3aacd244505b12286db4d4875", + "git_blob": "d57628748242d21b30b997cd6f416f627354985c", + "path": "research/p104-helper-entrance-first-contact-bound/engines/price.py", + "sha256": "37cffc5f28dda64a125e5ecbd9f4c8d112296c9a21511b8d363b1c0ce362695f", + "source": "https://github.com/CrocSwap/integer-mult-bounds/blob/b2d3bc4dd584f8d3aacd244505b12286db4d4875/research/p104-helper-entrance-first-contact-bound/engines/price.py", + "uncompress": false + }, + "inputs/7113/CALLER.json.gz": { + "commit": "07a76c5e2738882c0cb322278e56f6cae3c9885d", + "git_blob": "9451ceaf6e8e037894680b549f3ef41c21b260d7", + "path": "research/signed-caller-8x9/expected/ODD-TYPE-AB-CALLER.json", + "sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "source": "https://github.com/CrocSwap/integer-mult-bounds/blob/07a76c5e2738882c0cb322278e56f6cae3c9885d/research/signed-caller-8x9/expected/ODD-TYPE-AB-CALLER.json", + "uncompress": true + }, + "inputs/7298/pricing.py": { + "commit": "c522451caf287bb3c16eaece72be4c263315dca4", + "git_blob": "40ec194017bda1d524bba4f07b188c53281419d0", + "path": "research/adjacent-owned-add-exchange-bound/pricing.py", + "sha256": "f4d0b6c9314b838d882d6d06020f24881c19a3fda97a7c00df87b1e920785182", + "source": "https://github.com/CrocSwap/integer-mult-bounds/blob/c522451caf287bb3c16eaece72be4c263315dca4/research/adjacent-owned-add-exchange-bound/pricing.py", + "uncompress": false + }, + "inputs/7314/EARLY-RESULT.json": { + "commit": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "git_blob": "8cf1ee78a8edd3b62757203f6ac64c2084a2ac67", + "path": "research/p104-funded-863-return/EARLY-RESULT.json", + "sha256": "b5043855411432b24336ecc443cba9ebfae6392e2045ddd01c87cfe2c51f5f08", + "source": "https://github.com/CrocSwap/integer-mult-bounds/blob/9d0119eb12fbd9fa534b48cd37b68e7099757b91/research/p104-funded-863-return/EARLY-RESULT.json", + "uncompress": false + }, + "inputs/7314/NATIVE-RESULT.json": { + "commit": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "git_blob": "311051d32ccd7d215461f5724c4efc61bb930b47", + "path": "research/p104-funded-863-return/NATIVE-RESULT.json", + "sha256": "336f463da5afe5b60bfd3b9f0ce8aeea5a5feb1f854613bf4218ba0b28b3371b", + "source": "https://github.com/CrocSwap/integer-mult-bounds/blob/9d0119eb12fbd9fa534b48cd37b68e7099757b91/research/p104-funded-863-return/NATIVE-RESULT.json", + "uncompress": false + }, + "inputs/7314/PRICE-ONLY.json": { + "commit": "c9d9b7844526b26f58c4e4833b865073e0d2ba30", + "git_blob": "7490e9a64d968da5ebb502c6671b96ccd3758a6f", + "path": "research/p104-type-b-central-phase-transfer/dependencies/7314/PRICE-ONLY.json", + "sha256": "b757665a3a50324b2ae6649cc89f5b8d9a752c7af996f1ee894a0de47ade94e1", + "source": "https://github.com/CrocSwap/integer-mult-bounds/blob/c9d9b7844526b26f58c4e4833b865073e0d2ba30/research/p104-type-b-central-phase-transfer/dependencies/7314/PRICE-ONLY.json", + "uncompress": false + }, + "inputs/7314/WORD.json.gz": { + "commit": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "git_blob": "3939a3cc4c516cf2f184bd401fbeb0d61f5cdd40", + "path": "research/p104-funded-863-return/WORD.json.gz", + "sha256": "c404b9b61220e6cf740d85276df2828bbb4a9d68a4d44b5e283f8d96f78c0fd9", + "source": "https://github.com/CrocSwap/integer-mult-bounds/blob/9d0119eb12fbd9fa534b48cd37b68e7099757b91/research/p104-funded-863-return/WORD.json.gz", + "uncompress": false + }, + "inputs/r58/SHA256.json": { + "commit": "b2d3bc4dd584f8d3aacd244505b12286db4d4875", + "git_blob": "3a28905e8d69888617b56578761c16d39fcdf7a6", + "path": "research/p104-helper-entrance-first-contact-bound/receipts/SHA256.json", + "sha256": "ca3ed296a19bdd7b2b37608e93d1763d97c7620ac9faef732a01bae4f485114c", + "source": "https://github.com/CrocSwap/integer-mult-bounds/blob/b2d3bc4dd584f8d3aacd244505b12286db4d4875/research/p104-helper-entrance-first-contact-bound/receipts/SHA256.json", + "uncompress": false + } + }, + "schema_version": 1 +} diff --git a/research/p104-funded-first-read-bound/README.md b/research/p104-funded-first-read-bound/README.md new file mode 100644 index 0000000000..3b62739082 --- /dev/null +++ b/research/p104-funded-first-read-bound/README.md @@ -0,0 +1,36 @@ +# Funded first-read entrance raises on exact #7314 + +**NO VERIFIED GAIN. Conditional κ change 0%.** Independent forward and reverse contact walks exhaust all 76,461 native events and match all 1,101 productive public helpers. No first-read partner MOVE supports a strict rank-one entrance raise with a positive residual. The only two same-destination next paid ascents both reach the helper's final chart. All five strict interior split prices are negative. Zero keys remain unresolved in this scope. + +Test a productive helper `h` whose first literal contact is a read-only `ADD(g,h,c,A)` into a distinct productive public helper `g`. Both roles must have next paid ascents from A to the same chart C. Main, hosted and protected comparator roles are excluded. The one proposed edit hoists g's already paid MOVE before that ADD, installs h at C, retags the ADD, and deletes h's matching MOVE. Other scalar chronology, later routes, boundaries and the signed caller stay fixed. Both walks count both operands of ADD and COPY. [Proof and price](PROOF.md) + +## Complete signed price + +The comparator is independently reproduced [#7314](https://github.com/CrocSwap/integer-mult-bounds/pull/7314), head `9d0119eb12fbd9fa534b48cd37b68e7099757b91`, κ = `0.003646221436446`. The [#7113](https://github.com/CrocSwap/integer-mult-bounds/pull/7113) caller at `07a76c5e2738882c0cb322278e56f6cae3c9885d` gives 17 native copies, 110,536 paid and 22,461 productive positions, rank surplus 1,424 and zero empty-root credit. The exact directed probe is the upper endpoint `0.0036462214364462343366888845568981` of the old raw complex crossing. + +For a hypothetical rank-one lift with old target rank t and positive residual, the complete price removes 17 rank-one paid positions and replaces the 17 rank-t targets by rank-(t−1). Both rank masses fall by 17 and the surplus stays 1,424. Before reading contacts, the replay saves the whole relaxed upper of about **186.73010468614004 raw units** across at most 1,083 helper roles. The one-edit upper is about **0.1936058783583026**. The census excludes every such edit. + +| Helper h | Partner g | First read clock | Common destination and h final | Ascent rank | +| --- | --- | --- | --- | --- | +| 751 | 1276 | 36439 | 115 | 5 | +| 1478 | 758 | 45105 | 127 | 2 | + +A full lift at either coincidence would be moment-neutral if removal is legal, because it removes equal productive and paid rank credits. The strict interior variant splits g's ascent and retains both residual paid children. Its exact signed credit is `17(H_d − H_k − H_(d−k))`, with `0 < k < d`. All five directed upper endpoints are strictly negative even with all added ordinary, setup, routing, ownership, restoration, precision and tape costs free. The compatible saving upper is **zero**. [Exact split receipt](receipts/COMPARE.json) + +## Replay + +Use CPython 3.12 and the standard library from a clean checkout. + +```sh +python3.12 -I -B research/p104-funded-first-read-bound/replay.py +``` + +The standalone replay authenticates the comparator admission and path-pinned sources. It saves the full price first, rebuilds the raw contact index from the literal word, checks both exact censuses and reproduces five plaintext SHA-256 receipts. Add `--out fresh-receipts` to retain the complete outputs, including the rebuilt index. Stale price and index pins and a mutated caller are rejected. Synthetic controls test signed dirty transport and adjoint, a mismatched chart, and earlier/intervening source reads. Both helper gates were capped at 1,101 cases or 20 seconds and exhausted their scope. No changed native or physical caller was built. [Source pins](PROVENANCE.json) · [Receipt hashes](receipts/SHA256.json) + +## Credit + +#7314 supplied the word and complete price, #7113 the signed caller and #7298 the directed tariff. #7319 supplied the first-literal-MOVE screen and original price; #7312 supplied the earlier common-lift test between two public MOVEs. #5561 and #5568 supplied free-endpoint retiming and legality tooling. #5567 verified the ordinary-priced helper normalizer contract in that lineage. #7121 and #7122 supplied distinct productive split and global input-rechart precedents. OpenAI Codex and subagents materially assisted. [Notices](NOTICE) + +## Open next questions + +Can another paid itinerary fund a first ADD while leaving a positive residual and positive complete price? Pin one changed route and its entrance wrapper, price every added child and route, then check its exact signed arbitrary-input binding. Different partner destinations, changed later contacts, extra donors and a different compiler contract are outside this scope. diff --git a/research/p104-funded-first-read-bound/SOURCES.json b/research/p104-funded-first-read-bound/SOURCES.json new file mode 100644 index 0000000000..e8c2f265cd --- /dev/null +++ b/research/p104-funded-first-read-bound/SOURCES.json @@ -0,0 +1,18 @@ +{ + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "files": [ + { + "git_blob": "75d77b328ea02ded535e7f23aee5b1e55d0bb1a8", + "path": "certificates/selected-result.json", + "sha256": "154c3d30455d778fd3343b6b4851f0fa4665f0f7625b0adb3675e2bafbbf6bf1", + "usage": "provenance" + }, + { + "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec", + "path": "docs/research/agent-task-catalog.json", + "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81", + "usage": "provenance" + } + ], + "schema_version": 1 +} diff --git a/research/p104-funded-first-read-bound/TASK.json b/research/p104-funded-first-read-bound/TASK.json new file mode 100644 index 0000000000..db456fb1fa --- /dev/null +++ b/research/p104-funded-first-read-bound/TASK.json @@ -0,0 +1,117 @@ +{ + "actual_scope": "One first read-only ordinary ADD of a public productive helper on exact #7314, with matched next paid ascents of both public helper roles, same later itinerary and exact #7113 caller. Price strict interior splits of the two terminal coincidences with both residual children charged.", + "ai_assistance": "OpenAI Codex and subagents materially assisted proof, implementation, independent verification and packaging.", + "author": "P104 helper first-read research", + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "bottleneck_link": "Test one changed helper entrance and shared contact against the complete paid and productive rank invoice.", + "budget_minutes": 7, + "evidence": "Two exact 76,461-event censuses matched all 1,101 helpers. Two terminal coincidences leave zero residual; all five split alternatives have a strictly negative directed interval. Includes dirty phase/adjoint, stale price/index and input rejection controls.", + "open_questions": [ + { + "blocked_by": "The changed route needs exact all-width chart binding, ownership, restoration and fully charged positive margin.", + "first_step": "Name one different itinerary and exact entrance wrapper, reconstruct its complete invoice and test signed arbitrary-input action.", + "question": "Can changing a different route make one funded first contact profitable?", + "why_it_matters": "Both observed common ascents reach the final chart and their direct interior split bills lose." + } + ], + "original_card": { + "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.", + "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." + ], + "bottleneck_link": "Judge the actual current supplier contract and complete signed target/paid bill; frozen-profile ceilings require an applicability proof.", + "existing_checks": [ + { + "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.", + "scope": "PR #4133: literal-slot defect", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", + "source_commit": "88666f1dee93fbd85b31fd5d6f91a219e111b5f4", + "status": "author-checked" + }, + { + "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.", + "scope": "PR #4136: uniform commutation gap", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", + "source_commit": "281ce601a8be9db470de630759179c23e1dfaa88", + "status": "author-checked" + }, + { + "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.", + "scope": "PR #4140: uniform encoding gap", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", + "source_commit": "de25c6525aa866962309df5d107b32d55e6e5628", + "status": "author-checked" + }, + { + "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.", + "scope": "PR #4153: source-chart shortcut exhausts its optimistic allowance", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", + "source_commit": "9123241fea53df77e51ffe30d9aca1625d4bf3a8", + "status": "author-checked" + }, + { + "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.", + "scope": "PR #4154: fiber-tag seam mismatch", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129", + "source_commit": "4ffcdaee5d6255a9cea1fe53a5424435068089d0", + "status": "author-checked" + }, + { + "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.", + "scope": "Selected PR5599: complete helper-subspace construction and independent caller replay; five framework assumptions remain.", + "selected_record_sha256": "2a0220e866417774606e0f991e41b9c1d26b1f43b97857238cf478dbc7d330b5", + "source_commit": "09dd0965711ca7eeb169057a420abab1c9052137", + "status": "reviewed" + } + ], + "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.", + "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." + }, + "id": "p104-side-correction", + "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." + ], + "overlap_terms": [ + "P104", + "helper basis", + "helper split", + "5718", + "dyadic capacity" + ], + "question": "Can joint helper bases and a legal causal split improve the complete P104 productive/paid invoice?", + "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." + ], + "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" + ] + }, + "outcome": "negative-result", + "priority_revision": 8, + "schema_version": 1, + "scope_change_reason": "Unlike the #7319 first-literal-MOVE screen, this permits one existing partner MOVE to fund retagging an earlier first ADD.", + "scope_status": "changed", + "stop_rule": "Save the exact price before reading contacts. Exhaust at most 1,101 helpers or the 20-second cap. Close the scope if there is no positive residual and no positive directed price for any strict interior split.", + "task_id": "p104-side-correction" +} diff --git a/research/p104-funded-first-read-bound/VERIFY.json b/research/p104-funded-first-read-bound/VERIFY.json new file mode 100644 index 0000000000..8e08bcc5f6 --- /dev/null +++ b/research/p104-funded-first-read-bound/VERIFY.json @@ -0,0 +1,19 @@ +{ + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/replay.py" + ], + "checks": "Save the complete price, regenerate the contact index, compare all 1,101 forward and reverse helper decisions, price all five strict splits and reject stale price/index and corrupted input.", + "timeout_seconds": 120 + } + ], + "inputs": [], + "python": "3.12", + "requirements": [], + "schema_version": 1, + "status": "ready" +} diff --git a/research/p104-funded-first-read-bound/admission/ADMITTED.json b/research/p104-funded-first-read-bound/admission/ADMITTED.json new file mode 100644 index 0000000000..d110075c07 --- /dev/null +++ b/research/p104-funded-first-read-bound/admission/ADMITTED.json @@ -0,0 +1,48 @@ +{ + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "head": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "hosted": { + "head": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "run": "https://github.com/CrocSwap/integer-mult-bounds/actions/runs/43097104414", + "status": "queued" + }, + "kappa": "0.003646221436446", + "source_history": { + "evidence": { + "path": "ANCHORED.json", + "sha256": "6378aff76d6d38b3863d039b2d1814db48c3105ffe933e96d9c449e799f624aa" + }, + "stock_wrapper": "refused_shallow", + "validation": "exact_anchored_pins" + }, + "stages": { + "caller": { + "exit": 0, + "path": "STAGE-caller.json", + "sha256": "a653be3423a20a9aa0b6c532fabf7bf96ea7e5feab6bd3924d171d2b9c5c5f76" + }, + "early": { + "exit": 0, + "path": "STAGE-early.json", + "sha256": "cee13f7126ecdd375ad62b4a6773f3ac4182df52bc484dc2944a92ee31cd15f7" + }, + "frontier": { + "exit": 0, + "path": "STAGE-frontier.json", + "sha256": "75b8ceb5547f9828b03d60b7646fc2fdb47a0d02b5715d8f7fb35d7de946694f" + }, + "native": { + "exit": 0, + "path": "STAGE-native.json", + "sha256": "36ec25be5eb332a45f36d935fc1d0397e02e0b243ea38cc77d340592a33c478b" + } + }, + "status": "independently_reproduced_comparable" +} diff --git a/research/p104-funded-first-read-bound/admission/ANCHORED.json b/research/p104-funded-first-read-bound/admission/ANCHORED.json new file mode 100644 index 0000000000..eae2e41b61 --- /dev/null +++ b/research/p104-funded-first-read-bound/admission/ANCHORED.json @@ -0,0 +1,34 @@ +{ + "base": "e54523517d0f03e58352e647c403a5af3e525a57", + "base_ancestry": "verified", + "evidence": [ + { + "path": "TREE.txt", + "sha256": "6b7c113f9b02b45024c96eafb88256b76a8d3b3d91a1c1730090ded0d3be7246" + }, + { + "path": "METADATA.stdout", + "sha256": "5873404cb4424dca918a00d503569f3c29a3190fd029a007e1afb2006399f647" + }, + { + "path": "COMMIT.stdout", + "sha256": "fd1d72b0397b2e089e9e6ae467c9322a96a08628d7d511c68b417203b5b4cee8" + }, + { + "path": "ARCHIVE.stdout", + "sha256": "fbfe4d32b4b7614ec0adbcf31d788706c305fa85c88db34822daa3e057b85599" + }, + { + "path": "DECLARED-SOURCE-PINS.json", + "sha256": "aad96b05ba3fb91051f310120c1d32729d4fd6cf20395943c4aea4fcf1d2d4d4" + }, + { + "path": "HISTORY.stderr", + "sha256": "c95523eb2c5d47834d66c8568f1d755cf2201e8a23b18ec0e1a5c3fab0eb9b74" + } + ], + "head": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "method": "Exact fetched public head, reachable base, committed bytes and modes, and recursive used source pins", + "stock_full_history_wrapper": "refused_shallow", + "tree": "01407b9d59f3d2c157865cf329bc4682431fffbe" +} diff --git a/research/p104-funded-first-read-bound/admission/ARCHIVE.stdout b/research/p104-funded-first-read-bound/admission/ARCHIVE.stdout new file mode 100644 index 0000000000..a4e78f3738 --- /dev/null +++ b/research/p104-funded-first-read-bound/admission/ARCHIVE.stdout @@ -0,0 +1,47 @@ +PASS_ARCHIVE ed090b57ed88f8859e5ff4643645099e6ba856ea 31 git_blob_pins=31 17d5ff1d7a62496624ea10ecee297c69cb5f1cbbca12df38bd5d1a2bfdc51580 inputs/pr7277.tar.gz +PASS_ARCHIVE ff79af7a208132e16d51ceca3e1428444894367e 19 git_blob_pins=19 41e256809f3016c741b802715ea05f45f8cd4a59e7929138e693a195158564cd research/p104-terminal-cut-rechart/inputs/pr7274.tar.gz +PASS_ARCHIVE 215f67247f395c0e15f5ea3980f6a3e4aed155af 29 git_blob_pins=29 04a493b9bacc263d02a8119d833a71542da1774c80ce6e2d2794920dbdf15b68 research/p104-funded-shorter-return/inputs/pr7244.tar.gz +PASS_ARCHIVE b44944c3058d522cbff17836e16240d40d77a927 33 git_blob_pins=33 443c2d55a64a5837335b16e0d16627209a209ac0ab779fb5e010c5bb88c50e77 research/p104-two-cut-funded-split/inputs/pr7156.tar +PASS_ARCHIVE 594d57036057f88f8bacc82e9c203bd4cb3276b9 32 git_blob_pins=0 94eb795f165ab08f1cb60df1fb8b0b7c4945706e8ccdbd4927f97c09ccd3070b research/p104-temporal-chart306-continuation/inputs/pr7155.tar +PASS_ARCHIVE 3b61d41d81a4bc8f78252240c8fb02473dd3d94f 8 git_blob_pins=8 9c1614a4873ad9b72c7050602cd0a8e2c7d2192102a283aed4a9090bb7ebea88 research/p104-temporal-237-595-composition/inputs/pr7147.tar.gz +PASS_ARCHIVE 154ef929894225674df48df2d6ea3b7a7d1f39a0 36 git_blob_pins=36 6258e2e16dd9cc740639ed321523148997aa9179b95c8bedcf2099835f7abcf7 research/p104-temporal-237-595-composition/inputs/pr7148.tar.gz +PASS_ARCHIVE db8f31c4a1d9e191976e2c92951e6d2dea886a27 33 git_blob_pins=33 0a94c51ff855018d08f8a48c0b9748a164652b7492f2b5afcbe102f7202fbda0 research/p104-temporal-chart595-split/inputs/previous7145.tar +PASS_ARCHIVE 9ff298bd6547299dc5b263873bf8a400909e5501 31 git_blob_pins=31 578a8497cbd199d756bd1311bffee103c64d1556ddc915157f2a719105c23719 research/p104-endpoint-temporal-composition/inputs/temporal7143.tar +PASS_ARCHIVE a95783a8c861248a759136d4285ea725499cf231 30 git_blob_pins=30 66f517dd17dbdf1f3963dd183981b3e83129e6d6e80904aa73d8a8b83f22ffe0 research/p104-temporal-chart120-split/inputs/previous-causal-buffer.tar +PASS_ARCHIVE 666fd749ec465de7238633a0c2fd5ee3081477e0 37 git_blob_pins=37 efa1c93816997998dd61d214aa7c4e312a43e131b30a374ffccce2d5ccc91f71 research/p104-causal-buffer-split/inputs/previous-composition.tar +PASS_ARCHIVE 161e482bc2d8c78ecef96135430c60d49b8fc345 25 git_blob_pins=25 585abeb047f4c4b2d84a9a74c167fe9845850ed7521ea9f560031d5d5c82d084 research/p104-output-rechart-composition/inputs/pr7130.tar +PASS_ARCHIVE 020d581d9856b6db83e448c3f20418bc63b72c34 30 git_blob_pins=30 834098d9b40ed09035fe6128b90805517dba7c9332ef191d55c48b40e72bb620 research/p104-nonunit-pivot-split/inputs/pr7123.tar +PASS_ARCHIVE 98aad9eb0e7d7f985622a35c7981695fe680c68a 9 git_blob_pins=9 5c3ed6ee7454f95c02644f3937b6c4efef8af0428ec4a11aa4e7c286d8e148f8 research/p104-recharted-rank8-split/inputs/pr7122.tar +PASS_ARCHIVE 1670baa28f5a9631286591068d7cc2934d2c2d37 25 git_blob_pins=0 dab5a4de50253d47234930cdef7c2f04b4d283acdf3bd8c636cb3279afabc35c research/p104-global-input-rechart/inputs/pr7121.tar +PASS_ARCHIVE b3d68cf1db9bf493ded2d8f4cb922939edc0ef95 26 git_blob_pins=26 6e4e30926d7d554dfee3046eb064d082baa6139fd7c520a6d1c2eb5d3d7c18bf research/p104-unlocked-rank8-split/inputs/pr7120.tar +PASS_ARCHIVE bd244b0e5034cb1b9f72641494c3421f757ec2e4 25 git_blob_pins=25 4b00a38b97ca6eb717ba238a2b69b07256b74c51064c6c74a8ed429f4155cc63 research/p104-chart120-peer-composition/inputs/pr7119.tar +PASS_ARCHIVE 3f6ff8c34b22af12b40c5a8bcee585cd1aafdb9c 25 git_blob_pins=25 d07c3ebc0fd4f6b067bb0053c39520e9ab61fde144a133b34d4991b7e95eabd1 research/p104-funded-reciprocal-split/inputs/pr7118.tar +PASS_ARCHIVE 092255ac8e9ed07ea59fee87c9711a5d72b10750 25 git_blob_pins=25 5dad877e3ecfaada8542c69d1516ecc951086d49cc00fc0647efcaa22defd080 research/p104-funded-residual-split/inputs/pr7117.tar +PASS_ARCHIVE ee4a05f9c926cf85904c81b768d73acaf9e44b54 17 git_blob_pins=17 eff4dc88c670c15f231a60e3cddb8fc61d633d4f9ae2dc47be9597f4c5678d90 research/p104-funded-cohort-split/inputs/pr7116.tar +RETAINED_MANIFEST_REFERENCE research/p104-output-rechart-composition/peer/INPUTS.json research/p104-output-rechart-composition/peer/inputs/pr7123.tar +PASS_ARCHIVE 316b93f25361c0fd1b3a50e1180bd59096c3e45e 30 git_blob_pins=30 d7c449dfb5720e34a6dcf6c8fcd49ca956cbf3a6a66b6833e702b4998f043db7 research/p104-endpoint-temporal-composition/inputs/endpoint7142.tar +PASS_ARCHIVE a95783a8c861248a759136d4285ea725499cf231 30 git_blob_pins=0 66f517dd17dbdf1f3963dd183981b3e83129e6d6e80904aa73d8a8b83f22ffe0 research/p104-endpoint-funded-split/inputs/pr7140.tar +PASS_ARCHIVE 666fd749ec465de7238633a0c2fd5ee3081477e0 37 git_blob_pins=37 efa1c93816997998dd61d214aa7c4e312a43e131b30a374ffccce2d5ccc91f71 research/p104-causal-buffer-split/inputs/previous-composition.tar +PASS_ARCHIVE 161e482bc2d8c78ecef96135430c60d49b8fc345 25 git_blob_pins=25 585abeb047f4c4b2d84a9a74c167fe9845850ed7521ea9f560031d5d5c82d084 research/p104-output-rechart-composition/inputs/pr7130.tar +PASS_ARCHIVE 020d581d9856b6db83e448c3f20418bc63b72c34 30 git_blob_pins=30 834098d9b40ed09035fe6128b90805517dba7c9332ef191d55c48b40e72bb620 research/p104-nonunit-pivot-split/inputs/pr7123.tar +PASS_ARCHIVE 98aad9eb0e7d7f985622a35c7981695fe680c68a 9 git_blob_pins=9 5c3ed6ee7454f95c02644f3937b6c4efef8af0428ec4a11aa4e7c286d8e148f8 research/p104-recharted-rank8-split/inputs/pr7122.tar +PASS_ARCHIVE 1670baa28f5a9631286591068d7cc2934d2c2d37 25 git_blob_pins=0 dab5a4de50253d47234930cdef7c2f04b4d283acdf3bd8c636cb3279afabc35c research/p104-global-input-rechart/inputs/pr7121.tar +PASS_ARCHIVE b3d68cf1db9bf493ded2d8f4cb922939edc0ef95 26 git_blob_pins=26 6e4e30926d7d554dfee3046eb064d082baa6139fd7c520a6d1c2eb5d3d7c18bf research/p104-unlocked-rank8-split/inputs/pr7120.tar +PASS_ARCHIVE bd244b0e5034cb1b9f72641494c3421f757ec2e4 25 git_blob_pins=25 4b00a38b97ca6eb717ba238a2b69b07256b74c51064c6c74a8ed429f4155cc63 research/p104-chart120-peer-composition/inputs/pr7119.tar +PASS_ARCHIVE 3f6ff8c34b22af12b40c5a8bcee585cd1aafdb9c 25 git_blob_pins=25 d07c3ebc0fd4f6b067bb0053c39520e9ab61fde144a133b34d4991b7e95eabd1 research/p104-funded-reciprocal-split/inputs/pr7118.tar +PASS_ARCHIVE 092255ac8e9ed07ea59fee87c9711a5d72b10750 25 git_blob_pins=25 5dad877e3ecfaada8542c69d1516ecc951086d49cc00fc0647efcaa22defd080 research/p104-funded-residual-split/inputs/pr7117.tar +PASS_ARCHIVE ee4a05f9c926cf85904c81b768d73acaf9e44b54 17 git_blob_pins=17 eff4dc88c670c15f231a60e3cddb8fc61d633d4f9ae2dc47be9597f4c5678d90 research/p104-funded-cohort-split/inputs/pr7116.tar +RETAINED_MANIFEST_REFERENCE research/p104-output-rechart-composition/peer/INPUTS.json research/p104-output-rechart-composition/peer/inputs/pr7123.tar +PASS_ARCHIVE 9ff298bd6547299dc5b263873bf8a400909e5501 31 git_blob_pins=31 578a8497cbd199d756bd1311bffee103c64d1556ddc915157f2a719105c23719 research/p104-temporal-chart595-split/inputs/methods7143.tar +PASS_ARCHIVE a95783a8c861248a759136d4285ea725499cf231 30 git_blob_pins=30 66f517dd17dbdf1f3963dd183981b3e83129e6d6e80904aa73d8a8b83f22ffe0 research/p104-temporal-chart120-split/inputs/previous-causal-buffer.tar +PASS_ARCHIVE 666fd749ec465de7238633a0c2fd5ee3081477e0 37 git_blob_pins=37 efa1c93816997998dd61d214aa7c4e312a43e131b30a374ffccce2d5ccc91f71 research/p104-causal-buffer-split/inputs/previous-composition.tar +PASS_ARCHIVE 161e482bc2d8c78ecef96135430c60d49b8fc345 25 git_blob_pins=25 585abeb047f4c4b2d84a9a74c167fe9845850ed7521ea9f560031d5d5c82d084 research/p104-output-rechart-composition/inputs/pr7130.tar +PASS_ARCHIVE 020d581d9856b6db83e448c3f20418bc63b72c34 30 git_blob_pins=30 834098d9b40ed09035fe6128b90805517dba7c9332ef191d55c48b40e72bb620 research/p104-nonunit-pivot-split/inputs/pr7123.tar +PASS_ARCHIVE 98aad9eb0e7d7f985622a35c7981695fe680c68a 9 git_blob_pins=9 5c3ed6ee7454f95c02644f3937b6c4efef8af0428ec4a11aa4e7c286d8e148f8 research/p104-recharted-rank8-split/inputs/pr7122.tar +PASS_ARCHIVE 1670baa28f5a9631286591068d7cc2934d2c2d37 25 git_blob_pins=0 dab5a4de50253d47234930cdef7c2f04b4d283acdf3bd8c636cb3279afabc35c research/p104-global-input-rechart/inputs/pr7121.tar +PASS_ARCHIVE b3d68cf1db9bf493ded2d8f4cb922939edc0ef95 26 git_blob_pins=26 6e4e30926d7d554dfee3046eb064d082baa6139fd7c520a6d1c2eb5d3d7c18bf research/p104-unlocked-rank8-split/inputs/pr7120.tar +PASS_ARCHIVE bd244b0e5034cb1b9f72641494c3421f757ec2e4 25 git_blob_pins=25 4b00a38b97ca6eb717ba238a2b69b07256b74c51064c6c74a8ed429f4155cc63 research/p104-chart120-peer-composition/inputs/pr7119.tar +PASS_ARCHIVE 3f6ff8c34b22af12b40c5a8bcee585cd1aafdb9c 25 git_blob_pins=25 d07c3ebc0fd4f6b067bb0053c39520e9ab61fde144a133b34d4991b7e95eabd1 research/p104-funded-reciprocal-split/inputs/pr7118.tar +PASS_ARCHIVE 092255ac8e9ed07ea59fee87c9711a5d72b10750 25 git_blob_pins=25 5dad877e3ecfaada8542c69d1516ecc951086d49cc00fc0647efcaa22defd080 research/p104-funded-residual-split/inputs/pr7117.tar +PASS_ARCHIVE ee4a05f9c926cf85904c81b768d73acaf9e44b54 17 git_blob_pins=17 eff4dc88c670c15f231a60e3cddb8fc61d633d4f9ae2dc47be9597f4c5678d90 research/p104-funded-cohort-split/inputs/pr7116.tar +RETAINED_MANIFEST_REFERENCE research/p104-output-rechart-composition/peer/INPUTS.json research/p104-output-rechart-composition/peer/inputs/pr7123.tar diff --git a/research/p104-funded-first-read-bound/admission/COMMIT.stdout b/research/p104-funded-first-read-bound/admission/COMMIT.stdout new file mode 100644 index 0000000000..954f40b33a --- /dev/null +++ b/research/p104-funded-first-read-bound/admission/COMMIT.stdout @@ -0,0 +1 @@ +PASS_RESEARCH_COMMIT_BYTES {"commit": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", "files": 30, "package": "research/p104-funded-863-return", "executable_modes_checked": true} diff --git a/research/p104-funded-first-read-bound/admission/DECLARED-SOURCE-PINS.json b/research/p104-funded-first-read-bound/admission/DECLARED-SOURCE-PINS.json new file mode 100644 index 0000000000..16045fd064 --- /dev/null +++ b/research/p104-funded-first-read-bound/admission/DECLARED-SOURCE-PINS.json @@ -0,0 +1,35 @@ +{ + "base": "e54523517d0f03e58352e647c403a5af3e525a57", + "declared_sources": [ + { + "git_blob": "75d77b328ea02ded535e7f23aee5b1e55d0bb1a8", + "path": "certificates/selected-result.json", + "sha256": "154c3d30455d778fd3343b6b4851f0fa4665f0f7625b0adb3675e2bafbbf6bf1", + "usage": "provenance" + }, + { + "git_blob": "3404fbdd5e7529a0674eef26114b5071e4586cec", + "path": "docs/research/agent-task-catalog.json", + "sha256": "ead6cdc9d0af6d58e8a49744d8ec8c7c15e13d2ba93c276c434bcf9b51b93a81", + "usage": "provenance" + }, + { + "git_blob": "3dd1af2285e597676725e85ad4f65e7ad326d695", + "path": "docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md", + "sha256": "4501502c2ceb9759b20372435fe4beb51082c5a5e2910c1fd5dbe6edca415055", + "usage": "provenance" + }, + { + "git_blob": "39e62cac780b662903582cb5f8684990fa779bb3", + "path": "research/final4610-independent-admission/checks/outer.py", + "sha256": "196be1bc2329500f2c7c995deaf5a82aecc5e27f0fef7805470cb65d187bb1c0", + "usage": "input" + }, + { + "git_blob": "c9b816f8445be9dc19b2259e03e9d8709d18c87a", + "path": "certificates/frontier7000/CLAIM.json", + "sha256": "3f8add8252adb223b60418ec69351a69b6b5edfe601ec1c6b4b65cd9e2afd9b2", + "usage": "input" + } + ] +} diff --git a/research/p104-funded-first-read-bound/admission/HISTORY.stderr b/research/p104-funded-first-read-bound/admission/HISTORY.stderr new file mode 100644 index 0000000000..e313449ead --- /dev/null +++ b/research/p104-funded-first-read-bound/admission/HISTORY.stderr @@ -0,0 +1 @@ +source-history check requires full Git history diff --git a/research/p104-funded-first-read-bound/admission/METADATA.stdout b/research/p104-funded-first-read-bound/admission/METADATA.stdout new file mode 100644 index 0000000000..a6c9fb298a --- /dev/null +++ b/research/p104-funded-first-read-bound/admission/METADATA.stdout @@ -0,0 +1 @@ +PASS_PACKAGE_METADATA_AND_PINS (not a mathematical acceptance check) diff --git a/research/p104-funded-first-read-bound/admission/STAGE-caller.json b/research/p104-funded-first-read-bound/admission/STAGE-caller.json new file mode 100644 index 0000000000..d6486a8421 --- /dev/null +++ b/research/p104-funded-first-read-bound/admission/STAGE-caller.json @@ -0,0 +1,62 @@ +{ + "exit": 0, + "head": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "method": "Completed registered runner with exact frozen-receipt comparison", + "registered_stdout_sha256": "4337cb057b7e3ac6871a3742bc257bf2a390c8fc6ea54269a0c02586feb66c76", + "stage": "caller", + "stdout": [ + "CHECK Fresh complete signed caller, all physical catalogue maps, compiler, grids, precision, fixed tape and all outer predicates.", + "PASS two reconstructed invoices and both exact price engines 0.003646221436446", + "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 ['1823110718223117168344442278449/500000000000000000000000000000000', '36462214364462343366888845568981/10000000000000000000000000000000000']", + "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 110536 13600 22461", + "RUN check_odd_precision.py", + "PASS short precision 406 1215 2430", + "RUN check_odd_partial_admission.py", + "ordinary bill 782663376", + "PASS partial signed short gates 782663376 1823110718223/500000000000000 {'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 43822560 25480464288 precision 2430", + "RUN complete catalogue 0 1000", + "RUN complete catalogue 1000 2000", + "RUN complete catalogue 2000 3000", + "RUN complete catalogue 3000 3037", + "PASS complete 8+9 component application checks 1823110718223/500000000000000 3037 110536", + "PASS_FUNDED_863_RETURN_CALLER 1823110718223/500000000000000" + ], + "verified_frozen_receipt": { + "path": "research/p104-funded-863-return/RESULT.json", + "sha256": "432191ca572c9221935787ebe392699e3a1ef4512b0bf4fbc704657321cc87ca" + } +} diff --git a/research/p104-funded-first-read-bound/admission/STAGE-early.json b/research/p104-funded-first-read-bound/admission/STAGE-early.json new file mode 100644 index 0000000000..332c376157 --- /dev/null +++ b/research/p104-funded-first-read-bound/admission/STAGE-early.json @@ -0,0 +1,15 @@ +{ + "exit": 0, + "head": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "method": "Completed registered runner with exact frozen-receipt comparison", + "registered_stdout_sha256": "4337cb057b7e3ac6871a3742bc257bf2a390c8fc6ea54269a0c02586feb66c76", + "stage": "early", + "stdout": [ + "CHECK Exact complete source closure, predecessor/candidate reconstruction, arbitrary-input native adjoint, complete17-stage invoice and both directed prices.", + "PASS_EXACT_NATIVE_AND_PRICE_ONLY 0.003646221436446" + ], + "verified_frozen_receipt": { + "path": "research/p104-funded-863-return/EARLY-RESULT.json", + "sha256": "b5043855411432b24336ecc443cba9ebfae6392e2045ddd01c87cfe2c51f5f08" + } +} diff --git a/research/p104-funded-first-read-bound/admission/STAGE-frontier.json b/research/p104-funded-first-read-bound/admission/STAGE-frontier.json new file mode 100644 index 0000000000..5b940c0b6a --- /dev/null +++ b/research/p104-funded-first-read-bound/admission/STAGE-frontier.json @@ -0,0 +1,16 @@ +{ + "exit": 0, + "head": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "method": "Completed registered runner with exact frozen-receipt comparison", + "registered_stdout_sha256": "4337cb057b7e3ac6871a3742bc257bf2a390c8fc6ea54269a0c02586feb66c76", + "stage": "frontier", + "stdout": [ + "CHECK Independent outer proposal, all nine savings, strict slack and actual dirty-COPY/BIT controls.", + "PASS_FUNDED_863_RETURN_FRONTIER_PROPOSAL 1823110718223/500000000000000", + "PASS_REGISTERED_RESEARCH_PACKAGE research/p104-funded-863-return outcome=completed" + ], + "verified_frozen_receipt": { + "path": "research/p104-funded-863-return/PROPOSED-CLAIM.json", + "sha256": "41a08c4b7d0b2de4af22bc778948a143027eb3065fff47b0400b6ded1cc52778" + } +} diff --git a/research/p104-funded-first-read-bound/admission/STAGE-native.json b/research/p104-funded-first-read-bound/admission/STAGE-native.json new file mode 100644 index 0000000000..c829cebce8 --- /dev/null +++ b/research/p104-funded-first-read-bound/admission/STAGE-native.json @@ -0,0 +1,37 @@ +{ + "exit": 0, + "head": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "method": "Completed registered runner with exact frozen-receipt comparison", + "registered_stdout_sha256": "4337cb057b7e3ac6871a3742bc257bf2a390c8fc6ea54269a0c02586feb66c76", + "stage": "native", + "stdout": [ + "CHECK Fresh full forward/adjoint, physical chart columns and phases, ownership, grid, precision, ordinary costs and rejecting controls.", + "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 76461 public 1501 owned roles 68 paid {1: 4001, 2: 853, 3: 829, 4: 223, 5: 346, 6: 13, 7: 10, 8: 5} owned UP {1: 10, 2: 4, 3: 1, 4: 6, 5: 1, 6: 1} helpers {1: 18, 2: 21, 3: 47, 4: 225, 5: 80, 6: 43, 7: 19, 8: 32, 9: 616}", + "endpoint bad rows 0 odd certificate S 1125", + "PASS_HOST3 decoupled ports 96 hosted ports 8", + "gate interpreter agrees with the library on 4 exact state vectors", + "replayed 76461 events, 2951 chart pairs, 23s", + "prime 1000000009 seed 11: helper rows bad 0 (of 1101), 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 30s", + "PASS affected Gaussian chart columns, phase, corruption controls and finite physical replay", + "PASS_FUNDED_863_RETURN_NATIVE 911397594381/250000000000000" + ], + "verified_frozen_receipt": { + "path": "research/p104-funded-863-return/NATIVE-RESULT.json", + "sha256": "336f463da5afe5b60bfd3b9f0ce8aeea5a5feb1f854613bf4218ba0b28b3371b" + } +} diff --git a/research/p104-funded-first-read-bound/admission/TREE.txt b/research/p104-funded-first-read-bound/admission/TREE.txt new file mode 100644 index 0000000000..be5ba3cedd --- /dev/null +++ b/research/p104-funded-first-read-bound/admission/TREE.txt @@ -0,0 +1,34 @@ +head=9d0119eb12fbd9fa534b48cd37b68e7099757b91 +tree=01407b9d59f3d2c157865cf329bc4682431fffbe +parent=d2e54af81f9dda6487636b79d4964a2385d89b2b +ab188e5800e43f7eaaa89c6cec47db4700c3fca7 +100644 blob c9b816f8445be9dc19b2259e03e9d8709d18c87a certificates/frontier7000/CLAIM.json +100644 blob 39e62cac780b662903582cb5f8684990fa779bb3 research/final4610-independent-admission/checks/outer.py +100644 blob 8cf1ee78a8edd3b62757203f6ac64c2084a2ac67 research/p104-funded-863-return/EARLY-RESULT.json +100644 blob f25e94b5af3c00f66650f3b5d7ea8b255d65634f research/p104-funded-863-return/ENVIRONMENT.json +100644 blob 535e32faf1ef47c3f94f0158c371a5ec3f0bf401 research/p104-funded-863-return/INPUTS.json +100644 blob 311051d32ccd7d215461f5724c4efc61bb930b47 research/p104-funded-863-return/NATIVE-RESULT.json +100644 blob 14643eaae015e1fc1944b1e5cabb6d14751a7201 research/p104-funded-863-return/NOTICE +100644 blob f75df1b411b6044b88e6f7718a199f8bd443df2c research/p104-funded-863-return/PROOF.md +100644 blob dc54adae9b9504a4282eed4a37a3b254cd29a8d0 research/p104-funded-863-return/PROPOSED-CLAIM.json +100644 blob fa4be3de79983d8668b98bf422b41a3373dd97e1 research/p104-funded-863-return/README.md +100644 blob 8c914c84950c60c0a3232de2356ba21bf88ab26f research/p104-funded-863-return/REFERENCE.json +100644 blob ee74e523d3d74af9a4483e89e9a6eb6812dadcab research/p104-funded-863-return/REPLAY.txt +100644 blob 5f4d265ce66229590b0648815af2a6d51394a78a research/p104-funded-863-return/RESULT.json +100644 blob 6b97e903a6df8de437068a0e2907823885928053 research/p104-funded-863-return/SOURCES.json +100644 blob f3d65174b1f113355d729c6b056cae9e9d9f2d74 research/p104-funded-863-return/TASK.json +100644 blob cc98ee2a5c5a79e670094a6f55c7cacda8fd330c research/p104-funded-863-return/VERIFY.json +100644 blob 7152c37f803fa7abe40c7f58bd1b9fca8487adcb research/p104-funded-863-return/WITNESS.json +100644 blob 3939a3cc4c516cf2f184bd401fbeb0d61f5cdd40 research/p104-funded-863-return/WORD.json.gz +100644 blob 5086291567c04035ed971b4a6c5584f6fbae3e94 research/p104-funded-863-return/adapt.py +100644 blob 8b5581755010c7ce4c9be83f410bdbfaab728675 research/p104-funded-863-return/certificate.py +100644 blob 8af4c466197238dd22dbd10763f11eaf2477824d research/p104-funded-863-return/construct.py +100644 blob f8cb37f00bcd197d77bbb205dae3c1a40c0aa680 research/p104-funded-863-return/derive_grid.py +100644 blob 106de5d91dae49141f5a2317bed104d8ec07b97f research/p104-funded-863-return/frontier.py +100644 blob 5bfb7dc2a181c1ce8c3a29204c10bc5c6c48c6f9 research/p104-funded-863-return/inputs/pr7277.tar.gz +100644 blob 2f93d314459e0aacc48a3072f4c65f36d8b6dbfe research/p104-funded-863-return/packing_reference.py +100644 blob 5ca1d776063db2d674931e4d5f92b8e3c48cd779 research/p104-funded-863-return/price.py +100644 blob 3c4573002537f10b0cffa4a70f4463c1b287acfd research/p104-funded-863-return/source.py +100644 blob a8f8b1fe94d43538d597b5bf17b6eb762f8fdaab research/p104-funded-863-return/verify_caller.py +100644 blob 9f2393f5fe6a1c78637f0542cfeba843413b2735 research/p104-funded-863-return/verify_early.py +100644 blob 48517989abdb534a5f43a1f5e8e1b17e947730dd research/p104-funded-863-return/verify_native.py diff --git a/research/p104-funded-first-read-bound/engines/compare.py b/research/p104-funded-first-read-bound/engines/compare.py new file mode 100644 index 0000000000..9e0430a4d8 --- /dev/null +++ b/research/p104-funded-first-read-bound/engines/compare.py @@ -0,0 +1,79 @@ +"""Reconcile both first-read censuses and price the two terminal coincidences.""" +from argparse import ArgumentParser +from collections import Counter +from fractions import Fraction +from hashlib import sha256 +from json import dumps, loads +from pathlib import Path +from runpy import run_path + +STATUS = { + 'excluded_helper':'protected_h', + 'first_contact_not_source_add':'first_not_add_source', + 'helper_next_not_move':'helper_next_not_move', + 'nonunit_or_no_positive_residual':'not_rank_one_ascent', + 'partner_next_not_move':'partner_next_not_move', + 'partner_not_unprotected_productive_helper':'partner_not_public_productive', + 'zero_residual_after_rank_one':'zero_residual_rank', +} +TARIFF_SHA = 'f4d0b6c9314b838d882d6d06020f24881c19a3fda97a7c00df87b1e920785182' + + +def compare(root): + def read(name): + return loads((root/name).read_bytes()) + p,a,b = read('PRICE.json'),read('CONTACT.json'),read('independent/RESULT.json') + pin = sha256((root/'PRICE.json').read_bytes()).hexdigest() + assert p['head'] == a['head'] == b['head'] + assert a['price_sha256'] == b['price_sha256'] == pin + assert a['events'] == b['visited_events'] == 76461 + assert not any((a['survivors'],b['survivors'],a['unvisited'],b['unvisited_roles'])) + lead = {r['h']:r for r in a['rows']} + exact = {r['h']:r for r in b['records']} + assert set(lead) == set(exact) and len(lead) == len(a['rows']) == len(b['records']) == 1101 + full = [] + for h,x in lead.items(): + y = exact[h] + assert STATUS[x['status']] == y['status'] and x['rank'] == y['rank'] + for primary,independent in [('g','g'),('add','first'),('start','initial'),('end','final'), + ('h_next','next_h'),('g_next','next_g'), + ('lift','helper_destination'),('partner_lift','partner_destination')]: + if primary in x: + assert x[primary] == y[independent] + if x['status'] == 'nonunit_or_no_positive_residual': + assert x['lift'] == x['partner_lift'] == x['end'] + full.append(x) + assert len(full) == 2 + assert sorted(x['rank'] for x in full) == [2,5] + tariff = root/'inputs/7298/pricing.py' + assert sha256(tariff.read_bytes()).hexdigest() == TARIFF_SHA + cost = run_path(str(tariff))['cost'] + k = Fraction(p['crossing_upper']) + stock = [] + for x in full: + d = x['rank'] + parts = [] + for r in range(1,d): + # Split the partner ascent; both roles still transport the + # residual. The helper's productive residual cancels its bill. + delta = Counter({d:17}) + delta[r] -= 17 + delta[d-r] -= 17 + credit = cost(delta,k) + assert credit[1] < 0 + parts.append({'prefix_rank':r,'residual_rank':d-r, + 'credit':list(map(str,credit))}) + stock.append({'h':x['h'],'g':x['g'],'add':x['add'],'final':x['end'], + 'ascent_rank':d,'proper_split_price_only':parts, + 'full_lift_deletion_signed_delta_if_legal':0}) + return {'head':p['head'],'price_sha256':pin,'matched_helpers':len(lead), + 'scope_exhausted':True,'remaining':0,'compatible_saving_upper':0, + 'terminal_coincidences':stock, + 'partial_scope':'split partner paid ascent, keep both residual paid children, no other changes'} + + +if __name__ == '__main__': + parser = ArgumentParser(description=__doc__) + parser.add_argument('root',type=Path) + args = parser.parse_args() + print(dumps(compare(args.root),sort_keys=True,indent=2)) diff --git a/research/p104-funded-first-read-bound/engines/contact_index.py b/research/p104-funded-first-read-bound/engines/contact_index.py new file mode 100644 index 0000000000..d2d0cf685e --- /dev/null +++ b/research/p104-funded-first-read-bound/engines/contact_index.py @@ -0,0 +1,86 @@ +"""Build the authenticated chart and role-contact index for exact #7314.""" +from argparse import ArgumentParser +from collections import Counter, defaultdict +from functools import cache +from gzip import decompress +from hashlib import sha256 +from json import dumps, loads +from pathlib import Path +from time import monotonic + +WORD = 'inputs/7314/WORD.json.gz' +WORD_SHA = 'c404b9b61220e6cf740d85276df2828bbb4a9d68a4d44b5e283f8d96f78c0fd9' + + +def word(root): + raw = (root/WORD).read_bytes() + if sha256(raw).hexdigest() != WORD_SHA: + raise ValueError('Changed literal word') + return loads(decompress(raw)) + + +def helper_roles(w): + main = set(w['live']) + main |= {r+112 for r in w['live']} + main.update(w['hosted']['X2'],w['hosted']['Y2']) + assert len(main) == 400 + return sorted(set(range(w['public']))-main) + + +def spans(w): + @cache + def span(k): + out = {0} + for v in w['frames'][k]: + assert v not in out + out.update(v^a for a in tuple(out)) + return out + return span + + +def build(w,deadline): + pub = w['public'] + active = dict(enumerate(w['initial'])) + roles = defaultdict(list) + counts, moves = Counter(), Counter() + span = spans(w) + complete = True + for clock,e in enumerate(w['program']): + if monotonic() >= deadline: + complete = False + break + op,r,*a = e + counts[op] += 1 + roles[r].append([clock,'destination']) + if op == 'INIT': + assert r >= pub and r not in active + active[r] = a[0] + elif op == 'CLEAR': + assert r >= pub and active.pop(r) == a[0] + elif op == 'MOVE': + start,end,own = a + assert active[r] == start and own == (r >= pub) + assert span(start) < span(end) or (own and span(end) < span(start)) + moves[abs(len(w['frames'][start])-len(w['frames'][end]))] += 1 + active[r] = end + elif op in ('ADD','COPY'): + s = a[0] + assert r != s and active[r] == active[s] == a[-1] + roles[s].append([clock,'source']) + else: + assert op == 'SCALE' and active[r] == a[-1] + if complete: + assert active == dict(enumerate(w['final'])) + return {'word_sha256':WORD_SHA,'events_visited':sum(counts.values()),'complete':complete, + 'event_counts':dict(counts),'paid_native_moves':dict(moves),'roles':dict(roles)} + + +if __name__ == '__main__': + parser = ArgumentParser(description=__doc__) + parser.add_argument('root',type=Path) + args = parser.parse_args() + data = build(word(args.root),monotonic()+18) + if data['complete']: + assert data['events_visited'] == 76461 + assert sum(data['paid_native_moves'].values()) == 6280 + print(dumps(data,sort_keys=True,separators=(',',':'))) diff --git a/research/p104-funded-first-read-bound/engines/entrance_price.py b/research/p104-funded-first-read-bound/engines/entrance_price.py new file mode 100644 index 0000000000..d576287482 --- /dev/null +++ b/research/p104-funded-first-read-bound/engines/entrance_price.py @@ -0,0 +1,111 @@ +"""Directed one-helper entrance price and optimistic whole inventory bound.""" + +from argparse import ArgumentParser +from collections import Counter +from fractions import Fraction +from hashlib import sha256 +from json import dumps, loads +from pathlib import Path +from runpy import run_path + +HEAD = '9d0119eb12fbd9fa534b48cd37b68e7099757b91' +CALLER = '07a76c5e2738882c0cb322278e56f6cae3c9885d' +UPPER = Fraction('0.0036462214364462343366888845568981') +PINS = { + 'admission/ADMITTED.json': '41b8a189dffeb768e5843446cdc469f9cc2f0aa038d0a593cf2be43aa009a9a3', + 'inputs/7113/CALLER.json': '255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc', + 'inputs/7298/pricing.py': 'f4d0b6c9314b838d882d6d06020f24881c19a3fda97a7c00df87b1e920785182', + 'inputs/7314/EARLY-RESULT.json': 'b5043855411432b24336ecc443cba9ebfae6392e2045ddd01c87cfe2c51f5f08', + 'inputs/7314/NATIVE-RESULT.json': '336f463da5afe5b60bfd3b9f0ce8aeea5a5feb1f854613bf4218ba0b28b3371b', + 'inputs/7314/PRICE-ONLY.json': 'b757665a3a50324b2ae6649cc89f5b8d9a752c7af996f1ee894a0de47ade94e1', + 'inputs/7314/WORD.json.gz': 'c404b9b61220e6cf740d85276df2828bbb4a9d68a4d44b5e283f8d96f78c0fd9', +} + + +def unique(items): + record = dict(items) + if len(record) != len(items): + raise ValueError('Duplicate JSON key') + return record + + +def read(raw): + return loads(raw, object_pairs_hook=unique) + + +def authenticate(root): + contents = {} + for path, expected in PINS.items(): + raw = (root / path).read_bytes() + if sha256(raw).hexdigest() != expected: + raise ValueError(f'Changed input {path}') + contents[path] = raw + admission = read(contents['admission/ADMITTED.json']) + assert admission['head'] == HEAD and admission['status'] == 'independently_reproduced_comparable' + assert admission['caller_sha256'] == PINS['inputs/7113/CALLER.json'] + assert set(admission['stages']) == {'early', 'native', 'caller', 'frontier'} + for receipt in [*admission['stages'].values(), admission['source_history']['evidence']]: + assert sha256((root / 'admission' / receipt['path']).read_bytes()).hexdigest() == receipt['sha256'] + return contents + + +def histogram(value): + return Counter({int(rank): n for rank, n in value.items()}) + + +def interval(value): + return list(map(str, value)) + + +def quote(root): + inputs = authenticate(root) + invoice = read(inputs['inputs/7314/EARLY-RESULT.json'])['invoice'] + paid, targets = (histogram(invoice[key]) for key in ('P', 'T')) + helpers = histogram(read(inputs['inputs/7314/NATIVE-RESULT.json'])['native']['helpers']) + assert helpers == {1:18, 2:21, 3:47, 4:225, 5:80, 6:43, 7:19, 8:32, 9:616} + exact = read(inputs['inputs/7314/PRICE-ONLY.json']) + assert exact['head'] == HEAD and Fraction(exact['new_crossing'][1]) == UPPER + assert paid == histogram(exact['paid']) and targets == histogram(exact['productive']) + net = targets.copy() + net.subtract(paid) + assert sum(paid.values()) == 110536 and sum(targets.values()) == 22461 + assert sum(k*v for k,v in net.items()) == invoice['S'] == 1424 + assert invoice['empty_root_credits'] == 0 + directed = run_path(str(root / 'inputs/7298/pricing.py'))['cost'] + baseline = directed(net, UPPER) + assert baseline[1] < 0 + rows = {} + for t in range(2, 10): + delta = Counter({t: -17}) + delta[t-1] += 17 + delta[1] += 17 + new = net.copy() + new.update(delta) + new_with_setup = new.copy() + new_with_setup[1] -= 17 + credit = directed(delta, UPPER) + margin = directed(new, UPPER) + setup_margin = directed(new_with_setup, UPPER) + assert 0 < credit[0] <= credit[1] < 17 + assert margin[0] > 0 > setup_margin[1] + assert sum(k*v for k,v in delta.items()) == 0 + rows[t] = { + 'inventory_upper': helpers[t], 'rank': t, + 'signed_net_delta': dict(delta), 'credit': interval(credit), + 'margin': interval(margin), 'margin_with_extra_rank_one': interval(setup_margin), + } + gross = sum(helpers[t] * Fraction(row['credit'][1]) for t, row in rows.items()) + return {'head': HEAD, 'caller': CALLER, 'claim': '0.003646221436446', 'crossing_upper': str(UPPER), + 'input_sha256': PINS, 'old_margin': interval(baseline), 'paid': dict(paid), + 'targets': dict(targets), 'helpers': dict(helpers), 'copies': 17, + 'rank_prices': rows, 'eligible_stock_upper_before_contact': 1083, + 'whole_optimistic_upper': str(gross), + 'one_edit_optimistic_upper': max((row['credit'][1] for row in rows.values()), key=Fraction), + 'limits': {'roles': 1101, 'seconds': 20, 'contract_survivors': 1, 'contract_seconds': 120}} + + +if __name__ == '__main__': + parser = ArgumentParser(description=__doc__) + parser.add_argument('root', type=Path) + args = parser.parse_args() + print(dumps(quote(args.root), sort_keys=True, indent=2)) diff --git a/research/p104-funded-first-read-bound/engines/funded.py b/research/p104-funded-first-read-bound/engines/funded.py new file mode 100644 index 0000000000..ef76f2a962 --- /dev/null +++ b/research/p104-funded-first-read-bound/engines/funded.py @@ -0,0 +1,123 @@ +"""Bounded first-read common-lift gate using the pinned contact index.""" +from argparse import ArgumentParser +from bisect import bisect_right +from collections import Counter +from fractions import Fraction +from hashlib import sha256 +from json import dumps, loads +from pathlib import Path +from time import monotonic + +from runpy import run_path + +INDEX = run_path(str(Path(__file__).with_name('contact_index.py'))) +WORD_SHA = INDEX['WORD_SHA'] +build, helper_roles, spans, word = (INDEX[key] for key in ('build','helper_roles','spans','word')) + +HEAD = '9d0119eb12fbd9fa534b48cd37b68e7099757b91' +EXCLUDED = {863,1355,1568} + + +def classify(w,index,helpers,deadline): + stock = set(helpers) + t = w['program'] + frames = w['frames'] + span = spans(w) + rows = [] + roles = index['roles'] + for h in helpers: + if len(rows) >= 1101 or monotonic() >= deadline: + break + a,z = w['initial'][h],w['final'][h] + rank = len(frames[z])-len(frames[a]) + assert span(a) < span(z) + own = roles.get(str(h),[]) + item = {'h':h,'rank':rank} + if h in EXCLUDED: + reason = 'excluded_helper' + elif rank < 2: + reason = 'zero_residual_after_rank_one' + elif not own or own[0][1] != 'source' or t[own[0][0]][0] != 'ADD': + reason = 'first_contact_not_source_add' + else: + add = own[0][0] + _,g,s,coef,chart = t[add] + assert s == h and chart == a and Fraction(coef) + item.update({'g':g,'add':add,'start':a,'end':z}) + if g in EXCLUDED or g not in stock: + reason = 'partner_not_unprotected_productive_helper' + else: + other = roles[str(g)] + where = bisect_right(other,[add,'source']) + assert other[where-1] == [add,'destination'] + hnext = own[1][0] if len(own)>1 else None + gnext = other[where][0] if where < len(other) else None + item.update({'h_next':hnext,'g_next':gnext}) + he = t[hnext] if hnext is not None else None + ge = t[gnext] if gnext is not None else None + if he is None or he[0] != 'MOVE': + reason = 'helper_next_not_move' + elif ge is None or ge[0] != 'MOVE': + reason = 'partner_next_not_move' + else: + _,rh,ah,c,oh = he + _,rg,ag,d,og = ge + assert (rh,rg,ah,ag,oh,og) == (h,g,a,a,False,False) + item.update({'helper_move':hnext,'partner_move':gnext,'lift':c,'partner_lift':d}) + if c != d: + reason = 'different_destinations' + elif len(frames[c])-len(frames[a]) != 1 or not span(a) < span(c) < span(z): + reason = 'nonunit_or_no_positive_residual' + else: + reason = 'survivor' + rows.append({**item,'status':reason}) + return rows + + +def controls(): + tape = [['ADD',1,0,'-3/2',0],['MOVE',1,0,1,False],['MOVE',0,0,1,False],['MOVE',0,1,2,False]] + sample = {'public':2,'initial':[0,0],'final':[2,1],'frames':[[],[1],[1,2],[2]],'program':tape} + def first(w): + idx = loads(dumps(build(w,float('inf')))) + return classify(w,idx,[0,1],float('inf'))[0]['status'] + assert first(sample) == 'survivor' + earlier = sample | {'program':[tape[0],['ADD',0,1,'2',0],*tape[1:]]} + assert first(earlier) == 'helper_next_not_move' + mismatch = sample | {'final':[2,3],'program':[tape[0],['MOVE',1,0,3,False],*tape[2:]]} + assert first(mismatch) == 'different_destinations' + + # Two arbitrary, distinct dirty chart arrays and an exact signed map. + def signed(v): + return (-v[1],v[0]) + def add(g,h): + return tuple(x-Fraction(3,2)*y for x,y in zip(g,h,strict=True)) + g,h = (Fraction(4),Fraction(5,7)),(Fraction(2,3),Fraction(8)) + assert signed(add(g,h)) == add(signed(g),signed(h)) + return ['same_lift_positive','intervening_read_blocks','different_lift_blocks','signed_dirty_arrays'] + + +if __name__ == '__main__': + p = ArgumentParser(description=__doc__) + p.add_argument('root',type=Path) + p.add_argument('--price-sha',required=True) + p.add_argument('--index-sha',required=True) + a = p.parse_args() + start = monotonic() + price = (a.root/'PRICE.json').read_bytes() + idx = (a.root/'INDEX.json').read_bytes() + assert sha256(price).hexdigest() == a.price_sha + assert sha256(idx).hexdigest() == a.index_sha + frozen,index = loads(price),loads(idx) + assert frozen['head'] == HEAD and frozen['input_sha256']['inputs/7314/WORD.json.gz'] == WORD_SHA + assert index['word_sha256'] == WORD_SHA and index['complete'] and index['events_visited'] == 76461 + w = word(a.root) + helpers = helper_roles(w) + check = controls() + rows = classify(w,index,helpers,start+18) + assert len(helpers) == 1101 + if len(rows) == len(helpers): + assert Counter(str(row['rank']) for row in rows) == frozen['helpers'] + print(dumps({'head':HEAD,'price_sha256':a.price_sha,'index_sha256':a.index_sha,'events':index['events_visited'], + 'visited':len(rows),'counts':dict(Counter(r['status'] for r in rows)), + 'survivors':[r for r in rows if r['status']=='survivor'], + 'unvisited':helpers[len(rows):],'controls':check,'rows':rows},sort_keys=True,indent=2)) diff --git a/research/p104-funded-first-read-bound/engines/price.py b/research/p104-funded-first-read-bound/engines/price.py new file mode 100644 index 0000000000..ccbc24c157 --- /dev/null +++ b/research/p104-funded-first-read-bound/engines/price.py @@ -0,0 +1,30 @@ +"""Reprice the funded first-read edit on the exact 17-copy invoice.""" +from argparse import ArgumentParser +from fractions import Fraction +from hashlib import sha256 +from json import dumps +from pathlib import Path +from runpy import run_path + +SOURCE = 'inputs/r58/PRICE.json' +SOURCE_PIN = '8d70669e720faabc932366dafbc1bd1fdaef6f088c4eb02b0ea3707ba309ab53' + + +def quote(root): + frozen = (root/SOURCE).read_bytes() + assert sha256(frozen).hexdigest() == SOURCE_PIN + engine = run_path(str(root/'entrance_price.py')) + same = engine['quote'](root) + assert (dumps(same,sort_keys=True,indent=2)+'\n').encode() == frozen + assert all(Fraction(row['credit'][1]) < 1 for row in same['rank_prices'].values()) + return {**same,'scope':'fund the first read using one already-paid partner ascent', + 'source_price_sha256':SOURCE_PIN,'new_paid_calls_per_copy':-1, + 'paid_positions_after':110519,'productive_positions_after':22461, + 'one_edit_cap':1} + + +if __name__ == '__main__': + p = ArgumentParser(description=__doc__) + p.add_argument('root',type=Path) + a = p.parse_args() + print(dumps(quote(a.root),sort_keys=True,indent=2)) diff --git a/research/p104-funded-first-read-bound/engines/reverse_funded_read.py b/research/p104-funded-first-read-bound/engines/reverse_funded_read.py new file mode 100644 index 0000000000..2dd5a96ae0 --- /dev/null +++ b/research/p104-funded-first-read-bound/engines/reverse_funded_read.py @@ -0,0 +1,228 @@ +"""Reverse next-contact census for one funded public helper first read.""" +from argparse import ArgumentParser +from collections import Counter +from fractions import Fraction +from functools import cache +import gzip +from hashlib import sha256 +import json +from pathlib import Path +from time import monotonic + +HEAD = '9d0119eb12fbd9fa534b48cd37b68e7099757b91' +CALLER_HEAD = '07a76c5e2738882c0cb322278e56f6cae3c9885d' +PINS = { + 'WORD.json.gz': 'c404b9b61220e6cf740d85276df2828bbb4a9d68a4d44b5e283f8d96f78c0fd9', + 'CALLER.json': '255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc', + 'ADMITTED.json': '41b8a189dffeb768e5843446cdc469f9cc2f0aa038d0a593cf2be43aa009a9a3', +} +PROTECTED = {863, 1355, 1568} +CASE_LIMIT = 1101 +COOPERATIVE_SECONDS = 18 + + +def unique(rows): + record = dict(rows) + if len(rows) != len(record): + raise ValueError('duplicate JSON key') + return record + + +def load(raw): + return json.loads(raw, object_pairs_hook=unique) + + +def checked(path, digest): + raw = path.read_bytes() + if sha256(raw).hexdigest() != digest: + raise ValueError('changed input: ' + path.name) + return raw + + +def roles_touched(event): + op, field, *args = event + if op in ('ADD', 'COPY'): + assert field != args[0] + return field, args[0] + assert op in ('INIT', 'CLEAR', 'MOVE', 'SCALE'), event + return (field,) + + +def reverse_walk(events, fields, deadline): + first, second, source_reads = [None] * fields, [None] * fields, {} + for clock in reversed(range(len(events))): + if monotonic() >= deadline: + return first, second, source_reads, clock + event = events[clock] + roles = roles_touched(event) + if event[0] == 'ADD': + destination, source = roles + source_reads[source] = (clock, first[destination]) + for field in roles: + assert 0 <= field < fields + second[field] = first[field] + first[field] = clock + return first, second, source_reads, None + + +def pivot_reduce(value, pivots): + while value: + bit = value.bit_length() - 1 + if bit not in pivots: + break + value ^= pivots[bit] + return value + + +def audit(word, deadline): + n = word['public'] + excluded = set(word['live']) | {r + 112 for r in word['live']} + excluded.update(word['hosted']['X2'] + word['hosted']['Y2']) + dimensions = tuple(map(len, word['frames'])) + + @cache + def pivots(chart): + basis = {} + for row in word['frames'][chart]: + value = pivot_reduce(row, basis) + assert value + basis[value.bit_length() - 1] = value + return basis + + def strict_inclusion(a, b): + return dimensions[a] < dimensions[b] and all( + not pivot_reduce(v, pivots(b)) for v in word['frames'][a]) + + helper = {} + for h, (a, z) in enumerate(zip(word['initial'], word['final'], strict=True)): + if h not in excluded: + assert strict_inclusion(a, z), ('invalid productive pair', h, a, z) + helper[h] = (a, z, dimensions[z] - dimensions[a]) + assert len(helper) <= CASE_LIMIT + events = word['program'] + first, second, source, unvisited_clock = reverse_walk(events, n + word['owned_fields'], deadline) + decisions = [] + for h, (a, z, target_rank) in helper.items() if unvisited_clock is None else (): + if monotonic() >= deadline: + break + clock = first[h] + entry = {'h': h, 'initial': a, 'final': z, 'rank': target_rank, + 'first': clock, 'next_h': second[h], 'g': None, 'next_g': None} + if h in PROTECTED: + verdict = 'protected_h' + elif target_rank < 2: + verdict = 'zero_residual_rank' + elif h not in source or source[h][0] != clock: + verdict = 'first_not_add_source' + else: + event = events[clock] + _, g, read, coeff, chart = event + assert read == h and chart == a and Fraction(coeff), ('bad first read', h, clock) + next_h, next_g = second[h], source[h][1] + entry.update(g=g, next_g=next_g) + if g not in helper: + verdict = 'partner_not_public_productive' + elif g in PROTECTED: + verdict = 'protected_g' + elif next_h is None or events[next_h][0] != 'MOVE': + verdict = 'helper_next_not_move' + elif next_g is None or events[next_g][0] != 'MOVE': + verdict = 'partner_next_not_move' + else: + _, hh, ah, ch, oh = events[next_h] + _, gg, ag, cg, og = events[next_g] + assert (hh, gg, ah, ag) == (h, g, a, a) and oh is False and og is False + entry.update(helper_destination=ch, partner_destination=cg) + if ch != cg: + verdict = 'different_destination' + elif dimensions[ch] != dimensions[a] + 1 or not strict_inclusion(a, ch): + verdict = 'not_rank_one_ascent' + elif not strict_inclusion(ch, z): + verdict = 'not_strict_residual' + else: + verdict = 'eligible' + entry['key'] = [h, g, clock, next_h, next_g, a, ch, z] + decisions.append(entry | {'status': verdict}) + remaining = list(helper)[len(decisions):] + return {'events': len(events), 'visited_events': len(events) if unvisited_clock is None else len(events)-unvisited_clock-1, + 'next_unvisited_reverse_clock': unvisited_clock, + 'helpers': len(helper), 'visited_helpers': len(decisions), 'main_hosted_roles': len(excluded), + 'status': 'EXHAUSTED' if not remaining else 'HIT_TIME_CAP', + 'status_counts': dict(Counter(row['status'] for row in decisions)), + 'productive_rank_histogram': dict(Counter(t for a, z, t in helper.values())), + 'unvisited_roles': remaining, + 'unvisited_rank_histogram': dict(Counter(helper[h][2] for h in remaining if h not in PROTECTED and helper[h][2] >= 2)), + 'survivors': [r['key'] for r in decisions if r['status'] == 'eligible'], 'records': decisions} + + +def controls(): + old = [['ADD', 1, 0, '3/5', 0], ['MOVE', 1, 0, 1, False], ['MOVE', 0, 0, 1, False], + ['MOVE', 0, 1, 2, False], ['MOVE', 1, 1, 2, False], ['MOVE', 2, 0, 2, False]] + word = {'public': 3, 'owned_fields': 0, 'live': [], 'hosted': {'X2': [], 'Y2': []}, + 'frames': [[], [1], [1, 2]], 'initial': [0, 0, 0], 'final': [2, 2, 2], 'program': old} + assert audit(word, float('inf'))['survivors'] == [[0, 1, 0, 2, 1, 0, 1, 2]] + wrong = word | {'program': [old[0], ['ADD', 2, 1, '-2', 0], *old[1:]]} + failed = audit(wrong, float('inf')) + assert not failed['survivors'] and failed['records'][0]['status'] == 'partner_next_not_move' + earlier = word | {'program': [['ADD', 2, 0, '-2', 0], *old]} + failed = audit(earlier, float('inf')) + assert not failed['survivors'] and failed['records'][0]['first'] == 0 + + different = word | {'frames': [[], [1], [1, 2], [2]], + 'program': [old[0], ['MOVE', 1, 0, 3, False], *old[2:4], + ['MOVE', 1, 3, 2, False], old[-1]]} + failed = audit(different, float('inf')) + assert not failed['survivors'] and failed['records'][0]['status'] == 'different_destination' + + def forward(values, changed): + h, g = values[:2], values[2:] + phase = lambda xy: (-xy[1], xy[0]) + add = lambda a, b: tuple(x + Fraction(3, 5) * y for x, y in zip(a, b, strict=True)) + return (*phase(h), *add(phase(g), phase(h))) if changed else (*phase(h), *phase(add(g, h))) + + columns = [tuple(int(j == i) for j in range(4)) for i in range(4)] + dirty = (Fraction(7, 3), Fraction(-4, 5), Fraction(-9, 2), Fraction(11, 7)) + assert all(forward(column, False) == forward(column, True) for column in [*columns, dirty]) + def adjoint(values, changed): + h, g = values[:2], values[2:] + inverse_phase = lambda xy: (xy[1], -xy[0]) + add = lambda a, b: tuple(x + Fraction(3, 5) * y for x, y in zip(a, b, strict=True)) + head = inverse_phase(add(h, g)) if changed else add(inverse_phase(h), inverse_phase(g)) + return (*head, *inverse_phase(g)) + + assert all(adjoint(column, False) == adjoint(column, True) for column in [*columns, dirty]) + return {'dirty_signed_transport_and_adjoint': True, 'earlier_source_read': True, + 'intervening_partner_source': True, 'different_destination': True} + + +def main(): + parser = ArgumentParser(description=__doc__) + parser.add_argument('--inputs', type=Path, default=Path('inputs')) + parser.add_argument('--price', type=Path) + parser.add_argument('--price-sha') + parser.add_argument('--controls-only', action='store_true') + args = parser.parse_args() + assert __debug__ + ctl = controls() + if args.controls_only: + print(json.dumps(ctl, sort_keys=True)) + return + if args.price is None or args.price_sha is None: + parser.error('saved directed price and digest required before decoding') + deadline = monotonic() + COOPERATIVE_SECONDS + price = load(checked(args.price, args.price_sha)) + assert price['head'] == HEAD and price.get('caller_head', price.get('caller')) == CALLER_HEAD + raw = {name: checked(args.inputs / name, digest) for name, digest in PINS.items()} + admission = load(raw['ADMITTED.json']) + assert admission['head'] == HEAD and admission['caller_sha256'] == PINS['CALLER.json'] + assert admission['status'] == 'independently_reproduced_comparable' + caller = load(raw['CALLER.json']) + assert caller['stages'] == 17 + result = audit(load(gzip.decompress(raw['WORD.json.gz'])), deadline) + assert result['helpers'] == CASE_LIMIT + print(json.dumps(result | {'head': HEAD, 'caller_head': CALLER_HEAD, 'price_sha256': args.price_sha, + 'input_sha256': PINS, 'controls': ctl}, sort_keys=True, indent=2)) + + +if __name__ == '__main__': + main() diff --git a/research/p104-funded-first-read-bound/inputs/7113/CALLER.json.gz b/research/p104-funded-first-read-bound/inputs/7113/CALLER.json.gz new file mode 100644 index 0000000000..290ef7c9c5 Binary files /dev/null and b/research/p104-funded-first-read-bound/inputs/7113/CALLER.json.gz differ diff --git a/research/p104-funded-first-read-bound/inputs/7298/pricing.py b/research/p104-funded-first-read-bound/inputs/7298/pricing.py new file mode 100644 index 0000000000..40ec194017 --- /dev/null +++ b/research/p104-funded-first-read-bound/inputs/7298/pricing.py @@ -0,0 +1,82 @@ +"""Directed interval arithmetic and the retained signed BIT invoice.""" +from collections import Counter +from fractions import Fraction +from functools import cache + +TARGET = "10018846261809/2500000000000000" +SCALE = 10**49 + + +def rounded(x, upper): + scaled = SCALE*x + if upper: + return Fraction(-((-scaled.numerator) // scaled.denominator), SCALE) + return Fraction(scaled.numerator // scaled.denominator, SCALE) + + +@cache +def log_bounds(x): + z = (x-1)/(x+1) + terms = 60 + exact_partial = 2*sum(z**(2*i+1)/(2*i+1) for i in range(terms)) + tail = 2*z**(2*terms+1)/((2*terms+1)*(1-z*z)) + return rounded(exact_partial, False), rounded(exact_partial+tail, True) + + +@cache +def power_bounds(rank, k): + binary = 2**(rank.bit_length()-1) + shift = binary.bit_length()-1 + l2, u2 = log_bounds(Fraction(2)) + lo, hi = log_bounds(Fraction(rank, binary)) + lo, hi = k*(lo+shift*l2), k*(hi+shift*u2) + assert 0 <= lo <= hi < 1 + + def exponential(z, terms): + total = term = Fraction(1) + for i in range(1, terms+1): + term *= -z/i + total += term + return total + + return rounded(rank*exponential(hi, 35), False), rounded(rank*exponential(lo, 34), True) + + +def cost(hist, k): + lower = upper = Fraction(0) + for r, n in hist.items(): + a, b = (n*x for x in power_bounds(r, k)) + lower += min(a, b) + upper += max(a, b) + return lower, upper + + +def profile(invoice, native, word, ranks): + copies = invoice["native_calls"] + assert copies == len(invoice["native_instances"]) == 36 + assert {tuple((r["stage"], r["copy"])) for r in invoice["native_instances"]} == { + (stage, which) for stage in range(1, 19) for which in (0, 1) + } + assert all(r["ports"] == 111 for r in invoice["native_instances"]) + assert native == Counter({int(r): n for r, n in invoice["native_paid"].items()}) + assert sum(native.values()) == 2871 + caller_paid = {1: 444, **{r: 444 for r in range(7, 57, 7)}} + assert invoice["event_counts"]["QUERY"]*111 == caller_paid[1] + assert invoice["event_counts"]["IDLE_ONE"]*111 == 8*444 + full_paid = Counter({r: copies*n for r, n in native.items()}) + full_paid.update(caller_paid) + + helpers = Counter(ranks[word["final"][j]]-ranks[word["start"][j]] + for j in range(222, word["public"])) + assert helpers == Counter({int(r): n for r, n in invoice["native_helpers"].items()}) + caller_targets = {**{r: 444 for r in range(8, 65, 7)}, 127: 222} + full_targets = Counter({r: copies*n for r, n in helpers.items()}) + full_targets.update(caller_targets) + assert full_paid == Counter({int(r): n for r, n in invoice["paid"].items()}) + assert full_targets == Counter({int(r): n for r, n in invoice["targets"].items()}) + assert sum(full_paid.values()) == invoice["paid_jobs"] + assert sum(full_targets.values()) == invoice["productive_fields"] + signed = full_targets.copy() + signed.subtract(full_paid) + assert sum(r*n for r, n in signed.items()) == invoice["rank_surplus"] + return signed, copies diff --git a/research/p104-funded-first-read-bound/inputs/7314/EARLY-RESULT.json b/research/p104-funded-first-read-bound/inputs/7314/EARLY-RESULT.json new file mode 100644 index 0000000000..8cf1ee78a8 --- /dev/null +++ b/research/p104-funded-first-read-bound/inputs/7314/EARLY-RESULT.json @@ -0,0 +1,206 @@ +{ + "gate": { + "BIT_margin": "12046856355393/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16517900000000000000000", + "alpha": [ + 0.9999999999999998, + 0.9999999999999998 + ], + "claim": "1823110718223/500000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.9081461367171214, + 0.9081461367171214 + ], + "derivative_upper": -381546.5927436644, + "gamma": [ + 0.9407393126876238, + 0.9407393126876238 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "1823110718223/500000000000000": [ + "62199823785454617404050413610879573497101540469470466310265301482514882780289/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "31099911892727308702025206805439786748550770234735233155132650741257441390639/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364622143644607/100000000000000000": [ + "62199823785455760548283029629425652271182947497890099842961066550326877196323/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62199823785455760548283029629425652271182947497890099842961066550326877197293/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2237, + "moment_margin_float": { + "1823110718223117168344442278449/500000000000000000000000000000000": [ + 3.035135252901442e-30, + 3.035135252901442e-30 + ], + "364622143644607/100000000000000000": [ + 6.370040979946812e-11, + 6.370040979946812e-11 + ], + "36462214364462343366888845568981/10000000000000000000000000000000000": [ + -3.5727000111902154e-29, + -3.5727000111902154e-29 + ] + }, + "moment_margins": { + "1823110718223117168344442278449/500000000000000000000000000000000": [ + "303513525290144208808809854418722107591720131469279/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "151756762645072104404404927209361053795860085026633/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "364622143644607/100000000000000000": [ + "127400819598936229241387740801953278371059000626763310726662825432647/2000000000000000000000000000000000000000000000000000000000000000000000000000000", + "637004097994681146206938704009766391855295003133816553633314131040793/10000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36462214364462343366888845568981/10000000000000000000000000000000000": [ + "-3572700011190215606995802912829743599368967798093399/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "-3572700011190215606995802912829743599368967759501337/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "1823110718223117168344442278449/500000000000000000000000000000000", + "36462214364462343366888845568981/10000000000000000000000000000000000" + ], + "tested": "364622143644607/100000000000000000", + "written_log_power": 2238 + }, + "invoice": { + "P": { + "1": 68401, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3791, + "40": 416, + "48": 416, + "5": 5882, + "56": 416, + "6": 221, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "S": 1424, + "T": { + "1": 306, + "137": 208, + "17": 416, + "2": 357, + "25": 416, + "3": 799, + "33": 416, + "4": 3825, + "41": 416, + "49": 416, + "5": 1360, + "57": 416, + "6": 731, + "65": 416, + "7": 323, + "73": 208, + "8": 544, + "9": 10888 + }, + "empty_root_credits": 0 + }, + "native": { + "bad_inputs": [], + "events": 76461, + "helpers": { + "1": 18, + "2": 21, + "3": 47, + "4": 225, + "5": 80, + "6": 43, + "7": 19, + "8": 32, + "9": 616 + }, + "lifetimes": 72, + "owned_peak": 50, + "paid": { + "1": 4001, + "2": 853, + "3": 829, + "4": 223, + "5": 346, + "6": 13, + "7": 10, + "8": 5 + }, + "public": 1501, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + } + }, + "native_delta": { + "P": { + "1": 1, + "6": -1 + }, + "T": { + "4": 1, + "9": -1 + } + }, + "packing": { + "ambient_cap": 145, + "claimed_fraction": [ + "244693778492339257344/389839057952880859375", + "122346889246169628672/194919528961181640625" + ], + "raw_ceiling": [ + "6387123125/1099511627776", + "12774246251/2199023255552" + ], + "remainder_rank_mass": 109088 + }, + "pending": [ + "fresh integer grid", + "all affected physical chart maps", + "complete caller replay", + "ordinary and precision bounds", + "full source application" + ], + "price": { + "baseline_rejects_new_claim": true, + "candidate_margin_at_old_upper": [ + "10688821095393814022267370482288894778088114926165761408381908203003902548866221/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "10688821095393814022267370482288894778088114926165761408381908203003902565843963/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003646221436446", + "gain": "5.51507748E-7", + "gain_exact": "137876937/250000000000000", + "independent_raw_bracket": [ + "0.003646221436446234336688884556898", + "0.00364622143644623433668888455689801" + ], + "previous_claim": "1822834964349/500000000000000", + "raw_bracket": [ + "0.003646221436446234336688884556898", + "0.0036462214364462343366888845568981" + ] + }, + "status": "PASS_EXACT_NATIVE_AND_PRICE_ONLY", + "word_sha256": "0358b9f6e0340fb3e5aa46c747c558b32a5280cbf9cd92c3b9de627dd18a9a4f" +} diff --git a/research/p104-funded-first-read-bound/inputs/7314/NATIVE-RESULT.json b/research/p104-funded-first-read-bound/inputs/7314/NATIVE-RESULT.json new file mode 100644 index 0000000000..311051d32c --- /dev/null +++ b/research/p104-funded-first-read-bound/inputs/7314/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": [ + [ + 739, + 240 + ] + ], + "rechecked_pairs": [ + { + "columns": 512, + "pair": [ + 3, + 127 + ], + "rank": 9 + }, + { + "columns": 512, + "pair": [ + 3, + 240 + ], + "rank": 4 + }, + { + "columns": 512, + "pair": [ + 240, + 127 + ], + "rank": 5 + }, + { + "columns": 512, + "pair": [ + 739, + 127 + ], + "rank": 6 + }, + { + "columns": 512, + "pair": [ + 739, + 240 + ], + "rank": 1 + } + ], + "wrong_phase_rejected": true + }, + "controls": { + "extra_uncharged_owned_lifetime": true, + "insufficient_fractional_grid": true, + "insufficient_odd_grid": true, + "omitted_accumulator_init": true, + "omitted_early_863_correction": true, + "omitted_paid_split_correction": true, + "omitted_retiring_output_frame": true, + "public_erasure_rejected": true, + "wrong_boundary_scalar_coefficient": true, + "wrong_move_source": true + }, + "derived_grid": { + "coefficient_visits": 16449663, + "fractional_bits": 25, + "mass_witness": [ + 66229, + "stored" + ], + "odd_scale": 1125, + "scaled_maximum_mass": "841374570120675/8192", + "unscaled_maximum_mass": "11218327601609/122880" + }, + "forward": { + "coefficient_positions": 2461761, + "fractional_bits": 25, + "grid": 1125, + "rows": 1569 + }, + "gate": { + "BIT_margin": "12109962247593/100000000000000000", + "BIT_pin": "376669/100000000", + "H": "16517900000000000000000", + "alpha": [ + 0.9999999999999999, + 0.9999999999999999 + ], + "claim": "911397594381/250000000000000", + "compiler_gap": "1/100000000000000000", + "delta": [ + 0.8879932015866077, + 0.8879932015866077 + ], + "derivative_upper": -406816.5754005488, + "gamma": [ + 0.9498990586133585, + 0.9498990586133585 + ], + "input_lift": { + "derivative_upper_on_required_interval": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "interval_kappa_cap": "376669/100000000", + "margins": { + "364559037752407/100000000000000000": [ + "62189518115334225392513720993924984321020648331643013079733381591766592188379/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "124379036230668450785027441987849968642041296663286026159466763183533184378651/100000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "911397594381/250000000000000": [ + "124379036230666164461437854729028185889151547118829761222491915394248202500373/100000000000000000000000000000000000000000000000000000000000000000000000000000000", + "62189518115333082230718927364514092944575773559414880611245957697124101251173/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "source_BIT_wide_crude_bound_would_be": "-2299831290525933154178526076272396899996972093654613095735772838275432653960006518819/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000" + }, + "minimum_log_power": 2237, + "moment_margin_float": { + "364559037752407/100000000000000000": [ + 2.8575497126959226e-11, + 2.8575497126959226e-11 + ], + "36455903775241390574402317277409/10000000000000000000000000000000000": [ + 1.4978267490717924e-29, + 1.4978267490717924e-29 + ], + "3645590377524139057440231727741/1000000000000000000000000000000000": [ + -2.6401049540252044e-29, + -2.6401049540252044e-29 + ] + }, + "moment_margins": { + "364559037752407/100000000000000000": [ + "1428774856347961291720838253843447480135975275625435689470865930650233/50000000000000000000000000000000000000000000000000000000000000000000000000000000", + "1428774856347961291720838253843447480135975275625435689470865951469647/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "36455903775241390574402317277409/10000000000000000000000000000000000": [ + "149782674907179236223769629027008059980315980486151/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "374456687267948090559424072567520149950789961703257/25000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "3645590377524139057440231727741/1000000000000000000000000000000000": [ + "-330013119253150520253778708754377315400283738435137/12500000000000000000000000000000000000000000000000000000000000000000000000000000", + "-1320052477012602081015114835017509261601134932590357/50000000000000000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "outer": { + "BIT_just_below_effective_rejected": true, + "functional_count": 4, + "minimum_margin": "1/1000000000000000000", + "strict_count": 54 + }, + "raw_bracket": [ + "36455903775241390574402317277409/10000000000000000000000000000000000", + "3645590377524139057440231727741/1000000000000000000000000000000000" + ], + "tested": "364559037752407/100000000000000000", + "written_log_power": 2238 + }, + "grid": { + "dyadic_height": 25, + "maximum_scaled_mass": "841374570120675/8192", + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "odd_grid_lcm": 1125, + "opcodes": { + "ADD": 66310, + "CLEAR": 72, + "COPY": 1, + "INIT": 72, + "MOVE": 6280, + "SCALE": 3726 + }, + "owned_lifetimes": 72, + "owned_peak": 50, + "owned_rise_mass": 56, + "owned_rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + }, + "paid": { + "1": 4001, + "2": 853, + "3": 829, + "4": 223, + "5": 346, + "6": 13, + "7": 10, + "8": 5 + } + }, + "invoice": { + "P": { + "1": 72402, + "16": 416, + "2": 15354, + "24": 416, + "3": 14922, + "32": 416, + "4": 4014, + "40": 416, + "48": 416, + "5": 6228, + "56": 416, + "6": 234, + "64": 416, + "7": 180, + "8": 762, + "9": 32 + }, + "S": 1520, + "T": { + "1": 324, + "145": 208, + "17": 416, + "2": 378, + "25": 416, + "3": 846, + "33": 416, + "4": 4050, + "41": 416, + "49": 416, + "5": 1440, + "57": 416, + "6": 774, + "65": 416, + "7": 342, + "73": 416, + "8": 576, + "9": 11504 + }, + "empty_root_credits": 0, + "no_E_credit_crossing": "0.0036455903775241390574402317277409361974739203829259204700772948439", + "raw_crossing": "0.0036455903775241390574402317277409361974739203829259204700772948439" + }, + "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": 76461, + "helpers": { + "1": 18, + "2": 21, + "3": 47, + "4": 225, + "5": 80, + "6": 43, + "7": 19, + "8": 32, + "9": 616 + }, + "lifetimes": 72, + "owned_peak": 50, + "paid": { + "1": 4001, + "2": 853, + "3": 829, + "4": 223, + "5": 346, + "6": 13, + "7": 10, + "8": 5 + }, + "public": 1501, + "rises": { + "1": 10, + "2": 4, + "3": 1, + "4": 6, + "5": 1, + "6": 1 + } + }, + "ordinary": { + "caller_items": { + "A": { + "envelope": 124674048, + "field_boundary": 94848, + "fused_routes": 0, + "idle_routes": 185472000, + "output_routes": 229056000, + "query_routes": 1152000, + "thin": 6144 + }, + "B": { + "envelope": 39515136, + "field_boundary": 7904, + "fused_routes": 1168000, + "idle_routes": 19552000, + "output_routes": 19088000, + "query_routes": 0, + "thin": 0 + } + }, + "caller_total": 619786080, + "conservative_total": 856689856, + "extra_B_scalar_surcharge": 784256, + "init_clear_allowance": 288, + "lambda_paid_rank1_would_reduce_S_by": 14384, + "lambda_second_charge": 14384000, + "margin_to_billion": 143310144, + "odd_divisions": { + "ADD": 5829, + "SCALE": 71 + }, + "per_input_conversion": 2809872, + "raw_upper": 838711728, + "route_items": { + "first_main_adapter": 416, + "first_main_boundary": 208, + "helper_boundary": 2202, + "moves": 6280, + "owned_lifetime": 288, + "second_main_adapter": 384, + "second_main_boundary": 192 + }, + "routing": 9970000, + "scalar_upper": 2192536 + }, + "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": "28595300826782269391059250959921247689480005784482171679518077085799267656319776208458731891540152678207772948847319920886616241984046272497597970354776573072413795144544251804172640116087213019422623182882584479427057715844875080284048206586714906524506217850708454496858937577111195703798633216883629244822389476508323681394817/58140432535632220280812520816662271754240000000000000000000", + "strict_power_of_two": 896, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Gamma_context": { + "exact": "18428357324771952079351199610039986574675414852670015817218434394231077600003180822801951428210793458749701139042699380967292168342526398059050917693323781960266114229015481871649850013330219393242002346295891139634054824734000674390055177279787441873857279667366389511141183170357366645217631919760140166755109423298547043944570397/279074076171034657347900099919978904420352000000000000000000", + "strict_power_of_two": 903, + "witness": { + "cut": 5112, + "factor": "1", + "kind": "public-return", + "register": 75 + } + }, + "M_caller": { + "exact": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "strict_power_of_two": 619, + "witness": { + "cut": 5076, + "event": 5075, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "M_context": { + "exact": "348540206802441029383180567381616962994361707378519729948872450078388639806397559744485202846921927759127413687369540360634023703329497163761218808641393327752667808284432588106184291137397519995196821791565774921314811136085532887422603929002428685861931794212015555460058614010069457685206944947441958156145950988276320379147660016349/2480658454853641398648000888177590261514240000000000000000000", + "strict_power_of_two": 915, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + }, + "M_joint_entrance": { + "exact": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "strict_power_of_two": 612, + "witness": { + "cut": 4982, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": 39 + } + }, + "Sigma_caller": { + "exact": "18428357324771952079351199610039986574675414852670015817218434394231077600003180822801951428210793458749701139042699380967292168342526398059050917693323781960266114229015481871649850013330219393242002346295891139634054824734000674390055177279787441873857279667366389511141183170357366645217631919760140166755109423298547043944570397/279074076171034657347900099919978904420352000000000000000000", + "strict_power_of_two": 903, + "witness": { + "cut": 5098, + "event": 5097, + "factor": "1", + "kind": "stored", + "register": 75 + } + }, + "Sigma_context": { + "exact": "2257207373869174536674022406304862255547369881507844023150019465616146110988404499172790906051720351440537341180184767240509908124595941815438989209739548866719692362572721429034547632365961358275209410445779469474530600836494383676438677134931384925905862571962842471393157131054709641514459492052597870339599875245468002627897227016120636581400289151525190027136918928213345044736998943486088046541108356024212765162824835963990444251252626932054135032227587974549368977279939/528173421161000257405168428989428514420554051672205145781746293186897519837184000000000000000000000000000000000000000", + "strict_power_of_two": 1198, + "witness": { + "cut": 4983, + "event": 4982, + "factor": "1", + "kind": "stored", + "register": null + } + } + }, + "fresh_arbitrary_helpers": 19818, + "helper_allocation_premise": "distinct (stage, helper) public inputs as in frozen caller proof", + "independent_adjoint": { + "E_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "28595300826782269391059250959921247689480005784482171679518077085799267656319776208458731891540152678207772948847319920886616241984046272497597970354776573072413795144544251804172640116087213019422623182882584479427057715844875080284048206586714906524506217850708454496858937577111195703798633216883629244822389476508323681394817/58140432535632220280812520816662271754240000000000000000000" + }, + "Gamma_context": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "18428357324771952079351199610039986574675414852670015817218434394231077600003180822801951428210793458749701139042699380967292168342526398059050917693323781960266114229015481871649850013330219393242002346295891139634054824734000674390055177279787441873857279667366389511141183170357366645217631919760140166755109423298547043944570397/279074076171034657347900099919978904420352000000000000000000" + }, + "M_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528104995/131072", + "residual_mass": "18428357324771952079351199610039986574675414852670015817218434394231077600003180822801951428210793458749701139042699380967292168342526398059050917693323781960266114229015481871649850013330219393242002346295891139634054824734000674390055177279787441873857279667366389511140904096281195610560284019660220187850689071298547043944570397/279074076171034657347900099919978904420352000000000000000000" + }, + "M_joint_entrance": { + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "joint_coefficient": "3341262452763736608333208973454412950850413153418406702391448781717870354386212730465850137279766193453853839111325961239001898880600732238129365028446669327062277635590277335176110963/4096", + "primitive_coefficient": "97386365324171280012900240624596584740208335418838768849197300645798627964098858911945347609583363839763283834626254278123625524137460265198827318958269714035256037492260512470970582090841/16384", + "residual_mass": "28595300826782269391059250959921247689480005784482171679518077085799267656319776208458731891540152678207772948847319920886616241984046272497597970354776573072413795144544251804172640116087213019422623182882584479427057715844875080284048206586714906524506217850708454496858937577111195703798633216883629244822389476508323681394817/58140432535632220280812520816662271754240000000000000000000" + }, + "Sigma_caller": { + "entrance_mass": "71139049377586862629418871698937610393019572652137611543732392122728862032234875850426792200611955874649536689056011773263916935707559511365401032013880904413645069177668118198332454710167691/32768", + "joint_coefficient": "3588816846070975662189139150385916018049768310935423284247506919489598097879366381598784768436344948623399851427080856173768395141863135887379886323692161717893814936281078874126758254305/32768", + "primitive_coefficient": "104601728656160061800829059188189517089489205649710398563826603344774845615386975930430446869514605732253126838851071709850611632285445276658068751933727423823199247050168422471008254528236067/131072", + "residual_mass": "18428357324771952079351199610039986574675414852670015817218434394231077600003180822801951428210793458749701139042699380967292168342526398059050917693323781960266114229015481871649850013330219393242002346295891139634054824734000674390055177279787441873857279667366389511141183170357366645217631919760140166755109423298547043944570397/279074076171034657347900099919978904420352000000000000000000" + } + }, + "joint_entries": [ + { + "entrance_defect": "4384", + "entrance_mass": "23859/2", + "event": 49, + "stage": 1 + }, + { + "entrance_defect": "3623495721786068498704681967630352920813759099531423485995245251980264586976449730521259717842685587344920468677461550748390932731690393060881733108187/10645831152764688772121433255004078080000000000000000000", + "entrance_mass": "44760984243/4", + "event": 144, + "stage": 2 + }, + { + "entrance_defect": "10386939887090450903504006100370346574350231082366433386108141374335788934856378545069113809669219209327464220368778737211615665403590678273194105995192669621873/681333193776940081415771728320260997120000000000000000000", + "entrance_mass": "8019347752894898813/16", + "event": 275, + "stage": 3 + }, + { + "entrance_defect": "134042151073916405798679094293287291562819345314335426624975090230999295635020259931192850058894345408211489300259161080322534289373342663702899500085587287733170202421/34066659688847004070788586416013049856000000000000000000", + "entrance_mass": "258721681913211409397548013/2", + "event": 435, + "stage": 4 + }, + { + "entrance_defect": "476112983851050353401513517032648375902350350897458290072896776702429457870772142308566277158687346954931738518442543082026694334425332892485871835443328944042085971889046682237/227111064592313360471923909440086999040000000000000000000", + "entrance_mass": "1102764325780487636837595009524032653/16", + "event": 627, + "stage": 5 + }, + { + "entrance_defect": "854463122892133682404939116946287570232243867375524413471638659398293849794369017958359541489093371391780235596222106994122521684145636460565643519377875444849730586573011618754822547611/170333298444235020353942932080065249280000000000000000000", + "entrance_mass": "659697369868562418053848749577901431896032551/4", + "event": 848, + "stage": 6 + }, + { + "entrance_defect": "12956934941431119892164467076479652628140588574648803789716797899569869701308928246289254110508478185254493720535081883807089371997578033821260980475023436332649078231691374562651602979496827769989/1090133110043104130265234765312417595392000000000000000000", + "entrance_mass": "50017699262951285012300223375874644326538714050483088723/128", + "event": 1101, + "stage": 7 + }, + { + "entrance_defect": "53476198363569923914094451915271652137766912772246750531506217458444746478905113746344404258383769702732801633321103892943828075826386090929002206150727398988056270780587096298899940999855203191721607735803/454222129184626720943847818880173998080000000000000000000", + "entrance_mass": "123860608372223676361208276303474840021608894935793894644443117475/32", + "event": 1383, + "stage": 8 + }, + { + "entrance_defect": "578832096916718397027416200878120838057664214358238876857607478289214475465865262540045843393385131919721616985292132847013645661361337138171727789578923078661355979414955824626926663692279517993582192752472936031627/2725332775107760325663086913281043988480000000000000000000", + "entrance_mass": "446893495694686287960280473450842802655971489871616126572592413520841719161/64", + "event": 1662, + "stage": 9 + }, + { + "entrance_defect": "16612443029841999926469101075306299323581517337879278666799818710881167711573161820952862178202713545544332321801462381766459501157064404967184960820362554706260496218529838965134474372149555252142974942038791855960991085701789660993288592814591408363370234811/681333193776940081415771728320260997120000000000000000000", + "entrance_mass": "1603226733879417057855793968966209778425632456862348198524030211565823693253398434234475406089669867705587698766845597/2", + "event": 3203, + "stage": 10 + }, + { + "entrance_defect": "207225602575870653891528735480318901830087144091990419348645735748712155348575326726618420506938206509500734221758814589133060816646779121925564667299834263542582995593107973205898950567204800674072375465063941840000386511732462735301468772775815339689800820091849926629/10901331100431041302652347653124175953920000000000000000000", + "entrance_mass": "159990737255009044304340266028013949411590186711547802615104749842798991699729693917477577741470706009608765481680513095697397863/256", + "event": 3526, + "stage": 11 + }, + { + "entrance_defect": "924127557693686429266407613586233306707314078879617494116585261204289133181486745374925637532390476172821664708199043620289062772832822099555579916604215951528134163698670071440663150511663536504949140431999469371156843742780578068319824513831023413082557551208040427838755048749/43605324401724165210609390612496703815680000000000000000000", + "entrance_mass": "713482539972112811302498126039122556478474335397824876612540289480809876975347015211250548661355667282704396311981650378099911649135840063/1024", + "event": 3821, + "stage": 12 + }, + { + "entrance_defect": "99391708241956622463769073031859617304881753463702592708127584208492503724689323527526177908815744680078979082102127788960185095730702707568739656436092944624149345684564044121999894716299704413716727602625255896578985631436329761574292585125679408437042351213213353668953286124596649871/4845036044636018356734376734721855979520000000000000000000", + "entrance_mass": "690627858377635566118234917748020783796286454330854789097666289598705747090709204201800639258908872647850357504982405971722609074791401430947671165/1024", + "event": 4088, + "stage": 13 + }, + { + "entrance_defect": "609880854726747644230836615491117931677025702713638038466082362901451979744645288237218158251057412173328673674236241978735201901358998377260317223223044534631776951300743116661672957026639895576903393248275632032548008424566890949920212754935535621861627729080131250874919422070533503695495893173/87210648803448330421218781224993407631360000000000000000000", + "entrance_mass": "470865020405587123936906066570155601953174646068287322382245101819760273515813542612024822098129182481570490831889396523550001544922531326945370763196989399/2048", + "event": 4324, + "stage": 14 + }, + { + "entrance_defect": "60183960291214198543497908564886417499765730006926197762260721436132503104294261548398901774780797451375095502380577005451322863537446289943147149126086776522262578414956883627869045801266268646641717042033682061791467834090126511122046284382290156093337307377479304471864559104087451756099342643489576939/43605324401724165210609390612496703815680000000000000000000", + "entrance_mass": "46465668615402712050475352820015987705766128000689019237904160504542353131957951954454381327545881694314550682714483945959032017848349099581053150524269011108711881/1024", + "event": 4532, + "stage": 15 + }, + { + "entrance_defect": "29400165825855189190167125566681975891889251722765562962401511014394520978735570108883435118694089568772569075890392760421843772315686634226645272360644801758249574275279575044204319939056707766480810451658225117507971414777295304935107679788634977543883966899057405908151323460592863069619152549551464629493165581/348842595213793321684875124899973630525440000000000000000000", + "entrance_mass": "22698711681515933658235268009935719580127806482189476469420786919611768582281970304620813093468639555288906634046185136362302550495196405154606658307111274865117192668126623/8192", + "event": 4709, + "stage": 16 + }, + { + "entrance_defect": "60712716646587476122570902113824637473983229876817853449285129401351813180675053836428264135664506077123253203711225286737801486016462460832935253581014024317433071115924747084100447011224854968353035184677905756437210306117463056534574486055058407398686157676917882014084555581005965807753437383270115276507293642038419/69768519042758664336975024979994726105088000000000000000000", + "entrance_mass": "234369503003028720835110712559034466962392865438574454855472632480300248897620917700915501102797005900029816899906431175273180672543487679750570754841237111980601879269511857634373/8192", + "event": 4858, + "stage": 17 + }, + { + "entrance_defect": "28595300826782269391059250959921247689480005784482171679518077085799267656319776208458731891540152678207772948847319920886616241984046272497597970354776573072413795144544251804172640116087213019422623182882584479427057715844875080284048206586714906524506217850708454496858937577111195703798633216883629244822389476508323681394817/58140432535632220280812520816662271754240000000000000000000", + "entrance_mass": "66231921216838714175335242310174311625441766070329537281095337280001689425837300045521194678022507207573740758259597518292006513594483309822197449388620837179777160688120985448681075810705/4096", + "event": 4982, + "stage": 18 + } + ], + "physical_main_inputs": 3952, + "sites": { + "ADD": 4102, + "IDLE_ODD": 4, + "IDLE_ONE": 96, + "J": 18, + "LAMBDA": 214, + "QUERY": 4, + "SCALE": 298, + "SWAP": 376, + "noninteger_scalar": 1562 + } + }, + "rounded_native": { + "bounds": { + "Gamma": { + "exact": "25674697421445809203539137167811132357977758958212040487173230912983430904453661708067086085426516641634600853960811122828804393350365214310688177/42583324611058755088485733020016312320000000000000000000", + "strict_power_of_two": 299, + "witness": { + "cut": 76461, + "factor": "1", + "kind": "public-return", + "register": 1498 + } + }, + "M": { + "exact": "78936304518785868631856168498398162052978831967890233180023473633581705933591983372987652082069755802601452590795256869341056731870304348345574361667/9084442583692534418876956377603479961600000000000000000000", + "strict_power_of_two": 303, + "witness": { + "cut": 76425, + "factor": "1", + "kind": "stored", + "register": 1498 + } + }, + "Sigma": { + "exact": "25674697421445809203539137167811132357977758958212040487173230912983430904453661708067086085426516641634600853960811122828804393350365214310688177/42583324611058755088485733020016312320000000000000000000", + "strict_power_of_two": 299, + "witness": { + "cut": 76425, + "factor": "1", + "kind": "stored", + "register": 1498 + } + } + }, + "census": { + "denominator_bits": 20, + "events": 76461, + "lifetimes": 72, + "max_denominator": 655360, + "max_numerator": 14729531, + "numerator_bits": 24, + "opcodes": { + "ADD": 66310, + "CLEAR": 72, + "COPY": 1, + "INIT": 72, + "MOVE": 6280, + "SCALE": 3726 + }, + "owned_labels": 68, + "peak_owned": 50, + "public": 1501, + "scalars": { + "dyadic": 64137, + "integer": 39783, + "noninteger": 30254, + "odd": 5900 + } + }, + "independent_adjoint": { + "Gamma": { + "active_residual_sites": 26565, + "entrance_mass": "78936304518785868631856168498398162052978831967890233180023473633581705933591983372987652082069755802601452590795256869341056731870304348345574361667/9084442583692534418876956377603479961600000000000000000000", + "residual_mass": "25674697421445809203539137167811132357977758958212040487173230912983430904453661708067086085426516641634600853960811122828804393350365214310688177/42583324611058755088485733020016312320000000000000000000" + }, + "M": { + "active_residual_sites": 26565, + "entrance_mass": "78936304518785868631856168498398162052978831967890233180023473633581705933591983372987652082069755802601452590795256869341056731870304348345574361667/9084442583692534418876956377603479961600000000000000000000", + "residual_mass": "25674697421445809203539137167811132357977758958212040487173230912983430904453661708067086085426516641634600853960811122828804393350365214310688177/42583324611058755088485733020016312320000000000000000000" + }, + "Sigma": { + "active_residual_sites": 26565, + "entrance_mass": "78936304518785868631856168498398162052978831967890233180023473633581705933591983372987652082069755802601452590795256869341056731870304348345574361667/9084442583692534418876956377603479961600000000000000000000", + "residual_mass": "25674697421445809203539137167811132357977758958212040487173230912983430904453661708067086085426516641634600853960811122828804393350365214310688177/42583324611058755088485733020016312320000000000000000000" + } + } + }, + "scope": "Exact-child grid and attributed all-fibre error envelope, with one signed unitary per fused event", + "word": { + "coefficient_visits": 16449663, + "dyadic_height": 25, + "mass_witness": [ + 66229, + "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": [ + "2263129458241594124478485744875994857121767529882708903554113432269718720469273/10000000000000000000000000000000000000000000000000000000000000000000000000000000", + "1131564729120797062239242872437997428560883764941354451777056716134859362120847/5000000000000000000000000000000000000000000000000000000000000000000000000000000" + ], + "claim_decimal": "0.003645590377524", + "gain": "5.46922243E-7", + "gain_exact": "546922243/1000000000000000", + "independent_raw_bracket": [ + "0.00364559037752413905744023172774093", + "0.00364559037752413905744023172774094" + ], + "previous_claim": "3645043455281/1000000000000000", + "raw_bracket": [ + "0.0036455903775241390574402317277409", + "0.003645590377524139057440231727741" + ] + }, + "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": "0358b9f6e0340fb3e5aa46c747c558b32a5280cbf9cd92c3b9de627dd18a9a4f" + }, + "source_head": "ed090b57ed88f8859e5ff4643645099e6ba856ea", + "status": "PASS_FUNDED_863_RETURN_NATIVE", + "timed_certificate": { + "physical_scope": "Normalized rational comparison; phase and catalogue are checked separately.", + "rows": 1501, + "status": "PASS_EXACT_NORMALIZED_ARBITRARY_INPUT_ENDPOINTS" + }, + "word_canonical_sha256": "0358b9f6e0340fb3e5aa46c747c558b32a5280cbf9cd92c3b9de627dd18a9a4f" +} diff --git a/research/p104-funded-first-read-bound/inputs/7314/PRICE-ONLY.json b/research/p104-funded-first-read-bound/inputs/7314/PRICE-ONLY.json new file mode 100644 index 0000000000..7490e9a64d --- /dev/null +++ b/research/p104-funded-first-read-bound/inputs/7314/PRICE-ONLY.json @@ -0,0 +1,67 @@ +{ + "head": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "input_sha256": { + "lead/dependencies/7298/pricing.py": "f4d0b6c9314b838d882d6d06020f24881c19a3fda97a7c00df87b1e920785182", + "lead/run/PRICE.json": "8df5a1b86b5c2429f1581dcf4216d51e45f4297fa94fabc7f9847b128d7568e2" + }, + "new_at_declared": [ + "908339045548306555673316763041271771209/10000000000000000000000000000000000000000000000000", + "181667809109661311134663352608254367889/2000000000000000000000000000000000000000000000000" + ], + "new_at_high": [ + "-357270001119021587349/10000000000000000000000000000000000000000000000000", + "-357270001119021530951/10000000000000000000000000000000000000000000000000" + ], + "new_at_low": [ + "15175676264507195891/5000000000000000000000000000000000000000000000000", + "7587838132253611993/2500000000000000000000000000000000000000000000000" + ], + "new_crossing": [ + "1823110718223117168344442278449/500000000000000000000000000000000", + "36462214364462343366888845568981/10000000000000000000000000000000000" + ], + "old_at_declared": [ + "-267260601771086017495894390988102290891360644997/1250000000000000000000000000000000000000000000000", + "-2138084814168688139967155127904818327130885091757/10000000000000000000000000000000000000000000000000" + ], + "paid": { + "1": 68401, + "2": 14501, + "3": 14093, + "4": 3791, + "5": 5882, + "6": 221, + "7": 170, + "8": 741, + "9": 32, + "16": 416, + "24": 416, + "32": 416, + "40": 416, + "48": 416, + "56": 416, + "64": 208 + }, + "predecessor_head": "ed090b57ed88f8859e5ff4643645099e6ba856ea", + "productive": { + "1": 306, + "2": 357, + "3": 799, + "4": 3825, + "5": 1360, + "6": 731, + "7": 323, + "8": 544, + "9": 10888, + "17": 416, + "25": 416, + "33": 416, + "41": 416, + "49": 416, + "57": 416, + "65": 416, + "73": 208, + "137": 208 + }, + "scope": "author-declared paid and productive changes; literal replay remains required" +} diff --git a/research/p104-funded-first-read-bound/inputs/7314/WORD.json.gz b/research/p104-funded-first-read-bound/inputs/7314/WORD.json.gz new file mode 100644 index 0000000000..3939a3cc4c Binary files /dev/null and b/research/p104-funded-first-read-bound/inputs/7314/WORD.json.gz differ diff --git a/research/p104-funded-first-read-bound/inputs/r58/PRICE.json b/research/p104-funded-first-read-bound/inputs/r58/PRICE.json new file mode 100644 index 0000000000..ce42f89575 --- /dev/null +++ b/research/p104-funded-first-read-bound/inputs/r58/PRICE.json @@ -0,0 +1,247 @@ +{ + "caller": "07a76c5e2738882c0cb322278e56f6cae3c9885d", + "claim": "0.003646221436446", + "copies": 17, + "crossing_upper": "36462214364462343366888845568981/10000000000000000000000000000000000", + "eligible_stock_upper_before_contact": 1083, + "head": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "helpers": { + "1": 18, + "2": 21, + "3": 47, + "4": 225, + "5": 80, + "6": 43, + "7": 19, + "8": 32, + "9": 616 + }, + "input_sha256": { + "admission/ADMITTED.json": "41b8a189dffeb768e5843446cdc469f9cc2f0aa038d0a593cf2be43aa009a9a3", + "inputs/7113/CALLER.json": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "inputs/7298/pricing.py": "f4d0b6c9314b838d882d6d06020f24881c19a3fda97a7c00df87b1e920785182", + "inputs/7314/EARLY-RESULT.json": "b5043855411432b24336ecc443cba9ebfae6392e2045ddd01c87cfe2c51f5f08", + "inputs/7314/NATIVE-RESULT.json": "336f463da5afe5b60bfd3b9f0ce8aeea5a5feb1f854613bf4218ba0b28b3371b", + "inputs/7314/PRICE-ONLY.json": "b757665a3a50324b2ae6649cc89f5b8d9a752c7af996f1ee894a0de47ade94e1", + "inputs/7314/WORD.json.gz": "c404b9b61220e6cf740d85276df2828bbb4a9d68a4d44b5e283f8d96f78c0fd9" + }, + "limits": { + "contract_seconds": 120, + "contract_survivors": 1, + "roles": 1101, + "seconds": 20 + }, + "old_margin": [ + "-357270001119021587349/10000000000000000000000000000000000000000000000000", + "-357270001119021530951/10000000000000000000000000000000000000000000000000" + ], + "one_edit_optimistic_upper": "242007347947878251153201829175654593196258725433/1250000000000000000000000000000000000000000000000", + "paid": { + "1": 68401, + "2": 14501, + "3": 14093, + "4": 3791, + "5": 5882, + "6": 221, + "7": 170, + "8": 741, + "9": 32, + "16": 416, + "24": 416, + "32": 416, + "40": 416, + "48": 416, + "56": 416, + "64": 208 + }, + "rank_prices": { + "2": { + "credit": [ + "858220180858442790323263974944709566217664915279/10000000000000000000000000000000000000000000000000", + "26819380651826337197601999217022173944302028603/312500000000000000000000000000000000000000000000" + ], + "inventory_upper": 21, + "margin": [ + "85822018085844279032326397458743956509864332793/1000000000000000000000000000000000000000000000000", + "171644036171688558064652794917487913019728676869/2000000000000000000000000000000000000000000000000" + ], + "margin_with_extra_rank_one": [ + "-16914177981914155720967673602541256043490135667207/1000000000000000000000000000000000000000000000000", + "-33828355963828311441935347205082512086980271323131/2000000000000000000000000000000000000000000000000" + ], + "rank": 2, + "signed_net_delta": { + "1": 34, + "2": -17 + } + }, + "3": { + "credit": [ + "236128629097921727627389769172744622424431446743/2000000000000000000000000000000000000000000000000", + "1180643145489608638136948845863723112122157233749/10000000000000000000000000000000000000000000000000" + ], + "inventory_upper": 47, + "margin": [ + "1180643145489608638136948845506453111003135646383/10000000000000000000000000000000000000000000000000", + "1180643145489608638136948845506453111003135702781/10000000000000000000000000000000000000000000000000" + ], + "margin_with_extra_rank_one": [ + "-168819356854510391361863051154493546888996864353617/10000000000000000000000000000000000000000000000000", + "-168819356854510391361863051154493546888996864297219/10000000000000000000000000000000000000000000000000" + ], + "rank": 3, + "signed_net_delta": { + "1": 17, + "2": 17, + "3": -17 + } + }, + "4": { + "credit": [ + "694842398899234283319954504903475970838493328551/5000000000000000000000000000000000000000000000000", + "86855299862404285414994313112934496354811666071/625000000000000000000000000000000000000000000000" + ], + "inventory_upper": 225, + "margin": [ + "1389684797798468566639909009449681940557965069787/10000000000000000000000000000000000000000000000000", + "1389684797798468566639909009449681940557965126151/10000000000000000000000000000000000000000000000000" + ], + "margin_with_extra_rank_one": [ + "-168610315202201531433360090990550318059442034930213/10000000000000000000000000000000000000000000000000", + "-168610315202201531433360090990550318059442034873849/10000000000000000000000000000000000000000000000000" + ], + "rank": 4, + "signed_net_delta": { + "1": 17, + "3": 17, + "4": -17 + } + }, + "5": { + "credit": [ + "48279887259903995362766131969223697117865813693/312500000000000000000000000000000000000000000000", + "154495639231692785160851622301515830777170603821/1000000000000000000000000000000000000000000000000" + ], + "inventory_upper": 80, + "margin": [ + "1544956392316927851608516222657888306652684450827/10000000000000000000000000000000000000000000000000", + "1544956392316927851608516222657888306652684507259/10000000000000000000000000000000000000000000000000" + ], + "margin_with_extra_rank_one": [ + "-168455043607683072148391483777342111693347315549173/10000000000000000000000000000000000000000000000000", + "-168455043607683072148391483777342111693347315492741/10000000000000000000000000000000000000000000000000" + ], + "rank": 5, + "signed_net_delta": { + "1": 17, + "4": 17, + "5": -17 + } + }, + "6": { + "credit": [ + "83429488748433265834802395107943834307458256033/500000000000000000000000000000000000000000000000", + "834294887484332658348023951079438343074582560347/5000000000000000000000000000000000000000000000000" + ], + "inventory_upper": 43, + "margin": [ + "333717954993733063339209580360321337006028706669/2000000000000000000000000000000000000000000000000", + "1668589774968665316696047901801606685030143589709/10000000000000000000000000000000000000000000000000" + ], + "margin_with_extra_rank_one": [ + "-33666282045006266936660790419639678662993971293331/2000000000000000000000000000000000000000000000000", + "-168331410225031334683303952098198393314969856410291/10000000000000000000000000000000000000000000000000" + ], + "rank": 6, + "signed_net_delta": { + "1": 17, + "5": 17, + "6": -17 + } + }, + "7": { + "credit": [ + "1771333819688145411697109162415498383145479600623/10000000000000000000000000000000000000000000000000", + "1771333819688145411697109162415498383145479600657/10000000000000000000000000000000000000000000000000" + ], + "inventory_upper": 19, + "margin": [ + "1771333819688145411697109162058228382026458013291/10000000000000000000000000000000000000000000000000", + "1771333819688145411697109162058228382026458069689/10000000000000000000000000000000000000000000000000" + ], + "margin_with_extra_rank_one": [ + "-168228666180311854588302890837941771617973541986709/10000000000000000000000000000000000000000000000000", + "-168228666180311854588302890837941771617973541930311/10000000000000000000000000000000000000000000000000" + ], + "rank": 7, + "signed_net_delta": { + "1": 17, + "6": 17, + "7": -17 + } + }, + "8": { + "credit": [ + "1859240335952511981361984697135406969962418831167/10000000000000000000000000000000000000000000000000", + "1859240335952511981361984697135406969962418831201/10000000000000000000000000000000000000000000000000" + ], + "inventory_upper": 32, + "margin": [ + "929620167976255990680992348389068484421698621909/5000000000000000000000000000000000000000000000000", + "7436961343810047925447938787112547875373589201/40000000000000000000000000000000000000000000000" + ], + "margin_with_extra_rank_one": [ + "-84070379832023744009319007651610931515578301378091/5000000000000000000000000000000000000000000000000", + "-672563038656189952074552061212887452124626410799/40000000000000000000000000000000000000000000000" + ], + "rank": 8, + "signed_net_delta": { + "1": 17, + "7": 17, + "8": -17 + } + }, + "9": { + "credit": [ + "193605878358302600922561463340523674557006980343/1000000000000000000000000000000000000000000000000", + "242007347947878251153201829175654593196258725433/1250000000000000000000000000000000000000000000000" + ], + "inventory_upper": 616, + "margin": [ + "387211756716605201845122926609593348890209643223/2000000000000000000000000000000000000000000000000", + "1936058783583026009225614633047966744451048272479/10000000000000000000000000000000000000000000000000" + ], + "margin_with_extra_rank_one": [ + "-33612788243283394798154877073390406651109790356777/2000000000000000000000000000000000000000000000000", + "-168063941216416973990774385366952033255548951727521/10000000000000000000000000000000000000000000000000" + ], + "rank": 9, + "signed_net_delta": { + "1": 17, + "8": 17, + "9": -17 + } + } + }, + "targets": { + "1": 306, + "2": 357, + "3": 799, + "4": 3825, + "5": 1360, + "6": 731, + "7": 323, + "8": 544, + "9": 10888, + "17": 416, + "25": 416, + "33": 416, + "41": 416, + "49": 416, + "57": 416, + "65": 416, + "73": 208, + "137": 208 + }, + "whole_optimistic_upper": "1167063154288375210461639514151184852345943405159/6250000000000000000000000000000000000000000000" +} diff --git a/research/p104-funded-first-read-bound/inputs/r58/SHA256.json b/research/p104-funded-first-read-bound/inputs/r58/SHA256.json new file mode 100644 index 0000000000..3a28905e8d --- /dev/null +++ b/research/p104-funded-first-read-bound/inputs/r58/SHA256.json @@ -0,0 +1,6 @@ +{ + "COMPARE.json": "58d851ca486ec84ea0d1f063eb427ed0204b1b1e49219376d0ab20f6692e043e", + "CONTACT.json": "6d6cb681db29501aec002bd620514b4c48db03424243bf71686ba023dd8d6507", + "PRICE.json": "8d70669e720faabc932366dafbc1bd1fdaef6f088c4eb02b0ea3707ba309ab53", + "REVERSE.json": "bf353b3e05d0bf5fe3e49c15673c4cb9203251329bd594009303541cf7fecc09" +} diff --git a/research/p104-funded-first-read-bound/receipts/COMPARE.json b/research/p104-funded-first-read-bound/receipts/COMPARE.json new file mode 100644 index 0000000000..929a1b453d --- /dev/null +++ b/research/p104-funded-first-read-bound/receipts/COMPARE.json @@ -0,0 +1,71 @@ +{ + "compatible_saving_upper": 0, + "head": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "matched_helpers": 1101, + "partial_scope": "split partner paid ascent, keep both residual paid children, no other changes", + "price_sha256": "f9817847bab9296dc67b2cd6c5f1d7f6baaf856b8eb3c58a1c5f5109bfc13bb3", + "remaining": 0, + "scope_exhausted": true, + "terminal_coincidences": [ + { + "add": 36439, + "ascent_rank": 5, + "final": 115, + "full_lift_deletion_signed_delta_if_legal": 0, + "g": 1276, + "h": 751, + "proper_split_price_only": [ + { + "credit": [ + "-154495639231692785160851622301515830777170603821/1000000000000000000000000000000000000000000000000", + "-48279887259903995362766131969223697117865813693/312500000000000000000000000000000000000000000000" + ], + "prefix_rank": 1, + "residual_rank": 4 + }, + { + "credit": [ + "-41528420185139072558503225157548013664620555601/200000000000000000000000000000000000000000000000", + "-2076421009256953627925161257877400683231027779999/10000000000000000000000000000000000000000000000000" + ], + "prefix_rank": 2, + "residual_rank": 3 + }, + { + "credit": [ + "-41528420185139072558503225157548013664620555601/200000000000000000000000000000000000000000000000", + "-2076421009256953627925161257877400683231027779999/10000000000000000000000000000000000000000000000000" + ], + "prefix_rank": 3, + "residual_rank": 2 + }, + { + "credit": [ + "-154495639231692785160851622301515830777170603821/1000000000000000000000000000000000000000000000000", + "-48279887259903995362766131969223697117865813693/312500000000000000000000000000000000000000000000" + ], + "prefix_rank": 4, + "residual_rank": 1 + } + ] + }, + { + "add": 45105, + "ascent_rank": 2, + "final": 127, + "full_lift_deletion_signed_delta_if_legal": 0, + "g": 758, + "h": 1478, + "proper_split_price_only": [ + { + "credit": [ + "-26819380651826337197601999217022173944302028603/312500000000000000000000000000000000000000000000", + "-858220180858442790323263974944709566217664915279/10000000000000000000000000000000000000000000000000" + ], + "prefix_rank": 1, + "residual_rank": 1 + } + ] + } + ] +} diff --git a/research/p104-funded-first-read-bound/receipts/SHA256.json b/research/p104-funded-first-read-bound/receipts/SHA256.json new file mode 100644 index 0000000000..1ce4a2210a --- /dev/null +++ b/research/p104-funded-first-read-bound/receipts/SHA256.json @@ -0,0 +1,7 @@ +{ + "COMPARE.json": "b695559da400b9a66c2de6050bcd5679c3a8a6a8f9647cf2d9c104564457bdc1", + "CONTACT.json": "233595e39e6441c42a56548dcc8533f38120a0360b389888d3f5132fe376e47a", + "INDEX.json": "b1d5f1c709c9b1e7dc3c5562f0209366d102d1ed77cc7e9161fa1ee67daecdb3", + "PRICE.json": "f9817847bab9296dc67b2cd6c5f1d7f6baaf856b8eb3c58a1c5f5109bfc13bb3", + "REVERSE.json": "b65700f588edc4250f84e0aa7d4305cdcbcfbd45e1029e6e38f5f843581ca9bf" +} diff --git a/research/p104-funded-first-read-bound/replay.py b/research/p104-funded-first-read-bound/replay.py new file mode 100644 index 0000000000..d847ae4759 --- /dev/null +++ b/research/p104-funded-first-read-bound/replay.py @@ -0,0 +1,145 @@ +"""Replay the exact #7314 funded-first-read contact and price gates.""" +from argparse import ArgumentParser +from fractions import Fraction +import gzip +from hashlib import sha1, sha256 +import json +from pathlib import Path, PurePosixPath +import shutil +import subprocess +import sys +from tempfile import TemporaryDirectory + +HERE = Path(__file__).resolve().parent +HEAD = '9d0119eb12fbd9fa534b48cd37b68e7099757b91' + + +def unique(pairs): + result = dict(pairs) + if len(result) != len(pairs): + raise ValueError('duplicate JSON key') + return result + + +def decode(raw): + return json.loads(raw, object_pairs_hook=unique) + + +def digest(raw): + return sha256(raw).hexdigest() + + +def authenticate(scratch): + pins = decode((HERE / 'LOCAL-PINS.json').read_bytes()) + for name, expected in pins.items(): + relative = PurePosixPath(name) + assert relative.as_posix() == name and not relative.is_absolute() and '..' not in relative.parts + if digest((HERE / name).read_bytes()) != expected: + raise ValueError('changed pinned dependency: ' + name) + for tree in ('inputs', 'admission'): + shutil.copytree(HERE / tree, scratch / tree) + provenance = decode((HERE / 'PROVENANCE.json').read_bytes())['files'] + assert len(provenance) == 8 + for name, ref in provenance.items(): + assert name in pins + raw = (HERE / name).read_bytes() + if ref['uncompress']: + raw = gzip.decompress(raw) + (scratch / name).with_suffix('').write_bytes(raw) + assert digest(raw) == ref['sha256'] and sha1(f'blob {len(raw)}\0'.encode() + raw).hexdigest() == ref['git_blob'] + anchor = decode((scratch / 'admission/ANCHORED.json').read_bytes()) + assert anchor['head'] == HEAD and anchor['base_ancestry'] == 'verified' + for ref in anchor['evidence']: + relative = PurePosixPath(ref['path']) + assert len(relative.parts) == 1 and not relative.is_absolute() and '..' not in relative.parts + assert pins['admission/' + relative.as_posix()] == ref['sha256'] + preceding = decode((scratch / 'inputs/r58/SHA256.json').read_bytes()) + assert preceding['PRICE.json'] == pins['inputs/r58/PRICE.json'] + shutil.copyfile(HERE / 'engines/entrance_price.py', scratch / 'entrance_price.py') + + +def run(engine, *args, seconds=20, check=True): + argv = [sys.executable, '-I', '-B', str(HERE / 'engines' / engine), *map(str, args)] + return subprocess.run(argv, check=check, capture_output=True, timeout=seconds) + + +def replay(scratch, emit): + authenticate(scratch) + expected = decode((HERE / 'receipts/SHA256.json').read_bytes()) + generated = {} + + def record(name, raw, path=None): + assert digest(raw) == expected[name], ('different receipt', name) + generated[name] = raw + if path is not None: + path.write_bytes(raw) + return decode(raw) + + price_path = scratch / 'PRICE.json' + price = record('PRICE.json', run('price.py', scratch).stdout, price_path) + assert price['head'] == HEAD and price['copies'] == 17 + assert price['paid_positions_after'] == 110519 and price['productive_positions_after'] == 22461 + assert (sum(price['paid'].values()), sum(price['targets'].values())) == (110536, 22461) + assert price['eligible_stock_upper_before_contact'] == 1083 + assert Fraction(price['old_margin'][1]) < 0 < Fraction(price['one_edit_optimistic_upper']) < 1 + assert all(Fraction(row['margin'][0]) > 0 for row in price['rank_prices'].values()) + + index = record('INDEX.json', run('contact_index.py', scratch).stdout, scratch / 'INDEX.json') + assert index['complete'] and index['events_visited'] == 76461 + assert sum(index['paid_native_moves'].values()) == 6280 + price_sha, index_sha = expected['PRICE.json'], expected['INDEX.json'] + forward = record('CONTACT.json', run('funded.py', scratch, '--price-sha', price_sha, + '--index-sha', index_sha).stdout, scratch / 'CONTACT.json') + assert forward['visited'] == 1101 and not forward['survivors'] and not forward['unvisited'] + assert len(forward['controls']) == 4 + + independent_inputs = scratch / 'reverse-inputs' + independent_inputs.mkdir() + for source in ('inputs/7113/CALLER.json', 'inputs/7314/WORD.json.gz', 'admission/ADMITTED.json'): + shutil.copyfile(scratch / source, independent_inputs / Path(source).name) + independent_result = scratch / 'independent/RESULT.json' + independent_result.parent.mkdir() + reverse = record('REVERSE.json', run('reverse_funded_read.py', '--inputs', independent_inputs, + '--price', price_path, '--price-sha', price_sha).stdout, + independent_result) + assert reverse['status'] == 'EXHAUSTED' and reverse['visited_helpers'] == 1101 + assert not reverse['survivors'] and not reverse['unvisited_roles'] and all(reverse['controls'].values()) + + comparison = record('COMPARE.json', run('compare.py', scratch).stdout) + assert generated['COMPARE.json'] == (HERE / 'receipts/COMPARE.json').read_bytes() + assert comparison['scope_exhausted'] and comparison['matched_helpers'] == 1101 + assert comparison['remaining'] == comparison['compatible_saving_upper'] == 0 + pairs = comparison['terminal_coincidences'] + assert [(r['h'], r['g'], r['add'], r['final'], r['ascent_rank']) for r in pairs] == [ + (751, 1276, 36439, 115, 5), (1478, 758, 45105, 127, 2)] + assert all(r['full_lift_deletion_signed_delta_if_legal'] == 0 for r in pairs) + splits = [s for pair in pairs for s in pair['proper_split_price_only']] + assert len(splits) == 5 and all(Fraction(s['credit'][1]) < 0 for s in splits) + + stale_price = run('reverse_funded_read.py', '--inputs', independent_inputs, '--price', price_path, + '--price-sha', '0' * 64, check=False) + assert stale_price.returncode == 1 and b'changed input: PRICE.json' in stale_price.stderr and not stale_price.stdout + stale_index = run('funded.py', scratch, '--price-sha', price_sha, '--index-sha', '0' * 64, check=False) + assert stale_index.returncode == 1 and b'AssertionError' in stale_index.stderr and not stale_index.stdout + changed_caller = scratch / 'inputs/7113/CALLER.json' + changed_caller.write_bytes(changed_caller.read_bytes() + b'\n') + invalid = run('price.py', scratch, check=False) + assert invalid.returncode == 1 and b'Changed input inputs/7113/CALLER.json' in invalid.stderr and not invalid.stdout + + assert generated.keys() == expected.keys() + if emit is not None: + emit.mkdir() + for name, raw in generated.items(): + (emit / name).write_bytes(raw) + print('PASS_P104_FUNDED_FIRST_READ_BOUND helpers=1101 coincidences=2 splits_rejected=5 ' + 'eligible=0 unresolved=0 saving_upper=0 kappa_change=0') + + +if __name__ == '__main__': + assert __debug__, 'assertions are required' + assert sys.version_info[:2] == (3, 12), 'CPython 3.12 required' + parser = ArgumentParser(description=__doc__) + parser.add_argument('--out', type=Path) + options = parser.parse_args() + with TemporaryDirectory(prefix='p104-funded-first-read-') as directory: + replay(Path(directory), options.out)