Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
25 changes: 25 additions & 0 deletions research/h25-v03-authenticated-prefix-entry/ADAPTER.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
{
"schema": "authenticated-entry-fixture-path-adapter-v2",
"entry_bytes_unchanged": true,
"fixture_file_bytes_unchanged": true,
"pre_import_binding": "Only module-level BASE initializer AST value becomes Path(package); needed because frozen fixture imports NEW entry at module top.",
"post_import_bindings": {
"BASE": "fresh owned temporary root outside packet, containing exact graph copy and fixture temp directory",
"Path": "translate only15exact historical graph copy_path strings to committed package-local inert copies; other calls use real pathlib.Path"
},
"entry_Path_builtins_functions_and_globals_unchanged": true,
"all_fixture_FunctionDef_ClassDef_assertion_AST_unchanged": true,
"all_twelve_original_fixture_methods_retained": true,
"original_source_loaded_only_as_bytes_AST": true,
"main_entry_operation_caller_original_runtime_executed": false,
"outputs": "Outside publishable packet; ordinary temporary fixture cleanup is not runtime rollback",
"rejected_initial_adapter": "Exact initial wrapper/manifest/docs/receipt preserved outside packet under rejected-adapter-v1 before repair",
"fail_closed_paths": "Exact fifteen historical strings translate only with no extra parts. All other calls require one exact canonical absolute string contained in explicit actual PACKAGE or fresh scratch roots; unknown host paths, extra parts, relative/dot spellings refused.",
"manual_boundary_controls": {
"all_exact_mappings": 15,
"known_path_with_extra_parts_refusals": 15,
"unknown_outside_or_dot_paths_refusals": 4,
"fresh_owned_positive": 1
},
"scope": "Path routing for the unchanged frozen fixture only; no filesystem sandbox/runtime authority claim"
}
291 changes: 291 additions & 0 deletions research/h25-v03-authenticated-prefix-entry/ARTIFACTS.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,291 @@
{
"files": [
{
"bytes": 1721,
"path": "ADAPTER.json",
"sha256": "f3acdd2e9564cd1c2dfe2c87bcc30dc1a94080ecfebccc856a7fbc0d0014bab0"
},
{
"bytes": 11357,
"path": "LICENSE",
"sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4"
},
{
"bytes": 1083,
"path": "NOTICE.md",
"sha256": "beb6e4bb1176e794e4f248ea016701899a0168ae321299ecbcc4a7276ce006d1"
},
{
"bytes": 1774,
"path": "POLICY-CHECKPOINT.json",
"sha256": "75b0dd3ad9c45bdcfd0b5aeea2ad7478be21b1aeff24dd01301a23fca240c906"
},
{
"bytes": 9728,
"path": "README.md",
"sha256": "ba975a90bd09ab7388d17878da0b00b178e27f5393e33d1d0b7d82f8822f3817"
},
{
"bytes": 132763,
"path": "SOURCE-GRAPH-v1.json",
"sha256": "f999a6bfc9ac9048b248d9b029b7676ba04dea5c559228d5286e49d269ca3597"
},
{
"bytes": 21705,
"path": "SOURCE-ORIGIN.json",
"sha256": "04432b8b362091a477da5b26217ea3c117ade1e728d4a5060b3d55cf391ff1d4"
},
{
"bytes": 584,
"path": "SOURCES.json",
"sha256": "911ffe8b456c49ccd19ee42c8e21b226a56dacba515e857300aa28cc1db87be7"
},
{
"bytes": 4128,
"path": "TASK.json",
"sha256": "eb4a4722e9dc1179d3e0914fc64bc332b47803b3dc9a1147983d9ce491989c80"
},
{
"bytes": 758,
"path": "VERIFY.json",
"sha256": "38e1aab35a749d7830512efe0de97c4dbedc7dc7a525f709497e30502ead1a26"
},
{
"bytes": 867,
"path": "evidence/AUTHOR-BOOKKEEPING-v1.json",
"sha256": "e2088fd85f57dba85ea375b52af492cff6950469a1e5adedb584efdfd802b287"
},
{
"bytes": 5794,
"path": "evidence/AUTHOR-FREEZE-v1.json",
"sha256": "2c304f8810a17549e97a0a565a3e0a74dbde3f7f753d0942dad050e8feb8b2c4"
},
{
"bytes": 1128,
"path": "evidence/NEW-TESTS-normal-v1.txt",
"sha256": "46036065bfa1157fa14ce4f93c047ddec3fc20291fa6e6fb1e67ea6f2a7f3fd7"
},
{
"bytes": 1541,
"path": "evidence/NEW-TESTS-normal-v2.txt",
"sha256": "67746245de08aa4cce869305d1d173a97b0f13c23408783a90e1b4967558ceee"
},
{
"bytes": 1128,
"path": "evidence/NEW-TESTS-optimized-v1.txt",
"sha256": "63e13e6ef1d5e8195b465e6869cb2d4ecaa7838b61272630d8360dee8899bd9d"
},
{
"bytes": 1541,
"path": "evidence/NEW-TESTS-optimized-v2.txt",
"sha256": "c26d90b490e14525b65fdf40255171b107c7b9e65eddab428c3d5f27e688fc3e"
},
{
"bytes": 431,
"path": "evidence/RECONSTRUCTION-v1.json",
"sha256": "342322dae633116c337cdacf0fa5d288b05cd7636c6264e73aaf32f6fdb15616"
},
{
"bytes": 1576,
"path": "evidence/REPAIR-WINDOW-v1.json",
"sha256": "1aae26a3f68e8774fe4deae3231172b92cdc14d859559b8ec655957605e81144"
},
{
"bytes": 2599,
"path": "evidence/SOURCE-CLOSE-v1.json",
"sha256": "7cac80142264ca41f80be6fa7ea4a0b268cd2ce6c44ff2755f0cb3294c59fd9b"
},
{
"bytes": 3494,
"path": "evidence/SOURCE-CUTOFF-OBSERVATION-v1.json",
"sha256": "5ef3dc17be7b3e08d49e9e442073952854a7a1f2fd810c34ed6e6f0b373c65f3"
},
{
"bytes": 2629,
"path": "evidence/review-caller-source-v1.json",
"sha256": "3355a2f1275daa31cb35d26f1fb87e305b645920cd4c1369a185ac3b7f436c16"
},
{
"bytes": 4044,
"path": "evidence/review-caller-source-v1.md",
"sha256": "899bff22642c6dc1f4b3ce903066d77b5fecf447dba53d14e035e4f05a323bf1"
},
{
"bytes": 4061,
"path": "evidence/review-caller-source-v2.json",
"sha256": "37c9f79c9f836fa14ea88d1ae5790b2ce350361699e848f35e2faebe6549c8b6"
},
{
"bytes": 3650,
"path": "evidence/review-caller-source-v2.md",
"sha256": "6fd0b3f5c47ffe81ccd362a526f37c15d18d762b0c5f0464977f93fac18d89b2"
},
{
"bytes": 11197,
"path": "evidence/review-loader-initial-reconstruction-v1.json",
"sha256": "072e74893f0e512e7025b5d2756b09e05a87811286dc870139139561062a5efa"
},
{
"bytes": 3430,
"path": "evidence/review-loader-source-v1.json",
"sha256": "dd63a381f2feef9a5a2b265754b4d8102672e429c0843a2052adcfd9f10e5962"
},
{
"bytes": 1680,
"path": "evidence/review-loader-source-v1.md",
"sha256": "ba94ab04608fccc387c6178e7dade9df1868e2c43902f9ae8aa076550414b837"
},
{
"bytes": 5562,
"path": "evidence/review-loader-source-v2.json",
"sha256": "7ed7ef8896abdaab443473038992f652a5054f43c4ea41a0f0aa0f028079b799"
},
{
"bytes": 2374,
"path": "evidence/review-loader-source-v2.md",
"sha256": "f7a78a3b44892e20eae7154e048cf42ed25bd189a1192b4d45191e75c8cc0ec0"
},
{
"bytes": 6532,
"path": "fixtures/test_bootstrap_new_v1.py",
"sha256": "19c1b08d4daeaf0c2d40357b0e117fcb2ca2f632f627e290fe7442abf49b3504"
},
{
"bytes": 9247,
"path": "history/after-self-correction-35b.py.txt",
"sha256": "35b99508cbc4b686f18b29ecd1458c21f4139ffd0a8cc62a774a49570e20c10f"
},
{
"bytes": 9950,
"path": "history/initial-draft-VERIFIED-RECONSTRUCTION-d751.py.txt",
"sha256": "d7512ffe6c9ee2b7a51b98672032fd14f50f5d47e193131873ea426a47f25cbd"
},
{
"bytes": 21773,
"path": "history/pre-canonical-pair-a8b7.py.txt",
"sha256": "a8b78c852fe653bfe9ef7b594f5efe1f8021b1128c662e54fb4fea7800b702d5"
},
{
"bytes": 21764,
"path": "history/pre-ctypes-75a.py.txt",
"sha256": "75a08c0a5ea2ed80373fbd91d2a8cb53b2b131d9ef1bcab74ccb69d191cb2a56"
},
{
"bytes": 21764,
"path": "history/reviewed-entry-75a.py.txt",
"sha256": "75a08c0a5ea2ed80373fbd91d2a8cb53b2b131d9ef1bcab74ccb69d191cb2a56"
},
{
"bytes": 21857,
"path": "history/reviewed-entry-final-b783.py.txt",
"sha256": "b783c6812a6295069456cfb4187d4e09bb7acbcb20fffd76e0c10267f90c1201"
},
{
"bytes": 5094,
"path": "history/reviewed-tests-9796.py.txt",
"sha256": "9796386f813ccece7199b1795a9b5d34469eeea001021aeda3ac49e796c33e2f"
},
{
"bytes": 6532,
"path": "history/reviewed-tests-final-19c1.py.txt",
"sha256": "19c1b08d4daeaf0c2d40357b0e117fcb2ca2f632f627e290fe7442abf49b3504"
},
{
"bytes": 21857,
"path": "implementation/predecessor_entry.py",
"sha256": "b783c6812a6295069456cfb4187d4e09bb7acbcb20fffd76e0c10267f90c1201"
},
{
"bytes": 13934,
"path": "prerequisites/PINS-v1.json",
"sha256": "f20555d87ab5b0f1bed28461f2b435773607ffaf87f5c4ba21414844f44fd1d6"
},
{
"bytes": 82957,
"path": "prerequisites/epoch_copy_v5.py.txt",
"sha256": "4f459d0336d59975df787c24373e18dad4044c3a24137392e890115f811b3211"
},
{
"bytes": 26833,
"path": "prerequisites/epoch_parent_v5.py.txt",
"sha256": "058059912144863a4b2bfe4fc9ffc5233b4ab20ee5a7355bde66f4d3f6f28712"
},
{
"bytes": 30668,
"path": "prerequisites/epoch_schema_v5.py.txt",
"sha256": "b89a789654be87bde40a47300f4d9702dce2b90e6ab3be9a2025f6d8041b3e9a"
},
{
"bytes": 8205,
"path": "prerequisites/epoch_stop_v5.py.txt",
"sha256": "5b10c9d72dd0e646652a73b6ffe9ba870762d6bc2f7432bc6b06571a1b7d2a6f"
},
{
"bytes": 15610,
"path": "prerequisites/group01_evidence_v1.py.txt",
"sha256": "05ec6a63c57340ba929aea1fab71b096efc143e099346640f6def41310bd3e25"
},
{
"bytes": 23224,
"path": "prerequisites/group01_original_predicates_v1.py.txt",
"sha256": "fb9e6e11b39b76ab8652c546fd76c06d662ea4116376abcc2a6267bb4783dbfd"
},
{
"bytes": 23047,
"path": "prerequisites/h25_parent_supervisor.py.txt",
"sha256": "cfb09a18dd10b597cc6d5a8139ee769bef679bc44ae029329755e3d97b055075"
},
{
"bytes": 16024,
"path": "prerequisites/original_build_provenance_v5.py.txt",
"sha256": "bd5ffd9a1c221e0945527fc8fa8d0ad4eb36b9a8884503451c1b6b12d00007ea"
},
{
"bytes": 13463,
"path": "prerequisites/parent_closure_v1.py.txt",
"sha256": "a15424f14baa3d484fe04bfbe7e449c32561c866dbaca2c1b5f646dfb377ed1f"
},
{
"bytes": 54168,
"path": "prerequisites/parent_completion_v1.py.txt",
"sha256": "d4ee1b7ce4a42b73261984ffb1b9ceb5bb0165223e04a253588f83b99f6981a5"
},
{
"bytes": 23942,
"path": "prerequisites/parent_domain_v1.py.txt",
"sha256": "a51264289803b4b17bb262f2460ddd4ed72500aaa21e5eb80fa2db4583689361"
},
{
"bytes": 6111,
"path": "prerequisites/v03_integrated_constructor_v2.py.txt",
"sha256": "a80a60b390bc60e9bc434b79cda5ae6db88e4f0c6c7436de9adfe1f48a2045b1"
},
{
"bytes": 3830,
"path": "prerequisites/v03_prefix_derivation_v1.py.txt",
"sha256": "1ed813148c10d5fbd3cd6781d51eca650a347eda7a6323f581d740e6ea9cb6e2"
},
{
"bytes": 36954,
"path": "prerequisites/v03_prefix_supervisor_v1.py.txt",
"sha256": "f97b07d4a5f461d4134a2bdf4cfcc28da12acc7e7144c18f6cc0a017cdee86f6"
},
{
"bytes": 14205,
"path": "prerequisites/v03_source_refusal_observer_v1.py.txt",
"sha256": "abf25690d3bee4a9783ee504567c29f7fb47da670e0ec95f57cb5944bf57264f"
},
{
"bytes": 5045,
"path": "run.py",
"sha256": "a1264e6ac33afffc313d0ed3fc069fd282620550b84b7de87d1b7586a71985ea"
},
{
"bytes": 5311,
"path": "verify.py",
"sha256": "57161e1e90b031d50e2f43864c66cadc163a27814bc76f085ce6fe14dbb90bfd"
}
],
"schema": "authenticated-entry-export-artifacts-v2",
"scope": "Exact packet bytes including historical whitespace, excluding ARTIFACTS itself; accepted conditional U6.2 source only; publication path adapter v2"
}
Loading