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-helper-entrance-first-contact-bound/LOCAL-PINS.json b/research/p104-helper-entrance-first-contact-bound/LOCAL-PINS.json new file mode 100644 index 0000000000..8083a0f8ff --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/LOCAL-PINS.json @@ -0,0 +1,25 @@ +{ + "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": "d7f5f9fcbb4c617e6e6424832491936b01a7443658c63982f38cb96a20f4a11a", + "engines/contact.py": "43719dbb6b9b9e0cb58d3b9211fdcc9bab060b427a572a2c0e4e6908389a6c5a", + "engines/price.py": "37cffc5f28dda64a125e5ecbd9f4c8d112296c9a21511b8d363b1c0ce362695f", + "engines/reverse_entrance.py": "3645952ed3a8054d5b90434503f77eebbcec1fd759049477362d6c72cf0ab6ce", + "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", + "receipts/SHA256.json": "ca3ed296a19bdd7b2b37608e93d1763d97c7620ac9faef732a01bae4f485114c" +} diff --git a/research/p104-helper-entrance-first-contact-bound/NOTICE b/research/p104-helper-entrance-first-contact-bound/NOTICE new file mode 100644 index 0000000000..7b50ecfef6 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/NOTICE @@ -0,0 +1,7 @@ +Apache-2.0. + +#7314 supplies the exact native word and complete comparable witness. +#7113 supplies the unchanged signed caller and installation contract. +#7298 supplies the directed tariff. #2435, #2453, #6375, #7142 and +#7121–#7122 supply related entrance and pricing precedents. +OpenAI Codex and subagents materially assisted. diff --git a/research/p104-helper-entrance-first-contact-bound/PROOF.md b/research/p104-helper-entrance-first-contact-bound/PROOF.md new file mode 100644 index 0000000000..d6f54a5e1f --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/PROOF.md @@ -0,0 +1,90 @@ +# Literal first-contact exclusion + +The exact #7314 native word has 1,501 public fields. The live and +hosted tables identify 400 main fields, leaving 1,101 productive +public helpers with strictly nested entrance and final charts. +Scope excludes helper 863 and donor 1355 from the funded return +and the owned cache label 1568. A candidate raises a single helper's +entrance from A to B and removes its first paid rank-one MOVE, +keeping its final chart Z and every later event fixed. The necessary +chart condition is \(A\subsetneq B\subsetneq Z\). In particular the +new productive target must have positive rank. + +Both ADD and COPY operands are literal contacts, including source +reads. The forward engine records the earliest contact of each role. +The independent reverse engine walks every event backward from the +declared final charts, overwriting contact records to recover the +earliest access. It checks exact binary spans, ownership, operand +charts and recovery of the declared input charts. The comparison +normalizes only the access vocabulary, then verifies each exact +event and clock against the literal tape. The exact 1,101 decisions +agree. Synthetic tests pass an exact rank-two nested entrance with +one leading rank-one MOVE and reject it when an earlier ADD source +read is inserted. + +Only ten nonexcluded helpers have a MOVE as first contact. Six +rank-one moves and the rank-3, rank-3, rank-4 and rank-5 moves all +land directly at the final chart. Therefore even the relaxed test +allowing an existing first MOVE of any positive rank has no proper +first MOVE with positive residual. Both scans exhausted all cases. +The complete comparison lists all ten clocks, roles and endpoints. + +## Complete directed price + +For a hypothetical proper rank-one prefix of a rank-\(t\) target, +the per-copy paid delta removes one rank-one child. The target +delta replaces one rank-\(t\) field with one rank-\((t-1)\) field. +Across the 17 copies the paid count falls from 110,536 to 110,519, +productive count stays 22,461, and both rank masses fall by 17. +The signed rank surplus remains 1,424. At the certified raw +complex crossing upper, the exact moment increase before added +costs is \(17(1+H_{t-1}-H_t)\), where \(H_r=r^{1-C}\) and \(C\) is +the certified raw complex crossing upper. The replay rechecks these +counts and masses separately from the signed net histogram. +Every optimistic single-edit credit is below one raw paid rank-one +position, even when that one position is added only once across all +17 calls. The baseline directed upper is negative, so such a debit +would eliminate the price gain. + +The relaxed inventory includes 1,083 old targets of rank at least +two, granting independence and free added costs. The resulting +whole upper is about 186.73010468614004 raw units. The strongest +one-edit upper is about 0.1936058783583026. The exact ratios and +directed intervals are regenerated before the contact census. +The relaxed upper need not be physically attainable. + +## Contract required by a broader candidate + +A legal first MOVE is an invertible signed chart change on each +physical column. The set of possible full arrays at B after the +old MOVE therefore equals the full set of new arbitrary inputs +installed at B. This identifies the unchanged suffix on every +column multiplicity, including other roles, ownership and COPY +guards. The retained caller would still need to instantiate the +new helper input with its actual owner and the new positive +B-to-Z target. Its signed quotient, monomial wrappers, dirty +restoration and precision and tape charges require separate +verification. The normalized endpoint equality alone supplies +no installed input or compiler claim. +[Exact #7113 caller closure](https://github.com/CrocSwap/integer-mult-bounds/tree/07a76c5e2738882c0cb322278e56f6cae3c9885d/research/signed-caller-8x9) · +[Selected application contract review](https://github.com/CrocSwap/integer-mult-bounds/blob/e54523517d0f03e58352e647c403a5af3e525a57/docs/research/pr-intake-evidence/pr7000-application/PROOF-REVIEW.md) + +## Exact predecessor scopes + +#2435 at 0c87da874b82035082ba576b19f98dcec06874ba changes 24 T74 +copy-buffer entrances with an exact owner refit. #2453 at +9e26d91b71d1805042285141b246a4407d75abb3 prices that width exchange +and its 72 partner splits. #6375 at 247b5c319b9f58fe9ee61dbf80697f8a9a429831 +changes six entrances on #6372 and supplies paid shared-carrier +detours and final restores. #7142 at 316b93f25361c0fd1b3a50e1180bd59096c3e45e +adds a paid rank-one input extension to fund a separate split. +#7122 at 6391d64cd0e37e0988e6b9c41fe13f053ed2c81e changes seven +helper entrances and 22 scalar charts, based on the exact #7121 +fresh-helper source at 1670baa28f5a9631286591068d7cc2934d2c2d37. +This result exhausts the single literal first MOVE with all later +charts fixed on exact #7314. +[#2435](https://github.com/CrocSwap/integer-mult-bounds/pull/2435) · +[#2453](https://github.com/CrocSwap/integer-mult-bounds/pull/2453) · +[#6375](https://github.com/CrocSwap/integer-mult-bounds/pull/6375) · +[#7142](https://github.com/CrocSwap/integer-mult-bounds/pull/7142) · +[#7122](https://github.com/CrocSwap/integer-mult-bounds/pull/7122) diff --git a/research/p104-helper-entrance-first-contact-bound/PROVENANCE.json b/research/p104-helper-entrance-first-contact-bound/PROVENANCE.json new file mode 100644 index 0000000000..99955ebdbf --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/PROVENANCE.json @@ -0,0 +1,45 @@ +{ + "files": { + "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/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 + } + }, + "schema_version": 1 +} diff --git a/research/p104-helper-entrance-first-contact-bound/README.md b/research/p104-helper-entrance-first-contact-bound/README.md new file mode 100644 index 0000000000..cc62c94ba2 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/README.md @@ -0,0 +1,77 @@ +# P104 public helper entrance first-contact bound + +**NO VERIFIED GAIN. Exact conditional κ change 0%.** On exact #7314 +and the retained #7113 caller, none of the 1,101 productive public +helpers admits the scoped leading rank-one MOVE deletion with a +positive residual target. Every nonexcluded first MOVE, of any rank, +lands on its helper's final chart. The compatible saving upper after +support is exactly zero. + +The comparator is #7314 at 9d0119eb12fbd9fa534b48cd37b68e7099757b91, +conditional κ = 0.003646221436446, with the same #7113 caller at +07a76c5e2738882c0cb322278e56f6cae3c9885d. The two independent contact +walks each exhaust the 76,461-event literal word. Their exact first +clock, opcode, operand access and chart evidence agree for all 1,101 +roles. The scoped dispositions are two excluded comparator roles, +18 rank-one targets, 1,077 other first touches by ADD, COPY or SCALE, +and four higher-rank first MOVEs. Across the nonexcluded inventory +there are ten first MOVEs, six rank one and four at ranks 3, 3, 4 +and 5. All ten have residual rank zero. No cases remain unresolved. + +The complete directed price is saved before the scans. The one-edit +optimistic upper is about 0.1936058783583026 raw units. Granting +the whole relaxed inventory full compatibility and free added work +gives an upper of about 186.73010468614004 raw units before support. +For any hypothetical positive-residual edit, paid count decreases by +17, target count remains fixed, and both rank masses decrease by 17. +[Proof and contract](PROOF.md) + +## Replay + +Use CPython 3.12 with assertions from a clean checkout. + +~~~sh +python3.12 -I -B research/p104-helper-entrance-first-contact-bound/replay.py +python3.12 -B scripts/research_package.py --package research/p104-helper-entrance-first-contact-bound +~~~ + +Pass --out fresh-receipts to save the exact directed price, both +contact receipts and their comparison. All four plaintext hashes are +pinned in receipts/SHA256.json. The standalone runner verifies the +bundled source and admission evidence before regenerating the price, +then checks both complete contact walks and rejects a changed caller +and stale price hash. Public byte and blob provenance is kept in +PROVENANCE.json. LOCAL-PINS.json separately authenticates the package +paths. Expected output begins with PASS_P104_HELPER_ENTRANCE_BOUND. + +## Open next questions + +- Can a changed chronology expose a positive proper first MOVE while + preserving the complete paid advantage? Pin a single changed + chronology, price the whole invoice and reproduce the first-contact + walk before a physical build. +- Any positive candidate must establish native arbitrary dirty input + arrival at the new chart and its full charged caller and compiler + interface. Changed entrance charts coupled to other fields and + changes to later contacts remain outside this gate. + +#2435 supplies the T74 width-eight entrance refit. #2453 supplies +its independent width-exchange and split-free pricing analysis. +#6375 supplies earlier shared-carrier entrance lifts on a different +word and caller. #7142 supplies the charged lower-entrance split +precedent. #7122 supplies the closest same-caller global input rechart, +using the #7121 fresh-helper-boundary alpha expansion. That global +edit changes seven entrances and 22 scalar contact charts. Here the +one leading MOVE is the only removed event and all later chart labels +stay fixed. #7314 supplies the exact native word and complete witness, +#7113 supplies the caller and #7298 supplies directed price arithmetic. +OpenAI Codex and subagents materially assisted. +[#2435](https://github.com/CrocSwap/integer-mult-bounds/pull/2435) · +[#2453](https://github.com/CrocSwap/integer-mult-bounds/pull/2453) · +[#6375](https://github.com/CrocSwap/integer-mult-bounds/pull/6375) · +[#7142](https://github.com/CrocSwap/integer-mult-bounds/pull/7142) · +[#7121](https://github.com/CrocSwap/integer-mult-bounds/pull/7121) · +[#7122](https://github.com/CrocSwap/integer-mult-bounds/pull/7122) · +[#7314](https://github.com/CrocSwap/integer-mult-bounds/pull/7314) · +[#7113](https://github.com/CrocSwap/integer-mult-bounds/pull/7113) · +[#7298](https://github.com/CrocSwap/integer-mult-bounds/pull/7298) diff --git a/research/p104-helper-entrance-first-contact-bound/SOURCES.json b/research/p104-helper-entrance-first-contact-bound/SOURCES.json new file mode 100644 index 0000000000..e8c2f265cd --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/TASK.json b/research/p104-helper-entrance-first-contact-bound/TASK.json new file mode 100644 index 0000000000..7fce7c2f53 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/TASK.json @@ -0,0 +1,117 @@ +{ + "actual_scope": "Exactly one public productive helper entrance change at the first literal paid rank-one MOVE on exact #7314, keeping all later events and the #7113 caller fixed. The final comparison also checks for any nonexcluded proper first MOVE of positive rank.", + "ai_assistance": "OpenAI Codex and subagents materially assisted proof, implementation, independent verification and packaging.", + "author": "Public helper entrance research", + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "bottleneck_link": "Test whether an existing native paid entrance child can be removed while retaining one positive productive target under the unchanged caller.", + "budget_minutes": 7, + "evidence": "Complete directed 17-copy invoice, 1,101 matched exact first-contact decisions from independent forward and reverse walks, all ten literal first MOVE endpoints, and positive and mutation controls.", + "open_questions": [ + { + "blocked_by": "The changed entrance needs exact arbitrary dirty input arrival, lawful wrapper and owner binding, and complete physical and compiler charges.", + "first_step": "Pin and reprice one new contact or wider entrance interface before replaying both first-contact walks.", + "question": "Can a changed native chronology expose a proper first MOVE and retain a positive fully charged margin?", + "why_it_matters": "Every nonexcluded first MOVE on this literal word lands on the final chart." + } + ], + "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": "Checks the existing public entrance on the funded-return #7314 word with all later contacts fixed.", + "scope_status": "changed", + "stop_rule": "Save the exact directed price first. Exhaust all 1,101 helper roles or the 20-second contact cap. Stop before a candidate build if no proper first MOVE survives.", + "task_id": "p104-side-correction" +} diff --git a/research/p104-helper-entrance-first-contact-bound/VERIFY.json b/research/p104-helper-entrance-first-contact-bound/VERIFY.json new file mode 100644 index 0000000000..8e22b155b4 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/VERIFY.json @@ -0,0 +1,19 @@ +{ + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/replay.py" + ], + "checks": "Rebuild the exact directed signed price and both independently matching first-contact censuses, with scope, price and source mutation checks.", + "timeout_seconds": 120 + } + ], + "inputs": [], + "python": "3.12", + "requirements": [], + "schema_version": 1, + "status": "ready" +} diff --git a/research/p104-helper-entrance-first-contact-bound/admission/ADMITTED.json b/research/p104-helper-entrance-first-contact-bound/admission/ADMITTED.json new file mode 100644 index 0000000000..d110075c07 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/admission/ANCHORED.json b/research/p104-helper-entrance-first-contact-bound/admission/ANCHORED.json new file mode 100644 index 0000000000..eae2e41b61 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/admission/ARCHIVE.stdout b/research/p104-helper-entrance-first-contact-bound/admission/ARCHIVE.stdout new file mode 100644 index 0000000000..a4e78f3738 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/admission/COMMIT.stdout b/research/p104-helper-entrance-first-contact-bound/admission/COMMIT.stdout new file mode 100644 index 0000000000..954f40b33a --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/admission/DECLARED-SOURCE-PINS.json b/research/p104-helper-entrance-first-contact-bound/admission/DECLARED-SOURCE-PINS.json new file mode 100644 index 0000000000..16045fd064 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/admission/HISTORY.stderr b/research/p104-helper-entrance-first-contact-bound/admission/HISTORY.stderr new file mode 100644 index 0000000000..e313449ead --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/admission/HISTORY.stderr @@ -0,0 +1 @@ +source-history check requires full Git history diff --git a/research/p104-helper-entrance-first-contact-bound/admission/METADATA.stdout b/research/p104-helper-entrance-first-contact-bound/admission/METADATA.stdout new file mode 100644 index 0000000000..a6c9fb298a --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/admission/METADATA.stdout @@ -0,0 +1 @@ +PASS_PACKAGE_METADATA_AND_PINS (not a mathematical acceptance check) diff --git a/research/p104-helper-entrance-first-contact-bound/admission/STAGE-caller.json b/research/p104-helper-entrance-first-contact-bound/admission/STAGE-caller.json new file mode 100644 index 0000000000..d6486a8421 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/admission/STAGE-early.json b/research/p104-helper-entrance-first-contact-bound/admission/STAGE-early.json new file mode 100644 index 0000000000..332c376157 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/admission/STAGE-frontier.json b/research/p104-helper-entrance-first-contact-bound/admission/STAGE-frontier.json new file mode 100644 index 0000000000..5b940c0b6a --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/admission/STAGE-native.json b/research/p104-helper-entrance-first-contact-bound/admission/STAGE-native.json new file mode 100644 index 0000000000..c829cebce8 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/admission/TREE.txt b/research/p104-helper-entrance-first-contact-bound/admission/TREE.txt new file mode 100644 index 0000000000..be5ba3cedd --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/engines/compare.py b/research/p104-helper-entrance-first-contact-bound/engines/compare.py new file mode 100644 index 0000000000..78309e7af8 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/engines/compare.py @@ -0,0 +1,69 @@ +"""Reconcile the two full first-contact receipts and check all proper prefixes.""" + +from argparse import ArgumentParser +from collections import Counter +from gzip import decompress +from hashlib import sha256 +from json import dumps, loads +from pathlib import Path + +WORD_SHA = 'c404b9b61220e6cf740d85276df2828bbb4a9d68a4d44b5e283f8d96f78c0fd9' +LABEL = { + 'excluded_role': 'excluded_comparator_role', + 'first_contact_not_move': 'first_contact_not_move', + 'move_rank_or_nesting': 'first_move_not_rank_one', + 'rank_one_target': 'zero_residual_rank', +} + + +def compare(root): + a = loads((root/'CONTACT.json').read_bytes()) + b = loads((root/'independent/RESULT.json').read_bytes()) + price = sha256((root/'PRICE.json').read_bytes()).hexdigest() + assert a['price_sha256'] == b['price_sha256'] == price + raw = (root/'inputs/7314/WORD.json.gz').read_bytes() + assert sha256(raw).hexdigest() == a['word_sha256'] == WORD_SHA + word = loads(decompress(raw)) + tape, frames = word['program'], word['frames'] + assert a['events'] == b['visited_events'] == len(tape) == 76461 + assert not any((a['unvisited_roles'], b['remaining_roles'], a['survivors'], b['survivors'])) + ar = {row['role']:row for row in a['rows']} + br = {row['role']:row for row in b['rows']} + assert set(ar) == set(br) and len(ar) == len(a['rows']) == len(b['rows']) == 1101 + proper = [] + full = [] + for role,row in ar.items(): + other = br[role] + assert LABEL[row['status']] == other['status'] + assert (row['initial'],row['final'],row['rank']) == ( + other['initial'],other['final'],other['old_productive_rank']) + clock,op,access,*charts = row['first'] + access = {'SCALE':'unary','MOVE':'move'}.get(op,access) + assert (clock,access,tape[clock]) == ( + other['first_clock'],other['first_access'],other['first_event']) + assert tape[clock][0] == op + if op != 'MOVE' or row['status'] == 'excluded_role': + continue + src,dst = charts + target = row['final'] + assert src == row['initial'] + moved = len(frames[dst])-len(frames[src]) + residual = len(frames[target])-len(frames[dst]) + record = {'role':role,'clock':clock,'start':src,'first_dest':dst,'end':target, + 'paid_rank':moved,'residual_rank':residual} + if moved > 0 and dst == target: + full.append(record) + else: + proper.append(record) + assert len(full) == 10 and not proper + return {'head':a['head'],'price_sha256':price,'roles_compared':len(ar), + 'events':len(tape),'status_counts':dict(Counter(r['status'] for r in ar.values())), + 'all_nonexcluded_first_moves':full,'proper_first_moves_any_positive_rank':proper, + 'support_saving_upper':0,'unresolved':0} + + +if __name__ == '__main__': + parser=ArgumentParser(description=__doc__) + parser.add_argument('root',type=Path) + args=parser.parse_args() + print(dumps(compare(args.root),indent=2,sort_keys=True)) diff --git a/research/p104-helper-entrance-first-contact-bound/engines/contact.py b/research/p104-helper-entrance-first-contact-bound/engines/contact.py new file mode 100644 index 0000000000..c78c328881 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/engines/contact.py @@ -0,0 +1,129 @@ +"""Forward literal first-contact and nesting screen for public helpers.""" + +from argparse import ArgumentParser +from collections import Counter +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 + +HEAD = '9d0119eb12fbd9fa534b48cd37b68e7099757b91' +WORD = 'inputs/7314/WORD.json.gz' +PIN = 'c404b9b61220e6cf740d85276df2828bbb4a9d68a4d44b5e283f8d96f78c0fd9' +EXCLUDE = {863, 1355, 1568} + + +def unique(items): + result = dict(items) + if len(items) != len(result): + raise ValueError('Duplicate JSON key') + return result + + +def roles(word): + main = set(word['live']) + main |= {i + 112 for i in word['live']} + main.update(word['hosted']['X2'], word['hosted']['Y2']) + assert len(main) == 400 + return sorted(set(range(word['public'])) - main) + + +def scan(word, helpers, deadline, excluded): + first = {} + labels = dict(enumerate(word['initial'])) + frames = word['frames'] + tape = word['program'] + + @cache + def span(index): + subspace = {0} + for bit in frames[index]: + assert bit not in subspace + subspace.update(bit ^ value for value in tuple(subspace)) + return subspace + + for i, event in enumerate(tape): + if monotonic() >= deadline: + return {'events': i, 'unvisited_roles': helpers, 'rows': []} + op, dest, *args = event + if op == 'INIT': + assert dest >= word['public'] and dest not in labels + labels[dest] = args[0] + elif op == 'CLEAR': + assert dest >= word['public'] and labels.pop(dest) == args[0] + elif op == 'MOVE': + a, b, owned = args + assert labels[dest] == a and owned == (dest >= word['public']) + labels[dest] = b + first.setdefault(dest, (i, op, 'destination', a, b)) + elif op in ('ADD','COPY'): + src = args[0] + assert labels[dest] == labels[src] == args[-1] and src != dest + first.setdefault(dest, (i, op, 'destination')) + first.setdefault(src, (i, op, 'source')) + else: + assert op == 'SCALE' and labels[dest] == args[-1] + first.setdefault(dest, (i, op, 'destination')) + assert labels == dict(enumerate(word['final'])) + + rows = [] + for role in helpers: + if len(rows) == 1101 or monotonic() >= deadline: + break + a, z = word['initial'][role], word['final'][role] + rank = len(frames[z]) - len(frames[a]) + event = first.get(role) + assert rank >= 1 and span(a) < span(z) + if role in excluded: + status = 'excluded_role' + elif rank < 2: + status = 'rank_one_target' + elif not event or event[1] != 'MOVE': + status = 'first_contact_not_move' + else: + _, _, _, old, b = event + assert old == a + rank_one = len(frames[b]) == len(frames[a]) + 1 + status = 'survivor' if rank_one and span(a) < span(b) < span(z) else 'move_rank_or_nesting' + rows.append({'role': role, 'initial': a, 'final': z, 'rank': rank, + 'first': event, 'status': status}) + return {'events': len(tape), 'unvisited_roles': helpers[len(rows):], 'rows': rows} + + +def controls(): + sample = {'public':2, 'initial':[0,0], 'final':[2,0], 'frames':[[],[1],[1,2]], + 'program':[['MOVE',0,0,1,False],['MOVE',0,1,2,False]]} + a = scan(sample,[0],float('inf'),set())['rows'][0] + altered = sample | {'program':[['ADD',1,0,'1',0],*sample['program']]} + b = scan(altered,[0],float('inf'),set())['rows'][0] + assert a['status'] == 'survivor' and b['status'] == 'first_contact_not_move' and b['first'][2] == 'source' + return ['nested_rank_two', 'earlier_source_contact'] + + +if __name__ == '__main__': + parser = ArgumentParser(description=__doc__) + parser.add_argument('root', type=Path) + parser.add_argument('--price-sha', required=True) + args = parser.parse_args() + deadline = monotonic() + 18 + price = (args.root / 'PRICE.json').read_bytes() + assert sha256(price).hexdigest() == args.price_sha + pre = loads(price, object_pairs_hook=unique) + assert pre['head'] == HEAD and pre['input_sha256'][WORD] == PIN + raw = (args.root / WORD).read_bytes() + if sha256(raw).hexdigest() != PIN: + raise ValueError('Changed literal word') + word = loads(decompress(raw), object_pairs_hook=unique) + check = controls() + helpers = roles(word) + assert len(helpers) == 1101 + result = scan(word, helpers, deadline, EXCLUDE) + rows = result['rows'] + if not result['unvisited_roles']: + assert Counter(str(r['rank']) for r in rows) == pre['helpers'] + result.update({'head':HEAD, 'price_sha256':args.price_sha, 'word_sha256':PIN, + 'controls':check, 'counts':dict(Counter(r['status'] for r in rows)), + 'survivors':[r for r in rows if r['status']=='survivor']}) + print(dumps(result, sort_keys=True, indent=2)) diff --git a/research/p104-helper-entrance-first-contact-bound/engines/price.py b/research/p104-helper-entrance-first-contact-bound/engines/price.py new file mode 100644 index 0000000000..d576287482 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/engines/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-helper-entrance-first-contact-bound/engines/reverse_entrance.py b/research/p104-helper-entrance-first-contact-bound/engines/reverse_entrance.py new file mode 100644 index 0000000000..397262395c --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/engines/reverse_entrance.py @@ -0,0 +1,195 @@ +"""Reverse-contact audit of the exact #7314 public productive entrances.""" +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 signal import SIGALRM, alarm, signal +from time import monotonic + +HEAD='9d0119eb12fbd9fa534b48cd37b68e7099757b91' +CALLER_HEAD='07a76c5e2738882c0cb322278e56f6cae3c9885d' +WORD='7314/WORD.json.gz' +CALLER='7113/CALLER.json' +PINS={ + WORD:'c404b9b61220e6cf740d85276df2828bbb4a9d68a4d44b5e283f8d96f78c0fd9', + CALLER:'255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc', +} +OUTSIDE={863,1355,1568} +LIMIT=1101 + + +def decode(raw): + def unique(pairs): + value=dict(pairs) + assert len(value)==len(pairs),'duplicate JSON key' + return value + return json.loads(raw,object_pairs_hook=unique) + + +def audit(word,deadline): + n=word['public'] + main=set(word['live']) | {r+112 for r in word['live']} + main.update(word['hosted']['X2']+word['hosted']['Y2']) + dimensions=list(map(len,word['frames'])) + first={} + current=word['final']+[None]*word['owned_fields'] + tape=word['program'] + visited=0 + histogram=Counter() + counted_moves=Counter() + + @cache + def span(chart): + vectors={0} + for v in word['frames'][chart]: + assert v not in vectors + vectors.update({x^v for x in vectors}) + return vectors + + helpers=[] + for r,(a,z) in enumerate(zip(word['initial'],word['final'],strict=True)): + if r not in main: + assert span(a)=deadline: + break + visited+=1 + event=tape[t] + op,d,*rest=event + if op=='MOVE': + a,b,owned=rest + assert owned==(d>=n) and current[d]==b + assert span(a)=n and current[d]==(chart if op=='INIT' else None) + current[d]=None if op=='INIT' else chart + contacts=((d,'lifetime'),) + else: + assert op in ('ADD','COPY','SCALE') and Fraction(rest[-2]) + contacts=((d,'destination'),(rest[0],'source')) if op in ('ADD','COPY') else ((d,'unary'),) + assert len({r for r,_ in contacts})==len(contacts) + assert all(current[r]==rest[-1] for r,_ in contacts) + if op=='COPY': + assert d>=n + for r,access in contacts: + if r=deadline: + break + earliest=first.get(r) + record=dict(role=r,initial=a,final=z,old_productive_rank=t, + first_clock=earliest[0] if earliest else None, + first_access=earliest[1] if earliest else None, + first_event=earliest[2] if earliest else None) + if r in OUTSIDE: + status='excluded_comparator_role' + elif t<2: + status='zero_residual_rank' + elif earliest is None or earliest[2][0]!='MOVE': + status='first_contact_not_move' + else: + _,d,u,v,owned=earliest[2] + assert d==r and u==a and not owned + if dimensions[v]-dimensions[u]!=1: + status='first_move_not_rank_one' + elif not span(u)=2)), + status_counts=dict(Counter(row['status'] for row in decisions)), + survivors=[row for row in decisions if row['status']=='support_only'],rows=decisions) + + +def controls(): + toy=dict(public=2,owned_fields=0,frames=[[],[1],[1,2]],live=[],hosted={'X2':[],'Y2':[]}, + initial=[0,0],final=[2,2],program=[ + ['MOVE',0,0,1,False],['MOVE',0,1,2,False],['MOVE',1,0,2,False]]) + pass_=audit(toy,float('inf')) + assert pass_['complete'] and len(pass_['survivors'])==1 + assert pass_['survivors'][0]['role']==0 and pass_['survivors'][0]['new_productive_rank']==1 + altered=toy | {'program':[['ADD',1,0,'-2',0]]+toy['program']} + blocked=audit(altered,float('inf')) + assert blocked['complete'] and not blocked['survivors'] + assert blocked['rows'][0]['first_access']=='source' and blocked['rows'][0]['first_clock']==0 + return ['strict_rank_two_nesting_passes','earlier_add_source_prevents_first_move'] + + +def main(): + p=ArgumentParser() + p.add_argument('inputs',type=Path,nargs='?',default=Path(__file__).resolve().parent/'inputs') + p.add_argument('--price',type=Path) + p.add_argument('--price-sha') + p.add_argument('--seconds',type=int,default=20,choices=range(2,21),metavar='2..20') + p.add_argument('--controls-only',action='store_true') + a=p.parse_args() + check=controls() + if a.controls_only: + print(json.dumps(check)) + return + if a.price is None or a.price_sha is None: + p.error('an exact saved price receipt and SHA-256 are required before support') + + def stop(*_): + raise TimeoutError('hard runner deadline') + + signal(SIGALRM,stop) + alarm(a.seconds) + deadline=monotonic()+a.seconds-1 + try: + price=a.price.read_bytes() + assert sha256(price).hexdigest()==a.price_sha,'changed price receipt' + assert decode(price)['head']==HEAD,'wrong price comparator' + files={} + for rel,digest in PINS.items(): + raw=(a.inputs/rel).read_bytes() + assert sha256(raw).hexdigest()==digest,('changed input',rel) + files[rel]=raw + c=decode(files[CALLER]) + assert [e[1] for e in c['events'] if e[0]=='J']==list(range(1,18)) + result=audit(decode(gzip.decompress(files[WORD])),deadline) + assert result['helpers']==LIMIT and result['main_and_hosted_roles']==400 + if result['complete']: + assert result['visited_events']==76461 and result['visited_helpers']==LIMIT + except TimeoutError: + print(json.dumps(dict(head=HEAD,pins=PINS,status='hard_timeout',unverified=LIMIT))) + raise SystemExit(2) + finally: + alarm(0) + print(json.dumps(dict(head=HEAD,caller_head=CALLER_HEAD,pins=PINS,controls=check, + price_sha256=a.price_sha,copies=17,seconds_cap=a.seconds, + cap=LIMIT,**result),sort_keys=True,indent=2)) + + +if __name__=='__main__': + assert __debug__ + main() diff --git a/research/p104-helper-entrance-first-contact-bound/inputs/7113/CALLER.json.gz b/research/p104-helper-entrance-first-contact-bound/inputs/7113/CALLER.json.gz new file mode 100644 index 0000000000..290ef7c9c5 Binary files /dev/null and b/research/p104-helper-entrance-first-contact-bound/inputs/7113/CALLER.json.gz differ diff --git a/research/p104-helper-entrance-first-contact-bound/inputs/7298/pricing.py b/research/p104-helper-entrance-first-contact-bound/inputs/7298/pricing.py new file mode 100644 index 0000000000..40ec194017 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/inputs/7314/EARLY-RESULT.json b/research/p104-helper-entrance-first-contact-bound/inputs/7314/EARLY-RESULT.json new file mode 100644 index 0000000000..8cf1ee78a8 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/inputs/7314/NATIVE-RESULT.json b/research/p104-helper-entrance-first-contact-bound/inputs/7314/NATIVE-RESULT.json new file mode 100644 index 0000000000..311051d32c --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/inputs/7314/PRICE-ONLY.json b/research/p104-helper-entrance-first-contact-bound/inputs/7314/PRICE-ONLY.json new file mode 100644 index 0000000000..7490e9a64d --- /dev/null +++ b/research/p104-helper-entrance-first-contact-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-helper-entrance-first-contact-bound/inputs/7314/WORD.json.gz b/research/p104-helper-entrance-first-contact-bound/inputs/7314/WORD.json.gz new file mode 100644 index 0000000000..3939a3cc4c Binary files /dev/null and b/research/p104-helper-entrance-first-contact-bound/inputs/7314/WORD.json.gz differ diff --git a/research/p104-helper-entrance-first-contact-bound/receipts/SHA256.json b/research/p104-helper-entrance-first-contact-bound/receipts/SHA256.json new file mode 100644 index 0000000000..3a28905e8d --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/receipts/SHA256.json @@ -0,0 +1,6 @@ +{ + "COMPARE.json": "58d851ca486ec84ea0d1f063eb427ed0204b1b1e49219376d0ab20f6692e043e", + "CONTACT.json": "6d6cb681db29501aec002bd620514b4c48db03424243bf71686ba023dd8d6507", + "PRICE.json": "8d70669e720faabc932366dafbc1bd1fdaef6f088c4eb02b0ea3707ba309ab53", + "REVERSE.json": "bf353b3e05d0bf5fe3e49c15673c4cb9203251329bd594009303541cf7fecc09" +} diff --git a/research/p104-helper-entrance-first-contact-bound/replay.py b/research/p104-helper-entrance-first-contact-bound/replay.py new file mode 100644 index 0000000000..87c5da87d5 --- /dev/null +++ b/research/p104-helper-entrance-first-contact-bound/replay.py @@ -0,0 +1,145 @@ +"""Replay the #7314 public helper entrance exclusion.""" +from argparse import ArgumentParser +from collections import Counter +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 +ENGINES=HERE/'engines' + + +def unique(pairs): + obj=dict(pairs) + if len(obj)!=len(pairs): + raise ValueError('duplicate JSON key') + return obj + + +def load(raw): + return json.loads(raw,object_pairs_hook=unique) + + +def authenticate(scratch): + pins=load((HERE/'LOCAL-PINS.json').read_bytes()) + for name,digest in pins.items(): + rel=PurePosixPath(name) + if rel.is_absolute() or '..' in rel.parts or rel.as_posix()!=name: + raise ValueError(f'invalid dependency path {name}') + assert sha256((HERE/name).read_bytes()).hexdigest()==digest, ('changed input',name) + for source in ('inputs','admission'): + shutil.copytree(HERE/source,scratch/source) + provenance=load((HERE/'PROVENANCE.json').read_bytes())['files'] + assert len(provenance)==5 + 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 sha256(raw).hexdigest()==ref['sha256'], name + assert sha1(f'blob {len(raw)}\0'.encode()+raw).hexdigest()==ref['git_blob'], name + anchor=load((scratch/'admission/ANCHORED.json').read_bytes()) + for ref in anchor['evidence']: + rel=PurePosixPath(ref['path']) + assert len(rel.parts)==1 and not rel.is_absolute() and '..' not in rel.parts + assert pins[f'admission/{rel.as_posix()}']==ref['sha256'] + + +def run(engine,*args,seconds=20,check=True): + argv=[sys.executable,'-I','-B',str(ENGINES/engine),*map(str,args)] + return subprocess.run(argv,check=check,capture_output=True,timeout=seconds) + + +def check_price(price): + p,t=(Counter({int(r):n for r,n in price[key].items()}) for key in ('paid','targets')) + assert (sum(p.values()),sum(t.values()))==(110536,22461) and price['copies']==17 + + def mass(hist): + return sum(r*n for r,n in hist.items()) + + assert mass(t)-mass(p)==1424 + for key,row in price['rank_prices'].items(): + rank=int(key) + paid=p.copy() + target=t.copy() + paid[1]-=17 + target[rank]-=17 + target[rank-1]+=17 + assert min(paid.values())>=0 and min(target.values())>=0 + assert sum(paid.values())==110519 and sum(target.values())==22461 + assert (mass(p)-mass(paid),mass(t)-mass(target))==(17,17) + assert mass(target)-mass(paid)==1424 + net=target.copy() + net.subtract(paid) + net.subtract(t) + net.update(p) + assert {str(r):n for r,n in net.items() if n}==row['signed_net_delta'] + assert 0