meta.language.fields.kinds

Fields retain their declared identity, input, or state kind, distinguishing identity from changing inputs and local working state.

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::fields_preserve_identity_input_and_state_kinds

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

#![allow(unused)]
fn main() {
#[test]
#[sage::test(meta.language.fields.kinds)]
fn fields_preserve_identity_input_and_state_kinds() {
    let document = valid(
        r#"class Item { """Identity and input.""" identity key: u32; input value: u32; }
        context Work { """Local state.""" state pending: u32; }"#,
    );
    assert_eq!(class(&document, "Item").fields[0].kind, FieldKind::Identity);
    assert_eq!(class(&document, "Item").fields[1].kind, FieldKind::Input);
    assert_eq!(class(&document, "Work").fields[0].kind, FieldKind::State);
}
}

See more source ↗

Review: Accepted · Codex anchor_201 independent reviewer.

Source assessment: the complete claim requires retaining identity, input and state as distinct declared field kinds. The sole ordinary implementation association in parser.rs is supported by the full captured parser: document consumes the three keywords into FieldKind::Identity, ::Input and ::State respectively and stores that kind unchanged in Field and its enclosing class/context. This is a metadata distinction, not a promise of executable mutation or interning. The sole ordinary annotated test, fields_preserve_identity_input_and_state_kinds, parses identity and input fields in Item and a state field in Work; its three visible equality assertions independently check each retained variant and would detect collapsing or exchanging kinds. Captured parse/valid/class helpers construct the document, check validation errors, and select the named declaration; they do not hide the meaningful assertions. No TODO/N/A entries or deferred prerequisites exist. Baseline: independently compared current parser.rs and envelopes.rs against the historical implementation_sources and test_sources; both are exact byte matches. Reassessed the supplied historical rationale against the current complete claim, association set and assertions; it remains sufficient. Execution: personally ran review start/read and byte comparisons; no behavior tests or build were run by this reviewer. Coordinator-reported 321 passing functional tests and cargo build are separate execution evidence. No edits required.

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.fields.kinds

Implementation

Tests and review