From 0b54103b518b435b2a300ca24d4203d7d9e28743 Mon Sep 17 00:00:00 2001 From: Sagar Thakrar Date: Thu, 15 Oct 2026 17:23:41 +0530 Subject: [PATCH 1/2] T74 handoff line: pinned kappa ledger and stated-comparison check Pins the claimed kappa of the twelve open T74 handoff-line PRs from their own claim files (blob and sha256), then re-checks every stated "exceeds PR#### by X" comparison. Nine are consistent. Three mismatch, and in each the number is the delta to a different PR: - PR2302 vs PR2269 (is the delta to PR2288); - PR2374 vs PR2312 (is the delta to PR2349); - PR2435 vs PR2312 (is the delta to PR2374). PR2435's README also quotes its own kappa as PR2374's. The package maps which claims have independent checks. The expected mismatch set is asserted. Consolidation note; no kappa claim. Co-Authored-By: Claude Opus 5.5 --- .../t74-claim-lineage-ledger/COMPARISONS.json | 74 ++++++++ research/t74-claim-lineage-ledger/PINS.json | 98 +++++++++++ research/t74-claim-lineage-ledger/README.md | 90 ++++++++++ .../t74-claim-lineage-ledger/SOURCES.json | 18 ++ research/t74-claim-lineage-ledger/TASK.json | 61 +++++++ research/t74-claim-lineage-ledger/VERIFY.json | 20 +++ research/t74-claim-lineage-ledger/ledger.py | 127 ++++++++++++++ .../ledger.receipt.json | 165 ++++++++++++++++++ 8 files changed, 653 insertions(+) create mode 100644 research/t74-claim-lineage-ledger/COMPARISONS.json create mode 100644 research/t74-claim-lineage-ledger/PINS.json create mode 100644 research/t74-claim-lineage-ledger/README.md create mode 100644 research/t74-claim-lineage-ledger/SOURCES.json create mode 100644 research/t74-claim-lineage-ledger/TASK.json create mode 100644 research/t74-claim-lineage-ledger/VERIFY.json create mode 100644 research/t74-claim-lineage-ledger/ledger.py create mode 100644 research/t74-claim-lineage-ledger/ledger.receipt.json diff --git a/research/t74-claim-lineage-ledger/COMPARISONS.json b/research/t74-claim-lineage-ledger/COMPARISONS.json new file mode 100644 index 0000000000..fa6cd27fd5 --- /dev/null +++ b/research/t74-claim-lineage-ledger/COMPARISONS.json @@ -0,0 +1,74 @@ +[ + { + "source": 2288, + "target": 2269, + "stated": "6.38114E-8", + "quote": "It exceeds PR2269 (this package's 90-digit-endpoint predecessor without the refit) by 6.38114E-8" + }, + { + "source": 2302, + "target": 2288, + "stated": "8.48163E-8", + "quote": "It exceeds PR2288 (the same package without the kernel) and PR2269 by 8.48163E-8" + }, + { + "source": 2302, + "target": 2269, + "stated": "8.48163E-8", + "quote": "It exceeds PR2288 (the same package without the kernel) and PR2269 by 8.48163E-8" + }, + { + "source": 2312, + "target": 2309, + "stated": "3.75943E-7", + "quote": "It exceeds the current leader PR2309 (Dugongue, ...) by 3.75943E-7" + }, + { + "source": 2312, + "target": 2302, + "stated": "4.95301E-7", + "quote": "PR2302 (the previous package of this series) by 4.95301E-7" + }, + { + "source": 2349, + "target": 2312, + "stated": "1.74927E-7", + "quote": "... and PR2312 by 1.74927E-7" + }, + { + "source": 2374, + "target": 2363, + "stated": "4.78861E-8", + "quote": "It exceeds PR2363's exact claimed kappa 0.001697147064845350 by 4.78861E-8" + }, + { + "source": 2374, + "target": 2312, + "stated": "1.28957E-7", + "quote": "... and PR2312 by 1.28957E-7" + }, + { + "source": 2435, + "target": 2374, + "stated": "1.31639E-6", + "quote": "It exceeds PR2374 (our previous package) by 1.31639E-6" + }, + { + "source": 2435, + "target": 2312, + "stated": "1.31639E-6", + "quote": "... and PR2312 by 1.31639E-6" + }, + { + "source": 2447, + "target": 2435, + "stated": "5.80305E-10", + "quote": "It exceeds PR2435 by 5.80305E-10" + }, + { + "source": 2462, + "target": 2447, + "stated": "5.04039E-6", + "quote": "... and PR2447 by 5.04039E-6" + } +] diff --git a/research/t74-claim-lineage-ledger/PINS.json b/research/t74-claim-lineage-ledger/PINS.json new file mode 100644 index 0000000000..19283a6a50 --- /dev/null +++ b/research/t74-claim-lineage-ledger/PINS.json @@ -0,0 +1,98 @@ +{ + "2269": { + "head": "b479fc5567bc09ab9185bffe89b62594f36d74e5", + "author": "jeremykothe2", + "path": "research/gmx-t74-borrow43/outer/OUTER-CLAIM.json", + "key": "kappa", + "git_blob": "f1feaefc27028e590fa7992d273c137897b379eb", + "sha256": "ffa05de3c8d7cb7de0114d25df7250909581f4a2c0ce68c8d20eb821bf67f0e5" + }, + "2288": { + "head": "bda15a781d9f2177cbf48f6182fc0b9daeeec465", + "author": "jeremykothe2", + "path": "research/gmx-t74-borrow43-refit/outer/OUTER-CLAIM.json", + "key": "kappa", + "git_blob": "e2e51e2c52f78bb039c6b89096a22b3b0c133635", + "sha256": "50caac4649c002d052d14002611907dc4588ae54025d895ab315fbc49abb6ef0" + }, + "2302": { + "head": "d520b92d7bf18efcb7d84f12757face6fe9541f1", + "author": "jeremykothe2", + "path": "research/gmx-t74-borrow43-k518-506/outer/OUTER-CLAIM.json", + "key": "kappa", + "git_blob": "3b3d335b18521e4343438df81131c56bf1830c3b", + "sha256": "167daf1dc54cf73e7ed2997947b686fffdb5718e11dc62103261393ba0766585" + }, + "2309": { + "head": "95aea1e24dede937f00545a4d8250caa02f60339", + "author": "Dugongue", + "path": "research/t74-borrow-repacked/outer/OUTER-CLAIM.json", + "key": "kappa", + "git_blob": "a038103d39791f1a028473585ceadb9aa6666fe5", + "sha256": "dc5350468d91f74682da7a3c7e8d61276cb6c9251013e85454c73525e03abfd0" + }, + "2312": { + "head": "6a05b1bb39a95d1608db8522f40c2dcdbd6e4cf9", + "author": "jeremykothe2", + "path": "research/gmx-t74-borrow43-width-exchange/outer/OUTER-CLAIM.json", + "key": "kappa", + "git_blob": "4fe48bbbe6708935ceadfb929bff04d43187edd6", + "sha256": "c038184efdc38f4ea1f9ac0f5ed795a84b6000c6d0924539d70aacd9ca4226fe" + }, + "2322": { + "head": "002304ef01c4416a127916169ae6d94c1bee052b", + "author": "Vlado-V", + "path": "research/t74-joint-owner-hillclimb/CLAIM.json", + "key": "decimal", + "git_blob": "e10747182e8bdfa2fea1c8631bf738c15619eccb", + "sha256": "439ded151e7897b8e7d5ef9ad47f3cd8d1daf0b69219ef507a922519c7003530" + }, + "2349": { + "head": "bb2486ec93c099afe9acd93442f13864b566296a", + "author": "jeremykothe2", + "path": "research/gmx-t74-borrow43-handoff/outer/OUTER-CLAIM.json", + "key": "kappa", + "git_blob": "f2862b86b3c4f451c9f9e55ea66f1d98a858a18e", + "sha256": "53727272161e7787d70d0a44d0651e4c6d90b4e704da209e4bc20e6fa94689fa" + }, + "2363": { + "head": "d815dbe374096f1b96a224a2dcb6a9167c5cfa91", + "author": "mason-hale", + "path": "research/t74-owner-augmenting-paths/CLAIM.json", + "key": "kappa", + "git_blob": "e745b73c0e395ee6e26254d982f43f177ee254f7", + "sha256": "7fab7a257ac5ae7d1178e0c443f2c26d2ea436aa295ed78319550248f7195f11" + }, + "2374": { + "head": "5449da65da12bdfd94675dccc38731eaa91e93b6", + "author": "jeremykothe2", + "path": "research/gmx-t74-borrow43-handoff/outer/OUTER-CLAIM.json", + "key": "kappa", + "git_blob": "e91f8dd77aa4a2a0acb1550026fa7e7b6b2bb525", + "sha256": "f3e40f917ad36e963b43adbcd2490f37211e863b9b68bdd83a6b1ad8a6169aae" + }, + "2435": { + "head": "324d7d3590dc21003940a44cb0cbdc32b3620f25", + "author": "jeremykothe2", + "path": "research/gmx-t74-borrow43-handoff/outer/OUTER-CLAIM.json", + "key": "kappa", + "git_blob": "556f72136acd4dbbbd53ba48849faacf4cf64b56", + "sha256": "42947f62e7caf297f3712a42299dcf13ad68169eddb10ccad95b54c30853c8bb" + }, + "2447": { + "head": "805bbaddf664459c1eb92aa461645cd69764c86e", + "author": "jeremykothe2", + "path": "research/gmx-t74-borrow43-handoff/outer/OUTER-CLAIM.json", + "key": "kappa", + "git_blob": "e7d5e39f02930f8c2317e7e86b9ad4db1fe972f0", + "sha256": "04dd59d21af4c182e8763933f3f5c7a7fc064c83cb7c4ce616d988d4c9cb43ab" + }, + "2462": { + "head": "ef34071fee6dfb0286e9850a5cec4e36d9eb126d", + "author": "jeremykothe2", + "path": "research/gmx-t74-borrow43-handoff/outer/OUTER-CLAIM.json", + "key": "kappa", + "git_blob": "00d05aea4202782f2ec3de57ed52f6d8cd93c802", + "sha256": "f3cf863e143fd62cf9f3b48f3494469db10ec087d6ea0bc9df6171908feec362" + } +} diff --git a/research/t74-claim-lineage-ledger/README.md b/research/t74-claim-lineage-ledger/README.md new file mode 100644 index 0000000000..9e2c67829e --- /dev/null +++ b/research/t74-claim-lineage-ledger/README.md @@ -0,0 +1,90 @@ +# T74 handoff line: pinned κ ledger, stated-comparison check, and independent-check map + +**Research consolidation; no κ claim.** The T74 handoff line has twelve open conditional-κ PRs with interlocking +"exceeds PR#### by X" statements. This package pins each PR's own claim file and recomputes every stated +comparison. It flags the ones that do not match, and maps which claims have independent checks. + +## Ledger (pinned claim files, exact heads; `PINS.json`) + +| PR | author | κ (pinned claim file) | + over previous row | construction step (from the PR) | +|---|---|---|---|---| +| 2269 | jeremykothe2 | 0.0016962471390584742207 | | capped phase-cell fusion outer on the T74 borrow43 supplier | +| 2288 | jeremykothe2 | 0.0016963109504150503355 | +6.381136e-8 | exact frame refit of the borrowed gauge44 word | +| 2302 | jeremykothe2 | 0.0016963957667360813401 | +8.481632e-8 | pivot-518/506 helper-donor kernels | +| 2309 | Dugongue | 0.0016965151242727336160 | +1.193575e-7 | 44th dirty alias with owner repacking | +| 2312 | jeremykothe2 | 0.0016968910672416183217 | +3.759430e-7 | helper width exchange | +| 2322 | Vlado-V | 0.001697060296258836 | +1.692290e-7 | four coherent helper handoffs | +| 2349 | jeremykothe2 | 0.0016970659941088806668 | +5.697850e-9 | owner relocations on PR2322's words | +| 2363 | mason-hale | 0.001697147064845350 | +8.107074e-8 | whole-role augmenting paths (owner map) | +| 2374 | jeremykothe2 | 0.0016971949509017704265 | +4.788606e-8 | exact owner fill on PR2322's words | +| 2435 | jeremykothe2 | 0.0016985113436976293290 | +1.316393e-6 | entrance raise of 24 copy buffers | +| 2447 | jeremykothe2 | 0.0016985119240027614377 | +5.803051e-10 | pattern-optimal owner fill (PR2442) | +| 2462 | jeremykothe2 | 0.0017035523129795943854 | +5.040389e-6 | optimal owner fill for PR2436's aliases on the entrance-raised words | + +## Stated comparisons re-checked (`COMPARISONS.json`, transcribed verbatim) + +Nine of twelve are consistent to their printed precision. **Three are mismatches.** In each, the stated number is +the difference to a different PR than the one named. The κ values themselves are not affected. + +| PR body says | true difference | the stated number is actually | suggested text | +|---|---|---|---| +| PR2302: "exceeds PR2288 … and PR2269 by 8.48163E-8" | vs PR2269: 1.486277E-7 | the difference to PR2288 | "exceeds PR2288 by 8.48163E-8 and PR2269 by 1.48628E-7" | +| PR2374: "… and PR2312 by 1.28957E-7" | vs PR2312: 3.038837E-7 | the difference to PR2349 | "… PR2349 by 1.28957E-7 (PR2312 by 3.03884E-7)" | +| PR2435: "… and PR2312 by 1.31639E-6" | vs PR2312: 1.620276E-6 | the difference to PR2374 | "… PR2312 by 1.62028E-6" | + +There is also a **README mislabel in PR2435**. `research/gmx-t74-borrow43-handoff/README.md` says "exceeds PR2374 (our +previous package, kappa 0.0016985113436976293…)". That value is PR2435's own κ. PR2374's pinned κ is +0.0016971949509017704…. + +## Independent checks per claim (as of this package) + +- **PR2269:** words, fill and root independently reproduced by PR2315. Its outer side conditions were audited in + PR2286, on the PR2044 lineage. +- **PR2322 words:** + - PR2402 certifies that every owner fill has b < 0.001697195759. + - PR2442 shows PR2374's fill is the unique exact pattern optimum, so PR2349 and PR2363 are dominated owner maps + on the same words. +- **PR2435:** + - PR2446 independently reproduces the words, the 289,044-role owner map and the root. It also finds that the + change is frame-only, with entrance delivery left unchecked. + - PR2453 prices the mechanism. +- **PR2447:** PR2466 independently checks it and shows it is exactly the PR2442 optimum, so the fill is provably + optimal for those words. +- **PR2462:** no independent check yet. Its claim rests on PR2436 (tekuuu, four aliases plus 24 entrance raises). + +## Reproduce + +From the repository root, standard library only: + +```sh +python3 -I -B research/t74-claim-lineage-ledger/ledger.py --fetch +``` + +`--fetch` fetches each `refs/pull/N/head` whose pinned head is absent. + +Expected final line: +`PASS_T74_CLAIM_LEDGER prs=12 comparisons=12 consistent=9 mismatches=2302->2269,2374->2312,2435->2312 readme_2435_mislabel=1` + +The expected mismatch set is asserted, so a corrected PR text or a moved head makes the check fail deliberately. +All results were run on CPython 3.14.4; the registered Python 3.12 replay was not run locally. + +## Scope and limits + +- **What is checked.** Only the stated numbers in PR bodies and one README sentence. The κ values are read from + each PR's own claim file. No κ, outer ledger or construction is re-derived here. +- **Unpinned baselines.** Comparisons against PR2265 and PR2436 are not included, because their claim files are + not in the standard place. +- **Snapshot.** Heads are pinned as of 2026-10-15; later edits are not reflected. + +## Open next questions + +- **PR2462.** Is PR2462's owner fill exactly optimal for its words, and do its words recount to its report? First + step: run PR2442's `owner_optimum.py` and PR2446's checker on PR2462's pinned files. + +## Credits and licence + +- PR authors as listed: Jeremy Kothe, Dugongue, Vlado Vojdanovski, mason-hale, tekuuu (PR2436). +- PR2315 / PR2402 / PR2442 / PR2446 / PR2453 / PR2466 (this author): the independent checks referenced. + +Prepared with substantial AI assistance (Claude Code, Anthropic, Claude Opus 5.5). No independent human review is +claimed. Apache-2.0. diff --git a/research/t74-claim-lineage-ledger/SOURCES.json b/research/t74-claim-lineage-ledger/SOURCES.json new file mode 100644 index 0000000000..392737aa2a --- /dev/null +++ b/research/t74-claim-lineage-ledger/SOURCES.json @@ -0,0 +1,18 @@ +{ + "schema_version": 1, + "base_commit": "0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "ae6a99f28aa468649eb66a361e764d769363bf11", + "sha256": "10b9e340fd8e354a37a0c4813c90e5de1dd42044b5f6aca4a3fc5a42b685fa32" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "e8870e5917057d59b730eb14721a778639eca050", + "sha256": "d46eb6d5b3e279428753d770653663fbdf1063e55c255ea073d768f344927ef7" + } + ] +} diff --git a/research/t74-claim-lineage-ledger/TASK.json b/research/t74-claim-lineage-ledger/TASK.json new file mode 100644 index 0000000000..fe6c75f915 --- /dev/null +++ b/research/t74-claim-lineage-ledger/TASK.json @@ -0,0 +1,61 @@ +{ + "schema_version": 1, + "task_id": "scope-navigation", + "priority_revision": 4, + "base_commit": "0fdd7d82de03e43c9e5a1000dfbcd380d1b687d2", + "original_card": { + "id": "scope-navigation", + "question": "Can one misleading historical-current claim or missing research cross-reference be corrected?", + "starting_points": [ + "docs/research/current-status.md", + "docs/research/pr-ledger.md", + "certificates/selected-result.json" + ], + "methods": [ + "Trace one confusing path from onboarding to its authoritative source.", + "Index one tightly related family of obstructions with explicit excluded and open hypotheses." + ], + "acceptance_gate": "Produce evidence-backed navigation, preserve historical records and avoid a duplicate global survey.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Follow one link from the selected record to its review and compare a potentially stale historical claim.", + "scope": "Positive control / source-bound orientation only; this is not a new construction or full cold replay." + }, + "first_experiment": "Repair one confusing path or produce a scoped map of one related obstruction family.", + "bottleneck_link": "Clear navigation lowers entry cost for central research; a global survey without a concrete fix is not required.", + "allowed_variations": [ + "One historical-current ambiguity or one bounded family index." + ], + "scope_change_triggers": [ + "Rewriting frozen scientific packages just to change their historical wording." + ], + "overlap_terms": [ + "current status", + "historical checkpoint", + "scope navigation" + ] + }, + "scope_status": "refined", + "actual_scope": "For the twelve open T74 handoff-line conditional-kappa PRs: pin each claimed kappa, re-check every stated pairwise comparison, and map which claims have independent checks.", + "scope_change_reason": "Drawn on the consolidation track (seed 99); the concrete misleading claims are inter-PR comparison statements on the busiest open line, so the card is narrowed to that ledger.", + "bottleneck_link": "Reviewers of the T74 cluster need a correct pinned ordering and an honest list of what is independently verified; three comparison statements are wrong.", + "budget_minutes": 45, + "stop_rule": "Stop after the pinned ledger, the comparison check (with asserted mismatch set) and the independent-check map.", + "outcome": "completed", + "evidence": "ledger.py: 12 pinned claim files; 12 stated comparisons, 9 consistent, 3 mismatches (PR2302->PR2269, PR2374->PR2312, PR2435->PR2312; each stated number is the delta to a different PR); PR2435 README quotes its own kappa as PR2374's.", + "author": "Sagar Thakrar", + "ai_assistance": "Prepared with substantial AI assistance: Claude Code (Anthropic, Claude Opus 5.5) wrote the ledger script and text. No independent human review is claimed.", + "open_questions": [ + { + "question": "Is PR2462's owner fill exactly optimal for its words, and do its words recount to its report?", + "why_it_matters": "PR2462 is now the top T74 claim and has no independent check.", + "first_step": "Run PR2442's owner_optimum.py and PR2446's checker on PR2462's pinned files.", + "blocked_by": "PR2462's words and owner map must be pinned and adapted to the checker." + } + ] +} diff --git a/research/t74-claim-lineage-ledger/VERIFY.json b/research/t74-claim-lineage-ledger/VERIFY.json new file mode 100644 index 0000000000..3d7a021af7 --- /dev/null +++ b/research/t74-claim-lineage-ledger/VERIFY.json @@ -0,0 +1,20 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-B", + "{package}/ledger.py", + "--fetch" + ], + "timeout_seconds": 300, + "checks": "Pinned kappa of 12 PRs (blob and sha256); every stated comparison re-checked; expected mismatch set asserted; PR2435 README quote checked. Expect PASS_T74_CLAIM_LEDGER." + } + ] +} diff --git a/research/t74-claim-lineage-ledger/ledger.py b/research/t74-claim-lineage-ledger/ledger.py new file mode 100644 index 0000000000..3e658d688e --- /dev/null +++ b/research/t74-claim-lineage-ledger/ledger.py @@ -0,0 +1,127 @@ +#!/usr/bin/env python3 +# SPDX-License-Identifier: Apache-2.0 +"""Pinned κ ledger of the T74 handoff line, with every stated pairwise comparison re-checked (standard library only). + +For each PR in PINS.json the script reads the claimed κ from the PR's own pinned claim file: outer/OUTER-CLAIM.json +or CLAIM.json, at the exact head, checked by git blob id and sha256. It then: + 1. lists the line in κ order, with the exact difference to every earlier entry; + 2. re-checks every stated comparison "exceeds PR#### by X", transcribed verbatim in COMPARISONS.json, against + the pinned values. A statement is CONSISTENT when X matches the true difference to its printed precision + (relative 1e-5), and a MISMATCH otherwise; + 3. checks the one README sentence of PR2435 that quotes PR2374's κ. +The expected set of mismatches is asserted, so the script doubles as a regression check of this ledger. + +Scope: this is consolidation of stated numbers. No κ is re-derived, and no construction is checked here (see the +independent checks listed in README.md). +Prepared with substantial AI assistance (Claude Code, Anthropic); Apache-2.0. +Usage: python3 -I -B ledger.py [--repo PATH] [--fetch] [--remote URL] [--out] +""" + +import argparse +import hashlib +import json +import os +import subprocess +import sys +from decimal import Decimal, getcontext + +if not __debug__: + sys.stdout.write('FAIL_T74_CLAIM_LEDGER refusing to run under python -O\n') + sys.exit(2) +getcontext().prec = 120 +HERE = os.path.dirname(os.path.abspath(__file__)) +REPO_DEFAULT = os.path.dirname(os.path.dirname(HERE)) +REMOTE_DEFAULT = 'https://github.com/CrocSwap/integer-mult-bounds' +EXPECTED_MISMATCHES = {(2302, 2269), (2374, 2312), (2435, 2312)} +README_2435 = ('research/gmx-t74-borrow43-handoff/README.md', + 'exceeds PR2374 (our previous package, kappa 0.0016985113436976293') + + +class Fail(Exception): + pass + + +def need(cond, what): + if not cond: + raise Fail(what) + + +def git(repo, *args): + return subprocess.run(['git', '-C', repo] + list(args), capture_output=True) + + +def main(): + ap = argparse.ArgumentParser() + ap.add_argument('--repo', default=REPO_DEFAULT) + ap.add_argument('--fetch', action='store_true') + ap.add_argument('--remote', default=REMOTE_DEFAULT) + ap.add_argument('--out', action='store_true') + args = ap.parse_args() + pins = json.load(open(os.path.join(HERE, 'PINS.json'))) + comps = json.load(open(os.path.join(HERE, 'COMPARISONS.json'))) + kappa = {} + for n, p in pins.items(): + if git(args.repo, 'cat-file', '-e', p['head'] + '^{commit}').returncode and args.fetch: + subprocess.run(['git', '-C', args.repo, 'fetch', '-q', args.remote, 'refs/pull/%s/head' % n], check=True) + r = git(args.repo, 'show', p['head'] + ':' + p['path']) + need(r.returncode == 0, 'PR%s head %s absent (rerun with --fetch)' % (n, p['head'][:8])) + data = r.stdout + need(hashlib.sha1(b'blob %d\0' % len(data) + data).hexdigest() == p['git_blob'] and + hashlib.sha256(data).hexdigest() == p['sha256'], 'pin PR%s %s' % (n, p['path'])) + k = json.loads(data)[p['key']] + need(isinstance(k, str) and k.startswith('0.00'), 'PR%s kappa field' % n) + kappa[int(n)] = Decimal(k) + order = sorted(kappa, key=lambda n: kappa[n]) + print('T74 handoff line, pinned claim files, in kappa order:') + prev = None + for n in order: + print(' PR%d kappa %s %s' % (n, str(kappa[n])[:24], + '' if prev is None else '(+%.6e over PR%d)' % (kappa[n] - kappa[prev], prev))) + prev = n + rows, mismatches = [], set() + for c in comps: + s, t = c['source'], c['target'] + need(s in kappa and t in kappa, 'comparison PR%d -> PR%d not pinned' % (s, t)) + actual = kappa[s] - kappa[t] + stated = Decimal(c['stated']) + ok = abs(stated - actual) <= abs(actual) * Decimal('1e-5') + if not ok: + mismatches.add((s, t)) + # which pinned PR does the stated number actually match? + explains = [m for m in kappa if m != s and abs(kappa[s] - kappa[m] - stated) <= abs(stated) * Decimal('1e-5')] + rows.append(dict(source=s, target=t, stated=c['stated'], actual='%.6E' % actual, + status='CONSISTENT' if ok else 'MISMATCH', stated_value_matches=['PR%d' % m for m in explains], + quote=c['quote'])) + print(' PR%d vs PR%d: stated %s, pinned %.6E -> %s%s' % ( + s, t, c['stated'], actual, 'CONSISTENT' if ok else 'MISMATCH', + '' if ok else ' (the stated number is the difference to %s)' % (', '.join('PR%d' % m for m in explains) or 'no pinned PR'))) + need(mismatches == EXPECTED_MISMATCHES, 'mismatch set changed: %s' % sorted(mismatches)) + # README sentence of PR2435 quoting PR2374's kappa + rel, phrase = README_2435 + readme = git(args.repo, 'show', pins['2435']['head'] + ':' + rel).stdout.decode() + need(phrase in readme, 'PR2435 README sentence not found') + quoted = Decimal('0.0016985113436976293') + readme_note = dict(path=rel, phrase=phrase, quoted_as_pr2374=str(quoted), + pr2374_pinned=str(kappa[2374])[:24], pr2435_pinned=str(kappa[2435])[:24], + quoted_value_is_pr2435=str(kappa[2435]).startswith(str(quoted))) + need(readme_note['quoted_value_is_pr2435'], 'README quote check') + print(' PR2435 README quotes "PR2374 (our previous package, kappa 0.0016985113436976293..." but that value is ' + "PR2435's own kappa; PR2374's pinned kappa is %s..." % str(kappa[2374])[:22]) + out = dict(object='T74 handoff-line kappa ledger and stated-comparison check', + kappas={'PR%d' % n: str(kappa[n]) for n in order}, + comparisons=rows, mismatches=sorted('PR%d->PR%d' % m for m in mismatches), + readme_2435=readme_note, python=sys.version.split()[0]) + if args.out: + with open(os.path.join(HERE, 'ledger.receipt.json'), 'w') as f: + f.write(json.dumps(out, indent=1, sort_keys=True) + '\n') + print('PASS_T74_CLAIM_LEDGER prs=%d comparisons=%d consistent=%d mismatches=%s readme_2435_mislabel=1' + % (len(kappa), len(rows), len(rows) - len(mismatches), ','.join('%d->%d' % m for m in sorted(mismatches)))) + return 0 + + +if __name__ == '__main__': + try: + sys.exit(main()) + except Fail as e: + sys.stdout.write('FAIL_T74_CLAIM_LEDGER %s\n' % e) + sys.exit(1) diff --git a/research/t74-claim-lineage-ledger/ledger.receipt.json b/research/t74-claim-lineage-ledger/ledger.receipt.json new file mode 100644 index 0000000000..6cb0a8f617 --- /dev/null +++ b/research/t74-claim-lineage-ledger/ledger.receipt.json @@ -0,0 +1,165 @@ +{ + "comparisons": [ + { + "actual": "6.381136E-08", + "quote": "It exceeds PR2269 (this package's 90-digit-endpoint predecessor without the refit) by 6.38114E-8", + "source": 2288, + "stated": "6.38114E-8", + "stated_value_matches": [ + "PR2269" + ], + "status": "CONSISTENT", + "target": 2269 + }, + { + "actual": "8.481632E-08", + "quote": "It exceeds PR2288 (the same package without the kernel) and PR2269 by 8.48163E-8", + "source": 2302, + "stated": "8.48163E-8", + "stated_value_matches": [ + "PR2288" + ], + "status": "CONSISTENT", + "target": 2288 + }, + { + "actual": "1.486277E-07", + "quote": "It exceeds PR2288 (the same package without the kernel) and PR2269 by 8.48163E-8", + "source": 2302, + "stated": "8.48163E-8", + "stated_value_matches": [ + "PR2288" + ], + "status": "MISMATCH", + "target": 2269 + }, + { + "actual": "3.759430E-07", + "quote": "It exceeds the current leader PR2309 (Dugongue, ...) by 3.75943E-7", + "source": 2312, + "stated": "3.75943E-7", + "stated_value_matches": [ + "PR2309" + ], + "status": "CONSISTENT", + "target": 2309 + }, + { + "actual": "4.953005E-07", + "quote": "PR2302 (the previous package of this series) by 4.95301E-7", + "source": 2312, + "stated": "4.95301E-7", + "stated_value_matches": [ + "PR2302" + ], + "status": "CONSISTENT", + "target": 2302 + }, + { + "actual": "1.749269E-07", + "quote": "... and PR2312 by 1.74927E-7", + "source": 2349, + "stated": "1.74927E-7", + "stated_value_matches": [ + "PR2312" + ], + "status": "CONSISTENT", + "target": 2312 + }, + { + "actual": "4.788606E-08", + "quote": "It exceeds PR2363's exact claimed kappa 0.001697147064845350 by 4.78861E-8", + "source": 2374, + "stated": "4.78861E-8", + "stated_value_matches": [ + "PR2363" + ], + "status": "CONSISTENT", + "target": 2363 + }, + { + "actual": "3.038837E-07", + "quote": "... and PR2312 by 1.28957E-7", + "source": 2374, + "stated": "1.28957E-7", + "stated_value_matches": [ + "PR2349" + ], + "status": "MISMATCH", + "target": 2312 + }, + { + "actual": "1.316393E-06", + "quote": "It exceeds PR2374 (our previous package) by 1.31639E-6", + "source": 2435, + "stated": "1.31639E-6", + "stated_value_matches": [ + "PR2374" + ], + "status": "CONSISTENT", + "target": 2374 + }, + { + "actual": "1.620276E-06", + "quote": "... and PR2312 by 1.31639E-6", + "source": 2435, + "stated": "1.31639E-6", + "stated_value_matches": [ + "PR2374" + ], + "status": "MISMATCH", + "target": 2312 + }, + { + "actual": "5.803051E-10", + "quote": "It exceeds PR2435 by 5.80305E-10", + "source": 2447, + "stated": "5.80305E-10", + "stated_value_matches": [ + "PR2435" + ], + "status": "CONSISTENT", + "target": 2435 + }, + { + "actual": "5.040389E-06", + "quote": "... and PR2447 by 5.04039E-6", + "source": 2462, + "stated": "5.04039E-6", + "stated_value_matches": [ + "PR2447" + ], + "status": "CONSISTENT", + "target": 2447 + } + ], + "kappas": { + "PR2269": "0.0016962471390584742207696225394800943861284603706821716607210815258272261945561178592716719999999997996607505720883051558460754921039811", + "PR2288": "0.0016963109504150503355459722948928372280921721968724561762220421147644145761482885984967571578775454795315558417113412813231694622783490900348662681729592231903560853351255426786420763663178655003281505857286229869637466044243361588921779343716397967014438707898921127328975611256954437224641356898964339750713275612215896309041743033060768412139515368921536567057807207970466805003234862027817806690888390640784312394449662495210379111189000631731969913840405376781346897986214021741117422083725271871234401300183440304871341727820180574990353647279025142496867177789206624424997571530449519473352459498702658190828360923979498460128294798369917738404595397076263670723799359146613908833280073309651683729500428984791690934381229160893705326133037686127780198339018446754315723841737409963499522556148454109950498516960459062732145158464860520078222748772968666075308688060102095614219976567632142437588956251046223730866088862642016182480104196556736296484779283894121049643477734969019861544809837984636249407062760727016150066849286523322382074826026591803191556133160894153871744448522032246500691186272893727169459533826781329045410280180988227028953413948959627749435199294031602259974218679241756389094310293571776392665275440060128416069298336060934137683594749721875539100961984531705428740926745070478347051156564464735857576131568055392439349070688880983269683785203701743772494006377580873498989793098269416860245163673122355107078009192943296623200063923837978979726391155585227314506166287746919098802987376988749553428565117960680127117162859295585227836619358244831230559141562987941014958985682702824249440221289383909203561727045338247733043391763320670727494268068194378574627275095092953256732444212010516159194168180734821980726368427670070083408548719514533875518211958369469443610189017971552955689302325989684135168369391344574216178885288117746332765863840834323243319512183818941784295388396142410597918436552038064272557102280593496223131576927738593912346466653541945307822699814228743982825778594943895299684477718445989153104502257728995186791911138506213294032637402557360080474323425209358316182406158317687799224345569293433266156429509667100484719547899661170517984309861756776927699226774589333862417619615368800621280904731717007166601114931265538945746290456987826198646807505442125838746726438952084536942026710073899593382686159240597649780928138606355205051150505411617909421597379489564148134928926452171026914761461651993691541524538533834516264821822447885276530775319313163077520187620131998416989866100917322207904174653603539624514404731819512306251114049648504295075390277206769978284985627399920781440314570024036501328001706131508141398741768215146098232034243920786833682457710615638883903735636031855214906341242985023985190321962818946356673366984195534290058577773793515114601500926048296812708989110472867763853176364841468154926700424141264878832861923854082418142072303154196136904410704478768982906491915123250789901966397050583475894251697949999999999999999999998999999999999999999999999", + "PR2302": "0.0016963957667360813401512017553615279117657068999363362106179646359054125313327703641011221779442459539871339461089219553691969977981401822760624794359560302229082314375995113942636590530620500782018194470671677119219839790494868307385847339452290887998700500411938799170674858093003286928048347274196039389000026290158196870872057257166500256835682013163283959997146169413950711966027087759767643419344712853576886783980615153279853404871016920071981553436279223622600525528471894700346011238233160868742145859860232058840791090764650133979481731323862930667518610044720573929298900532647950009058229587419786329958635690641780883137293844634272967192129687625408058060979531066936687993586039456039983556398478876965232482500625906736777109730724363281837955848614134083855809276505907144514733003845909331244045116980160376226985173142007628755093785143804942105479013303454321654201006831063585897430195472621578837899364607899809076894338902922137189579253839575904800502610823779130735405603222473104747840629391300795787215163295589140558844477425029302996689344654557359518706574870692938432544394742080506599997481540301232455817253619818598089752894860335888890891880609355298270585656725967316985275280947993338075572101492385630908482865327189235020782479107222108858033635848484476216327745019864086458153496328944574382125376897016725855331581938687114469271253756940030142844034371034587111817349355531104318277478257775334736701581945229498694136616722992028634631701247483684781250376596144385321278165606853375118819053849117338897262268427648262083455985839725633062313154695107759038550706454041941335604443412998733314092411840156288419954892739877843363834586046209819538672727213101410080383088045149018402130819728297511733105868594243532422336753902918788806466274681744246646231919140342567931214862038137091588934018251621114223684759626831339521740017781252613474170420781940878405217534505039416191481935402640036986540158535291068418753431261769460339726043941330310230377899497156447379116998376192778609260328368073641708331187025338628941230659019886492604497357183156893789943392609707575190186729444486788239744694366996859954082129202977358652316001835628949595287583151561304797052473367226958069794800493678276862560358912337464359182323531306401167100839378883760333513912116046596297577086537173884239225402145910324209403865332661419916572372514397914176245034825502665354589686225181030312038801291955465396008078308395064856427920952835111772605746736316974495455631547761742048841271657420320301289128193817983624681549963224888472167699611833879336569131555833595853052201499353493629265799166715221065545501398338697081697219199223693278872441290995511120223269123632695643837629348428447025464796370314880913595117416482942440311412104992815244674930680260974933325676734432766624185506445208555388434881647973303483680217436986110622497014745484207497834185076498923378325028164419862694022665993974610131397860814963409376069481211236799567291945371869999999999999999999998999999999999999999999999", + "PR2309": "0.00169651512427273361603599999999979966069697504545327679280000000004", + "PR2312": "0.0016968910672416183217741664253306608313981871092591606785919721402466639482482604987906263436319985389087871920003727358089119691707125587293854195155301058935307364886189555996708547329881149336171247397624062103977014347087762605109750003863870743475274691466395235605455481253063648267688039781009733928457165151604641322558732668437746794925668289907050567778873259759662053706072684456725355130545854771319425377578844216675825584100615847114979554027553297049347099204664135922300782429027035429464907618296323253341128396275606281605020531264794881994238788450715107277460782109723898992918243303877198293634385667476424412809338659096025220807537458242003006774474582572795176719443102952811309876269970049786625694902781705876093392614109481347502079297479652418310693478037966928769632288462141311493054291949198114853965052272858201299718515282888313121797890314969248776140728921160051695384282681414393404304421140383924704426610285765062413408544381292457178726358313508862153561057504414077027970695531560096150460376881037031468419536178691536123433486079074048106431857541645132925560648447559989481024433963894933526214378179759154363115838058899901067411832488838551415436332889205090770617684196339637344081123118067975810238639433231697101460633440155678271626333781219229933594252604855299228509163934080543158210331137703511625330202557315948544613466863457893127380007535047723339212640854315333987567857759850100339276181487816724650467750013179775993133572257752052454989143702479584122085118908035471230260085737465517796067404943790016458770622870653446212123108363343069244012694724442136316184831523004177211326361210553608828593009948580729393044252657303440133739771537941324340450773640896013819683762056116290009744511822200023426490468682709648389651639512757105362112321954064453732002955321470367851684784431634019903519266935978726446079479273317926687384502981648990712661364030592861235772635328285280704086619333693094087529047740263272883275494149386456304195135509911882031954745707488562602121362460880523043506983232808949458715950201344637422580009252305219461828237069713391979089554038780755254072931375695344547716661134859914478618147908365798389657931861631940001337768748909356388790689265099929633539105822912086575008889516397850826649342456170516696181708171755769011523457215535681407679684825026233268470258218136360518873878773850955837197720588545023498401227049469686022445083705677438867848715747877812021060662883436727377954412816281838018705016463164329306685515748320026909202095584712021857302551654551840507062174082415387895225048430875754149289013655473017369297142738995255609843419540900573806791143357042838726884154006170770145933462272159779421762698797411823946084268392615943973880571614055272161870842877436053181241288156257817073874152090437768617845705841332808354103336385175278415545563728413850452789830714497009816127583135013639566687301581588887750204814966804947137197477905952275936302061995403597010762218862039999999999999999999998999999999999999999999999", + "PR2322": "0.001697060296258836", + "PR2349": "0.0016970659941088806668214121951845796408445843055394080457179049773764913423221479271940726772554144108073159151271631479093639014714005691552649331492542250054123733095440521277487766511857688298674704546970135152117747408640029940780896994740854935582651848520473690022271930726867652097384279290372409774307933977627109231051788129336721750587791020365448051916019941989902350746945976641296882375996366757433208807478945797201751874951178305512994442924094782959991992583136617680538558334835020627215931794464666083868085237041256507894416664449021512964893788919738195846653502303288739922771289428423640066476038860109061323768837173547820291795685124621074228949638661024597240170039150020683497247180999633488719887039367623674090444445609766023234041448444083543787248764637689324976364650639413061458787606134845457174582648768844252808370225315952315699060886005813441535114851566563634601061835273800318874691715954979986314748067175931892005776716058831488641189679789773816638711039040583808753916163231725113484031745931067052386111152024589700410475235407923825271056913831241628058821892924649174204799028680287151257887061659297754030644193665298744672991371751685713467564572007461624730858860242224035509679094256187675212172390621563821686699218037867575137685441173679572421496331105858276902195155383835025540053002929024418463529787954459466056999932435484871010074578659441598371754399601050126291615564378633646777227079270753310955165028845781841116167129252015684784073330043067867270834532561858355673536879824374012877282689415211928297253552095894477287047616341439947282478953226337473148648570950201465461098277767908689632776893311807911882305683255602604846739991740979443052983778965431956008277230385371101501138856164485117130604125494746381895636743465122339427664936220936275678348284774759316504237529399057767944372184786332614691626434836387380158259836255060270198883250901355616012326471138808306704764499373653715590238955163543309116562221870919465516051526770854906377976375095934884020091758964419902246580980820979611264297946650372565459306605637269467823457541428470568804348472961060012685504247985331604025791825933273282662289927454282789294136217082770636013069967252425115155506272614256656988857930899501427549247963678389352800098393274343130030862392709494761260220359109889265960024084639368403324269140141577745345022760744247789804212911512591556937041463046676625512139340523301735950799165745698791025785544138300654090266674944006080787708748975261988143645694621678655317821853144874080905528144088664583508208777376808367760952705817879448212959205833232929657417299279751932532363519621100418885374389971618786741168757666160121581199919904005587889203481120102590713188372662337154564168629006548235187846440189412138795355850546752120619324879629128004718800413416182559179800618564570832473910132737102168878341278576013530945403202597022360183873891332508682100114107214984387948748428542677284206744954658607439925640183535549999999999999999999998999999999999999999999999", + "PR2363": "0.001697147064845350", + "PR2374": "0.0016971949509017704265940818773095411997829254474375229705809997635438062942204765954562383974077821671831369565342135210662806080984189437744311691170166878200706637656120224415299737717701337307539464110268836203281111987753159498203954701705205852698182995035958027658044607115822574508666985181699711923175134847560718669920281030992600965545441954035328408493723703194682661214225479411060097662633754661550995525106462258180812881394912204830656550720788554855150041136725936752258040654282493873524814048951275613529361946942930756606941674074477881485086387253593916040344556969145236818327248309098647296974311830069674219033678569504586581135358848081070141238752991674150396577553602390245098256623610206219873018910702970683481898704791312128544927797796263798965928185946464208453538038074130191248384897942236565804073051820886237792115045300205866675310844866731650898744658240052151403474629612369248407339925817250755774230849162429893816537967019801563891871154347775301101452039034203590012030571830828102063480584807251100111533885801953898940545829732671930912393072557857172603412452229175719796953206694288737814097206799032728139418329449617047277996553941167768501692770450270903073953001977679531560526318261641545560089674289210949739800895987320710205405144779108114410801410863004777930712359085672774857562943038447218083992439662882844810916772482599422378373397511127617771820574570321893388248531869294501515231655597646378900151261952601403678797872447106754637862547429677096069631147251860052756420659326128494026586838106695013238864030608401406156607559989211808454412638637175211030555454020488650023294167520672980980396370514923547443975614840890626840642981934129785156305249800680496635934963165026962087272991982852425076410102938295280642112519009725151518793502417899440161288959425552435156339988887994241563680501591034798080807680420907177078719219475936443453591733013776785983706296335551856437598080747432920929336409488151175919768679340727810125057537659035408133643666970582481765189938136267947101008867469846414911701653627941553461882443557617407944704412052768481182211920226323727462445103056307935153715081554046115943894672966439801441223675986168815297036589266986545180924888304377614106150893981516595103244696808698485755403663575692962132048959618919396672463657258697165154476184606747977244468238112487890243300215295911516769877096033023277755679579119616362363771146906851312883551325577910752948791145027867851031285296278290624616792326245346316955108929449453650392187829083153563766593182662271262370655984316122305681275693367071550045835867673591141005622801963302635483892372821569656326071183032535073704098039743172546777387752768217496897183134894138727088377616522650102507208838965437331059647644187138589104298496147389776807118532428525203523839384398259710922706840602678791436521874179119410390463568320091540786380546514858693482059552649347514416855482639636114585292794893763151788378014165475136659461413021709999999999999999999998999999999999999999999999", + "PR2435": "0.0016985113436976293290517338141877446308055110967045933112789142962230829468162898341951791806612097103089373234971683843352747786930041151727362819565230218349121075974166971824969591011217978263772357971645637990906671947907264145608572312831884027994294129916401260085150019209771313354764916248453595083165495324143523894449450691307086112491644144865158608055855884464187565801019555715970196050475190435909515154211111746650599567224499059795061082684332558375704345494867609328212726505329205932635761431749934820741127389044354860113766948092316247723704125119645275990197876854879992017397555143192287544724913630217464784503656948990786068598407873145289054550742625443908707733418270092545559085087575922813686919128943056715534713410017028659255187727620917187403119881890253391323975990386407713427526885644658486243444047073202627454384564726751561652433479720829616046376359016291378111084223539218953623912571977915965711868344311448096041639498896249066806011480337926979336386922535296303752711889978569232419801794934322834391758343224495751526935421536033765421920712479882326684183343175192506299338548272335365486251925033343467210567293885905433780822999898604806238618868381030618734960564543625151176983437948634467084422228827374831795369936288472513373544493094900054747070753455699633326414320913460348479500983823174310013199097862135411812726539849723398231855832967776337718672217880238071981788235029509052279747189188681017572483164064571080246530954181586740864619167589362678617045511756037366397896287535580824234872210152899236988326941025506999808922548377766309470729712387648163405540888355093150391393147762868679282467450248868441271263534493578828020033697285447763448133926166569487422405222986476700516751666801177807240657564339291923875269516741832922888995392021815208206000349549288250522070993210698907902608614026748746226358646184865889780191165888384651919903384475762221811266201306458084323514041511509641989786115752760407119009860442439632421403230395972475348378156789079511896489813648834249547691849265251849667444226323872984574855719511144598417008957627888727054559888291831917098918028329850588422718093434809471730512569958638862082155535047678827813738782160371366678147328051204025977598523823201157893310362964269992621082595013887883317116160638083051854550265075133554450400672096216801889893843542349827136660836690734577713840538485494706157608832285361332402523141110775007848457158586364555932568759681602669482751949814440768908964969207479429539605772323917098643373158579016561519795798882730005614360958024497845667634552553552983588304002856198810822137614346744361151657633282342263919735927514970826742259413534781096542529517187951831272379701715213763298528196318890985268220654521387901862300533678359917037097369847001136323652610917811136723698294245291973870628779153244079459318485933533570876673919779617623307381536963771175021281784418966086504076951993546379032710653964402197313385999437909265508362772441799999999999999999999998999999999999999999999999", + "PR2447": "0.0016985119240027614377579662622550277564752303014632001085912824859507393078282437035179252414291502705054755462357003717759558103498629813115442068360114264334651758949987988872541204107097072948576448846094956768257152529527662956303677471782361593894085900298540552164997753216115340278680558041162973284303935913190198425924379082469805613245983531869824002701698374684691517018577573110696293124537872104859523371741895970797431623776302463363459747587206837294018893284874675114732279390512604545102134422317467968416908718002204506398642106718944289038923999380404503614240503128283136077451417628685228023232453979477282404270797636652706175380813703170077311247490064895458029087043521285272301772214952884388593506827466177521786229924388787415098883766523802090381379143866377309901507052223528306468101431468438490264132304183375802588280147067331828626591480205941245573696234680138810629380613301444051150686224207523014475725970623331838332824735641183653720108016324416184767138082032444150163014161126699794488247990208579609704814988230865585355601681433595996948770858766402889040030968246713616312811344732121617470930010893713729130403188416189679378105887018086547167745302146962889203905466726180699749833752586666455403237780487599766402436806069944504986685701882807188024781826493583179934023322084058083541246114999145300430531747836555219353694662071692255763923382320837270881865337075779917907230837385699866798569999215436573022358446513182753943404939135583753012958773616315641648180417253336086826010039087921869126288436519051035942729345571304280442647214237150698428561157192814553044775037108152303161274121880992217890131206941751727917934955780336365896597968707723675222915284230540627018458658031705295771618388127639417863427109239894251943639727809138599457280105242127622925946074704073915727890439763501672757058495342215351508708462975756044018626130534760940336150554399853488027551220942454321281571898917294455404752275258000957228128366801323227609478166347750532436189374670869398510293004691371804623125134440518228609279229385405520421279139158902684474777199493925943747627478631455902789384753762408682787612396590302666842650873174765130959418286142645856413045396869797717505779706435341617592221898227109807785275580497220725060305458789550793105767294329594990574780666810951473505383047646613535182337676456220504895865986051631741832160250699224119882051705145865254383282811957747119276363385010505970659474676544779471339092894874881460336201771712170894392330533573924936169782841322375462425323658211611087842632879910979102002352426149647130420236315904658313107609581985667016932082417230893193452013638869893749742709260248684080473551825456129715699837644275206416147085163693934930226879643144277994410846580231814852187247839518274736465678580881966698812765805658983610013031904006897267358475617620719811854918666338638829416302367430190781972157760065779979919005979915421308823628467650769829231014302338804437427800900266239999999999999999999998999999999999999999999999", + "PR2462": "0.0017035523129795943854192668981419560041186667715935483801489089878174045096528810686296477393161276162365054206824664783353107495434303317955377139682181786205318545208743143697256683115529782550131900714723247885153532994606800243775783466597796417183521369435219313150528832791671308432204238046495534507108282822462916762946590530105455856293349740209068099958963533375251505190543323424575879904553656713761948118547230223049923677114326155835159844488684094012890457059862115152768761014483558621763323571201882497697720464937933178821473489520238275845276955046820213133703360130626327888728633668908513150810766782948160763999903215708220634550405456911914701814439553227899920410838932463404073388211199706844646172426613563320440417956114200361074574361643929771163281348586703075317537708216964010033256307360502185155018373725574685675662875958169576310463548067537654605776780593432559022730309688621931694186068947616499265036749870316172654624958397438535987989197566169376044979951687905569646814768147922362388355078003790122590334568255050125593926663309593725153954918742767436208860579012628077817316592875168320496276117115465554945355598342989920860231234159707852851823859425612604848951874449133194660631892069481063055883203365712740350402506519322332041274558633907900236899243002135252631296545347958178271086887410589527530947817888060767236153288175861431369838880673492670161634091160799054290372470969908278348720957849713710855536110618719130053141796422993464765796033560759414901318338798078616389323710705194655112808100898993178916124419650064006785026677778262286631807279578677416181397849530809512936565358949625971421206943946351493177547845975266611679774592272012105536170060084504224511789134739294955257699850827554707129957066722485567664882736447232834133368837946017020513064439487299548834299468277060739208585694961507637069228760729458081581195102813459740912096053051788321467573608610458506157529375585305303875323205533207781718023258045205223646740294461734539123556146057429187898376066378289641491615028376518381538626958906282154082367213500801670625829156003545472426099099783361931708074171325473493585192649120282304988974349467914240420802042284557316687621241387445490888152893157523781165375346929762905885379864013091782649035151780368498628829552124276248516478675196280679051962297322742511390075251159283048168994932981365788650244895554177335277268504590548139746924680143027319280509513992568223765075121315792709617899192706780363796498760023601332510786058604623366864000862292220023647173927058910654493081961802760129522981328451420730696905517663805569383566517861955115637949320271514567423018267979624263532702343725585395610474605009587474971429455256849387713567008403813467479747265502493176514365187218810031312244795050396761782230835835021352001052491168038346680317393566537290140955866608892311144162280849720681636317608515954125108954160054905066390136331590612433964577703076536181650473297244250258517168892282759999999999999999999998999999999999999999999999" + }, + "mismatches": [ + "PR2302->PR2269", + "PR2374->PR2312", + "PR2435->PR2312" + ], + "object": "T74 handoff-line kappa ledger and stated-comparison check", + "python": "3.14.4", + "readme_2435": { + "path": "research/gmx-t74-borrow43-handoff/README.md", + "phrase": "exceeds PR2374 (our previous package, kappa 0.0016985113436976293", + "pr2374_pinned": "0.0016971949509017704265", + "pr2435_pinned": "0.0016985113436976293290", + "quoted_as_pr2374": "0.0016985113436976293", + "quoted_value_is_pr2435": true + } +} From 750c05c22b2fcc58baa1ca73bf1cbfe176c2627d Mon Sep 17 00:00:00 2001 From: Sagar Thakrar Date: Thu, 15 Oct 2026 18:02:12 +0530 Subject: [PATCH 2/2] T74 claim ledger: all stated numbers and release gates, controls Extends the ledger after two adversarial review rounds: - pins 16 claim files: the 15 open T74-line PRs, now including PR2281 and PR2436, plus the PR2265 baseline; - transcribes 95 numeric statements from PR bodies and pinned READMEs into STATEMENTS.json, replacing COMPARISONS.json. README quotes are verified at pinned heads; body quotes and hashes with --live; - uses exact rational arithmetic and strict rounding: 84 consistent, 11 flagged (wrong-target differences, self-kappa quoted as the predecessor's, copied boilerplate); - parses 82 predecessor gates in 12 verify_release.py scripts and checks the parse is complete. All pass (55 exact, 17 conservative, 10 PR2265 43-digit truncation), so no kappa or gate is affected; one gate label slip in 5 scripts; - runs 315 negative and 11 positive controls through the same functions, and makes live drift exit 3. Co-Authored-By: Claude Opus 5.5 --- research/t74-claim-lineage-ledger/BODIES.json | 50 + .../t74-claim-lineage-ledger/COMPARISONS.json | 74 - research/t74-claim-lineage-ledger/PINS.json | 118 +- research/t74-claim-lineage-ledger/README.md | 224 +- .../t74-claim-lineage-ledger/STATEMENTS.json | 881 +++++++ research/t74-claim-lineage-ledger/TASK.json | 22 +- research/t74-claim-lineage-ledger/VERIFY.json | 2 +- research/t74-claim-lineage-ledger/ledger.py | 419 +++- .../ledger.receipt.json | 2071 ++++++++++++++++- 9 files changed, 3547 insertions(+), 314 deletions(-) create mode 100644 research/t74-claim-lineage-ledger/BODIES.json delete mode 100644 research/t74-claim-lineage-ledger/COMPARISONS.json create mode 100644 research/t74-claim-lineage-ledger/STATEMENTS.json diff --git a/research/t74-claim-lineage-ledger/BODIES.json b/research/t74-claim-lineage-ledger/BODIES.json new file mode 100644 index 0000000000..f423191d49 --- /dev/null +++ b/research/t74-claim-lineage-ledger/BODIES.json @@ -0,0 +1,50 @@ +{ + "2265": { + "sha256": "cd981e78463fcc1fa6e367c721593924c9b349a32946586a2b6db6bb8341bcc3" + }, + "2269": { + "sha256": "2fee4bb02cdf8531a6db57b843a0b279023e1a9aa4a8537ee9ad1eabbdaaa006" + }, + "2281": { + "sha256": "ed6b0e17c0f43515b485bcd1d276c1ff12dc6efde154c1fed9ada063e5cbbe0a" + }, + "2288": { + "sha256": "45afb1d30a8998e8cf65edc630afb13f50c555e511d2ce09e7ab682989491b69" + }, + "2302": { + "sha256": "ebee8f3f8567d02b20eb8f23211601f68ef33f3aa0b2cfc4f9b50fbfd65b39ef" + }, + "2309": { + "sha256": "71ac297cad8e68a4bdc161ef40777fa28b87f95a362d6d2d97428073bb5e192e" + }, + "2312": { + "sha256": "d8f52b0347a2de7b985a481e6f2f64e513f3cc23474e5ea5c075fe2a1c744853" + }, + "2322": { + "sha256": "2d2685b2cc0d00be7f7ef2d32a51a2bf5e6a7acc240f2cfe6a469508de566c71" + }, + "2349": { + "sha256": "4b5ccc3c9189f2b8755c31d12bab95f84235a1de9493d4e74b15b84a1417bf6f" + }, + "2363": { + "sha256": "0e7d6317cb673d3886a9c93529b33ff598cbb9ee20adcd892c65d06067c5d786" + }, + "2374": { + "sha256": "fddf076ffbb28fdc8653b22bcc7cf198c55958596645fb6dc602b449ec0e4895" + }, + "2435": { + "sha256": "0fa2f5e44f04018283afeb93f6f5cfe086c758c1371cac2d9c9bbe47b7136a16" + }, + "2436": { + "sha256": "2c175f911f30a347f9f24cd0e0ac005d2b566af3c7f7ecdbf6a800bfbdfd098b" + }, + "2447": { + "sha256": "0548d7eae5486be7e823ac28ae9bfa594e469f8d53cadc4274d87f0948ed70f3" + }, + "2462": { + "sha256": "53d7bf77d86d4b79574a879ed25db5d450517e52770a83e345a7429594175ce8" + }, + "2474": { + "sha256": "267f62a351aa19b342a6b40b344b2ea88e7026df1b0dae711c088fe18d53004c" + } +} diff --git a/research/t74-claim-lineage-ledger/COMPARISONS.json b/research/t74-claim-lineage-ledger/COMPARISONS.json deleted file mode 100644 index fa6cd27fd5..0000000000 --- a/research/t74-claim-lineage-ledger/COMPARISONS.json +++ /dev/null @@ -1,74 +0,0 @@ -[ - { - "source": 2288, - "target": 2269, - "stated": "6.38114E-8", - "quote": "It exceeds PR2269 (this package's 90-digit-endpoint predecessor without the refit) by 6.38114E-8" - }, - { - "source": 2302, - "target": 2288, - "stated": "8.48163E-8", - "quote": "It exceeds PR2288 (the same package without the kernel) and PR2269 by 8.48163E-8" - }, - { - "source": 2302, - "target": 2269, - "stated": "8.48163E-8", - "quote": "It exceeds PR2288 (the same package without the kernel) and PR2269 by 8.48163E-8" - }, - { - "source": 2312, - "target": 2309, - "stated": "3.75943E-7", - "quote": "It exceeds the current leader PR2309 (Dugongue, ...) by 3.75943E-7" - }, - { - "source": 2312, - "target": 2302, - "stated": "4.95301E-7", - "quote": "PR2302 (the previous package of this series) by 4.95301E-7" - }, - { - "source": 2349, - "target": 2312, - "stated": "1.74927E-7", - "quote": "... and PR2312 by 1.74927E-7" - }, - { - "source": 2374, - "target": 2363, - "stated": "4.78861E-8", - "quote": "It exceeds PR2363's exact claimed kappa 0.001697147064845350 by 4.78861E-8" - }, - { - "source": 2374, - "target": 2312, - "stated": "1.28957E-7", - "quote": "... and PR2312 by 1.28957E-7" - }, - { - "source": 2435, - "target": 2374, - "stated": "1.31639E-6", - "quote": "It exceeds PR2374 (our previous package) by 1.31639E-6" - }, - { - "source": 2435, - "target": 2312, - "stated": "1.31639E-6", - "quote": "... and PR2312 by 1.31639E-6" - }, - { - "source": 2447, - "target": 2435, - "stated": "5.80305E-10", - "quote": "It exceeds PR2435 by 5.80305E-10" - }, - { - "source": 2462, - "target": 2447, - "stated": "5.04039E-6", - "quote": "... and PR2447 by 5.04039E-6" - } -] diff --git a/research/t74-claim-lineage-ledger/PINS.json b/research/t74-claim-lineage-ledger/PINS.json index 19283a6a50..78c6c5e79e 100644 --- a/research/t74-claim-lineage-ledger/PINS.json +++ b/research/t74-claim-lineage-ledger/PINS.json @@ -1,11 +1,43 @@ { + "2265": { + "head": "49ce38fee91f33edb54645724e7be9530f5631f6", + "author": "DreamingOfClouds", + "role": "baseline", + "path": "research/selective-borrowing-outer-retune/outer/LEDGER.json", + "key": [ + "rows", + "struct_boundary_radix_union", + "kappa", + "decimal" + ], + "git_blob": "6f9a081734b5d337d247db80b9719b706799c9d8", + "sha256": "df357ddc0265bbad6edc8b9c44e882fc0f8c783030dc68619ff9c0be188a2167", + "readme": "research/selective-borrowing-outer-retune/README.md", + "readme_git_blob": "0dfd8775d41cf45937ed5d27003ba136691a54db" + }, "2269": { "head": "b479fc5567bc09ab9185bffe89b62594f36d74e5", "author": "jeremykothe2", "path": "research/gmx-t74-borrow43/outer/OUTER-CLAIM.json", "key": "kappa", "git_blob": "f1feaefc27028e590fa7992d273c137897b379eb", - "sha256": "ffa05de3c8d7cb7de0114d25df7250909581f4a2c0ce68c8d20eb821bf67f0e5" + "sha256": "ffa05de3c8d7cb7de0114d25df7250909581f4a2c0ce68c8d20eb821bf67f0e5", + "readme": "research/gmx-t74-borrow43/README.md", + "readme_git_blob": "b555bc54dc661658e4d5fcbc5e3bd6503d7af4bd", + "release_script": "research/gmx-t74-borrow43/verify_release.py", + "release_script_git_blob": "65b4cdef75eb3f713e58b7081f25b630492e22f3" + }, + "2281": { + "head": "9c71e6194841d7355efa343b7cd5646359fad364", + "author": "jeremykothe2", + "path": "research/gmx-t74-borrow43-gridmax/outer/OUTER-CLAIM.json", + "key": "kappa", + "git_blob": "5d1d01b0617223fc2fdabbefe5ee00870698c64f", + "sha256": "db07ef337f5f00b184430c4cabe9f1ccf6ee2f1971dede42edbbbd33b0d22528", + "readme": "research/gmx-t74-borrow43-gridmax/README.md", + "readme_git_blob": "0f42ccedba3ca46d364b55b80ded601f2547eae3", + "release_script": "research/gmx-t74-borrow43-gridmax/verify_release.py", + "release_script_git_blob": "8b79b6cb6b8bd4039f401ff2d10fd030674a7473" }, "2288": { "head": "bda15a781d9f2177cbf48f6182fc0b9daeeec465", @@ -13,7 +45,11 @@ "path": "research/gmx-t74-borrow43-refit/outer/OUTER-CLAIM.json", "key": "kappa", "git_blob": "e2e51e2c52f78bb039c6b89096a22b3b0c133635", - "sha256": "50caac4649c002d052d14002611907dc4588ae54025d895ab315fbc49abb6ef0" + "sha256": "50caac4649c002d052d14002611907dc4588ae54025d895ab315fbc49abb6ef0", + "readme": "research/gmx-t74-borrow43-refit/README.md", + "readme_git_blob": "61ba6c23138d1370b39865365c63b50193715dbe", + "release_script": "research/gmx-t74-borrow43-refit/verify_release.py", + "release_script_git_blob": "9ff8a49fbe78864e65f94b580e7592ecda2fff0e" }, "2302": { "head": "d520b92d7bf18efcb7d84f12757face6fe9541f1", @@ -21,7 +57,11 @@ "path": "research/gmx-t74-borrow43-k518-506/outer/OUTER-CLAIM.json", "key": "kappa", "git_blob": "3b3d335b18521e4343438df81131c56bf1830c3b", - "sha256": "167daf1dc54cf73e7ed2997947b686fffdb5718e11dc62103261393ba0766585" + "sha256": "167daf1dc54cf73e7ed2997947b686fffdb5718e11dc62103261393ba0766585", + "readme": "research/gmx-t74-borrow43-k518-506/README.md", + "readme_git_blob": "f9ca84d759c92d34b0f05267bdc6c153e0731747", + "release_script": "research/gmx-t74-borrow43-k518-506/verify_release.py", + "release_script_git_blob": "7de8794b7c4af395f17ced837e8a630774750d22" }, "2309": { "head": "95aea1e24dede937f00545a4d8250caa02f60339", @@ -29,7 +69,11 @@ "path": "research/t74-borrow-repacked/outer/OUTER-CLAIM.json", "key": "kappa", "git_blob": "a038103d39791f1a028473585ceadb9aa6666fe5", - "sha256": "dc5350468d91f74682da7a3c7e8d61276cb6c9251013e85454c73525e03abfd0" + "sha256": "dc5350468d91f74682da7a3c7e8d61276cb6c9251013e85454c73525e03abfd0", + "readme": "research/t74-borrow-repacked/README.md", + "readme_git_blob": "fcdd63f278603a575af9ec243c3779a4014fa039", + "release_script": "research/t74-borrow-repacked/verify_release.py", + "release_script_git_blob": "2c829e44da42f496e6fe141ae044e8582bd9bd9f" }, "2312": { "head": "6a05b1bb39a95d1608db8522f40c2dcdbd6e4cf9", @@ -37,7 +81,11 @@ "path": "research/gmx-t74-borrow43-width-exchange/outer/OUTER-CLAIM.json", "key": "kappa", "git_blob": "4fe48bbbe6708935ceadfb929bff04d43187edd6", - "sha256": "c038184efdc38f4ea1f9ac0f5ed795a84b6000c6d0924539d70aacd9ca4226fe" + "sha256": "c038184efdc38f4ea1f9ac0f5ed795a84b6000c6d0924539d70aacd9ca4226fe", + "readme": "research/gmx-t74-borrow43-width-exchange/README.md", + "readme_git_blob": "b29b213d6b89530d6ed4f58a0ed56d7eeeb9e241", + "release_script": "research/gmx-t74-borrow43-width-exchange/verify_release.py", + "release_script_git_blob": "fe48016d892f977941218d1c217cc9cece29d9b0" }, "2322": { "head": "002304ef01c4416a127916169ae6d94c1bee052b", @@ -45,7 +93,9 @@ "path": "research/t74-joint-owner-hillclimb/CLAIM.json", "key": "decimal", "git_blob": "e10747182e8bdfa2fea1c8631bf738c15619eccb", - "sha256": "439ded151e7897b8e7d5ef9ad47f3cd8d1daf0b69219ef507a922519c7003530" + "sha256": "439ded151e7897b8e7d5ef9ad47f3cd8d1daf0b69219ef507a922519c7003530", + "readme": "research/t74-joint-owner-hillclimb/README.md", + "readme_git_blob": "fe1ef90b1d193ed5cfca0836f13d1206d00e374f" }, "2349": { "head": "bb2486ec93c099afe9acd93442f13864b566296a", @@ -53,7 +103,11 @@ "path": "research/gmx-t74-borrow43-handoff/outer/OUTER-CLAIM.json", "key": "kappa", "git_blob": "f2862b86b3c4f451c9f9e55ea66f1d98a858a18e", - "sha256": "53727272161e7787d70d0a44d0651e4c6d90b4e704da209e4bc20e6fa94689fa" + "sha256": "53727272161e7787d70d0a44d0651e4c6d90b4e704da209e4bc20e6fa94689fa", + "readme": "research/gmx-t74-borrow43-handoff/README.md", + "readme_git_blob": "cc88d0feff5e18f77a222d891c7c2e3e25277890", + "release_script": "research/gmx-t74-borrow43-handoff/verify_release.py", + "release_script_git_blob": "c63a87cd6147f2bb0bb1030d10687e1f1c17d048" }, "2363": { "head": "d815dbe374096f1b96a224a2dcb6a9167c5cfa91", @@ -61,7 +115,9 @@ "path": "research/t74-owner-augmenting-paths/CLAIM.json", "key": "kappa", "git_blob": "e745b73c0e395ee6e26254d982f43f177ee254f7", - "sha256": "7fab7a257ac5ae7d1178e0c443f2c26d2ea436aa295ed78319550248f7195f11" + "sha256": "7fab7a257ac5ae7d1178e0c443f2c26d2ea436aa295ed78319550248f7195f11", + "readme": "research/t74-owner-augmenting-paths/README.md", + "readme_git_blob": "19f9b2e903c0a0c4354e9c2df0b2cb62cf0befcf" }, "2374": { "head": "5449da65da12bdfd94675dccc38731eaa91e93b6", @@ -69,7 +125,11 @@ "path": "research/gmx-t74-borrow43-handoff/outer/OUTER-CLAIM.json", "key": "kappa", "git_blob": "e91f8dd77aa4a2a0acb1550026fa7e7b6b2bb525", - "sha256": "f3e40f917ad36e963b43adbcd2490f37211e863b9b68bdd83a6b1ad8a6169aae" + "sha256": "f3e40f917ad36e963b43adbcd2490f37211e863b9b68bdd83a6b1ad8a6169aae", + "readme": "research/gmx-t74-borrow43-handoff/README.md", + "readme_git_blob": "c3ee9a6b5fa1123300a6552e7b80cf3ccc994827", + "release_script": "research/gmx-t74-borrow43-handoff/verify_release.py", + "release_script_git_blob": "280bef9ac5c2ae8519f908393b9510a72c263a55" }, "2435": { "head": "324d7d3590dc21003940a44cb0cbdc32b3620f25", @@ -77,7 +137,21 @@ "path": "research/gmx-t74-borrow43-handoff/outer/OUTER-CLAIM.json", "key": "kappa", "git_blob": "556f72136acd4dbbbd53ba48849faacf4cf64b56", - "sha256": "42947f62e7caf297f3712a42299dcf13ad68169eddb10ccad95b54c30853c8bb" + "sha256": "42947f62e7caf297f3712a42299dcf13ad68169eddb10ccad95b54c30853c8bb", + "readme": "research/gmx-t74-borrow43-handoff/README.md", + "readme_git_blob": "4c0e0e5a91173ea7dfb6c0bd0477f88827ddcd32", + "release_script": "research/gmx-t74-borrow43-handoff/verify_release.py", + "release_script_git_blob": "90772e6906485e679697b2a422f3a8b0e129888a" + }, + "2436": { + "head": "f96e948f923d971614fc56979e31afe255c586b3", + "author": "tekuuu", + "path": "research/complex-structure-seed39/nonzero-lender-evidence/composition2435/global-admission/outer-result/outer/OUTER-CLAIM.json", + "key": "kappa", + "git_blob": "9119f1722015a6ddd7852fea431c7c5f375a8433", + "sha256": "9ff390882b610eb47b7778e07bf9eaecbfc7abdba307102a4cdbb106687970b9", + "readme": "research/complex-structure-seed39/nonzero-lender-evidence/composition2435/README.md", + "readme_git_blob": "cba3cb51abf2181f524ebcb08dd63f3deeb6e5f6" }, "2447": { "head": "805bbaddf664459c1eb92aa461645cd69764c86e", @@ -85,7 +159,11 @@ "path": "research/gmx-t74-borrow43-handoff/outer/OUTER-CLAIM.json", "key": "kappa", "git_blob": "e7d5e39f02930f8c2317e7e86b9ad4db1fe972f0", - "sha256": "04dd59d21af4c182e8763933f3f5c7a7fc064c83cb7c4ce616d988d4c9cb43ab" + "sha256": "04dd59d21af4c182e8763933f3f5c7a7fc064c83cb7c4ce616d988d4c9cb43ab", + "readme": "research/gmx-t74-borrow43-handoff/README.md", + "readme_git_blob": "c109472f64ec2b50a8401573b0fe3570f52e78a4", + "release_script": "research/gmx-t74-borrow43-handoff/verify_release.py", + "release_script_git_blob": "7eb84c02f14ba4a980aa652e76dddc1ce0d0f366" }, "2462": { "head": "ef34071fee6dfb0286e9850a5cec4e36d9eb126d", @@ -93,6 +171,22 @@ "path": "research/gmx-t74-borrow43-handoff/outer/OUTER-CLAIM.json", "key": "kappa", "git_blob": "00d05aea4202782f2ec3de57ed52f6d8cd93c802", - "sha256": "f3cf863e143fd62cf9f3b48f3494469db10ec087d6ea0bc9df6171908feec362" + "sha256": "f3cf863e143fd62cf9f3b48f3494469db10ec087d6ea0bc9df6171908feec362", + "readme": "research/gmx-t74-borrow43-handoff/README.md", + "readme_git_blob": "ee79dbccff6e7578e158ed325666464e78c1f280", + "release_script": "research/gmx-t74-borrow43-handoff/verify_release.py", + "release_script_git_blob": "a72b0ce62b8a5fa18bcf4a696f1d2c190ebef415" + }, + "2474": { + "head": "5298f86c5193db65f869121eab3cac16d557196c", + "author": "jeremykothe2", + "path": "research/gmx-t74-borrow43-handoff/outer/OUTER-CLAIM.json", + "key": "kappa", + "git_blob": "bbc3da80f0f7256d9cc44f9c86cfe72cd45c972d", + "sha256": "512d036e6816caa219bcf85785bac4d410822840c69a29923e3edcbaf388297b", + "readme": "research/gmx-t74-borrow43-handoff/README.md", + "readme_git_blob": "343ab0a263074c5d57bdfba3705a89059b599417", + "release_script": "research/gmx-t74-borrow43-handoff/verify_release.py", + "release_script_git_blob": "6d7930c5d868080d7a45de38defd9e61af3b2206" } } diff --git a/research/t74-claim-lineage-ledger/README.md b/research/t74-claim-lineage-ledger/README.md index 9e2c67829e..56cd1855a8 100644 --- a/research/t74-claim-lineage-ledger/README.md +++ b/research/t74-claim-lineage-ledger/README.md @@ -1,56 +1,106 @@ -# T74 handoff line: pinned κ ledger, stated-comparison check, and independent-check map +# T74 handoff line: pinned κ ledger, 95 stated numbers and 82 release gates re-checked, independent-check map + +**Research consolidation; no κ claim.** The T74 line has fifteen open conditional-κ PRs. Their descriptions and READMEs +contain many interlocking "exceeds PR#### by X" and "PR#### (kappa X)" statements. This package: +- pins each PR's own claim file; +- transcribes the numeric statements between pinned PRs from PR bodies and pinned package READMEs (coverage below), + and recomputes each one with exact rational arithmetic; +- parses and checks the predecessor gates of every pinned `verify_release.py`; +- maps which claims have independent checks. + +## Findings + +- **The release gates are right.** 82 predecessor gates in 10 of the 12 pinned scripts are attributed to pinned PRs: + - **55 EXACT.** The gate literal equals the named PR's pinned κ. + - **17 ABOVE**, which makes them conservative: + - PR2322's native-endpoint upper bracket (6 gates); + - the PR2363 literal in the label slip below (5); + - PR2436's κ rounded up at 24 digits, +1e-46 (6 gates, in PR2462 and PR2474). Each script repeats this gate three + times, and its comment says "exact kappa". + - **10 BELOW**, all PR2265's published 43-digit κ, a truncation 9.7e-45 below its pinned value. This is + immaterial, since every margin over PR2265 is at least 1.28e-5. + - Every gate passes, and the exact pinned values confirm that every named predecessor is exceeded. **So none of the + errors below affects any κ value or release gate; they are text-only.** + - The PR2269 and PR2309 scripts gate only on older PRs. + - Nine unnamed gates, "the previous 1e-3000 fixed-grid-maximum package without the frame refit", have a literal + exactly equal to PR2281's κ. +- **95 stated numbers checked: 84 consistent, 11 flagged.** 32 come from PR bodies and 63 from READMEs. Two of the + consistent ones are quotes of PR2269's κ that also fit PR2281's, since the two agree to 90 digits. The 11 flagged + statements fall into three classes: + - **(A) wrong target:** five statements, three in PR bodies and two repeated in READMEs; + - **(B) self-κ quoted as the predecessor's:** the READMEs of PR2435, PR2447 and PR2474; + - **(C) stale copied boilerplate:** three READMEs. +- **One gate label slip.** In PR2374, PR2435, PR2447, PR2462 and PR2474, a gate whose comment and literal are PR2363's + exact κ reports "does not exceed PR2322". The check itself is right, since PR2363's κ is above PR2322's. A second, + correctly labelled PR2363 gate follows it. + +## Ledger (pinned claim files at exact heads; `PINS.json`) + +κ values are shown to 22 decimals, truncated (…). "Δ" is the exact difference to the previous row. + +| PR | author | κ (pinned claim file) | Δ | construction step | +|---|---|---|---|---| +| 2265 | DreamingOfClouds | 0.0016834125885426074623… | (baseline) | PR1673 outer retune on PR2260's selective-borrowing supplier (T8 parent, not T74 words); included because the line compares against it | +| 2269 | jeremykothe2 | 0.0016962471390584742207… | +1.283455e-5 | 43 anticipatory dirty-borrowing aliases (PR2226) on the T74 words, under the inherited PR1673 outer | +| 2281 | jeremykothe2 | 0.0016962471390584742207… | +5.376787e-91 | PR2269 recertified at a 1e-3000 endpoint | +| 2288 | jeremykothe2 | 0.0016963109504150503355… | +6.381136e-8 | exact frame refit of the borrowed gauge44 word | +| 2302 | jeremykothe2 | 0.0016963957667360813401… | +8.481632e-8 | pivot-518/506 helper-donor kernels | +| 2309 | Dugongue | 0.0016965151242727336160… | +1.193575e-7 | 44th dirty alias with owner repacking (claim-file status `FROZEN_…_PENDING_STRICT_REPLAY`) | +| 2312 | jeremykothe2 | 0.0016968910672416183217… | +3.759430e-7 | helper width exchange | +| 2322 | Vlado-V | 0.001697060296258836 | +1.692290e-7 | four coherent helper handoffs | +| 2349 | jeremykothe2 | 0.0016970659941088806668… | +5.697850e-9 | owner relocations on PR2322's words | +| 2363 | mason-hale | 0.001697147064845350 | +8.107074e-8 | whole-role augmenting paths (owner map) on PR2322's words | +| 2374 | jeremykothe2 | 0.0016971949509017704265… | +4.788606e-8 | exact owner fill on PR2322's words | +| 2435 | jeremykothe2 | 0.0016985113436976293290… | +1.316393e-6 | entrance raise of 24 copy buffers | +| 2447 | jeremykothe2 | 0.0016985119240027614377… | +5.803051e-10 | pattern-optimal owner fill (PR2442) on PR2435's words | +| 2436 | tekuuu | 0.0016991608921398251600… | +6.489681e-7 | four lifted-target aliases composed with PR2435's 24 entrance raises, plus six owner-slot replacements | +| 2462 | jeremykothe2 | 0.0017035523129795943854… | +4.391421e-6 | port of PR2436's four aliases (with A-phase prelude and verifier/transport edits) onto PR2447's words, 430 helpers per call against PR2436's 428, with a claimed-optimal owner fill | +| 2474 | jeremykothe2 | 0.0017036763879936764890… | +1.240750e-7 | a fifth PR2436-style alias (helper 637 borrows retired source register 31) on PR2462's words | -**Research consolidation; no κ claim.** The T74 handoff line has twelve open conditional-κ PRs with interlocking -"exceeds PR#### by X" statements. This package pins each PR's own claim file and recomputes every stated -comparison. It flags the ones that do not match, and maps which claims have independent checks. +## Flagged statements (ids refer to `STATEMENTS.json`; `b` = PR body, `r` = README) -## Ledger (pinned claim files, exact heads; `PINS.json`) +Each suggested correction is checked as CONSISTENT by the script. -| PR | author | κ (pinned claim file) | + over previous row | construction step (from the PR) | +| id | statement | true value | the printed value is actually | suggested correction | |---|---|---|---|---| -| 2269 | jeremykothe2 | 0.0016962471390584742207 | | capped phase-cell fusion outer on the T74 borrow43 supplier | -| 2288 | jeremykothe2 | 0.0016963109504150503355 | +6.381136e-8 | exact frame refit of the borrowed gauge44 word | -| 2302 | jeremykothe2 | 0.0016963957667360813401 | +8.481632e-8 | pivot-518/506 helper-donor kernels | -| 2309 | Dugongue | 0.0016965151242727336160 | +1.193575e-7 | 44th dirty alias with owner repacking | -| 2312 | jeremykothe2 | 0.0016968910672416183217 | +3.759430e-7 | helper width exchange | -| 2322 | Vlado-V | 0.001697060296258836 | +1.692290e-7 | four coherent helper handoffs | -| 2349 | jeremykothe2 | 0.0016970659941088806668 | +5.697850e-9 | owner relocations on PR2322's words | -| 2363 | mason-hale | 0.001697147064845350 | +8.107074e-8 | whole-role augmenting paths (owner map) | -| 2374 | jeremykothe2 | 0.0016971949509017704265 | +4.788606e-8 | exact owner fill on PR2322's words | -| 2435 | jeremykothe2 | 0.0016985113436976293290 | +1.316393e-6 | entrance raise of 24 copy buffers | -| 2447 | jeremykothe2 | 0.0016985119240027614377 | +5.803051e-10 | pattern-optimal owner fill (PR2442) | -| 2462 | jeremykothe2 | 0.0017035523129795943854 | +5.040389e-6 | optimal owner fill for PR2436's aliases on the entrance-raised words | - -## Stated comparisons re-checked (`COMPARISONS.json`, transcribed verbatim) - -Nine of twelve are consistent to their printed precision. **Three are mismatches.** In each, the stated number is -the difference to a different PR than the one named. The κ values themselves are not affected. - -| PR body says | true difference | the stated number is actually | suggested text | -|---|---|---|---| -| PR2302: "exceeds PR2288 … and PR2269 by 8.48163E-8" | vs PR2269: 1.486277E-7 | the difference to PR2288 | "exceeds PR2288 by 8.48163E-8 and PR2269 by 1.48628E-7" | -| PR2374: "… and PR2312 by 1.28957E-7" | vs PR2312: 3.038837E-7 | the difference to PR2349 | "… PR2349 by 1.28957E-7 (PR2312 by 3.03884E-7)" | -| PR2435: "… and PR2312 by 1.31639E-6" | vs PR2312: 1.620276E-6 | the difference to PR2374 | "… PR2312 by 1.62028E-6" | - -There is also a **README mislabel in PR2435**. `research/gmx-t74-borrow43-handoff/README.md` says "exceeds PR2374 (our -previous package, kappa 0.0016985113436976293…)". That value is PR2435's own κ. PR2374's pinned κ is -0.0016971949509017704…. - -## Independent checks per claim (as of this package) - -- **PR2269:** words, fill and root independently reproduced by PR2315. Its outer side conditions were audited in - PR2286, on the PR2044 lineage. -- **PR2322 words:** - - PR2402 certifies that every owner fill has b < 0.001697195759. - - PR2442 shows PR2374's fill is the unique exact pattern optimum, so PR2349 and PR2363 are dominated owner maps - on the same words. +| 2302b2 | PR2302 body: "exceeds PR2288 … and PR2269 by 8.48163E-8" | vs PR2269: 1.48628E-7 | PR2302 − PR2288 | "exceeds PR2288 by 8.48163E-8 and PR2269 by 1.48628E-7" (the PR2302 README already says +1.48628E-7) | +| 2374b3, 2374r5 | PR2374 body and README: "… and PR2312 by 1.28957E-7" | vs PR2312: 3.03884E-7 | PR2374 − PR2349 | "… and PR2312 by 3.03884E-7", or "… and PR2349 by 1.28957E-7" | +| 2435b2, 2435r4 | PR2435 body and README: "… and PR2312 by 1.31639E-6" | vs PR2312: 1.62028E-6 | PR2435 − PR2374 | "… and PR2312 by 1.62028E-6" | +| 2435r1 | PR2435 README: "exceeds PR2374 (our previous package, kappa 0.0016985113436976293…)" | PR2374: 0.0016971949509017704… | PR2435's own κ | "kappa 0.0016971949509017704…" | +| 2447r1 | PR2447 README: "exceeds PR2435 (our previous package, kappa 0.0016985119240027614…)" | PR2435: 0.0016985113436976293… | PR2447's own κ | "kappa 0.0016985113436976293…" | +| 2474r1 | PR2474 README: "exceeds PR2462 (our previous package, kappa 0.0017036763879936764890…)" | PR2462: 0.0017035523129795943854… | PR2474's own κ (the PR2474 body quotes PR2462 correctly) | "kappa 0.0017035523129795943854…" | +| 2288r6, 2302r6, 2312r8 | PR2288 / PR2302 / PR2312 READMEs: "this package … exceeds PR2265 by about 1.28e-5" | 1.290e-5 / 1.298e-5 / 1.348e-5 | PR2269 (or PR2281) − PR2265; the sentence was copied from PR2269's README | "by about 1.29e-5" / "1.30e-5" / "1.35e-5" | + +## Independent checks per claim (as of this snapshot; not exhaustive) + +- **PR2269:** + - PR2315 reproduces the words, the 437-helper fill and the moment root. It checks only the b → κ arithmetic, not + the outer. + - PR2286 audited the written side conditions of the inherited PR1673 outer stack at PR2044's parameter point (head + 322949a5). They were not re-substituted at PR2269's point. +- **PR2312 → PR2322 pricing change:** PR2359 (AAAmirinu) independently reconstructs the raw paid-frame change. It + checks pricing only. +- **PR2322 words, which PR2349, PR2363 and PR2374 share:** + - PR2402 certifies that every legal whole-helper owner fill (unsplit helpers, unchanged PR2269 bin stock) has + b < 0.001697195759. + - PR2442 shows that PR2374's idle multiset is the bin-pattern integer optimum, unique within 1e-12, and that every + such fill has b ≤ κ(PR2374) + 1e-15. So PR2349 and PR2363 have no owner-level headroom above PR2374 on these + words. + - PR2406 (jeremydiviney) caps every scalar and handoff frame refit of these words with fractional whole-helper + packing at b < 0.0016972. Its hypotheses include fixed helper endpoints and fixed prefix/cut frames. PR2435's + entrance raise changes frames outside those hypotheses. - **PR2435:** - - PR2446 independently reproduces the words, the 289,044-role owner map and the root. It also finds that the - change is frame-only, with entrance delivery left unchecked. + - PR2446 independently reproduces the words, the 289,044-role owner map and the root. It finds that the change is + frame-only. + - PR2472 (RossRichardson) binds and checks the 24 raised-entrance wrappers, which is the local entrance delivery + PR2446 left open. Its stated premises are logical restoration and whole-family hosting. - PR2453 prices the mechanism. -- **PR2447:** PR2466 independently checks it and shows it is exactly the PR2442 optimum, so the fill is provably - optimal for those words. -- **PR2462:** no independent check yet. Its claim rests on PR2436 (tekuuu, four aliases plus 24 entrance raises). +- **PR2447:** PR2466 checks its owner map (R-a..R-g), recount and root, and shows that its idle multiset is exactly + PR2442's optimum. It does not re-check admission. +- **PR2436, PR2462, PR2474:** no independent check found. Search covered PR titles and bodies through #2479, plus the + checks reported by this package's reviewers. + - PR2478 (mdumitrean) reports an `audit_local.py` gap. It states that T74 claims are not affected because their + admission runs the native chain. ## Reproduce @@ -60,31 +110,83 @@ From the repository root, standard library only: python3 -I -B research/t74-claim-lineage-ledger/ledger.py --fetch ``` -`--fetch` fetches each `refs/pull/N/head` whose pinned head is absent. - +`--fetch` fetches each `refs/pull/N/head` whose pinned head is absent, falling back to the pinned commit itself. Expected final line: -`PASS_T74_CLAIM_LEDGER prs=12 comparisons=12 consistent=9 mismatches=2302->2269,2374->2312,2435->2312 readme_2435_mislabel=1` -The expected mismatch set is asserted, so a corrected PR text or a moved head makes the check fail deliberately. -All results were run on CPython 3.14.4; the registered Python 3.12 replay was not run locally. +``` +PASS_T74_CLAIM_LEDGER prs=16 statements=95 (body 32, README 63) consistent=84 (ambiguous 2) flagged=2288r6,2302b2,2302r6,2312r8,2374b3,2374r5,2435b2,2435r1,2435r4,2447r1,2474r1 gates=82 +``` + +**What the offline run checks:** +- every claim file, README and release script against its git blob, and the claim files also against sha256; +- every README quote against its pinned README: + - the whole normalised quote, or, where the transcriber elided text, its fragments in order within 400 characters; + - each quote must contain its stated number; + - each must name its target or carry a `context` naming it within 800 characters before it; +- every statement, with exact rational arithmetic; +- the gate parse, which must account for every `if Fraction(kappa_decimal) <= Fraction(` line; +- controls run through the same functions: + - 315 negative controls, all rejected: + - each consistent number ±1 in its last printed digit; + - each consistent difference attributed to a wrong target; + - each README quote with one digit changed; + - each pinned file against a wrong blob; + - three synthetic gates: one above the source κ, one in an unparsed shape, one with a swapped label; + - 11 positive controls: each suggested correction must be CONSISTENT. + +The flagged set with what each printed value matches, the ambiguous set, the BELOW gates and the label slips are all +asserted. Any change to `PINS.json` or `STATEMENTS.json` that alters them fails the run. + +**Live drift check.** PR bodies are not in git. `--live` uses network access and the GitHub CLI to compare each pinned +head with `refs/pull/N/head`, each body hash with `BODIES.json`, and each body quote with the current body. Any drift +ends with `DRIFT_T74_CLAIM_LEDGER …` and exit status 3. At this snapshot it ended with `live_drift=0`. It covers the +pinned PRs only; it cannot discover new PRs or comments. + +**Rounding rule.** A number agrees when the true value, rounded half-even or half-up to the printed digits, equals +it. "About" and "approximately" get no extra slack. Under truncation, 2288r6 alone would also agree. A κ quote agrees +when it is a prefix or a correct rounding of the target's pinned κ; it is reported as ambiguous when it fits other +pinned κ too. + +All results were run on CPython 3.14.4. The registered Python 3.12 replay was not run locally. ## Scope and limits -- **What is checked.** Only the stated numbers in PR bodies and one README sentence. The κ values are read from - each PR's own claim file. No κ, outer ledger or construction is re-derived here. -- **Unpinned baselines.** Comparisons against PR2265 and PR2436 are not included, because their claim files are - not in the standard place. -- **Snapshot.** Heads are pinned as of 2026-10-15; later edits are not reflected. +- **What is checked.** The numbers stated in PR bodies and pinned READMEs between pinned PRs, and the predecessor + gates in the 12 pinned `verify_release.py` scripts. No κ, outer ledger or construction is re-derived. Each κ is read + from its PR's own claim file. +- **No parsed gates for PR2322, PR2363 and PR2436.** They have no `verify_release.py`. For example, PR2436's + `budget/price_composition.py` compares against PR2435's κ truncated to 18 decimals; that check is not parsed here. +- **Transcription coverage.** Statements were found by regex sweeps of the 16 bodies and READMEs, followed by reading + each hit, plus two adversarial review rounds that found ten statements the sweeps had missed. Not included: + - comparisons with unpinned PRs, such as PR2260, PR2220 or the selected PR1094 ("1.464% of κ"); + - ratios to PR2322's packing cap ("about 98.66%", "about 98.6678%"); + - values attributed to unpinned audit PRs, such as PR2436 README's "PR2435 pattern optimum has root approximately + 0.0016985119240"; + - statements in other files (RELEASE.json, REVIEW.md, scripts other than the gates). +- **Snapshot.** Heads are pinned as of 2026-10-15 (newest: PR2474 head 5298f86c). PR2309's own claim file marks it as + pending strict replay, so it is listed for ordering only. +- **Not pinned.** PR2482 (mdumitrean), opened after the snapshot, is a superseded conditional construction composing + PR2309 and PR2302 (κ 0.0016965999…, between PR2309 and PR2312). By its own statement it is not a leading bound. ## Open next questions -- **PR2462.** Is PR2462's owner fill exactly optimal for its words, and do its words recount to its report? First - step: run PR2442's `owner_optimum.py` and PR2446's checker on PR2462's pinned files. +- **PR2436, PR2462, PR2474.** Are their owner fills exactly optimal for their words, and do the words recount to the + reports? First step: run PR2442's `owner_optimum.py` and PR2446/PR2466's checker on the pinned files. +- **Machine-readable predecessors.** Could each claim file record its predecessors as `(PR, exact κ)`? The release + gates already hold these values. Exposing them would make this check automatic and would remove class (B) and (C) + slips, which come from hand-written comparison sentences. ## Credits and licence -- PR authors as listed: Jeremy Kothe, Dugongue, Vlado Vojdanovski, mason-hale, tekuuu (PR2436). -- PR2315 / PR2402 / PR2442 / PR2446 / PR2453 / PR2466 (this author): the independent checks referenced. +- PR authors as listed in the table (GitHub handles). +- Independent checks referenced: + - thakrarsagar (this package's author): PR2286, PR2315, PR2402, PR2442, PR2446, PR2453, PR2466; + - AAAmirinu: PR2359; + - jeremydiviney: PR2406; + - RossRichardson: PR2472. +- Two rounds of two adversarial AI reviewers of this package found the missing statements, the PR2281 and PR2436 + omissions, the PR2447 mislabel, a missed gate shape, tautological controls and several wording errors in the + check map. Prepared with substantial AI assistance (Claude Code, Anthropic, Claude Opus 5.5). No independent human review is claimed. Apache-2.0. diff --git a/research/t74-claim-lineage-ledger/STATEMENTS.json b/research/t74-claim-lineage-ledger/STATEMENTS.json new file mode 100644 index 0000000000..fdaf909844 --- /dev/null +++ b/research/t74-claim-lineage-ledger/STATEMENTS.json @@ -0,0 +1,881 @@ +[ + { + "id": "2269b1", + "source": 2269, + "where": "body", + "kind": "difference", + "target": 2265, + "stated": "+1.28346E-5", + "quote": "It exceeds the live leader PR2265 by +1.28346E-5." + }, + { + "id": "2281b1", + "source": 2281, + "where": "body", + "kind": "difference", + "target": 2269, + "stated": "5.37679E-91", + "quote": "It exceeds PR2269 (this package's 90-digit-endpoint predecessor) by 5.37679E-91" + }, + { + "id": "2281b2", + "source": 2281, + "where": "body", + "kind": "difference", + "target": 2265, + "stated": "1.28346E-5", + "quote": "and PR2265 by 1.28346E-5" + }, + { + "id": "2288b1", + "source": 2288, + "where": "body", + "kind": "difference", + "target": 2269, + "stated": "6.38114E-8", + "quote": "It exceeds PR2269 (this package's 90-digit-endpoint predecessor without the refit) by 6.38114E-8" + }, + { + "id": "2288b2", + "source": 2288, + "where": "body", + "kind": "difference", + "target": 2265, + "stated": "1.28984E-5", + "quote": "and PR2265 by 1.28984E-5" + }, + { + "id": "2302b1", + "source": 2302, + "where": "body", + "kind": "difference", + "target": 2288, + "stated": "8.48163E-8", + "quote": "It exceeds PR2288 (the same package without the kernel) and PR2269 by 8.48163E-8" + }, + { + "id": "2302b2", + "source": 2302, + "where": "body", + "kind": "difference", + "target": 2269, + "stated": "8.48163E-8", + "quote": "It exceeds PR2288 (the same package without the kernel) and PR2269 by 8.48163E-8" + }, + { + "id": "2302b3", + "source": 2302, + "where": "body", + "kind": "difference", + "target": 2265, + "stated": "1.29832E-5", + "quote": "PR2265 by 1.29832E-5" + }, + { + "id": "2309b1", + "source": 2309, + "where": "body", + "kind": "difference", + "target": 2302, + "stated": "1.19e-7", + "quote": "This exceeds the latest competing claim reviewed in PR #2302 by about 1.19e-7" + }, + { + "id": "2312b1", + "source": 2312, + "where": "body", + "kind": "difference", + "target": 2309, + "stated": "3.75943E-7", + "quote": "It exceeds the current leader PR2309 (Dugongue, ... by 3.75943E-7" + }, + { + "id": "2312b2", + "source": 2312, + "where": "body", + "kind": "difference", + "target": 2302, + "stated": "4.95301E-7", + "quote": "PR2302 (the previous package of this series) by 4.95301E-7" + }, + { + "id": "2312b3", + "source": 2312, + "where": "body", + "kind": "difference", + "target": 2265, + "stated": "1.34785E-5", + "quote": "and PR2265 by 1.34785E-5" + }, + { + "id": "2322b1", + "source": 2322, + "where": "body", + "kind": "difference", + "target": 2312, + "stated": "1.69229e-7", + "quote": "exceeding the pinned PR2312 claim by approximately **1.69229e-7**" + }, + { + "id": "2349b1", + "source": 2349, + "where": "body", + "kind": "kappa_quote", + "target": 2322, + "stated": "0.001697060296258836", + "quote": "It exceeds the upper bracket of PR2322's exact native endpoint (its CLAIM.json native_endpoint_upper, above its stated kappa 0.001697060296258836) by 5.69785E-9" + }, + { + "id": "2349b2", + "source": 2349, + "where": "body", + "kind": "difference", + "target": 2322, + "stated": "5.69785E-9", + "quote": "It exceeds the upper bracket of PR2322's exact native endpoint (its CLAIM.json native_endpoint_upper, above its stated kappa 0.001697060296258836) by 5.69785E-9", + "target_key": "native_endpoint_upper" + }, + { + "id": "2349b3", + "source": 2349, + "where": "body", + "kind": "difference", + "target": 2312, + "stated": "1.74927E-7", + "quote": "and PR2312 by 1.74927E-7" + }, + { + "id": "2363b1", + "source": 2363, + "where": "body", + "kind": "kappa_quote", + "target": 2349, + "stated": "0.0016970659941088806668214121951845796408", + "quote": "above concurrent PR2349's full rational `0.0016970659941088806668214121951845796408" + }, + { + "id": "2363b2", + "source": 2363, + "where": "body", + "kind": "difference", + "target": 2349, + "stated": "8.10707365e-8", + "quote": "The gain over PR2349 is approximately `8.10707365e-8`" + }, + { + "id": "2363b3", + "source": 2363, + "where": "body", + "kind": "percent", + "target": 2349, + "stated": "0.004777", + "quote": "The gain over PR2349 is approximately `8.10707365e-8`, or **0.004777% of κ**", + "percent_base": 2363 + }, + { + "id": "2374b1", + "source": 2374, + "where": "body", + "kind": "kappa_quote", + "target": 2363, + "stated": "0.001697147064845350", + "quote": "It exceeds PR2363's exact claimed kappa 0.001697147064845350 by 4.78861E-8" + }, + { + "id": "2374b2", + "source": 2374, + "where": "body", + "kind": "difference", + "target": 2363, + "stated": "4.78861E-8", + "quote": "It exceeds PR2363's exact claimed kappa 0.001697147064845350 by 4.78861E-8" + }, + { + "id": "2374b3", + "source": 2374, + "where": "body", + "kind": "difference", + "target": 2312, + "stated": "1.28957E-7", + "quote": "and PR2312 by 1.28957E-7" + }, + { + "id": "2435b1", + "source": 2435, + "where": "body", + "kind": "difference", + "target": 2374, + "stated": "1.31639E-6", + "quote": "It exceeds PR2374 (our previous package) by 1.31639E-6" + }, + { + "id": "2435b2", + "source": 2435, + "where": "body", + "kind": "difference", + "target": 2312, + "stated": "1.31639E-6", + "quote": "and PR2312 by 1.31639E-6" + }, + { + "id": "2436b1", + "source": 2436, + "where": "body", + "kind": "difference", + "target": 2435, + "stated": "6.4954844219583e-7", + "quote": "approximately **6.4954844219583e-7 (0.03824%) above pinned PR2435**" + }, + { + "id": "2436b2", + "source": 2436, + "where": "body", + "kind": "percent", + "target": 2435, + "stated": "0.03824", + "quote": "approximately **6.4954844219583e-7 (0.03824%) above pinned PR2435**", + "percent_base": 2435 + }, + { + "id": "2447b1", + "source": 2447, + "where": "body", + "kind": "difference", + "target": 2435, + "stated": "5.80305E-10", + "quote": "It exceeds PR2435 by 5.80305E-10" + }, + { + "id": "2462b1", + "source": 2462, + "where": "body", + "kind": "kappa_quote", + "target": 2436, + "stated": "0.001699160892139825160028", + "quote": "It exceeds PR2436's exact kappa 0.001699160892139825160028... by 4.39142E-6" + }, + { + "id": "2462b2", + "source": 2462, + "where": "body", + "kind": "difference", + "target": 2436, + "stated": "4.39142E-6", + "quote": "It exceeds PR2436's exact kappa 0.001699160892139825160028... by 4.39142E-6" + }, + { + "id": "2462b3", + "source": 2462, + "where": "body", + "kind": "difference", + "target": 2447, + "stated": "5.04039E-6", + "quote": "and PR2447 by 5.04039E-6" + }, + { + "id": "2474b1", + "source": 2474, + "where": "body", + "kind": "kappa_quote", + "target": 2462, + "stated": "0.0017035523129795943854", + "quote": "It exceeds PR2462 (our previous package, kappa 0.0017035523129795943854...) by 1.24075E-7" + }, + { + "id": "2474b2", + "source": 2474, + "where": "body", + "kind": "difference", + "target": 2462, + "stated": "1.24075E-7", + "quote": "It exceeds PR2462 (our previous package, kappa 0.0017035523129795943854...) by 1.24075E-7" + }, + { + "id": "2269r1", + "source": 2269, + "where": "README", + "kind": "kappa_quote", + "target": 2265, + "stated": "0.0016834125885426074623303197", + "quote": "its kappa begins 0.0016834125885426074623303197...", + "context": "Improvement over PR2265 (the live leader when this package was produced;" + }, + { + "id": "2269r2", + "source": 2269, + "where": "README", + "kind": "difference", + "target": 2265, + "stated": "+1.28346E-5", + "quote": "+1.28346E-5, i.e. this package exceeds it.", + "context": "Improvement over PR2265 (the live leader when this package was produced;" + }, + { + "id": "2269r3", + "source": 2269, + "where": "README", + "kind": "difference", + "target": 2265, + "stated": "1.2834550515866758439E-5", + "quote": "Exact difference kappa - kappa(PR2265) = 1.2834550515866758439E-5.", + "context": "Exact difference kappa - kappa(PR2265)" + }, + { + "id": "2269r4", + "source": 2269, + "where": "README", + "kind": "difference", + "target": 2265, + "stated": "1.28e-5", + "quote": "this package applies it to the T74 pivot-566+554 words and exceeds PR2265 by about 1.28e-5." + }, + { + "id": "2281r1", + "source": 2281, + "where": "README", + "kind": "kappa_quote", + "target": 2269, + "stated": "0.0016962471390584742207696225", + "quote": "Improvement over PR2269 (this package's own 90-digit-endpoint predecessor, kappa 0.0016962471390584742207696225...): +5.37679E-91" + }, + { + "id": "2281r2", + "source": 2281, + "where": "README", + "kind": "difference", + "target": 2269, + "stated": "+5.37679E-91", + "quote": "Improvement over PR2269 (this package's own 90-digit-endpoint predecessor, kappa 0.0016962471390584742207696225...): +5.37679E-91" + }, + { + "id": "2281r3", + "source": 2281, + "where": "README", + "kind": "difference", + "target": 2269, + "stated": "5.3767871488537118821E-91", + "quote": "exact difference kappa - kappa(PR2269) = 5.3767871488537118821E-91.", + "context": "Improvement over PR2269 (this package's own 90-digit-endpoint predecessor" + }, + { + "id": "2281r4", + "source": 2281, + "where": "README", + "kind": "kappa_quote", + "target": 2265, + "stated": "0.0016834125885426074623303197", + "quote": "Improvement over PR2265 (kappa begins 0.0016834125885426074623303197...): +1.28346E-5, i.e. this package exceeds it." + }, + { + "id": "2281r5", + "source": 2281, + "where": "README", + "kind": "difference", + "target": 2265, + "stated": "+1.28346E-5", + "quote": "Improvement over PR2265 (kappa begins 0.0016834125885426074623303197...): +1.28346E-5, i.e. this package exceeds it." + }, + { + "id": "2281r6", + "source": 2281, + "where": "README", + "kind": "difference", + "target": 2265, + "stated": "1.28e-5", + "quote": "this package applies it to the T74 pivot-566+554 words and exceeds PR2265 by about 1.28e-5." + }, + { + "id": "2288r1", + "source": 2288, + "where": "README", + "kind": "kappa_quote", + "target": 2269, + "stated": "0.0016962471390584742207696225", + "quote": "Improvement over PR2269 (this package's predecessor without the frame refit, 90-digit endpoint, kappa 0.0016962471390584742207696225...): +6.38114E-8" + }, + { + "id": "2288r2", + "source": 2288, + "where": "README", + "kind": "difference", + "target": 2269, + "stated": "+6.38114E-8", + "quote": "Improvement over PR2269 (this package's predecessor without the frame refit, 90-digit endpoint, kappa 0.0016962471390584742207696225...): +6.38114E-8" + }, + { + "id": "2288r3", + "source": 2288, + "where": "README", + "kind": "difference", + "target": 2269, + "stated": "6.3811356576114776350E-8", + "quote": "exact difference kappa - kappa(PR2269) = 6.3811356576114776350E-8.", + "context": "Improvement over PR2269 (this package's predecessor without the frame refit" + }, + { + "id": "2288r4", + "source": 2288, + "where": "README", + "kind": "kappa_quote", + "target": 2265, + "stated": "0.0016834125885426074623303197", + "quote": "Improvement over PR2265 (kappa begins 0.0016834125885426074623303197...): +1.28984E-5." + }, + { + "id": "2288r5", + "source": 2288, + "where": "README", + "kind": "difference", + "target": 2265, + "stated": "+1.28984E-5", + "quote": "Improvement over PR2265 (kappa begins 0.0016834125885426074623303197...): +1.28984E-5." + }, + { + "id": "2288r6", + "source": 2288, + "where": "README", + "kind": "difference", + "target": 2265, + "stated": "1.28e-5", + "quote": "this package applies it to the T74 pivot-566+554 words and exceeds PR2265 by about 1.28e-5." + }, + { + "id": "2302r1", + "source": 2302, + "where": "README", + "kind": "difference", + "target": 2288, + "stated": "+8.48163E-8", + "quote": "Improvement over PR2288 (the same package without the two kernels): +8.48163E-8" + }, + { + "id": "2302r2", + "source": 2302, + "where": "README", + "kind": "difference", + "target": 2288, + "stated": "8.4816321031004605229E-8", + "quote": "exact difference kappa - kappa(PR2288) = 8.4816321031004605229E-8.", + "context": "Improvement over PR2288 (the same package without the two kernels)" + }, + { + "id": "2302r3", + "source": 2302, + "where": "README", + "kind": "difference", + "target": 2269, + "stated": "+1.48628E-7", + "quote": "Improvement over PR2269 (the 90-digit-endpoint predecessor of both, without the refit and the kernels): +1.48628E-7." + }, + { + "id": "2302r4", + "source": 2302, + "where": "README", + "kind": "kappa_quote", + "target": 2265, + "stated": "0.0016834125885426074623303197", + "quote": "Improvement over PR2265 (kappa begins 0.0016834125885426074623303197...): +1.29832E-5." + }, + { + "id": "2302r5", + "source": 2302, + "where": "README", + "kind": "difference", + "target": 2265, + "stated": "+1.29832E-5", + "quote": "Improvement over PR2265 (kappa begins 0.0016834125885426074623303197...): +1.29832E-5." + }, + { + "id": "2302r6", + "source": 2302, + "where": "README", + "kind": "difference", + "target": 2265, + "stated": "1.28e-5", + "quote": "this package applies it to the T74 pivot-566+554 words and exceeds PR2265 by about 1.28e-5." + }, + { + "id": "2312r1", + "source": 2312, + "where": "README", + "kind": "kappa_quote", + "target": 2309, + "stated": "0.0016965151242727336160359999", + "quote": "Improvement over the current leader PR2309 (Dugongue; kappa 0.0016965151242727336160359999...): +3.75943E-7" + }, + { + "id": "2312r2", + "source": 2312, + "where": "README", + "kind": "difference", + "target": 2309, + "stated": "+3.75943E-7", + "quote": "Improvement over the current leader PR2309 (Dugongue; kappa 0.0016965151242727336160359999...): +3.75943E-7" + }, + { + "id": "2312r3", + "source": 2312, + "where": "README", + "kind": "difference", + "target": 2309, + "stated": "3.7594296888470573817E-7", + "quote": "exact difference kappa - kappa(PR2309) = 3.7594296888470573817E-7.", + "context": "Improvement over the current leader PR2309" + }, + { + "id": "2312r4", + "source": 2312, + "where": "README", + "kind": "difference", + "target": 2302, + "stated": "+4.95301E-7", + "quote": "Improvement over PR2302 (the previous package of this series, same borrowed words without the width exchange): +4.95301E-7" + }, + { + "id": "2312r5", + "source": 2312, + "where": "README", + "kind": "difference", + "target": 2288, + "stated": "+5.80117E-7", + "quote": "over PR2288: +5.80117E-7" + }, + { + "id": "2312r6", + "source": 2312, + "where": "README", + "kind": "difference", + "target": 2269, + "stated": "+6.43928E-7", + "quote": "over PR2269 (90-digit endpoint): +6.43928E-7" + }, + { + "id": "2312r7", + "source": 2312, + "where": "README", + "kind": "difference", + "target": 2265, + "stated": "+1.34785E-5", + "quote": "over PR2265: +1.34785E-5." + }, + { + "id": "2312r8", + "source": 2312, + "where": "README", + "kind": "difference", + "target": 2265, + "stated": "1.28e-5", + "quote": "this package applies it to the T74 pivot-566+554 words and exceeds PR2265 by about 1.28e-5." + }, + { + "id": "2309r1", + "source": 2309, + "where": "README", + "kind": "kappa_quote", + "target": 2288, + "stated": "0.001696310950415050", + "quote": "[PR2288](https://github.com/CrocSwap/integer-mult-bounds/pull/2288) reports conditional kappa approximately 0.001696310950415050" + }, + { + "id": "2309r2", + "source": 2309, + "where": "README", + "kind": "kappa_quote", + "target": 2302, + "stated": "0.00169639576673608134", + "quote": "Concurrent PR2302 adds a distinct pivot-518/506 kernel refinement, credited to Jeremy Kothe and the PR1625 kernel shape of mdumitrean; its claimed kappa 0.00169639576673608134 remains below our point." + }, + { + "id": "2322r1", + "source": 2322, + "where": "README", + "kind": "difference", + "target": 2312, + "stated": "1.69229e-7", + "quote": "This finite construction combines the pinned PR2312 supplier with a new simultaneous four-helper change and two compatible owner exchanges. It exceeds that predecessor's claim by about `1.69229e-7`.", + "context": "pinned PR2312 supplier" + }, + { + "id": "2349r1", + "source": 2349, + "where": "README", + "kind": "kappa_quote", + "target": 2322, + "stated": "0.001697060296258836", + "quote": "Comparison: PR2322 states kappa 0.001697060296258836 (1697060296258836/10^18)" + }, + { + "id": "2349r2", + "source": 2349, + "where": "README", + "kind": "difference", + "target": 2322, + "stated": "5.69785E-9", + "quote": "This package exceeds the upper bracket by 5.69785E-9", + "target_key": "native_endpoint_upper", + "context": "Comparison: PR2322 states kappa" + }, + { + "id": "2349r3", + "source": 2349, + "where": "README", + "kind": "difference", + "target": 2322, + "stated": "5.6978500437717934386E-9", + "quote": "(exact difference 5.6978500437717934386E-9; exact gate in `verify_release.py`)", + "target_key": "native_endpoint_upper", + "context": "Comparison: PR2322 states kappa" + }, + { + "id": "2349r4", + "source": 2349, + "where": "README", + "kind": "difference", + "target": 2312, + "stated": "1.74927E-7", + "quote": "and PR2312 by 1.74927E-7." + }, + { + "id": "2363r1", + "source": 2363, + "where": "README", + "kind": "difference", + "target": 2349, + "stated": "8.10707e-8", + "quote": "The final overlap check found PR2349; this result also exceeds its full published rational, by approximately `8.10707e-8`" + }, + { + "id": "2363r2", + "source": 2363, + "where": "README", + "kind": "percent", + "target": 2349, + "stated": "0.00478", + "quote": "by approximately `8.10707e-8` (about **0.00478% of κ**).", + "percent_base": 2363, + "context": "The final overlap check found PR2349" + }, + { + "id": "2363r3", + "source": 2363, + "where": "README", + "kind": "kappa_quote", + "target": 2322, + "stated": "0.001697060296258836", + "quote": "| Pinned pending PR2322 | 0.001697060296258836 |" + }, + { + "id": "2363r4", + "source": 2363, + "where": "README", + "kind": "kappa_quote", + "target": 2349, + "stated": "0.0016970659941088806668", + "quote": "| Concurrent pending PR2349 | 0.0016970659941088806668… |" + }, + { + "id": "2363r5", + "source": 2363, + "where": "README", + "kind": "difference", + "target": 2322, + "stated": "0.000000086768586514", + "quote": "The gain over PR2322 is `0.000000086768586514`, approximately **0.005113% of κ**." + }, + { + "id": "2363r6", + "source": 2363, + "where": "README", + "kind": "percent", + "target": 2322, + "stated": "0.005113", + "quote": "The gain over PR2322 is `0.000000086768586514`, approximately **0.005113% of κ**.", + "percent_base": 2363 + }, + { + "id": "2374r1", + "source": 2374, + "where": "README", + "kind": "kappa_quote", + "target": 2363, + "stated": "0.001697147064845350", + "quote": "Comparison: PR2363 claims kappa 0.001697147064845350 (PR2322 stated 0.001697060296258836)." + }, + { + "id": "2374r2", + "source": 2374, + "where": "README", + "kind": "kappa_quote", + "target": 2322, + "stated": "0.001697060296258836", + "quote": "Comparison: PR2363 claims kappa 0.001697147064845350 (PR2322 stated 0.001697060296258836)." + }, + { + "id": "2374r3", + "source": 2374, + "where": "README", + "kind": "difference", + "target": 2363, + "stated": "4.78861E-8", + "quote": "This package exceeds PR2363's value by 4.78861E-8" + }, + { + "id": "2374r4", + "source": 2374, + "where": "README", + "kind": "difference", + "target": 2363, + "stated": "4.7886056420426594082E-8", + "quote": "(exact difference 4.7886056420426594082E-8; exact gate in `verify_release.py`)", + "context": "This package exceeds PR2363's value by 4.78861E-8" + }, + { + "id": "2374r5", + "source": 2374, + "where": "README", + "kind": "difference", + "target": 2312, + "stated": "1.28957E-7", + "quote": "and PR2312 by 1.28957E-7." + }, + { + "id": "2435r1", + "source": 2435, + "where": "README", + "kind": "kappa_quote", + "target": 2374, + "stated": "0.0016985113436976293", + "quote": "Comparison: exceeds PR2374 (our previous package, kappa 0.0016985113436976293...) by 1.31639E-6" + }, + { + "id": "2435r2", + "source": 2435, + "where": "README", + "kind": "difference", + "target": 2374, + "stated": "1.31639E-6", + "quote": "Comparison: exceeds PR2374 (our previous package, kappa 0.0016985113436976293...) by 1.31639E-6" + }, + { + "id": "2435r3", + "source": 2435, + "where": "README", + "kind": "difference", + "target": 2374, + "stated": "1.3163927958589024577E-6", + "quote": "(exact difference 1.3163927958589024577E-6; exact gate in `verify_release.py`)", + "context": "Comparison: exceeds PR2374" + }, + { + "id": "2435r4", + "source": 2435, + "where": "README", + "kind": "difference", + "target": 2312, + "stated": "1.31639E-6", + "quote": "and PR2312 by 1.31639E-6." + }, + { + "id": "2436r1", + "source": 2436, + "where": "README", + "kind": "difference", + "target": 2435, + "stated": "6.4954844219583e-7", + "quote": "It improves the pinned PR2435 value by approximately `6.4954844219583e-7` (**0.03824%**)" + }, + { + "id": "2436r2", + "source": 2436, + "where": "README", + "kind": "percent", + "target": 2435, + "stated": "0.03824", + "quote": "It improves the pinned PR2435 value by approximately `6.4954844219583e-7` (**0.03824%**)", + "percent_base": 2435 + }, + { + "id": "2447r1", + "source": 2447, + "where": "README", + "kind": "kappa_quote", + "target": 2435, + "stated": "0.0016985119240027614", + "quote": "Comparison: exceeds PR2435 (our previous package, kappa 0.0016985119240027614...) by 5.80305E-10" + }, + { + "id": "2447r2", + "source": 2447, + "where": "README", + "kind": "difference", + "target": 2435, + "stated": "5.80305E-10", + "quote": "Comparison: exceeds PR2435 (our previous package, kappa 0.0016985119240027614...) by 5.80305E-10" + }, + { + "id": "2447r3", + "source": 2447, + "where": "README", + "kind": "difference", + "target": 2435, + "stated": "5.8030513210870623245E-10", + "quote": "(exact difference 5.8030513210870623245E-10; exact gate in `verify_release.py`)", + "context": "Comparison: exceeds PR2435" + }, + { + "id": "2462r1", + "source": 2462, + "where": "README", + "kind": "kappa_quote", + "target": 2436, + "stated": "0.001699160892139825160028", + "quote": "Comparison: exceeds PR2436 (exact kappa 0.001699160892139825160028...) by 4.39142E-6" + }, + { + "id": "2462r2", + "source": 2462, + "where": "README", + "kind": "difference", + "target": 2436, + "stated": "4.39142E-6", + "quote": "Comparison: exceeds PR2436 (exact kappa 0.001699160892139825160028...) by 4.39142E-6" + }, + { + "id": "2462r3", + "source": 2462, + "where": "README", + "kind": "difference", + "target": 2436, + "stated": "4.3914208397692253913E-6", + "quote": "(exact difference 4.3914208397692253913E-6; exact gate in `verify_release.py`)", + "context": "Comparison: exceeds PR2436" + }, + { + "id": "2474r1", + "source": 2474, + "where": "README", + "kind": "kappa_quote", + "target": 2462, + "stated": "0.0017036763879936764890", + "quote": "Comparison: exceeds PR2462 (our previous package, kappa 0.0017036763879936764890...) by 1.24075E-7" + }, + { + "id": "2474r2", + "source": 2474, + "where": "README", + "kind": "difference", + "target": 2462, + "stated": "1.24075E-7", + "quote": "Comparison: exceeds PR2462 (our previous package, kappa 0.0017036763879936764890...) by 1.24075E-7" + }, + { + "id": "2474r3", + "source": 2474, + "where": "README", + "kind": "difference", + "target": 2462, + "stated": "1.2407501408210361468E-7", + "quote": "(exact difference 1.2407501408210361468E-7; exact gate in `verify_release.py`)", + "context": "Comparison: exceeds PR2462" + } +] diff --git a/research/t74-claim-lineage-ledger/TASK.json b/research/t74-claim-lineage-ledger/TASK.json index fe6c75f915..356d23df2d 100644 --- a/research/t74-claim-lineage-ledger/TASK.json +++ b/research/t74-claim-lineage-ledger/TASK.json @@ -41,21 +41,27 @@ ] }, "scope_status": "refined", - "actual_scope": "For the twelve open T74 handoff-line conditional-kappa PRs: pin each claimed kappa, re-check every stated pairwise comparison, and map which claims have independent checks.", + "actual_scope": "For the T74 line (15 open conditional-kappa PRs plus the PR2265 baseline): pin each claimed kappa; transcribe and re-check the stated numbers between pinned PRs in PR bodies and pinned READMEs; parse and check the predecessor gates in every pinned verify_release.py; map which claims have independent checks.", "scope_change_reason": "Drawn on the consolidation track (seed 99); the concrete misleading claims are inter-PR comparison statements on the busiest open line, so the card is narrowed to that ledger.", - "bottleneck_link": "Reviewers of the T74 cluster need a correct pinned ordering and an honest list of what is independently verified; three comparison statements are wrong.", + "bottleneck_link": "Reviewers of the busiest open claim line need a correct pinned ordering, to know whether the stated comparisons (and the release gates behind them) are right, and an honest list of what is independently verified.", "budget_minutes": 45, - "stop_rule": "Stop after the pinned ledger, the comparison check (with asserted mismatch set) and the independent-check map.", + "stop_rule": "Stop after the pinned ledger, the statement check (asserted flagged set, controls), the gate check and the independent-check map; two adversarial review rounds folded in.", "outcome": "completed", - "evidence": "ledger.py: 12 pinned claim files; 12 stated comparisons, 9 consistent, 3 mismatches (PR2302->PR2269, PR2374->PR2312, PR2435->PR2312; each stated number is the delta to a different PR); PR2435 README quotes its own kappa as PR2374's.", + "evidence": "ledger.py: 16 pinned claim files; 95 statements (32 body, 63 README), 84 consistent (2 ambiguous 2269/2281 quotes), 11 flagged: wrong-target differences (PR2302; PR2374 body+README; PR2435 body+README), self-kappa quoted as predecessor's in READMEs of PR2435/PR2447/PR2474, stale 'about 1.28e-5' boilerplate in PR2288/PR2302/PR2312 READMEs; 82 release gates attributed to pinned PRs (55 exact, 17 conservative, 10 PR2265 43-digit truncation 9.7e-45 below) all pass, so no kappa or gate is affected; one gate label slip (PR2363 gate reports PR2322) in 5 scripts; 315/315 negative and 11/11 positive controls; --live drift 0 at snapshot.", "author": "Sagar Thakrar", "ai_assistance": "Prepared with substantial AI assistance: Claude Code (Anthropic, Claude Opus 5.5) wrote the ledger script and text. No independent human review is claimed.", "open_questions": [ { - "question": "Is PR2462's owner fill exactly optimal for its words, and do its words recount to its report?", - "why_it_matters": "PR2462 is now the top T74 claim and has no independent check.", - "first_step": "Run PR2442's owner_optimum.py and PR2446's checker on PR2462's pinned files.", - "blocked_by": "PR2462's words and owner map must be pinned and adapted to the checker." + "question": "Are the owner fills of PR2436, PR2462 and PR2474 exactly optimal for their words, and do the words recount to their reports?", + "why_it_matters": "These are the top three T74 claims and have no independent check.", + "first_step": "Run PR2442's owner_optimum.py and PR2446/PR2466's checker on the pinned files.", + "blocked_by": "The words and owner maps must be pinned and adapted to the checker." + }, + { + "question": "Can each claim file record its predecessors as (PR, exact kappa) so this ledger becomes automatic?", + "why_it_matters": "The release gates already hold these values; the text errors found here come from hand-written comparison sentences.", + "first_step": "Propose an optional 'predecessors' field for OUTER-CLAIM.json in the package guide.", + "blocked_by": "Maintainer agreement on the claim-file schema." } ] } diff --git a/research/t74-claim-lineage-ledger/VERIFY.json b/research/t74-claim-lineage-ledger/VERIFY.json index 3d7a021af7..22a0f64d02 100644 --- a/research/t74-claim-lineage-ledger/VERIFY.json +++ b/research/t74-claim-lineage-ledger/VERIFY.json @@ -14,7 +14,7 @@ "--fetch" ], "timeout_seconds": 300, - "checks": "Pinned kappa of 12 PRs (blob and sha256); every stated comparison re-checked; expected mismatch set asserted; PR2435 README quote checked. Expect PASS_T74_CLAIM_LEDGER." + "checks": "Pins (claim files, READMEs, release scripts); 95 transcribed statements re-checked exactly with the asserted flagged/ambiguous sets; README quotes found at pinned heads; 82 release gates with complete parse; 315 negative and 11 positive controls. Expect PASS_T74_CLAIM_LEDGER prs=16 statements=95 ... gates=82." } ] } diff --git a/research/t74-claim-lineage-ledger/ledger.py b/research/t74-claim-lineage-ledger/ledger.py index 3e658d688e..1456429369 100644 --- a/research/t74-claim-lineage-ledger/ledger.py +++ b/research/t74-claim-lineage-ledger/ledger.py @@ -1,40 +1,84 @@ #!/usr/bin/env python3 # SPDX-License-Identifier: Apache-2.0 -"""Pinned κ ledger of the T74 handoff line, with every stated pairwise comparison re-checked (standard library only). - -For each PR in PINS.json the script reads the claimed κ from the PR's own pinned claim file: outer/OUTER-CLAIM.json -or CLAIM.json, at the exact head, checked by git blob id and sha256. It then: - 1. lists the line in κ order, with the exact difference to every earlier entry; - 2. re-checks every stated comparison "exceeds PR#### by X", transcribed verbatim in COMPARISONS.json, against - the pinned values. A statement is CONSISTENT when X matches the true difference to its printed precision - (relative 1e-5), and a MISMATCH otherwise; - 3. checks the one README sentence of PR2435 that quotes PR2374's κ. -The expected set of mismatches is asserted, so the script doubles as a regression check of this ledger. - -Scope: this is consolidation of stated numbers. No κ is re-derived, and no construction is checked here (see the -independent checks listed in README.md). +"""Pinned κ ledger of the T74 handoff line: transcribed numeric statements and release gates re-checked exactly. + +Standard library only. For each PR in PINS.json the script reads the claimed κ from the PR's own pinned claim file at +the exact head (git blob id and sha256; PR2265, the external baseline, uses its outer/LEDGER.json row). It then: + 1. lists the line in κ order, with the exact difference to the previous entry; + 2. re-checks every statement in STATEMENTS.json (transcribed verbatim from PR bodies and pinned READMEs): + difference "exceeds PR#### by X" X versus κ(source) - κ(target) + percent "X% of κ" X versus 100 (κ(source) - κ(target)) / κ(base) + kappa_quote "PR#### ... kappa X" X versus κ(target) + with exact rational arithmetic. A number is CONSISTENT when the true value, rounded half-even or half-up to the + printed digits of X, equals X ("about"/"approximately" get no slack). A kappa quote is CONSISTENT when X is a + prefix or a correct rounding of κ(target); it is also reported as AMBIGUOUS when X fits other pinned κ too. + Otherwise the statement is FLAGGED, and the script reports which pinned pair (or κ) the printed X does match; + 3. checks every README quote at the pinned head (blob pinned): the whole whitespace-normalised quote, or, where the + transcriber elided text with an ellipsis, its fragments in order within a short window. Each quote must contain + its stated number, and must name its target PR or carry a 'context' naming it that precedes the quote closely; + 4. parses every predecessor gate `if Fraction(kappa_decimal) <= Fraction(...): raise SystemExit(...)` in each + pinned verify_release.py (the parse must account for every such line). Each gate is attributed to the PR named + in its message, else in its comment, else to a pinned PR whose κ equals its literal exactly. Its literal is + compared with that PR's pinned κ (EXACT, ABOVE = conservative, BELOW), the source κ must exceed both, and a + comment naming a different PR than the message is reported as a label slip; + 5. runs negative controls through the same functions (perturbed numbers, altered quotes, wrong pins, synthetic + gates) and positive controls (each suggested correction must be CONSISTENT). +The flagged set with its explanations, the ambiguous set, the BELOW gates and the label slips are asserted. + +--live (network, GitHub CLI) compares each pinned head with refs/pull/N/head and each transcribed body quote and body +hash (BODIES.json) with the current PR body. Drift ends with DRIFT_T74_CLAIM_LEDGER and exit status 3. It checks the +pinned PRs only and cannot discover new PRs or comments. + +Scope: consolidation of stated numbers. No κ is re-derived, and no construction is checked here. Prepared with substantial AI assistance (Claude Code, Anthropic); Apache-2.0. -Usage: python3 -I -B ledger.py [--repo PATH] [--fetch] [--remote URL] [--out] +Usage: python3 -I -B ledger.py [--repo PATH] [--fetch] [--remote URL] [--live] [--out] """ import argparse import hashlib import json +import math import os +import re import subprocess import sys from decimal import Decimal, getcontext +from fractions import Fraction if not __debug__: sys.stdout.write('FAIL_T74_CLAIM_LEDGER refusing to run under python -O\n') sys.exit(2) -getcontext().prec = 120 +getcontext().prec = 60 HERE = os.path.dirname(os.path.abspath(__file__)) REPO_DEFAULT = os.path.dirname(os.path.dirname(HERE)) REMOTE_DEFAULT = 'https://github.com/CrocSwap/integer-mult-bounds' -EXPECTED_MISMATCHES = {(2302, 2269), (2374, 2312), (2435, 2312)} -README_2435 = ('research/gmx-t74-borrow43-handoff/README.md', - 'exceeds PR2374 (our previous package, kappa 0.0016985113436976293') +GH_REPO = 'CrocSwap/integer-mult-bounds' +QUOTE_WINDOW = 400 # an elided quote's fragments must lie within this many characters of each other +CONTEXT_WINDOW = 800 # a quote must start within this many characters after its context +# id -> (reason, what the printed value matches, suggested correction (stated, target)) +EXPECTED_FLAGGED = { + '2302b2': ('difference names PR2269 but is PR2302-PR2288', ['PR2302-PR2288'], ('1.48628E-7', 2269)), + '2374b3': ('difference names PR2312 but is PR2374-PR2349', ['PR2374-PR2349'], ('3.03884E-7', 2312)), + '2435b2': ('difference names PR2312 but is PR2435-PR2374', ['PR2435-PR2374'], ('1.62028E-6', 2312)), + '2374r5': ('README repeats 2374b3', ['PR2374-PR2349'], ('3.03884E-7', 2312)), + '2435r4': ('README repeats 2435b2', ['PR2435-PR2374'], ('1.62028E-6', 2312)), + '2435r1': ("kappa quoted as PR2374's is PR2435's own", ['PR2435'], ('0.0016971949509017704', 2374)), + '2447r1': ("kappa quoted as PR2435's is PR2447's own", ['PR2447'], ('0.0016985113436976293', 2435)), + '2474r1': ("kappa quoted as PR2462's is PR2474's own", ['PR2474'], ('0.0017035523129795943854', 2462)), + '2288r6': ('copied "about 1.28e-5" is PR2269/PR2281-PR2265, not PR2288-PR2265', ['PR2269-PR2265', 'PR2281-PR2265'], + ('1.29e-5', 2265)), + '2302r6': ('copied "about 1.28e-5" is PR2269/PR2281-PR2265, not PR2302-PR2265', ['PR2269-PR2265', 'PR2281-PR2265'], + ('1.30e-5', 2265)), + '2312r8': ('copied "about 1.28e-5" is PR2269/PR2281-PR2265, not PR2312-PR2265', ['PR2269-PR2265', 'PR2281-PR2265'], + ('1.35e-5', 2265)), +} +# kappa quotes of PR2269 that also fit PR2281 (the two agree to 90 digits) +EXPECTED_AMBIGUOUS = {'2281r1', '2288r1'} +EXPECTED_GATES_BELOW = {2265} # its published 43-digit kappa, a truncation of the pinned value +EXPECTED_GATE_LABEL_SLIPS = {(n, 2363, 2322) for n in (2374, 2435, 2447, 2462, 2474)} # (source, comment, message) +GATE_LINE = 'if Fraction(kappa_decimal) <= Fraction(' +GATE = re.compile(r"((?:[ \t]*#[^\n]*\n)*)[ \t]*if Fraction\(kappa_decimal\) <= Fraction\(" + r"(?:'([0-9.]+)'|(\d+), 10 \*\* (\d+))\):\n[ \t]*raise SystemExit\('([^']*)'\)") class Fail(Exception): @@ -50,72 +94,305 @@ def git(repo, *args): return subprocess.run(['git', '-C', repo] + list(args), capture_output=True) +def blob_id(data): + return hashlib.sha1(b'blob %d\0' % len(data) + data).hexdigest() + + +def show_pinned(repo, head, path, blob, sha=None): + r = git(repo, 'show', head + ':' + path) + need(r.returncode == 0, 'absent %s:%s (rerun with --fetch)' % (head[:8], path)) + need(blob_id(r.stdout) == blob and (sha is None or hashlib.sha256(r.stdout).hexdigest() == sha), + 'pin %s:%s' % (head[:8], path)) + return r.stdout + + +def lookup(data, key): + for k in (key if isinstance(key, list) else [key]): + data = data[k] + return data + + +def norm(s): + return ' '.join(s.split()) + + +def sci(x): + return '%.10E' % (Decimal(x.numerator) / Decimal(x.denominator)) if x else '0' + + +def agrees(stated_text, actual): + """True when actual (a Fraction), rounded half-even or half-up to the printed digits of stated_text, equals it.""" + d = Decimal(stated_text) + unit = Fraction(10) ** d.as_tuple().exponent + q, want = actual / unit, Fraction(d) / unit + sign = -1 if q < 0 else 1 + return want in (round(q), sign * math.floor(abs(q) + Fraction(1, 2))) + + +def kappa_fits(stated_text, raw, value): + return raw.startswith(stated_text) or agrees(stated_text, value) + + +def evaluate(s, K, raw, claims, stated=None, target=None): + """Status, true value and pinned matches of statement s (optionally with another stated number or target).""" + stated = (s['stated'] if stated is None else stated).lstrip('+') + tgt = s['target'] if target is None else target + if s['kind'] == 'kappa_quote': + matches = sorted(m for m in K if kappa_fits(stated, raw[m], K[m])) + status = 'FLAGGED' if tgt not in matches else 'AMBIGUOUS' if len(matches) > 1 else 'CONSISTENT' + return status, K[tgt], ['PR%d' % m for m in matches] + tk = Fraction(lookup(claims[tgt], s['target_key'])) if 'target_key' in s and tgt == s['target'] else K[tgt] + actual = K[s['source']] - tk + if s['kind'] == 'percent': + actual = 100 * actual / K[s['percent_base']] + return ('CONSISTENT' if agrees(stated, actual) else 'FLAGGED'), actual, [] + ok = agrees(stated, actual) + matches = [] if ok else ['PR%d-PR%d' % (a, b) for a in sorted(K) for b in sorted(K) + if a != b and agrees(stated, K[a] - K[b])] + return ('CONSISTENT' if ok else 'FLAGGED'), actual, matches + + +def find_quote(quote, text): + """Start offset of the normalised quote in text (whole, else elided fragments in order within a window).""" + q = norm(quote) + if q in text: + return text.index(q) + frags = [f.strip() for f in re.split(r'\.\.\.|…', q) if f.strip()] + for m in re.finditer(re.escape(frags[0]), text): + pos, ok = m.end(), True + for f in frags[1:]: + j = text.find(f, pos) + if j < 0 or j - pos > QUOTE_WINDOW: + ok = False + break + pos = j + len(f) + if ok: + return m.start() + return -1 + + +def check_quote(s, text): + need(s['stated'] in s['quote'] or s['stated'].lstrip('+') in s['quote'], '%s: stated number not in quote' % s['id']) + at = find_quote(s['quote'], text) + need(at >= 0, '%s: quote not found in its source' % s['id']) + refs = ('PR%d' % s['target'], '#%d' % s['target']) + if not any(r in s['quote'] for r in refs): + need('context' in s and any(r in s['context'] for r in refs), '%s: quote does not name its target' % s['id']) + c = norm(s['context']) + need(any(0 <= at - m.start() <= CONTEXT_WINDOW for m in re.finditer(re.escape(c), text)), + '%s: context not found just before the quote' % s['id']) + + +def parse_gates(text, K, raw): + """Gates of one release script attributed to pinned PRs, and the number of gates naming no pinned PR.""" + text = text.replace('\r\n', '\n') # some of these scripts are stored with CRLF line ends + found = GATE.findall(text) + need(len(found) == text.count(GATE_LINE), 'gate parse incomplete: %d of %d' % (len(found), text.count(GATE_LINE))) + gates, other = [], 0 + for comment, lit, num, exp, msg in found: + value = Fraction(lit) if lit else Fraction(int(num), 10 ** int(exp)) + in_msg = [int(x) for x in re.findall(r'PR(\d{4})', msg)] + in_comment = [int(x) for x in re.findall(r'PR(\d{4})', (comment.strip().splitlines() or [''])[-1])] + named = [n for n in in_msg + in_comment if n in K][:1] or [n for n in K if K[n] == value][:1] + if not named or (in_msg and in_msg[0] not in K): + other += 1 + continue + n = named[0] + gates.append(dict(named=n, by='message' if in_msg else 'comment' if in_comment else 'literal', + comment_pr=in_comment[0] if in_comment else None, literal=value, + literal_text=lit or '%s/10^%s' % (num, exp), + relation='EXACT' if value == K[n] else 'ABOVE' if value > K[n] else 'BELOW')) + return gates, other + + def main(): ap = argparse.ArgumentParser() ap.add_argument('--repo', default=REPO_DEFAULT) ap.add_argument('--fetch', action='store_true') ap.add_argument('--remote', default=REMOTE_DEFAULT) + ap.add_argument('--live', action='store_true') ap.add_argument('--out', action='store_true') args = ap.parse_args() pins = json.load(open(os.path.join(HERE, 'PINS.json'))) - comps = json.load(open(os.path.join(HERE, 'COMPARISONS.json'))) - kappa = {} + statements = json.load(open(os.path.join(HERE, 'STATEMENTS.json'))) + bodies = json.load(open(os.path.join(HERE, 'BODIES.json'))) + K, raw, claims, readmes, scripts = {}, {}, {}, {}, {} for n, p in pins.items(): if git(args.repo, 'cat-file', '-e', p['head'] + '^{commit}').returncode and args.fetch: - subprocess.run(['git', '-C', args.repo, 'fetch', '-q', args.remote, 'refs/pull/%s/head' % n], check=True) - r = git(args.repo, 'show', p['head'] + ':' + p['path']) - need(r.returncode == 0, 'PR%s head %s absent (rerun with --fetch)' % (n, p['head'][:8])) - data = r.stdout - need(hashlib.sha1(b'blob %d\0' % len(data) + data).hexdigest() == p['git_blob'] and - hashlib.sha256(data).hexdigest() == p['sha256'], 'pin PR%s %s' % (n, p['path'])) - k = json.loads(data)[p['key']] - need(isinstance(k, str) and k.startswith('0.00'), 'PR%s kappa field' % n) - kappa[int(n)] = Decimal(k) - order = sorted(kappa, key=lambda n: kappa[n]) + r = git(args.repo, 'fetch', '-q', args.remote, 'refs/pull/%s/head' % n) + if r.returncode or git(args.repo, 'cat-file', '-e', p['head'] + '^{commit}').returncode: + git(args.repo, 'fetch', '-q', args.remote, p['head']) + n = int(n) + claims[n] = json.loads(show_pinned(args.repo, p['head'], p['path'], p['git_blob'], p['sha256'])) + raw[n] = lookup(claims[n], p['key']) + need(isinstance(raw[n], str) and raw[n].startswith('0.00'), 'PR%d kappa field' % n) + K[n] = Fraction(raw[n]) + readmes[n] = norm(show_pinned(args.repo, p['head'], p['readme'], p['readme_git_blob']).decode()) + if 'release_script' in p: + scripts[n] = show_pinned(args.repo, p['head'], p['release_script'], p['release_script_git_blob']).decode() + order = sorted(K, key=lambda n: K[n]) print('T74 handoff line, pinned claim files, in kappa order:') - prev = None - for n in order: - print(' PR%d kappa %s %s' % (n, str(kappa[n])[:24], - '' if prev is None else '(+%.6e over PR%d)' % (kappa[n] - kappa[prev], prev))) - prev = n - rows, mismatches = [], set() - for c in comps: - s, t = c['source'], c['target'] - need(s in kappa and t in kappa, 'comparison PR%d -> PR%d not pinned' % (s, t)) - actual = kappa[s] - kappa[t] - stated = Decimal(c['stated']) - ok = abs(stated - actual) <= abs(actual) * Decimal('1e-5') - if not ok: - mismatches.add((s, t)) - # which pinned PR does the stated number actually match? - explains = [m for m in kappa if m != s and abs(kappa[s] - kappa[m] - stated) <= abs(stated) * Decimal('1e-5')] - rows.append(dict(source=s, target=t, stated=c['stated'], actual='%.6E' % actual, - status='CONSISTENT' if ok else 'MISMATCH', stated_value_matches=['PR%d' % m for m in explains], - quote=c['quote'])) - print(' PR%d vs PR%d: stated %s, pinned %.6E -> %s%s' % ( - s, t, c['stated'], actual, 'CONSISTENT' if ok else 'MISMATCH', - '' if ok else ' (the stated number is the difference to %s)' % (', '.join('PR%d' % m for m in explains) or 'no pinned PR'))) - need(mismatches == EXPECTED_MISMATCHES, 'mismatch set changed: %s' % sorted(mismatches)) - # README sentence of PR2435 quoting PR2374's kappa - rel, phrase = README_2435 - readme = git(args.repo, 'show', pins['2435']['head'] + ':' + rel).stdout.decode() - need(phrase in readme, 'PR2435 README sentence not found') - quoted = Decimal('0.0016985113436976293') - readme_note = dict(path=rel, phrase=phrase, quoted_as_pr2374=str(quoted), - pr2374_pinned=str(kappa[2374])[:24], pr2435_pinned=str(kappa[2435])[:24], - quoted_value_is_pr2435=str(kappa[2435]).startswith(str(quoted))) - need(readme_note['quoted_value_is_pr2435'], 'README quote check') - print(' PR2435 README quotes "PR2374 (our previous package, kappa 0.0016985113436976293..." but that value is ' - "PR2435's own kappa; PR2374's pinned kappa is %s..." % str(kappa[2374])[:22]) - out = dict(object='T74 handoff-line kappa ledger and stated-comparison check', - kappas={'PR%d' % n: str(kappa[n]) for n in order}, - comparisons=rows, mismatches=sorted('PR%d->PR%d' % m for m in mismatches), - readme_2435=readme_note, python=sys.version.split()[0]) + for i, n in enumerate(order): + role = pins[str(n)].get('role', '') + print(' PR%d kappa %s... %s%s' % (n, raw[n][:24], '' if i == 0 else '(+%s over PR%d)' % ( + sci(K[n] - K[order[i - 1]]), order[i - 1]), ' [%s]' % role if role else '')) + + # 2-3. statements and their quotes + rows, flagged, ambiguous = [], {}, set() + for s in statements: + need(s['source'] in K and s['target'] in K, '%s: PR%d -> PR%d not pinned' % (s['id'], s['source'], s['target'])) + if s['where'] == 'README': + check_quote(s, readmes[s['source']]) + status, actual, matches = evaluate(s, K, raw, claims) + if status == 'FLAGGED': + flagged[s['id']] = matches + if status == 'AMBIGUOUS': + ambiguous.add(s['id']) + rows.append(dict(id=s['id'], source=s['source'], where=s['where'], kind=s['kind'], target=s['target'], + stated=s['stated'], actual=raw[s['target']][:30] if s['kind'] == 'kappa_quote' else sci(actual), + status=status, stated_value_matches=matches, quote=s['quote'])) + print('Statements (%d), flagged:' % len(rows)) + for r in rows: + if r['status'] == 'FLAGGED': + print(' %-7s PR%d %-6s %-11s target PR%d: stated %s, true %s -> printed value matches %s' % ( + r['id'], r['source'], r['where'], r['kind'], r['target'], r['stated'], r['actual'][:24], + ', '.join(r['stated_value_matches']) or 'no pinned value')) + need(flagged == {k: v[1] for k, v in EXPECTED_FLAGGED.items()}, 'flagged set changed: %s' % sorted(flagged.items())) + need(ambiguous == EXPECTED_AMBIGUOUS, 'ambiguous set changed: %s' % sorted(ambiguous)) + + # 4. release gates + gates, other = [], 0 + for n, text in sorted(scripts.items()): + g, o = parse_gates(text, K, raw) + other += o + for x in g: + need(K[n] > max(x['literal'], K[x['named']]), 'PR%d gate on PR%d does not pass' % (n, x['named'])) + x['source'] = n + gates += g + below = {g['named'] for g in gates if g['relation'] == 'BELOW'} + slips = {(g['source'], g['comment_pr'], g['named']) for g in gates + if g['by'] == 'message' and g['comment_pr'] is not None and g['comment_pr'] != g['named']} + need(below == EXPECTED_GATES_BELOW, 'BELOW gates changed: %s' % sorted(below)) + need(slips == EXPECTED_GATE_LABEL_SLIPS, 'gate label slips changed: %s' % sorted(slips)) + rel = {r: sum(1 for g in gates if g['relation'] == r) for r in ('EXACT', 'ABOVE', 'BELOW')} + distinct = len({(g['named'], g['literal']) for g in gates}) + gap = min(g['literal'] - K[g['named']] for g in gates) + print('release gates attributed to pinned PRs: %d (%d distinct named literals) in %d of %d scripts: EXACT %d, ' + 'ABOVE %d, BELOW %d (PR2265, gap %s); %d by literal only; all pass; label slips %d; %d gates name other PRs' + % (len(gates), distinct, len({g['source'] for g in gates}), len(scripts), rel['EXACT'], rel['ABOVE'], + rel['BELOW'], sci(gap), sum(1 for g in gates if g['by'] == 'literal'), len(slips), other)) + + # 5. controls through the same functions + neg = rej = 0 + for s, r in zip(statements, rows): + txt = s['stated'].lstrip('+') + if r['status'] == 'CONSISTENT': + if s['kind'] == 'kappa_quote': + bads = [txt[:-1] + str((int(txt[-1]) + 5) % 10)] + else: + d = Decimal(txt) + u = Decimal(1).scaleb(d.as_tuple().exponent) + bads = [str(d + u), str(d - u)] + for bad in bads: + neg, rej = neg + 1, rej + (evaluate(s, K, raw, claims, stated=bad)[0] == 'FLAGGED') + if s['kind'] == 'difference': # the same number attributed to the wrong target + wrong = [m for m in K if m not in (s['source'], s['target'])][0] + neg, rej = neg + 1, rej + (evaluate(s, K, raw, claims, target=wrong)[0] == 'FLAGGED') + if s['where'] == 'README': + q = s['quote'] + i = max(j for j, ch in enumerate(q) if ch.isdigit()) + alt = dict(s, quote=q[:i] + str((int(q[i]) + 1) % 10) + q[i + 1:]) + alt['stated'] = alt['quote'][alt['quote'].find(txt[:-1]):][:len(txt)] if txt in q else s['stated'] + try: + check_quote(alt, readmes[s['source']]) + hit = True + except Fail: + hit = False + neg, rej = neg + 1, rej + (not hit) + for n, p in pins.items(): + for path in [p['path'], p['readme']] + ([p['release_script']] if 'release_script' in p else []): + try: + show_pinned(args.repo, p['head'], path, '0' * 40) + hit = True + except Fail: + hit = False + neg, rej = neg + 1, rej + (not hit) + top = order[-1] + synthetic = [ + ('# PR%d\n if Fraction(kappa_decimal) <= Fraction(%d, 10 ** 30):\n raise SystemExit(\'x PR%d\')\n' + % (top, int(K[top] * 10 ** 30) + 1, top), 'gate above the source kappa must fail'), + (' if Fraction(kappa_decimal) <= Fraction(\'0.001\') + 0:\n raise SystemExit(\'x PR2269\')\n', + 'unparsed gate shape must fail'), + ] + for text, _ in synthetic: + try: + g, _o = parse_gates(text, K, raw) + for x in g: + need(K[top] > max(x['literal'], K[x['named']]), 'gate') + hit = True + except Fail: + hit = False + neg, rej = neg + 1, rej + (not hit) + g, _o = parse_gates('# PR2363 exact\n if Fraction(kappa_decimal) <= Fraction(1697147064845350, 10 ** 18):\n' + ' raise SystemExit(\'does not exceed PR2322\')\n', K, raw) + neg, rej = neg + 1, rej + (len(g) == 1 and g[0]['comment_pr'] == 2363 and g[0]['named'] == 2322) + need(neg == rej, 'negative controls: %d of %d rejected' % (rej, neg)) + pos = 0 + by_id = {s['id']: s for s in statements} + for k, (_reason, _m, (stated, target)) in EXPECTED_FLAGGED.items(): + need(evaluate(by_id[k], K, raw, claims, stated=stated, target=target)[0] == 'CONSISTENT', + 'suggested correction for %s' % k) + pos += 1 + print('controls: %d/%d negative (perturbed numbers, wrong targets, altered quotes, wrong pins, synthetic gates) ' + 'rejected; %d/%d suggested corrections consistent' % (rej, neg, pos, len(EXPECTED_FLAGGED))) + + live = None + if args.live: + live = dict(head_drift=[], body_drift=[], missing_body_quotes=[]) + for n, p in pins.items(): + r = subprocess.run(['git', 'ls-remote', args.remote, 'refs/pull/%s/head' % n], capture_output=True, text=True) + need(r.returncode == 0 and r.stdout.strip(), 'ls-remote PR%s' % n) + if r.stdout.split()[0] != p['head']: + live['head_drift'].append('PR%s %s' % (n, r.stdout.split()[0][:8])) + text = {} + for n in bodies: + r = subprocess.run(['gh', 'pr', 'view', n, '--repo', GH_REPO, '--json', 'body', '-q', '.body'], + capture_output=True) + need(r.returncode == 0, 'gh pr view %s' % n) + if hashlib.sha256(r.stdout.rstrip(b'\n')).hexdigest() != bodies[n]['sha256']: + live['body_drift'].append('PR%s' % n) + text[int(n)] = norm(r.stdout.decode()) + for s in statements: + if s['where'] == 'body': + try: + check_quote(s, text[s['source']]) + except Fail as e: + live['missing_body_quotes'].append(str(e)) + print('live: head drift %s; body drift %s; body quotes not found %d' % ( + live['head_drift'] or 'none', live['body_drift'] or 'none', len(live['missing_body_quotes']))) + out = dict(object='T74 handoff-line kappa ledger: stated numbers and release gates', + kappas={'PR%d' % n: raw[n] for n in order}, statements=rows, + flagged={k: dict(reason=EXPECTED_FLAGGED[k][0], printed_value_matches=v, + suggested=EXPECTED_FLAGGED[k][2][0]) for k, v in sorted(flagged.items())}, + ambiguous=sorted(ambiguous), + release_gates=[dict(source=g['source'], named=g['named'], by=g['by'], comment_pr=g['comment_pr'], + literal=g['literal_text'][:40], relation=g['relation'], + gap=sci(g['literal'] - K[g['named']])) for g in gates], + controls=dict(negative=neg, rejected=rej, corrections=pos), python=sys.version.split()[0]) + if live is not None: + out['live'] = live if args.out: with open(os.path.join(HERE, 'ledger.receipt.json'), 'w') as f: - f.write(json.dumps(out, indent=1, sort_keys=True) + '\n') - print('PASS_T74_CLAIM_LEDGER prs=%d comparisons=%d consistent=%d mismatches=%s readme_2435_mislabel=1' - % (len(kappa), len(rows), len(rows) - len(mismatches), ','.join('%d->%d' % m for m in sorted(mismatches)))) + f.write(json.dumps(out, indent=1, sort_keys=True, ensure_ascii=False) + '\n') + nb = sum(1 for r in rows if r['where'] == 'body') + line = ('T74_CLAIM_LEDGER prs=%d statements=%d (body %d, README %d) consistent=%d (ambiguous %d) flagged=%s ' + 'gates=%d' % (len(K), len(rows), nb, len(rows) - nb, len(rows) - len(flagged), len(ambiguous), + ','.join(sorted(flagged)), len(gates))) + drift = 0 if live is None else sum(len(v) for v in live.values()) + if drift: + print('DRIFT_' + line + ' live_drift=%d' % drift) + return 3 + print('PASS_' + line + ('' if live is None else ' live_drift=0')) return 0 diff --git a/research/t74-claim-lineage-ledger/ledger.receipt.json b/research/t74-claim-lineage-ledger/ledger.receipt.json index 6cb0a8f617..b6aa294adf 100644 --- a/research/t74-claim-lineage-ledger/ledger.receipt.json +++ b/research/t74-claim-lineage-ledger/ledger.receipt.json @@ -1,165 +1,2062 @@ { - "comparisons": [ + "ambiguous": [ + "2281r1", + "2288r1" + ], + "controls": { + "corrections": 11, + "negative": 315, + "rejected": 315 + }, + "flagged": { + "2288r6": { + "printed_value_matches": [ + "PR2269-PR2265", + "PR2281-PR2265" + ], + "reason": "copied \"about 1.28e-5\" is PR2269/PR2281-PR2265, not PR2288-PR2265", + "suggested": "1.29e-5" + }, + "2302b2": { + "printed_value_matches": [ + "PR2302-PR2288" + ], + "reason": "difference names PR2269 but is PR2302-PR2288", + "suggested": "1.48628E-7" + }, + "2302r6": { + "printed_value_matches": [ + "PR2269-PR2265", + "PR2281-PR2265" + ], + "reason": "copied \"about 1.28e-5\" is PR2269/PR2281-PR2265, not PR2302-PR2265", + "suggested": "1.30e-5" + }, + "2312r8": { + "printed_value_matches": [ + "PR2269-PR2265", + "PR2281-PR2265" + ], + "reason": "copied \"about 1.28e-5\" is PR2269/PR2281-PR2265, not PR2312-PR2265", + "suggested": "1.35e-5" + }, + "2374b3": { + "printed_value_matches": [ + "PR2374-PR2349" + ], + "reason": "difference names PR2312 but is PR2374-PR2349", + "suggested": "3.03884E-7" + }, + "2374r5": { + "printed_value_matches": [ + "PR2374-PR2349" + ], + "reason": "README repeats 2374b3", + "suggested": "3.03884E-7" + }, + "2435b2": { + "printed_value_matches": [ + "PR2435-PR2374" + ], + "reason": "difference names PR2312 but is PR2435-PR2374", + "suggested": "1.62028E-6" + }, + "2435r1": { + "printed_value_matches": [ + "PR2435" + ], + "reason": "kappa quoted as PR2374's is PR2435's own", + "suggested": "0.0016971949509017704" + }, + "2435r4": { + "printed_value_matches": [ + "PR2435-PR2374" + ], + "reason": "README repeats 2435b2", + "suggested": "1.62028E-6" + }, + "2447r1": { + "printed_value_matches": [ + "PR2447" + ], + "reason": "kappa quoted as PR2435's is PR2447's own", + "suggested": "0.0016985113436976293" + }, + "2474r1": { + "printed_value_matches": [ + "PR2474" + ], + "reason": "kappa quoted as PR2462's is PR2474's own", + "suggested": "0.0017035523129795943854" + } + }, + "kappas": { + "PR2265": "0.001683412588542607462330319740399936960503709722451188791314997850799491532148046589685481051097659521487452805635296550068056362547986740649968328627107267620787900814261929971396509432592628352499419999999999999999999998999999999999999999999999", + "PR2269": "0.0016962471390584742207696225394800943861284603706821716607210815258272261945561178592716719999999997996607505720883051558460754921039811", + "PR2281": "0.0016962471390584742207696225394800943861284603706821716607210815258272261945561178592716725376787146850319387830720495673160906619586385985253004200974538949035715460651846040948044242351804037917972203668759131442974306926788095523055348682603080830926543046109524019284266202449358819248039824128659652256009597225750921338791772522346327260842638280758491285261012177101751247814588199922615754428296427117543521452060897258700168878706575252152477061988688277049228862038051831802155042557172623266376692067754074066018861739445031053058532975745010650260626662153102779311231323276136828410015626012654950781671416272174286060026260461657234237896123847927833525865765270919579650629143257756554312491072906153370276441896408260328764564124330642285119147808930086141569295621851854218252564733837316294676373092948766021104018820867623171046683661092297248291577095250274060655173297958878033621645679452722665435213096247941313869533587196421382302143322934628990123191000788388609573672644835019755994246318060035281060223322645388928947169626138581457300875151159820924963147410503862327253442337658663568159699004958107894981576832335403664692406006933059590031689949815905089106171767594599700984735621368930563780702038882727505392721719386114334646038558353670081177427424360521812807826505397161210251724237709062744724805616548559632816270489581394531990712494078787486793971491473790864233960278289765655920963414849196322659136809511659945219008433168014265025447420166561704034530316921458618874915620099025502502618035097461895895223764605753492664274479247941026938492542179778796317704962018292021909919861292918602366755911657954379368017800183443534262330089328250652960096418423703035464940084343778512813829329581029347226356616738501436617600538369671094908540693286250261760877248005905559065855049093770979808303937056962048941085753495270703319891930887209058318724823718437728926974429367073432624131997567987115993164528269149849858078521203142762866174513268973487116932558183863464998283664642818679918224691979365372184748788493010550047368581279373073912036778334443492857927577286206252250817438195734298252518895370754124356495069959100552751704357607410115438146261739773032451457910141843649185347442684032256783823682283095281962476486777479624246578178585460914644633119591516245821764820377869654594359836428035991519960602392276985209925181526794428648224235182876264483709972370910406024724235806573365230168960701547640481777654852632561016384940077669718531691663918817962517445077811778410121692781099290921788135421040816814884933097268321380716162541362023853790195929790454122099814729604396862433157569138302781321102658775072569805525878616035680869031990224830742282562628026822259745461025473632267405693042132745262647696903701549047243949928334048586480294363233950866830966312211937319379776455575978516623582930772197819418024026409253019530180915180162077226543806380451730024060862435857727097812643685954248405246979875007274554000293999879999999999999999999998999999999999999999999999", + "PR2288": "0.0016963109504150503355459722948928372280921721968724561762220421147644145761482885984967571578775454795315558417113412813231694622783490900348662681729592231903560853351255426786420763663178655003281505857286229869637466044243361588921779343716397967014438707898921127328975611256954437224641356898964339750713275612215896309041743033060768412139515368921536567057807207970466805003234862027817806690888390640784312394449662495210379111189000631731969913840405376781346897986214021741117422083725271871234401300183440304871341727820180574990353647279025142496867177789206624424997571530449519473352459498702658190828360923979498460128294798369917738404595397076263670723799359146613908833280073309651683729500428984791690934381229160893705326133037686127780198339018446754315723841737409963499522556148454109950498516960459062732145158464860520078222748772968666075308688060102095614219976567632142437588956251046223730866088862642016182480104196556736296484779283894121049643477734969019861544809837984636249407062760727016150066849286523322382074826026591803191556133160894153871744448522032246500691186272893727169459533826781329045410280180988227028953413948959627749435199294031602259974218679241756389094310293571776392665275440060128416069298336060934137683594749721875539100961984531705428740926745070478347051156564464735857576131568055392439349070688880983269683785203701743772494006377580873498989793098269416860245163673122355107078009192943296623200063923837978979726391155585227314506166287746919098802987376988749553428565117960680127117162859295585227836619358244831230559141562987941014958985682702824249440221289383909203561727045338247733043391763320670727494268068194378574627275095092953256732444212010516159194168180734821980726368427670070083408548719514533875518211958369469443610189017971552955689302325989684135168369391344574216178885288117746332765863840834323243319512183818941784295388396142410597918436552038064272557102280593496223131576927738593912346466653541945307822699814228743982825778594943895299684477718445989153104502257728995186791911138506213294032637402557360080474323425209358316182406158317687799224345569293433266156429509667100484719547899661170517984309861756776927699226774589333862417619615368800621280904731717007166601114931265538945746290456987826198646807505442125838746726438952084536942026710073899593382686159240597649780928138606355205051150505411617909421597379489564148134928926452171026914761461651993691541524538533834516264821822447885276530775319313163077520187620131998416989866100917322207904174653603539624514404731819512306251114049648504295075390277206769978284985627399920781440314570024036501328001706131508141398741768215146098232034243920786833682457710615638883903735636031855214906341242985023985190321962818946356673366984195534290058577773793515114601500926048296812708989110472867763853176364841468154926700424141264878832861923854082418142072303154196136904410704478768982906491915123250789901966397050583475894251697949999999999999999999998999999999999999999999999", + "PR2302": "0.0016963957667360813401512017553615279117657068999363362106179646359054125313327703641011221779442459539871339461089219553691969977981401822760624794359560302229082314375995113942636590530620500782018194470671677119219839790494868307385847339452290887998700500411938799170674858093003286928048347274196039389000026290158196870872057257166500256835682013163283959997146169413950711966027087759767643419344712853576886783980615153279853404871016920071981553436279223622600525528471894700346011238233160868742145859860232058840791090764650133979481731323862930667518610044720573929298900532647950009058229587419786329958635690641780883137293844634272967192129687625408058060979531066936687993586039456039983556398478876965232482500625906736777109730724363281837955848614134083855809276505907144514733003845909331244045116980160376226985173142007628755093785143804942105479013303454321654201006831063585897430195472621578837899364607899809076894338902922137189579253839575904800502610823779130735405603222473104747840629391300795787215163295589140558844477425029302996689344654557359518706574870692938432544394742080506599997481540301232455817253619818598089752894860335888890891880609355298270585656725967316985275280947993338075572101492385630908482865327189235020782479107222108858033635848484476216327745019864086458153496328944574382125376897016725855331581938687114469271253756940030142844034371034587111817349355531104318277478257775334736701581945229498694136616722992028634631701247483684781250376596144385321278165606853375118819053849117338897262268427648262083455985839725633062313154695107759038550706454041941335604443412998733314092411840156288419954892739877843363834586046209819538672727213101410080383088045149018402130819728297511733105868594243532422336753902918788806466274681744246646231919140342567931214862038137091588934018251621114223684759626831339521740017781252613474170420781940878405217534505039416191481935402640036986540158535291068418753431261769460339726043941330310230377899497156447379116998376192778609260328368073641708331187025338628941230659019886492604497357183156893789943392609707575190186729444486788239744694366996859954082129202977358652316001835628949595287583151561304797052473367226958069794800493678276862560358912337464359182323531306401167100839378883760333513912116046596297577086537173884239225402145910324209403865332661419916572372514397914176245034825502665354589686225181030312038801291955465396008078308395064856427920952835111772605746736316974495455631547761742048841271657420320301289128193817983624681549963224888472167699611833879336569131555833595853052201499353493629265799166715221065545501398338697081697219199223693278872441290995511120223269123632695643837629348428447025464796370314880913595117416482942440311412104992815244674930680260974933325676734432766624185506445208555388434881647973303483680217436986110622497014745484207497834185076498923378325028164419862694022665993974610131397860814963409376069481211236799567291945371869999999999999999999998999999999999999999999999", + "PR2309": "0.00169651512427273361603599999999979966069697504545327679280000000004", + "PR2312": "0.0016968910672416183217741664253306608313981871092591606785919721402466639482482604987906263436319985389087871920003727358089119691707125587293854195155301058935307364886189555996708547329881149336171247397624062103977014347087762605109750003863870743475274691466395235605455481253063648267688039781009733928457165151604641322558732668437746794925668289907050567778873259759662053706072684456725355130545854771319425377578844216675825584100615847114979554027553297049347099204664135922300782429027035429464907618296323253341128396275606281605020531264794881994238788450715107277460782109723898992918243303877198293634385667476424412809338659096025220807537458242003006774474582572795176719443102952811309876269970049786625694902781705876093392614109481347502079297479652418310693478037966928769632288462141311493054291949198114853965052272858201299718515282888313121797890314969248776140728921160051695384282681414393404304421140383924704426610285765062413408544381292457178726358313508862153561057504414077027970695531560096150460376881037031468419536178691536123433486079074048106431857541645132925560648447559989481024433963894933526214378179759154363115838058899901067411832488838551415436332889205090770617684196339637344081123118067975810238639433231697101460633440155678271626333781219229933594252604855299228509163934080543158210331137703511625330202557315948544613466863457893127380007535047723339212640854315333987567857759850100339276181487816724650467750013179775993133572257752052454989143702479584122085118908035471230260085737465517796067404943790016458770622870653446212123108363343069244012694724442136316184831523004177211326361210553608828593009948580729393044252657303440133739771537941324340450773640896013819683762056116290009744511822200023426490468682709648389651639512757105362112321954064453732002955321470367851684784431634019903519266935978726446079479273317926687384502981648990712661364030592861235772635328285280704086619333693094087529047740263272883275494149386456304195135509911882031954745707488562602121362460880523043506983232808949458715950201344637422580009252305219461828237069713391979089554038780755254072931375695344547716661134859914478618147908365798389657931861631940001337768748909356388790689265099929633539105822912086575008889516397850826649342456170516696181708171755769011523457215535681407679684825026233268470258218136360518873878773850955837197720588545023498401227049469686022445083705677438867848715747877812021060662883436727377954412816281838018705016463164329306685515748320026909202095584712021857302551654551840507062174082415387895225048430875754149289013655473017369297142738995255609843419540900573806791143357042838726884154006170770145933462272159779421762698797411823946084268392615943973880571614055272161870842877436053181241288156257817073874152090437768617845705841332808354103336385175278415545563728413850452789830714497009816127583135013639566687301581588887750204814966804947137197477905952275936302061995403597010762218862039999999999999999999998999999999999999999999999", + "PR2322": "0.001697060296258836", + "PR2349": "0.0016970659941088806668214121951845796408445843055394080457179049773764913423221479271940726772554144108073159151271631479093639014714005691552649331492542250054123733095440521277487766511857688298674704546970135152117747408640029940780896994740854935582651848520473690022271930726867652097384279290372409774307933977627109231051788129336721750587791020365448051916019941989902350746945976641296882375996366757433208807478945797201751874951178305512994442924094782959991992583136617680538558334835020627215931794464666083868085237041256507894416664449021512964893788919738195846653502303288739922771289428423640066476038860109061323768837173547820291795685124621074228949638661024597240170039150020683497247180999633488719887039367623674090444445609766023234041448444083543787248764637689324976364650639413061458787606134845457174582648768844252808370225315952315699060886005813441535114851566563634601061835273800318874691715954979986314748067175931892005776716058831488641189679789773816638711039040583808753916163231725113484031745931067052386111152024589700410475235407923825271056913831241628058821892924649174204799028680287151257887061659297754030644193665298744672991371751685713467564572007461624730858860242224035509679094256187675212172390621563821686699218037867575137685441173679572421496331105858276902195155383835025540053002929024418463529787954459466056999932435484871010074578659441598371754399601050126291615564378633646777227079270753310955165028845781841116167129252015684784073330043067867270834532561858355673536879824374012877282689415211928297253552095894477287047616341439947282478953226337473148648570950201465461098277767908689632776893311807911882305683255602604846739991740979443052983778965431956008277230385371101501138856164485117130604125494746381895636743465122339427664936220936275678348284774759316504237529399057767944372184786332614691626434836387380158259836255060270198883250901355616012326471138808306704764499373653715590238955163543309116562221870919465516051526770854906377976375095934884020091758964419902246580980820979611264297946650372565459306605637269467823457541428470568804348472961060012685504247985331604025791825933273282662289927454282789294136217082770636013069967252425115155506272614256656988857930899501427549247963678389352800098393274343130030862392709494761260220359109889265960024084639368403324269140141577745345022760744247789804212911512591556937041463046676625512139340523301735950799165745698791025785544138300654090266674944006080787708748975261988143645694621678655317821853144874080905528144088664583508208777376808367760952705817879448212959205833232929657417299279751932532363519621100418885374389971618786741168757666160121581199919904005587889203481120102590713188372662337154564168629006548235187846440189412138795355850546752120619324879629128004718800413416182559179800618564570832473910132737102168878341278576013530945403202597022360183873891332508682100114107214984387948748428542677284206744954658607439925640183535549999999999999999999998999999999999999999999999", + "PR2363": "0.001697147064845350", + "PR2374": "0.0016971949509017704265940818773095411997829254474375229705809997635438062942204765954562383974077821671831369565342135210662806080984189437744311691170166878200706637656120224415299737717701337307539464110268836203281111987753159498203954701705205852698182995035958027658044607115822574508666985181699711923175134847560718669920281030992600965545441954035328408493723703194682661214225479411060097662633754661550995525106462258180812881394912204830656550720788554855150041136725936752258040654282493873524814048951275613529361946942930756606941674074477881485086387253593916040344556969145236818327248309098647296974311830069674219033678569504586581135358848081070141238752991674150396577553602390245098256623610206219873018910702970683481898704791312128544927797796263798965928185946464208453538038074130191248384897942236565804073051820886237792115045300205866675310844866731650898744658240052151403474629612369248407339925817250755774230849162429893816537967019801563891871154347775301101452039034203590012030571830828102063480584807251100111533885801953898940545829732671930912393072557857172603412452229175719796953206694288737814097206799032728139418329449617047277996553941167768501692770450270903073953001977679531560526318261641545560089674289210949739800895987320710205405144779108114410801410863004777930712359085672774857562943038447218083992439662882844810916772482599422378373397511127617771820574570321893388248531869294501515231655597646378900151261952601403678797872447106754637862547429677096069631147251860052756420659326128494026586838106695013238864030608401406156607559989211808454412638637175211030555454020488650023294167520672980980396370514923547443975614840890626840642981934129785156305249800680496635934963165026962087272991982852425076410102938295280642112519009725151518793502417899440161288959425552435156339988887994241563680501591034798080807680420907177078719219475936443453591733013776785983706296335551856437598080747432920929336409488151175919768679340727810125057537659035408133643666970582481765189938136267947101008867469846414911701653627941553461882443557617407944704412052768481182211920226323727462445103056307935153715081554046115943894672966439801441223675986168815297036589266986545180924888304377614106150893981516595103244696808698485755403663575692962132048959618919396672463657258697165154476184606747977244468238112487890243300215295911516769877096033023277755679579119616362363771146906851312883551325577910752948791145027867851031285296278290624616792326245346316955108929449453650392187829083153563766593182662271262370655984316122305681275693367071550045835867673591141005622801963302635483892372821569656326071183032535073704098039743172546777387752768217496897183134894138727088377616522650102507208838965437331059647644187138589104298496147389776807118532428525203523839384398259710922706840602678791436521874179119410390463568320091540786380546514858693482059552649347514416855482639636114585292794893763151788378014165475136659461413021709999999999999999999998999999999999999999999999", + "PR2435": "0.0016985113436976293290517338141877446308055110967045933112789142962230829468162898341951791806612097103089373234971683843352747786930041151727362819565230218349121075974166971824969591011217978263772357971645637990906671947907264145608572312831884027994294129916401260085150019209771313354764916248453595083165495324143523894449450691307086112491644144865158608055855884464187565801019555715970196050475190435909515154211111746650599567224499059795061082684332558375704345494867609328212726505329205932635761431749934820741127389044354860113766948092316247723704125119645275990197876854879992017397555143192287544724913630217464784503656948990786068598407873145289054550742625443908707733418270092545559085087575922813686919128943056715534713410017028659255187727620917187403119881890253391323975990386407713427526885644658486243444047073202627454384564726751561652433479720829616046376359016291378111084223539218953623912571977915965711868344311448096041639498896249066806011480337926979336386922535296303752711889978569232419801794934322834391758343224495751526935421536033765421920712479882326684183343175192506299338548272335365486251925033343467210567293885905433780822999898604806238618868381030618734960564543625151176983437948634467084422228827374831795369936288472513373544493094900054747070753455699633326414320913460348479500983823174310013199097862135411812726539849723398231855832967776337718672217880238071981788235029509052279747189188681017572483164064571080246530954181586740864619167589362678617045511756037366397896287535580824234872210152899236988326941025506999808922548377766309470729712387648163405540888355093150391393147762868679282467450248868441271263534493578828020033697285447763448133926166569487422405222986476700516751666801177807240657564339291923875269516741832922888995392021815208206000349549288250522070993210698907902608614026748746226358646184865889780191165888384651919903384475762221811266201306458084323514041511509641989786115752760407119009860442439632421403230395972475348378156789079511896489813648834249547691849265251849667444226323872984574855719511144598417008957627888727054559888291831917098918028329850588422718093434809471730512569958638862082155535047678827813738782160371366678147328051204025977598523823201157893310362964269992621082595013887883317116160638083051854550265075133554450400672096216801889893843542349827136660836690734577713840538485494706157608832285361332402523141110775007848457158586364555932568759681602669482751949814440768908964969207479429539605772323917098643373158579016561519795798882730005614360958024497845667634552553552983588304002856198810822137614346744361151657633282342263919735927514970826742259413534781096542529517187951831272379701715213763298528196318890985268220654521387901862300533678359917037097369847001136323652610917811136723698294245291973870628779153244079459318485933533570876673919779617623307381536963771175021281784418966086504076951993546379032710653964402197313385999437909265508362772441799999999999999999999998999999999999999999999999", + "PR2436": "0.0016991608921398251600279999999999999999999998999999999999999999999999", + "PR2447": "0.0016985119240027614377579662622550277564752303014632001085912824859507393078282437035179252414291502705054755462357003717759558103498629813115442068360114264334651758949987988872541204107097072948576448846094956768257152529527662956303677471782361593894085900298540552164997753216115340278680558041162973284303935913190198425924379082469805613245983531869824002701698374684691517018577573110696293124537872104859523371741895970797431623776302463363459747587206837294018893284874675114732279390512604545102134422317467968416908718002204506398642106718944289038923999380404503614240503128283136077451417628685228023232453979477282404270797636652706175380813703170077311247490064895458029087043521285272301772214952884388593506827466177521786229924388787415098883766523802090381379143866377309901507052223528306468101431468438490264132304183375802588280147067331828626591480205941245573696234680138810629380613301444051150686224207523014475725970623331838332824735641183653720108016324416184767138082032444150163014161126699794488247990208579609704814988230865585355601681433595996948770858766402889040030968246713616312811344732121617470930010893713729130403188416189679378105887018086547167745302146962889203905466726180699749833752586666455403237780487599766402436806069944504986685701882807188024781826493583179934023322084058083541246114999145300430531747836555219353694662071692255763923382320837270881865337075779917907230837385699866798569999215436573022358446513182753943404939135583753012958773616315641648180417253336086826010039087921869126288436519051035942729345571304280442647214237150698428561157192814553044775037108152303161274121880992217890131206941751727917934955780336365896597968707723675222915284230540627018458658031705295771618388127639417863427109239894251943639727809138599457280105242127622925946074704073915727890439763501672757058495342215351508708462975756044018626130534760940336150554399853488027551220942454321281571898917294455404752275258000957228128366801323227609478166347750532436189374670869398510293004691371804623125134440518228609279229385405520421279139158902684474777199493925943747627478631455902789384753762408682787612396590302666842650873174765130959418286142645856413045396869797717505779706435341617592221898227109807785275580497220725060305458789550793105767294329594990574780666810951473505383047646613535182337676456220504895865986051631741832160250699224119882051705145865254383282811957747119276363385010505970659474676544779471339092894874881460336201771712170894392330533573924936169782841322375462425323658211611087842632879910979102002352426149647130420236315904658313107609581985667016932082417230893193452013638869893749742709260248684080473551825456129715699837644275206416147085163693934930226879643144277994410846580231814852187247839518274736465678580881966698812765805658983610013031904006897267358475617620719811854918666338638829416302367430190781972157760065779979919005979915421308823628467650769829231014302338804437427800900266239999999999999999999998999999999999999999999999", + "PR2462": "0.0017035523129795943854192668981419560041186667715935483801489089878174045096528810686296477393161276162365054206824664783353107495434303317955377139682181786205318545208743143697256683115529782550131900714723247885153532994606800243775783466597796417183521369435219313150528832791671308432204238046495534507108282822462916762946590530105455856293349740209068099958963533375251505190543323424575879904553656713761948118547230223049923677114326155835159844488684094012890457059862115152768761014483558621763323571201882497697720464937933178821473489520238275845276955046820213133703360130626327888728633668908513150810766782948160763999903215708220634550405456911914701814439553227899920410838932463404073388211199706844646172426613563320440417956114200361074574361643929771163281348586703075317537708216964010033256307360502185155018373725574685675662875958169576310463548067537654605776780593432559022730309688621931694186068947616499265036749870316172654624958397438535987989197566169376044979951687905569646814768147922362388355078003790122590334568255050125593926663309593725153954918742767436208860579012628077817316592875168320496276117115465554945355598342989920860231234159707852851823859425612604848951874449133194660631892069481063055883203365712740350402506519322332041274558633907900236899243002135252631296545347958178271086887410589527530947817888060767236153288175861431369838880673492670161634091160799054290372470969908278348720957849713710855536110618719130053141796422993464765796033560759414901318338798078616389323710705194655112808100898993178916124419650064006785026677778262286631807279578677416181397849530809512936565358949625971421206943946351493177547845975266611679774592272012105536170060084504224511789134739294955257699850827554707129957066722485567664882736447232834133368837946017020513064439487299548834299468277060739208585694961507637069228760729458081581195102813459740912096053051788321467573608610458506157529375585305303875323205533207781718023258045205223646740294461734539123556146057429187898376066378289641491615028376518381538626958906282154082367213500801670625829156003545472426099099783361931708074171325473493585192649120282304988974349467914240420802042284557316687621241387445490888152893157523781165375346929762905885379864013091782649035151780368498628829552124276248516478675196280679051962297322742511390075251159283048168994932981365788650244895554177335277268504590548139746924680143027319280509513992568223765075121315792709617899192706780363796498760023601332510786058604623366864000862292220023647173927058910654493081961802760129522981328451420730696905517663805569383566517861955115637949320271514567423018267979624263532702343725585395610474605009587474971429455256849387713567008403813467479747265502493176514365187218810031312244795050396761782230835835021352001052491168038346680317393566537290140955866608892311144162280849720681636317608515954125108954160054905066390136331590612433964577703076536181650473297244250258517168892282759999999999999999999998999999999999999999999999", + "PR2474": "0.0017036763879936764890339490453481211703458727417033077761542075590799089365368210285790935560369003912086075168876828789239524568781679119813278260756750397065046540423622205983225510593382705829061905193012926338867704189469119242708862299519406873051982100130233118266602033203270509681640932891062282638470830388396533953248911094864091024701664147884998118977596872441652816021614969376871232333709057611064031231218005134246878352677237287255097742824672857898891039669420120284052434764104584818036369197204664203282197837782366478718921360062626520302055602940940667120512702296620295967099766682439857986731542556011547838870716747899513572711664761624286797439831483131972177034068291346197699424310905328998390129354663111820638511112865210176951281784587893200113339924260782875263865775308166742587477117351968827519030019453343913285120187759355879245005324463709302783342681147945885007941731022016404869724748415812348214995491954523677281450117225883045517497953901810008864133943307958867394026139452904371481210481121344158961714379308354477440269559169350231983164453543063024861865778945617600049421662099848403182959354321378131073436086396972527282224754275031885158172755560060153055029908673944271626435301226564305975407532845576346422236742926137138552046273089199761077053399753616248064419954584511523668467615767234472109298120012860519890268486283537788268172760196102376209547544461325555040165885859624564612518716997143824734888754512091310718272516476492829584671048895789324893651322011283932744244686725531756194088525881515766078320661334186043673099593202470781045759450429071147619557480684429410248596677655482250258843040360533691977960033492131866593075286593190069879851364664580271351673179848258723952397297495215004079273320479989454196139321002760892876825184675118846860526550715987631021819417445193343421368303551902385268294404291622944717286113714646576842742533811435322352670068535830825729299847172264245922537975781088594689898117465177034103698171462905442229271027441200821823237602447222849389265123373691842465492006854555362349251697573759095215144309831990727129139095637207238440145042878677150243830025593450616047815551497178734424258182001037274067644073755447808877952527789701258581203158106626699870592976654014298391597116905561458282010601860260276112506767954689762946544420210694510469928480764716397058114873841520375681463643287838046507909704376054088712458776850910356401083537224836840740201599837825191627727725697609714322884874997436593312843779858718242255886224453557525572839747441639798058708135745010322257885659856867969504757352886805753005862362560215205472346611810512738996011605689974442852467768629852830516944362187983169470858276453702250438836950468108135764851160891328077887027191800165648859284041736474988883629239118879741958051785092718363800961043834156896320095049944860672281780803166691779139584250665553880621492786035811607467360596451779437704956182958678719742715670370303711358300847390159999999999999999999998999999999999999999999999" + }, + "object": "T74 handoff-line kappa ledger: stated numbers and release gates", + "python": "3.14.4", + "release_gates": [ + { + "by": "message", + "comment_pr": 2269, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2269, + "relation": "EXACT", + "source": 2281 + }, + { + "by": "message", + "comment_pr": 2265, + "gap": "-9.7224511888E-45", + "literal": "0.00168341258854260746233031974039993696", + "named": 2265, + "relation": "BELOW", + "source": 2281 + }, + { + "by": "message", + "comment_pr": 2269, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2269, + "relation": "EXACT", + "source": 2288 + }, + { + "by": "message", + "comment_pr": 2265, + "gap": "-9.7224511888E-45", + "literal": "0.00168341258854260746233031974039993696", + "named": 2265, + "relation": "BELOW", + "source": 2288 + }, + { + "by": "literal", + "comment_pr": null, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2281, + "relation": "EXACT", + "source": 2288 + }, + { + "by": "message", + "comment_pr": 2269, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2269, + "relation": "EXACT", + "source": 2302 + }, + { + "by": "message", + "comment_pr": 2265, + "gap": "-9.7224511888E-45", + "literal": "0.00168341258854260746233031974039993696", + "named": 2265, + "relation": "BELOW", + "source": 2302 + }, + { + "by": "literal", + "comment_pr": null, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2281, + "relation": "EXACT", + "source": 2302 + }, + { + "by": "message", + "comment_pr": 2288, + "gap": "0", + "literal": "0.00169631095041505033554597229489283722", + "named": 2288, + "relation": "EXACT", + "source": 2302 + }, + { + "by": "message", + "comment_pr": 2269, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2269, + "relation": "EXACT", + "source": 2312 + }, + { + "by": "message", + "comment_pr": 2265, + "gap": "-9.7224511888E-45", + "literal": "0.00168341258854260746233031974039993696", + "named": 2265, + "relation": "BELOW", + "source": 2312 + }, + { + "by": "literal", + "comment_pr": null, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2281, + "relation": "EXACT", + "source": 2312 + }, + { + "by": "message", + "comment_pr": 2288, + "gap": "0", + "literal": "0.00169631095041505033554597229489283722", + "named": 2288, + "relation": "EXACT", + "source": 2312 + }, + { + "by": "message", + "comment_pr": 2309, + "gap": "0", + "literal": "0.00169651512427273361603599999999979966", + "named": 2309, + "relation": "EXACT", + "source": 2312 + }, + { + "by": "comment", + "comment_pr": 2302, + "gap": "0", + "literal": "0.00169639576673608134015120175536152791", + "named": 2302, + "relation": "EXACT", + "source": 2312 + }, + { + "by": "message", + "comment_pr": 2269, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2269, + "relation": "EXACT", + "source": 2349 + }, + { + "by": "message", + "comment_pr": 2265, + "gap": "-9.7224511888E-45", + "literal": "0.00168341258854260746233031974039993696", + "named": 2265, + "relation": "BELOW", + "source": 2349 + }, + { + "by": "literal", + "comment_pr": null, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2281, + "relation": "EXACT", + "source": 2349 + }, + { + "by": "message", + "comment_pr": 2288, + "gap": "0", + "literal": "0.00169631095041505033554597229489283722", + "named": 2288, + "relation": "EXACT", + "source": 2349 + }, + { + "by": "message", + "comment_pr": 2309, + "gap": "0", + "literal": "0.00169651512427273361603599999999979966", + "named": 2309, + "relation": "EXACT", + "source": 2349 + }, + { + "by": "comment", + "comment_pr": 2302, + "gap": "0", + "literal": "0.00169639576673608134015120175536152791", + "named": 2302, + "relation": "EXACT", + "source": 2349 + }, + { + "by": "message", + "comment_pr": 2322, + "gap": "8.9502797362E-19", + "literal": "0.00169706029625883689502797362139086811", + "named": 2322, + "relation": "ABOVE", + "source": 2349 + }, + { + "by": "message", + "comment_pr": 2322, + "gap": "0", + "literal": "1697060296258836/10^18", + "named": 2322, + "relation": "EXACT", + "source": 2349 + }, + { + "by": "message", + "comment_pr": 2269, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2269, + "relation": "EXACT", + "source": 2374 + }, + { + "by": "message", + "comment_pr": 2265, + "gap": "-9.7224511888E-45", + "literal": "0.00168341258854260746233031974039993696", + "named": 2265, + "relation": "BELOW", + "source": 2374 + }, + { + "by": "literal", + "comment_pr": null, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2281, + "relation": "EXACT", + "source": 2374 + }, + { + "by": "message", + "comment_pr": 2288, + "gap": "0", + "literal": "0.00169631095041505033554597229489283722", + "named": 2288, + "relation": "EXACT", + "source": 2374 + }, + { + "by": "message", + "comment_pr": 2309, + "gap": "0", + "literal": "0.00169651512427273361603599999999979966", + "named": 2309, + "relation": "EXACT", + "source": 2374 + }, + { + "by": "comment", + "comment_pr": 2302, + "gap": "0", + "literal": "0.00169639576673608134015120175536152791", + "named": 2302, + "relation": "EXACT", + "source": 2374 + }, + { + "by": "message", + "comment_pr": 2363, + "gap": "8.6768586514E-08", + "literal": "0.001697147064845350", + "named": 2322, + "relation": "ABOVE", + "source": 2374 + }, + { + "by": "message", + "comment_pr": 2363, + "gap": "0", + "literal": "0.001697147064845350", + "named": 2363, + "relation": "EXACT", + "source": 2374 + }, + { + "by": "message", + "comment_pr": 2322, + "gap": "8.9502797362E-19", + "literal": "0.00169706029625883689502797362139086811", + "named": 2322, + "relation": "ABOVE", + "source": 2374 + }, + { + "by": "message", + "comment_pr": 2269, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2269, + "relation": "EXACT", + "source": 2435 + }, + { + "by": "message", + "comment_pr": 2265, + "gap": "-9.7224511888E-45", + "literal": "0.00168341258854260746233031974039993696", + "named": 2265, + "relation": "BELOW", + "source": 2435 + }, + { + "by": "literal", + "comment_pr": null, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2281, + "relation": "EXACT", + "source": 2435 + }, + { + "by": "message", + "comment_pr": 2288, + "gap": "0", + "literal": "0.00169631095041505033554597229489283722", + "named": 2288, + "relation": "EXACT", + "source": 2435 + }, + { + "by": "message", + "comment_pr": 2309, + "gap": "0", + "literal": "0.00169651512427273361603599999999979966", + "named": 2309, + "relation": "EXACT", + "source": 2435 + }, + { + "by": "comment", + "comment_pr": 2302, + "gap": "0", + "literal": "0.00169639576673608134015120175536152791", + "named": 2302, + "relation": "EXACT", + "source": 2435 + }, + { + "by": "message", + "comment_pr": 2374, + "gap": "0", + "literal": "0.00169719495090177042659408187730954119", + "named": 2374, + "relation": "EXACT", + "source": 2435 + }, + { + "by": "message", + "comment_pr": 2363, + "gap": "8.6768586514E-08", + "literal": "0.001697147064845350", + "named": 2322, + "relation": "ABOVE", + "source": 2435 + }, + { + "by": "message", + "comment_pr": 2363, + "gap": "0", + "literal": "0.001697147064845350", + "named": 2363, + "relation": "EXACT", + "source": 2435 + }, + { + "by": "message", + "comment_pr": 2322, + "gap": "8.9502797362E-19", + "literal": "0.00169706029625883689502797362139086811", + "named": 2322, + "relation": "ABOVE", + "source": 2435 + }, + { + "by": "message", + "comment_pr": 2269, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2269, + "relation": "EXACT", + "source": 2447 + }, + { + "by": "message", + "comment_pr": 2265, + "gap": "-9.7224511888E-45", + "literal": "0.00168341258854260746233031974039993696", + "named": 2265, + "relation": "BELOW", + "source": 2447 + }, + { + "by": "literal", + "comment_pr": null, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2281, + "relation": "EXACT", + "source": 2447 + }, + { + "by": "message", + "comment_pr": 2288, + "gap": "0", + "literal": "0.00169631095041505033554597229489283722", + "named": 2288, + "relation": "EXACT", + "source": 2447 + }, + { + "by": "message", + "comment_pr": 2309, + "gap": "0", + "literal": "0.00169651512427273361603599999999979966", + "named": 2309, + "relation": "EXACT", + "source": 2447 + }, + { + "by": "comment", + "comment_pr": 2302, + "gap": "0", + "literal": "0.00169639576673608134015120175536152791", + "named": 2302, + "relation": "EXACT", + "source": 2447 + }, + { + "by": "message", + "comment_pr": 2435, + "gap": "0", + "literal": "0.00169851134369762932905173381418774463", + "named": 2435, + "relation": "EXACT", + "source": 2447 + }, + { + "by": "message", + "comment_pr": 2374, + "gap": "0", + "literal": "0.00169719495090177042659408187730954119", + "named": 2374, + "relation": "EXACT", + "source": 2447 + }, + { + "by": "message", + "comment_pr": 2363, + "gap": "8.6768586514E-08", + "literal": "0.001697147064845350", + "named": 2322, + "relation": "ABOVE", + "source": 2447 + }, + { + "by": "message", + "comment_pr": 2363, + "gap": "0", + "literal": "0.001697147064845350", + "named": 2363, + "relation": "EXACT", + "source": 2447 + }, + { + "by": "message", + "comment_pr": 2322, + "gap": "8.9502797362E-19", + "literal": "0.00169706029625883689502797362139086811", + "named": 2322, + "relation": "ABOVE", + "source": 2447 + }, + { + "by": "message", + "comment_pr": 2269, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2269, + "relation": "EXACT", + "source": 2462 + }, + { + "by": "message", + "comment_pr": 2265, + "gap": "-9.7224511888E-45", + "literal": "0.00168341258854260746233031974039993696", + "named": 2265, + "relation": "BELOW", + "source": 2462 + }, + { + "by": "literal", + "comment_pr": null, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2281, + "relation": "EXACT", + "source": 2462 + }, + { + "by": "message", + "comment_pr": 2288, + "gap": "0", + "literal": "0.00169631095041505033554597229489283722", + "named": 2288, + "relation": "EXACT", + "source": 2462 + }, + { + "by": "message", + "comment_pr": 2309, + "gap": "0", + "literal": "0.00169651512427273361603599999999979966", + "named": 2309, + "relation": "EXACT", + "source": 2462 + }, + { + "by": "comment", + "comment_pr": 2302, + "gap": "0", + "literal": "0.00169639576673608134015120175536152791", + "named": 2302, + "relation": "EXACT", + "source": 2462 + }, + { + "by": "message", + "comment_pr": 2436, + "gap": "1.0000000000E-46", + "literal": "0.001699160892139825160028", + "named": 2436, + "relation": "ABOVE", + "source": 2462 + }, + { + "by": "message", + "comment_pr": 2436, + "gap": "1.0000000000E-46", + "literal": "0.001699160892139825160028", + "named": 2436, + "relation": "ABOVE", + "source": 2462 + }, + { + "by": "message", + "comment_pr": 2436, + "gap": "1.0000000000E-46", + "literal": "0.001699160892139825160028", + "named": 2436, + "relation": "ABOVE", + "source": 2462 + }, + { + "by": "message", + "comment_pr": 2435, + "gap": "0", + "literal": "0.00169851134369762932905173381418774463", + "named": 2435, + "relation": "EXACT", + "source": 2462 + }, + { + "by": "message", + "comment_pr": 2374, + "gap": "0", + "literal": "0.00169719495090177042659408187730954119", + "named": 2374, + "relation": "EXACT", + "source": 2462 + }, + { + "by": "message", + "comment_pr": 2363, + "gap": "8.6768586514E-08", + "literal": "0.001697147064845350", + "named": 2322, + "relation": "ABOVE", + "source": 2462 + }, + { + "by": "message", + "comment_pr": 2363, + "gap": "0", + "literal": "0.001697147064845350", + "named": 2363, + "relation": "EXACT", + "source": 2462 + }, + { + "by": "message", + "comment_pr": 2322, + "gap": "8.9502797362E-19", + "literal": "0.00169706029625883689502797362139086811", + "named": 2322, + "relation": "ABOVE", + "source": 2462 + }, + { + "by": "message", + "comment_pr": 2269, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2269, + "relation": "EXACT", + "source": 2474 + }, + { + "by": "message", + "comment_pr": 2265, + "gap": "-9.7224511888E-45", + "literal": "0.00168341258854260746233031974039993696", + "named": 2265, + "relation": "BELOW", + "source": 2474 + }, + { + "by": "literal", + "comment_pr": null, + "gap": "0", + "literal": "0.00169624713905847422076962253948009438", + "named": 2281, + "relation": "EXACT", + "source": 2474 + }, + { + "by": "message", + "comment_pr": 2288, + "gap": "0", + "literal": "0.00169631095041505033554597229489283722", + "named": 2288, + "relation": "EXACT", + "source": 2474 + }, + { + "by": "message", + "comment_pr": 2309, + "gap": "0", + "literal": "0.00169651512427273361603599999999979966", + "named": 2309, + "relation": "EXACT", + "source": 2474 + }, + { + "by": "comment", + "comment_pr": 2302, + "gap": "0", + "literal": "0.00169639576673608134015120175536152791", + "named": 2302, + "relation": "EXACT", + "source": 2474 + }, + { + "by": "message", + "comment_pr": 2462, + "gap": "0", + "literal": "0.00170355231297959438541926689814195600", + "named": 2462, + "relation": "EXACT", + "source": 2474 + }, + { + "by": "message", + "comment_pr": 2436, + "gap": "1.0000000000E-46", + "literal": "0.001699160892139825160028", + "named": 2436, + "relation": "ABOVE", + "source": 2474 + }, + { + "by": "message", + "comment_pr": 2436, + "gap": "1.0000000000E-46", + "literal": "0.001699160892139825160028", + "named": 2436, + "relation": "ABOVE", + "source": 2474 + }, + { + "by": "message", + "comment_pr": 2436, + "gap": "1.0000000000E-46", + "literal": "0.001699160892139825160028", + "named": 2436, + "relation": "ABOVE", + "source": 2474 + }, + { + "by": "message", + "comment_pr": 2435, + "gap": "0", + "literal": "0.00169851134369762932905173381418774463", + "named": 2435, + "relation": "EXACT", + "source": 2474 + }, + { + "by": "message", + "comment_pr": 2374, + "gap": "0", + "literal": "0.00169719495090177042659408187730954119", + "named": 2374, + "relation": "EXACT", + "source": 2474 + }, + { + "by": "message", + "comment_pr": 2363, + "gap": "8.6768586514E-08", + "literal": "0.001697147064845350", + "named": 2322, + "relation": "ABOVE", + "source": 2474 + }, + { + "by": "message", + "comment_pr": 2363, + "gap": "0", + "literal": "0.001697147064845350", + "named": 2363, + "relation": "EXACT", + "source": 2474 + }, + { + "by": "message", + "comment_pr": 2322, + "gap": "8.9502797362E-19", + "literal": "0.00169706029625883689502797362139086811", + "named": 2322, + "relation": "ABOVE", + "source": 2474 + } + ], + "statements": [ + { + "actual": "1.2834550516E-05", + "id": "2269b1", + "kind": "difference", + "quote": "It exceeds the live leader PR2265 by +1.28346E-5.", + "source": 2269, + "stated": "+1.28346E-5", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2265, + "where": "body" + }, + { + "actual": "5.3767871489E-91", + "id": "2281b1", + "kind": "difference", + "quote": "It exceeds PR2269 (this package's 90-digit-endpoint predecessor) by 5.37679E-91", + "source": 2281, + "stated": "5.37679E-91", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2269, + "where": "body" + }, + { + "actual": "1.2834550516E-05", + "id": "2281b2", + "kind": "difference", + "quote": "and PR2265 by 1.28346E-5", + "source": 2281, + "stated": "1.28346E-5", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2265, + "where": "body" + }, + { + "actual": "6.3811356576E-08", + "id": "2288b1", + "kind": "difference", + "quote": "It exceeds PR2269 (this package's 90-digit-endpoint predecessor without the refit) by 6.38114E-8", + "source": 2288, + "stated": "6.38114E-8", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2269, + "where": "body" + }, + { + "actual": "1.2898361872E-05", + "id": "2288b2", + "kind": "difference", + "quote": "and PR2265 by 1.28984E-5", + "source": 2288, + "stated": "1.28984E-5", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2265, + "where": "body" + }, + { + "actual": "8.4816321031E-08", + "id": "2302b1", + "kind": "difference", + "quote": "It exceeds PR2288 (the same package without the kernel) and PR2269 by 8.48163E-8", + "source": 2302, + "stated": "8.48163E-8", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2288, + "where": "body" + }, + { + "actual": "1.4862767761E-07", + "id": "2302b2", + "kind": "difference", + "quote": "It exceeds PR2288 (the same package without the kernel) and PR2269 by 8.48163E-8", + "source": 2302, + "stated": "8.48163E-8", + "stated_value_matches": [ + "PR2302-PR2288" + ], + "status": "FLAGGED", + "target": 2269, + "where": "body" + }, + { + "actual": "1.2983178193E-05", + "id": "2302b3", + "kind": "difference", + "quote": "PR2265 by 1.29832E-5", + "source": 2302, + "stated": "1.29832E-5", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2265, + "where": "body" + }, + { + "actual": "1.1935753665E-07", + "id": "2309b1", + "kind": "difference", + "quote": "This exceeds the latest competing claim reviewed in PR #2302 by about 1.19e-7", + "source": 2309, + "stated": "1.19e-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2302, + "where": "body" + }, + { + "actual": "3.7594296888E-07", + "id": "2312b1", + "kind": "difference", + "quote": "It exceeds the current leader PR2309 (Dugongue, ... by 3.75943E-7", + "source": 2312, + "stated": "3.75943E-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2309, + "where": "body" + }, + { + "actual": "4.9530050554E-07", + "id": "2312b2", + "kind": "difference", + "quote": "PR2302 (the previous package of this series) by 4.95301E-7", + "source": 2312, + "stated": "4.95301E-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2302, + "where": "body" + }, + { + "actual": "1.3478478699E-05", + "id": "2312b3", + "kind": "difference", + "quote": "and PR2265 by 1.34785E-5", + "source": 2312, + "stated": "1.34785E-5", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2265, + "where": "body" + }, + { + "actual": "1.6922901722E-07", + "id": "2322b1", + "kind": "difference", + "quote": "exceeding the pinned PR2312 claim by approximately **1.69229e-7**", + "source": 2322, + "stated": "1.69229e-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2312, + "where": "body" + }, + { + "actual": "0.001697060296258836", + "id": "2349b1", + "kind": "kappa_quote", + "quote": "It exceeds the upper bracket of PR2322's exact native endpoint (its CLAIM.json native_endpoint_upper, above its stated kappa 0.001697060296258836) by 5.69785E-9", + "source": 2349, + "stated": "0.001697060296258836", + "stated_value_matches": [ + "PR2322" + ], + "status": "CONSISTENT", + "target": 2322, + "where": "body" + }, + { + "actual": "5.6978500438E-09", + "id": "2349b2", + "kind": "difference", + "quote": "It exceeds the upper bracket of PR2322's exact native endpoint (its CLAIM.json native_endpoint_upper, above its stated kappa 0.001697060296258836) by 5.69785E-9", + "source": 2349, + "stated": "5.69785E-9", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2322, + "where": "body" + }, + { + "actual": "1.7492686726E-07", + "id": "2349b3", + "kind": "difference", + "quote": "and PR2312 by 1.74927E-7", + "source": 2349, + "stated": "1.74927E-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2312, + "where": "body" + }, + { + "actual": "0.0016970659941088806668214121", + "id": "2363b1", + "kind": "kappa_quote", + "quote": "above concurrent PR2349's full rational `0.0016970659941088806668214121951845796408", + "source": 2363, + "stated": "0.0016970659941088806668214121951845796408", + "stated_value_matches": [ + "PR2349" + ], + "status": "CONSISTENT", + "target": 2349, + "where": "body" + }, + { + "actual": "8.1070736469E-08", + "id": "2363b2", + "kind": "difference", + "quote": "The gain over PR2349 is approximately `8.10707365e-8`", + "source": 2363, + "stated": "8.10707365e-8", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2349, + "where": "body" + }, + { + "actual": "4.7768834032E-03", + "id": "2363b3", + "kind": "percent", + "quote": "The gain over PR2349 is approximately `8.10707365e-8`, or **0.004777% of κ**", + "source": 2363, + "stated": "0.004777", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2349, + "where": "body" + }, + { + "actual": "0.001697147064845350", + "id": "2374b1", + "kind": "kappa_quote", + "quote": "It exceeds PR2363's exact claimed kappa 0.001697147064845350 by 4.78861E-8", + "source": 2374, + "stated": "0.001697147064845350", + "stated_value_matches": [ + "PR2363" + ], + "status": "CONSISTENT", + "target": 2363, + "where": "body" + }, + { + "actual": "4.7886056420E-08", + "id": "2374b2", + "kind": "difference", + "quote": "It exceeds PR2363's exact claimed kappa 0.001697147064845350 by 4.78861E-8", + "source": 2374, + "stated": "4.78861E-8", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2363, + "where": "body" + }, + { + "actual": "3.0388366015E-07", + "id": "2374b3", + "kind": "difference", + "quote": "and PR2312 by 1.28957E-7", + "source": 2374, + "stated": "1.28957E-7", + "stated_value_matches": [ + "PR2374-PR2349" + ], + "status": "FLAGGED", + "target": 2312, + "where": "body" + }, + { + "actual": "1.3163927959E-06", + "id": "2435b1", + "kind": "difference", + "quote": "It exceeds PR2374 (our previous package) by 1.31639E-6", + "source": 2435, + "stated": "1.31639E-6", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2374, + "where": "body" + }, + { + "actual": "1.6202764560E-06", + "id": "2435b2", + "kind": "difference", + "quote": "and PR2312 by 1.31639E-6", + "source": 2435, + "stated": "1.31639E-6", + "stated_value_matches": [ + "PR2435-PR2374" + ], + "status": "FLAGGED", + "target": 2312, + "where": "body" + }, + { + "actual": "6.4954844220E-07", + "id": "2436b1", + "kind": "difference", + "quote": "approximately **6.4954844219583e-7 (0.03824%) above pinned PR2435**", + "source": 2436, + "stated": "6.4954844219583e-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2435, + "where": "body" + }, + { + "actual": "3.8242219848E-02", + "id": "2436b2", + "kind": "percent", + "quote": "approximately **6.4954844219583e-7 (0.03824%) above pinned PR2435**", + "source": 2436, + "stated": "0.03824", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2435, + "where": "body" + }, + { + "actual": "5.8030513211E-10", + "id": "2447b1", + "kind": "difference", + "quote": "It exceeds PR2435 by 5.80305E-10", + "source": 2447, + "stated": "5.80305E-10", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2435, + "where": "body" + }, + { + "actual": "0.0016991608921398251600279999", + "id": "2462b1", + "kind": "kappa_quote", + "quote": "It exceeds PR2436's exact kappa 0.001699160892139825160028... by 4.39142E-6", + "source": 2462, + "stated": "0.001699160892139825160028", + "stated_value_matches": [ + "PR2436" + ], + "status": "CONSISTENT", + "target": 2436, + "where": "body" + }, { - "actual": "6.381136E-08", - "quote": "It exceeds PR2269 (this package's 90-digit-endpoint predecessor without the refit) by 6.38114E-8", + "actual": "4.3914208398E-06", + "id": "2462b2", + "kind": "difference", + "quote": "It exceeds PR2436's exact kappa 0.001699160892139825160028... by 4.39142E-6", + "source": 2462, + "stated": "4.39142E-6", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2436, + "where": "body" + }, + { + "actual": "5.0403889768E-06", + "id": "2462b3", + "kind": "difference", + "quote": "and PR2447 by 5.04039E-6", + "source": 2462, + "stated": "5.04039E-6", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2447, + "where": "body" + }, + { + "actual": "0.0017035523129795943854192668", + "id": "2474b1", + "kind": "kappa_quote", + "quote": "It exceeds PR2462 (our previous package, kappa 0.0017035523129795943854...) by 1.24075E-7", + "source": 2474, + "stated": "0.0017035523129795943854", + "stated_value_matches": [ + "PR2462" + ], + "status": "CONSISTENT", + "target": 2462, + "where": "body" + }, + { + "actual": "1.2407501408E-07", + "id": "2474b2", + "kind": "difference", + "quote": "It exceeds PR2462 (our previous package, kappa 0.0017035523129795943854...) by 1.24075E-7", + "source": 2474, + "stated": "1.24075E-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2462, + "where": "body" + }, + { + "actual": "0.0016834125885426074623303197", + "id": "2269r1", + "kind": "kappa_quote", + "quote": "its kappa begins 0.0016834125885426074623303197...", + "source": 2269, + "stated": "0.0016834125885426074623303197", + "stated_value_matches": [ + "PR2265" + ], + "status": "CONSISTENT", + "target": 2265, + "where": "README" + }, + { + "actual": "1.2834550516E-05", + "id": "2269r2", + "kind": "difference", + "quote": "+1.28346E-5, i.e. this package exceeds it.", + "source": 2269, + "stated": "+1.28346E-5", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2265, + "where": "README" + }, + { + "actual": "1.2834550516E-05", + "id": "2269r3", + "kind": "difference", + "quote": "Exact difference kappa - kappa(PR2265) = 1.2834550515866758439E-5.", + "source": 2269, + "stated": "1.2834550515866758439E-5", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2265, + "where": "README" + }, + { + "actual": "1.2834550516E-05", + "id": "2269r4", + "kind": "difference", + "quote": "this package applies it to the T74 pivot-566+554 words and exceeds PR2265 by about 1.28e-5.", + "source": 2269, + "stated": "1.28e-5", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2265, + "where": "README" + }, + { + "actual": "0.0016962471390584742207696225", + "id": "2281r1", + "kind": "kappa_quote", + "quote": "Improvement over PR2269 (this package's own 90-digit-endpoint predecessor, kappa 0.0016962471390584742207696225...): +5.37679E-91", + "source": 2281, + "stated": "0.0016962471390584742207696225", + "stated_value_matches": [ + "PR2269", + "PR2281" + ], + "status": "AMBIGUOUS", + "target": 2269, + "where": "README" + }, + { + "actual": "5.3767871489E-91", + "id": "2281r2", + "kind": "difference", + "quote": "Improvement over PR2269 (this package's own 90-digit-endpoint predecessor, kappa 0.0016962471390584742207696225...): +5.37679E-91", + "source": 2281, + "stated": "+5.37679E-91", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2269, + "where": "README" + }, + { + "actual": "5.3767871489E-91", + "id": "2281r3", + "kind": "difference", + "quote": "exact difference kappa - kappa(PR2269) = 5.3767871488537118821E-91.", + "source": 2281, + "stated": "5.3767871488537118821E-91", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2269, + "where": "README" + }, + { + "actual": "0.0016834125885426074623303197", + "id": "2281r4", + "kind": "kappa_quote", + "quote": "Improvement over PR2265 (kappa begins 0.0016834125885426074623303197...): +1.28346E-5, i.e. this package exceeds it.", + "source": 2281, + "stated": "0.0016834125885426074623303197", + "stated_value_matches": [ + "PR2265" + ], + "status": "CONSISTENT", + "target": 2265, + "where": "README" + }, + { + "actual": "1.2834550516E-05", + "id": "2281r5", + "kind": "difference", + "quote": "Improvement over PR2265 (kappa begins 0.0016834125885426074623303197...): +1.28346E-5, i.e. this package exceeds it.", + "source": 2281, + "stated": "+1.28346E-5", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2265, + "where": "README" + }, + { + "actual": "1.2834550516E-05", + "id": "2281r6", + "kind": "difference", + "quote": "this package applies it to the T74 pivot-566+554 words and exceeds PR2265 by about 1.28e-5.", + "source": 2281, + "stated": "1.28e-5", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2265, + "where": "README" + }, + { + "actual": "0.0016962471390584742207696225", + "id": "2288r1", + "kind": "kappa_quote", + "quote": "Improvement over PR2269 (this package's predecessor without the frame refit, 90-digit endpoint, kappa 0.0016962471390584742207696225...): +6.38114E-8", "source": 2288, - "stated": "6.38114E-8", + "stated": "0.0016962471390584742207696225", "stated_value_matches": [ - "PR2269" + "PR2269", + "PR2281" ], + "status": "AMBIGUOUS", + "target": 2269, + "where": "README" + }, + { + "actual": "6.3811356576E-08", + "id": "2288r2", + "kind": "difference", + "quote": "Improvement over PR2269 (this package's predecessor without the frame refit, 90-digit endpoint, kappa 0.0016962471390584742207696225...): +6.38114E-8", + "source": 2288, + "stated": "+6.38114E-8", + "stated_value_matches": [], "status": "CONSISTENT", - "target": 2269 + "target": 2269, + "where": "README" }, { - "actual": "8.481632E-08", - "quote": "It exceeds PR2288 (the same package without the kernel) and PR2269 by 8.48163E-8", + "actual": "6.3811356576E-08", + "id": "2288r3", + "kind": "difference", + "quote": "exact difference kappa - kappa(PR2269) = 6.3811356576114776350E-8.", + "source": 2288, + "stated": "6.3811356576114776350E-8", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2269, + "where": "README" + }, + { + "actual": "0.0016834125885426074623303197", + "id": "2288r4", + "kind": "kappa_quote", + "quote": "Improvement over PR2265 (kappa begins 0.0016834125885426074623303197...): +1.28984E-5.", + "source": 2288, + "stated": "0.0016834125885426074623303197", + "stated_value_matches": [ + "PR2265" + ], + "status": "CONSISTENT", + "target": 2265, + "where": "README" + }, + { + "actual": "1.2898361872E-05", + "id": "2288r5", + "kind": "difference", + "quote": "Improvement over PR2265 (kappa begins 0.0016834125885426074623303197...): +1.28984E-5.", + "source": 2288, + "stated": "+1.28984E-5", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2265, + "where": "README" + }, + { + "actual": "1.2898361872E-05", + "id": "2288r6", + "kind": "difference", + "quote": "this package applies it to the T74 pivot-566+554 words and exceeds PR2265 by about 1.28e-5.", + "source": 2288, + "stated": "1.28e-5", + "stated_value_matches": [ + "PR2269-PR2265", + "PR2281-PR2265" + ], + "status": "FLAGGED", + "target": 2265, + "where": "README" + }, + { + "actual": "8.4816321031E-08", + "id": "2302r1", + "kind": "difference", + "quote": "Improvement over PR2288 (the same package without the two kernels): +8.48163E-8", "source": 2302, - "stated": "8.48163E-8", + "stated": "+8.48163E-8", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2288, + "where": "README" + }, + { + "actual": "8.4816321031E-08", + "id": "2302r2", + "kind": "difference", + "quote": "exact difference kappa - kappa(PR2288) = 8.4816321031004605229E-8.", + "source": 2302, + "stated": "8.4816321031004605229E-8", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2288, + "where": "README" + }, + { + "actual": "1.4862767761E-07", + "id": "2302r3", + "kind": "difference", + "quote": "Improvement over PR2269 (the 90-digit-endpoint predecessor of both, without the refit and the kernels): +1.48628E-7.", + "source": 2302, + "stated": "+1.48628E-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2269, + "where": "README" + }, + { + "actual": "0.0016834125885426074623303197", + "id": "2302r4", + "kind": "kappa_quote", + "quote": "Improvement over PR2265 (kappa begins 0.0016834125885426074623303197...): +1.29832E-5.", + "source": 2302, + "stated": "0.0016834125885426074623303197", "stated_value_matches": [ - "PR2288" + "PR2265" ], "status": "CONSISTENT", - "target": 2288 + "target": 2265, + "where": "README" }, { - "actual": "1.486277E-07", - "quote": "It exceeds PR2288 (the same package without the kernel) and PR2269 by 8.48163E-8", + "actual": "1.2983178193E-05", + "id": "2302r5", + "kind": "difference", + "quote": "Improvement over PR2265 (kappa begins 0.0016834125885426074623303197...): +1.29832E-5.", "source": 2302, - "stated": "8.48163E-8", + "stated": "+1.29832E-5", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2265, + "where": "README" + }, + { + "actual": "1.2983178193E-05", + "id": "2302r6", + "kind": "difference", + "quote": "this package applies it to the T74 pivot-566+554 words and exceeds PR2265 by about 1.28e-5.", + "source": 2302, + "stated": "1.28e-5", "stated_value_matches": [ - "PR2288" + "PR2269-PR2265", + "PR2281-PR2265" ], - "status": "MISMATCH", - "target": 2269 + "status": "FLAGGED", + "target": 2265, + "where": "README" }, { - "actual": "3.759430E-07", - "quote": "It exceeds the current leader PR2309 (Dugongue, ...) by 3.75943E-7", + "actual": "0.0016965151242727336160359999", + "id": "2312r1", + "kind": "kappa_quote", + "quote": "Improvement over the current leader PR2309 (Dugongue; kappa 0.0016965151242727336160359999...): +3.75943E-7", "source": 2312, - "stated": "3.75943E-7", + "stated": "0.0016965151242727336160359999", "stated_value_matches": [ "PR2309" ], "status": "CONSISTENT", - "target": 2309 + "target": 2309, + "where": "README" }, { - "actual": "4.953005E-07", - "quote": "PR2302 (the previous package of this series) by 4.95301E-7", + "actual": "3.7594296888E-07", + "id": "2312r2", + "kind": "difference", + "quote": "Improvement over the current leader PR2309 (Dugongue; kappa 0.0016965151242727336160359999...): +3.75943E-7", "source": 2312, - "stated": "4.95301E-7", + "stated": "+3.75943E-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2309, + "where": "README" + }, + { + "actual": "3.7594296888E-07", + "id": "2312r3", + "kind": "difference", + "quote": "exact difference kappa - kappa(PR2309) = 3.7594296888470573817E-7.", + "source": 2312, + "stated": "3.7594296888470573817E-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2309, + "where": "README" + }, + { + "actual": "4.9530050554E-07", + "id": "2312r4", + "kind": "difference", + "quote": "Improvement over PR2302 (the previous package of this series, same borrowed words without the width exchange): +4.95301E-7", + "source": 2312, + "stated": "+4.95301E-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2302, + "where": "README" + }, + { + "actual": "5.8011682657E-07", + "id": "2312r5", + "kind": "difference", + "quote": "over PR2288: +5.80117E-7", + "source": 2312, + "stated": "+5.80117E-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2288, + "where": "README" + }, + { + "actual": "6.4392818314E-07", + "id": "2312r6", + "kind": "difference", + "quote": "over PR2269 (90-digit endpoint): +6.43928E-7", + "source": 2312, + "stated": "+6.43928E-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2269, + "where": "README" + }, + { + "actual": "1.3478478699E-05", + "id": "2312r7", + "kind": "difference", + "quote": "over PR2265: +1.34785E-5.", + "source": 2312, + "stated": "+1.34785E-5", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2265, + "where": "README" + }, + { + "actual": "1.3478478699E-05", + "id": "2312r8", + "kind": "difference", + "quote": "this package applies it to the T74 pivot-566+554 words and exceeds PR2265 by about 1.28e-5.", + "source": 2312, + "stated": "1.28e-5", + "stated_value_matches": [ + "PR2269-PR2265", + "PR2281-PR2265" + ], + "status": "FLAGGED", + "target": 2265, + "where": "README" + }, + { + "actual": "0.0016963109504150503355459722", + "id": "2309r1", + "kind": "kappa_quote", + "quote": "[PR2288](https://github.com/CrocSwap/integer-mult-bounds/pull/2288) reports conditional kappa approximately 0.001696310950415050", + "source": 2309, + "stated": "0.001696310950415050", + "stated_value_matches": [ + "PR2288" + ], + "status": "CONSISTENT", + "target": 2288, + "where": "README" + }, + { + "actual": "0.0016963957667360813401512017", + "id": "2309r2", + "kind": "kappa_quote", + "quote": "Concurrent PR2302 adds a distinct pivot-518/506 kernel refinement, credited to Jeremy Kothe and the PR1625 kernel shape of mdumitrean; its claimed kappa 0.00169639576673608134 remains below our point.", + "source": 2309, + "stated": "0.00169639576673608134", "stated_value_matches": [ "PR2302" ], "status": "CONSISTENT", - "target": 2302 + "target": 2302, + "where": "README" + }, + { + "actual": "1.6922901722E-07", + "id": "2322r1", + "kind": "difference", + "quote": "This finite construction combines the pinned PR2312 supplier with a new simultaneous four-helper change and two compatible owner exchanges. It exceeds that predecessor's claim by about `1.69229e-7`.", + "source": 2322, + "stated": "1.69229e-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2312, + "where": "README" + }, + { + "actual": "0.001697060296258836", + "id": "2349r1", + "kind": "kappa_quote", + "quote": "Comparison: PR2322 states kappa 0.001697060296258836 (1697060296258836/10^18)", + "source": 2349, + "stated": "0.001697060296258836", + "stated_value_matches": [ + "PR2322" + ], + "status": "CONSISTENT", + "target": 2322, + "where": "README" + }, + { + "actual": "5.6978500438E-09", + "id": "2349r2", + "kind": "difference", + "quote": "This package exceeds the upper bracket by 5.69785E-9", + "source": 2349, + "stated": "5.69785E-9", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2322, + "where": "README" + }, + { + "actual": "5.6978500438E-09", + "id": "2349r3", + "kind": "difference", + "quote": "(exact difference 5.6978500437717934386E-9; exact gate in `verify_release.py`)", + "source": 2349, + "stated": "5.6978500437717934386E-9", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2322, + "where": "README" }, { - "actual": "1.749269E-07", - "quote": "... and PR2312 by 1.74927E-7", + "actual": "1.7492686726E-07", + "id": "2349r4", + "kind": "difference", + "quote": "and PR2312 by 1.74927E-7.", "source": 2349, "stated": "1.74927E-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2312, + "where": "README" + }, + { + "actual": "8.1070736469E-08", + "id": "2363r1", + "kind": "difference", + "quote": "The final overlap check found PR2349; this result also exceeds its full published rational, by approximately `8.10707e-8`", + "source": 2363, + "stated": "8.10707e-8", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2349, + "where": "README" + }, + { + "actual": "4.7768834032E-03", + "id": "2363r2", + "kind": "percent", + "quote": "by approximately `8.10707e-8` (about **0.00478% of κ**).", + "source": 2363, + "stated": "0.00478", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2349, + "where": "README" + }, + { + "actual": "0.001697060296258836", + "id": "2363r3", + "kind": "kappa_quote", + "quote": "| Pinned pending PR2322 | 0.001697060296258836 |", + "source": 2363, + "stated": "0.001697060296258836", "stated_value_matches": [ - "PR2312" + "PR2322" ], "status": "CONSISTENT", - "target": 2312 + "target": 2322, + "where": "README" }, { - "actual": "4.788606E-08", - "quote": "It exceeds PR2363's exact claimed kappa 0.001697147064845350 by 4.78861E-8", + "actual": "0.0016970659941088806668214121", + "id": "2363r4", + "kind": "kappa_quote", + "quote": "| Concurrent pending PR2349 | 0.0016970659941088806668… |", + "source": 2363, + "stated": "0.0016970659941088806668", + "stated_value_matches": [ + "PR2349" + ], + "status": "CONSISTENT", + "target": 2349, + "where": "README" + }, + { + "actual": "8.6768586514E-08", + "id": "2363r5", + "kind": "difference", + "quote": "The gain over PR2322 is `0.000000086768586514`, approximately **0.005113% of κ**.", + "source": 2363, + "stated": "0.000000086768586514", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2322, + "where": "README" + }, + { + "actual": "5.1126144759E-03", + "id": "2363r6", + "kind": "percent", + "quote": "The gain over PR2322 is `0.000000086768586514`, approximately **0.005113% of κ**.", + "source": 2363, + "stated": "0.005113", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2322, + "where": "README" + }, + { + "actual": "0.001697147064845350", + "id": "2374r1", + "kind": "kappa_quote", + "quote": "Comparison: PR2363 claims kappa 0.001697147064845350 (PR2322 stated 0.001697060296258836).", "source": 2374, - "stated": "4.78861E-8", + "stated": "0.001697147064845350", "stated_value_matches": [ "PR2363" ], "status": "CONSISTENT", - "target": 2363 + "target": 2363, + "where": "README" + }, + { + "actual": "0.001697060296258836", + "id": "2374r2", + "kind": "kappa_quote", + "quote": "Comparison: PR2363 claims kappa 0.001697147064845350 (PR2322 stated 0.001697060296258836).", + "source": 2374, + "stated": "0.001697060296258836", + "stated_value_matches": [ + "PR2322" + ], + "status": "CONSISTENT", + "target": 2322, + "where": "README" + }, + { + "actual": "4.7886056420E-08", + "id": "2374r3", + "kind": "difference", + "quote": "This package exceeds PR2363's value by 4.78861E-8", + "source": 2374, + "stated": "4.78861E-8", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2363, + "where": "README" + }, + { + "actual": "4.7886056420E-08", + "id": "2374r4", + "kind": "difference", + "quote": "(exact difference 4.7886056420426594082E-8; exact gate in `verify_release.py`)", + "source": 2374, + "stated": "4.7886056420426594082E-8", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2363, + "where": "README" }, { - "actual": "3.038837E-07", - "quote": "... and PR2312 by 1.28957E-7", + "actual": "3.0388366015E-07", + "id": "2374r5", + "kind": "difference", + "quote": "and PR2312 by 1.28957E-7.", "source": 2374, "stated": "1.28957E-7", "stated_value_matches": [ - "PR2349" + "PR2374-PR2349" ], - "status": "MISMATCH", - "target": 2312 + "status": "FLAGGED", + "target": 2312, + "where": "README" }, { - "actual": "1.316393E-06", - "quote": "It exceeds PR2374 (our previous package) by 1.31639E-6", + "actual": "0.0016971949509017704265940818", + "id": "2435r1", + "kind": "kappa_quote", + "quote": "Comparison: exceeds PR2374 (our previous package, kappa 0.0016985113436976293...) by 1.31639E-6", "source": 2435, - "stated": "1.31639E-6", + "stated": "0.0016985113436976293", "stated_value_matches": [ - "PR2374" + "PR2435" ], + "status": "FLAGGED", + "target": 2374, + "where": "README" + }, + { + "actual": "1.3163927959E-06", + "id": "2435r2", + "kind": "difference", + "quote": "Comparison: exceeds PR2374 (our previous package, kappa 0.0016985113436976293...) by 1.31639E-6", + "source": 2435, + "stated": "1.31639E-6", + "stated_value_matches": [], "status": "CONSISTENT", - "target": 2374 + "target": 2374, + "where": "README" }, { - "actual": "1.620276E-06", - "quote": "... and PR2312 by 1.31639E-6", + "actual": "1.3163927959E-06", + "id": "2435r3", + "kind": "difference", + "quote": "(exact difference 1.3163927958589024577E-6; exact gate in `verify_release.py`)", + "source": 2435, + "stated": "1.3163927958589024577E-6", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2374, + "where": "README" + }, + { + "actual": "1.6202764560E-06", + "id": "2435r4", + "kind": "difference", + "quote": "and PR2312 by 1.31639E-6.", "source": 2435, "stated": "1.31639E-6", "stated_value_matches": [ - "PR2374" + "PR2435-PR2374" ], - "status": "MISMATCH", - "target": 2312 + "status": "FLAGGED", + "target": 2312, + "where": "README" }, { - "actual": "5.803051E-10", - "quote": "It exceeds PR2435 by 5.80305E-10", + "actual": "6.4954844220E-07", + "id": "2436r1", + "kind": "difference", + "quote": "It improves the pinned PR2435 value by approximately `6.4954844219583e-7` (**0.03824%**)", + "source": 2436, + "stated": "6.4954844219583e-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2435, + "where": "README" + }, + { + "actual": "3.8242219848E-02", + "id": "2436r2", + "kind": "percent", + "quote": "It improves the pinned PR2435 value by approximately `6.4954844219583e-7` (**0.03824%**)", + "source": 2436, + "stated": "0.03824", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2435, + "where": "README" + }, + { + "actual": "0.0016985113436976293290517338", + "id": "2447r1", + "kind": "kappa_quote", + "quote": "Comparison: exceeds PR2435 (our previous package, kappa 0.0016985119240027614...) by 5.80305E-10", + "source": 2447, + "stated": "0.0016985119240027614", + "stated_value_matches": [ + "PR2447" + ], + "status": "FLAGGED", + "target": 2435, + "where": "README" + }, + { + "actual": "5.8030513211E-10", + "id": "2447r2", + "kind": "difference", + "quote": "Comparison: exceeds PR2435 (our previous package, kappa 0.0016985119240027614...) by 5.80305E-10", "source": 2447, "stated": "5.80305E-10", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2435, + "where": "README" + }, + { + "actual": "5.8030513211E-10", + "id": "2447r3", + "kind": "difference", + "quote": "(exact difference 5.8030513210870623245E-10; exact gate in `verify_release.py`)", + "source": 2447, + "stated": "5.8030513210870623245E-10", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2435, + "where": "README" + }, + { + "actual": "0.0016991608921398251600279999", + "id": "2462r1", + "kind": "kappa_quote", + "quote": "Comparison: exceeds PR2436 (exact kappa 0.001699160892139825160028...) by 4.39142E-6", + "source": 2462, + "stated": "0.001699160892139825160028", "stated_value_matches": [ - "PR2435" + "PR2436" ], "status": "CONSISTENT", - "target": 2435 + "target": 2436, + "where": "README" }, { - "actual": "5.040389E-06", - "quote": "... and PR2447 by 5.04039E-6", + "actual": "4.3914208398E-06", + "id": "2462r2", + "kind": "difference", + "quote": "Comparison: exceeds PR2436 (exact kappa 0.001699160892139825160028...) by 4.39142E-6", "source": 2462, - "stated": "5.04039E-6", + "stated": "4.39142E-6", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2436, + "where": "README" + }, + { + "actual": "4.3914208398E-06", + "id": "2462r3", + "kind": "difference", + "quote": "(exact difference 4.3914208397692253913E-6; exact gate in `verify_release.py`)", + "source": 2462, + "stated": "4.3914208397692253913E-6", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2436, + "where": "README" + }, + { + "actual": "0.0017035523129795943854192668", + "id": "2474r1", + "kind": "kappa_quote", + "quote": "Comparison: exceeds PR2462 (our previous package, kappa 0.0017036763879936764890...) by 1.24075E-7", + "source": 2474, + "stated": "0.0017036763879936764890", "stated_value_matches": [ - "PR2447" + "PR2474" ], + "status": "FLAGGED", + "target": 2462, + "where": "README" + }, + { + "actual": "1.2407501408E-07", + "id": "2474r2", + "kind": "difference", + "quote": "Comparison: exceeds PR2462 (our previous package, kappa 0.0017036763879936764890...) by 1.24075E-7", + "source": 2474, + "stated": "1.24075E-7", + "stated_value_matches": [], + "status": "CONSISTENT", + "target": 2462, + "where": "README" + }, + { + "actual": "1.2407501408E-07", + "id": "2474r3", + "kind": "difference", + "quote": "(exact difference 1.2407501408210361468E-7; exact gate in `verify_release.py`)", + "source": 2474, + "stated": "1.2407501408210361468E-7", + "stated_value_matches": [], "status": "CONSISTENT", - "target": 2447 + "target": 2462, + "where": "README" } - ], - "kappas": { - "PR2269": "0.0016962471390584742207696225394800943861284603706821716607210815258272261945561178592716719999999997996607505720883051558460754921039811", - "PR2288": "0.0016963109504150503355459722948928372280921721968724561762220421147644145761482885984967571578775454795315558417113412813231694622783490900348662681729592231903560853351255426786420763663178655003281505857286229869637466044243361588921779343716397967014438707898921127328975611256954437224641356898964339750713275612215896309041743033060768412139515368921536567057807207970466805003234862027817806690888390640784312394449662495210379111189000631731969913840405376781346897986214021741117422083725271871234401300183440304871341727820180574990353647279025142496867177789206624424997571530449519473352459498702658190828360923979498460128294798369917738404595397076263670723799359146613908833280073309651683729500428984791690934381229160893705326133037686127780198339018446754315723841737409963499522556148454109950498516960459062732145158464860520078222748772968666075308688060102095614219976567632142437588956251046223730866088862642016182480104196556736296484779283894121049643477734969019861544809837984636249407062760727016150066849286523322382074826026591803191556133160894153871744448522032246500691186272893727169459533826781329045410280180988227028953413948959627749435199294031602259974218679241756389094310293571776392665275440060128416069298336060934137683594749721875539100961984531705428740926745070478347051156564464735857576131568055392439349070688880983269683785203701743772494006377580873498989793098269416860245163673122355107078009192943296623200063923837978979726391155585227314506166287746919098802987376988749553428565117960680127117162859295585227836619358244831230559141562987941014958985682702824249440221289383909203561727045338247733043391763320670727494268068194378574627275095092953256732444212010516159194168180734821980726368427670070083408548719514533875518211958369469443610189017971552955689302325989684135168369391344574216178885288117746332765863840834323243319512183818941784295388396142410597918436552038064272557102280593496223131576927738593912346466653541945307822699814228743982825778594943895299684477718445989153104502257728995186791911138506213294032637402557360080474323425209358316182406158317687799224345569293433266156429509667100484719547899661170517984309861756776927699226774589333862417619615368800621280904731717007166601114931265538945746290456987826198646807505442125838746726438952084536942026710073899593382686159240597649780928138606355205051150505411617909421597379489564148134928926452171026914761461651993691541524538533834516264821822447885276530775319313163077520187620131998416989866100917322207904174653603539624514404731819512306251114049648504295075390277206769978284985627399920781440314570024036501328001706131508141398741768215146098232034243920786833682457710615638883903735636031855214906341242985023985190321962818946356673366984195534290058577773793515114601500926048296812708989110472867763853176364841468154926700424141264878832861923854082418142072303154196136904410704478768982906491915123250789901966397050583475894251697949999999999999999999998999999999999999999999999", - "PR2302": "0.0016963957667360813401512017553615279117657068999363362106179646359054125313327703641011221779442459539871339461089219553691969977981401822760624794359560302229082314375995113942636590530620500782018194470671677119219839790494868307385847339452290887998700500411938799170674858093003286928048347274196039389000026290158196870872057257166500256835682013163283959997146169413950711966027087759767643419344712853576886783980615153279853404871016920071981553436279223622600525528471894700346011238233160868742145859860232058840791090764650133979481731323862930667518610044720573929298900532647950009058229587419786329958635690641780883137293844634272967192129687625408058060979531066936687993586039456039983556398478876965232482500625906736777109730724363281837955848614134083855809276505907144514733003845909331244045116980160376226985173142007628755093785143804942105479013303454321654201006831063585897430195472621578837899364607899809076894338902922137189579253839575904800502610823779130735405603222473104747840629391300795787215163295589140558844477425029302996689344654557359518706574870692938432544394742080506599997481540301232455817253619818598089752894860335888890891880609355298270585656725967316985275280947993338075572101492385630908482865327189235020782479107222108858033635848484476216327745019864086458153496328944574382125376897016725855331581938687114469271253756940030142844034371034587111817349355531104318277478257775334736701581945229498694136616722992028634631701247483684781250376596144385321278165606853375118819053849117338897262268427648262083455985839725633062313154695107759038550706454041941335604443412998733314092411840156288419954892739877843363834586046209819538672727213101410080383088045149018402130819728297511733105868594243532422336753902918788806466274681744246646231919140342567931214862038137091588934018251621114223684759626831339521740017781252613474170420781940878405217534505039416191481935402640036986540158535291068418753431261769460339726043941330310230377899497156447379116998376192778609260328368073641708331187025338628941230659019886492604497357183156893789943392609707575190186729444486788239744694366996859954082129202977358652316001835628949595287583151561304797052473367226958069794800493678276862560358912337464359182323531306401167100839378883760333513912116046596297577086537173884239225402145910324209403865332661419916572372514397914176245034825502665354589686225181030312038801291955465396008078308395064856427920952835111772605746736316974495455631547761742048841271657420320301289128193817983624681549963224888472167699611833879336569131555833595853052201499353493629265799166715221065545501398338697081697219199223693278872441290995511120223269123632695643837629348428447025464796370314880913595117416482942440311412104992815244674930680260974933325676734432766624185506445208555388434881647973303483680217436986110622497014745484207497834185076498923378325028164419862694022665993974610131397860814963409376069481211236799567291945371869999999999999999999998999999999999999999999999", - "PR2309": "0.00169651512427273361603599999999979966069697504545327679280000000004", - "PR2312": "0.0016968910672416183217741664253306608313981871092591606785919721402466639482482604987906263436319985389087871920003727358089119691707125587293854195155301058935307364886189555996708547329881149336171247397624062103977014347087762605109750003863870743475274691466395235605455481253063648267688039781009733928457165151604641322558732668437746794925668289907050567778873259759662053706072684456725355130545854771319425377578844216675825584100615847114979554027553297049347099204664135922300782429027035429464907618296323253341128396275606281605020531264794881994238788450715107277460782109723898992918243303877198293634385667476424412809338659096025220807537458242003006774474582572795176719443102952811309876269970049786625694902781705876093392614109481347502079297479652418310693478037966928769632288462141311493054291949198114853965052272858201299718515282888313121797890314969248776140728921160051695384282681414393404304421140383924704426610285765062413408544381292457178726358313508862153561057504414077027970695531560096150460376881037031468419536178691536123433486079074048106431857541645132925560648447559989481024433963894933526214378179759154363115838058899901067411832488838551415436332889205090770617684196339637344081123118067975810238639433231697101460633440155678271626333781219229933594252604855299228509163934080543158210331137703511625330202557315948544613466863457893127380007535047723339212640854315333987567857759850100339276181487816724650467750013179775993133572257752052454989143702479584122085118908035471230260085737465517796067404943790016458770622870653446212123108363343069244012694724442136316184831523004177211326361210553608828593009948580729393044252657303440133739771537941324340450773640896013819683762056116290009744511822200023426490468682709648389651639512757105362112321954064453732002955321470367851684784431634019903519266935978726446079479273317926687384502981648990712661364030592861235772635328285280704086619333693094087529047740263272883275494149386456304195135509911882031954745707488562602121362460880523043506983232808949458715950201344637422580009252305219461828237069713391979089554038780755254072931375695344547716661134859914478618147908365798389657931861631940001337768748909356388790689265099929633539105822912086575008889516397850826649342456170516696181708171755769011523457215535681407679684825026233268470258218136360518873878773850955837197720588545023498401227049469686022445083705677438867848715747877812021060662883436727377954412816281838018705016463164329306685515748320026909202095584712021857302551654551840507062174082415387895225048430875754149289013655473017369297142738995255609843419540900573806791143357042838726884154006170770145933462272159779421762698797411823946084268392615943973880571614055272161870842877436053181241288156257817073874152090437768617845705841332808354103336385175278415545563728413850452789830714497009816127583135013639566687301581588887750204814966804947137197477905952275936302061995403597010762218862039999999999999999999998999999999999999999999999", - "PR2322": "0.001697060296258836", - "PR2349": "0.0016970659941088806668214121951845796408445843055394080457179049773764913423221479271940726772554144108073159151271631479093639014714005691552649331492542250054123733095440521277487766511857688298674704546970135152117747408640029940780896994740854935582651848520473690022271930726867652097384279290372409774307933977627109231051788129336721750587791020365448051916019941989902350746945976641296882375996366757433208807478945797201751874951178305512994442924094782959991992583136617680538558334835020627215931794464666083868085237041256507894416664449021512964893788919738195846653502303288739922771289428423640066476038860109061323768837173547820291795685124621074228949638661024597240170039150020683497247180999633488719887039367623674090444445609766023234041448444083543787248764637689324976364650639413061458787606134845457174582648768844252808370225315952315699060886005813441535114851566563634601061835273800318874691715954979986314748067175931892005776716058831488641189679789773816638711039040583808753916163231725113484031745931067052386111152024589700410475235407923825271056913831241628058821892924649174204799028680287151257887061659297754030644193665298744672991371751685713467564572007461624730858860242224035509679094256187675212172390621563821686699218037867575137685441173679572421496331105858276902195155383835025540053002929024418463529787954459466056999932435484871010074578659441598371754399601050126291615564378633646777227079270753310955165028845781841116167129252015684784073330043067867270834532561858355673536879824374012877282689415211928297253552095894477287047616341439947282478953226337473148648570950201465461098277767908689632776893311807911882305683255602604846739991740979443052983778965431956008277230385371101501138856164485117130604125494746381895636743465122339427664936220936275678348284774759316504237529399057767944372184786332614691626434836387380158259836255060270198883250901355616012326471138808306704764499373653715590238955163543309116562221870919465516051526770854906377976375095934884020091758964419902246580980820979611264297946650372565459306605637269467823457541428470568804348472961060012685504247985331604025791825933273282662289927454282789294136217082770636013069967252425115155506272614256656988857930899501427549247963678389352800098393274343130030862392709494761260220359109889265960024084639368403324269140141577745345022760744247789804212911512591556937041463046676625512139340523301735950799165745698791025785544138300654090266674944006080787708748975261988143645694621678655317821853144874080905528144088664583508208777376808367760952705817879448212959205833232929657417299279751932532363519621100418885374389971618786741168757666160121581199919904005587889203481120102590713188372662337154564168629006548235187846440189412138795355850546752120619324879629128004718800413416182559179800618564570832473910132737102168878341278576013530945403202597022360183873891332508682100114107214984387948748428542677284206744954658607439925640183535549999999999999999999998999999999999999999999999", - "PR2363": "0.001697147064845350", - "PR2374": "0.0016971949509017704265940818773095411997829254474375229705809997635438062942204765954562383974077821671831369565342135210662806080984189437744311691170166878200706637656120224415299737717701337307539464110268836203281111987753159498203954701705205852698182995035958027658044607115822574508666985181699711923175134847560718669920281030992600965545441954035328408493723703194682661214225479411060097662633754661550995525106462258180812881394912204830656550720788554855150041136725936752258040654282493873524814048951275613529361946942930756606941674074477881485086387253593916040344556969145236818327248309098647296974311830069674219033678569504586581135358848081070141238752991674150396577553602390245098256623610206219873018910702970683481898704791312128544927797796263798965928185946464208453538038074130191248384897942236565804073051820886237792115045300205866675310844866731650898744658240052151403474629612369248407339925817250755774230849162429893816537967019801563891871154347775301101452039034203590012030571830828102063480584807251100111533885801953898940545829732671930912393072557857172603412452229175719796953206694288737814097206799032728139418329449617047277996553941167768501692770450270903073953001977679531560526318261641545560089674289210949739800895987320710205405144779108114410801410863004777930712359085672774857562943038447218083992439662882844810916772482599422378373397511127617771820574570321893388248531869294501515231655597646378900151261952601403678797872447106754637862547429677096069631147251860052756420659326128494026586838106695013238864030608401406156607559989211808454412638637175211030555454020488650023294167520672980980396370514923547443975614840890626840642981934129785156305249800680496635934963165026962087272991982852425076410102938295280642112519009725151518793502417899440161288959425552435156339988887994241563680501591034798080807680420907177078719219475936443453591733013776785983706296335551856437598080747432920929336409488151175919768679340727810125057537659035408133643666970582481765189938136267947101008867469846414911701653627941553461882443557617407944704412052768481182211920226323727462445103056307935153715081554046115943894672966439801441223675986168815297036589266986545180924888304377614106150893981516595103244696808698485755403663575692962132048959618919396672463657258697165154476184606747977244468238112487890243300215295911516769877096033023277755679579119616362363771146906851312883551325577910752948791145027867851031285296278290624616792326245346316955108929449453650392187829083153563766593182662271262370655984316122305681275693367071550045835867673591141005622801963302635483892372821569656326071183032535073704098039743172546777387752768217496897183134894138727088377616522650102507208838965437331059647644187138589104298496147389776807118532428525203523839384398259710922706840602678791436521874179119410390463568320091540786380546514858693482059552649347514416855482639636114585292794893763151788378014165475136659461413021709999999999999999999998999999999999999999999999", - "PR2435": "0.0016985113436976293290517338141877446308055110967045933112789142962230829468162898341951791806612097103089373234971683843352747786930041151727362819565230218349121075974166971824969591011217978263772357971645637990906671947907264145608572312831884027994294129916401260085150019209771313354764916248453595083165495324143523894449450691307086112491644144865158608055855884464187565801019555715970196050475190435909515154211111746650599567224499059795061082684332558375704345494867609328212726505329205932635761431749934820741127389044354860113766948092316247723704125119645275990197876854879992017397555143192287544724913630217464784503656948990786068598407873145289054550742625443908707733418270092545559085087575922813686919128943056715534713410017028659255187727620917187403119881890253391323975990386407713427526885644658486243444047073202627454384564726751561652433479720829616046376359016291378111084223539218953623912571977915965711868344311448096041639498896249066806011480337926979336386922535296303752711889978569232419801794934322834391758343224495751526935421536033765421920712479882326684183343175192506299338548272335365486251925033343467210567293885905433780822999898604806238618868381030618734960564543625151176983437948634467084422228827374831795369936288472513373544493094900054747070753455699633326414320913460348479500983823174310013199097862135411812726539849723398231855832967776337718672217880238071981788235029509052279747189188681017572483164064571080246530954181586740864619167589362678617045511756037366397896287535580824234872210152899236988326941025506999808922548377766309470729712387648163405540888355093150391393147762868679282467450248868441271263534493578828020033697285447763448133926166569487422405222986476700516751666801177807240657564339291923875269516741832922888995392021815208206000349549288250522070993210698907902608614026748746226358646184865889780191165888384651919903384475762221811266201306458084323514041511509641989786115752760407119009860442439632421403230395972475348378156789079511896489813648834249547691849265251849667444226323872984574855719511144598417008957627888727054559888291831917098918028329850588422718093434809471730512569958638862082155535047678827813738782160371366678147328051204025977598523823201157893310362964269992621082595013887883317116160638083051854550265075133554450400672096216801889893843542349827136660836690734577713840538485494706157608832285361332402523141110775007848457158586364555932568759681602669482751949814440768908964969207479429539605772323917098643373158579016561519795798882730005614360958024497845667634552553552983588304002856198810822137614346744361151657633282342263919735927514970826742259413534781096542529517187951831272379701715213763298528196318890985268220654521387901862300533678359917037097369847001136323652610917811136723698294245291973870628779153244079459318485933533570876673919779617623307381536963771175021281784418966086504076951993546379032710653964402197313385999437909265508362772441799999999999999999999998999999999999999999999999", - "PR2447": "0.0016985119240027614377579662622550277564752303014632001085912824859507393078282437035179252414291502705054755462357003717759558103498629813115442068360114264334651758949987988872541204107097072948576448846094956768257152529527662956303677471782361593894085900298540552164997753216115340278680558041162973284303935913190198425924379082469805613245983531869824002701698374684691517018577573110696293124537872104859523371741895970797431623776302463363459747587206837294018893284874675114732279390512604545102134422317467968416908718002204506398642106718944289038923999380404503614240503128283136077451417628685228023232453979477282404270797636652706175380813703170077311247490064895458029087043521285272301772214952884388593506827466177521786229924388787415098883766523802090381379143866377309901507052223528306468101431468438490264132304183375802588280147067331828626591480205941245573696234680138810629380613301444051150686224207523014475725970623331838332824735641183653720108016324416184767138082032444150163014161126699794488247990208579609704814988230865585355601681433595996948770858766402889040030968246713616312811344732121617470930010893713729130403188416189679378105887018086547167745302146962889203905466726180699749833752586666455403237780487599766402436806069944504986685701882807188024781826493583179934023322084058083541246114999145300430531747836555219353694662071692255763923382320837270881865337075779917907230837385699866798569999215436573022358446513182753943404939135583753012958773616315641648180417253336086826010039087921869126288436519051035942729345571304280442647214237150698428561157192814553044775037108152303161274121880992217890131206941751727917934955780336365896597968707723675222915284230540627018458658031705295771618388127639417863427109239894251943639727809138599457280105242127622925946074704073915727890439763501672757058495342215351508708462975756044018626130534760940336150554399853488027551220942454321281571898917294455404752275258000957228128366801323227609478166347750532436189374670869398510293004691371804623125134440518228609279229385405520421279139158902684474777199493925943747627478631455902789384753762408682787612396590302666842650873174765130959418286142645856413045396869797717505779706435341617592221898227109807785275580497220725060305458789550793105767294329594990574780666810951473505383047646613535182337676456220504895865986051631741832160250699224119882051705145865254383282811957747119276363385010505970659474676544779471339092894874881460336201771712170894392330533573924936169782841322375462425323658211611087842632879910979102002352426149647130420236315904658313107609581985667016932082417230893193452013638869893749742709260248684080473551825456129715699837644275206416147085163693934930226879643144277994410846580231814852187247839518274736465678580881966698812765805658983610013031904006897267358475617620719811854918666338638829416302367430190781972157760065779979919005979915421308823628467650769829231014302338804437427800900266239999999999999999999998999999999999999999999999", - "PR2462": "0.0017035523129795943854192668981419560041186667715935483801489089878174045096528810686296477393161276162365054206824664783353107495434303317955377139682181786205318545208743143697256683115529782550131900714723247885153532994606800243775783466597796417183521369435219313150528832791671308432204238046495534507108282822462916762946590530105455856293349740209068099958963533375251505190543323424575879904553656713761948118547230223049923677114326155835159844488684094012890457059862115152768761014483558621763323571201882497697720464937933178821473489520238275845276955046820213133703360130626327888728633668908513150810766782948160763999903215708220634550405456911914701814439553227899920410838932463404073388211199706844646172426613563320440417956114200361074574361643929771163281348586703075317537708216964010033256307360502185155018373725574685675662875958169576310463548067537654605776780593432559022730309688621931694186068947616499265036749870316172654624958397438535987989197566169376044979951687905569646814768147922362388355078003790122590334568255050125593926663309593725153954918742767436208860579012628077817316592875168320496276117115465554945355598342989920860231234159707852851823859425612604848951874449133194660631892069481063055883203365712740350402506519322332041274558633907900236899243002135252631296545347958178271086887410589527530947817888060767236153288175861431369838880673492670161634091160799054290372470969908278348720957849713710855536110618719130053141796422993464765796033560759414901318338798078616389323710705194655112808100898993178916124419650064006785026677778262286631807279578677416181397849530809512936565358949625971421206943946351493177547845975266611679774592272012105536170060084504224511789134739294955257699850827554707129957066722485567664882736447232834133368837946017020513064439487299548834299468277060739208585694961507637069228760729458081581195102813459740912096053051788321467573608610458506157529375585305303875323205533207781718023258045205223646740294461734539123556146057429187898376066378289641491615028376518381538626958906282154082367213500801670625829156003545472426099099783361931708074171325473493585192649120282304988974349467914240420802042284557316687621241387445490888152893157523781165375346929762905885379864013091782649035151780368498628829552124276248516478675196280679051962297322742511390075251159283048168994932981365788650244895554177335277268504590548139746924680143027319280509513992568223765075121315792709617899192706780363796498760023601332510786058604623366864000862292220023647173927058910654493081961802760129522981328451420730696905517663805569383566517861955115637949320271514567423018267979624263532702343725585395610474605009587474971429455256849387713567008403813467479747265502493176514365187218810031312244795050396761782230835835021352001052491168038346680317393566537290140955866608892311144162280849720681636317608515954125108954160054905066390136331590612433964577703076536181650473297244250258517168892282759999999999999999999998999999999999999999999999" - }, - "mismatches": [ - "PR2302->PR2269", - "PR2374->PR2312", - "PR2435->PR2312" - ], - "object": "T74 handoff-line kappa ledger and stated-comparison check", - "python": "3.14.4", - "readme_2435": { - "path": "research/gmx-t74-borrow43-handoff/README.md", - "phrase": "exceeds PR2374 (our previous package, kappa 0.0016985113436976293", - "pr2374_pinned": "0.0016971949509017704265", - "pr2435_pinned": "0.0016985113436976293290", - "quoted_as_pr2374": "0.0016985113436976293", - "quoted_value_is_pr2435": true - } + ] }