Repository navigation

S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emit→compile→run→compare, receipt CI-enrolled) - #6429

Closed

briansrls wants to merge 73 commits into

mainfrom

session/bright-raven-702-milestone-b

Closed

S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emit→compile→run→compare, receipt CI-enrolled)#6429
briansrls wants to merge 73 commits into
mainfrom
session/bright-raven-702-milestone-b

Commits on Jul 10, 2026
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  3ff77d3
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  28511a9
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  f4184c2
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  53fc32a
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  8fbc725
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  fec23b6
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  76d907e
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  6418b65
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  91bd5b7
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  bd45258
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  e5c087e
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  b007f44
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  cc4f64a
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  92a9041
- Merge remote-tracking branch 'origin/main' into session/bright-raven-702-milestone-b
  Brian Searls
  committed
  91b6cb2
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  66d69f9
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  89533fb
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  9e9d8a1
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  8cdcf9c
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  3f62874
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  900937a
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  2df6f72
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  bc87c24
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  a9d1cb3
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  2e66d14
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  c902e19
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  8d43cd9
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  1d156cd
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  2151a29
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  d31b78e
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  db01326
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  db9ec1a
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  a527381
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  4ea515d
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  d414933
- fix(milestone-b): keep primary_expr on terminal stamp for std/logic match emit
  
  Brian Searls
  and
  cursoragent
  committed
  0883fe1
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  ba59db6
- fix(milestone-b): rename truth-table witness param to avoid BitWidth conflation
  
  Brian Searls
  and
  cursoragent
  committed
  8fc4be3
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  73abd1f
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  1340358
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  74e0267
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  b295ca0
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  bba9be3
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  99986a0
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  8577612
- fix(resolve): bind coproduct variant names without harvesting fn-body atoms
  
  Brian Searls
  and
  cursoragent
  committed
  b18b4b3
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  f819830
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  cdbdc88
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  98ffbc0
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  d8856d3
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  8fd6d75
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  57c80f3
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  2c662d4
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  ac18c0d
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  54e952c
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  8a3ba28
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  ea4b8f6
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  5d1b085
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  de11b6b
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  9a0baf4
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  a5bd13f
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  9ec5c21
- fix(ci): drop accidental std_logic emit dump test breaking cargo fmt
  
  Brian Searls
  and
  cursoragent
  committed
  63552b8
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  931e9b7
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  54505d2
- fix(ci): revert broken program_partition WIP and drop emit dump test
  
  Brian Searls
  and
  cursoragent
  committed
  2ad9280
- fix(partition): reset program_partition.dag to origin/main baseline
  
  Brian Searls
  and
  cursoragent
  committed
  3ccf35e
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  33a365f
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  1fd799c
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  48feb71
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  f09dc95
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  33b9ed2
- WIP: S2 weak self-host — Milestone B: std/logic behaviorally self-hosted (emi
  Brian Searls
  committed
  6b0c060

Commits

Commits on Jul 10, 2026