statecraft.
Catalog/rustev

002-decision-contract-and-pure-core

Decision contract and pure core

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Increment 1: the versioned wire contract (`rustev-contract`) and the pure core (`rustev-core`). Bounded parsing, canonical form and identities, value kinds without silent conversion, fixed-point decimals and millisecond time, input validation with provenance, freshness and conflict, a closed versioned exact-operator registry, decision definitions entered through a typed builder or canonical JSON, the plan compiler with capability matching, declared fallbacks and typed refusals, calibration binding, deterministic selection policy with explicit unresolved handling, and derivation classes with lineage. No I/O, no clock, no async executor, no model.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
  "kind": "directory",
  "path": "crates/rustev-contract/"
}
  • establishes
    {
  "kind": "directory",
  "path": "crates/rustev-core/"
}
  • 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": "Cargo.lock"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "001-boundaries-and-authority",
  "unit": {
    "kind": "file",
    "path": "Makefile"
  }
}

Source headings

  1. 002: Decision contract and pure core
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 3.1 Purity
  6. 3.2 Documents and bounded parsing
  7. 3.3 Canonical form and identities
  8. 3.4 Numbers and time
  9. 3.5 Value kinds
  10. 3.6 Calibration
  11. 3.7 Inputs, provenance and freshness
  12. 3.8 Exact operators
  13. 3.9 Definitions and compilation
  14. 3.10 Staged evaluation
  15. 3.11 Selection policy
  16. 3.12 Derivation and lineage
  17. 3.13 Reference plans
  18. 4. Out of scope
  19. 5. Observable negative cases
  20. Acceptance
  21. Verification
  22. Engineering choices
  23. Implementation record
  24. Decision history

Frozen anchors

No frozen anchors declared.