statecraft.
Catalog/rustev

033-provenance-rules-and-actionable-outcomes

Provenance-conditional rules and actionable outcomes (amends 002 and 006)

Lifecycle approvedImplementation completeVerification unknownQualification unknown

An amendment of approved specs 002 and 006, for #76 child B3. A definition may declare which provenance classes the caller controls, input checks whose consequence on failure depends on the provenance of the value tested (refuse, drop the field, relax a named constraint group, downgrade its grade, abstain, escalate, or continue with a notice), exhaustive over the classes the input accepts, and policy conditions over provenance. Every unresolved outcome, refusal and notice of such a plan carries who can act on it, a typed remediation, its causes with provenance, and whether retrying can succeed; who can act is computed from the causes, and an author may only move it away from the caller, never toward it. Adds the `needs_input` outcome with declared, literal questions and a continuation digest, and documents how hosts map outcomes to transport semantics. Adds to the #76 track versions `rustev.definition/2`, `rustev.plan/3` and `rustev.evidence/2`, and introduces `rustev.judgment/2`; plans using no construct of this spec keep their bytes and `PlanId`. Approved (A-30); implemented, with the Node binding's conformance item awaiting spec 027.

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

Source headings

  1. 033: Provenance-conditional rules and actionable outcomes (amends 002 and 006)
  2. 1. Purpose
  3. 2. Territory
  4. 2.1 Binding principles of #76
  5. 3. Behavior
  6. 3.1 Documents and versions
  7. 3.2 Checks
  8. 3.3 Consequences
  9. 3.4 Check evaluation
  10. 3.5 Actionable outcomes
  11. 3.6 Remediations and transience
  12. 3.7 The needs-input outcome
  13. 3.8 Compilation: the actionability phase
  14. 3.9 Runtime origin (adds to spec 003)
  15. 3.10 Host status guidance
  16. 3.11 CLI surface (amends spec 006)
  17. 3.12 Compatibility
  18. 4. Out of scope
  19. 5. Observable negative cases
  20. Acceptance
  21. Verification
  22. Implementation record
  23. Decisions at approval

Frozen anchors

No frozen anchors declared.