Function lift_scope

atomic-canonical/src/lift.rs:252–268

Lift a `:::scope-in` / `:::scope-out` container into a `ScopeItem`. `kind` is "scope-in" or "scope-out" and drives the generated id slug. Prose body is the unconstrained narrative (never graded). Nested `::file-ref{path=}` leaves name the files this boundary covers — same leaf directive a `:::task` uses for `TOUCHES` — so a `:::scope-out` can declare concrete files out of scope for breach detectio

(d: &Directive, id_base: &str, kind: &str, n: usize)

/// directive a `:::task` uses for `TOUCHES` — so a `:::scope-out` can declare
/// concrete files out of scope for breach detection.
fn lift_scope(d: &Directive, id_base: &str, kind: &str, n: usize) -> ScopeItem {
    let local =
        d.id.clone()
            .unwrap_or_else(|| format!("{}-{kind}-{n}", slug(id_base)));
    let files = d
        .children
        .iter()
        .filter(|c| c.name == "file-ref")
        .filter_map(|c| c.attr("path").map(str::to_string))
        .collect();
    ScopeItem {
        type_: NodeType::ScopeItem.as_str().to_string(),
        id: as_urn("scope", &local),
        text: d.body.clone(),
        files,
    }
}

/// Lift a `:::constraint` container into a `Constraint`.
fn lift_constraint(d: &Directive, id_base: &str, n: usize) -> Constraint {