Module realization 

Typed Realization Graph policies kept separate from model meaning.

Structs

AleFsiRemeshScaleProfile2d

Closed coherent-SI normalization profile for a 2D ALE FSI remesh.

AleFsiRemeshTransferPlan2d

Complete policy for one conservative common-refinement ALE FSI transfer.

AleGeometryQualityGate

Fail-closed quality policy for every trial and accepted ALE geometry.

AlgebraicBlockScale

Characteristic physical scale for one complete algebraic block.

AlgebraicSystemId

Typed reference to one algebraic-system node.

AlgebraicSystemNode

One connected algebraic operator selected by a portable Realization.

BackwardEulerRelationStep

Backward Euler realization of the derivative carried by one exact Relation.

BackwardEulerStateBinding

Discrete representation of one state eliminated through Backward Euler.

BackwardEulerStatePair

Exact state/rate pair used by one Backward Euler elimination.

BackwardEulerStep

Positive Backward Euler step and its sole eliminated state representation.

CartesianCentralNewtonianTraction

Centered Cartesian face realization of Newtonian velocity–pressure stress.

CellCenteredConvection

Numerical convection treatment for one conservative transported state.

ConformingTraceQuotient

Equality quotient of two conforming Field traces selected by one Connection.

CoupledFieldwiseRealizationPlan

Complete physics-neutral multi-Domain Field-wise realization selection.

CoupledFieldwiseRealizationRequest

Explicit multi-Domain Field-wise request at an independent revision.

CoupledFieldwiseRealizationRequirements

Exact multi-Domain lowerer facts against which one coupled plan is admitted.

CoupledFieldwiseSpatialDiscretization

Shared-mesh algebraic spatial selection over multiple exact Semantic Domains.

DefaultPolicyVersion

Version of a named project default policy, not an artifact schema version.

Discretization

Method, mesh, and integration choices. Space remains a sibling contract.

DomainDiscretizationId

Typed reference to one Domain discretization node.

DomainDiscretizationNode

One exact Semantic Domain and its portable spatial selection.

DomainFieldDiscretization

One exact Domain and its algebraic Field-wise spatial choices.

DomainFieldInventory

One exact Domain and all Semantic Fields participating in its realization.

EnergySkewConvection

Energy-skew weak realization of one conservative convective Relation term.

FieldRepresentationId

Typed reference to one Field representation node.

FieldRepresentationNode

One exact Semantic Field represented in one Domain-local discrete space.

FieldSpaceBinding

Exact Semantic Field to scalar discrete-space binding.

FieldwiseRealizationPlan

Complete field-wise realization selection, independent from model meaning.

FieldwiseRealizationRequest

Explicit field-wise realization request at an independent revision.

FieldwiseRealizationRequirements

Exact lowerer facts against which a field-wise plan is admitted.

FieldwiseSpatialDiscretization

Exact field-wise spatial selection for one Semantic Domain.

FixedTopologyAleCoupledRealizationPlan

Complete closed Realization for one fixed-topology monolithic ALE FSI step.

FixedTopologyAleCoupledRealizationRequest

Explicit fixed-topology ALE request at an independent Realization revision.

FixedTopologyAleCoupledRealizationRequirements

Exact lowerer facts against which one fixed-topology ALE plan is admitted.

GclCompatibleAlePullback

Endpoint differential ALE pullback with its inseparable GCL correction.

GeometryActionId

Typed reference to one sealed moving-geometry action.

ImplicitCenteredMomentumConvection

Endpoint-centered conservative momentum convection for one velocity Field.

LinearSolveId

Typed reference to one linear-solve node.

LinearSolveNode

One linear solver role attached to one algebraic system and placement.

MeshArtifactReference

Content identity of one independently versioned mesh artifact.

MomentumWeightedLinearExactCoupling

Linearly exact momentum-weighted collocated face-flux coupling.

NonlinearSolveId

Typed reference to one nonlinear-solve node.

NonlinearSolveNode

One nonlinear solve whose linearization uses an explicit linear-solve node.

NonlinearSolvePlan

Bounded residual-based nonlinear solve policy.

OrthogonalTwoPointDiffusion

Orthogonal two-point diffusive face flux for one conservative state.

P1HarmonicMeshMotionPolicy

The bounded P1 harmonic extension which drives one fixed-topology geometry.

PlacementRequirementId

Typed reference to one portable placement requirement.

PortableRealizationGraph

Canonical portable DAG projected from one already resolved Realization.

PositivePhysicalScale

A finite, strictly positive scale in coherent physical units.

RealizationCapabilities

Capabilities of a concrete lowerer/backend pair.

RealizationCapability

One exact admitted combination across the axes owned by Realization.

RealizationCapabilityContext

Solver-independent context of one exact realization admission.

RealizationLineage

Semantic and independently revisioned Realization lineage.

RealizationPlan

Complete pure payload for one Realization Graph selection.

RealizationRequest

One request binding semantic identity to an independent realization choice.

RealizationRequirements

Model/lowering facts against which a Realization plan is admitted.

RealizationRevision

Independently advancing revision of a Realization Graph selection.

RepresentedPhysicalField

One physical Semantic Field represented by a coupled Realization.

ResolvedCoupledFieldwiseRealization

Validated coupled plan and its two-layer provenance.

ResolvedFieldwiseRealization

Validated field-wise plan and its two-layer provenance.

ResolvedFixedTopologyAleCoupledRealization

Validated fixed-topology ALE plan and exact two-layer provenance.

ResolvedRealization

Validated plan plus the two-layer revision provenance used to obtain it.

ResolvedTransientCellCenteredIncompressibleFlowRealization

Accepted plan, exact lowerer requirements, and two-layer provenance.

ResolvedTransientCellCenteredTransportRealization

Validated transport plan, exact lowerer requirements, and two-layer provenance.

ResolvedTransientFieldwiseRealization

Validated transient plan, exact lowerer requirements, and two-layer provenance.

SemanticRevision

Revision of mathematical meaning in the Semantic Model Graph.

SingleFieldOperatorClaim

Equation-aware identity and operator claim for a sole semantic Field.

Space

Discrete function-space family and approximation order.

SpatialCapability

Spatial portion of one exact realization-admission context.

SpatialDimensionSupport

Inclusive spatial-dimension capability of one complete lowering path.

SymmetricCongruenceScaling

Positive block congruence used to present one dimensionless linear system.

TargetCapabilities

Resolved execution targets available to one concrete backend environment.

TraceFieldEndpoint

One Domain/Field endpoint participating in an exact trace quotient.

TransformationId

Typed reference to one numerical transformation node.

TransientCellCenteredIncompressibleFlowCapabilities

Explicit adapter witness for the complete bounded collocated-flow method.

TransientCellCenteredIncompressibleFlowRealizationPlan

Complete fixed-domain collocated incompressible-flow Realization selection.

TransientCellCenteredIncompressibleFlowRealizationRequest

Explicit collocated incompressible-flow request at an independent revision.

TransientCellCenteredIncompressibleFlowRealizationRequirements

Exact lowerer facts required by the collocated incompressible-flow adapter.

TransientCellCenteredTransportCapabilities

Explicit execution capability for bounded transient transport profiles.

TransientCellCenteredTransportRealizationPlan

Complete linear transient cell-centered transport selection.

TransientCellCenteredTransportRealizationRequest

Explicit cell-centered transport request at an independent revision.

TransientCellCenteredTransportRealizationRequirements

Exact lowerer facts required by one cell-centered transport realization.

TransientFieldwiseRealizationPlan

Complete single-Domain transient Field-wise realization selection.

TransientFieldwiseRealizationRequest

Explicit transient Field-wise request at an independent revision.

TransientFieldwiseRealizationRequirements

Exact lowerer facts required by one transient Field-wise realization.

Enums

AlgebraicBlock

One independently scaled block of the realized algebraic unknown vector.

AlgebraicConstraint

Realization-owned algebraic constraint used to select a unique solution.

CellCenteredConvectionScheme

Closed convection treatments implemented by the cell-centered reference path.

CoordinateTreatment

How coordinates enter one portable spatial discretization.

DiscretizationMethod

Spatial numerical method family.

DomainConfiguration

Physical configuration in which one Domain-local weak action is evaluated.

ExecutionSchedule

Deployment-time scheduling only.

GeometryActionNode

One sealed moving-geometry action in the portable Realization DAG.

MeshKind

Topology/geometry family admitted by a complete realization path.

MeshPolicy

Mesh selection owned by realization rather than by a semantic Domain.

PlacementRequirementNode

Portable compute requirement; an observed machine is bound later.

PositiveMomentumDiagonal

Positive momentum scale used only by collocated face interpolation.

QuadraturePolicy

Explicit integration policy, never hidden inside a mesh or physics relation.

ResolutionSource

Origin of a resolved plan, kept separate from plan equality.

ScheduleCapability

Deployment schedule request admitted by one exact tuple.

SolveRoot

Sole accepted solve root of one connected Phase-A graph.

SpaceFamily

Inspectable space family; it carries no field meaning or physical unit.

SystemBlock

One unknown block in a monolithic algebraic system.

SystemScaling

Scaling treatment of one portable algebraic system.

Target

Hardware/deployment target independent from numerical method and scheduling.

TargetCapability

One target-family member of an exact realization-admission tuple.

TransformationNode

Portable numerical transformation selected over exact semantic identities.

TransientFaceFluxHistory

Previous-time face state used by transient-consistent interpolation.

VectorLayoutKind

Execution data layout required by a realized problem.

Functions

default_plan_v0

Frozen definition of default policy v0: generated P1 FEM on one host CPU.

resolve

Resolve one request without mutating the semantic model or silently falling back.

resolve_coupled_fieldwise

Resolve one explicit coupled Field-wise request without fallback.

resolve_fieldwise

Resolve one explicit field-wise request without fallback.

resolve_fixed_topology_ale_coupled

Resolve one explicit fixed-topology ALE request without fallback.

resolve_transient_cell_centered_incompressible_flow

Resolve one collocated incompressible-flow request without substitution.

resolve_transient_cell_centered_transport

Resolve one explicit cell-centered transport request without fallback.

resolve_transient_fieldwise

Resolve one explicit transient Field-wise request without fallback.