Import order-closure and weak Fatou formalization - #536

Open

Vilin97 wants to merge 11 commits into

mainfrom

codex/daily-order-closures-20260926

Commits on Sep 26, 2026

feat: preserve order-closure and weak Fatou formalization
Vilin97
committed
9d42641
perf: supply the shifted summable family explicitly
Vilin97
committed
2afd841
fix: share norm reductions and test lattice tactic transfers
Vilin97
committed
1708a9a
Merge remote-tracking branch 'origin/main' into pr-536
github-actions[bot]
committed
21075bf
Merge remote-tracking branch 'origin/main' into pr-536
github-actions[bot]
committed
432c40e
Merge remote-tracking branch 'origin/main' into pr-536
github-actions[bot]
committed
f0d23ff
fix(OrderClosures): preserve tactic goals and correct scope
Vilin97
committed
0e45643
Merge remote-tracking branch 'origin/main' into pr-536
github-actions[bot]
committed
d2fec38
Merge remote-tracking branch 'origin/main' into pr-536
github-actions[bot]
committed
8536e2b
Merge remote-tracking branch 'origin/main' into pr-536
github-actions[bot]
committed
67ae21e
Merge remote-tracking branch 'origin/main' into pr-536
github-actions[bot]
committed
e6e0332