Function append_deferred 

pub fn append_deferred(
    db_path: impl AsRef<Path>,
    trace_id: &str,
    v: &DeferredVerdict,
) -> Result<(), StoreError>

Append a deferred verdict for trace_id (a downstream outcome or async gate result). This writes ONLY to the deferred_verdicts table; the sealed trace and its hash are untouched, so the audit chain remains verifiable (SPEC §8.3.4 — the outcome-feedback loop).

Errors

Returns StoreError::Sqlite on a database error.