Skip to content

Pull requests: nerdsane/temper

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

ADR-0157: metadata-generated typed module data SDK
#412 opened Jul 24, 2026 by nikstern Loading…
docs: renumber colliding ADRs — one number, one decision (ARN-268)
#406 opened Jul 18, 2026 by rita-aga Collaborator Loading…
fix: reconcile declared-key ownership on delete and null (ARN-238)
#401 opened Jul 14, 2026 by rita-aga Collaborator Loading…
fix(verify): fail closed on unsupported safety invariants (ARN-213)
#397 opened Jul 14, 2026 by rita-aga Collaborator Draft
2 of 4 tasks
fix(spec): reject malformed IOA safety content (ARN-214)
#392 opened Jul 14, 2026 by rita-aga Collaborator Draft
3 of 4 tasks
fix(spec): reject malformed IOA safety content (ARN-214)
#390 opened Jul 14, 2026 by rita-aga Collaborator Draft
11 tasks done
fix: make vector reconciliation sequence-monotonic
#388 opened Jul 14, 2026 by rita-aga Collaborator Draft
fix(runtime,verify): make simulation delivery single-owner (ARN-236)
#387 opened Jul 14, 2026 by rita-aga Collaborator Loading…
ProTip! Adding no:label will show everything without a label.