statecraft.
Catalog/rustev

037-generation-steps

Generation steps with deterministic backstops and per-field origin (amends 002, 003 and 004)

Lifecycle approvedImplementation completeVerification unknownQualification unknown

An amendment of approved specs 002, 003 and 004 (R-16), for #76 child B5 (#63), under owner decisions R-41 (OD-2) and R-42 (OD-4). Defines the bounded model step envelope that later model steps reuse, and its first kind, `generate`: a declared, finite step that runs after selection and asks a backend for schema-bounded text fields per selected item, with a versioned prompt template bound into `PlanId`, a deterministic backstop for every required field written in a logic-less template language implemented in `rustev-core`, optional bounded repair, ownership checks, and per-field origin (`generated`, `repaired`, `backstop{reason}`) in the text result, the evidence, every capture and every cached copy. Generated text is model-derived and can never reach an exact operator, a policy control, an acquisition request or another model step. Generate steps add to the shared #76 versions `rustev.definition/2`, `rustev.plan/3` and `rustev.evidence/2`; plans without any #76 construct keep byte-identical identities and documents. Approved (A-34); implementation is complete; approval authorizes no live provider call, spend, release or real-user data.

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": "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": "001-boundaries-and-authority",
  "unit": {
    "kind": "directory",
    "path": "scripts/acceptance/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "006-cli-surface",
  "unit": {
    "kind": "directory",
    "path": "crates/rustev-cli/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "027-node-and-wasm-bindings",
  "unit": {
    "kind": "directory",
    "path": "crates/rustev-surface/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "027-node-and-wasm-bindings",
  "unit": {
    "kind": "directory",
    "path": "integrations/rustev-node/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "027-node-and-wasm-bindings",
  "unit": {
    "kind": "directory",
    "path": "integrations/rustev-wasm/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "028-opentelemetry-evidence-sink",
  "unit": {
    "kind": "directory",
    "path": "integrations/rustev-otel/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "005-reference-backends",
  "unit": {
    "kind": "directory",
    "path": "backends/rustev-backend-rules/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "012-jev-integration",
  "unit": {
    "kind": "directory",
    "path": "integrations/rustev-jev/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "009-remote-adapter-protocol",
  "unit": {
    "kind": "directory",
    "path": "integrations/rustev-remote-http/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "010-integrations",
  "unit": {
    "kind": "directory",
    "path": "integrations/rustev-serve/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "027-node-and-wasm-bindings",
  "unit": {
    "kind": "directory",
    "path": "tools/rustev-conformance/"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "031-public-api-and-release-family",
  "unit": {
    "kind": "directory",
    "path": "tools/rustev-release/"
  }
}

Source headings

  1. 037: Generation steps with deterministic backstops and per-field origin (amends 002, 003 and 004)
  2. 1. Purpose
  3. 2. Territory
  4. 2.1 Binding principles of #76
  5. 3. Behavior
  6. 3.1 The bounded model step envelope
  7. 3.2 The generate step declaration
  8. 3.3 Prompt templates
  9. 3.4 Backstop language
  10. 3.5 Compilation
  11. 3.6 Isolation from decisions
  12. 3.7 Requests, outputs and validation
  13. 3.8 Repair
  14. 3.9 Ownership
  15. 3.10 Per-field origin and the text result
  16. 3.11 Screening (B7)
  17. 3.12 Runtime: the generation stage (amends 003)
  18. 3.13 Streaming
  19. 3.14 Caching
  20. 3.15 Evidence, capture and replay (amends 004)
  21. 3.16 Evaluation metrics (amends 004)
  22. 3.17 Backend capability
  23. 3.18 Compatibility and identity
  24. 4. Out of scope
  25. 5. Observable negative cases
  26. Acceptance
  27. Verification
  28. Implementation record
  29. Decisions at approval

Frozen anchors

No frozen anchors declared.