Repository navigation

design: Pass A + Pass B amendments — strict simplification + primitive unification - #3443

Merged

briansrls merged 29 commits into

mainfrom

session/smart-boar-330-design-unification

May 20, 2026

Merged

design: Pass A + Pass B amendments — strict simplification + primitive unification#3443
briansrls merged 29 commits into
mainfrom
session/smart-boar-330-design-unification

Commits on May 20, 2026
- design: Pass A + Pass B amendments — strict simplification + primitive unification
  
  briansrls
  and
  claude
  committed
  45e8a3f
- WIP: V4 work
  briansrls
  committed
  2023788
- design: address openai-pro REQUEST_CHANGES + codex BLOCKING
  
  briansrls
  and
  claude
  committed
  264cd2b
- design: address codex REQUEST_CHANGES — strip "search" framing from find_witness
  
  briansrls
  and
  claude
  committed
  af23c60
- design: strip remaining "search" descriptor in glossary (codex RC followup)
  
  briansrls
  and
  claude
  committed
  a729d56
- design: address openai-pro REQUEST_CHANGES on sha 264cd2b0
  
  briansrls
  and
  claude
  committed
  26aa13c
- design: restore CI emit-wall bridge tracked note (codex RC)
  
  briansrls
  and
  claude
  committed
  81a83a8
- WIP: V4 work
  briansrls
  committed
  616c007
- design: address codex P2 single-authority — Q6 + apply_diff stale primitive framings
  
  briansrls
  and
  claude
  committed
  c7cc9f7
- design: strip remaining stale multi-lens-as-primitive at line 1155
  
  briansrls
  and
  claude
  committed
  b5d66eb
- design: address cursor APPROVE_WITH_COMMENTS — 3 partial-unification slips
  
  briansrls
  and
  claude
  committed
  e90bdff
- design: fix apply_diff sequential semantics — substantive codex finding
  
  briansrls
  and
  claude
  committed
  fddec66
- WIP: V4 work
  briansrls
  committed
  4ef11ff
- design: fix Q6 scheduling-authority split — lens-dep DAG is a P6 instance
  
  briansrls
  and
  claude
  committed
  e5a841a
- design: fix substrate-home contradiction find_witness vs predicate algebras
  
  briansrls
  and
  claude
  committed
  fe201d4
- WIP: V4 work
  briansrls
  committed
  a09beb5
- design: address openai-pro REQUEST_CHANGES — apply_lens glossary + find_witness ambiguity contract
  
  briansrls
  and
  claude
  committed
  708788e
- design: TL;DR find_witness — remove 'first match wins'; match line 638 contract
  
  briansrls
  and
  claude
  committed
  a816583
- design: reconcile find_witness result shape to ratified Outcome record form (codex finding)
  
  briansrls
  and
  claude
  committed
  b074453
- WIP: V4 work
  briansrls
  committed
  05af3f5
- design: parameterize find_witness with caller-supplied MultiplicityPolicy (openai-pro finding)
  
  briansrls
  and
  claude
  committed
  9a97376
- design: fix fold_node landed-vs-planned algebra conflation (briansrls inline finding)
  
  briansrls
  and
  claude
  committed
  896e0cb
- WIP: V4 work
  briansrls
  committed
  2ae9492
- design: address cursor APPROVE_WITH_COMMENTS — bootstrap-table + 3 staleness syncs
  
  briansrls
  and
  claude
  committed
  8b017ff
- docs: unify PromotionWitness wording across bootstrap sections
  
  cursoragent
  and
  briansrls
  committed
  fbf6c1d
- design: trivial doc-hygiene per cursor exploratory observations (APPROVE)
  
  briansrls
  and
  claude
  committed
  8c1e199
- design: openai-pro REQUEST_CHANGES — 3 substrate-contract fixes
  
  briansrls
  and
  claude
  committed
  4aa17a2
- WIP: V4 work
  briansrls
  committed
  c41d439
- design: PromotionWitness fixed-point check binds to CANDIDATE not Stage1[k] (briansrls inline BLOCKING)
  
  briansrls
  and
  claude
  committed
  1d99aac

Commits

Commits on May 20, 2026