Repository navigation

proof(flow): item 497 — the strict-lead carry: FlowArm.openNest's ε lead carries trailingPropertyRun = [], accum_step_flow_trace's held-run nested-open disjunct folds into the first - #318

Open

devin-ai-integration[bot] wants to merge 4 commits into

fix-a-grammar-completenessfrom

proof/s3-strict-lead

Open

proof(flow): item 497 — the strict-lead carry: FlowArm.openNest's ε lead carries trailingPropertyRun = [], accum_step_flow_trace's held-run nested-open disjunct folds into the first#318
devin-ai-integration[bot] wants to merge 4 commits into
fix-a-grammar-completenessfrom
proof/s3-strict-lead

Commits on Nov 15, 2026