Skip to content

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

test(guards): re-pin ValueLineOrigins after rebasing item 497 onto it…

8d94520
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar