Repository navigation
Conversation
dills122
changed the title
dills122
changed the title
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.
Scope
Continue the C5b19 offline oracle with G3a3 one-attempt write-history conformance. It retains the earlier cancellation/identity/obligation primitives and G3a2 request/reply/record validators.
The new checker privately retains one pending request, enforces fresh IDs and exact generation progression, and accepts only an exact simulated control application. Uncertain outcomes preserve confirmed facts. Terminal candidates retain confirmed runner fields and match any attempted runner identity; preparation-to-terminal without a runner write remains supported.
Published head:
6575898a32ff4a3d24ca4c757f42b1807798a372. The reviewed Go/test bytes stayed unchanged after freeze; only acceptance metadata was appended before commit.Verification and review
Exact offline Go 1.25.13 test/race/vet/build passed after compiler-red. Six guard mutants were rejected and restored. The published plan retains commands, excerpts, hashes and limitations.
Fresh G3a3 independent review instance 1/3 returned Ready, no actionable findings. The reviewer independently ran offline checks and verified source/reference/log hashes; mutation logs were inspected rather than independently rerun. Published review and canonical PR #387 retain the evidence.
Historical G3a/G3a2 reviews are preserved. The initial G3a third-review claim still lacks its original report and is not recertified by this increment.
Remaining gates
G3a2 and G3a3 are PASSED for their bounded implementation and review. Full Gate 3 remains IN_PROGRESS — TRENDING_GOOD. Full control/event/timing oracle, native control, storage and runnable composition remain unfinished. Gate 4–6 and product admission remain BLOCKED. Child execution is not authorized and no child fixture was run.
This PR intentionally remains draft for the unfinished experiment. There are no hosted archive checks. Synthetic history is insufficient proof of durable publication, custody, authoritative absence, timing, start, completion or capacity release.