From 96a3088d56ad9d73e4fe59f6320c8125c4b9a319 Mon Sep 17 00:00:00 2001 From: commdata2338 <199849969+commdata2338@users.noreply.github.com> Date: Sun, 25 Oct 2026 01:05:58 -0500 Subject: [PATCH] =?UTF-8?q?Research:=20audit=20PR=20#4180's=20native=20sci?= =?UTF-8?q?entific-product=20normalization=20(no=20new=20=CE=BA)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Independently audits the native-output commitment gate of PR #4180 (native_outputs.authenticate_native) on both retained PR #4085 THREE providers, gauge44 and extra. A separately written normalizer and structural JSON encoder reconstruct all 22 committed product digests. Each provider's 117 product root fields split into 109 ordinary scientific fields, six serialized references and two root timing fields; every reference target is checked to be a leaf of the reference graph. The unchanged gate is challenged with 408 cases (374 rejected, 34 accepted). All 218 ordinary root-field edits, with every dependent reference rebound, are rejected at the final commitment check. Re-serialization, recompression and valid timing changes keep the commitments. The stage log contributes only the five ordered stage names and integer-zero exit codes, so other stage metadata lies outside the commitment: a scope boundary of the gate, not a defect in #4180 or the selected construction. Actual FOUR output trees, native semantics, full ordinary/outer admission and the selected #5413 replay are not checked; no supplier or κ change is claimed. Adds research/mixed-native-normalization-audit/ only. Submitted by @commdata2338 with substantial AI assistance (OpenAI Codex research and implementation; packaged with Claude Code). Co-Authored-By: Claude Opus 5.5 (1M context) Claude-Session: https://claude.ai/code/session_01Jur4aiU6BBSmBiaRjkbECf --- .../README.md | 216 + .../RESULT.json | 4492 +++++++++++++++++ .../SOURCES.json | 222 + .../TASK.json | 142 + .../VERIFY.json | 55 + .../verify.py | 429 ++ 6 files changed, 5556 insertions(+) create mode 100644 research/mixed-native-normalization-audit/README.md create mode 100644 research/mixed-native-normalization-audit/RESULT.json create mode 100644 research/mixed-native-normalization-audit/SOURCES.json create mode 100644 research/mixed-native-normalization-audit/TASK.json create mode 100644 research/mixed-native-normalization-audit/VERIFY.json create mode 100644 research/mixed-native-normalization-audit/verify.py diff --git a/research/mixed-native-normalization-audit/README.md b/research/mixed-native-normalization-audit/README.md new file mode 100644 index 0000000000..4177580b82 --- /dev/null +++ b/research/mixed-native-normalization-audit/README.md @@ -0,0 +1,216 @@ +# The native product commitment and its execution-log boundary + +**Independent finite boundary audit of PR #4180; no new κ or supplier admission.** + +Prepared for commdata2338 (@commdata2338), with substantial OpenAI Codex assistance. + +This package audits the unchanged `native_outputs.authenticate_native` gate in +[PR #4180](https://github.com/CrocSwap/integer-mult-bounds/pull/4180), using the +actual retained PR #4085 `gauge44` and `extra` native product trees. The +independent normalizer reconstructs their 22 committed product digests. The +mutation sweep partitions every root field and exercises the actual gate, +including edits whose dependent raw references are all coherently rebound. +[RESULT.json](RESULT.json) is the complete deterministic case receipt. + +The resulting scope distinction is precise: **scientific products are committed; +stage history is projected to five ordered names and integer-zero exit codes.** +The gate accepts a minimal stage list with all timing fields removed, and also +accepts negative or nonfinite stage timings and invented stage metadata. These +are witnesses to information outside this gate's contract, not invalid native +operators, a new admission defect, or evidence that the selected result fails. +The two product-level `seconds` fields, in contrast, must pass explicit numeric, +finiteness and nonnegativity checks before being discarded. + +The current selected record at the scientific base is #5413. This audit concerns +the retained #4180 integration named by the revision-7 supplier-boundary card; +it does not replay #5413 or reinterpret #4180's historical selected-status prose. + +## Exact boundary + +Each provider contains eleven product objects with 117 root fields, partitioned +as 109 ordinary fields, six serialized-reference fields and two timing fields. +The oracle derives new normalized objects using an independently enumerated +reference graph. It neither imports the predecessor's normalizer nor uses its +reference table or digest function. A separately implemented structural encoder +reconstructs canonical JSON; SHA-256 and JSON scalar escaping use the Python +standard library. The unmodified audited source is then executed directly from +its authenticated bytes, bypassing bytecode caches, to check the same fixtures. + +| Parent product | Reference field | Referenced product | +| --- | --- | --- | +| `CLIFFORD-REVIEW.json` | `canonical_word_sha256` | `CANONICAL-WORD.json.gz` | +| `CLIFFORD-REVIEW.json` | `recipe_sha256` | `CLIFFORD-RECIPES.json` | +| `INDEPENDENT-LOCAL-REPLAY.json` | `canonical_word_sha256` | `CANONICAL-WORD.json.gz` | +| `INDEPENDENT-LOCAL-REPLAY.json` | `local_programs_sha256` | `LOCAL-PROGRAMS.json.gz` | +| `WARP-RECIPE-CHECKS.json` | `canonical_word_sha256` | `CANONICAL-WORD.json.gz` | +| `WARP-RECIPE-CHECKS.json` | `recipe_sha256` | `CLIFFORD-RECIPES.json` | + +Every target is a leaf of this reference graph: none contains a root reference +field or one of the two discarded timing fields. The oracle explicitly checks +this property, rather than assuming recursive reference normalization. + +The two timed objects are `CLIFFORD-REVIEW.json` and +`SCALAR-FRAME-AUDIT.json`. Only their **root** `seconds` key is removed. +A newly added nested `seconds` field remains committed. The other nine product +objects have no timing exception. + +## Source-relative normalization argument + +Let `J(f)` be the Python JSON value obtained after optional gzip decompression, +`C` its canonical serialization, and `H` SHA-256. For a product `f`, define +`N(f)` by the following operations on its root object: + +1. For either timed product, require the literal source predicate + `type(t) in (int, float) and math.isfinite(t) and t >= 0`, then remove `seconds`. +2. At each of the six edges `f --k--> g`, require `J(f)[k] = H(bytes(g))`, + then replace that value by `H(C(J(g)))`. +3. Retain every other key and its complete value, including nested data and + any additional fields. + +The audited gate compares the product-name dictionary +`{f: H(C(N(f)))}` with its fixed provider commitment. It separately checks the +word commitment, ordered stage-name/exit-code projection, regular local files, +and the complete regular-file inventory. It does not regenerate the expected +product dictionary from the submitted cache. + +For the pinned graph, the three target objects are themselves committed without +normalization. Consequently, a simultaneous serialization change and correct +rebinding of all six raw references leaves every `N(f)` unchanged. The same is +true of valid changes to the two discarded timing values. Conversely, every +other product field survives literally into some `N(f)`. Changing a target's +parsed content and updating all references cannot erase that change: the +target's own committed object changes, as do any affected normalized references. +Product names remain part of the dictionary. Missing, added or renamed products +cannot be hidden by changing their internal references. + +This is a structural argument about normalized values, not a proof of SHA-256 +collision resistance. Inferring identity from equal digests retains the ordinary +cryptographic integrity assumption and the fixed commitment file as a trust +anchor. Python parsing is the boundary: JSON key ordering, whitespace and gzip +transport are irrelevant; this package does not claim a duplicate-key rejection +policy or enumerate all possible JSON parser inputs. All retained scientific +numeric leaves are integers; floating-point root timing values are discarded. + +`STEPS.json` has a different rule. Only the ordered list of `step` values and +strict integer-zero `exit_code` values is inspected. Its other fields never +enter the scientific product dictionary. Thus this gate alone certifies neither +elapsed time, executor identity nor the occurrence of an execution. In the real +caller, [`replay.py`](../mixed-provider-admission/replay.py) checks additional +source/result bindings and assigns execution labels from its own control flow. +That caller has not been replaced or fully replayed here. + +## Bounded evidence and reproduction + +The coverage is one deterministic leaf edit inside **each** ordinary root field, +not an exhaustive search over every nested leaf or every malformed file. Edits +retain the leaf's type when possible; empty containers receive an inserted +member, and null is replaced by false. Dependent raw references are rebound so +these cases cannot be dismissed as stale-reference failures. All 218 edits reject +at `native scientific output commitment`, rather than at a stale-reference or +parsing check; the exact reason is part of the fixed receipt. + +Across the two actual product trees the receipt records: + +| Case family | Accepted | Rejected | +| --- | ---: | ---: | +| All 109 ordinary root fields per provider | 0 | 218 | +| Six stale references per provider | 0 | 12 | +| Re-serialization with correctly rebound references | 12 | 0 | +| Added fields and missing products | 0 | 44 | +| Valid product timing changes | 12 | 0 | +| Invalid/missing timing and nested `seconds` additions | 0 | 32 | +| Each stage omitted, renamed or given nonzero/non-integer exit; reorder/duplicate | 0 | 54 | +| Uncommitted stage metadata | 8 | 0 | +| Extra files or same-byte product symlink | 0 | 6 | +| Combined JSON/gzip/timing change | 2 | 0 | +| Cross-provider products and wrong word commitment | 0 | 8 | +| **Total** | **34** | **374** | + +The independent oracle and unchanged gate agree on every ordinary fixture. +The cross-provider and word-binding controls separately challenge the gate's +provider lookup. Both THREE trees reject against each of the other three fixed +provider commitments, including the two FOUR entries. That is not a replay of +the actual FOUR output trees. + +From the repository root, standard-library CPython 3.12: + +```sh +python3 -B scripts/research_package.py --package research/mixed-native-normalization-audit --check-only +python3 -B scripts/research_package.py --package research/mixed-native-normalization-audit +``` + +The registered command uses isolated, optimized Python. Its direct equivalent is: + +```sh +python3 -I -O -B research/mixed-native-normalization-audit/verify.py +``` + +Expected final line: + +```text +PASS_MIXED_NATIVE_NORMALIZATION_AUDIT providers=2 products=22 cases=408 accepted=34 rejected=374 no_new_kappa +``` + +Normal receipt generation and the optimized registered replay both passed on +CPython 3.12.3 / Linux, as did package metadata and source-pin validation. + +The direct verifier checks every live source digest and compares the entire case +receipt. Its inputs are read-only; mutations use a temporary directory. Optional +`--write-result PATH` writes a candidate receipt for review; it is not the normal +verification command. The normal replay never rewrites `RESULT.json`. + +## Scope, existing coverage and remaining obligations + +The claim is in [discussion #5511](https://github.com/CrocSwap/integer-mult-bounds/discussions/5511). +The source base is `32890bc5de034ab8fc93ac88ead7279a6a416d04`. +[SOURCES.json](SOURCES.json) pins 34 live inputs and the historical catalogue and +selected record. [TASK.json](TASK.json) records the refined card, exact predecessor +heads and next questions. The package changes no shared or predecessor code. + +PR #4180 already exercised phase corruption, omitted phase execution, a false +private-erasure claim, and equivalent serialization/timing. Its full author +replay and owner ledger are not new results here. James Reed's independent +[#1166 owner-ledger review](https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19074124) +and [source/binding review](https://github.com/CrocSwap/integer-mult-bounds/discussions/1166#discussioncomment-19082260) +are also predecessors. This package adds the complete root-field partition, +independent normalizer/graph reconstruction, systematic real-gate coverage and +explicit stage-metadata boundary. This account's #2040 concerned PR #1824's +different payload comparator, not this native gate. + +Not checked here: actual FOUR native products, new native operator execution, +source/compiler correctness, word endpoints, owner rows, full ordinary/outer +admission, selected #5413 replay, Windows behavior, formal-kernel proof or any +all-size generation, precision, tape, ownership or analytic assumption. A +commitment match preserves retained evidence; it does not create new evidence +that its mathematics is true. No independent human review is claimed. + +## Open next questions + +1. Apply the same independently reconstructed graph and case families to both + **actual FOUR output trees** from an authenticated #4180 replay/export. This + closes the remaining provider coverage without rerunning the unchanged + ordinary/outer engine. The actual FOUR directories are not present among this + package's live inputs; obtaining them requires a separate source-bound replay + or authenticated export. +2. If a downstream claim needs execution history, trace that precise claim + through `replay.bind_cache` and its caller before adding another seal. The + current gate intentionally binds scientific products and a completion + projection. No stronger history contract is assumed by this audit. + +## Credit + +PR #4180, **yssite**, supplied the audited integration, product commitments, +normalization implementation and original adversarial controls (retained head +`15a4153e734a8d1d485c6d3bea9b1a8201328a4c`). **zxv**, PR #4085 +(`c5854c77620723aae6914c32122870519a6f820d`), supplied the retained THREE products +and repaired operator release. **Cinna Davis**, PR #4088 +(`72d7efc181edb21806a878f174847c96dd410ab0`), supplied the mixed construction; +**unpaidmoon**, PR #4165 (`430072ee4130b58c1dd952cb37fd81759675a118`), identified +the mixed-idle rebind obligation. Credit **Rohan Arun** (#4076), **David Ganz +(Dugongue)** (#3945), **Tekalign** and the retained native/Clifford/geometry lineage; the +original notices remain in their packages. **James Reed / rcfc-jreed** supplied +the distinct independent bounded reviews linked above. + +The new normalizer, coverage argument, harness and writing were prepared with +substantial OpenAI Codex assistance. Apache-2.0. Separate code does not imply +independent human or formal review. diff --git a/research/mixed-native-normalization-audit/RESULT.json b/research/mixed-native-normalization-audit/RESULT.json new file mode 100644 index 0000000000..1e0ad8c7de --- /dev/null +++ b/research/mixed-native-normalization-audit/RESULT.json @@ -0,0 +1,4492 @@ +{ + "by_family": { + "allowed-product-timing": { + "ACCEPTED": 12 + }, + "cross-provider-products": { + "REJECTED": 6 + }, + "equivalent-serialization": { + "ACCEPTED": 2 + }, + "extra-product-field": { + "REJECTED": 22 + }, + "file-inventory": { + "REJECTED": 6 + }, + "invalid-product-timing": { + "REJECTED": 24 + }, + "missing-product": { + "REJECTED": 22 + }, + "missing-product-timing": { + "REJECTED": 4 + }, + "nested-seconds-is-scientific": { + "REJECTED": 4 + }, + "rebound-reference-transport": { + "ACCEPTED": 12 + }, + "scientific-root-field": { + "REJECTED": 218 + }, + "stage-contract": { + "REJECTED": 54 + }, + "stale-reference": { + "REJECTED": 12 + }, + "uncommitted-stage-metadata": { + "ACCEPTED": 8 + }, + "word-binding": { + "REJECTED": 2 + } + }, + "cases": [ + { + "detail": { + "edit": "string extension", + "path": [ + "A", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/A", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "B", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/B", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "R" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/R", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "borrow", + "base" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/borrow", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "center_frames", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/center_frames", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "centers", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/centers", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "cleanup", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/cleanup", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "compensation", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/compensation", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "cut", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/cut", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "edges", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/edges", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "final", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/final", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "empty-array insertion", + "path": [ + "frames", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/frames", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "h" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/h", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "helper_origin", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/helper_origin", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "local_profile", + "1" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/local_profile", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "ports", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/ports", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "precondition", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/precondition", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "removed", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/removed", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "start", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/start", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "tail", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/tail", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "target_levels", + "104" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/target_levels", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "v" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/v", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_edges", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/warp_edges", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warps", + 0, + "B_pos" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/warps", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "zero_buffers", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/zero_buffers", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "children", + 0, + "left", + "linear_Z4", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-RECIPES.json/children", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "endpoint_adapters", + 0, + "frame" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-RECIPES.json/endpoint_adapters", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warps", + 0, + "G_columns", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-RECIPES.json/warps", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "Boolean flip", + "path": [ + "all_child_equalities_include_global_phase" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/all_child_equalities_include_global_phase", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "directed_edges" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/directed_edges", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "endpoint_adapters" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/endpoint_adapters", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "frames" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/frames", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "ranks", + "1" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/ranks", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "scope" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/scope", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "status" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/status", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_recipes" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/warp_recipes", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "Boolean flip", + "path": [ + "warp_recipes_equal_exact_512_column_product" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/warp_recipes_equal_exact_512_column_product", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "Boolean flip", + "path": [ + "warp_recipes_rank_zero" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/warp_recipes_rank_zero", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "A", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/A", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "B", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/B", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "base" + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/base", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "center_frames", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/center_frames", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "centers", + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/centers", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "cleanup", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/cleanup", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "compensation", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/compensation", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "cut", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/cut", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "helper_final", + "226", + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/helper_final", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "initial_corrections", + 0, + "coefficient" + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/initial_corrections", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "kind" + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/kind", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "ports", + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/ports", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "precondition", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/precondition", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "prelude_events" + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/prelude_events", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "removed", + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/removed", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "report", + "R" + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/report", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "restore", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/restore", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "start_extra", + "448", + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/start_extra", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "target_levels", + "104", + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/target_levels", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warps", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/warps", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "cold_hyperplane_ended_helpers" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/cold_hyperplane_ended_helpers", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "entering_helpers" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/entering_helpers", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "helpers" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/helpers", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "local", + "backward", + "all_exact_columns" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/local", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "negative_control_reasons", + "centre_descent_incomplete" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/negative_control_reasons", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "negative_controls_rejected", + 0 + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/negative_controls_rejected", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "paid_profiles", + "backward", + "1" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/paid_profiles", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "scope" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/scope", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "status" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/status", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "v" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/v", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_replay", + "event_classes_checked_on_all_512_columns" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/warp_replay", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "backward", + "all_columns" + ] + }, + "family": "scientific-root-field", + "name": "LOCAL-CHECKS.json/backward", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "forward", + "all_columns" + ] + }, + "family": "scientific-root-field", + "name": "LOCAL-CHECKS.json/forward", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "backward", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "LOCAL-PROGRAMS.json.gz/backward", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "forward", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "LOCAL-PROGRAMS.json.gz/forward", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "recipes", + "0:254", + "entrance_rank" + ] + }, + "family": "scientific-root-field", + "name": "RESIDUAL-ADAPTERS.json/recipes", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "status" + ] + }, + "family": "scientific-root-field", + "name": "RESIDUAL-ADAPTERS.json/status", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warps", + "1", + "G_columns", + 0 + ] + }, + "family": "scientific-root-field", + "name": "RESIDUAL-ADAPTERS.json/warps", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "canonical_content_sha256" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/canonical_content_sha256", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "directed_edges" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/directed_edges", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "frames" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/frames", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "helpers" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/helpers", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "initial_corrections" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/initial_corrections", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "input_content_sha256" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/input_content_sha256", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "live_columns_each_orientation" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/live_columns_each_orientation", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "local_profile", + "1" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/local_profile", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "local_rank_mass" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/local_rank_mass", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "original_helpers" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/original_helpers", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "removed_helpers" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/removed_helpers", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "scalar_operations" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/scalar_operations", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "scope" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/scope", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "status" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/status", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_edge_classes" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/warp_edge_classes", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_events" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/warp_events", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warps" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/warps", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "widths", + 0 + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/widths", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "zero_buffers" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/zero_buffers", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "columns_each" + ] + }, + "family": "scientific-root-field", + "name": "WARP-RECIPE-CHECKS.json/columns_each", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "controls_rejected", + 0 + ] + }, + "family": "scientific-root-field", + "name": "WARP-RECIPE-CHECKS.json/controls_rejected", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "operators" + ] + }, + "family": "scientific-root-field", + "name": "WARP-RECIPE-CHECKS.json/operators", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "status" + ] + }, + "family": "scientific-root-field", + "name": "WARP-RECIPE-CHECKS.json/status", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_classes" + ] + }, + "family": "scientific-root-field", + "name": "WARP-RECIPE-CHECKS.json/warp_classes", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "Boolean flip", + "path": [ + "all_even_weight" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/all_even_weight", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "Boolean flip", + "path": [ + "all_totally_isotropic" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/all_totally_isotropic", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "cold_hyperplane_end_pairs" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/cold_hyperplane_end_pairs", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "Boolean flip", + "path": [ + "detail", + 0, + "all_even_weight" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/detail", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "frames" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/frames", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "hyperplane_end_pairs", + 0, + "entrance_rank" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/hyperplane_end_pairs", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "status" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/status", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_recipes_exact_on_all_512_columns", + 0, + "columns_checked" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/warp_recipes_exact_on_all_512_columns", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "wrappers_reject", + 0 + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/wrappers_reject", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "stale-reference", + "name": "CLIFFORD-REVIEW.json/canonical_word_sha256", + "provider": "gauge44", + "reason": "stale native reference: CLIFFORD-REVIEW.json", + "result": "REJECTED" + }, + { + "family": "rebound-reference-transport", + "name": "CANONICAL-WORD.json.gz/through/CLIFFORD-REVIEW.json", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "stale-reference", + "name": "CLIFFORD-REVIEW.json/recipe_sha256", + "provider": "gauge44", + "reason": "stale native reference: CLIFFORD-REVIEW.json", + "result": "REJECTED" + }, + { + "family": "rebound-reference-transport", + "name": "CLIFFORD-RECIPES.json/through/CLIFFORD-REVIEW.json", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "stale-reference", + "name": "INDEPENDENT-LOCAL-REPLAY.json/canonical_word_sha256", + "provider": "gauge44", + "reason": "stale native reference: INDEPENDENT-LOCAL-REPLAY.json", + "result": "REJECTED" + }, + { + "family": "rebound-reference-transport", + "name": "CANONICAL-WORD.json.gz/through/INDEPENDENT-LOCAL-REPLAY.json", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "stale-reference", + "name": "INDEPENDENT-LOCAL-REPLAY.json/local_programs_sha256", + "provider": "gauge44", + "reason": "stale native reference: INDEPENDENT-LOCAL-REPLAY.json", + "result": "REJECTED" + }, + { + "family": "rebound-reference-transport", + "name": "LOCAL-PROGRAMS.json.gz/through/INDEPENDENT-LOCAL-REPLAY.json", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "stale-reference", + "name": "WARP-RECIPE-CHECKS.json/canonical_word_sha256", + "provider": "gauge44", + "reason": "stale native reference: WARP-RECIPE-CHECKS.json", + "result": "REJECTED" + }, + { + "family": "rebound-reference-transport", + "name": "CANONICAL-WORD.json.gz/through/WARP-RECIPE-CHECKS.json", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "stale-reference", + "name": "WARP-RECIPE-CHECKS.json/recipe_sha256", + "provider": "gauge44", + "reason": "stale native reference: WARP-RECIPE-CHECKS.json", + "result": "REJECTED" + }, + { + "family": "rebound-reference-transport", + "name": "CLIFFORD-RECIPES.json/through/WARP-RECIPE-CHECKS.json", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "extra-product-field", + "name": "CANONICAL-WORD.json.gz", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "CANONICAL-WORD.json.gz", + "provider": "gauge44", + "reason": "[Errno 2] No such file or directory: 'FIXTURE/local/CANONICAL-WORD.json.gz'", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "CLIFFORD-RECIPES.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "CLIFFORD-RECIPES.json", + "provider": "gauge44", + "reason": "[Errno 2] No such file or directory: 'FIXTURE/local/CLIFFORD-RECIPES.json'", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "CLIFFORD-REVIEW.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "CLIFFORD-REVIEW.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "FULL-WORD.json.gz", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "FULL-WORD.json.gz", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "INDEPENDENT-LOCAL-REPLAY.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "LOCAL-CHECKS.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "LOCAL-CHECKS.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "LOCAL-PROGRAMS.json.gz", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "LOCAL-PROGRAMS.json.gz", + "provider": "gauge44", + "reason": "[Errno 2] No such file or directory: 'FIXTURE/local/LOCAL-PROGRAMS.json.gz'", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "RESIDUAL-ADAPTERS.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "RESIDUAL-ADAPTERS.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "SCALAR-FRAME-AUDIT.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "SCALAR-FRAME-AUDIT.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "WARP-RECIPE-CHECKS.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "WARP-RECIPE-CHECKS.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "WRAPPER-CHECKS.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "WRAPPER-CHECKS.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "allowed-product-timing", + "name": "CLIFFORD-REVIEW.json/zero", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "allowed-product-timing", + "name": "CLIFFORD-REVIEW.json/fraction", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "allowed-product-timing", + "name": "CLIFFORD-REVIEW.json/large", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "invalid-product-timing", + "name": "CLIFFORD-REVIEW.json/negative", + "provider": "gauge44", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "CLIFFORD-REVIEW.json/bool", + "provider": "gauge44", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "CLIFFORD-REVIEW.json/string", + "provider": "gauge44", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "CLIFFORD-REVIEW.json/null", + "provider": "gauge44", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "CLIFFORD-REVIEW.json/nan", + "provider": "gauge44", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "CLIFFORD-REVIEW.json/infinity", + "provider": "gauge44", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "missing-product-timing", + "name": "CLIFFORD-REVIEW.json", + "provider": "gauge44", + "reason": "'seconds'", + "result": "REJECTED" + }, + { + "family": "nested-seconds-is-scientific", + "name": "CLIFFORD-REVIEW.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "allowed-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/zero", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "allowed-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/fraction", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "allowed-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/large", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "invalid-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/negative", + "provider": "gauge44", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/bool", + "provider": "gauge44", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/string", + "provider": "gauge44", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/null", + "provider": "gauge44", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/nan", + "provider": "gauge44", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/infinity", + "provider": "gauge44", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "missing-product-timing", + "name": "SCALAR-FRAME-AUDIT.json", + "provider": "gauge44", + "reason": "'seconds'", + "result": "REJECTED" + }, + { + "family": "nested-seconds-is-scientific", + "name": "SCALAR-FRAME-AUDIT.json", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "native/omitted", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "native/renamed", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "native/exit-one", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "native/exit-bool", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "native/exit-float", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "ledgers/omitted", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "ledgers/renamed", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "ledgers/exit-one", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "ledgers/exit-bool", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "ledgers/exit-float", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "local-replay/omitted", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "local-replay/renamed", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "local-replay/exit-one", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "local-replay/exit-bool", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "local-replay/exit-float", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "wrappers/omitted", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "wrappers/renamed", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "wrappers/exit-one", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "wrappers/exit-bool", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "wrappers/exit-float", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "phases/omitted", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "phases/renamed", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "phases/exit-one", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "phases/exit-bool", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "phases/exit-float", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "reversed", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "duplicate", + "provider": "gauge44", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "uncommitted-stage-metadata", + "name": "minimal", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "uncommitted-stage-metadata", + "name": "negative-time", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "uncommitted-stage-metadata", + "name": "nan-time", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "uncommitted-stage-metadata", + "name": "invented-provenance", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "file-inventory", + "name": "extra-local", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "file-inventory", + "name": "extra-outside-local", + "provider": "gauge44", + "reason": "native output file closure", + "result": "REJECTED" + }, + { + "family": "file-inventory", + "name": "symlink-product", + "provider": "gauge44", + "reason": "ordinary native product", + "result": "REJECTED" + }, + { + "family": "equivalent-serialization", + "name": "all-products", + "provider": "gauge44", + "result": "ACCEPTED" + }, + { + "family": "cross-provider-products", + "name": "extra", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "cross-provider-products", + "name": "extra-four", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "cross-provider-products", + "name": "gauge44-four", + "provider": "gauge44", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "word-binding", + "name": "wrong-word", + "provider": "gauge44", + "reason": "native commitment word binding", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "A", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/A", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "B", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/B", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "R" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/R", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "borrow", + "base" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/borrow", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "center_frames", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/center_frames", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "centers", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/centers", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "cleanup", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/cleanup", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "compensation", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/compensation", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "cut", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/cut", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "edges", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/edges", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "final", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/final", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "empty-array insertion", + "path": [ + "frames", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/frames", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "h" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/h", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "helper_origin", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/helper_origin", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "local_profile", + "1" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/local_profile", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "ports", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/ports", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "precondition", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/precondition", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "removed", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/removed", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "start", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/start", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "tail", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/tail", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "target_levels", + "104" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/target_levels", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "v" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/v", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_edges", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/warp_edges", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warps", + 0, + "B_pos" + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/warps", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "zero_buffers", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CANONICAL-WORD.json.gz/zero_buffers", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "children", + 0, + "left", + "linear_Z4", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-RECIPES.json/children", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "endpoint_adapters", + 0, + "frame" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-RECIPES.json/endpoint_adapters", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warps", + 0, + "G_columns", + 0 + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-RECIPES.json/warps", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "Boolean flip", + "path": [ + "all_child_equalities_include_global_phase" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/all_child_equalities_include_global_phase", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "directed_edges" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/directed_edges", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "endpoint_adapters" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/endpoint_adapters", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "frames" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/frames", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "ranks", + "1" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/ranks", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "scope" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/scope", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "status" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/status", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_recipes" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/warp_recipes", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "Boolean flip", + "path": [ + "warp_recipes_equal_exact_512_column_product" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/warp_recipes_equal_exact_512_column_product", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "Boolean flip", + "path": [ + "warp_recipes_rank_zero" + ] + }, + "family": "scientific-root-field", + "name": "CLIFFORD-REVIEW.json/warp_recipes_rank_zero", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "A", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/A", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "B", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/B", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "base" + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/base", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "center_frames", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/center_frames", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "centers", + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/centers", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "cleanup", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/cleanup", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "compensation", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/compensation", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "cut", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/cut", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "helper_final", + "226", + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/helper_final", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "initial_corrections", + 0, + "coefficient" + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/initial_corrections", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "kind" + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/kind", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "ports", + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/ports", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "precondition", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/precondition", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "prelude_events" + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/prelude_events", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "removed", + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/removed", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "report", + "R" + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/report", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "restore", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/restore", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "start_extra", + "448", + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/start_extra", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "target_levels", + "104", + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/target_levels", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warps", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "FULL-WORD.json.gz/warps", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "cold_hyperplane_ended_helpers" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/cold_hyperplane_ended_helpers", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "entering_helpers" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/entering_helpers", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "helpers" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/helpers", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "local", + "backward", + "all_exact_columns" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/local", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "negative_control_reasons", + "centre_descent_incomplete" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/negative_control_reasons", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "negative_controls_rejected", + 0 + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/negative_controls_rejected", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "paid_profiles", + "backward", + "1" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/paid_profiles", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "scope" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/scope", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "status" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/status", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "v" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/v", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_replay", + "event_classes_checked_on_all_512_columns" + ] + }, + "family": "scientific-root-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json/warp_replay", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "backward", + "all_columns" + ] + }, + "family": "scientific-root-field", + "name": "LOCAL-CHECKS.json/backward", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "forward", + "all_columns" + ] + }, + "family": "scientific-root-field", + "name": "LOCAL-CHECKS.json/forward", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "backward", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "LOCAL-PROGRAMS.json.gz/backward", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "forward", + 0, + 0 + ] + }, + "family": "scientific-root-field", + "name": "LOCAL-PROGRAMS.json.gz/forward", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "recipes", + "0:254", + "entrance_rank" + ] + }, + "family": "scientific-root-field", + "name": "RESIDUAL-ADAPTERS.json/recipes", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "status" + ] + }, + "family": "scientific-root-field", + "name": "RESIDUAL-ADAPTERS.json/status", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warps", + "1", + "G_columns", + 0 + ] + }, + "family": "scientific-root-field", + "name": "RESIDUAL-ADAPTERS.json/warps", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "canonical_content_sha256" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/canonical_content_sha256", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "directed_edges" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/directed_edges", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "frames" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/frames", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "helpers" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/helpers", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "initial_corrections" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/initial_corrections", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "input_content_sha256" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/input_content_sha256", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "live_columns_each_orientation" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/live_columns_each_orientation", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "local_profile", + "1" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/local_profile", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "local_rank_mass" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/local_rank_mass", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "original_helpers" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/original_helpers", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "removed_helpers" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/removed_helpers", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "scalar_operations" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/scalar_operations", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "scope" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/scope", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "status" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/status", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_edge_classes" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/warp_edge_classes", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_events" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/warp_events", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warps" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/warps", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "widths", + 0 + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/widths", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "zero_buffers" + ] + }, + "family": "scientific-root-field", + "name": "SCALAR-FRAME-AUDIT.json/zero_buffers", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "columns_each" + ] + }, + "family": "scientific-root-field", + "name": "WARP-RECIPE-CHECKS.json/columns_each", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "controls_rejected", + 0 + ] + }, + "family": "scientific-root-field", + "name": "WARP-RECIPE-CHECKS.json/controls_rejected", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "operators" + ] + }, + "family": "scientific-root-field", + "name": "WARP-RECIPE-CHECKS.json/operators", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "status" + ] + }, + "family": "scientific-root-field", + "name": "WARP-RECIPE-CHECKS.json/status", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_classes" + ] + }, + "family": "scientific-root-field", + "name": "WARP-RECIPE-CHECKS.json/warp_classes", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "Boolean flip", + "path": [ + "all_even_weight" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/all_even_weight", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "Boolean flip", + "path": [ + "all_totally_isotropic" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/all_totally_isotropic", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "cold_hyperplane_end_pairs" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/cold_hyperplane_end_pairs", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "Boolean flip", + "path": [ + "detail", + 0, + "all_even_weight" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/detail", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "frames" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/frames", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "hyperplane_end_pairs", + 0, + "entrance_rank" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/hyperplane_end_pairs", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "status" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/status", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "integer increment", + "path": [ + "warp_recipes_exact_on_all_512_columns", + 0, + "columns_checked" + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/warp_recipes_exact_on_all_512_columns", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "detail": { + "edit": "string extension", + "path": [ + "wrappers_reject", + 0 + ] + }, + "family": "scientific-root-field", + "name": "WRAPPER-CHECKS.json/wrappers_reject", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "stale-reference", + "name": "CLIFFORD-REVIEW.json/canonical_word_sha256", + "provider": "extra", + "reason": "stale native reference: CLIFFORD-REVIEW.json", + "result": "REJECTED" + }, + { + "family": "rebound-reference-transport", + "name": "CANONICAL-WORD.json.gz/through/CLIFFORD-REVIEW.json", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "stale-reference", + "name": "CLIFFORD-REVIEW.json/recipe_sha256", + "provider": "extra", + "reason": "stale native reference: CLIFFORD-REVIEW.json", + "result": "REJECTED" + }, + { + "family": "rebound-reference-transport", + "name": "CLIFFORD-RECIPES.json/through/CLIFFORD-REVIEW.json", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "stale-reference", + "name": "INDEPENDENT-LOCAL-REPLAY.json/canonical_word_sha256", + "provider": "extra", + "reason": "stale native reference: INDEPENDENT-LOCAL-REPLAY.json", + "result": "REJECTED" + }, + { + "family": "rebound-reference-transport", + "name": "CANONICAL-WORD.json.gz/through/INDEPENDENT-LOCAL-REPLAY.json", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "stale-reference", + "name": "INDEPENDENT-LOCAL-REPLAY.json/local_programs_sha256", + "provider": "extra", + "reason": "stale native reference: INDEPENDENT-LOCAL-REPLAY.json", + "result": "REJECTED" + }, + { + "family": "rebound-reference-transport", + "name": "LOCAL-PROGRAMS.json.gz/through/INDEPENDENT-LOCAL-REPLAY.json", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "stale-reference", + "name": "WARP-RECIPE-CHECKS.json/canonical_word_sha256", + "provider": "extra", + "reason": "stale native reference: WARP-RECIPE-CHECKS.json", + "result": "REJECTED" + }, + { + "family": "rebound-reference-transport", + "name": "CANONICAL-WORD.json.gz/through/WARP-RECIPE-CHECKS.json", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "stale-reference", + "name": "WARP-RECIPE-CHECKS.json/recipe_sha256", + "provider": "extra", + "reason": "stale native reference: WARP-RECIPE-CHECKS.json", + "result": "REJECTED" + }, + { + "family": "rebound-reference-transport", + "name": "CLIFFORD-RECIPES.json/through/WARP-RECIPE-CHECKS.json", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "extra-product-field", + "name": "CANONICAL-WORD.json.gz", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "CANONICAL-WORD.json.gz", + "provider": "extra", + "reason": "[Errno 2] No such file or directory: 'FIXTURE/local/CANONICAL-WORD.json.gz'", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "CLIFFORD-RECIPES.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "CLIFFORD-RECIPES.json", + "provider": "extra", + "reason": "[Errno 2] No such file or directory: 'FIXTURE/local/CLIFFORD-RECIPES.json'", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "CLIFFORD-REVIEW.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "CLIFFORD-REVIEW.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "FULL-WORD.json.gz", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "FULL-WORD.json.gz", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "INDEPENDENT-LOCAL-REPLAY.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "INDEPENDENT-LOCAL-REPLAY.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "LOCAL-CHECKS.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "LOCAL-CHECKS.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "LOCAL-PROGRAMS.json.gz", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "LOCAL-PROGRAMS.json.gz", + "provider": "extra", + "reason": "[Errno 2] No such file or directory: 'FIXTURE/local/LOCAL-PROGRAMS.json.gz'", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "RESIDUAL-ADAPTERS.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "RESIDUAL-ADAPTERS.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "SCALAR-FRAME-AUDIT.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "SCALAR-FRAME-AUDIT.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "WARP-RECIPE-CHECKS.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "WARP-RECIPE-CHECKS.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "extra-product-field", + "name": "WRAPPER-CHECKS.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "missing-product", + "name": "WRAPPER-CHECKS.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "allowed-product-timing", + "name": "CLIFFORD-REVIEW.json/zero", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "allowed-product-timing", + "name": "CLIFFORD-REVIEW.json/fraction", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "allowed-product-timing", + "name": "CLIFFORD-REVIEW.json/large", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "invalid-product-timing", + "name": "CLIFFORD-REVIEW.json/negative", + "provider": "extra", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "CLIFFORD-REVIEW.json/bool", + "provider": "extra", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "CLIFFORD-REVIEW.json/string", + "provider": "extra", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "CLIFFORD-REVIEW.json/null", + "provider": "extra", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "CLIFFORD-REVIEW.json/nan", + "provider": "extra", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "CLIFFORD-REVIEW.json/infinity", + "provider": "extra", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "missing-product-timing", + "name": "CLIFFORD-REVIEW.json", + "provider": "extra", + "reason": "'seconds'", + "result": "REJECTED" + }, + { + "family": "nested-seconds-is-scientific", + "name": "CLIFFORD-REVIEW.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "allowed-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/zero", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "allowed-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/fraction", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "allowed-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/large", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "invalid-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/negative", + "provider": "extra", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/bool", + "provider": "extra", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/string", + "provider": "extra", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/null", + "provider": "extra", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/nan", + "provider": "extra", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "invalid-product-timing", + "name": "SCALAR-FRAME-AUDIT.json/infinity", + "provider": "extra", + "reason": "finite nonnegative native timing", + "result": "REJECTED" + }, + { + "family": "missing-product-timing", + "name": "SCALAR-FRAME-AUDIT.json", + "provider": "extra", + "reason": "'seconds'", + "result": "REJECTED" + }, + { + "family": "nested-seconds-is-scientific", + "name": "SCALAR-FRAME-AUDIT.json", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "native/omitted", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "native/renamed", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "native/exit-one", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "native/exit-bool", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "native/exit-float", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "ledgers/omitted", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "ledgers/renamed", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "ledgers/exit-one", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "ledgers/exit-bool", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "ledgers/exit-float", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "local-replay/omitted", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "local-replay/renamed", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "local-replay/exit-one", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "local-replay/exit-bool", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "local-replay/exit-float", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "wrappers/omitted", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "wrappers/renamed", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "wrappers/exit-one", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "wrappers/exit-bool", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "wrappers/exit-float", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "phases/omitted", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "phases/renamed", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "phases/exit-one", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "phases/exit-bool", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "phases/exit-float", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "reversed", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "stage-contract", + "name": "duplicate", + "provider": "extra", + "reason": "actual native stage products coverage", + "result": "REJECTED" + }, + { + "family": "uncommitted-stage-metadata", + "name": "minimal", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "uncommitted-stage-metadata", + "name": "negative-time", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "uncommitted-stage-metadata", + "name": "nan-time", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "uncommitted-stage-metadata", + "name": "invented-provenance", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "file-inventory", + "name": "extra-local", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "file-inventory", + "name": "extra-outside-local", + "provider": "extra", + "reason": "native output file closure", + "result": "REJECTED" + }, + { + "family": "file-inventory", + "name": "symlink-product", + "provider": "extra", + "reason": "ordinary native product", + "result": "REJECTED" + }, + { + "family": "equivalent-serialization", + "name": "all-products", + "provider": "extra", + "result": "ACCEPTED" + }, + { + "family": "cross-provider-products", + "name": "extra-four", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "cross-provider-products", + "name": "gauge44", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "cross-provider-products", + "name": "gauge44-four", + "provider": "extra", + "reason": "native scientific output commitment", + "result": "REJECTED" + }, + { + "family": "word-binding", + "name": "wrong-word", + "provider": "extra", + "reason": "native commitment word binding", + "result": "REJECTED" + } + ], + "counts": { + "ACCEPTED": 34, + "REJECTED": 374 + }, + "providers": { + "extra": { + "products": { + "CANONICAL-WORD.json.gz": "5fb702d44a4c8a785b1ee98e1c544756a9e821d0425d842cf8b882f10d445725", + "CLIFFORD-RECIPES.json": "3d90c6657966224c7b92e85dddec28633ef7fd56af9eafeeb44fef468605ff06", + "CLIFFORD-REVIEW.json": "edeafd04c696d4465d8c415a6bf6484821373b36b3d1b6eaf98509aafb7ae9b0", + "FULL-WORD.json.gz": "ef1ca8b7d40346fc2b3261b93dab740322064e47ea194b7d989bac3650e37255", + "INDEPENDENT-LOCAL-REPLAY.json": "dc28e816c3dfd5541a851a94b7f4cc903c1492c2528dba093a9aaeef111ee931", + "LOCAL-CHECKS.json": "cd992cd4e5705767e703bf21cb0f490b7df69cdd9178410977d1a1b670bb5c21", + "LOCAL-PROGRAMS.json.gz": "6a1adb398b66cc67dcaec8ecca788ca5fcf9e5ee3646a413e8a375f64824c177", + "RESIDUAL-ADAPTERS.json": "ab58505fae0a0c50aeae5dfbfff4d949a7f11625b8d088cf133ca70c69a7ae72", + "SCALAR-FRAME-AUDIT.json": "aa950de74f09508ca1706f7213d9ca45a28ba58318b740a5e00ae1e822c4e945", + "WARP-RECIPE-CHECKS.json": "c389582fc10b1461ad7846bbf20f39fc342cffefc905f5c39139193eec5067eb", + "WRAPPER-CHECKS.json": "63372859a1b3f6c44a61797d5c035ca1ef51d87833ee1e2e8d83d6e8030ac835" + }, + "reference_edges": [ + [ + "CLIFFORD-REVIEW.json", + "canonical_word_sha256", + "CANONICAL-WORD.json.gz" + ], + [ + "CLIFFORD-REVIEW.json", + "recipe_sha256", + "CLIFFORD-RECIPES.json" + ], + [ + "INDEPENDENT-LOCAL-REPLAY.json", + "canonical_word_sha256", + "CANONICAL-WORD.json.gz" + ], + [ + "INDEPENDENT-LOCAL-REPLAY.json", + "local_programs_sha256", + "LOCAL-PROGRAMS.json.gz" + ], + [ + "WARP-RECIPE-CHECKS.json", + "canonical_word_sha256", + "CANONICAL-WORD.json.gz" + ], + [ + "WARP-RECIPE-CHECKS.json", + "recipe_sha256", + "CLIFFORD-RECIPES.json" + ] + ], + "root_fields": 117, + "scientific_root_fields": 109, + "word_sha256": "9a28f7ef91938c0866e408eb06e03eb5f8e727a00b44eb936ddd5ed48704bd4c" + }, + "gauge44": { + "products": { + "CANONICAL-WORD.json.gz": "c3348706d4bbf01e7909a53efc677e51aa6ebc1286846c1fa72f3d6a85f2e5da", + "CLIFFORD-RECIPES.json": "bf88fc775e883227bbea9532ebf97df9e29576054dc0a893f8dc7fa1dc9744e2", + "CLIFFORD-REVIEW.json": "7cee799b7060f8b30e8415760770e8e73ca04cf6f966b0d008a897d7250b3d36", + "FULL-WORD.json.gz": "960867f94fe43489c5108eaff4cc159714a338a8a056837e5c497ded3d72c283", + "INDEPENDENT-LOCAL-REPLAY.json": "2ae9acb0162b4afedfa51bbfd1d7f6708009d76ad539907383ba10720c4382f7", + "LOCAL-CHECKS.json": "cd992cd4e5705767e703bf21cb0f490b7df69cdd9178410977d1a1b670bb5c21", + "LOCAL-PROGRAMS.json.gz": "6a1adb398b66cc67dcaec8ecca788ca5fcf9e5ee3646a413e8a375f64824c177", + "RESIDUAL-ADAPTERS.json": "f6e5a22cb2ee20196b4bd06510022dc65a63a7991f9bc46d2c27d2f97a2ffbdc", + "SCALAR-FRAME-AUDIT.json": "2d3794f1ad85bbfc1e1bf42d3b17f525d7856fb686557629c973636174b9f900", + "WARP-RECIPE-CHECKS.json": "e08d18d81ef1a425727d57f02046152d9c85dcc171073975d554758c4220658b", + "WRAPPER-CHECKS.json": "63372859a1b3f6c44a61797d5c035ca1ef51d87833ee1e2e8d83d6e8030ac835" + }, + "reference_edges": [ + [ + "CLIFFORD-REVIEW.json", + "canonical_word_sha256", + "CANONICAL-WORD.json.gz" + ], + [ + "CLIFFORD-REVIEW.json", + "recipe_sha256", + "CLIFFORD-RECIPES.json" + ], + [ + "INDEPENDENT-LOCAL-REPLAY.json", + "canonical_word_sha256", + "CANONICAL-WORD.json.gz" + ], + [ + "INDEPENDENT-LOCAL-REPLAY.json", + "local_programs_sha256", + "LOCAL-PROGRAMS.json.gz" + ], + [ + "WARP-RECIPE-CHECKS.json", + "canonical_word_sha256", + "CANONICAL-WORD.json.gz" + ], + [ + "WARP-RECIPE-CHECKS.json", + "recipe_sha256", + "CLIFFORD-RECIPES.json" + ] + ], + "root_fields": 117, + "scientific_root_fields": 109, + "word_sha256": "df31495cff95a1e512da398f52841c6b5ade29067869b3d68b89d756a5641112" + } + }, + "scope": "Two retained THREE providers; source/commitment and normalization boundary only. No FOUR generation, native semantics, ordinary/outer replay, or execution-provenance claim.", + "source_inputs": 34, + "status": "PASS_MIXED_NATIVE_NORMALIZATION_AUDIT" +} diff --git a/research/mixed-native-normalization-audit/SOURCES.json b/research/mixed-native-normalization-audit/SOURCES.json new file mode 100644 index 0000000000..1c1965bb89 --- /dev/null +++ b/research/mixed-native-normalization-audit/SOURCES.json @@ -0,0 +1,222 @@ +{ + "schema_version": 1, + "base_commit": "32890bc5de034ab8fc93ac88ead7279a6a416d04", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "fc3d4ba105e1f097d0d7d051a308281e86ab1446", + "sha256": "66974efdced4083c00025f97d95d83909a226cdf801edb9301c195c6641f6903" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "f126dd2e2dad2b669e75d1d0d0bd05c600725602", + "sha256": "f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/candidate/BORROW-WORD-43base.json.gz", + "usage": "input", + "git_blob": "137793e275870db2161048405017b83dcc1824ee", + "sha256": "df31495cff95a1e512da398f52841c6b5ade29067869b3d68b89d756a5641112" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/candidate/BORROW-WORD-43extra.json.gz", + "usage": "input", + "git_blob": "7cce921b20dc0504cea954ab3297c5b55a9468dc", + "sha256": "9a28f7ef91938c0866e408eb06e03eb5f8e727a00b44eb936ddd5ed48704bd4c" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-base/native/STEPS.json", + "usage": "input", + "git_blob": "9d585f31444582f3254f8e10e8f76ba5224b4508", + "sha256": "31896a06049f951fc25db1338888a743c1c73cf1a6c44212dbc21789ceaefeb0" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-base/native/local/CANONICAL-WORD.json.gz", + "usage": "input", + "git_blob": "40d74e5638d08ccb0b8270e6c47843cc45762c72", + "sha256": "f07fae1011160b53e2df1f3135465db1277a093319de2a1da52d648f00a39542" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-base/native/local/CLIFFORD-RECIPES.json", + "usage": "input", + "git_blob": "9dcdc26825cf00d00ab7420156a747d4279c3bb3", + "sha256": "bf88fc775e883227bbea9532ebf97df9e29576054dc0a893f8dc7fa1dc9744e2" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-base/native/local/CLIFFORD-REVIEW.json", + "usage": "input", + "git_blob": "494dd79f94634a84c1bcd7a7ef70ceaa209454db", + "sha256": "9d5316a1465a3eb2c62fac76c291394c0401c34a96fd8b94863d662b16a64552" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-base/native/local/FULL-WORD.json.gz", + "usage": "input", + "git_blob": "137793e275870db2161048405017b83dcc1824ee", + "sha256": "df31495cff95a1e512da398f52841c6b5ade29067869b3d68b89d756a5641112" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-base/native/local/INDEPENDENT-LOCAL-REPLAY.json", + "usage": "input", + "git_blob": "7f9a60816cdc2717d0c392de4496b28e675d50c4", + "sha256": "1b9167ef68707cddad4b781e37858cfb5205d377670365019b8de26fceeb1891" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-base/native/local/LOCAL-CHECKS.json", + "usage": "input", + "git_blob": "f89b2988e31e510d9e2c6877bd0fb828d8e503d5", + "sha256": "706489e44f096f0449c72b411686388eb2ffc10c4391026373ce6fdd7b5fa040" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-base/native/local/LOCAL-PROGRAMS.json.gz", + "usage": "input", + "git_blob": "9e67bc42952b2c65ed8e070cf81582bd78a5f550", + "sha256": "67d700388eaa162e008e7d6f588278fb429872cfc5b56b7dcddc9f576316bc72" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-base/native/local/RESIDUAL-ADAPTERS.json", + "usage": "input", + "git_blob": "8eaa8cd45ee42162008586bc72e3ca8164f16be1", + "sha256": "4711da8324861b5ab4d50dbcf1404c7f14c1b20b87bb750959912ff5da1c2e76" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-base/native/local/SCALAR-FRAME-AUDIT.json", + "usage": "input", + "git_blob": "04d1e367f4e96770b5bde9b84fd5369633a6f5a1", + "sha256": "23163ff2f94a4920e5fca35fb6f0de108f710e7b09cc13e7c2796ad693a2b497" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-base/native/local/WARP-RECIPE-CHECKS.json", + "usage": "input", + "git_blob": "9e3afae3bc1dff0b5a12a87ba8b13aa003cb1219", + "sha256": "7e3bb0f46320f243cd89c97c60af5b29ac82a79293463afae5a178f8938ebda0" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-base/native/local/WRAPPER-CHECKS.json", + "usage": "input", + "git_blob": "04a12a3f688315ce6c76369223db11b7c5abd198", + "sha256": "c3c925cfe5a3e2e4cb21fba12a60d8ba2b84ab568d27bf26691f92bf48a0d681" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-extra/native/STEPS.json", + "usage": "input", + "git_blob": "c93596421fdbf2c41e524eb1c0c7660f58cc362d", + "sha256": "0bad75c89a69637a1c9b98824da183243c584e07e0eb76ce986420384a7246c8" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/CANONICAL-WORD.json.gz", + "usage": "input", + "git_blob": "2af11b77b0d1f9ed54584fb1ec63f808d08071e6", + "sha256": "882271d70602354cbada8d77f479703ccc6c47e689e8ccd91f9e4c87de0f4379" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/CLIFFORD-RECIPES.json", + "usage": "input", + "git_blob": "3a8e83134093221f7e7676ae4d432ef858856885", + "sha256": "3d90c6657966224c7b92e85dddec28633ef7fd56af9eafeeb44fef468605ff06" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/CLIFFORD-REVIEW.json", + "usage": "input", + "git_blob": "00a86cdddcad95817b87322c13e22a0dd5faed22", + "sha256": "81c01d4b007bb720311dbdbbc63df673fdaf7baba707b360bbecc4b9cb6ee7b0" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/FULL-WORD.json.gz", + "usage": "input", + "git_blob": "7cce921b20dc0504cea954ab3297c5b55a9468dc", + "sha256": "9a28f7ef91938c0866e408eb06e03eb5f8e727a00b44eb936ddd5ed48704bd4c" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/INDEPENDENT-LOCAL-REPLAY.json", + "usage": "input", + "git_blob": "0b69f5f67e2e26f531c6685db8da43ee911eb347", + "sha256": "753c950d3273bba4e7ff560000d84aaf928d24448e899e6f75e0166b7989f508" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/LOCAL-CHECKS.json", + "usage": "input", + "git_blob": "f89b2988e31e510d9e2c6877bd0fb828d8e503d5", + "sha256": "706489e44f096f0449c72b411686388eb2ffc10c4391026373ce6fdd7b5fa040" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/LOCAL-PROGRAMS.json.gz", + "usage": "input", + "git_blob": "9e67bc42952b2c65ed8e070cf81582bd78a5f550", + "sha256": "67d700388eaa162e008e7d6f588278fb429872cfc5b56b7dcddc9f576316bc72" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/RESIDUAL-ADAPTERS.json", + "usage": "input", + "git_blob": "5ecdb02d3da25d5854be7574cdd53bed2d286ac6", + "sha256": "e14450952c98caa3f948527a3dd107555381eed6a08dd041bc859d142aa3522d" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/SCALAR-FRAME-AUDIT.json", + "usage": "input", + "git_blob": "4dde678a2fd312ed567404cb21f757a248217acb", + "sha256": "9100f0387118988d81fa47740d4bd47892b13400c36ea63d43cbe4aeba38a4a1" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/WARP-RECIPE-CHECKS.json", + "usage": "input", + "git_blob": "077da2ebaac823cd7b69568d265652496cf2fbd1", + "sha256": "e037ea86e1e2902d6c03885ae8e332e4afe48d27d6200923b9c71498b12953d3" + }, + { + "path": "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/WRAPPER-CHECKS.json", + "usage": "input", + "git_blob": "04a12a3f688315ce6c76369223db11b7c5abd198", + "sha256": "c3c925cfe5a3e2e4cb21fba12a60d8ba2b84ab568d27bf26691f92bf48a0d681" + }, + { + "path": "research/mixed-provider-admission/COVERAGE.md", + "usage": "input", + "git_blob": "12096f4d47858f857405a6a6f7cc44ffa55794eb", + "sha256": "62831c49a38a3705d8a0ce40280ed9278754fc10d5a21c362d1a1b0d066da1de" + }, + { + "path": "research/mixed-provider-admission/NATIVE-OUTPUTS.json", + "usage": "input", + "git_blob": "a9d1938dd85c773bf5eeefac46fdb36b2cec6a16", + "sha256": "7a231d9782297d36c5666860003e9b29a8260312c257820b488c8abd17780fc5" + }, + { + "path": "research/mixed-provider-admission/README.md", + "usage": "input", + "git_blob": "16f25a51e577b722eb679d3345c6af0cfda1a2bd", + "sha256": "2c981e161616452eeabe437aecefa6849b9188137159b5c85d56da34da53ebf3" + }, + { + "path": "research/mixed-provider-admission/binding.py", + "usage": "input", + "git_blob": "14eb67c6e14ffe41dc7449d45793d824f77a1fe1", + "sha256": "5a63b937ffc6533a2b8d858d441c210a35a33895242881c5d996459bb2210977" + }, + { + "path": "research/mixed-provider-admission/challenge.py", + "usage": "input", + "git_blob": "2b27377cfefa5a357dc07dd0176774f16e40a0d7", + "sha256": "99d3f2c2b628e3eec0fc9fd0397f2ab822ef7230f37c42944e915fe38cd8f9fb" + }, + { + "path": "research/mixed-provider-admission/native_outputs.py", + "usage": "input", + "git_blob": "4b7e6b217b749df0d30f1952e3f3172dae39ab22", + "sha256": "dfc9ae9f651dbf3e248896ee328d0968ee868fd5532252cb5217f04b0de6a5e3" + }, + { + "path": "research/mixed-provider-admission/replay.py", + "usage": "input", + "git_blob": "fe8ac09fd029946a95b1884af176fc37f04709b5", + "sha256": "25576ade4839c1c0ece1ecd2e9f70ccedd04ed601a4aa28a715286176b8ef096" + }, + { + "path": "research/mixed-provider-admission/test_binding.py", + "usage": "input", + "git_blob": "03b3f8b8317cf19d0e6c1fc37cca8a1019c6ee75", + "sha256": "5abfc37a6d256951f11f0ac5dd2f1066390d0bdebac984758afc2bcf7348c966" + } + ] +} diff --git a/research/mixed-native-normalization-audit/TASK.json b/research/mixed-native-normalization-audit/TASK.json new file mode 100644 index 0000000000..2b69dddd94 --- /dev/null +++ b/research/mixed-native-normalization-audit/TASK.json @@ -0,0 +1,142 @@ +{ + "schema_version": 1, + "task_id": "supplier-boundary-audit", + "priority_revision": 7, + "base_commit": "32890bc5de034ab8fc93ac88ead7279a6a416d04", + "original_card": { + "id": "supplier-boundary-audit", + "question": "Can the #4088 four-provider dispatch satisfy the complete ordinary/outer admission contract?", + "starting_points": [ + "docs/research/research-family-status.md", + "certificates/selected-result.json", + "research/staged544-mixed-fourth-entry/README.md", + "research/scatter-boundary-decision/README.md" + ], + "methods": [ + "Trace one hypothesis through the source, checker and complete caller.", + "Construct one semantically invalid but superficially well-formed fixture and test rejection." + ], + "acceptance_gate": "Pin the current sources and one obligation; the historical owner audit is an example, not evidence of a current bug.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read #4088 Scope and Open next questions: local words, native receipts and literal fill do not include a rerun of the mixed four-provider ordinary/outer engine. #3801 is the newer scatter-boundary decision; do not restart #2977 as if untouched.", + "scope": "Source-binding orientation only; no scientific replay, theorem acceptance or supplier admission. Budget any heavy replay separately." + }, + "first_experiment": "Pin the provider registry, four native source closures and dispatch. Make a bounded acceptance coverage map or one registry adapter preserving every inherited admission predicate and rejection control (including an omitted fourth provider). Record remaining ordinary/outer obligations and a resource estimate before heavy execution. Stop at unresolved source/caller dependencies; no selected-result promotion from a local pass.", + "bottleneck_link": "Closing a current acceptance gap or proof obligation strengthens reliability even without changing kappa.", + "allowed_variations": [ + "One provider-registry, dispatch, native-closure or admission-predicate obligation; separate branches must name distinct coverage." + ], + "scope_change_triggers": [ + "Reporting the historical timing-only diagnostic as a new current acceptance bug.", + "Calling a malformed mutant a failure of the selected construction, or importing an opt-in repair without testing the exporter boundary.", + "Running another root enclosure instead of validating dispatch or weakening an inherited predicate to make mixed admission pass." + ], + "overlap_terms": [ + "owner boundary", + "bridge omission", + "hosting", + "2977", + "scatter export", + "duplicate index", + "parity semantics", + "4088", + "3801", + "staged544-mixed-fourth-entry", + "scatter-boundary-decision" + ], + "existing_checks": [ + { + "scope": "PR #4088: author-checked local words, native receipts, owner/phase fill and exact moment.", + "evidence": "research/staged544-mixed-fourth-entry/README.md", + "remaining": "Rebind and validate ordinary/outer admission with all four providers; full mixed release not established.", + "status": "author-checked", + "source_commit": "72d7efc181edb21806a878f174847c96dd410ab0", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "scope": "PR #3801: successor scatter-boundary decision package.", + "evidence": "research/scatter-boundary-decision/README.md", + "remaining": "Consult its exact acceptance scope before any new exporter audit; not proof of a selected failure.", + "status": "author-checked", + "source_commit": "911f8800ba7a4b03603ef62c5ffc6240e53cb5fd", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + } + ] + }, + "scope_status": "refined", + "actual_scope": "Independently audit PR4180 native scientific-product normalization on both retained THREE providers: all 109 ordinary scientific root fields, six serialized reference edges, two elapsed-time fields, file closure and five-stage projection per provider.", + "scope_change_reason": "PR4180 already supplies the revision-7 four-provider admission adapter and author-produced full replay. Review its named native-closure boundary instead of rebuilding the completed registry or repeating owner-row and pin audits.", + "bottleneck_link": "The supplier-boundary card asks for preserved acceptance predicates and rejection controls. A precise independently reconstructed normalization contract separates scientific-output identity from mere stage completion metadata.", + "budget_minutes": 60, + "stop_rule": "Stop after the source-bound normalization contract, complete root-field mutation coverage and reviewable receipt. No FOUR native generation, full ordinary/outer replay, construction expansion or frontier change.", + "outcome": "completed", + "evidence": "Independent reconstruction matches all 22 committed products on both retained THREE provider trees. All 408 actual-gate challenges pass: 374 rejections and 34 accepted transport/timing/stage-metadata changes, including 218 ordinary scientific root-field edits with dependent references rebound. Stage names and integer-zero exits are bound; other stage metadata is not execution provenance. The source-relative normalization argument uses the explicitly checked six-edge leaf-target graph. No native semantics or complete admission is replayed.", + "author": "commdata2338", + "ai_assistance": "Prepared for commdata2338 (@commdata2338), with substantial OpenAI Codex assistance. OpenAI Codex derived, implemented, checked and wrote this audit. No independent human review is claimed.", + "open_questions": [ + { + "question": "Does the same fixed-graph normalization contract hold on both actual FOUR native output directories?", + "why_it_matters": "This audit executes only the two retained THREE product trees; the fixed FOUR commitments are pinned and cross-provider separation is tested, but their actual products are not regenerated.", + "first_step": "Obtain source-authenticated FOUR output directories from PR4180 replay.py, apply the independent oracle and the same field/reference mutation families, and keep new native execution separate from retained evidence.", + "blocked_by": "The actual FOUR output trees are not included among this package's pinned inputs; a separate source-bound native replay or authenticated export is needed." + }, + { + "question": "Which execution-provenance statement, if any, is needed beyond the native output commitment?", + "why_it_matters": "STEPS.json is checked through names and exit codes. Other log metadata is not sealed by this gate, so output equivalence must not be described as evidence that a supplied cache ran those stages.", + "first_step": "Trace a concrete downstream claim about executed_by_this_driver or supplied-cache history through replay.bind_cache and its caller; preserve the distinction between scientific products and execution provenance.", + "blocked_by": "No stronger execution-history requirement is declared for this gate; do not impose one without naming an actual consuming claim." + } + ], + "scope_key": "dcdb0fa8e49b08a958d0/PR4180/native-normalization/THREE-base-extra/root-fields-reference-graph", + "selection": { + "mode": "handoff-first preferred card retrieval", + "seed": "b9537c078a2693526c616800a721753a", + "track": "adversarial-audit", + "card": "supplier-boundary-audit", + "handoff": "PR4180 Open next questions item 1; independent scientific review of one finite native-closure boundary", + "existing_checks_consulted": [ + "PR4088 local/native/owner evidence", + "PR4165 mixed-idle obstruction", + "PR4180 full finite admission and its own selected native mutations", + "James Reed: #1166 comments 19074124 and 19082260, owner-ledger/pin checks" + ] + }, + "dependencies": [ + { + "pr": 4180, + "head": "15a4153e734a8d1d485c6d3bea9b1a8201328a4c", + "role": "audited gate and four fixed commitments" + }, + { + "pr": 4085, + "head": "c5854c77620723aae6914c32122870519a6f820d", + "role": "retained THREE source/native products" + }, + { + "pr": 4088, + "head": "72d7efc181edb21806a878f174847c96dd410ab0", + "role": "mixed construction lineage" + }, + { + "pr": 4165, + "head": "430072ee4130b58c1dd952cb37fd81759675a118", + "role": "prior idle-rebind handoff" + } + ], + "coordination": { + "thread": "https://github.com/CrocSwap/integer-mult-bounds/discussions/5511", + "status": "Completed scoped audit; normal receipt generation and optimized registered replay passed. No supplier admission or frontier change.", + "upstream_checkpoint": { + "commit": "32890bc5de034ab8fc93ac88ead7279a6a416d04", + "utc": "2026-10-25T05:37:01Z", + "priority_revision": 7, + "decision": "Continue: guidance, selected record and consumed predecessor files are unchanged from the scientific base." + } + } +} diff --git a/research/mixed-native-normalization-audit/VERIFY.json b/research/mixed-native-normalization-audit/VERIFY.json new file mode 100644 index 0000000000..a9875e2e61 --- /dev/null +++ b/research/mixed-native-normalization-audit/VERIFY.json @@ -0,0 +1,55 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "research/kappa-operator-repair/late-staged-composition/candidate/BORROW-WORD-43base.json.gz", + "research/kappa-operator-repair/late-staged-composition/candidate/BORROW-WORD-43extra.json.gz", + "research/kappa-operator-repair/late-staged-composition/native-base/native/STEPS.json", + "research/kappa-operator-repair/late-staged-composition/native-base/native/local/CANONICAL-WORD.json.gz", + "research/kappa-operator-repair/late-staged-composition/native-base/native/local/CLIFFORD-RECIPES.json", + "research/kappa-operator-repair/late-staged-composition/native-base/native/local/CLIFFORD-REVIEW.json", + "research/kappa-operator-repair/late-staged-composition/native-base/native/local/FULL-WORD.json.gz", + "research/kappa-operator-repair/late-staged-composition/native-base/native/local/INDEPENDENT-LOCAL-REPLAY.json", + "research/kappa-operator-repair/late-staged-composition/native-base/native/local/LOCAL-CHECKS.json", + "research/kappa-operator-repair/late-staged-composition/native-base/native/local/LOCAL-PROGRAMS.json.gz", + "research/kappa-operator-repair/late-staged-composition/native-base/native/local/RESIDUAL-ADAPTERS.json", + "research/kappa-operator-repair/late-staged-composition/native-base/native/local/SCALAR-FRAME-AUDIT.json", + "research/kappa-operator-repair/late-staged-composition/native-base/native/local/WARP-RECIPE-CHECKS.json", + "research/kappa-operator-repair/late-staged-composition/native-base/native/local/WRAPPER-CHECKS.json", + "research/kappa-operator-repair/late-staged-composition/native-extra/native/STEPS.json", + "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/CANONICAL-WORD.json.gz", + "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/CLIFFORD-RECIPES.json", + "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/CLIFFORD-REVIEW.json", + "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/FULL-WORD.json.gz", + "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/INDEPENDENT-LOCAL-REPLAY.json", + "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/LOCAL-CHECKS.json", + "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/LOCAL-PROGRAMS.json.gz", + "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/RESIDUAL-ADAPTERS.json", + "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/SCALAR-FRAME-AUDIT.json", + "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/WARP-RECIPE-CHECKS.json", + "research/kappa-operator-repair/late-staged-composition/native-extra/native/local/WRAPPER-CHECKS.json", + "research/mixed-provider-admission/COVERAGE.md", + "research/mixed-provider-admission/NATIVE-OUTPUTS.json", + "research/mixed-provider-admission/README.md", + "research/mixed-provider-admission/binding.py", + "research/mixed-provider-admission/challenge.py", + "research/mixed-provider-admission/native_outputs.py", + "research/mixed-provider-admission/replay.py", + "research/mixed-provider-admission/test_binding.py" + ], + "commands": [ + { + "argv": [ + "{python}", + "-I", + "-O", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 600, + "checks": "Authenticate all live sources; independently reconstruct 22 normalized product commitments; challenge every scientific root field, reference edge, timing and stage/file predicate against the unchanged gate with assertions disabled; compare exact receipt." + } + ] +} diff --git a/research/mixed-native-normalization-audit/verify.py b/research/mixed-native-normalization-audit/verify.py new file mode 100644 index 0000000000..38706d2aa9 --- /dev/null +++ b/research/mixed-native-normalization-audit/verify.py @@ -0,0 +1,429 @@ +#!/usr/bin/env python3 +"""Independent normalization contract and real-gate mutation coverage for PR4180. + +Prepared for commdata2338 (@commdata2338), with substantial OpenAI Codex assistance. +SPDX-License-Identifier: Apache-2.0 +No native computation, supplier admission, or all-size theorem is replayed. +""" +import argparse +from collections import Counter +from contextlib import contextmanager +import copy +import gzip +from functools import lru_cache +import hashlib +import json +import math +from pathlib import Path +import shutil +import sys +import tempfile +import types + +HERE = Path(__file__).resolve().parent +ROOT = HERE.parent.parent +SOURCE = ROOT / "research/mixed-provider-admission" +RETAINED = ROOT / "research/kappa-operator-repair/late-staged-composition" +STAGES = ("native", "ledgers", "local-replay", "wrappers", "phases") +TIMED = frozenset(("CLIFFORD-REVIEW.json", "SCALAR-FRAME-AUDIT.json")) +# Independently enumerated from the two actual retained product graphs. +EDGES = ( + ("CLIFFORD-REVIEW.json", "canonical_word_sha256", "CANONICAL-WORD.json.gz"), + ("CLIFFORD-REVIEW.json", "recipe_sha256", "CLIFFORD-RECIPES.json"), + ("INDEPENDENT-LOCAL-REPLAY.json", "canonical_word_sha256", "CANONICAL-WORD.json.gz"), + ("INDEPENDENT-LOCAL-REPLAY.json", "local_programs_sha256", "LOCAL-PROGRAMS.json.gz"), + ("WARP-RECIPE-CHECKS.json", "canonical_word_sha256", "CANONICAL-WORD.json.gz"), + ("WARP-RECIPE-CHECKS.json", "recipe_sha256", "CLIFFORD-RECIPES.json"), +) +REF_FIELDS = frozenset(field for _, field, _ in EDGES) +FILES = ( + "CANONICAL-WORD.json.gz", "CLIFFORD-RECIPES.json", "CLIFFORD-REVIEW.json", + "FULL-WORD.json.gz", "INDEPENDENT-LOCAL-REPLAY.json", "LOCAL-CHECKS.json", + "LOCAL-PROGRAMS.json.gz", "RESIDUAL-ADAPTERS.json", "SCALAR-FRAME-AUDIT.json", + "WARP-RECIPE-CHECKS.json", "WRAPPER-CHECKS.json", +) + + +def require(condition, message): + if not condition: + raise ValueError(message) + + +def sha(raw): + return hashlib.sha256(raw).hexdigest() + + +def read(path): + raw = path.read_bytes() + return json.loads(gzip.decompress(raw) if path.suffix == ".gz" else raw) + + +def dump(path, value, *, pretty=False, mtime=0): + raw = json.dumps(value, sort_keys=not pretty, indent=1 if pretty else None, + separators=None if pretty else (",", ":"), allow_nan=True).encode() + path.write_bytes(gzip.compress(raw, compresslevel=1, mtime=mtime) + if path.suffix == ".gz" else raw) + + +@lru_cache(maxsize=16384) +def escaped(value): + """JSON scalar escaping, memoized only by the exact immutable string.""" + return json.dumps(value) + + +def canonical(value): + """Independent structural encoder for the scientific JSON domain. + + All measured scientific numbers are integers; elapsed floats are removed. + No predecessor encoder, normalizer, reference table, or commitment generator + is called. Only scalar string escaping uses the standard JSON library. + """ + if isinstance(value, dict): + return "{" + ",".join(escaped(k) + ":" + canonical(value[k]) + for k in sorted(value)) + "}" + if isinstance(value, list): + return "[" + ",".join(canonical(x) for x in value) + "]" + if value is None: + return "null" + if type(value) is bool: + return "true" if value else "false" + if type(value) is int: + return str(value) + require(type(value) is str, "scientific scalar domain") + return escaped(value) + + +def product_hash(value): + return sha(canonical(value).encode()) + + +def source_pins(): + manifest = read(HERE / "SOURCES.json") + checked = [] + for row in manifest["files"]: + if row.get("usage") == "input": + path = ROOT / row["path"] + require(path.is_file() and not path.is_symlink(), "regular source: " + row["path"]) + require(sha(path.read_bytes()) == row["sha256"], "source pin: " + row["path"]) + checked.append(row["path"]) + return checked + + +def oracle(native): + """Fixed-graph, construction-based model, independent of native_outputs.py.""" + local = native / "local" + require({p.name for p in local.iterdir()} == set(FILES), "oracle product inventory") + require({p.relative_to(native).as_posix() for p in native.rglob("*") if p.is_file()} + == {"STEPS.json"} | {"local/" + name for name in FILES}, "oracle file closure") + values = {} + for name in FILES: + path = local / name + require(path.is_file() and not path.is_symlink(), "oracle regular product") + values[name] = read(path) + require(type(values[name]) is dict, "oracle object root") + actual_edges = {(name, key) for name, obj in values.items() for key in obj if key in REF_FIELDS} + require(actual_edges == {(name, key) for name, key, _ in EDGES}, "oracle reference graph") + # Reference targets are leaves of this graph: no reference or timing quotient. + for target in {target for _, _, target in EDGES}: + require(not (set(values[target]) & REF_FIELDS) and target not in TIMED, + "oracle leaf target") + result = {} + for name, obj in values.items(): + projected = {} + for key, val in obj.items(): + if name in TIMED and key == "seconds": + require(type(val) in (int, float) and math.isfinite(val) and val >= 0, + "oracle finite nonnegative product timing") + continue + target = next((t for n, k, t in EDGES if (n, k) == (name, key)), None) + if target is not None: + require(val == sha((local / target).read_bytes()), "oracle stale reference") + projected[key] = product_hash(values[target]) + else: + projected[key] = val + if name in TIMED: + require("seconds" in obj, "oracle missing product timing") + result[name] = product_hash(projected) + steps = read(native / "STEPS.json") + require(type(steps) is list and len(steps) == 5, "oracle stage count") + for step, expected in zip(steps, STAGES): + require(step["step"] == expected and type(step["exit_code"]) is int + and step["exit_code"] == 0, "oracle stage projection") + return result + + +@contextmanager +def actual_gate(): + """Execute pinned source bytes directly; never consult a .pyc file.""" + saved = sys.modules.get("binding") + binding = types.ModuleType("binding") + binding.__file__ = str(SOURCE / "binding.py") + exec(compile((SOURCE / "binding.py").read_bytes(), binding.__file__, "exec"), binding.__dict__) + sys.modules["binding"] = binding + native = types.ModuleType("audit_actual_native_outputs") + native.__file__ = str(SOURCE / "native_outputs.py") + try: + exec(compile((SOURCE / "native_outputs.py").read_bytes(), native.__file__, "exec"), native.__dict__) + yield native.authenticate_native + finally: + if saved is None: + sys.modules.pop("binding", None) + else: + sys.modules["binding"] = saved + + +def first_edit(value, path=()): + """A deterministic same-type leaf edit inside a selected root field.""" + if isinstance(value, dict): + if not value: + return {"audit_added": 1}, path + ("audit_added",), "empty-object insertion" + key = sorted(value)[0] + new, changed, kind = first_edit(value[key], path + (key,)) + value[key] = new + return value, changed, kind + if isinstance(value, list): + if not value: + return [1], path + (0,), "empty-array insertion" + new, changed, kind = first_edit(value[0], path + (0,)) + value[0] = new + return value, changed, kind + if type(value) is bool: + return not value, path, "Boolean flip" + if type(value) is int: + return value + 1, path, "integer increment" + if type(value) is str: + return value + "_audit", path, "string extension" + require(value is None, "unexpected leaf type") + return False, path, "null replacement" + + +def rebind(local, objects): + """Rewrite all six serialized references in topological order.""" + for parent in sorted({n for n, _, _ in EDGES}): + obj = copy.deepcopy(objects[parent]) + for name, field, target in EDGES: + if name == parent: + obj[field] = sha((local / target).read_bytes()) + dump(local / parent, obj) + + +def run(): + pins = source_pins() + commitments = read(SOURCE / "NATIVE-OUTPUTS.json")["providers"] + require(set(commitments) == {"gauge44", "extra", "gauge44-four", "extra-four"}, + "four fixed provider commitments") + cases = [] + providers = {} + with actual_gate() as gate, tempfile.TemporaryDirectory(prefix="native-normalization-") as temp: + temp = Path(temp) + for pid, tag in (("gauge44", "base"), ("extra", "extra")): + original = RETAINED / ("native-" + tag) / "native" + word = RETAINED / "candidate" / ("BORROW-WORD-43" + tag + ".json.gz") + word_sha = sha(word.read_bytes()) + require(commitments[pid]["word_sha256"] == word_sha, "honest word pin") + products = oracle(original) + require(products == commitments[pid]["products"], "independent commitments") + require(gate(pid, word_sha, original) == products, "actual baseline") + native = temp / pid + shutil.copytree(original, native) + local = native / "local" + raw = {p.relative_to(native).as_posix(): p.read_bytes() + for p in native.rglob("*") if p.is_file()} + objects = {name: read(local / name) for name in FILES} + stages = read(native / "STEPS.json") + providers[pid] = dict(products=products, root_fields=sum(map(len, objects.values())), + scientific_root_fields=sum(1 for n, obj in objects.items() for k in obj + if k not in REF_FIELDS and not (n in TIMED and k == "seconds")), + reference_edges=[list(e) for e in EDGES], + word_sha256=word_sha) + + def restore(): + # All temporary mutations stay inside this private fixture. + for path in sorted(native.rglob("*"), reverse=True): + if path.is_file() or path.is_symlink(): + key = path.relative_to(native).as_posix() + if key not in raw or path.is_symlink(): + path.unlink() + for name, payload in raw.items(): + path = native / name + path.parent.mkdir(parents=True, exist_ok=True) + if not path.exists() or path.read_bytes() != payload: + path.write_bytes(payload) + + def check(name, family, mutate, expected, detail=None, *, compare_oracle=True): + restore() + mutate() + try: + outcome = gate(pid, word_sha, native) + except (ValueError, KeyError, FileNotFoundError) as exc: + status = "REJECTED" + reason = str(exc) + else: + status = "ACCEPTED" + reason = None + require(outcome == products, "accepted products changed") + require(status == expected, "unexpected " + status + ": " + pid + "/" + name) + if compare_oracle: + try: + independent = oracle(native) + except (ValueError, KeyError, FileNotFoundError): + oracle_status = "REJECTED" + else: + oracle_status = "ACCEPTED" if independent == products else "REJECTED" + require(oracle_status == status, "oracle/gate disagreement: " + name) + row = dict(provider=pid, name=name, family=family, result=status) + if reason is not None: + # Paths in errors are fixture details, not deterministic evidence. + row["reason"] = reason.replace(str(native), "FIXTURE") + if detail is not None: + row["detail"] = detail + cases.append(row) + + # Mutate each scientific root field, preserving its container/type + # where possible. Rebind every dependent reference after target edits. + for name in FILES: + for key in sorted(objects[name]): + if (name in TIMED and key == "seconds") or key in REF_FIELDS: + continue + obj = copy.deepcopy(objects[name]) + obj[key], changed, kind = first_edit(obj[key], (key,)) + def change(name=name, obj=obj): + edited = dict(objects) + edited[name] = obj + dump(local / name, obj) + rebind(local, edited) + check(name + "/" + key, "scientific-root-field", change, "REJECTED", + dict(path=list(changed), edit=kind)) + + # The six reference edges must point to the actual serialized bytes. + for name, key, target in EDGES: + def stale(name=name, key=key): + obj = copy.deepcopy(objects[name]); obj[key] = "0" * 64 + dump(local / name, obj) + check(name + "/" + key, "stale-reference", stale, "REJECTED") + def transport(target=target): + dump(local / target, objects[target], pretty=True, mtime=17) + rebind(local, objects) + check(target + "/through/" + name, "rebound-reference-transport", transport, "ACCEPTED") + + for name in FILES: + def add_field(name=name): + obj = copy.deepcopy(objects[name]); obj["audit_extra_scientific"] = 1 + edited = dict(objects); edited[name] = obj + dump(local / name, obj); rebind(local, edited) + check(name, "extra-product-field", add_field, "REJECTED") + check(name, "missing-product", lambda name=name: (local / name).unlink(), "REJECTED") + + for name in sorted(TIMED): + for label, value in (("zero", 0), ("fraction", 1.25), ("large", 1e100)): + def timing(name=name, value=value): + obj = copy.deepcopy(objects[name]); obj["seconds"] = value + dump(local / name, obj) + check(name + "/" + label, "allowed-product-timing", timing, "ACCEPTED") + for label, value in (("negative", -1), ("bool", False), ("string", "0"), + ("null", None), ("nan", float("nan")), + ("infinity", float("inf"))): + def timing(name=name, value=value): + obj = copy.deepcopy(objects[name]); obj["seconds"] = value + dump(local / name, obj) + check(name + "/" + label, "invalid-product-timing", timing, "REJECTED") + def missing_time(name=name): + obj = copy.deepcopy(objects[name]); del obj["seconds"]; dump(local / name, obj) + check(name, "missing-product-timing", missing_time, "REJECTED") + def nested_time(name=name): + obj = copy.deepcopy(objects[name]); obj["audit_nested"] = {"seconds": 0} + dump(local / name, obj) + check(name, "nested-seconds-is-scientific", nested_time, "REJECTED") + + for index, stage in enumerate(STAGES): + for kind in ("omitted", "renamed", "exit-one", "exit-bool", "exit-float"): + def stage_mutation(index=index, kind=kind): + value = copy.deepcopy(stages) + if kind == "omitted": + del value[index] + elif kind == "renamed": + value[index]["step"] += "_audit" + else: + value[index]["exit_code"] = {"exit-one": 1, "exit-bool": False, + "exit-float": 0.0}[kind] + dump(native / "STEPS.json", value) + check(stage + "/" + kind, "stage-contract", stage_mutation, "REJECTED") + check("reversed", "stage-contract", lambda: dump(native / "STEPS.json", stages[::-1]), "REJECTED") + check("duplicate", "stage-contract", lambda: dump(native / "STEPS.json", stages + stages[:1]), "REJECTED") + # Execution evidence is intentionally a projection, not an event log seal. + for label in ("minimal", "negative-time", "nan-time", "invented-provenance"): + def projected_stage(label=label): + value = [{"step": s, "exit_code": 0} for s in STAGES] + if label != "minimal": + for row in value: + row["seconds"] = -1 if label == "negative-time" else float("nan") + if label == "invented-provenance": + row["claimed_executor"] = "synthetic audit value" + dump(native / "STEPS.json", value) + check(label, "uncommitted-stage-metadata", projected_stage, "ACCEPTED") + + check("extra-local", "file-inventory", lambda: dump(local / "EXTRA.json", {}), "REJECTED") + check("extra-outside-local", "file-inventory", lambda: dump(native / "EXTRA.json", {}), "REJECTED") + # A same-byte symlink must still fail the regular-product predicate. + name = "WRAPPER-CHECKS.json" + def symlink_product(): + path = local / name; path.unlink(); path.symlink_to(original / "local" / name) + check("symlink-product", "file-inventory", symlink_product, "REJECTED") + def all_transport(): + for name in FILES: + obj = copy.deepcopy(objects[name]) + if name in TIMED: obj["seconds"] = 0 + # Reverse top-level key order, change whitespace and gzip headers. + obj = dict(reversed(list(obj.items()))) + dump(local / name, obj, pretty=True, mtime=23) + rebind(local, objects) + for name in sorted(TIMED): + obj = read(local / name); obj["seconds"] = 0; dump(local / name, obj, pretty=True) + check("all-products", "equivalent-serialization", all_transport, "ACCEPTED") + restore() + # Wrong word binding and provider identity are separate from products. + for wrong_pid in sorted(set(commitments) - {pid}): + try: + gate(wrong_pid, commitments[wrong_pid]["word_sha256"], native) + except ValueError as exc: + require(str(exc) == "native scientific output commitment", "provider separation reason") + cases.append(dict(provider=pid, name=wrong_pid, family="cross-provider-products", + result="REJECTED", reason=str(exc))) + else: + raise ValueError("accepted another provider's products") + try: + gate(pid, "0" * 64, native) + except ValueError as exc: + require(str(exc) == "native commitment word binding", "word separation reason") + cases.append(dict(provider=pid, name="wrong-word", family="word-binding", + result="REJECTED", reason=str(exc))) + else: + raise ValueError("accepted wrong word commitment") + require(source_pins() == pins, "source inputs unchanged after audit") + by_family = {} + for family in sorted({row["family"] for row in cases}): + by_family[family] = dict(sorted(Counter(row["result"] for row in cases if row["family"] == family).items())) + return dict(status="PASS_MIXED_NATIVE_NORMALIZATION_AUDIT", source_inputs=len(pins), + providers=providers, cases=cases, counts=dict(sorted(Counter(row["result"] for row in cases).items())), + by_family=by_family, + scope="Two retained THREE providers; source/commitment and normalization boundary only. " + "No FOUR generation, native semantics, ordinary/outer replay, or execution-provenance claim.") + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument("--write-result", type=Path, help="write a new deterministic receipt for review") + args = parser.parse_args() + result = run() + encoded = json.dumps(result, sort_keys=True, indent=2) + "\n" + if args.write_result: + args.write_result.write_text(encoded) + else: + require(result == read(HERE / "RESULT.json"), "receipt differs from committed expectations") + print(result["status"] + " providers=2 products=22 cases=" + str(len(result["cases"])) + + " accepted=" + str(result["counts"]["ACCEPTED"]) + + " rejected=" + str(result["counts"]["REJECTED"]) + " no_new_kappa") + + +if __name__ == "__main__": + main()