Labels

• baseline-update

  Performance baseline update (authorized)
• bug

  Something isn't working
• ci-gate

  CI gate and evidence enforcement
• determinism

  Determinism and replay
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• governance

  Governance and constitutional controls
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• phase11

  Phase 11 scope
• phase13

  Phase 13 distributed verification observability scope
• policy

  Policy modules and envelope validation
• policy-track

  Deferred policy-track work outside closed core scope
• proof

  Proof artifacts and verification
• question

  Further information is requested
• research

  Research-track architecture and validation
• research-track

  Research-track architecture and theory follow-on work
• wontfix

  This will not be worked on