pub const ARTIFACT_DECODE_LINE: &str = "artifact-check: exact bytes and manifest accepted by the checker-owned Lean predicate";Expand description
Emitted on a green verdict. All trust-bearing byte facts and claim metadata are checked by the embedded Lean wall; Rust performs no parallel verdict reconstruction.