BCR-2026-XXX: General Assertion Predicates - #150

Open

ChristopherA wants to merge 6 commits into

Commits on Feb 5, 2026

Add BCR-2026-005: General Assertion Predicates
ChristopherA
committed
ad51986
Update BCR-2026-005 per reviewer feedback
ChristopherA
committed
6f6305e
Remove unnecessary envelope wrapping from unsigned examples
ChristopherA
committed
f2b2d0e
Remove supersedes references (moved to structural predicates BCR)
ChristopherA
committed
d2a11b7
Update cross-references for BCR suite renumbering
ChristopherA
committed
36eed8d
Rename to BCR-2026-XXX temporary designation
ChristopherA
committed
ca1b823