Repository navigation

std/ algebraic structure consolidation (AI-1–AI-12) - #3598

Merged

briansrls merged 14 commits into

mainfrom

session/valiant-lark-728

May 24, 2026

Merged

std/ algebraic structure consolidation (AI-1–AI-12)#3598
briansrls merged 14 commits into
mainfrom
session/valiant-lark-728

Commits on May 23, 2026
Commits on May 24, 2026
- WIP: std/ algebraic structure consolidation (AI-1 StageDiagnosticPolicy dual
  briansrls
  committed
  a703e76
- fix CI: sequence_outcome Empty init + remove traverse_outcome (Ratified Q4)
  
  briansrls
  and
  claude
  committed
  873373e
- verdict.dag: declare Monoid<Verdict<T>> inhabitant (verdict_monoid)
  
  briansrls
  and
  claude
  committed
  696999f
- fix AI-3 callers: update non_empty import in 05_eval.dag and testgen.dag
  
  briansrls
  and
  claude
  committed
  bf9b958
- WIP: std/ algebraic structure consolidation (AI-1 StageDiagnosticPolicy dual
  briansrls
  committed
  eda26dc
- fix P2: remove list_append/list_snoc_item from collection.dag, migrate all callers to algebra
  
  briansrls
  and
  claude
  committed
  6e0bb04
- AI-10: dissolve local Verdict<T> in 05_eval.dag — import from v4.std.verdict
  
  briansrls
  and
  claude
  committed
  42afb09
- WIP: std/ algebraic structure consolidation (AI-1 StageDiagnosticPolicy dual
  briansrls
  committed
  a924704
- merge main into session/valiant-lark-728 — resolve header comment conflicts
  
  briansrls
  and
  claude
  committed
  f258d76
- fix AI-10 callers: update Verdict constructor imports in test/claim files
  
  briansrls
  and
  claude
  committed
  2b86dc5
- fix sequence_outcome: forward Accepted diagnostics when accumulating rejections
  
  briansrls
  and
  claude
  committed
  48473cc