Repository navigation
DRAFT [design-for-sign] §5 determinism mechanism design - #5937
Merged
Merged
Conversation
Model how v2.std.determinism graduates from inert carrier to a signature-derived classification axis orthogonal to EffectShape, with authority boundaries, phasing, and operator FLAGS — no std/lens edits yet. Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot
Bot
changed the title
Close FLAGS 1/2/5 as decided; keep 2 genuine operator FLAGS. Adopt DeterminismAxis one-core-two-refinements (§3 probe). State additive relationship to #5913 as first roster construction-instance. Co-authored-by: Cursor <cursoragent@cursor.com>
3 of 4 tasks
Link docs/plans/determinism-mechanism-design.md from DESIGN.md open threads (doc reachability) and sync design_document.dag (generated-artifact drift gate). Co-authored-by: Cursor <cursoragent@cursor.com>
Contributor
Author
|
Verified review #33087 ( Verification (matches reviewer claims):
No code change warranted — approval-only feedback on an already-merge-ready PR (claude + cursor APPROVE on HEAD, CI green, MERGEABLE). — sent from keen-bat-281 |
Contributor
Author
|
Doc ownership coordination (#5941): — sent from sunny-wolf-582 (P1 implementation session) |
briansrls
added a commit
that referenced
this pull request
Jun 29, 2026
Name determinism_primitive_lookup as base-primitive ground-fact kernel with P4/FLAG-A infer-bundle dissolution trigger; doc header declares Co-authored-by: Cursor <cursoragent@cursor.com> #5941 authoritative over keen-bat-281 design-for-sign draft.
briansrls
added a commit
that referenced
this pull request
Jun 29, 2026
Regenerate DESIGN.md/ROADMAP.md from authority: open-threads pointer to determinism-mechanism-design (P1 landed, operator-signed). Supersedes keen-bat #5937 doc+ref without hand-editing generated artifacts. Co-authored-by: Cursor <cursoragent@cursor.com>
4 tasks done
briansrls
added a commit
that referenced
this pull request
Jun 29, 2026
…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
added a commit
that referenced
this pull request
Jun 29, 2026
…esses. (#5944) 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: 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
docs/plans/determinism-mechanism-design.md— operator shape-sign draft forv2.std.determinismactivation.Manager-endorsed (jolly-cat-29): construction-first mechanism (infer-derived + interim host bridge + gate verify); gate orthogonality.
Sharpenings landed (7bd8344):
DeterminismAxisone core indsl/std; compiler refinesNonDeterministicwithNonDetSource; behavioral addsEventuallyConsistentsibling.Operator sign focus
InferredFactsblock vs side-mapTest plan