Struct Body 

pub struct Body {
    pub bare_mentions: Vec<Id>,
    pub findings: Vec<Finding>,
    pub section_refs: Vec<String>,
    pub links: Vec<String>,
    pub link_refs: Vec<Id>,
}

Extracted markdown body signals (Phase 2 parser fills these from the prose).

Fields

bare_mentions: Vec<Id>

Prose occurrences of ids with no typed edge — the E3 warning path. Excludes the record’s own id/aka and anything already cited via a structured edge.

findings: Vec<Finding>

Review-log finding anchors (<a id="r9">), in document order.

section_refs: Vec<String>

§-prefixed section references (e.g. 9.6), for the positional-ref rule.

links: Vec<String>

Raw link destinations found in the body.

link_refs: Vec<Id>

Ids named by body links — a typed citation (see crate::Relation::Link), so a link to a superseded atom is an E3 error like any other structured edge.

Trait Implementations

impl Clone for Body

fn clone(&self) -> Body

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Body

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Body

fn default() -> Body

Returns the “default value” for a type.