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()