008-instruction-delivery-observation

Instruction delivery observation

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Defines a content-gated, offline comparison that reports whether exact operator-supplied instruction bytes were observed in a complete outbound provider request, without turning one observation into adapter qualification, policy, or authority.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
      "anchor": "instruction-delivery-observation",
      "file": "crates/wire-witness-core/src/instruction_observation.rs",
      "kind": "section"
    }
  • establishes
    {
      "anchor": "instruction-delivery-observation",
      "file": "crates/wire-witness-cli/src/instruction_observation.rs",
      "kind": "section"
    }
  • extends
    {
      "nature": "additive",
      "spec": "001-boundaries-and-authority",
      "unit": {
        "anchor": "workspace.dependencies",
        "file": "Cargo.toml",
        "kind": "section"
      }
    }
  • extends
    {
      "nature": "additive",
      "spec": "001-boundaries-and-authority",
      "unit": {
        "kind": "file",
        "path": "Cargo.lock"
      }
    }
  • extends
    {
      "nature": "additive",
      "spec": "001-boundaries-and-authority",
      "unit": {
        "anchor": "dependencies",
        "file": "crates/wire-witness-core/Cargo.toml",
        "kind": "section"
      }
    }
  • extends
    {
      "nature": "additive",
      "spec": "001-boundaries-and-authority",
      "unit": {
        "anchor": "instruction-observation-module-export",
        "file": "crates/wire-witness-core/src/lib.rs",
        "kind": "section"
      }
    }
  • extends
    {
      "nature": "additive",
      "spec": "001-boundaries-and-authority",
      "unit": {
        "kind": "file",
        "path": "scripts/check-boundaries.sh"
      }
    }
  • extends
    {
      "nature": "additive",
      "spec": "006-standalone-host",
      "unit": {
        "anchor": "instruction-observation-module-export",
        "file": "crates/wire-witness-cli/src/lib.rs",
        "kind": "section"
      }
    }
  • extends
    {
      "nature": "additive",
      "spec": "006-standalone-host",
      "unit": {
        "kind": "file",
        "path": "crates/wire-witness-cli/src/standalone_host.rs"
      }
    }

Source headings

  1. 008: Instruction delivery observation
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 3.1 Observation, not qualification
  6. 3.2 Predeclared comparison plan
  7. 3.3 Three-state result
  8. 3.4 Durable result
  9. 3.5 Request-component decoding
  10. 4. Observable negative cases
  11. 5. Out of scope
  12. Verification

Frozen anchors

No frozen anchors declared.