Drop statement_hash and digests from assurance and properties output

CHANGELOG.md

@@ -9,6 +9,8 @@ output schemas (see `spec/non-functional/NFR-006-cli-stability.md`).
 
 ## [Unreleased]
 
+- **Breaking: digests and hashes removed from outputs.** `quire properties --json` no longer emits `statement_hash` on a criterion obligation. The `quire assurance` v1 export locator is `{path, line}` only (no `digest`), obligations carry no `statement_hash`, and symbol ids are JSON-array identity parts rather than SHA-256 hex. `quire clauses` human binding output no longer prints a clause-set digest. Follows quire-rs assurance-v1 edited in place.
+
 ## [0.37.1] - 2026-10-28
 
 - Update to quire-rs 0.50.3, which honors optional trace targets whose archetype is absent from the corpus.

Cargo.toml

@@ -19,7 +19,7 @@ path = "src/main.rs"
 
 [dependencies]
 ix-cli-kit = { git = "https://github.com/agent-ix/ix-cli-kit", branch = "main", features = ["self-update"] }
-quire-rs = { version = "=0.50.3", git = "https://github.com/agent-ix/quire-rs", rev = "a48e65033deb233d7575507b193d60f3b00174ff" }
+quire-rs = { version = "=0.50.3", git = "https://github.com/agent-ix/quire-rs", rev = "19202147290b654c13eb7f8eed19dc3e2958f8f8" }
 clap = { version = "4", features = ["derive"] }
 serde = { version = "1", features = ["derive"] }
 serde_json = "1"

plan/plan.md

@@ -29,7 +29,7 @@ preimplementation specification and scope review are committed at `2502617`.
    reuse the existing scope/module path guards. Construct the bounded `Spec`,
    scoped symbol extraction, and binding through quire-rs, then call
    `build_assurance_export` and `read_assurance_export`. Parse
-   `NAME@VERSION`/`MODULE/ARCHETYPE@SHA256` only as CLI premises; compare the
+   `NAME@VERSION`/`MODULE/ARCHETYPE` only as CLI premises; compare the
    complete expected and emitted premise sets before writing stdout.
 3. **T-023 — Prove the process boundary (complete).** Add a non-vacuous fixture and golden
    plus IT-136..144/TC-814: complete records and all availability states,

src/commands/clauses.rs

@@ -209,11 +209,8 @@ fn write_json<T: serde::Serialize>(ctx: &Ctx, value: &T) -> anyhow::Result<()> {
 
 fn render_binding_human(report: &ClauseBindingReport) -> String {
     let mut out = format!(
-        "Clause set {}/{}/{} ({})\n",
-        report.clause_set.authority,
-        report.clause_set.id,
-        report.clause_set.version,
-        report.clause_set_digest
+        "Clause set {}/{}/{}\n",
+        report.clause_set.authority, report.clause_set.id, report.clause_set.version
     );
     for clause in &report.clauses {
         out.push_str(&format!(

src/commands/properties.rs

@@ -247,7 +247,6 @@ fn obligation_json(obligation: Option<&quire_rs::obligation::CriterionObligation
         Some(o) => {
             let mut out = json!({
                 "source": o.source,
-                "statement_hash": o.statement_hash,
                 "method": o.method,
                 "criticality": o.criticality,
             });

tests/fixtures/assurance/v1.json

@@ -1 +1 @@
-{"format":"quire-assurance","format_version":1,"source":{"repository":"agent-ix/fixture","revision":"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"},"modules":[{"name":"assurance-fixture","version":"1.2.3","schemas":[{"archetype":"FR"},{"archetype":"NFR"},{"archetype":"StR"}]}],"artifacts":[{"id":"FR-001","artifact_type":"FR","locator":{"path":"FR-001.md","line":1,"digest":"e259c3984b8dfc274bfa2193ae13e85a9984f206d4e068e7a661586966cdfaf9"}},{"id":"FR-002","artifact_type":"FR","locator":{"path":"FR-002.md","line":1,"digest":"fe8e946507723461bfcca93d879d8de1c05f7a45497e7de8a3d32aa7b33c30ae"}},{"id":"StR-001","artifact_type":"StR","locator":{"path":"StR-001.md","line":1,"digest":"4a0ed76beebb5241e8d7a550d38bd1f494849cde1e44337e5187f606e378080a"}}],"obligations":[{"source":"acceptance-criterion","id":"FR-001-AC-1","document":"FR-001.md","statement":"The assurance export preserves the linked requirement.","statement_hash":"1217cc0166b54ec1f45471fc7ee48dba4e894630e52db760b6266f47b706393f","method":"Test","target_ids":["TC-136"],"locator":{"path":"FR-001.md","line":18,"digest":"1217cc0166b54ec1f45471fc7ee48dba4e894630e52db760b6266f47b706393f"}},{"source":"acceptance-criterion","id":"FR-002-AC-1","document":"FR-002.md","statement":"The assurance export preserves the missing relation state.","statement_hash":"ba722332b02d721c29ff432336c87c0b5dc5523045436f7809ec549165924a2f","method":"Inspection","target_ids":[],"locator":{"path":"FR-002.md","line":13,"digest":"ba722332b02d721c29ff432336c87c0b5dc5523045436f7809ec549165924a2f"}}],"symbols":[{"id":"0ebc7940c7d308a4e705773d389b3e9a386b173132faa2ae19c4248dc7f9ba76","language":"rust","kind":"test_function","qualified_name":"evidence_binding","container":null,"capabilities":["verifies"],"locator":{"path":"src/lib.rs","line":6,"digest":"90fc8a88c45a81ebc2c5f6c63bd7c0f00a642757b0d6380b2143dd6bd5c43e04"}},{"id":"a6912a41c300742ae2b687af3ad18dd589940ee5a6a5e4fb7395090ae4c805e4","language":"rust","kind":"function","qualified_name":"production_binding","container":null,"capabilities":["implements"],"locator":{"path":"src/lib.rs","line":2,"digest":"90fc8a88c45a81ebc2c5f6c63bd7c0f00a642757b0d6380b2143dd6bd5c43e04"}}],"relation_kinds":[{"kind":"implements","availability":"available","sources":["trace_binding","observed"]},{"kind":"owned_by","availability":"available","sources":["required_relation"]},{"kind":"references","availability":"available","sources":["observed"]},{"kind":"satisfies","availability":"available","sources":["required_relation","observed"]},{"kind":"verifies","availability":"available","sources":["trace_binding","observed"]}],"relations":[{"kind":"corpus","source":"FR-001","target":"StR-001","edge_type":"references","resolution":"resolved","locator":{"path":"FR-001.md","line":6,"digest":"e259c3984b8dfc274bfa2193ae13e85a9984f206d4e068e7a661586966cdfaf9"},"freshness":"not_applicable"},{"kind":"corpus","source":"FR-001","target":"StR-001","edge_type":"satisfies","resolution":"resolved","locator":{"path":"FR-001.md","line":6,"digest":"e259c3984b8dfc274bfa2193ae13e85a9984f206d4e068e7a661586966cdfaf9"},"freshness":"not_applicable"},{"kind":"corpus","source":"FR-001","target":"StR-999","edge_type":"references","resolution":"dangling","locator":{"path":"FR-001.md","line":8,"digest":"e259c3984b8dfc274bfa2193ae13e85a9984f206d4e068e7a661586966cdfaf9"},"freshness":"not_applicable"},{"kind":"verifies","source":"0ebc7940c7d308a4e705773d389b3e9a386b173132faa2ae19c4248dc7f9ba76","target":"FR-001-AC-1","form":"rust-trace-attribute","provenance":"canonical","locator":{"path":"src/lib.rs","line":6,"digest":"90fc8a88c45a81ebc2c5f6c63bd7c0f00a642757b0d6380b2143dd6bd5c43e04"},"freshness":"unknown"},{"kind":"verifies","source":"0ebc7940c7d308a4e705773d389b3e9a386b173132faa2ae19c4248dc7f9ba76","target":"TC-136","form":"rust-trace-attribute","provenance":"canonical","locator":{"path":"src/lib.rs","line":6,"digest":"90fc8a88c45a81ebc2c5f6c63bd7c0f00a642757b0d6380b2143dd6bd5c43e04"},"freshness":"unknown"},{"kind":"implements","source":"a6912a41c300742ae2b687af3ad18dd589940ee5a6a5e4fb7395090ae4c805e4","target":"FR-001","form":"rust-implements-attribute","locator":{"path":"src/lib.rs","line":2,"digest":"90fc8a88c45a81ebc2c5f6c63bd7c0f00a642757b0d6380b2143dd6bd5c43e04"},"freshness":"not_applicable"}],"relation_observations":[{"declaration":"fr-has-need","subject":"FR-001","availability":"available","freshness":"not_applicable"},{"declaration":"fr-has-need","subject":"FR-002","availability":"missing","freshness":"not_applicable"},{"declaration":"fr-has-need","subject":"unreadable.md","availability":"unknown","freshness":"unknown","reason":"stream did not contain valid UTF-8"},{"declaration":"nfr-has-owner","availability":"not_applicable","freshness":"not_applicable"},{"declaration":"nfr-has-owner","subject":"unreadable.md","availability":"unknown","freshness":"unknown","reason":"stream did not contain valid UTF-8"}]}
+{"format":"quire-assurance","format_version":1,"source":{"repository":"agent-ix/fixture","revision":"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"},"modules":[{"name":"assurance-fixture","version":"1.2.3","schemas":[{"archetype":"FR"},{"archetype":"NFR"},{"archetype":"StR"}]}],"artifacts":[{"id":"FR-001","artifact_type":"FR","locator":{"path":"FR-001.md","line":1}},{"id":"FR-002","artifact_type":"FR","locator":{"path":"FR-002.md","line":1}},{"id":"StR-001","artifact_type":"StR","locator":{"path":"StR-001.md","line":1}}],"obligations":[{"source":"acceptance-criterion","id":"FR-001-AC-1","document":"FR-001.md","statement":"The assurance export preserves the linked requirement.","method":"Test","target_ids":["TC-136"],"locator":{"path":"FR-001.md","line":18}},{"source":"acceptance-criterion","id":"FR-002-AC-1","document":"FR-002.md","statement":"The assurance export preserves the missing relation state.","method":"Inspection","target_ids":[],"locator":{"path":"FR-002.md","line":13}}],"symbols":[{"id":"[\"rust\",\"src/lib.rs\",\"evidence_binding\",\"test_function\"]","language":"rust","kind":"test_function","qualified_name":"evidence_binding","container":null,"capabilities":["verifies"],"locator":{"path":"src/lib.rs","line":6}},{"id":"[\"rust\",\"src/lib.rs\",\"production_binding\",\"function\"]","language":"rust","kind":"function","qualified_name":"production_binding","container":null,"capabilities":["implements"],"locator":{"path":"src/lib.rs","line":2}}],"relation_kinds":[{"kind":"implements","availability":"available","sources":["trace_binding","observed"]},{"kind":"owned_by","availability":"available","sources":["required_relation"]},{"kind":"references","availability":"available","sources":["observed"]},{"kind":"satisfies","availability":"available","sources":["required_relation","observed"]},{"kind":"verifies","availability":"available","sources":["trace_binding","observed"]}],"relations":[{"kind":"corpus","source":"FR-001","target":"StR-001","edge_type":"references","resolution":"resolved","locator":{"path":"FR-001.md","line":6},"freshness":"not_applicable"},{"kind":"corpus","source":"FR-001","target":"StR-001","edge_type":"satisfies","resolution":"resolved","locator":{"path":"FR-001.md","line":6},"freshness":"not_applicable"},{"kind":"corpus","source":"FR-001","target":"StR-999","edge_type":"references","resolution":"dangling","locator":{"path":"FR-001.md","line":8},"freshness":"not_applicable"},{"kind":"verifies","source":"[\"rust\",\"src/lib.rs\",\"evidence_binding\",\"test_function\"]","target":"FR-001-AC-1","form":"rust-trace-attribute","provenance":"canonical","locator":{"path":"src/lib.rs","line":6},"freshness":"unknown"},{"kind":"verifies","source":"[\"rust\",\"src/lib.rs\",\"evidence_binding\",\"test_function\"]","target":"TC-136","form":"rust-trace-attribute","provenance":"canonical","locator":{"path":"src/lib.rs","line":6},"freshness":"unknown"},{"kind":"implements","source":"[\"rust\",\"src/lib.rs\",\"production_binding\",\"function\"]","target":"FR-001","form":"rust-implements-attribute","locator":{"path":"src/lib.rs","line":2},"freshness":"not_applicable"}],"relation_observations":[{"declaration":"fr-has-need","subject":"FR-001","availability":"available","freshness":"not_applicable"},{"declaration":"fr-has-need","subject":"FR-002","availability":"missing","freshness":"not_applicable"},{"declaration":"fr-has-need","subject":"unreadable.md","availability":"unknown","freshness":"unknown","reason":"stream did not contain valid UTF-8"},{"declaration":"nfr-has-owner","availability":"not_applicable","freshness":"not_applicable"},{"declaration":"nfr-has-owner","subject":"unreadable.md","availability":"unknown","freshness":"unknown","reason":"stream did not contain valid UTF-8"}]}