statecraft.
Catalog/rustev

026-live-re-execution

Live re-execution with fresh observations

Lifecycle approvedImplementation completeVerification unknownQualification unknown

A separately invoked live re-execution path that creates a new decision from a newly identified snapshot, obtains fresh host authorization for every dispatch, applies new deadlines and budgets, and records new backend, cancellation, cost, retention, and delivery observations. It may compare the new proposal with a retained historical proposal, but never reuses a historical decision identity, supplies retained backend outputs as fresh, rewrites a replay bundle, or lets offline replay contact a backend.

Read the full pinned specification ↗

Relationships

Claimed units

  • extends
    {
  "nature": "amending",
  "spec": "002-decision-contract-and-pure-core",
  "unit": {
    "kind": "directory",
    "path": "crates/rustev-contract/"
  }
}
  • extends
    {
  "nature": "amending",
  "spec": "003-runtime-execution-and-evidence",
  "unit": {
    "kind": "directory",
    "path": "crates/rustev-runtime/"
  }
}
  • extends
    {
  "nature": "amending",
  "spec": "004-evaluation-and-replay",
  "unit": {
    "kind": "directory",
    "path": "crates/rustev-eval/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "001-boundaries-and-authority",
  "unit": {
    "kind": "file",
    "path": "Makefile"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "031-public-api-and-release-family",
  "unit": {
    "kind": "directory",
    "path": "tools/rustev-release/"
  }
}

Source headings

  1. 026: Live re-execution with fresh observations
  2. 1. Purpose
  3. 2. Territory and compatibility
  4. 3. Behavior
  5. 3.1 Separate live entry point
  6. 3.2 New decision and snapshot
  7. 3.3 Host authorization at dispatch
  8. 3.4 Fresh dispatch, budgets, and time
  9. 3.5 Cancellation and possibly continuing work
  10. 3.6 Evidence, cost, and external effects
  11. 3.7 Retention and erasure
  12. 3.8 Divergence and comparison
  13. 4. Out of scope
  14. 5. Observable negative cases
  15. Acceptance
  16. Verification
  17. Implementation record
  18. Questions settled by R-34

Frozen anchors

No frozen anchors declared.