Issues

• Embargo pages use glossary 'aliases to avoid' and undefined terms

  opened:separate-defect
  Concern

  CERTCC/Vultron#5270 · Filter by author sei-ahouseholder opened on Oct 27, 2026

• Typed {id, type} references for every object type, so a receiver can route an activity whose object it does not hold

  Idea

  CERTCC/Vultron#5266 · Filter by author sei-ahouseholder opened on Oct 27, 2026

• Partial inline objects are accepted at the parse edge, and a {id, type: CaseParticipant} gets an invented START status and joined=True

  opened:separate-defect
  Bug

  CERTCC/Vultron#5265 · Filter by author sei-ahouseholder opened on Oct 27, 2026

• Strict object matching: a bare, unresolved object URI does not satisfy an ActivityPattern's object type

  size:L
  Task

  CERTCC/Vultron#5264 · Filter by author sei-ahouseholder opened on Oct 27, 2026

• Generate the protocol state diagrams from the statecharts

  size:M
  Task

  CERTCC/Vultron#5262 · Filter by author sei-ahouseholder opened on Oct 27, 2026

• Generate each occasion's state-change line from its declared transition

  size:M
  Task

  CERTCC/Vultron#5261 · Filter by author sei-ahouseholder opened on Oct 27, 2026

• Occasions declare the state-machine transition they carry and whose state it moves

  size:M
  Task

  CERTCC/Vultron#5260 · Filter by author sei-ahouseholder opened on Oct 27, 2026

• Generate the EM statechart with named conditions for its register-dependent moves

  size:M
  Task

  CERTCC/Vultron#5259 · Filter by author sei-ahouseholder opened on Oct 27, 2026

• Generate committed Sismic statecharts for RM, VF, D, PXA and PEC from the core transition tables

  size:M
  Task

  CERTCC/Vultron#5258 · Filter by author sei-ahouseholder opened on Oct 27, 2026

• Shorthand mapping, object-ID and response-format requirements are stale or mix protocol and codebase rules

  opened:separate-defectsize:M
  Concern

  CERTCC/Vultron#5255 · Filter by author sei-ahouseholder opened on Oct 27, 2026

• Core protocol text: requirements that contradict each other or the communication model

  opened:separate-defectsize:L
  Concern

  CERTCC/Vultron#5254 · Filter by author sei-ahouseholder opened on Oct 27, 2026

• A reordered divergence fault can still log a false SYNC-16-008 ERROR

  opened:separate-defect
  Concern

  CERTCC/Vultron#5253 · Filter by author sei-ahouseholder opened on Oct 27, 2026

• Plain requirement text: one obligation per requirement, in short active sentences

  Epic

  CERTCC/Vultron#5228 · Filter by author sei-ahouseholder opened on Oct 26, 2026

• Flaky: test_an_embargo_demo_case_is_rebuilt_from_its_ledger trips the 60 s timeout under -n auto load

  bugflaky-testopened:separate-defect
  Bug

  CERTCC/Vultron#5227 · Filter by author sei-ahouseholder opened on Oct 26, 2026

• Spec link semantics: every relationship means what its SR-13 type says

  Epic

  CERTCC/Vultron#5226 · Filter by author sei-ahouseholder opened on Oct 26, 2026

• User-story catalog: every binding protocol requirement names who it serves

  Epic

  CERTCC/Vultron#5225 · Filter by author sei-ahouseholder opened on Oct 26, 2026

• Split compound requirements and rewrite them plainly: documentation and development process

  size:L
  Task

  CERTCC/Vultron#5224 · Filter by author sei-ahouseholder opened on Oct 26, 2026

• Split compound requirements and rewrite them plainly: spec and notes tooling

  size:L
  Task

  CERTCC/Vultron#5223 · Filter by author sei-ahouseholder opened on Oct 26, 2026

• Split compound requirements and rewrite them plainly: demo specs

  size:L
  Task

  CERTCC/Vultron#5222 · Filter by author sei-ahouseholder opened on Oct 26, 2026

• Split compound requirements and rewrite them plainly: wire edge, inbox, outbox and code conventions

  size:L
  Task

  CERTCC/Vultron#5221 · Filter by author sei-ahouseholder opened on Oct 26, 2026

• Split compound requirements and rewrite them plainly: implementation architecture

  size:L
  Task

  CERTCC/Vultron#5220 · Filter by author sei-ahouseholder opened on Oct 26, 2026

• Split compound requirements and rewrite them plainly: protocol core, state machines and embargo

  size:L
  Task

  CERTCC/Vultron#5219 · Filter by author sei-ahouseholder opened on Oct 26, 2026

• Split compound requirements and rewrite them plainly: ledger and replication

  size:L
  Task

  CERTCC/Vultron#5218 · Filter by author sei-ahouseholder opened on Oct 26, 2026

• Split compound requirements and rewrite them plainly: case management

  size:L
  Task

  CERTCC/Vultron#5217 · Filter by author sei-ahouseholder opened on Oct 26, 2026

• Audit spec links in process and tooling specs against SR-13, then make spec-lint fail on an unlinked citation

  size:M
  Task

  CERTCC/Vultron#5213 · Filter by author sei-ahouseholder opened on Oct 26, 2026