Repository navigation
theory(sieve): T732 -- DDC of t27core now runs (Refs #6508) - #6845
Merged
Merged
Conversation
gHashTag
enabled auto-merge (squash)
October 6, 2026 13:17
T732 said the Diverse Double-Compiling check of t27core "cannot run" because t27b was BLOCKED on t27core.t27. PR #6825 makes it run: the harness specs/compiler/core/t27core_ddc.t27 builds a stage-1 core on three back ends (gen-c + cc, t27b AArch64, Zig reference) and each stage 2 equals t27c gen-c of S byte for byte (lab records cited in the spec). The text now states that result, the two defects the run found (#6292, #6802), and keeps the T729 limit: the front end is shared, so the agreement is of back ends only. The model gains the verdict rule over routes (cannot run / miscompile / back-end agreement / independent agreement), with the shared-front-end flag taken from T729's shared() rather than restated. Tests check the three recorded runs (before #6825, the first Zig run of #6292, commit 0fbd183), an exhaustive enumeration over every route mask, and a negative control: the self-host fixpoint alone passes the run DDC flags. Mutation check on the lab: dropping the miscompile branch fails all three new tests. Seal: t27c seal --save on the Railway t27c lab (t27c built from this tree), tests 20/20. Refs #6488 #6508 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
gHashTag
force-pushed
the
sieve/t732-ddc-runs
branch
from
October 6, 2026 13:48
f612b21 to
92588c7
Compare
This was referenced Oct 6, 2026
Merged
Open
Contributor
This was referenced Oct 6, 2026
Merged
Merged
feat(crm-story-reel): v26 the owner's own reel may name the house, every end card has a ground
#6880
Merged
Open
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
1 participant
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.
Refs #6488 #6508
Rebuilt on master after #6825 (the DDC harness, Closes #6508) landed as bdf66f4. This branch now carries only its own commit; the #6825 commits it was stacked on are gone from the diff.
What changes
specs/compiler/theory/toolchain.t27, theorem T732 (Diverse Double-Compiling on t27core):;comments: the harnessspecs/compiler/core/t27core_ddc.t27builds a stage-1 core on three back ends (gen-c + cc, t27b AArch64, Zig reference), and each stage 2 equalst27c gen-cof S byte for byte. t27core.t27 passes 8/8 on the Zig reference and 8/8 on t27b. Lab records:count + 1abovevar countand across its reassignment #6292 (gen-zig reusedp + 1across a write top) and t27c: hex literal ending in f16/f32/f64 silently loses those digits #6802 (hex literal ending f16/f32/f64 loses digits).shared(), not a restated constant.count + 1abovevar countand across its reassignment #6292: miscompile; 0fbd183: back-end agreement), an exhaustive enumeration over every route mask, and a negative control (the self-host fixpoint alone passes the run DDC flags). Mutation check on the lab: removing the miscompile branch fails all three new tests..trinity/seals/theory_CompilerTheoryToolchain.json: sealed witht27c seal --saveon the Railway t27c lab, tests 20/20. After the rebase,t27c seal --verifywith a t27c the lab built from this branch (92588c7) reports all five hashes MATCH, so the seal is current. Not sealed on a Mac.Only
.t27and a tool-written seal file change.🤖 Generated with Claude Code