Description
Closed Semantic Kernel node definitions and residual expressions.
Modules§
- physical_
closure - Cardinality algebra for compositional physical endpoints.
- pure_
operator - Bounded, capture-free pure-operator definitions.
- scalar_
connection - Pure compatibility rules for the current scalar Port families.
- typing
- Pure, identity-parametric typing rules for residual expressions.
Structs§
- Activation
Def - Activation node definition.
- Axis
Bounds - One finite Cartesian coordinate interval in coherent SI length units.
- Boundary
Physical Connector - Closed, mesh-independent contract of one field-valued physical connector.
- Boundary
Physical Port Contract - Resolved member of one boundary-physical conserving set.
- Cartesian
Axis Definition - Unevaluated lower and upper sources for one Cartesian axis.
- Cartesian
Boundary Embedding - Mesh-independent embedding of one axis-aligned Cartesian boundary.
- Cartesian
Periodic Boundary Identification - Derived geometry of one validated spatial-periodic Cartesian pair.
- Clock
Domain Def - ClockDomain node definition.
- Connection
Def - Connection node definition.
- Domain
Def - Domain definition. Continuous geometry is model meaning; meshes and geometry maps remain realization concerns.
- ExprDag
- A non-empty, structurally validated expression arena with residual roots.
- Expr
DagBuilder - Builder that makes forward references and cycles unrepresentable.
- ExprId
- Stable index into one
ExprDag. - Field
Def - Exact mathematical Field definition before realization.
- Geometry
Digest - Content identity of one authored geometry, as raw digest bytes.
- Parameter
Def - Scalar Parameter definition.
- PortDef
- Typed scalar Port definition.
- Pure
Operator Application - One content-addressed application of a closed pure-operator definition.
- Rational
Time - A non-negative rational number of seconds in reduced form.
- Relation
Def - Implicit residual Relation definition.
- Representation
Def - Representation definition. Basis family, mesh, and DOF layout belong to the Realization Graph.
Enums§
- Activation
Kind - Activation semantics independent of execution scheduling.
- Boundary
Pairing - Closed dual pairing for one field-valued physical connector.
- Boundary
Physical Connection Violation - Pure incompatibility in one field-valued conserving set.
- Boundary
Physical Violation - Pure construction/type failure for a boundary-physical contract.
- Boundary
Quantity Role - One of the two exact quantities owned by a boundary connector.
- Boundary
Side - Outward side of one Cartesian coordinate axis.
- Cartesian
Coordinate Source - One unevaluated Cartesian coordinate endpoint.
- Clock
Kind - Exact model-time definition of a ClockDomain.
- Connection
Semantics - Connection semantics. Runtime transport policy belongs to Realization.
- Domain
Kind - Canonical continuous-domain shape, independent of any mesh.
- Event
Direction - Event zero-crossing direction.
- Expr
Node - One node in a topologically ordered residual-expression DAG.
- Kernel
Node - Type-erased storage form of a complete Semantic Kernel node.
- Port
Payload - Closed kernel-level Port payload.
- Representation
Kind - Canonical field representation before a discrete space is chosen.
- Signal
Direction - Causal direction of a signal Port.
- Spatial
Periodic Boundary Violation - Pure incompatibility in one spatial-periodic boundary pair.
- Symbol
Ref - A typed reference read by a residual expression.
- Unary
Math Function - Dimension-aware unary mathematical function.
- Value
Frame - Coordinate-frame meaning of mathematical value components.
Functions§
- validate_
boundary_ physical_ connection - Validate the identity and geometry shared by one field-valued set.
- validate_
spatial_ periodic_ boundary_ connection - Validate and derive one exact Cartesian translation identification.