statecraft.
Catalog/attest-ledger

000-attest-ledger-bootstrap

attest-ledger bootstrap (tamper-evident record ledger)

Lifecycle approvedImplementation pendingVerification unknownQualification unknown

Bootstrap spec for the attest-ledger repository: a three-crate workspace vending a tamper-evident record ledger (append-only, hash-linked, Ed25519-signed) with an independent verifier. Extracted (relicensed Apache-2.0 by the sole copyright holder) from the Open Agentic Platform's crates/policy-kernel (proof_chain.rs and the pure subset of audit.rs). It depends on canonical-keysort-json for reproducible hashing. This spec establishes the workspace skeleton and seeds this repo's own spec corpus, which is governed by the pinned spec-spine library.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
  "kind": "directory",
  "path": "standards/spec/"
}
  • establishes
    {
  "kind": "file",
  "path": "spec-spine.toml"
}
  • establishes
    {
  "kind": "file",
  "path": "AGENTS.md"
}
  • establishes
    {
  "kind": "file",
  "path": "Makefile"
}
  • establishes
    {
  "kind": "file",
  "path": ".github/CODEOWNERS"
}
  • establishes
    {
  "kind": "file",
  "path": ".github/workflows/statecraft-ai-review.yml"
}
  • establishes
    {
  "kind": "file",
  "path": ".github/workflows/statecraft-ci.yml"
}
  • establishes
    {
  "kind": "directory",
  "path": ".statecraft/"
}
  • establishes
    {
  "kind": "directory",
  "path": "scripts/statecraft/"
}
  • establishes
    {
  "kind": "file",
  "path": "Cargo.toml"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/types/Cargo.toml"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/types/src/lib.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/core/Cargo.toml"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/core/src/lib.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/core/src/record_chain.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/core/src/audit.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/core/src/signing.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/cli/Cargo.toml"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/cli/src/main.rs"
}

Source headings

  1. 000: attest-ledger bootstrap
  2. 1. Purpose
  3. 2. Scope
  4. 3. Provenance
  5. 4. Established units
  6. 5. Notes on the generalization
  7. Owner ratification
  8. Managed governance enrollment (2026-10-02)
  9. Managed governance refresh (2026-10-02)

Frozen anchors

No frozen anchors declared.