362 lines
20 KiB
JSON
362 lines
20 KiB
JSON
{
|
|
"scope": "Read-only fixture transport/identity/manifest/hash audit; no proposed parser, full type checker, evaluator or Studio execution.",
|
|
"python": "3.12.14 (main, Aug 25 2026, 14:01:42) [MSC v.1944 64 bit (AMD64)]",
|
|
"audit_source_sha256": "a449587294c83891803e52721f727fc61a6448137b0c47e7fab6e41373846b60",
|
|
"exit_code": 0,
|
|
"checks_passed": 292,
|
|
"checks": [
|
|
"frozen hash: harness/release-analysis-baseline-contract-20260911.md",
|
|
"frozen hash: harness/release-library-compatibility-contract-20260911.md",
|
|
"frozen hash: harness/experiments/library-compatibility-20260911/main.rs",
|
|
"frozen hash: harness/experiments/library-compatibility-20260911/EVIDENCE.json",
|
|
"exactly 11 baseline fixture files",
|
|
"strict JSON transport: evaluate-baseline.json",
|
|
"strict JSON transport: evaluate-degraded.json",
|
|
"strict JSON transport: evaluate-unmeasured.json",
|
|
"strict JSON transport: expected-observations.json",
|
|
"strict JSON transport: fixture-integrity.json",
|
|
"strict JSON transport: freeze-degraded.json.proposed",
|
|
"strict JSON transport: portable-document.json.proposed",
|
|
"strict JSON transport: r7-literal-boundaries.json",
|
|
"declared source entry",
|
|
"exact embedded source bytes",
|
|
"source byte count",
|
|
"source line count",
|
|
"freeze capsule is byte-identical to complete portable JSON",
|
|
"freeze and fixture digest agree with captured bytes",
|
|
"freeze model identity",
|
|
"parameter reference remains in declaring calculation",
|
|
"parameter reference remains in declaring calculation",
|
|
"17 distinct typed identities",
|
|
"every typed identity has exactly one explicit source id",
|
|
"canonical UUID: 4210b9f2-7046-47f0-aa3b-153f626a579d",
|
|
"canonical UUID: 188b911c-5f8b-431c-9eea-2d41f3953767",
|
|
"canonical UUID: 39053f37-fec9-4708-9f0a-3959d223f891",
|
|
"canonical UUID: 534f4672-1ba5-4157-8b0a-b9cf41d0a3ce",
|
|
"canonical UUID: fd7ce7ab-f789-40bc-b699-0c37f1b6902f",
|
|
"canonical UUID: 38036c65-16d4-449c-837b-91eb141c1d93",
|
|
"canonical UUID: 437bedbb-2cf4-44ee-a139-6563cc5086ec",
|
|
"canonical UUID: 4ab9a8a7-7552-488d-9862-e14b89e7b353",
|
|
"canonical UUID: 63a931c2-675a-4fce-89e5-04361cb99450",
|
|
"canonical UUID: 6df991ba-4c5e-4535-99e2-524ae274ee8b",
|
|
"canonical UUID: 99d3e09a-0ec3-4194-9dd4-9f3de6625cde",
|
|
"canonical UUID: bac0de99-9d2f-4e53-9158-d424ecac61bf",
|
|
"canonical UUID: bd5b68e8-65fc-4e35-9071-a73061316a4b",
|
|
"canonical UUID: c33fc772-2a60-4044-9af9-73c61c563ace",
|
|
"canonical UUID: cabec6a1-7d5d-48f3-8d2d-a7fc8cf78f59",
|
|
"canonical UUID: 28ff40b0-1b8f-4735-8536-5a6ab21b56cb",
|
|
"canonical UUID: 7a47cc1e-8ae5-4551-b2d8-8a68108e0976",
|
|
"key/record identity agrees: duration",
|
|
"key/record identity agrees: millisecond",
|
|
"key/record identity agrees: second",
|
|
"key/record identity agrees: combine",
|
|
"key/record identity agrees: degraded",
|
|
"key/record identity agrees: limit",
|
|
"key/record identity agrees: receive",
|
|
"key/record identity agrees: receive_time",
|
|
"key/record identity agrees: dispatch",
|
|
"key/record identity agrees: unmeasured",
|
|
"key/record identity agrees: budget",
|
|
"key/record identity agrees: total_time",
|
|
"key/record identity agrees: dispatch_time",
|
|
"key/record identity agrees: respond",
|
|
"root analysis element: degraded",
|
|
"root analysis element: limit",
|
|
"root analysis element: receive_time",
|
|
"root analysis element: unmeasured",
|
|
"root analysis element: budget",
|
|
"root analysis element: total_time",
|
|
"root analysis element: dispatch_time",
|
|
"four explicit property bases",
|
|
"two explicit case override entries",
|
|
"one shared check",
|
|
"four local definitions",
|
|
"ten project elements",
|
|
"two scoped parameters",
|
|
"local definition reference resolves",
|
|
"local definition reference resolves",
|
|
"local definition reference resolves",
|
|
"local definition reference resolves",
|
|
"local definition reference resolves",
|
|
"local definition reference resolves",
|
|
"local definition reference resolves",
|
|
"local definition reference resolves",
|
|
"element subject resolves",
|
|
"local definition reference resolves",
|
|
"local definition reference resolves",
|
|
"local definition reference resolves",
|
|
"element subject resolves",
|
|
"local definition reference resolves",
|
|
"property expression reference resolves",
|
|
"property expression reference resolves",
|
|
"call arguments exactly match parameter identities",
|
|
"property expression reference resolves",
|
|
"property expression reference resolves",
|
|
"local definition reference resolves",
|
|
"local definition reference resolves",
|
|
"element subject resolves",
|
|
"local definition reference resolves",
|
|
"local definition reference resolves",
|
|
"local definition reference resolves",
|
|
"element subject resolves",
|
|
"local definition reference resolves",
|
|
"explicit model-baseline selector",
|
|
"all frozen binding ASTs and base/override origins match captured context",
|
|
"all frozen shared check ASTs match captured model",
|
|
"frozen definition inventory and exact document hash agree",
|
|
"local-only fixture makes no imported freeze claim",
|
|
"valid target identities: evaluate-baseline.json/properties",
|
|
"valid target identities: evaluate-baseline.json/checks",
|
|
"valid target identities: evaluate-degraded.json/properties",
|
|
"valid target identities: evaluate-degraded.json/checks",
|
|
"valid target identities: evaluate-unmeasured.json/properties",
|
|
"valid target identities: evaluate-unmeasured.json/checks",
|
|
"independently constructed boundary value: ten_to_300",
|
|
"canonical exact wire components: ten_to_300",
|
|
"normalized rational: ten_to_300",
|
|
"actual 4096-bit boundary: ten_to_300",
|
|
"1234-digit component boundary: ten_to_300",
|
|
"canonical literal spelling agrees with exact Number node: ten_to_300",
|
|
"independently constructed boundary value: one_over_two_to_4095",
|
|
"canonical exact wire components: one_over_two_to_4095",
|
|
"normalized rational: one_over_two_to_4095",
|
|
"actual 4096-bit boundary: one_over_two_to_4095",
|
|
"1234-digit component boundary: one_over_two_to_4095",
|
|
"canonical literal spelling agrees with exact Number node: one_over_two_to_4095",
|
|
"independently constructed boundary value: negative_4096_bit_bound",
|
|
"canonical exact wire components: negative_4096_bit_bound",
|
|
"normalized rational: negative_4096_bit_bound",
|
|
"actual 4096-bit boundary: negative_4096_bit_bound",
|
|
"1234-digit component boundary: negative_4096_bit_bound",
|
|
"canonical literal spelling agrees with exact Number node: negative_4096_bit_bound",
|
|
"81 final library fixture hash entries",
|
|
"no duplicated library evidence paths",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-initial/management/data1.mount",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-initial/management/left/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-initial/management/left/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-initial/management/left/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-initial/management/right/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-initial/management/right/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-initial/management/right/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-initial/packages/28df5ea3447918dfee3c6ed4243d8f986c689f93a54d89c6181b47d6c2f39b33.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-initial/project.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-recompiled/management/data1.mount",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-recompiled/management/left/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-recompiled/management/left/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-recompiled/management/left/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-recompiled/management/right/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-recompiled/management/right/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-recompiled/management/right/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-recompiled/packages/28df5ea3447918dfee3c6ed4243d8f986c689f93a54d89c6181b47d6c2f39b33.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/01-recompiled/project.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/02-edited/management/data1.mount",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/02-edited/management/left/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/02-edited/management/left/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/02-edited/management/left/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/02-edited/management/right/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/02-edited/management/right/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/02-edited/management/right/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/02-edited/packages/28df5ea3447918dfee3c6ed4243d8f986c689f93a54d89c6181b47d6c2f39b33.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/02-edited/project.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/03-updated/management/data1.mount",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/03-updated/management/data2.mount",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/03-updated/management/left/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/03-updated/management/left/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/03-updated/management/left/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/03-updated/management/right/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/03-updated/management/right/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/03-updated/management/right/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/03-updated/packages/28df5ea3447918dfee3c6ed4243d8f986c689f93a54d89c6181b47d6c2f39b33.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/03-updated/packages/a35102e04b9f6822ab409ab43f83eded33edd0a3a3c1f589245bb7b123ce4779.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/03-updated/project.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/04-reidentified/management/data1.mount",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/04-reidentified/management/left/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/04-reidentified/management/left/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/04-reidentified/management/left/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/04-reidentified/management/right/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/04-reidentified/management/right/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/04-reidentified/management/right/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/04-reidentified/packages/28df5ea3447918dfee3c6ed4243d8f986c689f93a54d89c6181b47d6c2f39b33.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/04-reidentified/project.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/05-fresh-process-reopened/management/data1.mount",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/05-fresh-process-reopened/management/data2.mount",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/05-fresh-process-reopened/management/left/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/05-fresh-process-reopened/management/left/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/05-fresh-process-reopened/management/left/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/05-fresh-process-reopened/management/right/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/05-fresh-process-reopened/management/right/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/05-fresh-process-reopened/management/right/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/05-fresh-process-reopened/packages/28df5ea3447918dfee3c6ed4243d8f986c689f93a54d89c6181b47d6c2f39b33.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/05-fresh-process-reopened/packages/a35102e04b9f6822ab409ab43f83eded33edd0a3a3c1f589245bb7b123ce4779.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/05-fresh-process-reopened/project.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/expected-full-updated/management/data1.mount",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/expected-full-updated/management/data2.mount",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/expected-full-updated/management/left/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/expected-full-updated/management/left/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/expected-full-updated/management/left/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/expected-full-updated/management/right/base.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/expected-full-updated/management/right/lineage.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/expected-full-updated/management/right/map.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/expected-full-updated/packages/28df5ea3447918dfee3c6ed4243d8f986c689f93a54d89c6181b47d6c2f39b33.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/expected-full-updated/packages/a35102e04b9f6822ab409ab43f83eded33edd0a3a3c1f589245bb7b123ce4779.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/expected-full-updated/project.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/expected-initial.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/expected-key-records.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/explicit-bridges.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/initial.request",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/local-edit.request",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/oa-sa-transition.model",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/package-D1.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/package-D2.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/package-D3.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/package-SA.library",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/RESULTS.md",
|
|
"only final library evidence",
|
|
"exact final library fixture: generated-final/selective-update.request",
|
|
"11 complete updated library files",
|
|
"complete byte equality: expected-full-updated",
|
|
"complete byte equality: 05-fresh-process-reopened",
|
|
"author's recorded 120-assertion/fresh-process results (not rerun here)"
|
|
],
|
|
"frozen_input_hashes": {
|
|
"harness/release-analysis-baseline-contract-20260911.md": "9d294a3a8ad41ef4d07caac9fa410286f22ea5464400ccf01714f76e01ba5802",
|
|
"harness/release-library-compatibility-contract-20260911.md": "30bbfd379ec542827a22d3b604534e5b6329cd913ff243747004e1afa2983ee5",
|
|
"harness/experiments/library-compatibility-20260911/main.rs": "bc31bacf250f3711758717f18a3104696ed941c3c9b89817caa6a96e6540062a",
|
|
"harness/experiments/library-compatibility-20260911/EVIDENCE.json": "1eb643f20645a83e88e644b1f2c42d554f35259fa2cfceafa0632bf47c2ed966"
|
|
},
|
|
"baseline_fixture_hashes": {
|
|
"README.md": "9750d50a3ad290b619ae0b31b465289099be9b216262ae3776abc7469778010d",
|
|
"active.arcadia.proposed": "a87154a106df1c0fdbf14b0a936e6ae17b2f67fa9d3c2ec280b5aa1644be35c4",
|
|
"build-fixtures.ps1": "1663eb642ab5419a3d983e8e98f030c46ca119dde6f42309660fb584dbc33d6f",
|
|
"evaluate-baseline.json": "5c794d7f8a117dad32570969deb11f1f373d0727ade277ab809ffec0b147b6da",
|
|
"evaluate-degraded.json": "9d134830a1c109b867cd4649f18b43ca245e8aed5953addf1cacb1cf712aa7b8",
|
|
"evaluate-unmeasured.json": "1b06bb31c2e95fcb107cced0e3cbb0c9db3b83c95ff8a9c9be93b3a4235d1e6d",
|
|
"expected-observations.json": "d2b0c389917de48c085ebe65611ad765b2d0f37b1d309a85ec9f3a1b84f1cbcc",
|
|
"fixture-integrity.json": "8092498eabef0ff2ebcc3b1b9ed417ea65008715b30b4fad984b9b2bf873a6b1",
|
|
"freeze-degraded.json.proposed": "e198ece3fb52ce44d960fa7af8373ad9ad2e57f5e7b5a39e752aa6c7d5501e60",
|
|
"portable-document.json.proposed": "6667773d90f83626f760b2faa2bf7d57638947d95574e3fa3e80b64416f01497",
|
|
"r7-literal-boundaries.json": "3b959dec5e100a6f03817f5314bef497347ba579ebd235476516d4bd83399181"
|
|
},
|
|
"r7_literal_measurements": [
|
|
{
|
|
"name": "ten_to_300",
|
|
"numerator_bits": 997,
|
|
"denominator_bits": 1,
|
|
"numerator_digits": 301,
|
|
"denominator_digits": 1
|
|
},
|
|
{
|
|
"name": "one_over_two_to_4095",
|
|
"numerator_bits": 1,
|
|
"denominator_bits": 4096,
|
|
"numerator_digits": 1,
|
|
"denominator_digits": 1233
|
|
},
|
|
{
|
|
"name": "negative_4096_bit_bound",
|
|
"numerator_bits": 4096,
|
|
"denominator_bits": 1,
|
|
"numerator_digits": 1234,
|
|
"denominator_digits": 1
|
|
}
|
|
],
|
|
"work_count_counterexample": {
|
|
"definition_count": 31,
|
|
"stored_expression_nodes_including_root_call": 333,
|
|
"maximum_call_levels": 31,
|
|
"dynamic_definition_calls": 2147483647,
|
|
"distinct_leaf_argument_values": 1073741824,
|
|
"largest_leaf_argument_bits": 30,
|
|
"exact_result_bits": 59,
|
|
"status": "closed-form count only; no billion-call evaluation executed"
|
|
},
|
|
"library_recorded_execution": {
|
|
"compiler": "rustc 1.98.1 (48a229cea 2026-09-01), x86_64-pc-windows-gnullvm, LLVM 22.1.8",
|
|
"source_sha256": "bc31bacf250f3711758717f18a3104696ed941c3c9b89817caa6a96e6540062a",
|
|
"executable_sha256": "652a15a96bd9b0cf2aa732c2273ec5e651c18e9d11d668a1ae5f214d120bb310",
|
|
"assertions_passed": 120,
|
|
"run_exit_code": 0,
|
|
"fresh_process_reopen_exit_code": 0
|
|
}
|
|
}
|