95 lines
5.3 KiB
Diff
95 lines
5.3 KiB
Diff
{
|
|
"format": "RFC6902 JSON Patch; apply to implementation.json parsed JSON then serialize indent2 UTF8",
|
|
"precondition_raw_sha256": "ab1fcf46ef73f2157f16f69394b4039a562c031fae8d407adca013a452226e2f",
|
|
"operations": [
|
|
{
|
|
"op": "replace",
|
|
"path": "/example",
|
|
"value": {
|
|
"classification": "Synthetic machine-readable complete index from retained Proof; diagnostic ONLY, never native/OS/regression acceptance evidence.",
|
|
"construction": "tools/test_p08_migration_evidence.py Proof creates all linked bytes and reachable whole-check positive. Embedded documents illustrate receipts/lifecycle/OS/regression/typed records. Digests belong to the disposable synthetic fixture, not delivered acceptance artifacts; reproduce with Proof in a worktree-local disposable directory.",
|
|
"complete_example_generator": {
|
|
"source": "tools/test_p08_migration_evidence.py",
|
|
"source_raw_sha256": "9924f4cb4f55b15caf9f9733d91f5095553abcf2861e4b335755531480b534a9",
|
|
"class": "Proof",
|
|
"constructor": "Proof(Path(fresh_temporary_directory))",
|
|
"project_root_binding": "module ROOT resolved from unchanged generator inside this exact candidate source tree",
|
|
"generated_full_index": "proof.index",
|
|
"generated_representative_documents": "{path: json.loads((proof.path / path).read_text()) for path in representative_artifact_document_paths}",
|
|
"native_or_os_runs": 0
|
|
},
|
|
"index_top_level_fields": [
|
|
"schema",
|
|
"commit",
|
|
"source_map",
|
|
"spec_sha256",
|
|
"marker_contract_sha256",
|
|
"inputs",
|
|
"cases",
|
|
"conditions",
|
|
"artifacts",
|
|
"acceptance",
|
|
"collection_error",
|
|
"phases",
|
|
"os_proof",
|
|
"regression"
|
|
],
|
|
"representative_artifact_document_paths": [
|
|
"runs/off-positive-writer/off-positive-writer-receipt.json",
|
|
"runs/off-positive-reader/off-positive-reader-receipt.json",
|
|
"runs/off-positive-writer/off-positive-writer/started.json",
|
|
"runs/off-positive-writer/off-positive-writer/ended.json",
|
|
"runs/off-positive-writer/off-positive-writer/outer-owned-finally.json",
|
|
"os.json",
|
|
"os/preview/input.json",
|
|
"regression.json",
|
|
"regression/input.json",
|
|
"regression/ended.json",
|
|
"pairs/off-positive/identity.json",
|
|
"pairs/off-positive/writer-process.json",
|
|
"pairs/off-positive/before-members.json"
|
|
],
|
|
"fixture_config_inputs": {
|
|
"fixture_sources": {
|
|
"tests/s1/test_p08_combined_migration.gd": "9284a8cfb478b4c8d69f6d8166eec6c41107e3902029289b3c0e9ba48c370855",
|
|
"tests/s1/test_p08_combined_migration.gd.uid": "8c3a70d0ce619b8cb98dc003eb6c53a31f167a686179a3ffc105f7cd4d856da5",
|
|
"tests/fixtures/p08-02/README.md": "bc76975e49e7761c2a3540a1e907ab2215ec315653a1d87df6919d1cebd779e0",
|
|
"tests/fixtures/p08-02/mixed_world.gd": "889bc895888b8c6ad50659a3b23a3ee45e9edf8dde9168f5560792c292070d26",
|
|
"tests/fixtures/p08-02/reader.gd": "a760d0e45979d747dbd1f8710033bdce13287b00eb879d947d8378ff920ed1be",
|
|
"tests/fixtures/p08-02/writer.gd": "1a918b5509773b4b07a27d47ee44583b0eb5288138f7bf896088a7913773c260",
|
|
"tools/run_p08_mixed_migration.py": "7e86737e6354a4734726ba8d3171ad5f58d6c0380aba5a0fa3c57879d580e579",
|
|
"tools/check_p08_migration_evidence.py": "8d697c8e9a606bcff6a0a8c6ec55e0e9c434ca9682b7ce6915b5bcb1ea4ff3fd",
|
|
"tools/test_p08_migration_evidence.py": "9924f4cb4f55b15caf9f9733d91f5095553abcf2861e4b335755531480b534a9"
|
|
},
|
|
"native_runner_input_shape": {
|
|
"protocol": "p08-mixed-v1",
|
|
"commit": "<actual final commit>",
|
|
"selected_source_map": "<exact source map>",
|
|
"engine": "<actual executable>",
|
|
"engine_sha256": "<raw SHA>",
|
|
"owner_pid": "<actual collector PID>",
|
|
"default_player": "<protected profile record>",
|
|
"diagnostic_seed": 42588
|
|
},
|
|
"case_environment": {
|
|
"P08_PAIR_ROOT": "<absolute guarded pair output>",
|
|
"P08_OPERATIONS": "off|on",
|
|
"P08_CASE": "positive|refusal"
|
|
},
|
|
"timeouts": "unchanged: collection 900s, phase maximum 180s",
|
|
"formal_validation": "Root copies actual evidence into allocated build directory; --verify-only reads BUILD_OUTPUT_DIR/p08-evidence/index.json"
|
|
},
|
|
"exact_reconstruction_verification": {
|
|
"entire_index_equal": true,
|
|
"entire_representative_documents_equal": true,
|
|
"index_canonical_sha256": "456c67833dc6d6d905a1c0543f7a3e6b1ead715b8e88a5fe816dbcb77072efc0",
|
|
"representative_canonical_sha256": "5727797a0ec11363d1463406be4f1979e279a9c77fff02c284ff7fff60bc32e6",
|
|
"canonical_encoding": "json.dumps(value,sort_keys=True,ensure_ascii=False).encode()"
|
|
},
|
|
"purpose": "Lossless complete synthetic example regeneration from retained code, not a real native/OS acceptance index. Explicit index_schema above remains authoritative. Root proved equality of all original fields before this proposal. Full prior implementation preserved in commit6c7c7244 and byte-verified gzip evidence."
|
|
}
|
|
}
|
|
],
|
|
"worker_not_edited": true
|
|
}
|