doc/semantics: Lean 4 mechanization of UnifiedStream error semantics#36614

Draft

antiguru wants to merge 135 commits into

MaterializeInc:mainfrom

antiguru:lean-semantics-skeleton

Commits on May 18, 2026

Commits on May 20, 2026

doc/design: row-scoped diff encoding (non-absorbing err counts)

antiguru
and
claude
committed
doc/semantics: ErrCount + Diff types (row-scoped retractable diff)

antiguru
and
claude
committed
doc/semantics: DiffWithGlobal absorbing layer

antiguru
and
claude
committed
doc/semantics: UnifiedStream2 module (new diff-based err encoding)

antiguru
and
claude
committed
doc/semantics: Join2 + SetOps2 + UnifiedConsolidate2

antiguru
and
claude
committed
doc/semantics: TimedConsolidate2 + Consolidate2

antiguru
and
claude
committed
doc/semantics: Triple2 collection-wide consolidation

antiguru
and
claude
committed
doc/semantics: FilterFusion2 + Demand2

antiguru
and
claude
committed

Commits on May 21, 2026

doc/semantics: ProjectFusion2

antiguru
and
claude
committed

Commits on May 22, 2026