Skip to main content

Module manifold_logic

Module manifold_logic 

Source
Expand description

Wave-physics substrate logic (§20, legal_logic.md) — the continuous→discrete bridge.

SCOPE (honest): this is the CPU reference logic that bridges a continuous physical signal to a discrete factual quin the epistemic layer can reason over — ∫Ψ > τ → Fact(p). The full GPU-enumerated 10D-tensor manifold renderer (compute_universe.rs) is a separate, larger effort (STELLAR tasks #11–13); this module deliberately does NOT implement that.

Qualitative/quantitative realities (EMF, acoustic, visual evidence) are evaluated as continuous math here, then thresholded into discrete facts — so e.g. a measured signal exceeding a legal limit instantiates a factual quin that the deontic/epistemic engines use.

Structs§

WaveCoord
The named physical coordinates of a wave sample Ψ(x,y,z,t,f,a,φ) — the axes of the manifold.

Constants§

MAX_MANIFOLD_POINTS
Bound on points in one topological query.

Functions§

bridge_dimensions
Topological dimension-bridging: lift a lower-dimensional sample low (e.g. a 1-D audio sample, or a 7-axis WaveCoord) into a higher out-dimensional manifold coordinate, zero- padding the new axes. Returns false if out is too small. The 1D→10D bridge.
continuous_to_fact
Continuous → discrete: if the integrated signal exceeds threshold, instantiate the discrete fact fact_id (∫Ψ > τ → Fact(p)); otherwise None. The bridge from the manifold substrate to epistemic.rs.
integrate_abs
Trapezoidal integral of |Ψ| over an ordered sample series — the accumulated signal energy.
persistent_h0
Persistent 0-dim homology: write the Betti-0 (component count) at each scale in epsilons (assumed increasing) into out_b0 — the barcode of connected features (born at ε=0, dying as they merge; b0 is monotonically non-increasing). Returns the count written. Zero-heap.
vietoris_rips_b0
Betti-0 (number of connected components) of the Vietoris-Rips complex at scale epsilon: connect points i,j whenever dist[i*n+j] <= epsilon (dist is a flattened n×n distance matrix). 0 for invalid input. Bounded + zero-heap.
wave_eval
Evaluate the wave field Ψ at a coordinate: amplitude a oscillating at frequency f with phase φ at time t, attenuated by an inverse-square spatial envelope 1/(1+r²). Deterministic CPU reference.