statecraft.
Catalog/rustev

003-runtime-execution-and-evidence

Runtime execution and evidence emission

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Increment 2: `rustev-runtime` drives the pure core's staged evaluation through backend seams on Tokio (R-03) under explicit bounds: injectable monotonic time and one end-to-end deadline, bounded admission and concurrency, cost budgets reserved before dispatch with honest settlement, bounded retries and runtime fallback declared in an identified execution policy that is part of plan identity, cancellation that never claims more than the backend acknowledged, and evidence delivery under a declared sink policy. Amends spec 002: plan schema 2, the execution-policy and run-record documents, a pre-supply output check, and the backend and sink seams. Batching, duplicate suppression and caches are deferred by name.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
  "kind": "directory",
  "path": "crates/rustev-runtime/"
}
  • extends
    {
  "nature": "additive",
  "spec": "001-boundaries-and-authority",
  "unit": {
    "kind": "file",
    "path": "Cargo.lock"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "001-boundaries-and-authority",
  "unit": {
    "kind": "file",
    "path": "Cargo.toml"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "001-boundaries-and-authority",
  "unit": {
    "kind": "file",
    "path": "Makefile"
  }
}
  • extends
    {
  "nature": "amending",
  "spec": "002-decision-contract-and-pure-core",
  "unit": {
    "kind": "directory",
    "path": "crates/rustev-contract/"
  }
}
  • extends
    {
  "nature": "amending",
  "spec": "002-decision-contract-and-pure-core",
  "unit": {
    "kind": "directory",
    "path": "crates/rustev-core/"
  }
}

Source headings

  1. 003: Runtime execution and evidence emission
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 3.1 Relation to spec 002 and compatibility
  6. 3.2 Contract amendments to spec 002
  7. 3.3 Time
  8. 3.4 Admission and concurrency
  9. 3.5 Cost budgets
  10. 3.6 Retries and runtime fallback
  11. 3.7 Cancellation
  12. 3.8 Judgment equivalence
  13. 3.9 Evidence
  14. 3.10 Deferred optimization contract
  15. 3.11 Partial adoption
  16. 3.12 Test fixtures
  17. 4. Out of scope
  18. 5. Observable negative cases
  19. Acceptance
  20. Verification
  21. Implementation record
  22. Decision history
  23. Engineering choices
  24. Tooling compatibility record (2026-10-02)

Frozen anchors

No frozen anchors declared.