Skip to content

State epistemic humility in DESIGN.md: deduced fact, typed bet, over-prohibition - #10982

Merged
briansrls merged 6 commits into
mainfrom
session/calm-stag-360
Sep 11, 2026
Merged

State epistemic humility in DESIGN.md: deduced fact, typed bet, over-prohibition#10982
briansrls merged 6 commits into
mainfrom
session/calm-stag-360

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Sep 10, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Land DESIGN §4d as a peer of §4b: what the corpus may assert about the world (deduced fact vs typed bet; do not over-generalize a prohibition; do assert confident facts).
  • Placement is a consequence of A2/A3 grounding, not a restatement of §4b's compiler-guarantee column or of §5's ratchet-as-wall trap.
  • Homes named, not invented: extdeps.external_authority CitedFigureStanding and gunbc-private strategy.node_rental SupplierHypothesis; receipts cited as gunbc-private Parallel tasks list #54 and gunbc#10954 without transcribed figures.
  • Reviewer derivation from this principle is a follow-up, not in this PR.

Test plan

  • Confirm DESIGN.md is the generated projection of gunbc.design_document (generated-artifact phase).
  • Read §4d against §4b and §5: three arms present; boundaries stated; no duplicated ladder/never-trap.

Made with Cursor

Brian Searls and others added 6 commits September 10, 2026 23:33
Brian Searls @cursoragent
State epistemic humility in DESIGN: deduced fact, typed bet, over-pro…
82178bb 
…hibition.

The corpus already typed warrant standing and asymmetric supplier hypotheses; the document did not name the three-way duty, so over-claim and over-forbid kept looking like rigor.

Co-authored-by: Cursor <cursoragent@cursor.com>
Brian Searls
Keep the over-prohibition receipt on main's typed-uncited rows.
1e5f70c 
Co-authored-by: Cursor <cursoragent@cursor.com>

#10954's source reading is that PR's finding; DESIGN must not settle it while the PR is open and the AVL unread. Same standing for gunbc-private #54's unlanded retraction.
Brian Searls
Merge origin/main: include #10977 floor repair.
4d5dbaf
Brian Searls
Merge origin/main: pick up #10992 native_decl_selection floor share.
bd395aa
Brian Searls @cursoragent
Merge origin/main: refresh merge ref after v2-native was cancelled.
c3a79aa 
DESIGN.md regenerated from merged design_document (main's §3b/§3d plus §4d).

Co-authored-by: Cursor <cursoragent@cursor.com>
Brian Searls
Merge origin/main: pick up #11015 shared-precondition floor share.
e7a8205
@briansrls
briansrls merged commit 02eee95 into main Sep 11, 2026
2 of 8 checks passed
@briansrls
briansrls deleted the session/calm-stag-360 branch September 11, 2026 19:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@briansrls