Crate sim_lib_interference_solve 

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

DetectorFootprint

Inclusive bounds on the source-cell rectangle represented by one target cell.

ElementSpacingWavelengths

Neighbour spacing expressed against the unattenuated wavelength.

Extremum

One strict local extremum in target-grid coordinates.

FieldStats

Aggregate statistics for every cell in one scalar field.

FringeReport

Statistics and fringe candidates with inseparable physical provenance.

GridDimensions

A non-zero two-dimensional field shape.

HostPhasorField

A complete two-dimensional host phasor field.

MultiToneCertificate

Inseparable provenance for one complete multi-tone scalar result.

MultiToneProjection

A complete scalar observation of one certified multi-tone study.

MultiToneSamplingRequirements

Spatial and temporal sampling requirements for one frequency set.

MultiToneStudy

A non-empty set of certified tones sharing one exact physical plane.

NamedScenario

One checked problem plus the approximation evidence that created it.

ProjectionCertificate

Immutable provenance for one complete scalar projection.

ProjectionIdentity

Stable identity of the projection operation that produced a scalar field.

ReferencePhasorSolver

Configuration for deterministic CPU f64 reference solving.

ScalarProjection

A complete row-major scalar projection and its inseparable provenance.

ScenarioBuilder

Reusable physical context and limits for named scenario construction.

ScenarioCertificate

Evidence describing a named scenario and its discrete approximation.

ScenarioLimits

Explicit allocation limits applied before scenario construction.

SolveEvidence

Immutable evidence retained for one complete reference solve.

ToneCertificate

Immutable provenance for one component of a multi-tone result.

ToneStudy

One positive-weight, independently certified coherent tone.

VerificationReport

Complete measurements from the deterministic reference verification suite.

Enums

AnalysisError

A scalar projection could not be honestly analyzed as a fringe field.

AperturePolicy

Whether sparse spatial sampling is rejected or retained as evidence.

ExtremumKind

Physical interpretation of a strict local scalar extremum.

HostPhasorFieldError

A host phasor component buffer was not a valid finite two-dimensional field.

LossClass

Whether the projection preserves every source sample or integrates detail.

MultiToneError

A multi-tone study or observation was refused without a partial result.

Observable

A scalar view of a coherent complex field.

ProjectionError

A scalar projection was refused without returning a partial result.

ReductionRule

The declared rule used to map source cells to target detector cells.

ReferenceSolveError

A reference solve failed without returning a partial field.

ScalarSample

One projected cell, with undefined values represented outside the numbers.

ScenarioError

A named scenario was refused before returning a partial problem.

ScenarioKind

Named approximation created by a scenario builder.

ToneCombination

A valid cross-frequency scalar observation.

VerificationError

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.