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
- 008: Instruction delivery observation
- 1. Purpose
- 2. Territory
- 3. Behavior
- 3.1 Observation, not qualification
- 3.2 Predeclared comparison plan
- 3.3 Three-state result
- 3.4 Durable result
- 3.5 Request-component decoding
- 4. Observable negative cases
- 5. Out of scope
- Verification
Frozen anchors
No frozen anchors declared.