Expand description
Deterministic CPU f64 solving and certified observation of coherent scalar fields.
ReferencePhasorSolver consumes the checked physical model and preflight
vocabulary from sim-lib-interference-core. Successful solves return a
HostPhasorField with separate row-major real and imaginary component
planes plus immutable SolveEvidence.
The solved model is homogeneous, isotropic, three-dimensional, scalar, and free-field. It does not model polarization, impedance, interfaces, obstacles, or diffraction. Amplitude-squared projections and detector reductions are normalized observables, not physical intensity, power, or energy.
verify_reference_solver independently checks closed-form propagation
identities, true metamorphic field laws, the outgoing time sign, and
second-order convergence of a seven-point Helmholtz residual over point,
plane, mixed, attenuating, and multi-source fixtures. The crate has no SIM
runtime, tensor, compute-provider, or presentation dependency.
project derives real, imaginary, amplitude, wrapped phase,
squared-magnitude, and instantaneous scalar fields without rerunning
propagation. reduce_for_view applies an explicit detector rule over an
exact partition of the source grid. Undefined phase is
ScalarSample::Masked, detail reduction is fail-closed, and every result
carries a ProjectionCertificate retaining source sampling evidence.
analyze_fringes then derives deterministic statistics, strict local
node/antinode candidates, and Michelson contrast without dropping either
sampling evidence or projection identity.
ScenarioBuilder constructs bounded two-point, counter-propagating,
phased-array, and rectangular discrete-aperture problems. Array amplitudes
are normalized and wavelength-relative element spacing remains explicit.
ToneStudy seals one independently solved frequency with its exact
problem, plane, positive composition weight, and solve evidence.
MultiToneStudy admits only certified tones on identical physical sample
geometry. ToneCombination::IncoherentMagnitudeSquared sums weighted
component squared magnitudes and ToneCombination::Instant sums
weighted real fields at one shared clock time; unlike phasors are never
added. Every MultiToneProjection carries MultiToneCertificate with
the highest-frequency MultiToneSamplingRequirements and all component
ToneCertificate records.
Structs§
- Detector
Footprint - Inclusive bounds on the source-cell rectangle represented by one target cell.
- Element
Spacing Wavelengths - Neighbour spacing expressed against the unattenuated wavelength.
- Extremum
- One strict local extremum in target-grid coordinates.
- Field
Stats - Aggregate statistics for every cell in one scalar field.
- Fringe
Report - Statistics and fringe candidates with inseparable physical provenance.
- Grid
Dimensions - A non-zero two-dimensional field shape.
- Host
Phasor Field - A complete two-dimensional host phasor field.
- Multi
Tone Certificate - Inseparable provenance for one complete multi-tone scalar result.
- Multi
Tone Projection - A complete scalar observation of one certified multi-tone study.
- Multi
Tone Sampling Requirements - Spatial and temporal sampling requirements for one frequency set.
- Multi
Tone Study - A non-empty set of certified tones sharing one exact physical plane.
- Named
Scenario - One checked problem plus the approximation evidence that created it.
- Projection
Certificate - Immutable provenance for one complete scalar projection.
- Projection
Identity - Stable identity of the projection operation that produced a scalar field.
- Reference
Phasor Solver - Configuration for deterministic CPU
f64reference solving. - Scalar
Projection - A complete row-major scalar projection and its inseparable provenance.
- Scenario
Builder - Reusable physical context and limits for named scenario construction.
- Scenario
Certificate - Evidence describing a named scenario and its discrete approximation.
- Scenario
Limits - Explicit allocation limits applied before scenario construction.
- Solve
Evidence - Immutable evidence retained for one complete reference solve.
- Tone
Certificate - Immutable provenance for one component of a multi-tone result.
- Tone
Study - One positive-weight, independently certified coherent tone.
- Verification
Report - Complete measurements from the deterministic reference verification suite.
Enums§
- Analysis
Error - A scalar projection could not be honestly analyzed as a fringe field.
- Aperture
Policy - Whether sparse spatial sampling is rejected or retained as evidence.
- Extremum
Kind - Physical interpretation of a strict local scalar extremum.
- Host
Phasor Field Error - A host phasor component buffer was not a valid finite two-dimensional field.
- Loss
Class - Whether the projection preserves every source sample or integrates detail.
- Multi
Tone Error - A multi-tone study or observation was refused without a partial result.
- Observable
- A scalar view of a coherent complex field.
- Projection
Error - A scalar projection was refused without returning a partial result.
- Reduction
Rule - The declared rule used to map source cells to target detector cells.
- Reference
Solve Error - A reference solve failed without returning a partial field.
- Scalar
Sample - One projected cell, with undefined values represented outside the numbers.
- Scenario
Error - A named scenario was refused before returning a partial problem.
- Scenario
Kind - Named approximation created by a scenario builder.
- Tone
Combination - A valid cross-frequency scalar observation.
- Verification
Error - A deterministic verification suite failed before producing a passing report.
Constants§
- ABSOLUTE_
MAX_ GENERATED_ ID_ BYTES - Absolute safety ceiling for one generated source identity.
- ABSOLUTE_
MAX_ SCENARIO_ SOURCES - Absolute safety ceiling for a named scenario.
- ABSOLUTE_
MAX_ TOTAL_ ID_ BYTES - Absolute safety ceiling for all generated identities in one scenario.
- MAX_
ANALYTIC_ RELATIVE_ ERROR - Largest relative error admitted for the closed-form analytic checks.
- MAX_
METAMORPHIC_ RELATIVE_ ERROR - Largest relative error admitted for a metamorphic field law.
- STRICT_
MAX_ SPACING_ WAVELENGTHS - Maximum element spacing admitted by strict aperture policy.
Functions§
- analyze_
fringes - Analyzes an amplitude or normalized squared-magnitude projection.
- project
- Projects one field at full source detail.
- reduce_
for_ view - Reduces a phasor field onto a no-larger target grid using one named detector.
- verify_
reference_ solver - Runs the analytic, metamorphic, time-sign, and Helmholtz fixture matrix.