v0.3.0 — Formal topology characterization, alternative sub-field constructions, EuRoC MAV validation
This release works three items from the research roadmap.
Formal topology characterization
paper/topology_notes.md proves what previously was only asserted informally, and precisely scopes what remains empirical:
- Theorem (exact preservation): composing an entire configuration with a common packet preserves Vietoris–Rips persistence diagrams exactly, in every homology dimension — unit-quaternion translations are isometries of the projective metric
d(p,q) = arccos|⟨p,q⟩|. - Development bound: iterated composition
state[t+1] = state[t] ⊗ stim[t]is an isometric development: consecutive trajectory steps exactly equal the stimulus offsets from identity, with a subadditive window bound. - Scope honesty: a constant stream provably inflates H₁ without bound, so the
[0.3, 5.0]H₁-ratio band under iterated composition is an empirical property of the tested stimulus classes, not a theorem — now stated precisely.
Every proved statement is machine-checked in tests/test_topology.py.
Alternative sub-field constructions
quaternion_monoid_algebra.tables: verified monoid families with documented trade-offs — make_mod_add_table (group, mixing), make_mod_mul_table (absorbing zero), make_max_table/make_min_table (saturating bands), make_and_table/make_or_table (monotone bit registers). identity_packet(field_a=..., field_d=...) supports tables whose identity is not 0.
EuRoC MAV real-data validation
A seventh stress test streams 36,000 poses of the EuRoC MAV Machine Hall 01 ground truth (Burri et al., IJRR 2016; OpenVINS mirror pinned by commit and SHA-256) through the algebra, alongside the existing TUM RGB-D test. Attribution and the archive's actual rights statement documented in ATTRIBUTION.md.
Suite is now 77 pytest + Hypothesis tests, 8 property tests, 7 stress tests — all green on Python 3.10/3.11/3.12.
Full details in CHANGELOG.md.