-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: PostOakLabs/ainumbers
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
ART33-MCPNAME-PROVE-1: align art-33 kernel meta.mcp_name to authoritative shard + re-seal
#1863
opened Sep 11, 2026 by
collectrix
Contributor
•
Draft
ART234-HOEPA-2025-FIX-1: correct 2025 HOEPA block against the fetched primary (FR 2024-27553)
#1862
opened Sep 11, 2026 by
collectrix
Contributor
Loading…
fix(chaingraph): CCPP-FIX-ART236-1 - align Art-12 required-field set across art-236 check/comment and art-238 obligation (fix + re-prove pair)
#1860
opened Sep 11, 2026 by
collectrix
Contributor
Loading…
FV-KEYLESS-SIGN-LANE-1: keyless Sigstore signing lane beside the SSHSIG path (Tim's ruling B, first half)
#1859
opened Sep 10, 2026 by
collectrix
Contributor
Loading…
feat(chaingraph): art-666 regulatory obligations register, 5-stage verdict kernel (OBLREG-BUILD-1)
#1684
opened Sep 3, 2026 by
collectrix
Contributor
Loading…
5 tasks done
feat(chaingraph): art-667 ISA 530 Audit Sampling + MUS Calculator (ISA530-BUILD-1)
#1682
opened Sep 3, 2026 by
collectrix
Contributor
•
Draft
fix(art-220): correct QM/card-fee constants + FR citations; single-writer page table; same-push re-prove
#1679
opened Sep 3, 2026 by
collectrix
Contributor
•
Draft
feat(§18): verifyBinding optional kernel_digest leg (VERIFYBINDING-DIGEST-LEG-1)
#1677
opened Sep 3, 2026 by
collectrix
Contributor
Loading…
art-233: backfill standards_basis + cited_clause_digest (SO #38, metadata-only, hash-neutral)
#1675
opened Sep 3, 2026 by
collectrix
Contributor
•
Draft
fix(catalog): derive metadata.url from the real page, add a hard dead-url gate (CATALOG-DEADURL-GATE-1)
#1662
opened Sep 3, 2026 by
collectrix
Contributor
Loading…
4 tasks done
TOK514-2A7-STALE-TRIGGER-1: 514 tokenized-fund-collateral stale-trigger fix + groth16 receipt (WAVE-P)
#1655
opened Sep 2, 2026 by
collectrix
Contributor
Loading…
ART220-YEARTABLE-FIX-1: art-220 Reg Z threshold-lookup year-table fix + groth16 receipt (WAVE-P)
#1654
opened Sep 2, 2026 by
collectrix
Contributor
Loading…
ART616-NUMPAY-CAP-1: cap unbounded num_payments loop in art-616 (12000, computed NUM_PAYMENTS_CAPPED flag)
#1646
opened Sep 2, 2026 by
collectrix
Contributor
Loading…
SPECGATE-HYGIENE-1: §15 coverage noise fix + cgCanon twin-parity gate (audit HASH-2/HASH-3)
#1642
opened Sep 2, 2026 by
collectrix
Contributor
Loading…
HAGATE-TERMINAL-3-1: gate the 3 single-step chains with the terminal default:end decisionGate shape
#1640
opened Sep 2, 2026 by
collectrix
Contributor
Loading…
prove(art-05): re-prove over current kernel bytes, fresh groth16 receipt (ART05-REPROVE-UNBLOCK-1)
#1639
opened Sep 2, 2026 by
collectrix
Contributor
•
Draft
ART215-NUMPAY-CAP-1: cap num_payments loops (art-215/art-332); re-prove art-215 groth16 receipt + register repair (WAVE-P)
#1638
opened Sep 2, 2026 by
collectrix
Contributor
Loading…
GENIUS-CITATION-INSTRUMENT-FIX-1: cite Pub. L. 119-27 (S.1582); re-prove art-275/art-582 groth16 receipts + register repair (WAVE-P)
#1637
opened Sep 2, 2026 by
collectrix
Contributor
Loading…
HAGATE-DUALCONTROL-MIN-1: gate dual_control threshold >= 2; adjudicate mra- gate to review_required
#1627
opened Sep 2, 2026 by
collectrix
Contributor
Loading…
feat(chaingraph): archive_corroboration evidence-bundle slot — corroboration-never-proof + Bluebook citation (BUNDLE-ENRICH-ARCHIVE-1)
#1609
opened Aug 31, 2026 by
collectrix
Contributor
Loading…
BUNDLE-ENRICH-GLEIF-1: art-666 GLEIF bundle-enrichment scope node (kernel, fixtures, floor, page, shard)
#1608
opened Aug 31, 2026 by
collectrix
Contributor
Loading…
RCA01-PLA-SCOPE-1: rca-01's PLA test is an MC convergence diagnostic — stop presenting it as MAR 32.34 (metadata-first fix + [R50] checklist)
#1603
opened Aug 31, 2026 by
collectrix
Contributor
Loading…
ART78-KERNEL-GAPS-1: art-78 asset_class scope_statement (metadata-only)
#1594
opened Aug 30, 2026 by
collectrix
Contributor
Loading…
3 tasks done
art-663: strip em-dashes from node-shard metadata (fixes red main: regen copy-hallmarks + blocking count-drift cascade)
#1568
opened Aug 29, 2026 by
collectrix
Contributor
Loading…
fix(nodes): register Reg Z clause snapshots + declare standards_basis on art-218/220/234 (REGZ-STANDARDS-BASIS-1)
#1552
opened Aug 29, 2026 by
collectrix
Contributor
Loading…
Previous Next
ProTip!
Follow long discussions with comments:>50.