Skip to content

Pull requests: CERTCC/Vultron

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

feat(docs): scenario narratives + causal-edge invariant harness (ISSUE-2204) size:L 301+ diff lines or 7+ ACs
#2726 opened Aug 26, 2026 by sei-ahouseholder Contributor Loading…
feat(bt): remove report_to_others_tree module and companion bundles/tests size:L 301+ diff lines or 7+ ACs
#2725 opened Aug 26, 2026 by sei-ahouseholder Contributor Loading…
docs(bt): split bt-pitfalls.md into per-directory AGENTS.md files
#2724 opened Aug 26, 2026 by sei-ahouseholder Contributor Loading…
5 tasks done
docs(spec): reorder §4/§5 and split §6 into separate behavioral layers size:M 51-300 diff lines or 3-6 ACs
#2723 opened Aug 26, 2026 by sei-ahouseholder Contributor Loading…
2 tasks done
fix: fcv-reject async race window — causal gate, ledger sync phase, Optional note return size:M 51-300 diff lines or 3-6 ACs
#2722 opened Aug 26, 2026 by sei-ahouseholder Contributor Loading…
fix(demo): gate notify-fix-ready on vendor RM ∈ {ACCEPTED,DEFERRED,CLOSED} (CSB-18-001) size:L 301+ diff lines or 7+ ACs
#2718 opened Aug 26, 2026 by sei-ahouseholder Contributor Loading…
ProTip! Adding no:label will show everything without a label.