statecraft.
Catalog/rustev

032-evidence-quality

Evidence quality: grades, presence predicates, typed joins, corroboration and conflict policy (amends 002 and 003)

Lifecycle approvedImplementation completeVerification unknownQualification unknown

An amendment of approved specs 002 and 003 (R-16), for #76 child B2. Adds an ordered evidence grade (`authoritative`, `cached`, `estimated`, `hint`) and value metadata (grade, provenance set, sources, oldest as-of) to every value of a plan that opts in, declared per field by a new context source descriptor (`rustev.source/1`) and lowered, never raised, by the definition; presence predicates so key existence is never presence; typed keyed joins (`join_keyed@1`) and per-field merges (`merge_fields@1`) with no implicit fallback; a corroboration step, the only way a grade rises; and a per-fact conflict policy that makes silent last-writer-wins impossible. Introduces the shared #76 track versions `rustev.definition/2`, `rustev.plan/3`, `rustev.snapshot/2`, `rustev.evidence/2`, `rustev.run/3` and the registry `rustev.exact/2`, to which later #76 specs add optional members; every version 1 definition keeps its bytes, its plan and its `PlanId`. Approved (A-29); implemented in four increments (see the implementation record).

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": "amending",
  "spec": "003-runtime-execution-and-evidence",
  "unit": {
    "kind": "directory",
    "path": "crates/rustev-runtime/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "006-cli-surface",
  "unit": {
    "kind": "directory",
    "path": "crates/rustev-cli/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "008-reference-package-lodging",
  "unit": {
    "kind": "directory",
    "path": "packages/rustev-pkg-lodging/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "001-boundaries-and-authority",
  "unit": {
    "kind": "file",
    "path": "Makefile"
  }
}

Source headings

  1. 032: Evidence quality: grades, presence predicates, typed joins, corroboration and conflict policy (amends 002 and 003)
  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 Evidence grades and value metadata
  8. 3.3 Sources, ceilings and claims
  9. 3.4 Presence predicates
  10. 3.5 Typed keyed join: `join_keyed@1`
  11. 3.6 Typed merge: `merge_fields@1`
  12. 3.7 Corroboration
  13. 3.8 Conflict policy
  14. 3.9 Grade compilation phase
  15. 3.10 Evidence (amends spec 003, 3.9)
  16. 3.11 Runtime (amends spec 003)
  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.