meta.language.model.virtual_dispatch

The checker resolves declared calls conservatively, including every known overriding implementation in the supplied model.

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

Tests and review

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

Implemented sage_meta::detects_virtual_dispatch_path_to_forbidden_body

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

#![allow(unused)]
fn main() {
#[test]
#[sage::test(meta.language.model.forbidden_paths)]
#[sage::test(meta.language.model.virtual_dispatch)]
fn detects_virtual_dispatch_path_to_forbidden_body() {
    let errors = check(
        r#"
        abstract class Function { """Interface."""
            query signature() -> crate::Value { """Interface.""" abstract; }
        }
        class Local extends crate::Function { """Local."""
            override query signature() -> crate::Value { """Bad dependency.""" envelope { invokes self.body(); } }
            query body() -> crate::Value { """Body.""" envelope {} }
        }
        class Other extends crate::Function { """Another implementation."""
            override query signature() -> crate::Value { """Also forbidden.""" envelope { invokes self.body(); } }
            query body() -> crate::Value { """Other body.""" envelope {} }
        }
        class Caller { """Consumer."""
            query run() -> crate::Value { """Read interfaces.""" envelope {
                invokes crate::Function::signature();
                forbid transitive crate::Local::body;
                forbid transitive crate::Other::body;
            } }
        }
    "#,
    );
    assert_eq!(errors.len(), 2, "{errors:?}");
    for implementation in ["Local", "Other"] {
        let path = format!(
            "demo::Caller::run -> demo::{implementation}::signature -> demo::{implementation}::body"
        );
        assert!(
            errors.iter().any(|error| error.message.contains(&path)),
            "{errors:?}"
        );
    }
}
}

See more source ↗

Review: Accepted · Codex /root/anchor_206 independent review.

The complete claim requires conservative resolution of declared calls including every known override in the supplied model. Reviewed the sole ordinary implementation association (Model::targets in validate.rs), its complete source file, the sole ordinary associated test detects_virtual_dispatch_path_to_forbidden_body, and captured its check setup helper with review read. build_model collects classes from the supplied documents; targets resolves self or qualified calls, retains the declared/inherited method, then iterates all supplied classes and includes the selected method of each descendant. ancestors follows the full inheritance chain and method selects the nearest declaration, so indirect descendants and inherited implementations are included and duplicate targets are harmlessly deduplicated. There is no receiver selection that discards known alternatives and no promise about unknown external subclasses. check adds all resolved invoke targets to the graph and traverses that graph for prohibitions.
The test declares Function plus two distinct overrides Local and Other, each invoking its own body. Caller invokes the interface method and prohibits each concrete body. Its visible assertions require exactly two diagnostics and both complete Caller::run -> implementation::signature -> implementation::body paths. Omitting either known override would fail these assertions; this is meaningful conservative-dispatch integration coverage, with source reasoning accounting for arbitrary descendant enumeration. The captured helper constructs the demo crate, parses it, and invokes validate. No TODO/N/A entries exist, hence no deferred prerequisites.
Baseline verification: independently compared both current implementation and test files byte-for-byte with the historical input.json supplied in the instructions; both are exact matches. Reassessed the historical rationale against the current complete claim, metadata, implementation and assertions rather than treating that equality as approval. Execution: personally ran review start, review read and the byte comparison; no behavioral tests or broad build were run in this review. The coordinator separately reports 321 functional tests and a successful root build; those are not personal execution evidence. No source edits or unresolved concerns; 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.language.model.virtual_dispatch

Implementation

Tests and review