statecraft.
Catalog/rustev

005-reference-backends

Deterministic rules backend

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Increment 2: `rustev-backend-rules`, a deterministic, in-process backend that implements the backend seam of spec 003 by evaluating a bounded, versioned rules program (`rustev.rules/1`): typed field access into the canonical projection, ordered rules with explicit precedence and no-match behavior, constant, linear and lookup contributions to authored logits in exact fixed-point arithmetic, and a descriptor derived from the program so the program's digest is the artifact identity plans bind. Metered logical cost units, bounded work, local cancellation observed at declared points. Narrowed by owner decision R-13; the semantic backend is spec 011.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
  "kind": "directory",
  "path": "backends/rustev-backend-rules/"
}
  • 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. 005: Deterministic rules backend
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 3.1 Scope
  6. 3.2 The rules program, `rustev.rules/1`
  7. 3.3 Validation and limits
  8. 3.4 Field access and validation
  9. 3.5 Choosing the task
  10. 3.6 Numbers
  11. 3.7 Evaluation
  12. 3.8 Interpretation
  13. 3.9 Disclosure: the derived descriptor
  14. 3.10 Identity
  15. 3.11 Setup responsibilities
  16. 3.12 Cost
  17. 3.13 Cancellation
  18. 3.14 Provenance
  19. 3.15 Dependencies and partial adoption
  20. 3.16 Reference programs
  21. 4. Out of scope
  22. 5. Observable negative cases
  23. Acceptance
  24. Verification
  25. Implementation record
  26. Clarifications of the approved text
  27. Limitations
  28. Decision history
  29. Engineering choices
  30. Tooling compatibility record (2026-10-02)

Frozen anchors

No frozen anchors declared.