meta.book.authority

The mdBook Design chapter tree is the canonical specification. Markdown and .sage are equally authoritative source formats within that tree. Every active rule definition belongs to a Design chapter with identifiable source context; its appearances in generated indexes or anchor pages refer to that definition and do not create additional definitions.

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

Implementation

Implemented crates/sage-meta/src/spec.rs:757–762

sage_meta::spec · lib:sage_meta

An unpublished source containing a rule must not disappear from checking.

#![allow(unused)]
fn main() {
        // {anchor}`meta.book.authority`
        // An unpublished source containing a rule must not disappear from checking.
        let mut disk = Vec::new();
        markdown_files(&root.join("design"), &mut disk)?;
        for path in disk {
            let file = path

}

See more source ↗

TODO crates/sage-meta/tests/spec_plan.rs:98–105

sage_meta::todo · test:spec_plan

TODO: Index definitions only from Design and retain a single definition when its text appears in generated pages.

#![allow(unused)]
fn main() {
    // {anchor}`meta.book.authority`<<
    #[test]
    #[sage::test(meta.book.authority)]
    fn design_chapters_are_canonical() {
        // TODO: Index definitions only from Design and retain a single definition when
        // its text appears in generated pages.
    }
    // >>

}

See more source ↗

Tests and review

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

Implemented sage_meta::canonical_inventory_uses_configured_chapters_and_local_names

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

#![allow(unused)]
fn main() {
#[test]
#[sage::test(meta.book.chapter_names)]
#[sage::test(meta.book.authority)]
#[sage::test(meta.book.shared_model)]
#[sage::test(meta.anchors.unique_names)]
fn canonical_inventory_uses_configured_chapters_and_local_names() {
    let fixture = BookFixture::new(
        "- [Design](design/README.md)\n  - [Meta](design/meta/README.md)\n  - [Rules](design/meta/call-rules.md)\n  - [Tenets](design/tenets.md)\n- [RFD](rfds/proposal.md)\n",
    );
    fixture.write("design/README.md", "# Design\n");
    fixture.write(
        "design/meta/README.md",
        "{anchor}`authority` Meta is normative.\n",
    );
    fixture.write(
        "design/meta/call-rules.md",
        "{anchor}`declared` Calls are declared.\n",
    );
    fixture.write("design/tenets.md", "{anchor}`not_a_rule` A motivation.\n");
    fixture.write(
        "rfds/proposal.md",
        "{anchor}`not_a_rule` Historical rationale.\n",
    );
    let index = fixture.load();
    assert!(index.diagnostics.is_empty(), "{:?}", index.diagnostics);
    assert_eq!(
        index.anchors.keys().map(String::as_str).collect::<Vec<_>>(),
        ["meta.authority", "meta.call_rules.declared"]
    );
    assert_eq!(index.chapters["design/meta/README.md"].namespace, "meta");
    assert_eq!(
        index.anchors["meta.authority"].context_url,
        "design/meta/index.html#meta.authority"
    );
    assert_eq!(index.documents, 3);
}
}

See more source ↗

TODO sage_meta::todo::design_chapters_are_canonical

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

#![allow(unused)]
fn main() {
#[test]
    #[sage::test(meta.book.authority)]
    fn design_chapters_are_canonical() {
        // TODO: Index definitions only from Design and retain a single definition when
        // its text appears in generated pages.
    }
}

See more source ↗

Review: Accepted · Codex /root/anchor_094.

Fresh followup review of the complete meta.book.authority claim. I saved the prior input/report before start, read the prior complete assessment, captured the same dependencies anew, and compared every matching fragment. The claim, both tests, spec_plan.rs and all four dependencies (BookFixture, workspace.rs, book/anchors.rs, parser.rs) are byte-for-byte unchanged. The sole source delta in spec.rs consists of two association comments: implementation_references on the existing unknown-reference validator and crate_ownership on the existing missing-model-owner rejection. Neither changes execution or the claim's implementation. Both current implementation entries remain the ordinary inventory code and explicit TODO region.

The full claim requires the mdBook Design tree to be canonical, equal authority for Markdown and Sage source, identifiable context for every active definition, and generated appearances to reference rather than duplicate definitions. Current load_workspace uses the configured source root and SUMMARY inventory, adds modeled crate/owned companion sources, and distinguishes normative Design chapters from tenets, RFD/research and generated anchor content. Both Markdown and Sage prose feed add_chapter_text and the same canonical definition map. Definitions preserve qualified names, source file/spans and context URL. Sage parsing supplies prose blocks and offsets/owners, and dedent mapping preserves source context. Omitted normative Markdown/model sources cause diagnostics instead of silently disappearing; duplicates are diagnosed. The two added comments do not affect these paths.

The captured generated-page renderer reads spec.anchors and emits claim content with source/context navigation; it does not create definitions. The normative predicate excludes generated design/anchor sources. The unchanged workspace and parser dependencies support configured roots, model ownership and original prose ranges. These facts support the authority model, while the explicit TODO below retains the uncompleted combined regression scenario.

I read both current associated test bodies. canonical_inventory_uses_configured_chapters_and_local_names uses the actual BookFixture configured with manual as a nondefault source root. It asserts clean diagnostics, precisely two canonical Markdown rule names, README namespace, exact canonical context URL and three normative documents. Tenets/RFD marker text does not become definitions. Those are meaningful ordinary assertions for inventory authority, not Sage/generated round-trip coverage. todo::design_chapters_are_canonical is both TODO implementation and test evidence, with no behavioral assertions. It explicitly defers the combined requirement that only Design definitions are indexed and repeated generated text retains a single definition. Completing it requires mixed Markdown/owned-Sage source fixtures, identifiable contexts, generated appearances, and re-indexing assertions preserving canonical identities/counts. Current ordinary coverage partly exercises that requirement but does not promote the empty TODO to proof. No N/A entries exist.

The prior assessment remains justified after checking the actual marker-only delta against all claim aspects. No unrelated design issue was reopened. This review used fresh start/read/record and source inspection, not test execution; central tests are reported by the coordinator. No source changes, behavioral test reruns, or 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.authority

Implementation

Tests and review