[codex] test one-hop witnessed STR-1 frontiers - #2128
Draft
TheGreenCedar wants to merge 5 commits into
Draft
TheGreenCedar wants to merge 5 commits into
TheGreenCedar wants to merge 5 commits into
Conversation
This was referenced Sep 4, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
STR-1: no frontier selected
The authoritative evaluator returned
no_frontier_selectedandstop_automatic_packet_programat source73dfbac19fd74a112c96abcc6172cc398cfdb39c, tree028e26a16106771294cba462d55b313e26e821a2. Independent final reconstruction accepted that result at the exact clean head. Automatic packet work is stopped; no further model or implementation work is running.Result
All 72 wording rows completed and passed validation. The 24 retained fragment-oracle fixtures reproduced. Paraphrases were aggregated within each of the 24 cases before corpus and group statistics.
STR-1 group recall was 10.74% for cross-file relationships, 16.99% for debugging/impact/change, 52.78% for known locations, and 68.12% for unknown-name concepts. Every group missed the 70% floor. Relative to its frozen control, STR-1 lost 34.03 percentage points of recall and 22.22 points of complete-set rate. Only 3 of 13 eligible incomplete cases gained a required atom in at least two phrasings.
Both sufficiency and material-value gates failed. Latency was not evaluated for acceptance because quality failed first; no latency repair is authorized. These are answer-aware frontier feasibility scores, not actual packet accuracy or installed-agent success.
Decision and scope
The permitted structural alternative failed. Automatic packet work stops under the accepted plan. No SEL-1 contract, selector implementation, production migration, model change, parser repair against the corpus, fresh confirmation corpus, version bump, calibration, or release work follows.
This does not establish that the product thesis is impossible. It rejects the frozen semantic and structural mechanisms tested here. A frontier oracle still could not meet the accepted capability thresholds; it cannot authorize a working-packet claim.
PR #2126 remains the ETR-1 implementation and valid-failure record. PR #2128 remains a draft benchmark-only stacked child targeting
codex/etr1-frontier. PR #2120 and earlier failure/stop receipts remain unchanged. Production routing, schemas, compiler, plugin guidance, graph behavior, model, and release version were not changed.Execution corrections and verification
The real native canary exposed control-row floating-point reserialization. The correction retained original immutable row references and independently bound fixed inputs, native engine identities, canary execution, and prelaunch requests. A subsequent command-entry import cycle was reproduced, corrected across supervisor/validator/evaluator, and covered by a canary invoking the actual command entries. Unvalidated runs remain invalid/not-evaluated; none contributed quality metrics or partial query reuse.
Focused Rust benchmark tests passed 14/14 per binary on the unchanged native implementation; the final JavaScript suites passed 24/24. Generalization checks and whitespace checks passed. Canary-5 exercised actual preparation, native document encoding, paired control, retained graph indexing/export, structural retrieval, CLI validation/evaluation, underfill, overflow, empty seeds, and hostile contracts.
The sole independent verifier authenticated all twelve repositories and graphs, 10,369 fragments/vectors, 38,097 nodes, and 4,668 certain source-witnessed relations. It independently matched all 72 rows, 62,214 scores (zero numerical error), 1,152 seed steps, 580 successors, 1,732 pooled fragments, 144 arm optima, 24 case aggregates, timing equations, gates, and the terminal decision. All seventeen hostile mutations were rejected. Original source and evidence bytes/mtimes remained unchanged.
Immutable identities
eb7f050da5840c07664655379458f29932b6ccebd803e91b0ff315f5b66a03e5e21be9b56276355c52bfb9ca81eb5aba884802db237233c4b90e8c57c81c47510902f8f8f6771fce5c6addf09bbdef061fd3706be0da050c32baead80fb171fc668c990ee29b25a4bab0cb03e048d70eebd8ffe3dd62317d69b2e58b912a2c9fe00c089fcdab6be8f31f89cddc5c96b11799183ad9bfffac9b5aa1c2c6a630c1b6a8b4cc7a394b96f7b45565f4849022640899bfaf7009c02d5950473b1e8ea0d482c281fc1ff48742d31c97eb09c2bff5a78ccd2fc42c9838f4b9db84ab6d928c6aef865fefce8610a469ea364497bc304712e65f48d60216311ec35722550f271e2075e9b23199db77860ad94b5552d0f9b3da3c3710d9ac4f2fed45de71a85d83b8dfb078d574e35e03be558973b917793049db05172caccb0265447aef7c21b687260aad9bdff58bc8247497ee6138c177ed282b8638043bb4f734ee2cb26c74b54d3dc51e3ef64aef3ce2c7fde24d2eacea8545ec3f5c81fa202dda93f723c05d4a044a9d506412bc8f2e8be48594d1cf8242b301779ed13c1064a42fefRaw artifacts remain in the private external STR-1 evidence directory. No evidence or generated report was added to production source. This closes the authorized experiment at its stop condition, not the downstream 0.18 product or release obligations.
Closes #2127
Refs #2116, #2125, #2126, #2119, #2120