Repository navigation
§5 determinism mechanism P1: core axis, roster, compose algebra, witnesses - #5944
Merged
Merged
Conversation
gunbai-bot
Bot
changed the title
…esses. Re-harvest closed #5941 onto fresh main (post-#5937 design merge): - v2.std.determinism primitive roster + determinism_compose algebra + witness data - dsl/std/determinism.dag DeterminismAxis authority - determinism_contract_test.dag (7 fail-closed witnesses) - design doc reconciled as MODIFY on #5937; DESIGN.md + ROADMAP.md regen'd - non_fold_residue roster: determinism_class_eq + non_det_source_eq Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
force-pushed
the
session/swift-ant-100
branch
from
June 29, 2026 15:25
9c5b6cf to
2a42e5e
Compare
Merged
2 tasks done
briansrls
added a commit
that referenced
this pull request
Jun 29, 2026
…efinements. (#5954) DeterminismAxis (#5944) landed without the named residue marks required by §6; name the compiler DeterminismClass refinement and P5 behavioral projection so the one-core-two-refinements decomposition is honest in the substrate. Co-authored-by: Brian Searls <briansrls@gunb.ai> Co-authored-by: Cursor <cursoragent@cursor.com>
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.
Summary
Re-harvests the P1 determinism implementation from closed #5941 onto fresh main (post-#5937 design merge).
src/v2/std/determinism.dag:NonDetSourceatoms, closed primitive roster lookup,determinism_composealgebra, witness data rowsdsl/std/determinism.dag: universalDeterminismAxisauthority (Deterministic | NonDeterministic)src/v2/test/claim/determinism_contract_test.dag: 7 fail-closed contract witnessesdocs/plans/determinism-mechanism-design.md: reconciled as MODIFY on merged DRAFT [design-for-sign] §5 determinism mechanism design #5937 — operator shape-signed, FLAG A/C locked, P1 authoring notedsl/gunbc/design_document.dag+roadmap_authority.dag: authority rows;DESIGN.md+ROADMAP.mdregen'd from authoritynon_fold_residue_project.rs: rosterdeterminism_class_eq+non_det_source_eq(restored accidentally-droppedcommit_workflowentries in follow-up commit)Supersedes the inert carrier open-thread entry; lens wiring remains P2+.
Test plan
claim_batch— all 7determinism_contract_testwitnesses PASSclaim_batch—non_fold_residue_clean_holdsPASSclaim_batch—generated_artifact_drift_gatePASS (DESIGN.md / ROADMAP.md regen)ci+rust_tests)