Labels

• audit-finding

  Identified during formal audit
• bug

  Something isn't working
• contract

  Contract-related issues
• correctness

  Correctness issues
• determinism

  Determinism guarantees
• doc-drift

  Documentation inconsistent with code
• documentation-additions

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• hardening

  Security/stability hardening
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• invariant-gap

  Enforcement mechanism missing
• orchestration

  Related to scheduling/deferrals
• question

  Further information is requested
• replay

  Replay determinism and capture
• replay-hardening

  Related to replay integrity
• ui-authoring

  UI authoring reference client
• v0-known-limitation

  Intentional scope limitation
• v1

  Tracked for v1 release
• v1-semantics

  V1 semantics decision required
• wontfix

  This will not be worked on