From bb36fc65ee0b161229169505f4840c436c5ca2b9 Mon Sep 17 00:00:00 2001 From: Clear1nsight <22630354+Clear1nsight@users.noreply.github.com> Date: Wed, 11 Nov 2026 14:22:27 +1100 Subject: [PATCH 1/3] Reuse #7147 selected replay navigation for onboarding This is the exact documentation prerequisite retained by #7156. It points the onboarding check to the selected #7000/#7001 review. Credit to Rohan Arun and the source authors. --- docs/ci-verification.md | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) 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). From d2e54af81f9dda6487636b79d4964a2385d89b2b Mon Sep 17 00:00:00 2001 From: Clear1nsight <22630354+Clear1nsight@users.noreply.github.com> Date: Wed, 11 Nov 2026 21:53:51 +1100 Subject: [PATCH 2/3] Replay the historical selected check at its inspected commit MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The PR #6292 rejection census and package plan are statements about 2485805. Load its exact sources and planner in a private sparse checkout, keeping all source hashes, 19 expected rejections, nine package selections and the empty-plan control. Subsequent edits to the live Makefile and CI guide no longer invalidate this historical check. The original audit is by unpaidmoon, building on Dennis’s historical replay gate. The pinned repository view follows the precedent of Matarener’s PR #5434. Repair prepared with substantial OpenAI Codex assistance. --- .../historical-selected-replay-gap/README.md | 6 +- .../SOURCES.json | 60 +++++++++--------- .../VERIFY.json | 31 +-------- .../historical-selected-replay-gap/verify.py | 63 ++++++++++++++----- 4 files changed, 82 insertions(+), 78 deletions(-) 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") From ebb2b1c5b62344f56c62d526558f059c99dd7077 Mon Sep 17 00:00:00 2001 From: ToikY <27568617+ToikY@users.noreply.github.com> Date: Wed, 11 Nov 2026 16:19:39 -0800 Subject: [PATCH 3/3] Exclude rank-two hosts for paired Type A QUERY demotions --- .../LOCAL-PINS.json | 14 + .../p104-paired-query-host-rank-bound/NOTICE | 6 + .../PROOF.md | 27 + .../PROVENANCE.json | 37 + .../README.md | 29 + .../SOURCES.json | 18 + .../TASK.json | 117 + .../VERIFICATION.md | 9 + .../VERIFY.json | 19 + .../engines/host_rank.py | 166 + .../engines/phase_a.py | 186 + .../engines/quote.py | 40 + .../engines/quote_predecessor.py | 100 + .../inputs/7113-CALLER.json.gz | Bin 0 -> 11215 bytes .../inputs/7334-ADMITTED.json | 58 + .../inputs/7334-READBACK.json | 188 + .../inputs/QUERY-CENSUS.json | 674 +++ .../inputs/pricing.py | 82 + .../receipts/PREDECESSOR-PRICE.json | 233 + .../receipts/PRICE.json | 567 +++ .../receipts/RESULT.json | 3999 +++++++++++++++++ .../replay.py | 130 + 22 files changed, 6699 insertions(+) create mode 100644 research/p104-paired-query-host-rank-bound/LOCAL-PINS.json create mode 100644 research/p104-paired-query-host-rank-bound/NOTICE create mode 100644 research/p104-paired-query-host-rank-bound/PROOF.md create mode 100644 research/p104-paired-query-host-rank-bound/PROVENANCE.json create mode 100644 research/p104-paired-query-host-rank-bound/README.md create mode 100644 research/p104-paired-query-host-rank-bound/SOURCES.json create mode 100644 research/p104-paired-query-host-rank-bound/TASK.json create mode 100644 research/p104-paired-query-host-rank-bound/VERIFICATION.md create mode 100644 research/p104-paired-query-host-rank-bound/VERIFY.json create mode 100644 research/p104-paired-query-host-rank-bound/engines/host_rank.py create mode 100644 research/p104-paired-query-host-rank-bound/engines/phase_a.py create mode 100644 research/p104-paired-query-host-rank-bound/engines/quote.py create mode 100644 research/p104-paired-query-host-rank-bound/engines/quote_predecessor.py create mode 100644 research/p104-paired-query-host-rank-bound/inputs/7113-CALLER.json.gz create mode 100644 research/p104-paired-query-host-rank-bound/inputs/7334-ADMITTED.json create mode 100644 research/p104-paired-query-host-rank-bound/inputs/7334-READBACK.json create mode 100644 research/p104-paired-query-host-rank-bound/inputs/QUERY-CENSUS.json create mode 100644 research/p104-paired-query-host-rank-bound/inputs/pricing.py create mode 100644 research/p104-paired-query-host-rank-bound/receipts/PREDECESSOR-PRICE.json create mode 100644 research/p104-paired-query-host-rank-bound/receipts/PRICE.json create mode 100644 research/p104-paired-query-host-rank-bound/receipts/RESULT.json create mode 100644 research/p104-paired-query-host-rank-bound/replay.py diff --git a/research/p104-paired-query-host-rank-bound/LOCAL-PINS.json b/research/p104-paired-query-host-rank-bound/LOCAL-PINS.json new file mode 100644 index 0000000000..6c894ee48d --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/LOCAL-PINS.json @@ -0,0 +1,14 @@ +{ + "engines/host_rank.py": "ffbcde67a1f0a7595233baf0e5b40e73ab75fe1324139ecf374040a88d62a13e", + "engines/phase_a.py": "68c475aedfda1545e35ecdcb9cc196c26e371731d56157a544c0b2fd09b0e341", + "engines/quote.py": "273e2444a29284519324743b443cfeb217c2fcea22f3f5b4f3ce33d9faaee5b6", + "engines/quote_predecessor.py": "94a67b09b6fec9249f0e4b45ac5c92cb497b6030f44189404ddf0f3baae18b16", + "inputs/7113-CALLER.json.gz": "7e8038559cd158f6e32ef6d1a3bf15ab6a8ecc2239af32ab1699511ac28e26d9", + "inputs/7334-ADMITTED.json": "c95300e9bca27e44a25c82d794f88cbf70757c142806b0e4c590ea29feb81a13", + "inputs/7334-READBACK.json": "337668788fb39ec9575887f9c5faf438a880471f78d936357dabf7deeac5de82", + "inputs/QUERY-CENSUS.json": "ae9ae5116091dc73d10a5dad34a38eab7581ae26654ef30af8be0ffb1acbea5c", + "inputs/pricing.py": "f4d0b6c9314b838d882d6d06020f24881c19a3fda97a7c00df87b1e920785182", + "receipts/PREDECESSOR-PRICE.json": "bbc486a3eb0e2aed03dd09f400fa94de1a59312058a9826880999155b10453bf", + "receipts/PRICE.json": "15b2f25a9fccde7800f7638d3625e5d44e601052f124e09810583fbbd3eaac5a", + "receipts/RESULT.json": "2b44c64a606c815d8446168a8f44fc281c88ac0a40e794f2bc9cd0d0300797ac" +} diff --git a/research/p104-paired-query-host-rank-bound/NOTICE b/research/p104-paired-query-host-rank-bound/NOTICE new file mode 100644 index 0000000000..891456fe6e --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/NOTICE @@ -0,0 +1,6 @@ +Apache-2.0. + +#7113 supplies the exact signed caller. #7334 supplies the complete +comparator. #7298 supplies directed arithmetic. #7309 supplies the endpoint +engine, controls and slack lemma. #7310 supplies the one-QUERY precedent. +OpenAI Codex and subagents materially assisted. diff --git a/research/p104-paired-query-host-rank-bound/PROOF.md b/research/p104-paired-query-host-rank-bound/PROOF.md new file mode 100644 index 0000000000..787b02a457 --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/PROOF.md @@ -0,0 +1,27 @@ +# Phase defect of a paired QUERY host + +Use column-vector chronology on the same 36-dimensional Type A port. At body one and $q=\sigma\in\{+1,-1\}$, write the desired endpoint as $E_\sigma$, and the invertible prefix and suffix of the modified caller around the host as $B_{\mathrm{in},\sigma}$ and $B_{\mathrm{out},\sigma}$. The sole possible host is + +$$ +J_\sigma=B_{\mathrm{out},\sigma}^{-1}E_\sigma B_{\mathrm{in},\sigma}^{-1}. +$$ + +The modified QUERYs agree with the original at $q=+1$, so the required $J_+$ equals the original host there. The literal replay solves the displayed equation on the smallest interval containing both QUERYs and the host, cancelling the common prefix and suffix outside it. It reduces the coefficients modulo the prime 65521 after checking denominators and inverse factors. For every one of the 102 choices, a nonzero 3×3 minor of $J_--J_+$ certifies a rational rank lower bound of three. The relative defect $J_+^{-1}J_--I$ has the same rank. + +A canonical Type A J at body one applies two disjoint signed shears. Its phase difference has rank two. With the same phase-even linear wrappers at both signs, $J_\sigma=L K_\sigma R+C$, so $J_--J_+=L(K_--K_+)R$ has rank at most two. This capacity argument also holds for rectangular adapters or a phase-even additive feedthrough whose contracted map satisfies the displayed factorization. + +## Exact lower bound of four + +Use the endpoint and relative defect lemma of [#7309](https://github.com/CrocSwap/integer-mult-bounds/pull/7309), with $E_+=I$, $E_-=-I$. For the chronological phase-specialized factors $A_i^\sigma$, the relative endpoint $E_+^{-1}E_-=-I$ is the chronological product of the local relative factors $D_i=(A_i^+)^{-1}A_i^-$, each conjugated by its phase-plus prefix. This follows by induction on the prefixes. Phase-even invertible mixers have identity local relative factors. + +Write the conjugated factors as $G_i$, and put $U_i=\operatorname{im}(G_i-I)$, $S_i=\sum_{j\ne i}U_j$. Telescoping the product minus identity gives $U_i+S_i=V$, since the product minus identity is $-2I$. The centrality of $-I$ allows a cyclic shift applying $G_i$ first. For $x\in U_i$, all later factors change $G_ix$ by vectors in $S_i$, and the final result is $-x$. Consequently $(G_i+I)x$ lies in $U_i\cap S_i$. In characteristic zero this gives + +$$ +\operatorname{rank}((G_i+I)|_{U_i}) + \ \le\ \dim U_i+\dim S_i-36 + \ \le\ \sum_j\operatorname{rank}(G_j-I)-36. +$$ + +Pick any of the 16 unchanged J factors. Its local $D_i=I-2N_i$, where $N_i$ has rank two and $N_i^2=0$. Thus $D_i$ is identity on its two-dimensional defect image and the restriction of $D_i+I$ has rank two. The total local defect rank must be at least 38. The 16 unchanged J factors contribute 32, and the two unchanged QUERYs contribute two. Every new phase-even mixer contributes zero. The remaining host must therefore have relative phase-defect rank at least $38-34=4$, independent of the particular pair and host clock. + +The rank-four floor uses the exact $\pm I$ endpoint and at least one unchanged J with the given defect-image action. It permits additional invertible phase-even mixing on the original port while keeping the other phase-odd factors fixed. Enlarged endpoint spaces, cross-port action, shared phase-odd state, several changed hosts and new phase-odd suppliers are outside the claimed family. diff --git a/research/p104-paired-query-host-rank-bound/PROVENANCE.json b/research/p104-paired-query-host-rank-bound/PROVENANCE.json new file mode 100644 index 0000000000..3e894e7699 --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/PROVENANCE.json @@ -0,0 +1,37 @@ +{ + "files": { + "engines/phase_a.py": { + "commit": "0de5abc36b4a17c7da4f29e1c3e78f956bf33de5", + "git_blob": "4404d8b35a20377990452f508d602cdf6141cde4", + "path": "research/p104-signed-caller-relative-defect-bound/engines/phase_a.py", + "sha256": "68c475aedfda1545e35ecdcb9cc196c26e371731d56157a544c0b2fd09b0e341", + "source": "https://github.com/CrocSwap/integer-mult-bounds/blob/0de5abc36b4a17c7da4f29e1c3e78f956bf33de5/research/p104-signed-caller-relative-defect-bound/engines/phase_a.py", + "uncompress": false + }, + "inputs/7113-CALLER.json.gz": { + "commit": "07a76c5e2738882c0cb322278e56f6cae3c9885d", + "git_blob": "9451ceaf6e8e037894680b549f3ef41c21b260d7", + "path": "research/signed-caller-8x9/expected/ODD-TYPE-AB-CALLER.json", + "sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "source": "https://github.com/CrocSwap/integer-mult-bounds/blob/07a76c5e2738882c0cb322278e56f6cae3c9885d/research/signed-caller-8x9/expected/ODD-TYPE-AB-CALLER.json", + "uncompress": true + }, + "inputs/QUERY-CENSUS.json": { + "commit": "0de5abc36b4a17c7da4f29e1c3e78f956bf33de5", + "git_blob": "9e3320bb7ceb8c4277977ccfb4a67e61cc8716c8", + "path": "research/p104-signed-caller-relative-defect-bound/receipts/type-a/PHASE.json", + "sha256": "ae9ae5116091dc73d10a5dad34a38eab7581ae26654ef30af8be0ffb1acbea5c", + "source": "https://github.com/CrocSwap/integer-mult-bounds/blob/0de5abc36b4a17c7da4f29e1c3e78f956bf33de5/research/p104-signed-caller-relative-defect-bound/receipts/type-a/PHASE.json", + "uncompress": false + }, + "inputs/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 + } + }, + "schema_version": 1 +} diff --git a/research/p104-paired-query-host-rank-bound/README.md b/research/p104-paired-query-host-rank-bound/README.md new file mode 100644 index 0000000000..982f9030a5 --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/README.md @@ -0,0 +1,29 @@ +# Paired Type A QUERY demotions into one existing J + +**NO VERIFIED GAIN. Conditional κ change 0% relative to #7334.** Demote two of the four original-clock Type A QUERYs at 1516, 1580, 1659 and 1721 to their phase-even ADDs, and allow one of the 17 already paid J hosts to change on the same 36-role port. All 102 exact pair and host combinations fail a rank-two phase-defect capacity. The direct calculation gives a nonzero 3×3 minor for each required host difference at `q = ±1`, with all body values one. An independent endpoint argument gives a required defect rank of at least four for every host. All 102 cases were visited and zero remain unresolved. + +## Complete price + +The independently reproduced comparator is [#7334](https://github.com/CrocSwap/integer-mult-bounds/pull/7334) at `aaeec8c0acf01e99a5f331ef363a698d9c084ace`, κ = 0.00364665195644. The exact [#7113 caller](https://github.com/CrocSwap/integer-mult-bounds/blob/07a76c5e2738882c0cb322278e56f6cae3c9885d/research/signed-caller-8x9/expected/ODD-TYPE-AB-CALLER.json) is shared by all 96 Type A ports. + +The one-pair relaxation removes 192 rank-one positions, changes the paid total from 110,519 to 110,327, retains 22,461 productive fields, and changes rank surplus from 1,424 to 1,616. The paid J stock is held fixed. The complete signed invoice grants any extra setup, owned state, routing, restoration, precision and tape for free at this gate. Granting compatibility for two disjoint QUERY pairs gives the optimistic stock bound 384. All tested single-host replacements fail before any extra charge. The disjoint two-pair price is a relaxation and supplies no conclusion about joint replacements with interacting hosts. + +## Replay + +Use CPython 3.12 with assertions. From a clean repository checkout: + +```sh +python3.12 -B scripts/research_package.py --package research/p104-paired-query-host-rank-bound +``` + +A Git-free export of this directory also runs with `python3.12 -I -B replay.py`. Pass `--out ` to retain regenerated receipts. The replay authenticates the exact caller and predecessor endpoint engine and receipt, rebuilds the prior and revised directed prices, replays the signed endpoints and controls, verifies all 102 modular minors, and rejects a changed caller. Path-keyed hashes are in [LOCAL-PINS.json](LOCAL-PINS.json). Exact source links and Git blob IDs are in [PROVENANCE.json](PROVENANCE.json). + +See [PROOF.md](PROOF.md) for the rank-four derivation and [VERIFICATION.md](VERIFICATION.md) for check coverage. + +## Credit + +[#7113](https://github.com/CrocSwap/integer-mult-bounds/pull/7113) supplies the literal signed caller and Type A J lowering. [#7334](https://github.com/CrocSwap/integer-mult-bounds/pull/7334) supplies the complete comparator, and [#7298](https://github.com/CrocSwap/integer-mult-bounds/pull/7298) supplies the directed arithmetic. [#7309](https://github.com/CrocSwap/integer-mult-bounds/pull/7309) supplies the exact signed endpoint replay, its controls and the slack lemma. [#7310](https://github.com/CrocSwap/integer-mult-bounds/pull/7310) solves one QUERY demotion into one changed J. [#7342](https://github.com/CrocSwap/integer-mult-bounds/pull/7342) covers a standalone paired correction with the existing J chronology retained. OpenAI Codex and subagents materially assisted. + +## Open next questions + +A continuation can price one explicit all-width host with phase-defect rank at least four and compare its complete signed bill before replaying a candidate. Changes to multiple hosts, shared odd state or wider ports require their own interface and price. The selected result stays unchanged. diff --git a/research/p104-paired-query-host-rank-bound/SOURCES.json b/research/p104-paired-query-host-rank-bound/SOURCES.json new file mode 100644 index 0000000000..e8c2f265cd --- /dev/null +++ b/research/p104-paired-query-host-rank-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-paired-query-host-rank-bound/TASK.json b/research/p104-paired-query-host-rank-bound/TASK.json new file mode 100644 index 0000000000..657a824b63 --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/TASK.json @@ -0,0 +1,117 @@ +{ + "actual_scope": "Exact signed #7113 Type A caller and full #7334 invoice. Two original-clock QUERYs become their phase-even ADDs and one existing J is replaced on the same 36-role port.", + "ai_assistance": "OpenAI Codex and subagents materially assisted proof, implementation, independent verification and packaging.", + "author": "Signed Type A host rank research", + "base_commit": "e54523517d0f03e58352e647c403a5af3e525a57", + "bottleneck_link": "Two exact QUERY demotions could remove 192 paid rank-one positions in the signed complex invoice.", + "budget_minutes": 5, + "evidence": "All 102 cases have a nonzero modular 3x3 minor. The exact negative-identity endpoint and unchanged-J slack force required host phase-defect rank at least four. Zero unresolved.", + "open_questions": [ + { + "blocked_by": "A retained rank-two host with phase-even adapters supplies at most two.", + "first_step": "Specify one available all-width host, charge its phase-defect capacity, and check a paired QUERY replacement against the complete invoice.", + "question": "Can an affordable changed host supply at least four phase-defect axes?", + "why_it_matters": "An exact hosted change could remove two QUERY calls from the binding complex route." + } + ], + "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": "The task isolates the existing J host as a distinct alternative to a standalone paired correction and extends one-QUERY host exclusions to paired QUERYs.", + "scope_status": "changed", + "stop_rule": "At most 102 exact original pair/host keys in the bounded matrix screen. Stop if all require more than rank two.", + "task_id": "p104-side-correction" +} diff --git a/research/p104-paired-query-host-rank-bound/VERIFICATION.md b/research/p104-paired-query-host-rank-bound/VERIFICATION.md new file mode 100644 index 0000000000..f219f61494 --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/VERIFICATION.md @@ -0,0 +1,9 @@ +# Verification receipts + +The original bounded modular runner exited 0 and exhausted all 102 cases. Its measured elapsed time was 0.12 seconds against an internal 18-second guard and a 20-second outer budget. Every frozen witness has a nonzero determinant modulo 65521. The canonical two-axis fixture does not trip the rank-three gate. The fixture with a planted third axis does. + +The package direct replay exited 0 in 0.66 seconds under CPython 3.12 with assertions. It regenerated the two price receipts, the exact #7309 Type A phase receipt and the 102-case receipt byte for byte. It verified the predecessor endpoints, all 15 predecessor literal mutations, two predecessor slack controls and the host proof's rank inputs. The changed caller control rejected before decoding and produced no new receipt. + +The rank-four claim is the analytical implication in PROOF.md from the independently checked predecessor endpoint and rank inputs. The finite host screen verifies rank at least three using explicit minors. No physical host or new all-width application was built, and no selected or historical full replay was rerun for this scoped contribution. The final commit transport, committed Git-free export and hosted checks are publication steps. + +The registered package runner passed in 1.02 seconds after the README heading was made to match the schema. The staged Git-free replay passed in 0.66 seconds and emitted the same four receipt files. The exact #7113 directory listing resolves the documented path to the same Git blob as the bundled caller. The exact #7309 changed-file listing resolves both bundled phase artifacts to the Git blobs checked during replay. diff --git a/research/p104-paired-query-host-rank-bound/VERIFY.json b/research/p104-paired-query-host-rank-bound/VERIFY.json new file mode 100644 index 0000000000..88593566a7 --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/VERIFY.json @@ -0,0 +1,19 @@ +{ + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/replay.py" + ], + "checks": "Regenerate complete directed price and all 102 host minors, reproduce exact signed predecessor endpoint and slack controls, and reject changed caller bytes.", + "timeout_seconds": 90 + } + ], + "inputs": [], + "python": "3.12", + "requirements": [], + "schema_version": 1, + "status": "ready" +} diff --git a/research/p104-paired-query-host-rank-bound/engines/host_rank.py b/research/p104-paired-query-host-rank-bound/engines/host_rank.py new file mode 100644 index 0000000000..8002efe2d1 --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/engines/host_rank.py @@ -0,0 +1,166 @@ +"""Unit-body exact modular relative phase defect for an existing Type A J host.""" +from fractions import Fraction +from functools import cache +from hashlib import sha256 +from itertools import combinations +import json +from math import isqrt +from pathlib import Path +import sys +from time import monotonic + +PRIME=65521 +DIMENSION=36 +PRICE="15b2f25a9fccde7800f7638d3625e5d44e601052f124e09810583fbbd3eaac5a" +CALLER="255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc" +HEAD="aaeec8c0acf01e99a5f331ef363a698d9c084ace" + + +def checked(path,pin): + raw=path.read_bytes() + if sha256(raw).hexdigest()!=pin: + raise ValueError(f"changed dependency: {path.name}") + return json.loads(raw) + + +@cache +def residue(value): + x=Fraction(value) + assert x.denominator%PRIME + return x.numerator*pow(x.denominator,-1,PRIME)%PRIME + + +def compile_type_a(caller): + steps, hosts, queries = {}, {}, {} + a=residue(caller["types"]["A"]["alpha2"]) + assert a==PRIME-1 + for clock, (kind,op,*args) in enumerate(caller["events"]): + if kind=="J": + x,y,u,v=args[0] + assert len({x,y,u,v})==4 + hosts[op]=clock + steps[clock]=[("ADD",y,x,-1),("ADD",u,v,-a)] + elif kind=="A": + d,*p=args + if op=="QUERY": + assert (d,*p)==(0,1,-1) + queries[clock]=True + steps[clock]=[("ADD",d,p[0],-1)] + elif op=="ADD": + steps[clock]=[(op,d,p[0],residue(p[1]))] + elif op=="SCALE": + k=residue(p[0]) + assert k + steps[clock]=[(op,d,d,k)] + elif op=="SWAP": + steps[clock]=[(op,d,p[0],0)] + elif op=="IDLE_ODD": + steps[clock]=[("SCALE",d,d,-1 if p[1]%2 else 1)] + else: + assert op in ("LAMBDA","IDLE_ONE") + else: + assert kind=="B" + return steps,hosts,queries + + +def basis(j,dimension=DIMENSION): + return [int(i==j) for i in range(dimension)] + + +def invert(factors): + return [(op,d,s,-k if op=="ADD" else pow(k,-1,PRIME) if op=="SCALE" else k) + for op,d,s,k in reversed(factors)] + + +def act(factors, v): + for op,d,s,k in factors: + if op=="ADD": + v[d]=(v[d]+k*v[s])%PRIME + elif op=="SCALE": + v[d]=v[d]*k%PRIME + else: + assert op=="SWAP" + v[d],v[s]=v[s],v[d] + return v + + +def determinant3(rows): + (a,b,c),(d,e,f),(g,h,i)=rows + return (a*(e*i-f*h)-b*(d*i-f*g)+c*(d*h-e*g))%PRIME + + +def rank_gate(columns): + reduced={} + original={} + for j, column in enumerate(columns): + v=column.copy() + for i, earlier in reduced.items(): + if v[i]: + v=[(a-v[i]*b)%PRIME for a,b in zip(v,earlier)] + p=next((i for i,x in enumerate(v) if x),None) + if p is None: + continue + inv=pow(v[p],-1,PRIME) + reduced[p]=[a*inv%PRIME for a in v] + original[j]=column + if len(original)==3: + rows=list(reduced) + cols=list(original) + minor=[[original[c][r] for c in cols] for r in rows] + witness=determinant3(minor) + assert witness + return {"row_keys":rows,"column_keys":cols,"minor":minor,"determinant_mod_prime":witness} + return None + + +def solve(steps, q1, q2, host): + lo,hi=min(q1,q2,host),max(q1,q2,host) + clocks=range(lo,hi+1) + original=[f for t in clocks for f in steps.get(t,[])] + def changed(t): + return [("ADD",0,1,1)] if t in (q1,q2) else steps.get(t,[]) + in_inverse=invert([f for t in range(lo,host) for f in changed(t)]) + out_inverse=invert([f for t in range(host+1,hi+1) for f in changed(t)]) + plus=[(op,d,s,-k) for op,d,s,k in steps[host]] + for j in range(DIMENSION): + v=basis(j) + required=act(out_inverse,act(original,act(in_inverse,v.copy()))) + baseline=act(plus,v) + yield [(a-b)%PRIME for a,b in zip(required,baseline)] + + +def controls(): + old=[("ADD",0,1,-2),("ADD",2,3,2)] + third=old+[("ADD",4,5,2)] + def defect(factors): + return [[(a-b)%PRIME for a,b in zip(act(factors,basis(j,6)),basis(j,6))] for j in range(6)] + assert rank_gate(defect(old)) is None + assert rank_gate(defect(third))["determinant_mod_prime"]==PRIME-8 + return ["unmodified two-axis phase defect", "planted third independent signed axis"] + + +def main(): + root=Path(sys.argv[1]) + price=checked(root/"price/PRICE.json",PRICE) + caller=checked(root/"price/inputs/7113-CALLER.json",CALLER) + assert price["head"]==HEAD and all(PRIME%d for d in range(2,isqrt(PRIME)+1)) + assert (caller["stages"],caller["types"]["A"]["roles"],len(caller["types"]["A"]["ports"]))==(17,36,96) + start=monotonic() + steps,hosts,queries=compile_type_a(caller) + keys=[[*a,b] for a in combinations(queries,2) for b in sorted(hosts)] + assert keys==price["keys"] and len(keys)==102 + checks=controls() + tested=[] + for a,b,j in keys: + if monotonic()-start>=18: + break + host=hosts[j] + witness=rank_gate(solve(steps,a,b,host)) + tested.append(dict(key=[a,b,j],host_clock=host,decision="rank at least three" if witness else "provisional",witness=witness)) + print(json.dumps(dict(head=HEAD, price_sha256=PRICE, caller_sha256=CALLER, field_prime=PRIME, + phase_values=[1,-1], body="all one", case_cap=102, runner_cap_seconds=18, controls=checks, + tested=tested, unvisited=keys[len(tested):], survivors=[x["key"] for x in tested if x["witness"] is None]),indent=2,sort_keys=True)) + + +if __name__=="__main__": + main() diff --git a/research/p104-paired-query-host-rank-bound/engines/phase_a.py b/research/p104-paired-query-host-rank-bound/engines/phase_a.py new file mode 100644 index 0000000000..4404d8b35a --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/engines/phase_a.py @@ -0,0 +1,186 @@ +"""Independent exact Type A phase replay and query deletion controls.""" + +import argparse +from collections import Counter +from fractions import Fraction as Q +from hashlib import sha256 +from itertools import combinations +import json +from pathlib import Path +import time + +CALLER = "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc" +HEAD = "ed090b57ed88f8859e5ff4643645099e6ba856ea" + + +def scaled(row, factor): + return {k: factor*v for k, v in row.items() if factor*v} + + +def add(row, source, factor): + out = row.copy() + for k, value in source.items(): + next_value = out.get(k, 0) + factor*value + if next_value: + out[k] = next_value + else: + out.pop(k, None) + return out + + +def identity(n, sign=1): + return [{j: Q(sign)} for j in range(n)] + + +def rank(rows): + pivots = {} + for raw in rows: + row = raw.copy() + while row: + key = min(row) + if key not in pivots: + pivots[key] = scaled(row, 1/row[key]) + break + row = add(row, pivots[key], -row[key]) + return len(pivots) + + +def product(a, b): + result = [] + for row in a: + out = {} + for j, factor in row.items(): + out = add(out, b[j], factor) + result.append(out) + return result + + +def difference(a, b): + return [add(x, y, -1) for x, y in zip(a, b, strict=True)] + + +def replay(caller, q, removed): + ty = caller["types"]["A"] + n, alpha = ty["roles"], Q(ty["alpha2"]) + rows = identity(n) + for index, event in enumerate(caller["events"]): + kind, op, *rest = event + if kind == "J": + x, y, u, v = rest[0] + rows[y] = add(rows[y], rows[x], q) + rows[u] = add(rows[u], rows[v], alpha*q) + elif kind == "A": + r = rest[0] + if op == "ADD": + rows[r] = add(rows[r], rows[rest[1]], Q(rest[2])) + elif op == "SCALE": + rows[r] = scaled(rows[r], Q(rest[1])) + elif op == "SWAP": + s = rest[1] + rows[r], rows[s] = rows[s], rows[r] + elif op == "QUERY": + phase = q if rest[2] % 2 else 1 + rows[r] = add(rows[r], rows[rest[1]], 1 if index in removed else phase) + elif op not in ("LAMBDA", "IDLE_ONE"): + raise ValueError(op) + return rows + + +def relative_shears(axes, alpha): + x, y, u, v = axes + assert len({x,y,u,v}) == 4 and min(axes) >= 0 and max(axes) < 36 and alpha + local = {global_role: local_role for local_role, global_role in enumerate(axes)} + i, j, k, l = [local[r] for r in axes] + unit = identity(4) + plus_inverse = identity(4) + plus_inverse[j][i] = Q(-1) + plus_inverse[k][l] = -alpha + relative = product(plus_inverse, plus_inverse) + defect = difference(relative, unit) + assert rank(defect) == 2 and not any(product(defect, defect)) + plus_identity = [add(a,b,1) for a,b in zip(relative,unit,strict=True)] + assert rank(product(plus_identity,defect)) == 2 + return [[y,x,str(defect[j][i])], [u,v,str(defect[k][l])]] + + +def controls(): + unit = identity(4) + first = identity(4) + first[1][0] = Q(1) + first[3][2] = Q(1) + inverse = identity(4) + inverse[1][0] = Q(-1) + inverse[3][2] = Q(-1) + positive = [scaled(row,-1) for row in inverse] + negative = [{0:Q(-1)}, {1:Q(-2)}, {2:Q(1,2)}, {3:Q(1)}] + assert product(positive, first) == identity(4,-1) + assert rank(difference(first,unit)) + rank(difference(positive,unit)) == 6 + assert Q(-1)*Q(-2)*Q(1,2) == 1 + assert rank(difference(first,unit)) + rank(difference(negative,unit)) == 5 + assert product(negative, first) != identity(4,-1) + return {"positive_exact_slack_two": True, "negative_determinant_one_slack_one": True} + + +def reason(subset): + return "slack_one" if len(subset) == 1 else ("slack_zero" if len(subset) == 2 else "rank") + + +def audit(caller, start, cap): + ty = caller["types"]["A"] + assert (ty["roles"], ty["offset"], len(ty["ports"]), caller["stages"]) == (36,0,96,17) + assert len(ty["diagonal"]) == 36 and all(row[:2] == [-1,0] for row in ty["diagonal"]) + alpha = Q(ty["alpha2"]) + assert alpha == -1 and not Q(ty["beta2"]) + queries = {} + j_rows = [] + for index, event in enumerate(caller["events"]): + if event[:2] == ["A","QUERY"]: + dst, src, power = event[2:] + assert 0 <= dst < 36 and 0 <= src < 36 and dst != src and power%2 + queries[index] = {"destination": dst, "source": src, "q_power": power, + "relative_defect_rank": 1} + elif event[0] == "J": + j_rows.append({"stage": event[1], "axes": event[2], "relative_defect_rank": 2, + "plus_identity_restricted_rank": 2, + "relative_defect_entries": relative_shears(event[2],alpha)}) + assert len(queries) == 4 and [r["stage"] for r in j_rows] == list(range(1,18)) + good_plus, good_minus = identity(36), identity(36,-1) + assert replay(caller,1,set()) == good_plus + assert replay(caller,-1,set()) == good_minus + assert replay(caller,1,set(queries)) == good_plus + all_subsets = [sub for n in range(1,5) for sub in combinations(queries,n)] + tested = [] + for subset in all_subsets: + if time.monotonic()-start >= cap: + break + delta = difference(replay(caller,-1,set(subset)),good_minus) + defect = rank(delta) + assert defect > 0 + tested.append({"removed": subset, "minus_endpoint_difference_rank": defect, + "remaining_defect_rank_budget": 38-len(subset), "proof": reason(subset)}) + return { + "head": HEAD, "caller_sha256": CALLER, "dimension": 36, "ports": ty["ports"], + "q_plus_endpoint": "+I", "q_minus_endpoint": "-I", "query_events": queries, + "relative_j_blocks": j_rows, "proof_census": dict(Counter(map(reason,all_subsets))), + "mutants": tested, "subsets_tested": len(tested), "unvisited_subsets": all_subsets[len(tested):], + "controls": controls(), + } + + +def main(): + start = time.monotonic() + if not __debug__: + raise RuntimeError("Run with assertions enabled") + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument("--caller", type=Path, required=True) + parser.add_argument("--cap", type=float, default=17) + args = parser.parse_args() + assert 0 < args.cap <= 17 + raw = args.caller.read_bytes() + if sha256(raw).hexdigest() != CALLER: + raise ValueError("Changed caller bytes") + print(json.dumps(audit(json.loads(raw),start,args.cap), sort_keys=True, indent=2)) + + +if __name__ == "__main__": + main() diff --git a/research/p104-paired-query-host-rank-bound/engines/quote.py b/research/p104-paired-query-host-rank-bound/engines/quote.py new file mode 100644 index 0000000000..5e9bb49e9d --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/engines/quote.py @@ -0,0 +1,40 @@ +"""Frozen fixed-host J reuse price, without decoding the literal caller.""" +from fractions import Fraction +from hashlib import sha256 +from itertools import combinations, product +import json +from pathlib import Path + +PINS = { + "inputs/PREVIOUS-PRICE.json": "bbc486a3eb0e2aed03dd09f400fa94de1a59312058a9826880999155b10453bf", + "inputs/7113-CALLER.json": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", +} +HEAD = "aaeec8c0acf01e99a5f331ef363a698d9c084ace" +CLOCKS = (1516, 1580, 1659, 1721) + + +def main(): + root=Path(__file__).resolve().parent + values={} + for name, pin in PINS.items(): + raw=(root/name).read_bytes() + if sha256(raw).hexdigest()!=pin: + raise ValueError(f"changed dependency {name}") + values[name]=raw + old=json.loads(values["inputs/PREVIOUS-PRICE.json"]) + assert old["head"]==HEAD and old["type_a_ports"]==96 + assert old["caller_sha256"]==PINS["inputs/7113-CALLER.json"] + old_bill={r:int(n) for r,n in old["old_paid"].items()} + old_bill["1"]-=192 + two=old["by_number_of_reused_queries"]["2"] + assert two["paid"]==old_bill and two["paid_delta"]=={"1":-192} + assert two["target_delta"]=={} and sum(old_bill.values())==110327 + assert all(Fraction(x)>0 for x in two["complete_margin_at_old_crossing"]) + keys=[list(a)+[b] for a,b in product(combinations(CLOCKS,2),range(1,18))] + print(json.dumps(dict(head=HEAD, input_sha256=PINS, scope="two QUERYs converted to even ADDs with one existing J recompiled, fixed signed rank-two invoice and ordinary adapters; all other events fixed", + one_pair_price=two, proposed_pair_clocks=CLOCKS, keys=keys, key_cap=102, runner_cap_seconds=20, + one_pair_optimistic_gross=192, disjoint_two_pair_optimistic_gross=384), indent=2, sort_keys=True)) + + +if __name__=="__main__": + main() diff --git a/research/p104-paired-query-host-rank-bound/engines/quote_predecessor.py b/research/p104-paired-query-host-rank-bound/engines/quote_predecessor.py new file mode 100644 index 0000000000..338ee8702b --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/engines/quote_predecessor.py @@ -0,0 +1,100 @@ +"""Directed fixed-price stock for reusing one Type A QUERY result.""" +from collections import Counter +from fractions import Fraction as Q +from hashlib import sha256 +from itertools import combinations +from json import dumps, loads +from pathlib import Path +from runpy import run_path + +ROOT=Path(__file__).resolve().parent +HEAD='aaeec8c0acf01e99a5f331ef363a698d9c084ace' +CALLER='07a76c5e2738882c0cb322278e56f6cae3c9885d' +PINS={ + 'inputs/QUERY-CENSUS.json':'ae9ae5116091dc73d10a5dad34a38eab7581ae26654ef30af8be0ffb1acbea5c', + 'inputs/7334-READBACK.json':'337668788fb39ec9575887f9c5faf438a880471f78d936357dabf7deeac5de82', + 'inputs/7334-ADMITTED.json':'c95300e9bca27e44a25c82d794f88cbf70757c142806b0e4c590ea29feb81a13', + 'inputs/pricing.py':'f4d0b6c9314b838d882d6d06020f24881c19a3fda97a7c00df87b1e920785182', + 'inputs/7113-CALLER.json':'255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc', +} + + +def unique(pairs): + result=dict(pairs) + if len(result)!=len(pairs): + raise ValueError('Duplicate JSON key') + return result + + +def hist(data): + result=Counter({int(r):n for r,n in data.items()}) + assert len(result)==len(data) and all(r>0 and type(n) is int and n>0 for r,n in result.items()) + return result + + +def interval(values): + return list(map(str,values)) + + +def main(): + assert __debug__ + raw={} + for rel,pin in PINS.items(): + value=(ROOT/rel).read_bytes() + if sha256(value).hexdigest()!=pin: + raise ValueError(f'Changed dependency {rel}') + raw[rel]=value + read=lambda key:loads(raw[key],object_pairs_hook=unique) + census=read('inputs/QUERY-CENSUS.json') + base=read('inputs/7334-READBACK.json') + admission=read('inputs/7334-ADMITTED.json') + assert base['head']==admission['head']==HEAD and admission['exit']==0 + assert admission['status']=='independently_reproduced_comparable' and len(admission['stages'])==4 + assert base['caller_head']==admission['caller']==CALLER + assert census['caller_sha256']==admission['caller_sha256']==PINS['inputs/7113-CALLER.json'] + assert set(base['assumptions'])==set(admission['assumptions'])=={ + 'native_all_columns','owned_erasure','compiler','precision_tape','analytic_recovery'} + queries=census['query_events'] + clocks=sorted(map(int,queries)) + assert clocks==[1516,1580,1659,1721] + assert all(q=={'destination':0,'q_power':-1,'relative_defect_rank':1,'source':1} for q in queries.values()) + ports=len(set(census['ports'])) + assert ports==len(census['ports'])==96 and len(clocks)==4 + paid,targets=(hist(base[k]) for k in ('paid','targets')) + assert (sum(paid.values()),sum(targets.values()),paid[1])==(110519,22461,68384) + old=targets.copy(); old.subtract(paid) + assert sum(r*n for r,n in old.items())==base['rank_surplus']==1424 and not base['empty_root_credits'] + crossing=Q(base['new_raw_interval'][1]); bit=Q(base['bit_premise']); claim=Q(base['claim']) + assert claim==Q(admission['kappa'])0 and new_bit[0]>0 + stock[str(uses)]={'paid_delta':{'1':-removed},'target_delta':{},'paid':dict(new), + 'paid_positions':sum(new.values()),'productive_fields':22461, + 'rank_surplus':rank_mass,'empty_root_credits':0, + 'exact_credit':str(removed),'complete_margin_at_old_crossing':interval(new_cross), + 'complete_margin_at_retained_bit_premise':interval(new_bit)} + doc={'head':HEAD,'claim':str(claim),'caller_head':CALLER,'caller_sha256':admission['caller_sha256'], + 'input_sha256':PINS,'old_crossing_upper':str(crossing),'retained_bit_premise':str(bit), + 'old_paid':dict(paid),'targets':dict(targets),'old_rank_surplus':1424,'type_a_ports':ports, + 'old_complete_margin_at_crossing':interval(old_cross),'old_complete_margin_at_bit':interval(old_bit), + 'queries':queries,'eligible_pairs_before_support':[list(pair) for pair in combinations(clocks,2)], + 'first_build_use_cap':1,'support_pair_cap':6,'whole_stock_reuse_cap':3, + 'whole_optimistic_stock_upper':'288','by_number_of_reused_queries':stock, + 'scope':'Directed fixed-price stock only, granting source equality, legal owned cache and all added ordinary costs free. Caller bytes hashed and not decoded.'} + print(dumps(doc,indent=2,sort_keys=True)) + + +if __name__=='__main__': + main() diff --git a/research/p104-paired-query-host-rank-bound/inputs/7113-CALLER.json.gz b/research/p104-paired-query-host-rank-bound/inputs/7113-CALLER.json.gz new file mode 100644 index 0000000000000000000000000000000000000000..2479c3a61579df01c0958406746c550381a55dde GIT binary patch literal 11215 zcmZv=V{j!-{N+8-#L2{VCdtG$Cbn(cww)W>nb_8iZQHo9Z9c#MK3iM+V!OINb-MaZ z*XizWcO4=C%#Z(R;NO=yws8le2|GRG|Ma(TiZWlb+n{?^8%stSh+oOTvHVb-wzxJRp-*Yi^g+l*tS3mY37I~z;yw-09wKPKxeI6IX)wmBBx>h8<#d%ty`>hFvU9}lNdxX3cf z*2y}^o_LN>6j2;dBvZJ_vdT8ey2w7rUhL4YGqEvo)U%dbCtALNC|AgLie`(xnw68B zlBAM4D6%LvC^{(KDZ(j6D4q+)W$9&4GmSEhvi36fvQRTovl27sk-e~81uklc+*go0 zoz*`dzF!uQS6cEG-Ch`XwtR5E=N|pPw>HiNI{n>0jRgXCT1s#zZb$Pf!-y`BzHNvu zmIYR;{p+;94O+kY>^_6H-k>`kk^2kZ1RKBpAHB^%U;X7A&Yy(lLP z?~LvK-(O9CB>x?11++{()eSw+>+mD)G<)}o3FwSJWpL|xUD#$ke6^sx0HPa$QbyBHh5U91P~I=b7!_xP-~>!|0|`PwKhubBfp6Hx2_bq|>H zzjXD%_2ccx9I4c9NO|lW%$XAZG^@jaaHpOQEck#zC4OrPKGA^qVHP;2E%?=s|=_KdbA1$Mt-_uI$J3 z!2n<0Qk&Lp-@V@N1uOLM^=Kg4S^Zt!-y7UrC&o6J*LA67tsiRrxjs%d=HLhoXyeh< z*^*L$>4)n0BMYG3dr%`hdI?T`8w9wwzUvbgJA_7kn^c#}LVl+PX~GieI<3Wk(jd&A zhB|D|m9+_CcD-Lh>n`scKCOor$k*wol#O`r%y;o>bjop(yMAxRuFd|%@Y+dNJIAE( zvIey$r|e{xm=ST{q&2Ei-bx1cavn(9>N9p6zGVY=t(hg6+gqftMhO~@l)BvYG6nH7 zC?j+JPAYdL1w@`5GBhOn9}67U0_u}M^ovOAzNn#Jjf~vfKF`q*Lz<4Am`@b9e`!S? zhYIWHDp%MsKRY{M^NXjUqTCwK@XKR zrL8z!<^;}N|4?T5DG)%&GW_nfr8{?jlk2ysPpA*QW3~zu(| zUMN+KYSn|=YFh7P{1c^hXh>&N-)2)?N8;@2JHWjxcF;8YSzH%wQ!Z0zEX_A*F=e(1 z7ra>0d>R4;tjG4WZ0;T?rdsyox6CltJN%%~!=Cr6UaO9N2=Qaminr?+-;{*UPVF^Y z^QfO*rw^?kM zJ!F6#R1{J!NWgfWZ4rfon>hGT?W*8&(K`f7ksd4?Tv5gaJ>5aq{5*i=8 z8lz@2k`DFIcb&V^k=4)V`!7H&9)2Z55S95U`JY@4%Nm4uql-B$uR?kjaam4D>$YPtK{U4cw1 zJM{tEwb0iqLC@C5+qFcf#2nkTy8EAAcYe0Usrrt0eth0NZbQV!EdBiTpFVl3<*Tc3 z0&9(V7uUGL@Yurl=)!n(P;TW@uzhVF*L_?)w41TUwsA+P-l4&bjb9OM!4 z4DetXyZ>e8Y*Lr~$yntgU?!vxd_WO2ZHWh4zdec!z1cvRKsgQV89x|THfW>3(fK!h z8o4hjLKTW#mJfP`AY7V|!(0^B`f?jGrEyPHX9D)aoa^_ypxF*BEm&zK0^{KXA$kcv*{$?=&+79krN^2{Y#RM;g50IXmoxRb6Daeb`-TS z)o3&c19O<(eIg+%!kWq z`SBMlSY0Otz{#>V#djo&VmY?A_&2he~~>(bs537;7Tv5Jc+QYr?>_(O#QQ z>s$jt1vcYcVr7F(NlN13u|!3MD?dYKJTr?G=p#rU zN6=rkpSO^F@*gT@loP2Hrf3~Z1-d3lU$x}Mn)~ivUVNESKgb29ONv0Vl{47$6m|xsuRwCU-T^)J-kOs% z5<~n!_&J-U84YbrCWMSOpKO#NU0m*2j!h{imst&EhBm;_gR2ZE)(aF10*VCy#nMOE zlsSesrt=XETAnjx)*EkhpaSr*ie2cZXa`vpp>3dG3S; zA2ZUPnuHldI*A>l)#L&xy^VHH!S)o}Vi^w_0pi8SC`H_z_^KDwMiW;D()XEod>lb2Cx~8$ZLm0u?Gce*!7q6mCiQM-0kcu^viu7;f&>e@%DNMp> zMk_s9C*cX1KFtkD408>_-YkM+@~W?W<#x5 ziG6hOPQV`_ySMNmyj9>NOa0&(3Ur}T27dQ5`rrFQWl%^xj^S_(!k?@8UKa{HZe{p9 zi!lTh!=IH|C=WYb_z~n*@^-_RVUMDKIBu`S{lY-Pm=}xw$_yBEuf>FzLj-=SQ^oK& zFRx@}Q?u&d{-5$aFH=3y@Gw=uugzmfyDLR&&YW|x-H`(`$0yP}dg!5M0+lo2`nW41 zfOBYdEkGse3IlI@E5%@HU6BOsDW!DOOaY=0+(rT4Y(4H->d@Sk6p5mV0y+-5=ugoE z!T&A8)zS2(Jep@!!;PIe+5Zn({3JoSK^T$m$!@Gs!s~LtTLnzq#L%Cu5&2st4*NLk zg+E&x^KaK|f4?Mqwq3P&FxZ=TnK4M}lLT)|31;ppTV!W*Llb_>mYJ z=V-`&afb6$*`uY?g?hKX6nY-7UZvXw@6hA$d8e-GqF-^+*EC(}*Jl6OFz@9|sS#?{ z)jXD3UT3rbyX?r>cjiW^ac}dwzlsn`N0WScs<@ex3h8ShL6mtI7O#;?BrOE`0}Gil z0^qC<69D&P3=U@Iqz)cnzL?(aodk^%O7QM6(N(d8zae+@CCafC`68ZL3ghOe2&}=d z;^QJB{%q!7Bk7k5Q6vu8V%tfj(F#j7gO*Is75T2D(P~MhAS_=+O!*2|ZpJ=W$P)OM7`JN&4deJBcEJq zB&b)V9xus`S+e=m0k&T4q)My_LK9O?MeDAKvFC$9&iGqyVoA(iV_Zm4JeB2ZL!!r= z*;m;VC$V%qBlRA~Y_dH@Agm697GiT8;)UqqiZ*B+Ve_QVymgvDYM#+Ru zS>#}F#9f1j$yio7O_LtwrbL<9u*RfB%I$v6|#nRrTS~(`l z#2334p6#Fzg3`DBX3FLuh!}`YHJ;Gr*P;KN5(d2QCAFq8(^s^aaov^adfh!K8DgMW zCc+UORTDiB5K-uVo3uWhT>c&q)9TjnaA`T`y`Jqq1G@6xu3^=fP@NG>49kujptd-i z0gX40$egA`@WlkK_Fl;2do;Li#gBYnvl#sEytN%Vx8rD^$+V|xwvr|~o+EZO=nT~a zfLiSt-sZNsSAF-@mWe8oN#<%`kmqL63b9pL^~A5)6^w?WpV7{hy!AXBRwnsj4_c*$ zsyRQ&Po}GDzz9I@@Q+|k0$d-o&Xw#%gcxnt;@B-Sd0FuJu29d4<745jX|z4QB_PAf|^HXaWHVs^t(%1|BxyD{LxAF zXNy1Bh(8tZ%4n9hgqa()5;8hueX)jBYpJ}8%LJ|O-Xnrg6LqXfaU@+$ouQ&Qwqg{g zFz{=uv*|z{E;KJWH?}|R104SMThXIe^3|F3XFo%}9|@|AzLKt>Q^!J(J;P*b$dMSj z-{(Zd>~Vd^Yl|5neLX|D)3$Z~r81oD3ZeBYszJQ?pNyDa5}LzWvlrBG=40UIo^%$z z_~U=T$H(BtJ?UgVtyZ^;4Xs2-#^HNQ2peXb4uuv_pN018VJ2zdC(os+p>@fuOu-Z< zq$Ad?1CNy_7lR+M-Bgp2?SbV3O^pR;t$}XGsS6oFS)~bA+N2b*Bi0`ti^H)acI_oP zD3PgLPL>C1(PdkB^FF8+GAzFbW5yQ_^Fx2REd>#D_8rNguo===li40E_Inbyrcv-` zEjBqRaj>2}J>cc4Emlu)mb}IvH7dyW*YxoqK8;deJ|~RCt!H5_<=9qLy{#Lb)w8}2 z&86_Q69V6e{W)!Xg5JCsvIuy$0e9rBBbi-HCqd{5`sXj7Cyy6G+%6ieBmFI&H81#d zK5^PSO>cA61h}7nc$_~Np^yMF#x5zcYdu3A3`=5G-)DGzYFRCx9wXYOe&eQ@{}fr5 zd}z&DAJaw5LP#;`SW9Fx}b=@tS_u@b99YX+^RqOC#`tQbIk&6w9F32?_n8=pq6_ z_g3m4OYzwp3au$C5F0JlL;*(4uvaxg+Cl+7KXnKiJP2mPgXWR!90qTtB6(ne4PMFn z9)s8C28gi{+r!~&*Hioy8sW8@NS;;|ky6^Ep5pYYJ+O>YkdGy$p-3XNSpr3i9Nsil zH};tLL3;wO=CN!y!o!Tz zRFQ!GyuZJlv5;F%sC4BRs#yx_?R&agPO)1qwSwsn6i~IPR_f_1nRb&ZNctjV1#^n! ze*MA=Djnmq|G}8Dv)?ZfGr4W~VBlIJX+-WNIMgZ|LJ_m!)!iO0$B+x`%p2$LR$onbO5>U7fvxg z*I}q^KJ6rfp#tpvc>>>;Jy3r5fr*YTxvP+x3QF_lAMN;TDsFuS)pWKc+7lul03R2=4#VkodVU=nPsCwz6DF^ zvn8{4a2xiPl>qskPI9Jaa0PP1<7S%^u-iGk%E&lUqzIsBqrzH9tgR5>XSrb|yPE|> zp<*TNF3WIN$&$vt-U3_+ludGE3mZp|iE`sO#ZK|LY4TW2`_<6BqKKEaPKJgovkAW!8>vn1r{U*x zP3+Mts)q&YZYJ`?YnHp{c*AN132d*im2ZfoR53qktp51J7F&I*e!V~DsOl1Os=1?} z?9Ib%$gsi@^(K|mZn%i}*zU;DY%LY7F8Y3CorvXNt+@)dO&CUCwCyRu!*Uta1pTL% zG}r=}l%no0>3Z-E^56jfEn5&{?`^y!KQ3mE%ARv_d|+`025REtPeme86N6@x&icaEQ;_tKqpv{nFHAT#>QzeD%NDwCQV%UFF6p^{)G@uY` zL@I=C9d7nd%{HH&K};Z$rHnUM&GxIN0)vcivan zE;L7g=j&az96M!d6;S~V#3(R*h>~tnA!H=Y*t9{y3YXe$XQ5==Y~lYn%a-YQh6YNS zFn$PYlOgj|Bl}W^@f5e$L%^Q%*qxiHy7xnZ($3_P7ZZz8DXrKv24#LaL}nlaptD3` zW{6N`yiDa}&YRt^*>gPral8&K>9{ipW9j#?+YQb@ugKFB5nFNJiY19alxIZtkuwPzRFKF!;b3!$j>9P>bz4}6)MVZ&N)6drL#^5ghK?2I~_dySSE`GqTkc)znme+ZcnNLyb4e@(?EMcI_J$Gx#P{Z~$t0%eU&OwfSj zNB`Y^(l#64$IJ=(|2?s{C#pjpVIj834BH=$Yz@xV@iZ!W$n4b1!i93n+7^*s>OMZg zfd3>ysCh>fH1ZRI3jc$gun;A3Y-)>Ih$4 z$PxV$=(sAZM<t7(QnBF8GTH!2t^}_}yd*JQ3R8tq z1BWS7cp^@ZMn>$3QH61*Z`&0yhPwS8Ko`}domPPm7|?ylpm zg7dG0(*VbdUcu{Lk~?D3GqC+@um$hZp$HLLls>Pmef9|hcDW48cW=vXC`;(DYDe{* z^(eO0i`ZF!WOh93+9)xqAYPy7UHz{(N!COYnWz!+kjU_~#q1(8jAq*=F!TxbT7b)3 z+0T_%M(Bu_=ekcN)edn^ zZm`iN!CyCW|F*a`4G#PUkxy=ExzPK-oMG5|`RCUDL3@n+LDCZ=ikDMKK>VP;JY&4t z+V9Bni1jR~-;A!`JjQCi>=7bRnEKT+bzf)uU1>jZ%`qr{pV@2s?IInG`7%k`TCzWD z>*tuifrV1YM}l9O=qRyA3uVH!RV*tM(lF>MB-R+g9_1(gF!J_SXreArGRUttItRrJ z)hqFoM|4N&xTKxvtY|-m5$^1~RuBXY1BdKFiaUyLxXTSz4QCKx{H=4HG=bMd{ew*I z)A^99W_-5dMbQ3R;PRb20Pn6uh8@J0yNAHW9*Kr?1&(2SFnzdT^nDI_? zPs|-6p5-29e{XAdCmT(u^1jdYqd*=E*jko!^EuNLSi(gF)V!(}^fB{y+h8sDUURhq z8L{*jRdaKK))QA!vS39d*Z55h#q5DdJ=sawj1}9Mr0Tbf0 zgu$UJgQF9A!33+KCs3rmO+IYv|I7Qw_{}ki~gZmzcHO5?BN6X|RJ4 z%Bb?4&LzXTp4x}eIF^&uK6Gd_ZVvMSr}5|?5=`_KYnS=>{cI9(Mfn5JVr0fv>3te| zKH~X)v16cg<{`p!iE>coX#r3%?$Ct(Auq+^ya z|ET0PApT);+LrWRY^{Zbig__2$I>9Q3wv9AM>rhZaOlL!gi<4LD;mx^h6;{g{3KAv zc1glPP{BuoUbO?_19`0cD^YJ2_Je>!9FZ^E59=B&vxaLz;im8eX>=|HHu(b$p-2;$ z-1OQfR6z~4Qc=<^`gOa>c6NP8>2gK$N2?cq)|IkyBJk#B9Sba53pM^kO^|CU)a~XM zOL~!{5x03v4M}-vTLd25Enf*6e&J^G{^rC<4T>R+Yk#!f(m$ky_WhWzb=^ow(toIz z>A|#9*bP}2VN>rTuN53j3XZ6T{2{7P$Hzpip`tR&je&tsDhdUNf@2OR<)jt)A4MAO zh!eh05EKaZG=lJe1NV?)C{wE-bKP0!{qMA?y2&MrtD{VS~9UIlF?=LhORH;2zZ- zRo9HeR)T`UQk)QQSjn}JH(bc_mKV-5~7V*I!A%mUC{ByF#aRqCzT$nKwwJq zPKV)gx{ypKSMd%(>(sBYwaq?V7r?O|QCP=62R!b%3wk4eR4eU0$OBIH;ejK{AP;LG z5x`=bwEfs|MSpycz)Zm<2gSUSSG|&T^T+QR+cf98J}kAJ7RfkJ3Dplou%fnABq$nY zWDfj)S|MrlkAi&#^D_8-tCBigibQKK3{{VjXEZJD<_s(3M3p{u;M-_h@)ajTm^*;d zUGIW#SX74S7Rvy6m%o7cq^?53CjfHUA8(qA3x=D z4K@dtD5u@xS+j4^s|oa-IFjtYUeEorkB}odO-aKZ#fls1g;jVH_Y&gR1yH!e+%{oh3fUm-i0_aT?Ih#MU>VVAnC&>QwzX>kzFThy!D;5OIoW`Q&KEv+ycME_+r zb)Rc{_u}y{hm9V@U#%~%>qbFEAruilu1tMp918z2M0JmuP*I+2M0MZUxTSn_Rvloi z9rgu@^_wGrA_}2x5>1kRXE{|^!{r=5(}!#$S-+zCKZfTd)dFr)uSaU(I-NZwwOrm6|OIF5dhhnLrt+1%9)UlsN^NBGbUnb)> zl7Dkglz&H6=7d~x4L>uN!unHOxI^}Lvcw+4jCiw-P7|9vpX_EsI86WGG=J)C0}ZBT z^>Q`BWjjMoXZ+8;WjiBGXE=i&PyYzjj%(e*5Tc3j7xbZWWRwKA27~n`zeukO+R&PK z$q1O4l%9lUE2|5Sn*{N@y7<}>&q-7DRv|d$LfR8N3V+@=>Ep(;+)z)4krFe?%XAM_srOv8Bs_J+3{0hLgUV5zw_Qot2A# z?L127bBJA&9{-NA2B$vGEjeUWyT4#AL;95pJ>z#5lF1AC*9e8!^DosP1iBFzT)nqK z1kvIoWaz4@LIfq%AUnLzkwSzy)gV7C`dwN2NKQi}tC3@D`Cp#0K&W(~(is|M^FO@= z`XbyhA;@|Qx>xB}1t0$!XM_{hNI_A#t>&3?`NpZ^^1gGYn5Ugih+qw*QtUr*2R>!B@5L_;-6rw_vceO)L(360tx){MRQJA<1g{uRpHx z1b_JKcKD8AN)=J2#gPQPt{lq2LvN$9C;$ez{!IpYyAyhl_tVVVB|5W|QAv@}dIaN9 z>Z>m*9%x_nd$NMEwNIaU`tc{Q;GB+#=#Jr>fQ9Af{jk6N`(X^E86)R(hHU4i~~h%ZJNQ}O7Lg&~+(NdbK2w;Qt&v@xUe z|37T@*w-$dGW=;tL&DP-W1tPqng%MTzB1BJBcF_EoESp*BJ%BH@Y*{xJ;Y<;3q6SB zcCU;I02%a{z!RQ!i<5$4KrFpiyM%QALIiKj=>LFfHUj+rjrj=D7^?ppdz=N8M|+?0 zME>trpQTxVT6(|FDF(ks{qG}&sVsr7OLcp{`%C?r?T^y$k0br>XQC{Q>z%F6*VDJl z>un#P-}A_F=c~YV&v|W3n!x4<=yF7!gJ}C>sw2za`~Iu6$9qB9`~GPwOI`qhLqNC3 z*ZsbOV@2TWVc^l7Bk$|U-2eG#|NZ+N^q%#V@TKnG{WTZ<(3lsB{ub{4cKi1J1-kzF zoO1oXN9N$Tto=U4>UmA$;PCJET=8@NyuBRZ=;`_TT6jmc|K52lZN1(>?A(sF_q|>D PMn*AXLoONv`|UQv! literal 0 HcmV?d00001 diff --git a/research/p104-paired-query-host-rank-bound/inputs/7334-ADMITTED.json b/research/p104-paired-query-host-rank-bound/inputs/7334-ADMITTED.json new file mode 100644 index 0000000000..464c89e45c --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/inputs/7334-ADMITTED.json @@ -0,0 +1,58 @@ +{ + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "base": "e54523517d0f03e58352e647c403a5af3e525a57", + "caller": "07a76c5e2738882c0cb322278e56f6cae3c9885d", + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "crossing": [ + "0.00364665195644044790699554028334161", + "0.00364665195644044790699554028334162" + ], + "end": "2026-11-11T23:04:43Z", + "exit": 0, + "head": "aaeec8c0acf01e99a5f331ef363a698d9c084ace", + "hosted_at_admission": "plan and historical success; candidate replay in progress", + "inputs": { + "EARLY-RESULT.json": "ad1ca9b2e2febbf80d9bf8b6ceef14ff90fcc29ef9358310e551628eb1706649", + "INPUTS.json": "abedac59097a1c35c27d91cbdb07207bc562a64743bc406d13c94a8bc970592d", + "NATIVE-RESULT.json": "c6d1b00a83185ab0062397b363258b1f3f6685d755e9c1d4f7d3e7e511240812", + "PROPOSED-CLAIM.json": "6e31241944c123d2bd4aa8bc94d833b44b3d889bd6d9aafc579108f416b45f03", + "RESULT.json": "7f2d587c59f063b01f1e8b320084a7f0943f2f05d65e3e0f5e80448c6c8e8194", + "SOURCES.json": "ac7b4473035af648d6073e78b6c39675e706e8194b346bb55ed62a0adc81d593", + "VERIFY.json": "ede7dd2dd3733b9a73f72af9dd7edfe819b49b859c5c76e227ec82cb9c220513", + "WORD.json.gz": "4b9fd1187b34ed97c3ac0c760d73531735a5d0ebc5b4d4ab4377160b20d9bb2a" + }, + "kappa": "0.00364665195644", + "ours": "0", + "peer_gain": "0.000000430519994", + "prior_kappa": "0.003646221436446", + "receipt": { + "peer-prep/IDENTITIES.json": "f4d3f6ca2d87f8cd68c01ac9f77b69bd5a796f92bd567cea8afe3ac7c72e8e4b", + "peer-prep/STATIC.json": "500cc563b7dac8b1de1faf1dee9b820e73152dfddc15a650cd1191edd39e8c79", + "peer-price/RANK-STOCK.json": "4a7841699dd17688f6aada5c902a2a91e94558b2b1b4460c46b0e55aa95b3f9f", + "peer-price/READBACK.json": "337668788fb39ec9575887f9c5faf438a880471f78d936357dabf7deeac5de82", + "peer/COMMAND.txt": "714bfab024155d8216f3ef99f3ee7627ddc35ab341c486ac6bd53c476b757130", + "peer/COMMIT.stdout": "597470d8132a3812deb3624a859546c0c13d52b094fd6fc61e7416941130bd70", + "peer/END-UTC.txt": "9c46923c616c14da5b8ed503e1652021d7bd409a10ec91a78a03263013fba08a", + "peer/METADATA.stdout": "5873404cb4424dca918a00d503569f3c29a3190fd029a007e1afb2006399f647", + "peer/RUN.exit": "9a271f2a916b0b6ee6cecb2426f0b3206ef074578be55d9bc94f6f3fe3ab86aa", + "peer/RUN.stderr": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", + "peer/RUN.stdout": "d589626c7581fbb9928bc615364cfee49deb62dfc0a39a903417ca62be89cf8c", + "peer/START-UTC.txt": "5b78fd6d42a2b42206891318c08e6014de57d7ca46b0201cd11a166f452210f7" + }, + "source_history": "exact anchored base and recursive package provenance, sparse shallow stock wrapper not executed", + "stages": { + "caller": "PASS_HELPER_319_FUSED_CALLER 91166298911/25000000000000", + "early": "PASS_HELPER_319_EXACT_NATIVE_AND_SIGNED_PRICE 0.00364665195644", + "frontier": "PASS_HELPER_319_FUSED_FRONTIER_PROPOSAL 91166298911/25000000000000", + "native": "PASS_HELPER_319_FUSED_NATIVE 3646017316711/1000000000000000" + }, + "start": "2026-11-11T22:54:48Z", + "status": "independently_reproduced_comparable", + "tree": "fa98712a459b20c10240450097c87de433f8a750" +} diff --git a/research/p104-paired-query-host-rank-bound/inputs/7334-READBACK.json b/research/p104-paired-query-host-rank-bound/inputs/7334-READBACK.json new file mode 100644 index 0000000000..625b508eea --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/inputs/7334-READBACK.json @@ -0,0 +1,188 @@ +{ + "assumptions": [ + "native_all_columns", + "owned_erasure", + "compiler", + "precision_tape", + "analytic_recovery" + ], + "bit_admitted": "12039/3125000", + "bit_claim_headroom": "3000951089/25000000000000", + "bit_premise": "376669/100000000", + "caller_head": "07a76c5e2738882c0cb322278e56f6cae3c9885d", + "claim": "91166298911/25000000000000", + "context_c": 2430, + "context_headroom": 1666, + "copies": 17, + "directed_bounds": { + "new_at_claim": [ + "347195197206460540909548691538238227127/2000000000000000000000000000000000000000000000000", + "1735975986032302704547743457691191192207/10000000000000000000000000000000000000000000000000" + ], + "new_at_old_crossing_upper": [ + "333717954993733063339209580360321337006028706669/2000000000000000000000000000000000000000000000000", + "1668589774968665316696047901801606685030143589709/10000000000000000000000000000000000000000000000000" + ], + "new_at_raw_lower": [ + "8890529086421014119/10000000000000000000000000000000000000000000000000", + "8890529086421080299/10000000000000000000000000000000000000000000000000" + ], + "new_at_raw_upper": [ + "-29866980917152322049/10000000000000000000000000000000000000000000000000", + "-29866980917152266101/10000000000000000000000000000000000000000000000000" + ], + "new_at_tested": [ + "1464673416007288863003441470091977383033/10000000000000000000000000000000000000000000000000", + "1464673416007288863003441470091977438357/10000000000000000000000000000000000000000000000000" + ], + "old_at_claim": [ + "-1668785950738799647054310634446839861363893886031/10000000000000000000000000000000000000000000000000", + "-66751438029551985882172425377873594454555753177/400000000000000000000000000000000000000000000000" + ], + "old_at_old_crossing_upper": [ + "-357270001119021587349/10000000000000000000000000000000000000000000000000", + "-357270001119021530951/10000000000000000000000000000000000000000000000000" + ] + }, + "empty_root_credits": 0, + "exact_gain": "215259997/500000000000000", + "exact_relative_percent": "21525999700/1823110718223", + "head": "aaeec8c0acf01e99a5f331ef363a698d9c084ace", + "incumbent": "1823110718223/500000000000000", + "main_boundaries": 104, + "native_grid": [ + 1125, + 25 + ], + "native_ingredient_claim": "3646017316711/1000000000000000", + "new_raw_interval": [ + "364665195644044790699554028334161/100000000000000000000000000000000000", + "182332597822022395349777014167081/50000000000000000000000000000000000" + ], + "old_raw_upper": "36462214364462343366888845568981/10000000000000000000000000000000000", + "ordinary": 782715464, + "ordinary_delta": 52088, + "ordinary_headroom": 217284536, + "outer_functional": 4, + "outer_strict": 54, + "outer_strict_slack": "299635334804355997/10000000000000000000000000000000000", + "owned_lifetimes": 73, + "owned_peak": 50, + "paid": { + "1": 68384, + "2": 14501, + "3": 14093, + "4": 3791, + "5": 5865, + "6": 238, + "7": 170, + "8": 741, + "9": 32, + "16": 416, + "24": 416, + "32": 416, + "40": 416, + "48": 416, + "56": 416, + "64": 208 + }, + "paid_delta": { + "1": -17, + "5": -17, + "6": 17 + }, + "paid_positions": 110519, + "parent": "9d0119eb12fbd9fa534b48cd37b68e7099757b91", + "path_pins": { + "dependencies/7298/pricing.py": { + "sha256": "f4d0b6c9314b838d882d6d06020f24881c19a3fda97a7c00df87b1e920785182" + }, + "dependencies/7314/NATIVE-RESULT.json": { + "sha256": "336f463da5afe5b60bfd3b9f0ce8aeea5a5feb1f854613bf4218ba0b28b3371b" + }, + "dependencies/7314/PROPOSED-CLAIM.json": { + "sha256": "41a08c4b7d0b2de4af22bc778948a143027eb3065fff47b0400b6ded1cc52778" + }, + "dependencies/7314/RESULT.json": { + "sha256": "432191ca572c9221935787ebe392699e3a1ef4512b0bf4fbc704657321cc87ca" + }, + "dependencies/round65/price.json": { + "sha256": "25205ad2cf4230bd2b2b704eec9f96ec4a5486fd575b5599861b28ffdd15b00b" + }, + "receipts/EARLY-RESULT.json": { + "git_blob": "675d6cf2374f3384019dfd53b2bdffd845005f13", + "sha256": "ad1ca9b2e2febbf80d9bf8b6ceef14ff90fcc29ef9358310e551628eb1706649" + }, + "receipts/INPUTS.json": { + "git_blob": "95c53f4594287a72d9b586f10ee136d0a1686984", + "sha256": "abedac59097a1c35c27d91cbdb07207bc562a64743bc406d13c94a8bc970592d" + }, + "receipts/NATIVE-RESULT.json": { + "git_blob": "eb101307d4d0399efed96d88cf6d4c01ec9c7369", + "sha256": "c6d1b00a83185ab0062397b363258b1f3f6685d755e9c1d4f7d3e7e511240812" + }, + "receipts/PROOF.md": { + "git_blob": "7644e5571d583183ee93b686612b5ec4555f6911", + "sha256": "560de573bfd4563c16ca3c7308fa729b4188fabe802d8830f343c3873f75b59d" + }, + "receipts/PROPOSED-CLAIM.json": { + "git_blob": "6b491894580741e3e2c11a453722a0302db7b5d6", + "sha256": "6e31241944c123d2bd4aa8bc94d833b44b3d889bd6d9aafc579108f416b45f03" + }, + "receipts/README.md": { + "git_blob": "b3a055f4e0d334ce2e7df3310caaa0849eb3eba1", + "sha256": "b4db0eb83ab6a2f7151bed2da955a487f4816ec9d1976eccc21e54c2725490b0" + }, + "receipts/REFERENCE.json": { + "git_blob": "8859e243cc39546bcb1e257d95c19a658c455dc7", + "sha256": "3e66e054b803551f18b8670da0b2990a7d0eeb689dfc45b56dbcba295551da70" + }, + "receipts/REPLAY.txt": { + "git_blob": "0b8d8048c18740060f4b7f6d380a5f3a0f30ee53", + "sha256": "230984f4b8206ae4d0c0f18fbba86ff43a1a9623f8ed337cf1285360f9a67c0c" + }, + "receipts/RESULT.json": { + "git_blob": "3034a490f5b0656ae71495c99493c4ab1ac1f5c6", + "sha256": "7f2d587c59f063b01f1e8b320084a7f0943f2f05d65e3e0f5e80448c6c8e8194" + }, + "receipts/SOURCES.json": { + "git_blob": "6b97e903a6df8de437068a0e2907823885928053", + "sha256": "ac7b4473035af648d6073e78b6c39675e706e8194b346bb55ed62a0adc81d593" + }, + "receipts/VERIFY.json": { + "git_blob": "cc98ee2a5c5a79e670094a6f55c7cacda8fd330c", + "sha256": "ede7dd2dd3733b9a73f72af9dd7edfe819b49b859c5c76e227ec82cb9c220513" + }, + "receipts/construct.py": { + "git_blob": "89e923bd738dfc404ca76b7ae36f13844ac4bfbb", + "sha256": "ecb39578063d7f09153a85370a3b9bb7cbf8b36ff9891033a1cce7a2fe7f7fda" + } + }, + "physical_maps": 3037, + "productive_fields": 22461, + "rank_surplus": 1424, + "raw_strict_separation": "43051999421357030665572644351/100000000000000000000000000000000000", + "scope": "Exact receipt and directed-price readback. No native or caller execution in this audit.", + "source_archive_sha256": "0589953b3886d96eacf3bda3d38d8d574bb739fba1056af7f32f56047b6061e2", + "targets": { + "1": 306, + "2": 357, + "3": 799, + "4": 3825, + "5": 1360, + "6": 731, + "7": 323, + "8": 544, + "9": 10888, + "17": 416, + "25": 416, + "33": 416, + "41": 416, + "49": 416, + "57": 416, + "65": 416, + "73": 208, + "137": 208 + }, + "tested": "364665195644007/100000000000000000" +} diff --git a/research/p104-paired-query-host-rank-bound/inputs/QUERY-CENSUS.json b/research/p104-paired-query-host-rank-bound/inputs/QUERY-CENSUS.json new file mode 100644 index 0000000000..9e3320bb7c --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/inputs/QUERY-CENSUS.json @@ -0,0 +1,674 @@ +{ + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "controls": { + "negative_determinant_one_slack_one": true, + "positive_exact_slack_two": true + }, + "dimension": 36, + "head": "ed090b57ed88f8859e5ff4643645099e6ba856ea", + "mutants": [ + { + "minus_endpoint_difference_rank": 1, + "proof": "slack_one", + "remaining_defect_rank_budget": 37, + "removed": [ + 1516 + ] + }, + { + "minus_endpoint_difference_rank": 1, + "proof": "slack_one", + "remaining_defect_rank_budget": 37, + "removed": [ + 1580 + ] + }, + { + "minus_endpoint_difference_rank": 1, + "proof": "slack_one", + "remaining_defect_rank_budget": 37, + "removed": [ + 1659 + ] + }, + { + "minus_endpoint_difference_rank": 1, + "proof": "slack_one", + "remaining_defect_rank_budget": 37, + "removed": [ + 1721 + ] + }, + { + "minus_endpoint_difference_rank": 2, + "proof": "slack_zero", + "remaining_defect_rank_budget": 36, + "removed": [ + 1516, + 1580 + ] + }, + { + "minus_endpoint_difference_rank": 2, + "proof": "slack_zero", + "remaining_defect_rank_budget": 36, + "removed": [ + 1516, + 1659 + ] + }, + { + "minus_endpoint_difference_rank": 2, + "proof": "slack_zero", + "remaining_defect_rank_budget": 36, + "removed": [ + 1516, + 1721 + ] + }, + { + "minus_endpoint_difference_rank": 2, + "proof": "slack_zero", + "remaining_defect_rank_budget": 36, + "removed": [ + 1580, + 1659 + ] + }, + { + "minus_endpoint_difference_rank": 2, + "proof": "slack_zero", + "remaining_defect_rank_budget": 36, + "removed": [ + 1580, + 1721 + ] + }, + { + "minus_endpoint_difference_rank": 2, + "proof": "slack_zero", + "remaining_defect_rank_budget": 36, + "removed": [ + 1659, + 1721 + ] + }, + { + "minus_endpoint_difference_rank": 3, + "proof": "rank", + "remaining_defect_rank_budget": 35, + "removed": [ + 1516, + 1580, + 1659 + ] + }, + { + "minus_endpoint_difference_rank": 3, + "proof": "rank", + "remaining_defect_rank_budget": 35, + "removed": [ + 1516, + 1580, + 1721 + ] + }, + { + "minus_endpoint_difference_rank": 3, + "proof": "rank", + "remaining_defect_rank_budget": 35, + "removed": [ + 1516, + 1659, + 1721 + ] + }, + { + "minus_endpoint_difference_rank": 3, + "proof": "rank", + "remaining_defect_rank_budget": 35, + "removed": [ + 1580, + 1659, + 1721 + ] + }, + { + "minus_endpoint_difference_rank": 4, + "proof": "rank", + "remaining_defect_rank_budget": 34, + "removed": [ + 1516, + 1580, + 1659, + 1721 + ] + } + ], + "ports": [ + 0, + 1, + 2, + 3, + 4, + 5, + 6, + 7, + 8, + 9, + 10, + 11, + 12, + 13, + 14, + 16, + 18, + 19, + 20, + 21, + 22, + 23, + 24, + 25, + 26, + 28, + 29, + 30, + 31, + 32, + 33, + 36, + 37, + 38, + 39, + 40, + 41, + 43, + 44, + 45, + 46, + 48, + 49, + 50, + 51, + 52, + 53, + 54, + 56, + 57, + 58, + 59, + 60, + 61, + 62, + 63, + 64, + 65, + 66, + 67, + 68, + 69, + 70, + 71, + 72, + 73, + 74, + 75, + 76, + 77, + 78, + 79, + 80, + 81, + 82, + 83, + 84, + 85, + 86, + 87, + 88, + 89, + 90, + 91, + 92, + 93, + 94, + 95, + 96, + 97, + 98, + 99, + 100, + 101, + 102, + 103 + ], + "proof_census": { + "rank": 5, + "slack_one": 4, + "slack_zero": 6 + }, + "q_minus_endpoint": "-I", + "q_plus_endpoint": "+I", + "query_events": { + "1516": { + "destination": 0, + "q_power": -1, + "relative_defect_rank": 1, + "source": 1 + }, + "1580": { + "destination": 0, + "q_power": -1, + "relative_defect_rank": 1, + "source": 1 + }, + "1659": { + "destination": 0, + "q_power": -1, + "relative_defect_rank": 1, + "source": 1 + }, + "1721": { + "destination": 0, + "q_power": -1, + "relative_defect_rank": 1, + "source": 1 + } + }, + "relative_j_blocks": [ + { + "axes": [ + 1, + 0, + 18, + 19 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 1, + "-2" + ], + [ + 18, + 19, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 1 + }, + { + "axes": [ + 2, + 0, + 18, + 20 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 2, + "-2" + ], + [ + 18, + 20, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 2 + }, + { + "axes": [ + 3, + 0, + 18, + 21 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 3, + "-2" + ], + [ + 18, + 21, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 3 + }, + { + "axes": [ + 4, + 0, + 18, + 22 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 4, + "-2" + ], + [ + 18, + 22, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 4 + }, + { + "axes": [ + 5, + 0, + 18, + 23 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 5, + "-2" + ], + [ + 18, + 23, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 5 + }, + { + "axes": [ + 6, + 0, + 18, + 24 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 6, + "-2" + ], + [ + 18, + 24, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 6 + }, + { + "axes": [ + 7, + 0, + 18, + 25 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 7, + "-2" + ], + [ + 18, + 25, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 7 + }, + { + "axes": [ + 8, + 0, + 18, + 26 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 8, + "-2" + ], + [ + 18, + 26, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 8 + }, + { + "axes": [ + 9, + 0, + 18, + 27 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 9, + "-2" + ], + [ + 18, + 27, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 9 + }, + { + "axes": [ + 10, + 0, + 18, + 28 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 10, + "-2" + ], + [ + 18, + 28, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 10 + }, + { + "axes": [ + 11, + 0, + 18, + 29 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 11, + "-2" + ], + [ + 18, + 29, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 11 + }, + { + "axes": [ + 12, + 0, + 18, + 30 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 12, + "-2" + ], + [ + 18, + 30, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 12 + }, + { + "axes": [ + 13, + 0, + 18, + 31 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 13, + "-2" + ], + [ + 18, + 31, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 13 + }, + { + "axes": [ + 14, + 0, + 18, + 32 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 14, + "-2" + ], + [ + 18, + 32, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 14 + }, + { + "axes": [ + 15, + 0, + 18, + 33 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 15, + "-2" + ], + [ + 18, + 33, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 15 + }, + { + "axes": [ + 16, + 0, + 18, + 34 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 16, + "-2" + ], + [ + 18, + 34, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 16 + }, + { + "axes": [ + 17, + 0, + 18, + 35 + ], + "plus_identity_restricted_rank": 2, + "relative_defect_entries": [ + [ + 0, + 17, + "-2" + ], + [ + 18, + 35, + "2" + ] + ], + "relative_defect_rank": 2, + "stage": 17 + } + ], + "subsets_tested": 15, + "unvisited_subsets": [] +} diff --git a/research/p104-paired-query-host-rank-bound/inputs/pricing.py b/research/p104-paired-query-host-rank-bound/inputs/pricing.py new file mode 100644 index 0000000000..40ec194017 --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/inputs/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-paired-query-host-rank-bound/receipts/PREDECESSOR-PRICE.json b/research/p104-paired-query-host-rank-bound/receipts/PREDECESSOR-PRICE.json new file mode 100644 index 0000000000..aa34a25c91 --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/receipts/PREDECESSOR-PRICE.json @@ -0,0 +1,233 @@ +{ + "by_number_of_reused_queries": { + "1": { + "complete_margin_at_old_crossing": [ + "959999999999999999999999999999970133019082847677951/10000000000000000000000000000000000000000000000000", + "959999999999999999999999999999970133019082847733899/10000000000000000000000000000000000000000000000000" + ], + "complete_margin_at_retained_bit_premise": [ + "123719303900618415836653648006814476295222493398331/2500000000000000000000000000000000000000000000000", + "494877215602473663346614592027257905180889973648551/10000000000000000000000000000000000000000000000000" + ], + "empty_root_credits": 0, + "exact_credit": "96", + "paid": { + "1": 68288, + "2": 14501, + "3": 14093, + "4": 3791, + "5": 5865, + "6": 238, + "7": 170, + "8": 741, + "9": 32, + "16": 416, + "24": 416, + "32": 416, + "40": 416, + "48": 416, + "56": 416, + "64": 208 + }, + "paid_delta": { + "1": -96 + }, + "paid_positions": 110423, + "productive_fields": 22461, + "rank_surplus": 1520, + "target_delta": {} + }, + "2": { + "complete_margin_at_old_crossing": [ + "1919999999999999999999999999999970133019082847677951/10000000000000000000000000000000000000000000000000", + "1919999999999999999999999999999970133019082847733899/10000000000000000000000000000000000000000000000000" + ], + "complete_margin_at_retained_bit_premise": [ + "363719303900618415836653648006814476295222493398331/2500000000000000000000000000000000000000000000000", + "1454877215602473663346614592027257905180889973648551/10000000000000000000000000000000000000000000000000" + ], + "empty_root_credits": 0, + "exact_credit": "192", + "paid": { + "1": 68192, + "2": 14501, + "3": 14093, + "4": 3791, + "5": 5865, + "6": 238, + "7": 170, + "8": 741, + "9": 32, + "16": 416, + "24": 416, + "32": 416, + "40": 416, + "48": 416, + "56": 416, + "64": 208 + }, + "paid_delta": { + "1": -192 + }, + "paid_positions": 110327, + "productive_fields": 22461, + "rank_surplus": 1616, + "target_delta": {} + }, + "3": { + "complete_margin_at_old_crossing": [ + "2879999999999999999999999999999970133019082847677951/10000000000000000000000000000000000000000000000000", + "2879999999999999999999999999999970133019082847733899/10000000000000000000000000000000000000000000000000" + ], + "complete_margin_at_retained_bit_premise": [ + "603719303900618415836653648006814476295222493398331/2500000000000000000000000000000000000000000000000", + "2414877215602473663346614592027257905180889973648551/10000000000000000000000000000000000000000000000000" + ], + "empty_root_credits": 0, + "exact_credit": "288", + "paid": { + "1": 68096, + "2": 14501, + "3": 14093, + "4": 3791, + "5": 5865, + "6": 238, + "7": 170, + "8": 741, + "9": 32, + "16": 416, + "24": 416, + "32": 416, + "40": 416, + "48": 416, + "56": 416, + "64": 208 + }, + "paid_delta": { + "1": -288 + }, + "paid_positions": 110231, + "productive_fields": 22461, + "rank_surplus": 1712, + "target_delta": {} + } + }, + "caller_head": "07a76c5e2738882c0cb322278e56f6cae3c9885d", + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "claim": "91166298911/25000000000000", + "eligible_pairs_before_support": [ + [ + 1516, + 1580 + ], + [ + 1516, + 1659 + ], + [ + 1516, + 1721 + ], + [ + 1580, + 1659 + ], + [ + 1580, + 1721 + ], + [ + 1659, + 1721 + ] + ], + "first_build_use_cap": 1, + "head": "aaeec8c0acf01e99a5f331ef363a698d9c084ace", + "input_sha256": { + "inputs/7113-CALLER.json": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "inputs/7334-ADMITTED.json": "c95300e9bca27e44a25c82d794f88cbf70757c142806b0e4c590ea29feb81a13", + "inputs/7334-READBACK.json": "337668788fb39ec9575887f9c5faf438a880471f78d936357dabf7deeac5de82", + "inputs/QUERY-CENSUS.json": "ae9ae5116091dc73d10a5dad34a38eab7581ae26654ef30af8be0ffb1acbea5c", + "inputs/pricing.py": "f4d0b6c9314b838d882d6d06020f24881c19a3fda97a7c00df87b1e920785182" + }, + "old_complete_margin_at_bit": [ + "-116280696099381584163346351993185523704777506601669/2500000000000000000000000000000000000000000000000", + "-465122784397526336653385407972742094819110026351449/10000000000000000000000000000000000000000000000000" + ], + "old_complete_margin_at_crossing": [ + "-29866980917152322049/10000000000000000000000000000000000000000000000000", + "-29866980917152266101/10000000000000000000000000000000000000000000000000" + ], + "old_crossing_upper": "182332597822022395349777014167081/50000000000000000000000000000000000", + "old_paid": { + "1": 68384, + "2": 14501, + "3": 14093, + "4": 3791, + "5": 5865, + "6": 238, + "7": 170, + "8": 741, + "9": 32, + "16": 416, + "24": 416, + "32": 416, + "40": 416, + "48": 416, + "56": 416, + "64": 208 + }, + "old_rank_surplus": 1424, + "queries": { + "1516": { + "destination": 0, + "q_power": -1, + "relative_defect_rank": 1, + "source": 1 + }, + "1580": { + "destination": 0, + "q_power": -1, + "relative_defect_rank": 1, + "source": 1 + }, + "1659": { + "destination": 0, + "q_power": -1, + "relative_defect_rank": 1, + "source": 1 + }, + "1721": { + "destination": 0, + "q_power": -1, + "relative_defect_rank": 1, + "source": 1 + } + }, + "retained_bit_premise": "376669/100000000", + "scope": "Directed fixed-price stock only, granting source equality, legal owned cache and all added ordinary costs free. Caller bytes hashed and not decoded.", + "support_pair_cap": 6, + "targets": { + "1": 306, + "2": 357, + "3": 799, + "4": 3825, + "5": 1360, + "6": 731, + "7": 323, + "8": 544, + "9": 10888, + "17": 416, + "25": 416, + "33": 416, + "41": 416, + "49": 416, + "57": 416, + "65": 416, + "73": 208, + "137": 208 + }, + "type_a_ports": 96, + "whole_optimistic_stock_upper": "288", + "whole_stock_reuse_cap": 3 +} diff --git a/research/p104-paired-query-host-rank-bound/receipts/PRICE.json b/research/p104-paired-query-host-rank-bound/receipts/PRICE.json new file mode 100644 index 0000000000..8e7d4f339d --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/receipts/PRICE.json @@ -0,0 +1,567 @@ +{ + "disjoint_two_pair_optimistic_gross": 384, + "head": "aaeec8c0acf01e99a5f331ef363a698d9c084ace", + "input_sha256": { + "inputs/7113-CALLER.json": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "inputs/PREVIOUS-PRICE.json": "bbc486a3eb0e2aed03dd09f400fa94de1a59312058a9826880999155b10453bf" + }, + "key_cap": 102, + "keys": [ + [ + 1516, + 1580, + 1 + ], + [ + 1516, + 1580, + 2 + ], + [ + 1516, + 1580, + 3 + ], + [ + 1516, + 1580, + 4 + ], + [ + 1516, + 1580, + 5 + ], + [ + 1516, + 1580, + 6 + ], + [ + 1516, + 1580, + 7 + ], + [ + 1516, + 1580, + 8 + ], + [ + 1516, + 1580, + 9 + ], + [ + 1516, + 1580, + 10 + ], + [ + 1516, + 1580, + 11 + ], + [ + 1516, + 1580, + 12 + ], + [ + 1516, + 1580, + 13 + ], + [ + 1516, + 1580, + 14 + ], + [ + 1516, + 1580, + 15 + ], + [ + 1516, + 1580, + 16 + ], + [ + 1516, + 1580, + 17 + ], + [ + 1516, + 1659, + 1 + ], + [ + 1516, + 1659, + 2 + ], + [ + 1516, + 1659, + 3 + ], + [ + 1516, + 1659, + 4 + ], + [ + 1516, + 1659, + 5 + ], + [ + 1516, + 1659, + 6 + ], + [ + 1516, + 1659, + 7 + ], + [ + 1516, + 1659, + 8 + ], + [ + 1516, + 1659, + 9 + ], + [ + 1516, + 1659, + 10 + ], + [ + 1516, + 1659, + 11 + ], + [ + 1516, + 1659, + 12 + ], + [ + 1516, + 1659, + 13 + ], + [ + 1516, + 1659, + 14 + ], + [ + 1516, + 1659, + 15 + ], + [ + 1516, + 1659, + 16 + ], + [ + 1516, + 1659, + 17 + ], + [ + 1516, + 1721, + 1 + ], + [ + 1516, + 1721, + 2 + ], + [ + 1516, + 1721, + 3 + ], + [ + 1516, + 1721, + 4 + ], + [ + 1516, + 1721, + 5 + ], + [ + 1516, + 1721, + 6 + ], + [ + 1516, + 1721, + 7 + ], + [ + 1516, + 1721, + 8 + ], + [ + 1516, + 1721, + 9 + ], + [ + 1516, + 1721, + 10 + ], + [ + 1516, + 1721, + 11 + ], + [ + 1516, + 1721, + 12 + ], + [ + 1516, + 1721, + 13 + ], + [ + 1516, + 1721, + 14 + ], + [ + 1516, + 1721, + 15 + ], + [ + 1516, + 1721, + 16 + ], + [ + 1516, + 1721, + 17 + ], + [ + 1580, + 1659, + 1 + ], + [ + 1580, + 1659, + 2 + ], + [ + 1580, + 1659, + 3 + ], + [ + 1580, + 1659, + 4 + ], + [ + 1580, + 1659, + 5 + ], + [ + 1580, + 1659, + 6 + ], + [ + 1580, + 1659, + 7 + ], + [ + 1580, + 1659, + 8 + ], + [ + 1580, + 1659, + 9 + ], + [ + 1580, + 1659, + 10 + ], + [ + 1580, + 1659, + 11 + ], + [ + 1580, + 1659, + 12 + ], + [ + 1580, + 1659, + 13 + ], + [ + 1580, + 1659, + 14 + ], + [ + 1580, + 1659, + 15 + ], + [ + 1580, + 1659, + 16 + ], + [ + 1580, + 1659, + 17 + ], + [ + 1580, + 1721, + 1 + ], + [ + 1580, + 1721, + 2 + ], + [ + 1580, + 1721, + 3 + ], + [ + 1580, + 1721, + 4 + ], + [ + 1580, + 1721, + 5 + ], + [ + 1580, + 1721, + 6 + ], + [ + 1580, + 1721, + 7 + ], + [ + 1580, + 1721, + 8 + ], + [ + 1580, + 1721, + 9 + ], + [ + 1580, + 1721, + 10 + ], + [ + 1580, + 1721, + 11 + ], + [ + 1580, + 1721, + 12 + ], + [ + 1580, + 1721, + 13 + ], + [ + 1580, + 1721, + 14 + ], + [ + 1580, + 1721, + 15 + ], + [ + 1580, + 1721, + 16 + ], + [ + 1580, + 1721, + 17 + ], + [ + 1659, + 1721, + 1 + ], + [ + 1659, + 1721, + 2 + ], + [ + 1659, + 1721, + 3 + ], + [ + 1659, + 1721, + 4 + ], + [ + 1659, + 1721, + 5 + ], + [ + 1659, + 1721, + 6 + ], + [ + 1659, + 1721, + 7 + ], + [ + 1659, + 1721, + 8 + ], + [ + 1659, + 1721, + 9 + ], + [ + 1659, + 1721, + 10 + ], + [ + 1659, + 1721, + 11 + ], + [ + 1659, + 1721, + 12 + ], + [ + 1659, + 1721, + 13 + ], + [ + 1659, + 1721, + 14 + ], + [ + 1659, + 1721, + 15 + ], + [ + 1659, + 1721, + 16 + ], + [ + 1659, + 1721, + 17 + ] + ], + "one_pair_optimistic_gross": 192, + "one_pair_price": { + "complete_margin_at_old_crossing": [ + "1919999999999999999999999999999970133019082847677951/10000000000000000000000000000000000000000000000000", + "1919999999999999999999999999999970133019082847733899/10000000000000000000000000000000000000000000000000" + ], + "complete_margin_at_retained_bit_premise": [ + "363719303900618415836653648006814476295222493398331/2500000000000000000000000000000000000000000000000", + "1454877215602473663346614592027257905180889973648551/10000000000000000000000000000000000000000000000000" + ], + "empty_root_credits": 0, + "exact_credit": "192", + "paid": { + "1": 68192, + "16": 416, + "2": 14501, + "24": 416, + "3": 14093, + "32": 416, + "4": 3791, + "40": 416, + "48": 416, + "5": 5865, + "56": 416, + "6": 238, + "64": 208, + "7": 170, + "8": 741, + "9": 32 + }, + "paid_delta": { + "1": -192 + }, + "paid_positions": 110327, + "productive_fields": 22461, + "rank_surplus": 1616, + "target_delta": {} + }, + "proposed_pair_clocks": [ + 1516, + 1580, + 1659, + 1721 + ], + "runner_cap_seconds": 20, + "scope": "two QUERYs converted to even ADDs with one existing J recompiled, fixed signed rank-two invoice and ordinary adapters; all other events fixed" +} diff --git a/research/p104-paired-query-host-rank-bound/receipts/RESULT.json b/research/p104-paired-query-host-rank-bound/receipts/RESULT.json new file mode 100644 index 0000000000..38169f19d9 --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/receipts/RESULT.json @@ -0,0 +1,3999 @@ +{ + "body": "all one", + "caller_sha256": "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc", + "case_cap": 102, + "controls": [ + "unmodified two-axis phase defect", + "planted third independent signed axis" + ], + "field_prime": 65521, + "head": "aaeec8c0acf01e99a5f331ef363a698d9c084ace", + "phase_values": [ + 1, + -1 + ], + "price_sha256": "15b2f25a9fccde7800f7638d3625e5d44e601052f124e09810583fbbd3eaac5a", + "runner_cap_seconds": 18, + "survivors": [], + "tested": [ + { + "decision": "rank at least three", + "host_clock": 43, + "key": [ + 1516, + 1580, + 1 + ], + "witness": { + "column_keys": [ + 0, + 1, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 2, + 2 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 19 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 137, + "key": [ + 1516, + 1580, + 2 + ], + "witness": { + "column_keys": [ + 0, + 2, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 65519 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 20 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 268, + "key": [ + 1516, + 1580, + 3 + ], + "witness": { + "column_keys": [ + 0, + 3, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 2, + 2 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 21 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 432, + "key": [ + 1516, + 1580, + 4 + ], + "witness": { + "column_keys": [ + 0, + 4, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 65519 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 22 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 633, + "key": [ + 1516, + 1580, + 5 + ], + "witness": { + "column_keys": [ + 0, + 5, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 2, + 2 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 23 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 867, + "key": [ + 1516, + 1580, + 6 + ], + "witness": { + "column_keys": [ + 0, + 6, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 65519 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 24 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 1138, + "key": [ + 1516, + 1580, + 7 + ], + "witness": { + "column_keys": [ + 0, + 7, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 2, + 2 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 25 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 1423, + "key": [ + 1516, + 1580, + 8 + ], + "witness": { + "column_keys": [ + 0, + 8, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 65519 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 26 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3058, + "key": [ + 1516, + 1580, + 9 + ], + "witness": { + "column_keys": [ + 0, + 9, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 65519 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 27 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3377, + "key": [ + 1516, + 1580, + 10 + ], + "witness": { + "column_keys": [ + 0, + 10, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 2, + 2 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 28 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3674, + "key": [ + 1516, + 1580, + 11 + ], + "witness": { + "column_keys": [ + 0, + 11, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 65519 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 29 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3934, + "key": [ + 1516, + 1580, + 12 + ], + "witness": { + "column_keys": [ + 0, + 12, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 2, + 2 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 30 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4149, + "key": [ + 1516, + 1580, + 13 + ], + "witness": { + "column_keys": [ + 0, + 13, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 65519 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 31 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4337, + "key": [ + 1516, + 1580, + 14 + ], + "witness": { + "column_keys": [ + 0, + 14, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 2, + 2 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 32 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4485, + "key": [ + 1516, + 1580, + 15 + ], + "witness": { + "column_keys": [ + 0, + 15, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 65519 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 33 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4606, + "key": [ + 1516, + 1580, + 16 + ], + "witness": { + "column_keys": [ + 0, + 16, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 2, + 2 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 34 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4691, + "key": [ + 1516, + 1580, + 17 + ], + "witness": { + "column_keys": [ + 0, + 17, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 65519 + ], + [ + 0, + 65519, + 0 + ], + [ + 65519, + 2, + 0 + ] + ], + "row_keys": [ + 18, + 0, + 35 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 43, + "key": [ + 1516, + 1659, + 1 + ], + "witness": { + "column_keys": [ + 0, + 1, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 1, + 0, + 19 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 137, + "key": [ + 1516, + 1659, + 2 + ], + "witness": { + "column_keys": [ + 0, + 2, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 2, + 0, + 20 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 268, + "key": [ + 1516, + 1659, + 3 + ], + "witness": { + "column_keys": [ + 0, + 3, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 3, + 0, + 21 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 432, + "key": [ + 1516, + 1659, + 4 + ], + "witness": { + "column_keys": [ + 0, + 4, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 4, + 0, + 22 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 633, + "key": [ + 1516, + 1659, + 5 + ], + "witness": { + "column_keys": [ + 0, + 5, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 5, + 0, + 23 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 867, + "key": [ + 1516, + 1659, + 6 + ], + "witness": { + "column_keys": [ + 0, + 6, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 6, + 0, + 24 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 1138, + "key": [ + 1516, + 1659, + 7 + ], + "witness": { + "column_keys": [ + 0, + 7, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 7, + 0, + 25 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 1423, + "key": [ + 1516, + 1659, + 8 + ], + "witness": { + "column_keys": [ + 0, + 8, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 8, + 0, + 26 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3058, + "key": [ + 1516, + 1659, + 9 + ], + "witness": { + "column_keys": [ + 0, + 9, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 9, + 0, + 27 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3377, + "key": [ + 1516, + 1659, + 10 + ], + "witness": { + "column_keys": [ + 0, + 10, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 10, + 0, + 28 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3674, + "key": [ + 1516, + 1659, + 11 + ], + "witness": { + "column_keys": [ + 0, + 11, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 11, + 0, + 29 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3934, + "key": [ + 1516, + 1659, + 12 + ], + "witness": { + "column_keys": [ + 0, + 12, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 12, + 0, + 30 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4149, + "key": [ + 1516, + 1659, + 13 + ], + "witness": { + "column_keys": [ + 0, + 13, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 13, + 0, + 31 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4337, + "key": [ + 1516, + 1659, + 14 + ], + "witness": { + "column_keys": [ + 0, + 14, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 14, + 0, + 32 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4485, + "key": [ + 1516, + 1659, + 15 + ], + "witness": { + "column_keys": [ + 0, + 15, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 15, + 0, + 33 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4606, + "key": [ + 1516, + 1659, + 16 + ], + "witness": { + "column_keys": [ + 0, + 16, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 16, + 0, + 34 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4691, + "key": [ + 1516, + 1659, + 17 + ], + "witness": { + "column_keys": [ + 0, + 17, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 2, + 65519, + 65519 + ] + ], + "row_keys": [ + 17, + 0, + 35 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 43, + "key": [ + 1516, + 1721, + 1 + ], + "witness": { + "column_keys": [ + 0, + 1, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 2, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 19 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 137, + "key": [ + 1516, + 1721, + 2 + ], + "witness": { + "column_keys": [ + 0, + 2, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65519, + 0 + ], + [ + 2, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 20 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 268, + "key": [ + 1516, + 1721, + 3 + ], + "witness": { + "column_keys": [ + 0, + 3, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 65519, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 21 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 432, + "key": [ + 1516, + 1721, + 4 + ], + "witness": { + "column_keys": [ + 0, + 4, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65519, + 0 + ], + [ + 2, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 22 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 633, + "key": [ + 1516, + 1721, + 5 + ], + "witness": { + "column_keys": [ + 0, + 5, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 65519, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 23 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 867, + "key": [ + 1516, + 1721, + 6 + ], + "witness": { + "column_keys": [ + 0, + 6, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65519, + 0 + ], + [ + 2, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 24 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 1138, + "key": [ + 1516, + 1721, + 7 + ], + "witness": { + "column_keys": [ + 0, + 7, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 65519, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 25 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 1423, + "key": [ + 1516, + 1721, + 8 + ], + "witness": { + "column_keys": [ + 0, + 8, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65519, + 0 + ], + [ + 2, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 26 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3058, + "key": [ + 1516, + 1721, + 9 + ], + "witness": { + "column_keys": [ + 0, + 9, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65519, + 0 + ], + [ + 2, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 27 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3377, + "key": [ + 1516, + 1721, + 10 + ], + "witness": { + "column_keys": [ + 0, + 10, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 65519, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 28 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3674, + "key": [ + 1516, + 1721, + 11 + ], + "witness": { + "column_keys": [ + 0, + 11, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65519, + 0 + ], + [ + 2, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 29 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3934, + "key": [ + 1516, + 1721, + 12 + ], + "witness": { + "column_keys": [ + 0, + 12, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 65519, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 30 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4149, + "key": [ + 1516, + 1721, + 13 + ], + "witness": { + "column_keys": [ + 0, + 13, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65519, + 0 + ], + [ + 2, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 31 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4337, + "key": [ + 1516, + 1721, + 14 + ], + "witness": { + "column_keys": [ + 0, + 14, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 65519, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 32 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4485, + "key": [ + 1516, + 1721, + 15 + ], + "witness": { + "column_keys": [ + 0, + 15, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65519, + 0 + ], + [ + 2, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 33 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4606, + "key": [ + 1516, + 1721, + 16 + ], + "witness": { + "column_keys": [ + 0, + 16, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 65519, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 34 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4691, + "key": [ + 1516, + 1721, + 17 + ], + "witness": { + "column_keys": [ + 0, + 17, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65519, + 0 + ], + [ + 2, + 0, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 0, + 1, + 35 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 43, + "key": [ + 1580, + 1659, + 1 + ], + "witness": { + "column_keys": [ + 0, + 1, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 2 + ] + ], + "row_keys": [ + 1, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 137, + "key": [ + 1580, + 1659, + 2 + ], + "witness": { + "column_keys": [ + 0, + 2, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 2, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 268, + "key": [ + 1580, + 1659, + 3 + ], + "witness": { + "column_keys": [ + 0, + 3, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 2 + ] + ], + "row_keys": [ + 3, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 432, + "key": [ + 1580, + 1659, + 4 + ], + "witness": { + "column_keys": [ + 0, + 4, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 4, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 633, + "key": [ + 1580, + 1659, + 5 + ], + "witness": { + "column_keys": [ + 0, + 5, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 2 + ] + ], + "row_keys": [ + 5, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 867, + "key": [ + 1580, + 1659, + 6 + ], + "witness": { + "column_keys": [ + 0, + 6, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 6, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 1138, + "key": [ + 1580, + 1659, + 7 + ], + "witness": { + "column_keys": [ + 0, + 7, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 2 + ] + ], + "row_keys": [ + 7, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 1423, + "key": [ + 1580, + 1659, + 8 + ], + "witness": { + "column_keys": [ + 0, + 8, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 8, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3058, + "key": [ + 1580, + 1659, + 9 + ], + "witness": { + "column_keys": [ + 0, + 9, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 9, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3377, + "key": [ + 1580, + 1659, + 10 + ], + "witness": { + "column_keys": [ + 0, + 10, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 2 + ] + ], + "row_keys": [ + 10, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3674, + "key": [ + 1580, + 1659, + 11 + ], + "witness": { + "column_keys": [ + 0, + 11, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 11, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3934, + "key": [ + 1580, + 1659, + 12 + ], + "witness": { + "column_keys": [ + 0, + 12, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 2 + ] + ], + "row_keys": [ + 12, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4149, + "key": [ + 1580, + 1659, + 13 + ], + "witness": { + "column_keys": [ + 0, + 13, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 13, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4337, + "key": [ + 1580, + 1659, + 14 + ], + "witness": { + "column_keys": [ + 0, + 14, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 2 + ] + ], + "row_keys": [ + 14, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4485, + "key": [ + 1580, + 1659, + 15 + ], + "witness": { + "column_keys": [ + 0, + 15, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 15, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4606, + "key": [ + 1580, + 1659, + 16 + ], + "witness": { + "column_keys": [ + 0, + 16, + 18 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 2 + ] + ], + "row_keys": [ + 16, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4691, + "key": [ + 1580, + 1659, + 17 + ], + "witness": { + "column_keys": [ + 0, + 17, + 18 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 0 + ], + [ + 0, + 0, + 65519 + ] + ], + "row_keys": [ + 17, + 0, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 43, + "key": [ + 1580, + 1721, + 1 + ], + "witness": { + "column_keys": [ + 0, + 1, + 2 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 2, + 0, + 0 + ], + [ + 2, + 2, + 2 + ] + ], + "row_keys": [ + 0, + 1, + 18 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 137, + "key": [ + 1580, + 1721, + 2 + ], + "witness": { + "column_keys": [ + 0, + 1, + 2 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65517, + 65519 + ], + [ + 65519, + 65515, + 65519 + ], + [ + 2, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 268, + "key": [ + 1580, + 1721, + 3 + ], + "witness": { + "column_keys": [ + 0, + 1, + 3 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65517, + 65519 + ], + [ + 2, + 65515, + 2 + ], + [ + 65519, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 432, + "key": [ + 1580, + 1721, + 4 + ], + "witness": { + "column_keys": [ + 0, + 1, + 4 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65517, + 65519 + ], + [ + 65519, + 65515, + 65519 + ], + [ + 2, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 633, + "key": [ + 1580, + 1721, + 5 + ], + "witness": { + "column_keys": [ + 0, + 1, + 5 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65517, + 65519 + ], + [ + 2, + 65515, + 2 + ], + [ + 65519, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 867, + "key": [ + 1580, + 1721, + 6 + ], + "witness": { + "column_keys": [ + 0, + 1, + 6 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65517, + 65519 + ], + [ + 65519, + 65515, + 65519 + ], + [ + 2, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 1138, + "key": [ + 1580, + 1721, + 7 + ], + "witness": { + "column_keys": [ + 0, + 1, + 7 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65517, + 65519 + ], + [ + 2, + 65515, + 2 + ], + [ + 65519, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 1423, + "key": [ + 1580, + 1721, + 8 + ], + "witness": { + "column_keys": [ + 0, + 1, + 8 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65517, + 65519 + ], + [ + 65519, + 65515, + 65519 + ], + [ + 2, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3058, + "key": [ + 1580, + 1721, + 9 + ], + "witness": { + "column_keys": [ + 0, + 1, + 9 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 65519, + 0, + 65519 + ], + [ + 65519, + 2, + 65519 + ], + [ + 2, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3377, + "key": [ + 1580, + 1721, + 10 + ], + "witness": { + "column_keys": [ + 0, + 1, + 10 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 0, + 65519 + ], + [ + 2, + 2, + 2 + ], + [ + 65519, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3674, + "key": [ + 1580, + 1721, + 11 + ], + "witness": { + "column_keys": [ + 0, + 1, + 11 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 65519, + 0, + 65519 + ], + [ + 65519, + 2, + 65519 + ], + [ + 2, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3934, + "key": [ + 1580, + 1721, + 12 + ], + "witness": { + "column_keys": [ + 0, + 1, + 12 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 0, + 65519 + ], + [ + 2, + 2, + 2 + ], + [ + 65519, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4149, + "key": [ + 1580, + 1721, + 13 + ], + "witness": { + "column_keys": [ + 0, + 1, + 13 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 65519, + 0, + 65519 + ], + [ + 65519, + 2, + 65519 + ], + [ + 2, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4337, + "key": [ + 1580, + 1721, + 14 + ], + "witness": { + "column_keys": [ + 0, + 1, + 14 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 0, + 65519 + ], + [ + 2, + 2, + 2 + ], + [ + 65519, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4485, + "key": [ + 1580, + 1721, + 15 + ], + "witness": { + "column_keys": [ + 0, + 1, + 15 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 65519, + 0, + 65519 + ], + [ + 65519, + 2, + 65519 + ], + [ + 2, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4606, + "key": [ + 1580, + 1721, + 16 + ], + "witness": { + "column_keys": [ + 0, + 1, + 16 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 0, + 65519 + ], + [ + 2, + 2, + 2 + ], + [ + 65519, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4691, + "key": [ + 1580, + 1721, + 17 + ], + "witness": { + "column_keys": [ + 0, + 1, + 17 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 65519, + 0, + 65519 + ], + [ + 65519, + 2, + 65519 + ], + [ + 2, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 18, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 43, + "key": [ + 1659, + 1721, + 1 + ], + "witness": { + "column_keys": [ + 0, + 1, + 2 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 65519, + 0 + ], + [ + 0, + 65519, + 65519 + ], + [ + 2, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 1, + 2 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 137, + "key": [ + 1659, + 1721, + 2 + ], + "witness": { + "column_keys": [ + 0, + 1, + 2 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65517, + 65519 + ], + [ + 0, + 65519, + 65519 + ], + [ + 2, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 2, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 268, + "key": [ + 1659, + 1721, + 3 + ], + "witness": { + "column_keys": [ + 0, + 1, + 3 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 65517, + 65519 + ], + [ + 0, + 2, + 65519 + ], + [ + 65519, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 3, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 432, + "key": [ + 1659, + 1721, + 4 + ], + "witness": { + "column_keys": [ + 0, + 1, + 4 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65517, + 65519 + ], + [ + 0, + 65519, + 65519 + ], + [ + 2, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 4, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 633, + "key": [ + 1659, + 1721, + 5 + ], + "witness": { + "column_keys": [ + 0, + 1, + 5 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 65517, + 65519 + ], + [ + 0, + 2, + 65519 + ], + [ + 65519, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 5, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 867, + "key": [ + 1659, + 1721, + 6 + ], + "witness": { + "column_keys": [ + 0, + 1, + 6 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65517, + 65519 + ], + [ + 0, + 65519, + 65519 + ], + [ + 2, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 6, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 1138, + "key": [ + 1659, + 1721, + 7 + ], + "witness": { + "column_keys": [ + 0, + 1, + 7 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 2, + 65517, + 65519 + ], + [ + 0, + 2, + 65519 + ], + [ + 65519, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 7, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 1423, + "key": [ + 1659, + 1721, + 8 + ], + "witness": { + "column_keys": [ + 0, + 1, + 8 + ], + "determinant_mod_prime": 65513, + "minor": [ + [ + 65519, + 65517, + 65519 + ], + [ + 0, + 65519, + 65519 + ], + [ + 2, + 4, + 0 + ] + ], + "row_keys": [ + 0, + 8, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3058, + "key": [ + 1659, + 1721, + 9 + ], + "witness": { + "column_keys": [ + 0, + 1, + 9 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 65519, + 0, + 65519 + ], + [ + 0, + 2, + 65519 + ], + [ + 2, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 9, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3377, + "key": [ + 1659, + 1721, + 10 + ], + "witness": { + "column_keys": [ + 0, + 1, + 10 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 0, + 65519 + ], + [ + 0, + 65519, + 65519 + ], + [ + 65519, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 10, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3674, + "key": [ + 1659, + 1721, + 11 + ], + "witness": { + "column_keys": [ + 0, + 1, + 11 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 65519, + 0, + 65519 + ], + [ + 0, + 2, + 65519 + ], + [ + 2, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 11, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 3934, + "key": [ + 1659, + 1721, + 12 + ], + "witness": { + "column_keys": [ + 0, + 1, + 12 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 0, + 65519 + ], + [ + 0, + 65519, + 65519 + ], + [ + 65519, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 12, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4149, + "key": [ + 1659, + 1721, + 13 + ], + "witness": { + "column_keys": [ + 0, + 1, + 13 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 65519, + 0, + 65519 + ], + [ + 0, + 2, + 65519 + ], + [ + 2, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 13, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4337, + "key": [ + 1659, + 1721, + 14 + ], + "witness": { + "column_keys": [ + 0, + 1, + 14 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 0, + 65519 + ], + [ + 0, + 65519, + 65519 + ], + [ + 65519, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 14, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4485, + "key": [ + 1659, + 1721, + 15 + ], + "witness": { + "column_keys": [ + 0, + 1, + 15 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 65519, + 0, + 65519 + ], + [ + 0, + 2, + 65519 + ], + [ + 2, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 15, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4606, + "key": [ + 1659, + 1721, + 16 + ], + "witness": { + "column_keys": [ + 0, + 1, + 16 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 2, + 0, + 65519 + ], + [ + 0, + 65519, + 65519 + ], + [ + 65519, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 16, + 1 + ] + } + }, + { + "decision": "rank at least three", + "host_clock": 4691, + "key": [ + 1659, + 1721, + 17 + ], + "witness": { + "column_keys": [ + 0, + 1, + 17 + ], + "determinant_mod_prime": 8, + "minor": [ + [ + 65519, + 0, + 65519 + ], + [ + 0, + 2, + 65519 + ], + [ + 2, + 0, + 0 + ] + ], + "row_keys": [ + 0, + 17, + 1 + ] + } + } + ], + "unvisited": [] +} diff --git a/research/p104-paired-query-host-rank-bound/replay.py b/research/p104-paired-query-host-rank-bound/replay.py new file mode 100644 index 0000000000..ddea334ee5 --- /dev/null +++ b/research/p104-paired-query-host-rank-bound/replay.py @@ -0,0 +1,130 @@ +"""Authenticate the exact caller, regenerate the directed price and replay every host.""" +from argparse import ArgumentParser +from gzip import decompress +from hashlib import sha1, sha256 +from json import loads +from pathlib import Path +from shutil import copyfile +from subprocess import run +from sys import executable +from tempfile import TemporaryDirectory + +HERE = Path(__file__).resolve().parent +HEAD = "aaeec8c0acf01e99a5f331ef363a698d9c084ace" +CALLER = "255d89f38cd45e38e5770f559bc43dc217e989032359768cdc7e8cdfd64b47bc" +PRIME = 65521 + + +def require(condition, message): + if not condition: + raise ValueError(message) + + +def unique(pairs): + result = dict(pairs) + require(len(result) == len(pairs), "Duplicate JSON key") + return result + + +def read(raw): + return loads(raw, object_pairs_hook=unique) + + +def blob(raw): + return sha1(b"blob " + str(len(raw)).encode() + b"\0" + raw).hexdigest() + + +def determinant3(m): + (a, b, c), (d, e, f), (g, h, i) = m + return (a * (e * i - f * h) + b * (f * g - d * i) + c * (d * h - e * g)) % PRIME + + +def replay(out): + for rel, pin in read((HERE / "LOCAL-PINS.json").read_bytes()).items(): + file = HERE / rel + require(file.resolve().is_relative_to(HERE) and sha256(file.read_bytes()).hexdigest() == pin, + f"Changed dependency {rel}") + caller = decompress((HERE / "inputs/7113-CALLER.json.gz").read_bytes()) + require(sha256(caller).hexdigest() == CALLER and blob(caller) == "9451ceaf6e8e037894680b549f3ef41c21b260d7", + "Changed exact #7113 caller") + require(blob((HERE / "engines/phase_a.py").read_bytes()) == "4404d8b35a20377990452f508d602cdf6141cde4", + "Changed exact #7309 endpoint engine") + require(blob((HERE / "inputs/QUERY-CENSUS.json").read_bytes()) == "9e3320bb7ceb8c4277977ccfb4a67e61cc8716c8", + "Changed exact #7309 phase receipt") + out.mkdir(parents=True, exist_ok=False) + with TemporaryDirectory(prefix="paired-query-host-") as tmp: + work = Path(tmp) + price = work / "price" + inputs = price / "inputs" + inputs.mkdir(parents=True) + for name in ("QUERY-CENSUS.json", "7334-ADMITTED.json", "7334-READBACK.json", "pricing.py"): + copyfile(HERE / "inputs" / name, inputs / name) + for name in ("quote.py", "quote_predecessor.py"): + copyfile(HERE / "engines" / name, price / name) + materialized = inputs / "7113-CALLER.json" + materialized.write_bytes(caller) + + def stage(name, script, *args, expected=None): + result = run([executable, "-I", "-B", str(script), *map(str, args)], cwd=work, + check=True, capture_output=True, timeout=22) + reference = expected or HERE / "receipts" / name + require(result.stdout == reference.read_bytes(), f"Changed receipt {name}") + (out / name).write_bytes(result.stdout) + return result.stdout + + previous = stage("PREDECESSOR-PRICE.json", price / "quote_predecessor.py") + (inputs / "PREVIOUS-PRICE.json").write_bytes(previous) + raw_quote = stage("PRICE.json", price / "quote.py") + (price / "PRICE.json").write_bytes(raw_quote) + phase = read(stage("PHASE.json", HERE / "engines/phase_a.py", "--caller", materialized, + expected=HERE / "inputs/QUERY-CENSUS.json")) + require(phase["caller_sha256"] == CALLER and phase["dimension"] == 36 + and phase["q_plus_endpoint"] == "+I" and phase["q_minus_endpoint"] == "-I" + and len(set(phase["ports"])) == 96 and phase["subsets_tested"] == 15 + and not phase["unvisited_subsets"] and len(phase["controls"]) == 2 + and all(phase["controls"].values()), "Lost predecessor endpoint controls") + blocks = phase["relative_j_blocks"] + queries = phase["query_events"] + require(len(blocks) == 17 and all(b["relative_defect_rank"] == b["plus_identity_restricted_rank"] == 2 for b in blocks) + and len(queries) == 4 and all(q["relative_defect_rank"] == 1 for q in queries.values()), + "Changed slack inputs") + required_host_rank = phase["dimension"] + 2 - (16 * 2 + 2) + require(required_host_rank == 4, "Changed analytical host rank floor") + quote = read(raw_quote) + got = read(stage("RESULT.json", HERE / "engines/host_rank.py", work)) + require(got["head"] == quote["head"] == HEAD and got["caller_sha256"] == CALLER + and got["price_sha256"] == sha256(raw_quote).hexdigest(), "Changed comparison or price") + require(quote["one_pair_optimistic_gross"] == 192 and quote["disjoint_two_pair_optimistic_gross"] == 384 + and quote["one_pair_price"]["paid_delta"] == {"1": -192} + and not quote["one_pair_price"]["target_delta"], "Changed complete stock") + require(len(got["tested"]) == len(quote["keys"]) == 102 and not got["unvisited"] and not got["survivors"] + and got["phase_values"] == [1, -1] and got["body"] == "all one" + and got["field_prime"] == PRIME and len(got["controls"]) == 2, "Incomplete signed host screen") + for case, key in zip(got["tested"], quote["keys"], strict=True): + witness = case["witness"] + require(case["key"] == key and case["decision"] == "rank at least three" + and all(len(set(witness[k])) == 3 for k in ("row_keys", "column_keys")), + "Changed case or minor coordinates") + exact = determinant3(witness["minor"]) + require(exact != 0 and exact == witness["determinant_mod_prime"], "Changed exact minor") + materialized.write_bytes(caller + b"\n") + negative = run([executable, "-I", "-B", str(HERE / "engines/host_rank.py"), str(work)], + cwd=work, capture_output=True, timeout=22) + require(negative.returncode != 0 and b"changed dependency: 7113-CALLER.json" in negative.stderr + and not negative.stdout, "Changed caller was accepted") + print("PASS_PAIRED_QUERY_HOST_BOUND cases=102 excluded=102 unresolved=0 host_rank_floor=4 kappa_change=0") + + +def main(): + parser = ArgumentParser(description=__doc__) + parser.add_argument("--out", type=Path) + args = parser.parse_args() + if args.out: + replay(args.out.resolve()) + else: + with TemporaryDirectory(prefix="paired-query-host-receipts-") as tmp: + replay(Path(tmp) / "out") + + +if __name__ == "__main__": + main()