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
13 changes: 13 additions & 0 deletions research/selected-single-pass-qualification/BENCHMARK.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
{
"baseline_cpu_seconds": 403.68,
"baseline_wall_seconds": 405.85850924099213,
"candidate_cpu_seconds": 268.56,
"candidate_wall_seconds": 268.9318538699881,
"complete_output_equivalence": true,
"cpu_fraction_saved": 0.3347205707491082,
"limitations": "One source-bound fresh-process pair on a shared host; not a median or universal speedup.",
"original_cross_stdout_sha256": "f4c811b22ed856202b5a2607b108dec04b2adaa4607e0bc94b3bf84c5d69a594",
"original_verify_stdout_sha256": "311294ae4311f9668487882dbeadf8750324b91eeb3546545cc2d8fa2ba880ee",
"samples_per_arm": 1,
"wall_fraction_saved": 0.33737534695792026
}
57 changes: 57 additions & 0 deletions research/selected-single-pass-qualification/COVERAGE-GATE.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,57 @@
{
"gate": "G1_PASS_BEFORE_FULL_INTEGRATION",
"source_head": "53006fe6031dab5c23d5b7d1cf6a92f411a04a68",
"small_test": "3 actual-adapter inputs; 1536 amplitudes per unchanged literal interpreter; complete small receipts equal; 13 exact-predicate controls pass normally and optimized",
"orchestration_sha256": "8d391ad97edf8ca3966a9dd232832474d8b07056cb07b6dee77d1d1d334ed0f3",
"map": [
[
"54 source export files",
"source.payload exact archive/manifest/member hashes before imports"
],
[
"31 live inputs and 4 derived ASTs",
"unchanged verify.main and cross.main call pins.authenticate and binding.check"
],
[
"1522-state adapter/cache/type/mutation corpus and 3 omitted-proof controls",
"unchanged verify.main -> checks.run before observation; counters and cache reset required"
],
[
"complete construction/RESULT/WORD/native phases/caller/invoice/compiler/outer checks",
"unchanged verify_source.main([]) executes once with observational A.TRACE set"
],
[
"complete original RESULT fields, source hashes, controls and cache counts",
"unchanged verify.main compares original RESULT.json after shared execution"
],
[
"complete actual input trace, counters, collection and fresh cross trace lifecycle",
"first observer captures only source keys; second callback requires exact unchanged counters/cache and empty trace before transferring; unchanged cross.main hashes full sorted trace"
],
[
"all 17651 state inputs and 9037312 entries per interpreter, zeros and denominators",
"unchanged cross.main full dense/sparse/second-literal loop"
],
[
"complete original CROSS receipt",
"unchanged cross.main comparison with original CROSS.json"
],
[
"normal and optimized failures",
"fresh process runs with original explicit assertion conversion unchanged"
],
[
"original fresh process separation",
"duplicate source execution deliberately coalesced, not preserved as a separate test. Fresh normal/optimized runs and original standalone commands retained; no persistent reuse."
],
[
"failure propagation and hook restoration",
"try/finally restores source.main and TRACE; small exact-exception controls cover both phases"
],
[
"source bytes/modes and storage",
"private Git-free read-only export; input inventory checked before/after; frozen originals never changed"
]
],
"independence_limit": "The two legacy literal interpreters remain independent of the quadratic engine. The cross phase shares source execution and process state by design; it is not an independent second complete source replay. Complete counter/cache equality and cold separate mode runs detect listed contamination, not all possible interpreter/environment defects."
}
26 changes: 26 additions & 0 deletions research/selected-single-pass-qualification/EVIDENCE-SHA256.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
{
"evidence/CUSTODY-NORMAL.txt": "998f8d0c6313ce5f2b63612966b75fcb76ea4e8439e3b5606cbae6b9315fa7a3",
"evidence/CUSTODY-OPTIMIZED.txt": "998f8d0c6313ce5f2b63612966b75fcb76ea4e8439e3b5606cbae6b9315fa7a3",
"evidence/SMALL-NORMAL.txt": "08b5f25a4804581558428ecc689de05303e167eea7236a536cb2b018eb03ab4a",
"evidence/SMALL-OPTIMIZED.txt": "08b5f25a4804581558428ecc689de05303e167eea7236a536cb2b018eb03ab4a",
"evidence/runs/baseline-cross/receipt.json": "e6f857b701527905d000119fff31c6ece938bbb9615abdef57cb597449df6f6b",
"evidence/runs/baseline-cross/stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/runs/baseline-cross/stdout.txt": "f4c811b22ed856202b5a2607b108dec04b2adaa4607e0bc94b3bf84c5d69a594",
"evidence/runs/baseline-cross/usage.json": "a66f4bdccbaaa1787e68d5e389dcf3f4e3b17b89b65eb9b644e598e4b9192c27",
"evidence/runs/baseline-verify/receipt.json": "32a46de040acfd178f0562790718c5adf93cdb3e085031b404a8331acec9dbae",
"evidence/runs/baseline-verify/stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/runs/baseline-verify/stdout.txt": "311294ae4311f9668487882dbeadf8750324b91eeb3546545cc2d8fa2ba880ee",
"evidence/runs/baseline-verify/usage.json": "69b071996f29f42b0485af44e5949df6ff9c67edbd660ec2d73332645179cc74",
"evidence/runs/candidate-normal/receipt.json": "81990012443d6be3439720c0d2c21f3554099565de376e29d62d48495f473116",
"evidence/runs/candidate-normal/stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/runs/candidate-normal/stdout.txt": "c796be009d692546eab74e3ac084ec6badf45245841d81f101c2a164c0a6eaba",
"evidence/runs/candidate-normal/usage.json": "d50b2d8fba6fc2fe2863b2056642ebf42dae5a4d41fcaf068655cdc7c96da3c6",
"evidence/runs/candidate-optimized/receipt.json": "588025cbc3196504f1a67bd45203d8aa3ea77d7c8db80ea03c9bd7b7867cf39e",
"evidence/runs/candidate-optimized/stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/runs/candidate-optimized/stdout.txt": "c796be009d692546eab74e3ac084ec6badf45245841d81f101c2a164c0a6eaba",
"evidence/runs/candidate-optimized/usage.json": "93974c78ba2336417ad85b350ed050ae506d50ae734f3a2c4be770321bdd4b66",
"evidence/runs/candidate-sealed-optimized/receipt.json": "94f79e146403bc595624dbdf60272b79718b215b1612001c818be34663a4db57",
"evidence/runs/candidate-sealed-optimized/stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
"evidence/runs/candidate-sealed-optimized/stdout.txt": "c796be009d692546eab74e3ac084ec6badf45245841d81f101c2a164c0a6eaba",
"evidence/runs/candidate-sealed-optimized/usage.json": "59caac70dcb2aaa6fdbe4149f2c390a08d7c69c19abc76b84925ec3c6f2b7479"
}
Loading