Crate sim_lib_interference_runtime

Expand description

Tensor-backed runtime records for coherent interference studies.

Domain values cross this boundary as validated Citizen read-constructs. Phasors reuse two canonical sim_lib_numbers_tensor::Tensor values, scalar projections reuse one, and registered Shapes admit public runtime calls.

The runtime preserves the homogeneous, isotropic, three-dimensional scalar free-field scope. It does not add polarization, impedance, interfaces, obstacles, or diffraction. Amplitude-squared values are normalized observables, not physical intensity, power, or energy.

Structs§

EmitterDescriptor: Citizen descriptor for a point or forward-plane coherent emitter.
InterferenceLib: Loadable interference runtime operations and default CPU solver.
InterferenceRecordsLib: Loadable class and Shape registrations for interference records.
MediumDescriptor: Citizen descriptor for a homogeneous scalar propagation medium.
PhasorFieldDescriptor: Tensor-backed runtime phasor field.
PlaneDescriptor: Citizen descriptor for an orthonormal finite physical sampling plane.
ProblemDescriptor: Citizen descriptor for one complete coherent single-frequency problem.
ProjectionCertificateDescriptor: Citizen descriptor for immutable detector and sampling provenance.
ProjectionRequestDescriptor: Shape-checked request for scalar observation and optional detector reduction.
ReferenceStudySolver: Deterministic CPU f64 implementation of StudySolver.
SamplingCertificateDescriptor: Citizen descriptor for complete physical sampling evidence.
ScalarProjectionDescriptor: One-Tensor scalar projection with an explicit phase mask.
SolveRequest: Immutable, fully checked request passed to a study-solver provider.
SolverProvider: Runtime value carrying one loadable StudySolver.
StudyDescriptor: Complete Tensor-backed interference study with inseparable truth.
StudyEvidenceDescriptor: Citizen descriptor for one solver’s immutable completion evidence.
WorkEstimateDescriptor: Citizen descriptor for checked allocation and evaluation counts.

Statics§

RECIPES: Checked CPU interference recipes embedded with the loadable library.

Traits§

StudySolver: Narrow provider seam for producing one complete interference study.

Functions§

analyze_function_symbol: Returns the certified fringe-analysis symbol.
install_interference_records: Installs the record classes and Shapes once in cx.
interference_citizen_registry: Builds the DCE-safe registry containing every interference record Citizen.
interference_lib_symbol: Stable library symbol for the runtime interference operations.
interference_shape_symbols: Returns the five public Shape symbols registered by the record library.
multitone_function_symbol: Returns the independently certified multi-tone composition symbol.
plane_shape_symbol: Shape symbol for physical sampling-plane records.
problem_function_symbol: Returns the runtime constructor symbol for coherent problems.
problem_shape_symbol: Shape symbol for coherent problem records.
project_function_symbol: Returns the propagation-free scalar projection symbol.
projection_request_shape_symbol: Shape symbol for scalar projection requests.
projection_shape_symbol: Shape symbol for scalar projection results.
resolve_study_solver: Resolves an explicit child solver, an active Tensor solver, then the default.
sampling_plane_function_symbol: Returns the runtime constructor symbol for physical sampling planes.
scenarios_function_symbol: Returns the bounded named-scenario constructor symbol.
solve_function_symbol: Returns the provider-routed study solve symbol.
study_shape_symbol: Shape symbol for complete Tensor-backed studies.
study_solver_symbol: Stable binding and registry symbol for the active study solver.
tensor_study_solver_symbol: Stable registry symbol for the solver selected by an active Tensor executor.

Type Aliases§

InterferenceStudy: Complete runtime study returned by a StudySolver.