meta.book.index_status

Implementation and test status are computed independently from their declared entries: ordinary entries display Implemented, todo entries display TODO, and not_applicable entries display N/A. Mixed statuses remain visible, including outstanding TODOs when another entry is implemented. An absent implementation or test entry is a validation error, not an implicit TODO or N/A. These labels describe declared coverage; recorded run results remain separate evidence.

Read in specification context · design/meta/book.md

Implementation

Implemented crates/sage-meta/src/evidence.rs:29–34

sage_meta::evidence · lib:sage_meta

#![allow(unused)]
fn main() {
// {anchor}`meta.book.index_status`
pub fn placeholder_status(module: &str) -> Result<EvidenceStatus, String> {
    let mut todo = false;
    let mut not_applicable = false;
    for component in module.split("::").skip(1) {
        match component.trim_start_matches("r#") {

}

See more source ↗

Implemented crates/sage-meta/src/review.rs:154–159

sage_meta::review · lib:sage_meta

#![allow(unused)]
fn main() {
// {anchor}`meta.book.index_status`
pub fn inventory(
    spec: &SpecIndex,
    rust: &CorrespondenceIndex,
) -> Result<BTreeMap<String, ReviewInput>, Box<dyn Error>> {
    let workspace = rust.workspace_root().unwrap_or(Path::new("."));

}

See more source ↗

Implemented crates/sage-meta/src/review.rs:718–723

sage_meta::review · lib:sage_meta

#![allow(unused)]
fn main() {
        // {anchor}`meta.book.index_status`
        if input.tests.is_empty() {
            reasons.push("missing test association".into());
        }
        if input.implementations.is_empty() {
            reasons.push("missing implementation association".into());

}

See more source ↗

Implemented crates/sage-meta/src/book/anchors.rs:314–319

sage_meta::book::anchors · bin:sage-meta

#![allow(unused)]
fn main() {
    // {anchor}`meta.book.index_status`
    fn states(&self, name: &str, tests: bool) -> BTreeSet<TestStatus> {
        if tests {
            self.inputs
                .get(name)
                .into_iter()

}

See more source ↗

TODO crates/sage-meta/tests/spec_plan.rs:234–241

sage_meta::todo · test:spec_plan

TODO: Display implemented/TODO/N/A entries independently, expose mixed statuses, and reject missing entries rather than inventing a status.

#![allow(unused)]
fn main() {
    // {anchor}`meta.book.index_status`<<
    #[test]
    #[sage::test(meta.book.index_status)]
    fn anchor_index_preserves_mixed_statuses() {
        // TODO: Display implemented/TODO/N/A entries independently, expose mixed
        // statuses, and reject missing entries rather than inventing a status.
    }
    // >>

}

See more source ↗

Tests and review

Indexed tests and the implementation-completeness and test-adequacy review; no test run is implied.

Implemented sage_meta::generated_anchor_pages_join_namespaces_claims_implementations_tests_and_reviews

crates/sage-meta/tests/book.rs · test:book

#![allow(unused)]
fn main() {
#[test]
#[sage::test(meta.book.index_namespace_pages)]
#[sage::test(meta.book.index_rows)]
#[sage::test(meta.book.index_groups)]
#[sage::test(meta.book.index_status)]
#[sage::test(meta.anchors.anchor_pages)]
#[sage::test(meta.anchors.context_navigation)]
fn generated_anchor_pages_join_namespaces_claims_implementations_tests_and_reviews() {
    let fixture = Fixture::new("manual");
    fixture.doc("SUMMARY.md", "# Summary\n\n- [Design](design/README.md)\n  - [Crates](design/crates/README.md)\n  - [Meta](design/meta.md)\n  - [Anchors](design/anchor/README.md)\n  - [Handwritten](design/handwritten.md)\n");
    let definitions = "# Meta\n\n{anchor}`foo`\nThe **parent rule** with `code`.\n\n{anchor}`foo.bar`\nThe child rule.\n\n{anchor}`other.leaf`\nA rule in a sibling branch.\n";
    fixture.doc("design/meta.md", definitions);
    fixture.doc("design/anchor/README.md", "# Anchors\n");
    let source = std::fs::read_to_string(fixture.root.join("src/lib.rs")).unwrap();
    fixture.write(
        "src/lib.rs",
        &format!(
            "{source}\n{}",
            r#"
// {anchor}`meta.foo`
fn implementation() {}
#[test]
#[sage::test(meta.foo)]
fn behavior() { assert_eq!(2 + 2, 4); }
mod todo {
    // {anchor}`meta.foo`
    // TODO: Additional implementation and edge case.
    #[test]
    #[sage::test(meta.foo)]
    fn remaining() {}
}
mod not_applicable {
    // {anchor}`meta.foo.bar`<<
    // N/A: This requirement describes an editorial convention.
    #[test]
    #[sage::test(meta.foo.bar)]
    fn editorial() {}
    // >>

    // {anchor}`meta.other.leaf`
    // N/A: This sibling rule is also editorial.
    #[test]
    #[sage::test(meta.other.leaf)]
    fn sibling_editorial() {}
}
"#
        ),
    );
    for anchor in ["meta.foo", "meta.foo.bar", "meta.other.leaf"] {
        sage_meta::review::start(&fixture.root, anchor, vec![]).unwrap();
        if anchor != "meta.other.leaf" {
            sage_meta::review::record(
                &fixture.root,
                anchor,
                &sage_meta::review::ValidationOutput {
                    reviewer: "fixture".into(),
                    report: "Explicit placeholder status reviewed.\n\nLiteral <p> & report detail."
                        .into(),
                    requested_edits: if anchor == "meta.foo.bar" {
                        vec!["Clarify the editorial explanation.".into()]
                    } else {
                        vec![]
                    },
                },
            )
            .unwrap();
        }
    }
    let mut input = fixture.input("items");
    let children = input[1]["items"][0]["Chapter"]["sub_items"]
        .as_array_mut()
        .unwrap();
    children.push(json!({"Chapter":{"name":"Meta","content":definitions,"path":"design/meta.md","source_path":"design/meta.md","number":[2,3],"parent_names":["Design"],"sub_items":[]}}));
    children.push(json!({"Chapter":{"name":"Anchors","content":"# Anchors\n","path":"design/anchor/README.md","source_path":"design/anchor/README.md","number":[2,4],"parent_names":["Design"],"sub_items":[]}}));
    let output = fixture.run(&input);
    assert!(
        output.status.success(),
        "{}",
        String::from_utf8_lossy(&output.stderr)
    );
    let book: Value = serde_json::from_slice(&output.stdout).unwrap();
    let entries = chapters(book["items"].as_array().unwrap());
    let overview = entries["design/anchor/README.md"]["content"]
        .as_str()
        .unwrap();
    assert!(overview.contains("data-group=\"meta\""));
    assert!(overview.contains("data-group=\"meta.foo\""));
    assert!(overview.contains("3 anchors"));
    assert!(overview.contains("1 Implemented"));
    assert!(overview.contains("1 TODO"));
    assert!(overview.contains("2 N/A"));
    assert!(overview.contains("aria-controls=\"anchor-text-meta-foo\""));
    assert!(overview.contains("<strong>parent rule</strong>"));
    let page = entries["design/anchor/meta/foo.md"]["content"]
        .as_str()
        .unwrap();
    assert!(page.contains(
        "Explicit placeholder status reviewed.<br><br>Literal &lt;p&gt; &amp; report detail."
    ));
    assert!(!page.contains("<p>Explicit placeholder status reviewed.\n"));
    let table_rows = |content: &str| {
        content
            .split("data-anchor=\"")
            .skip(1)
            .map(|tail| tail.split('"').next().unwrap().to_owned())
            .collect::<Vec<_>>()
    };
    assert_eq!(
        table_rows(overview),
        ["meta.foo", "meta.foo.bar", "meta.other.leaf"]
    );
    for prefix in ["meta", "meta/foo", "meta/other"] {
        assert!(entries.contains_key(format!("design/anchor/{prefix}.md").as_str()));
    }
    assert_eq!(
        table_rows(
            entries["design/anchor/meta.md"]["content"]
                .as_str()
                .unwrap()
        ),
        ["meta.foo", "meta.foo.bar", "meta.other.leaf"]
    );
    assert_eq!(
        table_rows(
            entries["design/anchor/meta/other.md"]["content"]
                .as_str()
                .unwrap()
        ),
        ["meta.other.leaf"]
    );
    assert!(entries.contains_key("design/anchor/meta/other/leaf.md"));
    let leaf = entries["design/anchor/meta/foo.md"];
    assert_eq!(
        leaf["sub_items"].as_array().unwrap().len(),
        1,
        "a rule can also be a namespace"
    );
    assert!(
        leaf["source_path"].is_null(),
        "generated views have no canonical source"
    );
    let content = leaf["content"].as_str().unwrap();
    assert_eq!(table_rows(content), ["meta.foo", "meta.foo.bar"]);
    assert!(content.contains("../../meta.html#meta.foo"));
    assert!(content.contains("fn implementation()"));
    assert!(content.contains("fn behavior() { assert_eq!(2 + 2, 4); }"));
    assert!(content.contains("See more source"));
    assert!(content.contains("Review: <strong>Accepted</strong>"));
    assert!(content.contains("Additional implementation and edge case."));
    let child = entries["design/anchor/meta/foo/bar.md"]["content"]
        .as_str()
        .unwrap();
    assert!(child.contains("N/A: This requirement describes an editorial convention."));
    assert!(child.contains("Review: <strong>Changes requested</strong>"));
    assert!(child.contains("Clarify the editorial explanation."));
    let unfinished = entries["design/anchor/meta/other/leaf.md"]["content"]
        .as_str()
        .unwrap();
    assert!(unfinished.contains("Review: <strong>Unfinished</strong>"));
    assert!(content.contains("data-status=\"TODO\""));
    assert!(child.contains("data-status=\"N/A\""));
    let definition = entries["design/meta.md"]["content"].as_str().unwrap();
    assert!(definition.contains("href=\"anchor/meta/foo.html\""));
    let inventory = sage_meta::spec::SpecIndex::load_workspace(&fixture.root).unwrap();
    assert_eq!(
        inventory.anchors.len(),
        3,
        "rendered copies never become definitions"
    );
}
}

See more source ↗

TODO sage_meta::todo::anchor_index_preserves_mixed_statuses

crates/sage-meta/tests/spec_plan.rs · test:spec_plan

#![allow(unused)]
fn main() {
#[test]
    #[sage::test(meta.book.index_status)]
    fn anchor_index_preserves_mixed_statuses() {
        // TODO: Display implemented/TODO/N/A entries independently, expose mixed
        // statuses, and reject missing entries rather than inventing a status.
    }
}

See more source ↗

Review: Accepted · final_quality.

Fresh followup review of meta.book.index_status. I preserved and compared the previous recorded input/output with the newly started review, recaptured the prior book Fixture helpers (tests/book.rs lines 1–174) and review design dependency, and compared every fragment by path/selector plus implementation/test metadata. The only changes are two association comments on AnchorPages::page for evidence_status/placeholder_status, one placeholder_status association comment in review inventory, and an unrelated four-line canonical_sources TODO prerequisite explanation in spec_plan.rs. No claim, behavior, associated test body, helper, or association metadata for this anchor changed; no fragments were removed. I reassessed those changes against the complete prior assessment rather than refreshing its verdict blindly.

All five implementation entries are accounted for: AnchorPages::states independently collects implementation site statuses from rust.implementations or test statuses from review inputs into a BTreeSet; placeholder_status classifies enclosing modules (excluding crate name, accepting raw identifiers and nesting, rejecting conflicting TODO/N/A nesting); inventory preserves implementation status and derives test status from its owner; validation adds separate missing implementation/test association errors; the spec_plan TODO region explicitly reserves incomplete mixed-status coverage. The exhaustive status_label maps Ordinary to Implemented, Todo to TODO, and NotApplicable to N/A. statuses emits every distinct status and counts counts each status independently, so an ordinary entry does not erase outstanding TODOs. Separate table columns call these paths independently. Missing entries render Missing or explicit validation-error prose rather than fabricated TODO/N/A. Recorded review outcomes are displayed separately; none of these classification paths uses execution results and the overview explicitly says associations/reviews do not record execution.

The complete associated test set contains one ordinary generated_anchor_pages_join_namespaces_claims_implementations_tests_and_reviews test and one TODO anchor_index_preserves_mixed_statuses test. I read both bodies and the fixture helpers. The ordinary test builds a real temporary workspace with ordinary and TODO evidence for meta.foo, N/A evidence for two other anchors, then preprocesses the book. Its assertions verify aggregate 1 Implemented/1 TODO/2 N/A counts, TODO and N/A badges, placeholder explanations, source excerpts, and separate Accepted/Changes requested/Unfinished review text. This supplies meaningful mixed-status and label evidence, but symmetric fixture statuses do not establish the full independent-column matrix or missing-entry validation cases. The TODO implementation/test explicitly retains these limitations. Its prerequisite is focused asymmetric implementation/test status fixtures, missing implementation/test/both cases, and checks that recorded run evidence cannot alter declared labels; it contains no behavioral assertions and remains deferred, not implemented or passing coverage. There are no N/A entries for this anchor.

The marker/comment-only delta does not change those conclusions or deferred scope. No source edits or test execution were performed in this followup; commands executed were review start/read and capture comparison, followed by this record. Central suite results were not substituted for source/test adequacy. No requested edits.

Browse meta anchors

116 anchors

Anchor Implementation Tests

meta (116) 102 Implemented24 TODO 103 Implemented36 TODO

meta.anchors (22) 22 Implemented 21 Implemented12 TODO

anchor_pages Implemented ImplementedTODO

Every specification anchor has a stable page identifying the rule and showing its definition, context, implementation entries, and tests/evidence. The page includes Rust excerpts and access to surrounding source, and exposes each entry’s placeholder status and explanation. Multiple sites remain individually inspectable rather than being reduced to a single coverage badge.

Symposiun AGentic Environment (SAGE)

meta.book.index_status

Implementation

Tests and review