mirror of
https://github.com/ruvnet/RuView
synced 2026-08-02 19:11:46 +00:00
2a307138f2
* docs(adr): ADR-151 — Per-Room Calibration & Specialized Model Training Room-first calibration -> bank of small specialised ruVector models (breathing, heartbeat, restlessness, posture, presence, anomaly) distilled from the frozen Hugging-Face-published RF Foundation Encoder (ADR-150). Four-stage local-first pipeline: baseline (ADR-135 environmental fingerprint) -> guided enrollment (NEW EnrollmentProtocol, clean anchors not hours) -> feature extraction (reuse signal_features + ruvsense) -> specialist bank training (rapid_adapt LoRA heads, RVF storage, HNSW prototypes). Invariants: specialisation over scale; local heads over a shared public base; honest STALE degradation on baseline drift. Indexes ADR-149/150/151. Co-Authored-By: claude-flow <ruv@ruv.net> * feat(cli): calibration HTTP API for UI-driven baseline capture (ADR-135/151) Adds `wifi-densepose calibrate-serve` — an Axum HTTP API that wraps the ADR-135 CalibrationRecorder so a UI (or any client) can drive an empty-room baseline capture remotely. Stage 1 ("teach the room") of the ADR-151 room calibration & training pipeline. A single background task owns the UDP socket (ESP32 0xC511_0001 frames) and the optional active recorder; HTTP handlers talk to it over an mpsc command channel and read a shared status snapshot, keeping the &mut recorder lock-free. CORS permissive so a browser UI can call it. Endpoints (/api/v1/calibration/*): GET /health liveness + UDP ingest stats (frames_seen, streaming) POST /start { tier?, duration_s?, room_id?, min_frames? } GET /status live progress (state, frames, progress, z, eta) — poll for UI POST /stop finalize the current session early GET /result finalized baseline summary (amp/phase-dispersion averages) GET /baselines list persisted baseline .bin files Reuses the existing calibrate.rs ESP32 wire parser (made pub(crate)); honest abort when <10 frames arrive in the window (e.g. ESP32 not streaming). Verified end-to-end over loopback: start -> 300 replayed HT20 frames -> state=complete, 52-subcarrier baseline, phase_dispersion_avg=0.00096 (concentrated/valid), persisted to disk; all 6 endpoints exercised. CLI: 19 tests pass; crate builds clean. Co-Authored-By: claude-flow <ruv@ruv.net> * test(cli): firewall-free CSI UDP relay for local Windows ESP32 testing Windows Defender blocks inbound LAN UDP to a freshly-built binary without an admin allow-rule; python.exe is already allowed. This relay binds the public CSI port and forwards each datagram verbatim to a loopback port where `calibrate-serve --udp-bind 127.0.0.1 --udp-port 5006` listens (loopback is firewall-exempt). No admin required. Validated: ESP32-format 0xC5110001 frames -> :5005 -> relay -> :5006 -> calibrate-serve -> state=complete, 52-subcarrier baseline, phase_dispersion_avg=0.00098 (clean). Completes the no-admin live-test path. Co-Authored-By: claude-flow <ruv@ruv.net> * docs(changelog): record ADR-151 calibration API (calibrate-serve) Co-Authored-By: claude-flow <ruv@ruv.net> * feat(calibration): ADR-151 Stages 2–5 — enrollment, extraction, specialist bank, runtime New crate wifi-densepose-calibration implementing the per-room pipeline beyond Stage-1 baseline: - anchor.rs: guided-anchor sequence + event-sourced EnrollmentSession (Stage 2) - enrollment.rs: AnchorQualityGate + AnchorRecorder — gates anchors against the ADR-135 baseline deviation (presence/motion), re-prompts bad captures - extract.rs: Features + AnchorFeature — autocorrelation periodicity (breathing/ HR bands), variance/motion (Stage 3) - specialist.rs: 6 small room-calibrated models — presence (learned threshold), posture (nearest-prototype), breathing/heartbeat (band periodicity), restlessness (calm/active normalization), anomaly (novelty vs anchors) (Stage 4) - bank.rs: SpecialistBank — train/persist + baseline-drift STALE invalidation - runtime.rs: MixtureOfSpecialists — presence short-circuit + anomaly veto + stale flagging (Stage 5) Statistical heads make the pipeline runnable/validatable today; the ADR-150 HF RF Foundation Encoder backbone is the documented upgrade path. 29 unit tests pass. Co-Authored-By: claude-flow <ruv@ruv.net> * feat(cli): wire ADR-151 enroll / train-room / room-status / room-watch Integrates the wifi-densepose-calibration crate into the CLI as four subcommands driving the full Stage 2–5 pipeline against a live ESP32 raw-CSI stream (edge_tier=0): - enroll: walks the guided anchor sequence, gates each capture against the ADR-135 baseline deviation (re-prompts bad anchors), writes labelled features - train-room: fits the SpecialistBank from the enrollment, persists JSON - room-status: prints a trained bank's summary - room-watch: live mixture-of-specialists readout (presence/posture/breathing/ heart/restless) over a rolling window, with anomaly veto + STALE flagging Per-frame scalar is the mean CSI amplitude (carries presence/motion + breathing modulation). Validated end-to-end on the live ESP32 (COM8, edge_tier=0): the real parser → feature extraction → runtime detected breathing (~16–31 BPM) on hardware. Full multi-anchor enrollment accuracy requires the operator to perform the poses; phase-based breathing extraction is a noted refinement. 48 tests pass (29 calibration + 19 CLI). Co-Authored-By: claude-flow <ruv@ruv.net> * docs(adr-151): mark Stages 1–5 implemented; expand CHANGELOG Co-Authored-By: claude-flow <ruv@ruv.net> * fix(cli): keep proven mean-amplitude carrier for room features The max-variance-subcarrier carrier locked onto motion artifacts (not breathing) and also had an out-of-bounds bug on variable CSI subcarrier counts. Reverted to the mean-amplitude carrier, which is validated live to detect breathing. Phase-based extraction on a stable subcarrier remains the proper higher-SNR refinement (ADR-151 §4). Co-Authored-By: claude-flow <ruv@ruv.net> * feat(calibration): multistatic fusion of co-located nodes (ADR-029/151) MultiNodeMixture fuses several co-located nodes (each with its own room-calibrated SpecialistBank) into one RoomState: - presence: OR across nodes (any node seeing a person wins) - posture/breathing/heartbeat: highest-confidence node (best viewpoint) - restlessness/anomaly: max across nodes - veto: any node's physically-implausible signal vetoes the room's vitals (anti-hallucination, same as single-node runtime) + presence short-circuit - stale: any node's STALE flag propagates Same-room multistatic only; cross-room is federation (ADR-105), not fusion. 6 unit tests (presence OR, best-confidence breathing, single-node veto, staleness). 35 calibration tests pass. Co-Authored-By: claude-flow <ruv@ruv.net> * feat(cli): multistatic room-watch — fuse co-located nodes (ADR-029/151) `room-watch --node-bank N:path` (repeatable) groups live CSI frames by node_id and fuses per-node banks via MultiNodeMixture. Validated live on COM8 (node 9, edge_tier=0): frames grouped + fused end-to-end. True 2-node fusion is covered by unit tests; a second raw-CSI node is the hardware blocker. 54 tests pass. Co-Authored-By: claude-flow <ruv@ruv.net> * docs(integration): calibration → cognitum-v0 appliance integration overview Detailed cross-repo integration spec for cognitum-one/v0-appliance: data contracts (CSI wire format, ADR-135 baseline binary, enrollment/bank/RoomState JSON schemas), calibrate-serve HTTP API, public crate API, Pi5+Hailo tiering, and a 5-step appliance integration plan. Grounded in the verified cognitum-v0 inventory (aarch64, cargo 1.96, HAILO10H, ruview-vitals-worker:50054). Co-Authored-By: claude-flow <ruv@ruv.net> * fix(calibration): address PR review — aarch64 decouple, API auth, path traversal, throttle Resolves the review on #989: - **Cross-compile (the appliance blocker):** make wifi-densepose-mat optional and feature-gate it (`mat`), so `cargo build -p wifi-densepose-cli --no-default-features` excludes the mat→nn→ort(ONNX)→openssl-sys chain. Verified: `cargo tree --no-default-features` shows 0 ort/openssl deps → calibration cross-compiles clean for the Pi. - **Security (must-fix before LAN):** - `--token` / CALIBRATE_TOKEN bearer-auth middleware on every route; warns if bound non-loopback without a token. - sanitize client-supplied `room_id` to [A-Za-z0-9_-] (≤64) before it reaches the baseline write path — kills the `../` file-write primitive. + test. - **Perf:** stop locking shared status + cloning SessionStatus on every UDP frame — counters/snapshot flush on the 200 ms tick instead (no CPU starvation under flood). finalize write moved to async `tokio::fs::write`. - **Docs:** ADR-151 STALE wording matches the impl (baseline-id change; drift-threshold = P6 refinement); integration doc gets the `--no-default-features` build + auth/sanitize notes. 35 calibration + 15 CLI tests (no-default) / 20 CLI (default) pass. Co-Authored-By: claude-flow <ruv@ruv.net> * docs(worldgraph,worldmodel): add crates.io READMEs Plain-language overviews + feature lists, comparison tables (symbolic graph vs predictive occupancy; graph vs grid vs event-log), usage, and technical details. Adds readme = "README.md" to both manifests so they render on crates.io on the next release. Co-Authored-By: claude-flow <ruv@ruv.net> * release: worldgraph & worldmodel 0.3.1 (READMEs on crates.io) Co-Authored-By: claude-flow <ruv@ruv.net> * docs: precise calibration validation scope (capture+API+auth proven; clean enroll→train→infer not yet on-target) Aligns ADR-151 §7 + the appliance integration doc with the PR #989 scope clarification: nothing has run a clean baseline → enroll → train → infer on live CSI; the live breathing read used the stateless head, not a trained bank. Adds --source-format adr018v6 to the backlog. Co-Authored-By: claude-flow <ruv@ruv.net> * feat(calibrate-serve): live GET /room/state endpoint (mixture over CSI window) Adds a live RoomState readout over HTTP — the appliance UI's main need. The ingest task maintains a rolling per-frame scalar window (flushed on the 200 ms tick, no per-frame lock); the handler loads a bank (resolved as a sanitized name under output_dir — same path-traversal defense as room_id), runs the MixtureOfSpecialists over the window, returns RoomState JSON. Validated live (ESP32-S3 via relay): breathing 14-19 BPM over HTTP; a bank=../../etc/passwd query is neutralized to 'etcpasswd' (no traversal). Co-Authored-By: claude-flow <ruv@ruv.net> * feat(calibrate-serve): POST /room/train + fix AnchorLabel JSON to snake_case - POST /api/v1/room/train: { room_id, baseline_id, anchors[] } → trains a SpecialistBank and persists it as <output_dir>/<room_id>.json (path-sanitized), readable via /room/state?bank=<room_id>. Completes the HTTP train→infer loop. - Fix data-contract bug: AnchorLabel serialized as PascalCase variant names (serde default) while as_str() + the integration doc used snake_case. Added #[serde(rename_all = "snake_case")] so the JSON wire format matches the documented contract (empty/stand_still/…). Locked with a roundtrip test. Validated live (ESP32-S3): POST train (4 anchors → 6 specialists, persisted) → GET /room/state returns RoomState with the trained presence/restlessness; the synthetic-vs-real scale mismatch correctly triggers the anomaly veto. 36 calibration tests pass. Co-Authored-By: claude-flow <ruv@ruv.net> * feat(calibrate-serve): live enroll-over-HTTP (POST /enroll/anchor + /enroll/status) Closes the last HTTP gap — the appliance can now drive the ENTIRE calibration pipeline over HTTP without the CLI: baseline (start/stop) -> enroll/anchor x8 -> room/train -> room/state - POST /enroll/anchor { room_id, baseline, label, duration_s? }: the ingest task loads the baseline (sanitized name under output_dir), captures the anchor for the duration against it (AnchorRecorder + per-frame series), runs the quality gate, and on completion replies with the verdict + accumulates the AnchorFeature in an in-server enrollment map keyed by room_id. Re-prompts on rejection. - GET /enroll/status?room=<id>: accepted anchors, next, complete. - POST /room/train now falls back to the in-server enrollment when anchors[] is omitted. Validated live (ESP32-S3): capture baseline -> enroll stand_still (271 frames, 6s) -> gate correctly rejects "no person detected (presence_z 0.90 < 1.50)" relative to a same-occupancy baseline (a clean empty-room baseline is the documented on-target prerequisite). Builds clean; CLI tests pass. Co-Authored-By: claude-flow <ruv@ruv.net> * test(calibrate-serve): HTTP integration tests for the room/enroll endpoints Factor the router into build_router() (shared by execute + tests) and add tower-oneshot integration tests (no network/ingest needed): - health + descriptor → 200 - POST /room/train persists the bank; GET /room/state → 200; train with no anchors/enrollment → 400 - path-traversal: /room/state?bank=../../etc/passwd → 404 (sanitized, never reads outside output_dir) - enroll/status empty; /enroll/anchor with an unknown label → 400 CI regression coverage for the endpoints added this session. 18 CLI tests pass. Co-Authored-By: claude-flow <ruv@ruv.net> * fix(mat): make serde non-optional — unblocks `cargo test --workspace --no-default-features` Making wifi-densepose-mat optional in the CLI (for the aarch64/ort decouple) exposed a latent feature bug: mat's `api` module compiles unconditionally and uses serde, but `serde` was an optional dep enabled only via the `api`/`serde` features. Previously the CLI's *unconditional* mat dependency enabled those features transitively, so `--workspace --no-default-features` still got serde; once mat became optional+gated, the workspace build lost it → `error[E0432]: unresolved import serde` across mat's api/* (CI red). mat already pulls serde_json + axum unconditionally, so making `serde` non-optional has no real cost and restores the workspace build. Does NOT affect the aarch64 CLI build (mat isn't built there at all): verified `cargo tree -p wifi-densepose-cli --no-default-features` still shows 0 ort/openssl deps, and `cargo test --workspace --no-default-features` compiles clean. Co-Authored-By: claude-flow <ruv@ruv.net> * docs(claude.md): add wifi-densepose-calibration to crate table (pre-merge) Co-Authored-By: claude-flow <ruv@ruv.net> * docs(adr): ADR-152 — WiFi-pose SOTA 2026 intake (geometry-conditioned calibration, external benchmarks, encoder recipe) Records the 2026-06-10 deep-research run (22 sources, 110 claims, 25 adversarially verified: 24 confirmed / 1 refuted) and the decisions it implies: - §2.1 ACCEPTED: geometry-condition the ADR-151 calibration system — NodeGeometry at enrollment, geometry embeddings for future LoRA heads, PerceptAlign-style two-checkerboard camera↔WiFi alignment for the ADR-079 supervised path. PerceptAlign (MobiCom'26) names the failure mode ("coordinate overfitting") that matches our own ADR-150 cross- subject collapse. - §2.2 ACCEPTED: benchmark protocol vs external "WiFlow-STD (DY2434)" (claimed 97.25% PCK@20, Apache-2.0 weights+dataset) with a no-citation rule until measured on our 17-keypoint ESP32 eval set. Name collision with our internal WiFlow is disambiguated. - §2.3 ACCEPTED: amend ADR-150 training recipe per UNSW MAE study — 80% masking, (30,3) patches, data-over-capacity priority (log-linear, unsaturated at 1.3M samples). - §2.4 watch items: IEEE 802.11bf-2025 published 2025-09-26; esp_wifi_sensing as external presence baseline (drop-in claim REFUTED 0-3); ZTECSITool 160MHz/512-subcarrier anchor node (procurement-gated). - §2.5 NOT adopted: non-WiFi "foundation model" papers; DensePose-UV (no 2025-2026 work does UV regression from commodity WiFi). Every number is evidence-graded CLAIMED vs MEASURED in the source register. Re-check horizon 2026-12. Co-Authored-By: RuFlo <ruv@ruv.net> * test(calibration): full-loop integration test — baseline→enroll→train→infer proven in-process (ADR-151 §7 gap, software half) Closes the software half of PR #989's headline validation gap: the complete calibration loop had never run end-to-end anywhere, even in-process. tests/full_loop.rs (412 lines, deterministic xorshift32 room simulator, HT20/52-subcarrier/20Hz, same fingerprint family as the ADR-135 roundtrip test) now drives the CLI's exact stage order through the public API: 1. baseline — 600 static frames, zero motion flags post-warmup, calibration_uuid() exactly as the CLI derives it 2. enroll — all 8 AnchorLabel::SEQUENCE anchors through AnchorQualityGate::default(), session is_complete() 3. extract — AnchorFeature::from_series recovers injected 0.25Hz and 0.125Hz breathing within ±0.04Hz 4. train — SpecialistBank::train fits all 6 specialists; JSON round-trip and the runtime consumes the RELOADED bank 5. infer — positive: never-enrolled 0.30Hz subject reads present, 18±2 BPM; negative: empty window reads absent; degradation: foreign baseline_id flags STALE Seed-robust (5 seeds), passes with and without default features: 36 unit + 1 integration green. Validation docs updated (ADR-151 §7 + integration doc §7 matrix): what remains is strictly the on-target hardware session (real CSI, physically empty room, operator performing the guided anchors). Three behavioral findings from building the test are recorded for pre-session triage: z-band squeeze between baseline motion flagging (z>2.0) and the still- anchor gate (presence_z≥1.5) — likeliest on-hardware enroll failure; variance-only PresenceSpecialist missing motionless-person mean shift; ungated breathing_hz/heart_hz in noise-window embeddings. Co-Authored-By: RuFlo <ruv@ruv.net> * fix(calibration): close all four ADR-152 behavioral findings pre-hardware-session The full-loop integration test surfaced three findings; fixing the third exposed a fourth. All four are fixed and regression-guarded: 1. z-band squeeze (enrollment.rs) — anchor motion is now measured from frame-to-frame deltas of the deviation series (|Δz| > Z_DELTA_MOTION 0.5 ∨ |Δφ| > π/6), not from the absolute motion_flagged, which fires at amplitude_z_median > 2.0 vs the EMPTY baseline and so conflated presence strength with motion. A strongly-reflecting still person (z = 3.0 — every frame flagged by the old heuristic) now enrolls. The old unit tests mocked (z=3.0, motion=false), a combination the real deviation() can never emit — which is exactly how the squeeze hid; tests now derive the flag from z the way the producer does. 2. variance-only presence (specialist.rs) — PresenceSpecialist gains a mean-shift channel: present when variance > threshold OR |mean − empty_mean| > mean_dist_threshold (trained at half the empty→occupied mean distance, None when the means don't separate). Detects the motionless person whose body raises the scalar mean but not its variance. Old persisted banks deserialize with the channel inert (serde default None) — variance-only behavior preserved, proven by a fixture test against pre-change JSON. 3. ungated hz embedding (extract.rs) — Features::embedding() zeroes breathing_hz/heart_hz below EMBED_MIN_SCORE (0.25), keeping the random in-band peaks of noise windows out of the posture/anomaly prototype space. Raw fields stay ungated (specialists have their own stricter gates). 4. heart-band lag-floor leakage (extract.rs, found while fixing 3) — a pure 0.30 Hz breathing signal scored 0.67 in the heart band at 3.33 Hz: out-of-band rhythm leaks as a monotonic slope whose max sits at the band's lag floor, so score gating alone cannot stop it. autocorr_dominant now requires the winning lag to be an interior local maximum; band-edge "peaks" are rejected, true in-band peaks (interior by definition) are preserved. full_loop.rs strengthened to drive the fixes end-to-end: the StandStill anchor is now a z=3.0 strong reflector (unenrollable pre-fix), and a new motionless-person runtime case proves mean-channel detection at empty- level variance. Validation: 41 calibration unit + 1 full-loop integration + 23 CLI tests green; cargo test --workspace --no-default-features exit 0. Co-Authored-By: RuFlo <ruv@ruv.net>
438 lines
18 KiB
Rust
438 lines
18 KiB
Rust
//! Full-loop integration test for the ADR-151 calibration pipeline (software half
|
||
//! of the §7 validation gap): a clean empty-room **baseline → enroll → extract →
|
||
//! train → infer** loop, driven end-to-end through the crates' public API in the
|
||
//! exact order the CLI (`calibrate` → `enroll` → `train-room` → `room-watch`)
|
||
//! wires the stages.
|
||
//!
|
||
//! CSI is synthetic but physically plausible:
|
||
//! - **empty room**: stable per-subcarrier amplitudes + small complex Gaussian
|
||
//! noise (the ADR-135 roundtrip-test fingerprint) — never motion-flagged;
|
||
//! - **person present**: a common amplitude offset (extra multipath energy),
|
||
//! small body sway, and a constant phase shift. Presence strength is free to
|
||
//! exceed z = 2.0 — since the ADR-152 z-band-squeeze fix, anchor motion is
|
||
//! measured from frame-to-frame deltas, not from the absolute deviation, so
|
||
//! a strongly-reflecting *still* person is no longer misread as "moving";
|
||
//! - **breathing**: a few-percent periodic amplitude modulation (0.125–0.3 Hz)
|
||
//! on a subset of subcarriers — visible in the mean-amplitude scalar the CLI
|
||
//! uses, invisible to the per-frame *median* z (so still anchors stay still);
|
||
//! - **small movement**: per-frame amplitude jitter + a phase wobble that swings
|
||
//! past the π/6 drift threshold.
|
||
//!
|
||
//! Deterministic (xorshift32, fixed seeds), no I/O, no hardware. What remains
|
||
//! hardware-only is the on-target run with real ESP32 CSI and a live operator.
|
||
|
||
use std::f32::consts::PI;
|
||
|
||
use ndarray::Array2;
|
||
use num_complex::Complex64;
|
||
use wifi_densepose_calibration::extract::Features;
|
||
use wifi_densepose_calibration::{
|
||
AnchorFeature, AnchorLabel, AnchorQualityGate, AnchorRecorder, EnrollmentEvent,
|
||
EnrollmentSession, MixtureOfSpecialists, SpecialistBank, SpecialistKind,
|
||
};
|
||
use wifi_densepose_core::types::{AntennaConfig, CsiFrame, CsiMetadata, DeviceId, FrequencyBand};
|
||
use wifi_densepose_signal::{BaselineCalibration, CalibrationConfig, CalibrationRecorder};
|
||
|
||
// ---------------------------------------------------------------------------
|
||
// Deterministic PRNG (xorshift32 + Box-Muller) — same pattern as
|
||
// wifi-densepose-signal/tests/calibration_roundtrip.rs.
|
||
// ---------------------------------------------------------------------------
|
||
|
||
struct Rng(u32);
|
||
|
||
impl Rng {
|
||
fn new(seed: u32) -> Self {
|
||
assert_ne!(seed, 0, "xorshift seed must be non-zero");
|
||
Self(seed)
|
||
}
|
||
fn next_u32(&mut self) -> u32 {
|
||
let mut x = self.0;
|
||
x ^= x << 13;
|
||
x ^= x >> 17;
|
||
x ^= x << 5;
|
||
self.0 = x;
|
||
x
|
||
}
|
||
fn next_normal(&mut self) -> f32 {
|
||
let u1 = (self.next_u32() as f32 + 1.0) / (u32::MAX as f32 + 2.0);
|
||
let u2 = (self.next_u32() as f32 + 1.0) / (u32::MAX as f32 + 2.0);
|
||
(-2.0 * u1.ln()).sqrt() * (2.0 * PI * u2).cos()
|
||
}
|
||
}
|
||
|
||
// ---------------------------------------------------------------------------
|
||
// Synthetic room (HT20: 52 active subcarriers @ 20 Hz)
|
||
// ---------------------------------------------------------------------------
|
||
|
||
const N_SC: usize = 52;
|
||
const FS_HZ: f32 = 20.0;
|
||
/// Complex-noise std per quadrature ⇒ amplitude noise std ≈ NOISE_STD.
|
||
const NOISE_STD: f32 = 0.01;
|
||
/// Capture length per enrollment anchor (20 s @ 20 Hz; gate needs ≥ 60).
|
||
const ANCHOR_FRAMES: usize = 400;
|
||
/// Baseline / runtime window length (30 s @ 20 Hz; recorder needs ≥ 600).
|
||
const WINDOW_FRAMES: usize = 600;
|
||
|
||
/// What the person in the room is doing (None ⇒ empty room).
|
||
#[derive(Clone, Copy, Default)]
|
||
struct Person {
|
||
/// Common amplitude offset in units of NOISE_STD (presence strength).
|
||
/// Anything ≥ 1.5 reads as present; values above 2.0 are explicitly
|
||
/// exercised to guard the ADR-152 z-band-squeeze fix (presence strength
|
||
/// must not read as motion).
|
||
presence_z: f32,
|
||
/// Per-frame common amplitude jitter (body sway / fidgeting), in NOISE_STD.
|
||
sway_z: f32,
|
||
/// Respiration rate (Hz); 0 = no modulation.
|
||
breathing_hz: f32,
|
||
/// Relative amplitude-modulation depth on every 4th subcarrier.
|
||
breathing_depth: f32,
|
||
/// Constant phase shift from the body's multipath (radians).
|
||
phase_shift: f32,
|
||
/// Phase-wobble amplitude (radians) at 1.5 Hz — drives the motion flag.
|
||
phase_wobble: f32,
|
||
}
|
||
|
||
/// Deterministic CSI source for one room. Time advances one frame per call.
|
||
struct RoomSim {
|
||
rng: Rng,
|
||
/// Static per-subcarrier amplitude fingerprint.
|
||
amp: Vec<f32>,
|
||
/// Static per-subcarrier phase fingerprint.
|
||
phase: Vec<f32>,
|
||
/// Frame counter (continuous room clock).
|
||
t: u64,
|
||
}
|
||
|
||
impl RoomSim {
|
||
fn new(seed: u32) -> Self {
|
||
// Same HT20 fingerprint as the ADR-135 roundtrip test.
|
||
let amp = (0..N_SC)
|
||
.map(|k| 0.3 + 0.7 * (k as f32 * PI / N_SC as f32).sin().abs())
|
||
.collect();
|
||
let phase = (0..N_SC)
|
||
.map(|k| (k as f32 * 0.1).rem_euclid(2.0 * PI) - PI)
|
||
.collect();
|
||
Self { rng: Rng::new(seed), amp, phase, t: 0 }
|
||
}
|
||
|
||
/// Generate the next CSI frame for the given occupancy.
|
||
fn frame(&mut self, person: Option<&Person>) -> CsiFrame {
|
||
let secs = self.t as f32 / FS_HZ;
|
||
let (offset, wobble) = match person {
|
||
Some(p) => {
|
||
let sway = p.sway_z * NOISE_STD * self.rng.next_normal();
|
||
(
|
||
p.presence_z * NOISE_STD + sway,
|
||
p.phase_shift + p.phase_wobble * (2.0 * PI * 1.5 * secs).sin(),
|
||
)
|
||
}
|
||
None => (0.0, 0.0),
|
||
};
|
||
|
||
let mut data = Array2::<Complex64>::zeros((1, N_SC));
|
||
for k in 0..N_SC {
|
||
let mut a = self.amp[k] + offset;
|
||
if let Some(p) = person {
|
||
if p.breathing_hz > 0.0 && k % 4 == 0 {
|
||
a *= 1.0 + p.breathing_depth * (2.0 * PI * p.breathing_hz * secs).sin();
|
||
}
|
||
}
|
||
let th = self.phase[k] + wobble;
|
||
let re = a * th.cos() + NOISE_STD * self.rng.next_normal();
|
||
let im = a * th.sin() + NOISE_STD * self.rng.next_normal();
|
||
data[(0, k)] = Complex64::new(re as f64, im as f64);
|
||
}
|
||
|
||
let mut meta =
|
||
CsiMetadata::new(DeviceId::new("full-loop-test"), FrequencyBand::Band2_4GHz, 6);
|
||
meta.bandwidth_mhz = 20;
|
||
meta.antenna_config = AntennaConfig::new(1, 1);
|
||
self.t += 1;
|
||
CsiFrame::new(meta, data)
|
||
}
|
||
}
|
||
|
||
/// Per-frame scalar — mean amplitude across subcarriers/streams, the same
|
||
/// carrier the CLI's `frame_scalar` feeds into `Features::from_series`.
|
||
fn frame_scalar(frame: &CsiFrame) -> f32 {
|
||
frame.mean_amplitude() as f32
|
||
}
|
||
|
||
/// Synthetic occupancy for each guided anchor in the canonical sequence.
|
||
fn anchor_person(label: AnchorLabel) -> Option<Person> {
|
||
let p = match label {
|
||
AnchorLabel::Empty => return None,
|
||
// Strong reflector at z = 3.0 — every frame exceeds the baseline's
|
||
// absolute motion threshold (z > 2.0). Pre-ADR-152 this anchor was
|
||
// unenrollable ("too much motion"); the delta-based gate must accept it.
|
||
AnchorLabel::StandStill => Person {
|
||
presence_z: 3.0, sway_z: 0.25, phase_shift: 0.10, ..Default::default()
|
||
},
|
||
AnchorLabel::Sit => Person {
|
||
presence_z: 1.65, sway_z: 0.25, phase_shift: 0.08, ..Default::default()
|
||
},
|
||
AnchorLabel::LieDown => Person {
|
||
presence_z: 1.6, sway_z: 0.25, phase_shift: 0.06, ..Default::default()
|
||
},
|
||
AnchorLabel::BreatheSlow => Person {
|
||
presence_z: 1.7, sway_z: 0.2, breathing_hz: 0.125, breathing_depth: 0.03,
|
||
phase_shift: 0.08, ..Default::default()
|
||
},
|
||
AnchorLabel::BreatheNormal => Person {
|
||
presence_z: 1.7, sway_z: 0.2, breathing_hz: 0.25, breathing_depth: 0.03,
|
||
phase_shift: 0.08, ..Default::default()
|
||
},
|
||
AnchorLabel::SmallMove => Person {
|
||
presence_z: 1.7, sway_z: 1.0, phase_shift: 0.10, phase_wobble: 1.0,
|
||
..Default::default()
|
||
},
|
||
AnchorLabel::SleepPosture => Person {
|
||
presence_z: 1.6, sway_z: 0.2, breathing_hz: 0.2, breathing_depth: 0.03,
|
||
phase_shift: 0.06, ..Default::default()
|
||
},
|
||
};
|
||
Some(p)
|
||
}
|
||
|
||
/// Capture one anchor exactly as the CLI's `enroll` does: per-frame deviation
|
||
/// into the `AnchorRecorder`, scalar series for feature extraction, then the
|
||
/// quality-gate verdict.
|
||
fn capture_anchor(
|
||
sim: &mut RoomSim,
|
||
baseline: &BaselineCalibration,
|
||
gate: &AnchorQualityGate,
|
||
label: AnchorLabel,
|
||
room_id: &str,
|
||
at_unix_s: i64,
|
||
) -> (Option<AnchorFeature>, wifi_densepose_calibration::Anchor, Option<String>) {
|
||
let person = anchor_person(label);
|
||
let mut recorder = AnchorRecorder::new(label);
|
||
let mut series = Vec::with_capacity(ANCHOR_FRAMES);
|
||
for _ in 0..ANCHOR_FRAMES {
|
||
let frame = sim.frame(person.as_ref());
|
||
recorder.record_frame(baseline, &frame);
|
||
series.push(frame_scalar(&frame));
|
||
}
|
||
let (anchor, reason) = recorder.finalize(gate, at_unix_s);
|
||
let feature = anchor
|
||
.quality
|
||
.accepted
|
||
.then(|| AnchorFeature::from_series(room_id, label, &series, FS_HZ));
|
||
(feature, anchor, reason)
|
||
}
|
||
|
||
/// Generate a live feature window (Stage-5 runtime input).
|
||
fn live_window(sim: &mut RoomSim, person: Option<&Person>) -> Features {
|
||
let series: Vec<f32> = (0..WINDOW_FRAMES)
|
||
.map(|_| frame_scalar(&sim.frame(person)))
|
||
.collect();
|
||
Features::from_series(&series, FS_HZ)
|
||
}
|
||
|
||
// ---------------------------------------------------------------------------
|
||
// The full loop
|
||
// ---------------------------------------------------------------------------
|
||
|
||
#[test]
|
||
fn full_loop_baseline_enroll_extract_train_infer() {
|
||
let room_id = "living-room";
|
||
let mut sim = RoomSim::new(42);
|
||
|
||
// -- Stage 1: clean empty-room baseline capture (ADR-135) ----------------
|
||
let mut recorder = CalibrationRecorder::new(CalibrationConfig::ht20());
|
||
let mut flagged_after_warmup = 0u32;
|
||
for i in 0..WINDOW_FRAMES {
|
||
let frame = sim.frame(None);
|
||
let score = recorder.record(&frame).expect("baseline record");
|
||
// Welford stats need a short warmup before the partial z is meaningful.
|
||
if i >= 100 && score.motion_flagged {
|
||
flagged_after_warmup += 1;
|
||
}
|
||
}
|
||
assert_eq!(recorder.frames_recorded(), WINDOW_FRAMES as u32);
|
||
assert_eq!(
|
||
flagged_after_warmup, 0,
|
||
"a static empty room must never be motion-flagged after warmup"
|
||
);
|
||
let baseline = recorder.finalize().expect("baseline finalize");
|
||
assert_eq!(baseline.subcarriers.len(), N_SC);
|
||
let baseline_id = baseline.calibration_uuid().to_string();
|
||
|
||
// A fresh empty frame deviates negligibly from its own baseline.
|
||
let check = baseline.deviation(&sim.frame(None)).expect("deviation");
|
||
assert!(!check.motion_flagged, "empty frame flagged: {check:?}");
|
||
assert!(
|
||
check.amplitude_z_median < 1.0,
|
||
"empty frame z {} should be < 1.0",
|
||
check.amplitude_z_median
|
||
);
|
||
|
||
// -- Stage 2: guided-anchor enrollment with the quality gate -------------
|
||
let gate = AnchorQualityGate::default();
|
||
let mut session = EnrollmentSession::new(room_id, &baseline_id, 1_700_000_000);
|
||
let mut features: Vec<AnchorFeature> = Vec::new();
|
||
|
||
for (i, label) in AnchorLabel::SEQUENCE.into_iter().enumerate() {
|
||
let at = 1_700_000_000 + (i as i64 + 1) * 30;
|
||
let (feat, anchor, reason) =
|
||
capture_anchor(&mut sim, &baseline, &gate, label, room_id, at);
|
||
assert!(
|
||
anchor.quality.accepted,
|
||
"anchor {} rejected: {} (presence_z={:.2} motion={:.0}% frames={})",
|
||
label.as_str(),
|
||
reason.unwrap_or_default(),
|
||
anchor.quality.presence_z,
|
||
anchor.quality.motion_rate * 100.0,
|
||
anchor.quality.frames,
|
||
);
|
||
match label {
|
||
AnchorLabel::Empty => assert!(
|
||
anchor.quality.presence_z < 1.0,
|
||
"empty room must read empty, got z {}",
|
||
anchor.quality.presence_z
|
||
),
|
||
AnchorLabel::SmallMove => assert!(
|
||
anchor.quality.motion_rate >= 0.3,
|
||
"small-move motion {} too low",
|
||
anchor.quality.motion_rate
|
||
),
|
||
_ => assert!(
|
||
anchor.quality.presence_z >= 1.5,
|
||
"{} presence_z {} below gate",
|
||
label.as_str(),
|
||
anchor.quality.presence_z
|
||
),
|
||
}
|
||
features.push(feat.expect("accepted anchor yields a feature"));
|
||
session.apply(EnrollmentEvent::AnchorAccepted { anchor });
|
||
}
|
||
assert!(session.is_complete(), "missing anchors: {:?}", session.missing());
|
||
assert_eq!(session.progress(), (8, 8));
|
||
session.apply(EnrollmentEvent::Completed { at: 1_700_000_300 });
|
||
|
||
// -- Stage 3: feature extraction sanity ----------------------------------
|
||
assert_eq!(features.len(), 8);
|
||
let by_label = |l: AnchorLabel| {
|
||
features
|
||
.iter()
|
||
.find(|f| f.label == l)
|
||
.unwrap_or_else(|| panic!("no feature for {}", l.as_str()))
|
||
};
|
||
let breathe = by_label(AnchorLabel::BreatheNormal);
|
||
assert!(
|
||
(breathe.features.breathing_hz - 0.25).abs() < 0.04,
|
||
"normal breathing extracted at {} Hz, injected 0.25 Hz",
|
||
breathe.features.breathing_hz
|
||
);
|
||
assert!(
|
||
breathe.features.breathing_score > 0.25,
|
||
"breathing score {} too weak",
|
||
breathe.features.breathing_score
|
||
);
|
||
let slow = by_label(AnchorLabel::BreatheSlow);
|
||
assert!(
|
||
(slow.features.breathing_hz - 0.125).abs() < 0.04,
|
||
"slow breathing extracted at {} Hz, injected 0.125 Hz",
|
||
slow.features.breathing_hz
|
||
);
|
||
let empty = by_label(AnchorLabel::Empty);
|
||
assert!(
|
||
empty.features.variance < breathe.features.variance,
|
||
"empty variance {} should be below occupied {}",
|
||
empty.features.variance,
|
||
breathe.features.variance
|
||
);
|
||
|
||
// -- Stage 4: train the specialist bank + JSON persistence round-trip ----
|
||
let bank = SpecialistBank::train(room_id, &baseline_id, &features, 1_700_000_400)
|
||
.expect("bank training");
|
||
assert_eq!(bank.room_id, room_id);
|
||
assert_eq!(bank.anchor_count, 8);
|
||
let kinds = bank.trained_kinds();
|
||
for kind in [
|
||
SpecialistKind::Presence,
|
||
SpecialistKind::Posture,
|
||
SpecialistKind::Breathing,
|
||
SpecialistKind::Heartbeat,
|
||
SpecialistKind::Restlessness,
|
||
SpecialistKind::Anomaly,
|
||
] {
|
||
assert!(kinds.contains(&kind), "bank missing {kind:?} (got {kinds:?})");
|
||
}
|
||
|
||
// Persist and reload (JSON today) — the runtime below uses the *reloaded*
|
||
// bank, so the round-trip is proven inside the loop, not as a side check.
|
||
let json = bank.to_json().expect("bank to_json");
|
||
let reloaded = SpecialistBank::from_json(&json).expect("bank from_json");
|
||
assert_eq!(reloaded.room_id, bank.room_id);
|
||
assert_eq!(reloaded.baseline_id, bank.baseline_id);
|
||
assert_eq!(reloaded.anchor_count, bank.anchor_count);
|
||
assert_eq!(
|
||
reloaded.presence.as_ref().map(|p| p.threshold),
|
||
bank.presence.as_ref().map(|p| p.threshold),
|
||
"presence threshold must survive persistence"
|
||
);
|
||
|
||
// -- Stage 5: runtime inference through the mixture ----------------------
|
||
let mix = MixtureOfSpecialists::new(reloaded);
|
||
|
||
// Positive case: a person breathing at a KNOWN 0.30 Hz (18 BPM) — a rate
|
||
// never used during enrollment.
|
||
let occupied = Person {
|
||
presence_z: 1.7,
|
||
sway_z: 0.25,
|
||
breathing_hz: 0.30,
|
||
breathing_depth: 0.04,
|
||
phase_shift: 0.08,
|
||
..Default::default()
|
||
};
|
||
let f = live_window(&mut sim, Some(&occupied));
|
||
let state = mix.infer(&f, &baseline_id);
|
||
assert!(!state.stale, "bank trained against this baseline must be fresh");
|
||
assert!(!state.vetoed, "plausible occupied window must not be vetoed");
|
||
let presence = state.presence.expect("presence specialist trained");
|
||
assert_eq!(presence.value, 1.0, "person in the room must be detected");
|
||
let breathing = state.breathing.expect("breathing must be reported when present");
|
||
assert!(
|
||
(breathing.value - 18.0).abs() <= 2.0,
|
||
"breathing {} BPM, injected 18 BPM",
|
||
breathing.value
|
||
);
|
||
assert!(state.restlessness.is_some(), "restlessness specialist trained");
|
||
|
||
// Motionless-person case (ADR-152 "variance-only presence" regression):
|
||
// a strong reflector standing perfectly still — variance stays at the
|
||
// empty-room level, only the scalar MEAN shifts. The mean channel of the
|
||
// presence specialist must still detect them.
|
||
let motionless = Person {
|
||
presence_z: 3.0,
|
||
sway_z: 0.05,
|
||
phase_shift: 0.10,
|
||
..Default::default()
|
||
};
|
||
let f_still = live_window(&mut sim, Some(&motionless));
|
||
let state = mix.infer(&f_still, &baseline_id);
|
||
let presence = state.presence.expect("presence specialist trained");
|
||
assert_eq!(
|
||
presence.value, 1.0,
|
||
"motionless person must be detected via the mean-shift channel \
|
||
(variance {:.2e} vs empty-level)",
|
||
f_still.variance
|
||
);
|
||
|
||
// Negative case: a fresh empty-room window must NOT report presence,
|
||
// breathing, heartbeat, or posture.
|
||
let f_empty = live_window(&mut sim, None);
|
||
let state = mix.infer(&f_empty, &baseline_id);
|
||
let presence = state.presence.expect("presence specialist trained");
|
||
assert_eq!(presence.value, 0.0, "empty room must read absent");
|
||
assert!(state.breathing.is_none(), "no breathing in an empty room");
|
||
assert!(state.heartbeat.is_none(), "no heartbeat in an empty room");
|
||
assert!(state.posture.is_none(), "no posture in an empty room");
|
||
|
||
// Honest degradation: a drifted baseline flags the bank STALE.
|
||
let state = mix.infer(&f, "some-other-baseline");
|
||
assert!(state.stale, "baseline drift must mark readings STALE");
|
||
}
|