statecraft.
Catalog/rahi

010-workspace-and-core-types

Cargo workspace and the core types: Error, Principal, Revision, FenceToken, Config

Lifecycle approvedImplementation completeVerification unknownQualification unknown

The first build: a virtual Cargo workspace with the toolchain pinned, unsafe denied, one shared dependency table, and a supply-chain policy; plus rahi-types, the plain-data substrate every other crate depends on and that depends on nothing in the workspace. It fixes the Error enum with the four exit codes, the Principal as the IdP's subject plus claims, the Revision and FenceToken newtypes the store's invariants are written against, the Config tree derived from one public URL, and the schema version constants.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
  "kind": "file",
  "path": "Cargo.toml"
}
  • establishes
    {
  "kind": "file",
  "path": "rust-toolchain.toml"
}
  • establishes
    {
  "kind": "file",
  "path": "deny.toml"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/rahi-types/Cargo.toml"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/rahi-types/src/lib.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/rahi-types/src/error.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/rahi-types/src/principal.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/rahi-types/src/revision.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/rahi-types/src/config.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/rahi-types/src/version.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/rahi-types/tests/"
}

Source headings

  1. 010: Cargo workspace and the core types
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 4. Functional requirements
  6. 5. Acceptance criteria
  7. 6. Out of scope
  8. 7. Resolved decisions
  9. Verification

Frozen anchors

No frozen anchors declared.