Function validate_memory

atomic-canonical/src/gate.rs:245–318

Validate a canonical Memory node against `MemoryShape`. Mirrors the doc's shape: `memoryKind` and `status` are closed value sets (exactly one each), `attributedTo` and `proof` must be present, and the `text` must be present and non-empty. As everywhere, presence is enforced and content left honest — no rule reads the memory prose.

(node: &MemoryNode)

/// and non-empty. As everywhere, presence is enforced and content left honest —
/// no rule reads the memory prose.
pub fn validate_memory(node: &MemoryNode) -> ValidationReport {
    let mut out = Vec::new();
    let focus = &node.id;

    // memoryKind ∈ closed set, exactly one (single field ⇒ cardinality holds).
    if !vocab::is_known_memory_kind(&node.memory_kind) {
        out.push(Violation {
            focus_node: focus.clone(),
            shape: "MemoryShape".into(),
            path: Some("memoryKind".into()),
            message: format!(
                "memoryKind '{}' is not one of {:?}",
                node.memory_kind,
                vocab::MEMORY_KIND
            ),
        });
    }

    // status ∈ closed set, exactly one.
    if !vocab::is_known_memory_status(&node.status) {
        out.push(Violation {
            focus_node: focus.clone(),
            shape: "MemoryShape".into(),
            path: Some("status".into()),
            message: format!(
                "status '{}' is not one of {:?}",
                node.status,
                vocab::MEMORY_STATUS
            ),
        });
    }

    // attributedTo must be present (sh:class prov:Agent deferred — see M0 notes).
    if node.attributed_to.as_deref().unwrap_or("").is_empty() {
        out.push(Violation {
            focus_node: focus.clone(),
            shape: "MemoryShape".into(),
            path: Some("attributedTo".into()),
            message: "author (attributedTo) must be present as a DID".into(),
        });
    }

    // proof must be present.
    if node.proof.is_none() {
        out.push(Violation {
            focus_node: focus.clone(),
            shape: "MemoryShape".into(),
            path: Some("proof".into()),
            message: "memory must carry a Data Integrity proof".into(),
        });
    }

    // presence-enforced: the memory text must exist (content left honest).
    if node.text.trim().is_empty() {
        out.push(Violation {
            focus_node: focus.clone(),
            shape: "MemoryShape".into(),
            path: Some("text".into()),