Skip to content

Pull requests: SlopDotCash/proximityprize

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Fix zk-payments-confetti gitlink: restore documented T4Fires pin 0d13b421 needs-human-review Claude triage: controversial, needs a human
#161 opened Sep 3, 2026 by mkrfsbri Loading…
fix(pg): propagate substrate warm failures needs-human-review Claude triage: controversial, needs a human
#160 opened Sep 3, 2026 by hermesagent270-commits Loading…
fix(pg): restore frontier docstring validation needs-human-review Claude triage: controversial, needs a human
#159 opened Sep 3, 2026 by hermesagent270-commits Loading…
docs(pg): add reciprocal-pencil degeneracy note and exact F7 probe needs-human-review Claude triage: controversial, needs a human
#158 opened Aug 26, 2026 by geofflava Loading…
research(pg): add Johnson radius ordering properties needs-human-review Claude triage: controversial, needs a human
#157 opened Aug 23, 2026 by mtcow Loading…
research(pg): add Johnson radius sample points needs-human-review Claude triage: controversial, needs a human
#156 opened Aug 23, 2026 by mtcow Loading…
research(pg): add Johnson capacity-gap identities needs-human-review Claude triage: controversial, needs a human
#155 opened Aug 23, 2026 by mtcow Loading…
research(pg): add RS Johnson radius endpoint identities needs-human-review Claude triage: controversial, needs a human
#154 opened Aug 23, 2026 by mtcow Loading…
research(pg): add RS rate-gap relations needs-human-review Claude triage: controversial, needs a human
#153 opened Aug 23, 2026 by mtcow Loading…
research(pg): add Johnson fixed-point and zero properties needs-human-review Claude triage: controversial, needs a human
#151 opened Aug 23, 2026 by mtcow Loading…
research(pg): add RS Johnson radius comparisons needs-human-review Claude triage: controversial, needs a human
#150 opened Aug 23, 2026 by mtcow Loading…
research(pg): add Johnson secant and slope forms needs-human-review Claude triage: controversial, needs a human
#149 opened Aug 23, 2026 by mtcow Loading…
research(pg): add Johnson radius composition laws needs-human-review Claude triage: controversial, needs a human
#148 opened Aug 23, 2026 by mtcow Loading…
research(pg): add Johnson capacity bound forms needs-human-review Claude triage: controversial, needs a human
#147 opened Aug 23, 2026 by mtcow Loading…
research(pg): add Johnson capacity comparison forms needs-human-review Claude triage: controversial, needs a human
#146 opened Aug 23, 2026 by mtcow Loading…
research(pg): add Johnson radius endpoints needs-human-review Claude triage: controversial, needs a human
#145 opened Aug 23, 2026 by mtcow Loading…
research(pg): add RS-instance Johnson relations needs-human-review Claude triage: controversial, needs a human
#144 opened Aug 23, 2026 by mtcow Loading…
research(pg): add Johnson gap bounds needs-human-review Claude triage: controversial, needs a human
#143 opened Aug 23, 2026 by mtcow Loading…
research(pg): add Johnson radius monotonicity and endpoints needs-human-review Claude triage: controversial, needs a human
#142 opened Aug 23, 2026 by mtcow Loading…
research(pg): add scale anchors for the beta=4 ladder needs-human-review Claude triage: controversial, needs a human
#141 opened Aug 22, 2026 by mtcow Loading…
research(pg): add window-tightening bounds for beta=4 needs-human-review Claude triage: controversial, needs a human
#140 opened Aug 22, 2026 by mtcow Loading…
research(pg): add window gap values for beta=4 needs-human-review Claude triage: controversial, needs a human
#139 opened Aug 22, 2026 by mtcow Loading…
research(pg): add gap bounds and depth monotonicity needs-human-review Claude triage: controversial, needs a human
#138 opened Aug 22, 2026 by mtcow Loading…
research(pg): add intermediate-depth anchors inside the window needs-human-review Claude triage: controversial, needs a human
#137 opened Aug 22, 2026 by mtcow Loading…
research(pg): add deep-depth anchors for beta=2 and beta=4 needs-human-review Claude triage: controversial, needs a human
#136 opened Aug 22, 2026 by mtcow Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.