Expand description
Concrete language-neutral class semantics for SIM.
This crate deliberately begins with an executable semantic boundary. The inventory prevents neighboring object models from being mistaken for class inheritance, while characterization scenarios freeze the behavior that the checked descriptor implementation must preserve.
Structs§
- C3Policy
- Cache
Access - Inspectable evidence for one cache access.
- Cache
Revisions - Parent and member revisions observed for one class.
- Characterization
Scenario - One canonical scenario.
canonicalis the complete stable capture payload. - Class
Cache - A bounded managed class universe with non-retaining derived caches.
- Class
Descriptor - Immutable class metadata after construction-time validation.
- Class
Descriptor Input - Unchecked input consumed exactly once by
ClassDescriptor::new. - Class
Identity - Stable identity carried by a class declaration or parent reference.
- Class
Root - A strong root for a managed class.
- Declared
Order Policy - Derived
Class View - A cached class linearization and its root-first derived member view.
- Descriptor
Class - A checked descriptor exposed as an ordinary kernel class object.
- Exclusion
Reason - Structured reason an adjacent model cannot implement declared class parents.
- Lineage
Budget - Independent admission limits for a lineage computation.
- Member
Shape - One named member and the Shape promised for its value.
- Open
Metadata Entry - Open metadata: unknown keys are retained rather than interpreted here.
- Precedence
Constraint - The precedence rule made impossible by a C3 merge.
- Read
Construction - Checked read-construct metadata.
- Snapshot
Graph - Immutable computation snapshot; public only as the policy trait’s graph parameter.
- Subclass
Evidence - Evidence retained for every bounded subclass query.
Enums§
- Cache
Access Kind - Whether an access reused or recomputed a derived value.
- Cache
Error - Failure from checked class-cache mutation or computation.
- Candidate
Disposition - How this crate treats a candidate implementation.
- Candidate
Model - Candidate semantics examined before assigning concrete class ownership.
- Class
Descriptor Error - Exact construction failure, retaining the offending declaration name.
- Declared
Parent - A declared parent, explicitly separated by resolution state.
- Expected
Outcome - Failure
Mode - Lineage
Error - Exact, inspectable failure evidence from a lineage policy.
- Parent
Meaning - Exact meaning that an edge or declaration has in a candidate model.
- Scenario
Kind - Semantic
Domain - The semantic domain actually governed by a candidate model.
- Subclass
Query - Result of a subclass query, including exact exhaustion evidence.
Traits§
- Class
Constructor - Construction behavior supplied by the language or library declaring a class.
- Lineage
Graph - A loader-neutral view of declared class parents.
- Lineage
Policy - Pluggable class-linearization policy.
Functions§
- candidate_
inventory - characterization_
scenarios - exclusion_
ledger - non_
goals - scenario_
content_ id - Stable 256-bit identity over the schema, id, input, and expected observation.