005-binding-and-sidecar-protocol

Attempt binding and stdio sidecar protocol

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Defines the immutable AttemptBinding supplied by Statecraft, the versioned stdio protocol for one sidecar per attempt, capture-digest closure of the bracketed effect, and statecraft/wire-exchange/v1 testimony for admission by the host rather than by the witness.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
      "id": "wire_witness_cli::sidecar_protocol",
      "kind": "module"
    }
  • establishes
    {
      "anchor": "binding-and-sidecar-protocol",
      "file": "crates/wire-witness-cli/src/sidecar_protocol.rs",
      "kind": "section"
    }

Source headings

  1. 005: Attempt binding and stdio sidecar protocol
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 3.1 `AttemptBinding`
  6. 3.2 Versioned stdio
  7. 3.3 Bracketed lifetime
  8. 3.4 Evidence envelope boundary
  9. 4. Observable negative cases
  10. 5. Out of scope
  11. Verification

Frozen anchors

No frozen anchors declared.