Skip to content

Pull requests: morluto/jacobian

New pull request New
43 Open 762 Closed
43 Open 762 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Honor integer audit limitation fields
#1370 opened Aug 13, 2026 by yuelgrace1810-ops Collaborator • Draft
1
Accept natural local-ring evidence phrasing
#1368 opened Aug 13, 2026 by yuelgrace1810-ops Collaborator • Draft
1
fix(benchmarks): remove hidden Farkas evidence cap
#1333 opened Aug 13, 2026 by kaoru0822-kitauji Contributor • Draft
Fix Lean guard verifier negation parsing
#1315 opened Aug 13, 2026 by yuelgrace1810-ops Collaborator • Draft
fix(eval): preserve incomplete observation evidence
#1312 opened Aug 13, 2026 by yuelgrace1810-ops Collaborator • Draft
1
refactor(runtime): centralize capability result projection
#1311 opened Aug 13, 2026 by morluto Owner Loading…
5 tasks done
4
refactor(checkers): bind manifests into verification records
#1310 opened Aug 13, 2026 by morluto Owner Loading…
5 tasks done
2
fix(benchmarks): publish Farkas scalar replay contract
#1309 opened Aug 12, 2026 by yuelgrace1810-ops Collaborator • Draft
1
refactor(outcomes): prevent failures from publishing values
#1307 opened Aug 12, 2026 by morluto Owner • Draft
4 of 5 tasks
Clarify commutative Gröbner capability scope
#1306 opened Aug 12, 2026 by yuelgrace1810-ops Collaborator • Draft
1
Accept hyphenated algebraic-independence evidence
#1303 opened Aug 12, 2026 by yuelgrace1810-ops Collaborator • Draft
1
feat(matrix): extend exact determinant to order 64
#1302 opened Aug 12, 2026 by morluto Owner • Draft
1
feat(number-theory): add verified finite abelian factorizations
#1301 opened Aug 12, 2026 by morluto Owner • Draft
1
feat(probability): add verified finite-table mutual information
#1300 opened Aug 12, 2026 by morluto Owner Loading…
15
refactor(checkers): let declarations own provider runtimes
#1299 opened Aug 12, 2026 by morluto Owner Loading…
4
feat(composition): pass typed results to exact checkers
#1298 opened Aug 12, 2026 by morluto Owner Loading…
2 of 3 tasks
1
feat(graphs): extend bounded independence number to order 128
#1297 opened Aug 12, 2026 by morluto Owner • Draft
2
fix(harbor): launch the remote MCP observation host
#1296 opened Aug 12, 2026 by yuelgrace1810-ops Collaborator • Draft
1
Bind graph distance-matrix entries to vertex labels
#1293 opened Aug 12, 2026 by morluto Owner • Draft
1
Verify materialized Jacobian syzygy ledgers
#1292 opened Aug 12, 2026 by morluto Owner • Draft
2
refactor(benchmarks): extract planner ownership and isolate verifier imports
#1288 opened Aug 12, 2026 by morluto Owner Loading…
16
feat(arithmetic): add verified real-quadratic order
#1287 opened Aug 12, 2026 by morluto Owner • Draft
1
feat(number-theory): add modular polynomial identity verification
#1286 opened Aug 12, 2026 by morluto Owner • Draft
1
feat(combinatorics): verify submitted P-recursive tables
#1285 opened Aug 12, 2026 by morluto Owner • Draft
2
feat(graphs): add canonical graph6 decoding and verification
#1284 opened Aug 12, 2026 by morluto Owner • Draft
1
ProTip! Exclude everything labeled bug with -label:bug.