Repository navigation

design: v4 compiler architecture — homomorphism-first (DRAFT for discussion) - #3437

Merged

briansrls merged 19 commits into

mainfrom

session/smart-boar-330

May 20, 2026

Merged

design: v4 compiler architecture — homomorphism-first (DRAFT for discussion)#3437
briansrls merged 19 commits into
mainfrom
session/smart-boar-330

Commits on May 20, 2026
- WIP: V4 work
  briansrls
  committed
  6101246
- WIP: V4 work
  briansrls
  committed
  21a5f49
- design: ratify P3 lens contract — side-channel over InferredTree
  
  briansrls
  and
  claude
  committed
  c4e4e32
- design: integrate reviewer feedback — P5 + P6 + ratify Q1/Q3/Q4/Q5 + Q7-Q14
  
  briansrls
  and
  claude
  committed
  dc4c41b
- WIP: V4 work
  briansrls
  committed
  3ce4d5e
- design: address 3 BLOCKING reviews — Q1 prose / Q8 framing / Q9 + P5 search leakage
  
  briansrls
  and
  claude
  committed
  524c2ad
- WIP: V4 work
  briansrls
  committed
  1922252
- design: integrate reviewer's ratification-edits — P7 LawfulRewriteWitness + sharpened boundaries
  
  briansrls
  and
  claude
  committed
  bfefbe2
- design: separate ingest layer from compile-core (data-first surface)
  
  briansrls
  and
  claude
  committed
  77fe746
- WIP: V4 work
  briansrls
  committed
  5004c23
- design: integrate read/edit pipeline + self-modification (per sunny-wolf-435 review)
  
  briansrls
  and
  claude
  committed
  64cc09f
- design: address 3 BLOCKING codex findings on commit 77fe746b
  
  briansrls
  and
  claude
  committed
  f1306fb
- WIP: V4 work
  briansrls
  committed
  3aa7f08
- design: P8 compiler-self-application + refined testgen lens-family + regeneration substrate
  
  briansrls
  and
  claude
  committed
  174f970
- design: P9 stratified bootstrap — stage0 as generated artifact, not self-modifying code
  
  briansrls
  and
  claude
  committed
  b1cfdb8
- WIP: V4 work
  briansrls
  committed
  4fbba71
- design: address 3 new BLOCKING codex findings on P8/P9 work
  
  briansrls
  and
  claude
  committed
  f0e125a
- design: tighten I/O — no boundary actions; everything is modeled effects
  
  briansrls
  and
  claude
  committed
  f188b6c
- design: tighten catamorphism/homomorphism/coercion terminology + MVP routes
  
  briansrls
  and
  claude
  committed
  194e7c2

Commits

Commits on May 20, 2026