Skip to content

[codex] test one-hop witnessed STR-1 frontiers - #2128

Draft
TheGreenCedar wants to merge 5 commits into
codex/etr1-frontierfrom
codex/str1-frontier
Draft

TheGreenCedar wants to merge 5 commits into
codex/etr1-frontierfrom
codex/str1-frontier

Conversation

@TheGreenCedar

@TheGreenCedar TheGreenCedar commented Sep 4, 2026

Copy link
Copy Markdown
Owner

STR-1: no frontier selected

The authoritative evaluator returned no_frontier_selected and stop_automatic_packet_program at source 73dfbac19fd74a112c96abcc6172cc398cfdb39c, tree 028e26a16106771294cba462d55b313e26e821a2. 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.

Frozen mechanism Feasible source recall Complete acceptable source sets
Unconditioned semantic control 71.19% 40.28%
ETR-1 source-conditioned semantic retrieval 72.52% 41.67%
STR-1 one-hop witnessed structural retrieval 37.16% 18.06%
Required absolute gate 85% 75%

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

Artifact SHA-256
Source/configuration freeze eb7f050da5840c07664655379458f29932b6ccebd803e91b0ff315f5b66a03e5
Native STR binary e21be9b56276355c52bfb9ca81eb5aba884802db237233c4b90e8c57c81c4751
Method 0902f8f8f6771fce5c6addf09bbdef061fd3706be0da050c32baead80fb171fc
Retained graph input registry 668c990ee29b25a4bab0cb03e048d70eebd8ffe3dd62317d69b2e58b912a2c9f
Graph output e00c089fcdab6be8f31f89cddc5c96b11799183ad9bfffac9b5aa1c2c6a630c1
Run output b6a8b4cc7a394b96f7b45565f4849022640899bfaf7009c02d5950473b1e8ea0
Graph execution receipt d482c281fc1ff48742d31c97eb09c2bff5a78ccd2fc42c9838f4b9db84ab6d92
Run execution receipt 8c6aef865fefce8610a469ea364497bc304712e65f48d60216311ec35722550f
Validation 271e2075e9b23199db77860ad94b5552d0f9b3da3c3710d9ac4f2fed45de71a8
Evaluation 5d83b8dfb078d574e35e03be558973b917793049db05172caccb0265447aef7c
Canary-5 21b687260aad9bdff58bc8247497ee6138c177ed282b8638043bb4f734ee2cb2
CLI-boundary independent verification 6c74b54d3dc51e3ef64aef3ce2c7fde24d2eacea8545ec3f5c81fa202dda93f7
Independent final reconstruction 23c05d4a044a9d506412bc8f2e8be48594d1cf8242b301779ed13c1064a42fef

Raw 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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant