-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: DrMurphyIsIn/Arda
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(rh-dlvp): obligation (i-a) CAPSTONE — ζ'/ζ = Herglotz zero-sum + entire part
#223
opened Sep 5, 2026 by
DrMurphyIsIn
Owner
Loading…
feat(bg): additive-subaction ceiling — mixed-config tail closed for d=6, d∈[10,61], d≥65
#210
opened Sep 4, 2026 by
DrMurphyIsIn
Owner
Loading…
feat(bg-lean): d=2 per-hub decouple residual PROVEN (nlinarith core of FlowedHubStep)
#197
opened Sep 2, 2026 by
DrMurphyIsIn
Owner
Loading…
Telperion skill-extraction monitor + cross-pollination synthesis
#178
opened Aug 31, 2026 by
DrMurphyIsIn
Owner
Loading…
Open the walk-count sub-problem (route-b combinatorial core) + W2
#154
opened Aug 29, 2026 by
DrMurphyIsIn
Owner
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.