Compare commits

...

6 Commits
v2285 ... v2330

Author SHA1 Message Date
rUv
bd110e0eac fix(homecore): enable standalone Arc serialization (#1682) 2026-08-22 15:55:36 -04:00
rUv
f3c361efd1 fix: align multistatic CSI time and clear Rust advisories (#1669)
Use mesh-aligned capture timestamps, remediate Rust advisories, harden the audit gate, and correct deployment claims. Includes the live MQTT subscriber lifetime fix verified against Mosquitto.
2026-08-22 14:59:22 -04:00
rUv
a3b6e1d500 docs(harness): publish final Cognitum Spaces evidence (#1653) 2026-08-19 14:52:09 -04:00
rUv
1d2ad6aa8e docs(harness): mark Cognitum Spaces guidance live (#1651) 2026-08-19 14:03:15 -04:00
rUv
c929bbc8b3 feat(spaces): add spatial memory and governed actions (#1650) 2026-08-19 13:23:29 -04:00
rUv
d36f346bba feat(metaharness): add guarded Cognitum Spaces OAuth (#1644) 2026-08-18 21:58:39 -04:00
63 changed files with 4415 additions and 999 deletions

View File

@@ -40,8 +40,9 @@ jobs:
- dir: harness/ruview
build: false
publishable: true
# ADR-283: brain + local hosts + replay assets; still runtime-dependency-free.
unpacked_budget: 131072
# ADR-283/325: brain + local hosts + replay assets + guarded Spaces OAuth adapter;
# still runtime-dependency-free. 160 KiB is the reviewed hard ceiling.
unpacked_budget: 163840
- dir: harness/homecore
build: false
publishable: true

View File

@@ -104,8 +104,8 @@ jobs:
run: |
set -euo pipefail
case "${{ inputs.package }}" in
# ADR-283: brain + local hosts + replay assets; no runtime deps.
harness/ruview) export UNPACKED_BUDGET=131072 ;;
# ADR-283/325: brain + hosts + replay + guarded Spaces OAuth; no runtime deps.
harness/ruview) export UNPACKED_BUDGET=163840 ;;
# ADR-285: CLI + MCP + reviewed brain + WASM-kernel adapter.
harness/homecore) export UNPACKED_BUDGET=180000 ;;
# ADR-264 O2: map-free tarball (was 188 kB with maps).

View File

@@ -14,6 +14,33 @@ env:
PYTHON_VERSION: '3.11'
jobs:
# Rust dependency advisories are deterministic for the checked-in lockfile,
# so this job gates the PR and retains the exact machine-readable report.
rust-audit:
name: Rust Dependency Audit
runs-on: ubuntu-latest
permissions:
contents: read
steps:
- name: Checkout code
uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4
- name: Install cargo-audit
run: cargo install cargo-audit --locked --version 0.22.2
- name: Audit the checked-in Rust lockfile
run: |
set -o pipefail
cargo audit --file v2/Cargo.lock --json | tee v2/cargo-audit.json
- name: Upload Rust advisory report
uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02 # v4
if: always()
with:
name: cargo-audit-report
path: v2/cargo-audit.json
if-no-files-found: error
# Static Application Security Testing (SAST)
sast:
name: Static Application Security Testing

View File

@@ -28,6 +28,7 @@ on:
- 'v2/crates/wifi-densepose-wifiscan/**'
- 'v2/crates/wifi-densepose-bfld/**'
- 'v2/crates/cog-ha-matter/**'
- 'v2/crates/homecore*/**'
- 'v2/Cargo.toml'
- 'v2/Cargo.lock'
- 'ui/**'

View File

@@ -47,17 +47,18 @@ from the current tree when needed.
## RuView contributor harness
`@ruvnet/ruview@0.3.1` is the runtime-dependency-free contributor interface
`@ruvnet/ruview@0.5.0` is the runtime-dependency-free contributor interface
defined by ADR-283.
```bash
npx @ruvnet/ruview@0.3.1 doctor
npx @ruvnet/ruview@0.3.1 guidance --topic homecore --query "restore and plugins"
npx @ruvnet/ruview@0.3.1 agent run \
npx @ruvnet/ruview@0.5.0 doctor
npx @ruvnet/ruview@0.5.0 guidance --topic homecore --query "restore and plugins"
npx @ruvnet/ruview@0.5.0 agent run \
--host codex --repo . --prompt "Find the nearest tests and cite files"
npx @ruvnet/ruview@0.3.1 brain search --query "community memory"
npx @ruvnet/ruview@0.3.1 brain verify --repo .
npx @ruvnet/ruview@0.3.1 mcp start
npx @ruvnet/ruview@0.5.0 brain search --query "community memory"
npx @ruvnet/ruview@0.5.0 brain verify --repo .
npx @ruvnet/ruview@0.5.0 spaces
npx @ruvnet/ruview@0.5.0 mcp start
```
Start unfamiliar repository work with `ruview_guidance`. It returns reviewed

View File

@@ -45,7 +45,7 @@ retrieved memories, generated proposals, and old test counts are not.
Do not hardcode crate, ADR, or test counts in instructions; derive them when a
task needs them.
## Contributor metaharness (`@ruvnet/ruview@0.3.1`)
## Contributor metaharness (`@ruvnet/ruview@0.4.0`)
ADR-283 defines the current community metaharness. It adds secure local
Claude/Codex execution, a reviewed shared brain, default-deny MCP mutation
@@ -54,21 +54,24 @@ free of runtime dependencies.
```bash
# Diagnose the installed harness
npx @ruvnet/ruview@0.3.1 doctor
npx @ruvnet/ruview@0.4.0 doctor
# Get a source-cited capability map before unfamiliar work
npx @ruvnet/ruview@0.3.1 guidance --topic homecore --query "restore and plugins"
npx @ruvnet/ruview@0.4.0 guidance --topic homecore --query "restore and plugins"
# Explore this trusted checkout through Claude Code (stdin, plan/safe mode)
npx @ruvnet/ruview@0.3.1 agent run \
npx @ruvnet/ruview@0.4.0 agent run \
--host claude-code --repo . --prompt "Map the relevant subsystem and cite files"
# Search reviewed, source-cited repository knowledge
npx @ruvnet/ruview@0.3.1 brain search --query "community memory"
npx @ruvnet/ruview@0.3.1 brain verify --repo .
npx @ruvnet/ruview@0.4.0 brain search --query "community memory"
npx @ruvnet/ruview@0.4.0 brain verify --repo .
# Read the OAuth-bound Cognitum Spaces projection
npx @ruvnet/ruview@0.4.0 spaces
# Run the dependency-free RuView MCP server
npx @ruvnet/ruview@0.3.1 mcp start
npx @ruvnet/ruview@0.4.0 mcp start
```
`ruview_guidance` returns reviewed capability maturity, repository citations,

View File

@@ -49,25 +49,26 @@ Every WiFi router already fills your space with radio waves. When people move, b
<details>
<summary><strong>RuView MetaHarness</strong> — guided operation for humans and AI agents</summary>
The RuView-specific metaharness we created is published as [`@ruvnet/ruview`](harness/ruview/README.md). It provides source-cited guidance, guarded Claude Code/Codex agents, deterministic verification, and an honesty check for accuracy claims.
The RuView-specific metaharness we created is published as [`@ruvnet/ruview`](harness/ruview/README.md). It provides source-cited guidance, guarded Claude Code/Codex agents, deterministic verification, an honesty check for accuracy claims, and an explicitly granted OAuth-only Cognitum Spaces read.
```bash
# Check the local setup and get source-cited guidance
npx @ruvnet/ruview@0.3.1 doctor
npx @ruvnet/ruview@0.3.1 guidance --topic sensing --query "model loading"
npx @ruvnet/ruview@0.4.0 doctor
npx @ruvnet/ruview@0.4.0 guidance --topic sensing --query "model loading"
# Run a read-only RuView agent through Codex
npx @ruvnet/ruview@0.3.1 agent run --host codex --repo . \
npx @ruvnet/ruview@0.4.0 agent run --host codex --repo . \
--prompt "Find the nearest tests and cite the source files"
# Search or verify the reviewed contributor brain
npx @ruvnet/ruview@0.3.1 brain search --query "calibration"
npx @ruvnet/ruview@0.3.1 brain verify --repo .
npx @ruvnet/ruview@0.4.0 brain search --query "calibration"
npx @ruvnet/ruview@0.4.0 brain verify --repo .
# Check claims, replay the deterministic proof, or expose the MCP server
npx @ruvnet/ruview@0.3.1 claim-check --file REPORT.md
npx @ruvnet/ruview@0.3.1 verify
npx @ruvnet/ruview@0.3.1 mcp start
npx @ruvnet/ruview@0.4.0 claim-check --file REPORT.md
npx @ruvnet/ruview@0.4.0 verify
npx @ruvnet/ruview@0.4.0 spaces
npx @ruvnet/ruview@0.4.0 mcp start
```
Agent runs are read-only by default. Workspace writes require both `--allow-write` and `--confirm`; retrieved brain content is evidence, not authority.
@@ -244,8 +245,8 @@ See the measured benchmarks, witness records, and one-command reproducibility ch
|------|-------|---------|
| **MM-Fi pose model (SOTA)** | [`ruvnet/wifi-densepose-mmfi-pose`](https://huggingface.co/ruvnet/wifi-densepose-mmfi-pose) | 82.69% torso-PCK@20 (single) · 83.59% (ensemble+TTA) · 75K-param micro variant 74.30% |
| **AetherArena benchmark Space** | [`ruvnet/aether-arena`](https://huggingface.co/spaces/ruvnet/aether-arena) | self-correcting, auditable MM-Fi leaderboard |
| **Full MM-Fi study (honest picture)** | [`docs/benchmarks/mmfi-wifi-sensing-study.md`](docs/benchmarks/mmfi-wifi-sensing-study.md) | pose + action; zero-shot cross-subject ~64%, +~30 s in-room calibration → 72.2% |
| **Efficiency frontier** | [`docs/benchmarks/wifi-pose-efficiency-frontier.md`](docs/benchmarks/wifi-pose-efficiency-frontier.md) | SOTA-beating WiFi pose in a 20 KB int4 edge model |
| **Full MM-Fi study (honest picture)** | [`docs/benchmarks/mmfi-wifi-sensing-study.md`](docs/benchmarks/mmfi-wifi-sensing-study.md) | pose + action; zero-shot cross-subject ~64%, labeled in-room calibration → 72.2% |
| **Efficiency frontier** | [`docs/benchmarks/wifi-pose-efficiency-frontier.md`](docs/benchmarks/wifi-pose-efficiency-frontier.md) | SOTA-beating MM-Fi pose in a ~37 KB int4 model; live ESP32 compatibility not established |
| **Pretrained encoder** | [`ruvnet/wifi-densepose-pretrained`](https://huggingface.co/ruvnet/wifi-densepose-pretrained) | 82.3% held-out temporal-triplet, 8 KB int4 |
| **Reproducible proof (Trust Kill Switch)** | [`archive/v1/data/proof/verify.py`](archive/v1/data/proof/verify.py) + [`expected_features.sha256`](archive/v1/data/proof/expected_features.sha256) | one-command deterministic pipeline replay (SHA-256 of output vs published hash) |
| **Benchmark-proof ADR** | [ADR-168](docs/adr/ADR-168-benchmark-proof.md) | how the numbers are produced and verified |
@@ -487,12 +488,20 @@ Neural Network: processed signals → 17 body keypoints + vital signs + room mod
Output: real-time pose, breathing, heart rate, room fingerprint, drift alerts
```
No training cameras required — the [Self-Learning system (ADR-024)](docs/adr/ADR-024-contrastive-csi-embedding-model.md) bootstraps from raw WiFi data alone. [MERIDIAN (ADR-027)](docs/adr/ADR-027-cross-environment-domain-generalization.md) ensures the model works in any room, not just the one it trained in.
The [Self-Learning system (ADR-024)](docs/adr/ADR-024-contrastive-csi-embedding-model.md) provides
camera-free representation-learning components. Cross-room pose remains a separate, data-gated
problem: [MERIDIAN (ADR-027)](docs/adr/ADR-027-cross-environment-domain-generalization.md) is
**Proposed**, while the measured calibration reference requires labeled CSI/keypoint pairs and
model-specific adapters. See the [model compatibility boundary](docs/user-guide.md#model-and-capture-compatibility).
---
## 🏢 Use Cases & Applications
> **Safety boundary:** these are research and prototype applications, not medical devices,
> emergency systems, or safety-certified controls. Vital-sign and pose outputs require independent
> validation on the exact hardware, room, subjects, and failure conditions before operational use.
WiFi sensing works anywhere WiFi exists. No new hardware in most cases — just software on existing access points or a $8 ESP32 add-on. Because there are no cameras, deployments avoid privacy regulations (GDPR video, HIPAA imaging) by design.
**Scaling:** Each AP distinguishes ~3-5 people (56 subcarriers). Multi-AP multiplies linearly — a 4-AP retail mesh covers ~15-20 occupants. No hard software limit; the practical ceiling is signal physics.
@@ -527,7 +536,7 @@ WiFi sensing works anywhere WiFi exists. No new hardware in most cases — just
| Use Case | What It Does | Hardware | Key Metric | Edge Module |
|----------|-------------|----------|------------|-------------|
| **Smart home automation** | Room-level presence triggers (lights, HVAC, music) that work through walls — no dead zones, no motion-sensor timeouts | 2-3 ESP32-S3 nodes ($24) | Through-wall range ~5m | [HVAC Presence](docs/edge-modules/building.md), [Lighting Zones](docs/edge-modules/building.md) |
| **Fitness & sports** | Rep counting, posture correction, breathing cadence during exercise — no wearable, no camera in locker rooms | 3+ ESP32-S3 mesh | Pose: 17 keypoints | [Breathing Sync](docs/edge-modules/exotic.md), [Gait Analysis](docs/edge-modules/medical.md) |
| **Fitness & sports research** | Explore motion and breathing cadence without a wearable or camera; reliable posture correction requires a validated compatible pose model | 3+ ESP32-S3 mesh + edge host | Prototype; no live S3 pose accuracy claim | [Breathing Sync](docs/edge-modules/exotic.md), [Gait Analysis](docs/edge-modules/medical.md) |
| **Childcare & schools** | Naptime breathing monitoring, playground headcount, restricted-area alerts — privacy-safe for minors | 2-4 ESP32-S3 per zone | Breathing: ±1 BPM | [Sleep Apnea](docs/edge-modules/medical.md), [Perimeter Breach](docs/edge-modules/security.md) |
| **Event venues & concerts** | Crowd density mapping, crush-risk detection via breathing compression, emergency evacuation flow tracking | Multi-AP mesh (4-8 APs) | Density per m² | [Customer Flow](docs/edge-modules/retail.md), [Panic Motion](docs/edge-modules/security.md) |
| **Stadiums & arenas** | Section-level occupancy for dynamic pricing, concession staffing, emergency egress flow modeling | Enterprise AP grid | 15-20 per AP mesh | [Dwell Heatmap](docs/edge-modules/retail.md), [Queue Length](docs/edge-modules/retail.md) |
@@ -694,7 +703,7 @@ claude --plugin-dir ./plugins/ruview
Verify the plugin structure: `bash plugins/ruview/scripts/smoke.sh`. Full details: [`plugins/ruview/README.md`](plugins/ruview/README.md).
For the portable RuView MetaHarness, use `npx @ruvnet/ruview@0.3.1`; the quick commands and fuller explanation are in the collapsed MetaHarness section near the top of this README and in [`harness/ruview/`](harness/ruview/README.md).
For the portable RuView MetaHarness, use `npx @ruvnet/ruview@0.4.0`; the quick commands and fuller explanation are in the collapsed MetaHarness section near the top of this README and in [`harness/ruview/`](harness/ruview/README.md).
</details>

View File

@@ -1,8 +1,14 @@
# RuView Calibration Service (reference implementation)
Turn a **shared WiFi-CSI pose base model** into a room-specific one with a **30-second labeled
calibration** and a **~11 KB per-room LoRA adapter**. This is the deployable resolution of the
cross-subject / cross-environment generalization problem (full study: [ADR-150 §3.33.6](../../docs/adr/ADR-150-rf-foundation-encoder.md)).
Fit a room-specific **~11 KB LoRA adapter** for a shared WiFi-CSI pose base from a short **labeled
capture**. This is a measured MM-Fi reference path for cross-subject / cross-environment adaptation
(full study: [ADR-150 §3.33.6](../../docs/adr/ADR-150-rf-foundation-encoder.md)); it is not proof of
plug-and-play adaptation from a live ESP32 stream.
> **Not the proposed MERIDIAN fast path.** Both producers below require paired CSI and keypoint
> labels, and their tensor shapes and adapter files are model-specific. ADR-027's automatic,
> unlabeled 10-second MERIDIAN calibration remains **Proposed** and is not implemented as an
> end-to-end deployment command.
## Why
@@ -66,8 +72,8 @@ Adapters are **model-specific**. There are two calibration producers here:
| `cog_calibrate.py` | cog **conv+MLP** (`pose_v1.safetensors`, 56×20) | `[N,56,20]` | `.safetensors` (`fc1.a`/`fc1.b`/`fc2.a`/`fc2.b`) | Rust `cog-pose-estimation run --adapter` |
```bash
# Produce a cog-format per-room adapter for the deployed Rust pose engine:
python cog_calibrate.py --base pose_v1.safetensors --data calib.npz --out room.safetensors
# Produce a cog-format per-room adapter from X:[N,56,20], Y:[N,17,2]:
python cog_calibrate.py --base pose_v1.safetensors --data cog-calib.npz --out room.safetensors
# then in the cog runtime:
cog-pose-estimation run --config <cfg> --adapter room.safetensors
```

View File

@@ -2,7 +2,7 @@
| Field | Value |
|-------|-------|
| **Status** | Accepted — **implemented** (O1O9 in `@ruvnet/ruview@0.2.0`; security/community extension in `0.3.0`, ADR-283; source-cited guidance in `0.3.1`): fail-closed schemas and MCP policy, async dispatch, zero runtime dependencies, bounded/redacted local Claude/Codex adapters, reviewed shared brain, source-checked capability guidance, and replay-verified Darwin/Flywheel gate. CI gate: `ruview-harness-flywheel.yml` |
| **Status** | Accepted — **implemented** (O1O9 in `@ruvnet/ruview@0.2.0`; security/community extension in `0.3.0`, ADR-283; source-cited guidance in `0.3.1`; guarded Cognitum Spaces OAuth read in `0.4.0`, ADR-325): fail-closed schemas and MCP policy, async dispatch, zero runtime dependencies, bounded/redacted local Claude/Codex adapters, reviewed shared brain, source-checked capability guidance, credential-gated external reads, and replay-verified Darwin/Flywheel gate. CI gate: `ruview-harness-flywheel.yml` |
| **Date** | 2026-07-02 |
| **Deciders** | ruv |
| **Codename** | **RUVIEW-NPM-REVIEW-1** |

View File

@@ -31,6 +31,26 @@ bounded output/time, secret redaction and realpath-based RuView checkout
validation. Write mode requires two explicit flags and never uses permission or
sandbox bypasses.
## Credentialed external reads
Read-only cloud access is not equivalent to an uncredentialed local read. The
Cognitum Spaces adapter therefore delegates OAuth and response validation to
the Rust `wifi-densepose` client, never accepts bearer tokens or API keys, and
removes the API-key compatibility environment from the child process. Its MCP
tool is denied unless the server operator grants `credential-use`; MCP callers
cannot select a credential path or API origin. The adapter uses only an
installed `wifi-densepose` binary; it never executes Cargo build scripts from
an auto-detected checkout while holding credential authority. The tool is
marked open-world and independently rechecks response size, structure, privacy
class, and prohibited raw fields.
An expiring access token may rotate the stored refresh credential. The MCP
annotation is therefore non-read-only and non-idempotent even though the cloud
data operation is read-only. That bounded authentication side effect is
disclosed in the schema and result. It does not change the cloud operation from
read-only and confers no write or action authority. ADR-325 remains authoritative
for the Spaces data and policy boundary.
## Shared brain
The public brain is committed JSONL, not a shared mutable database. Canonical
@@ -67,5 +87,6 @@ autonomously promotes or publishes an evolved candidate.
Contributors can explore RuView with either major local CLI and share durable
findings without sharing secrets. Improvements become reproducible proposals
with frozen evaluation evidence. The cost is a larger development-only npm
lockfile, a 128 KiB unpacked-package budget (the current tarball is below that
bound), and explicit maintenance of the corpus, genome and gate.
lockfile, a 160 KiB unpacked-package budget after adding the duplicated host
playbook and bounded OAuth adapter (the package remains runtime-dependency-free),
and explicit maintenance of the corpus, genome and gate.

View File

@@ -1,6 +1,6 @@
# ADR-325: Cognitum Spaces activation and governed spatial exchange
- **Status**: Accepted — read path implemented; write path remains policy-gated
- **Status**: Accepted — legacy and versioned reads, OAuth activation, local spatial memory, governed-action policy, metaharness support, and npm distribution are implemented; HTTPS production evidence is complete
- **Date**: 2026-08-17
- **Deciders**: ruv
- **Tags**: cognitum-spaces, oauth, spatial-state, privacy, ruvector, policy, autogenous
@@ -112,6 +112,17 @@ OAuth consent grants identity-bound read access. It does **not** grant device
pairing, data publication, deployment, billing, spending, leases, learning
promotion, automation installation, commands, or actuator authority.
The contributor metaharness exposes this as CLI verb `spaces` and MCP tool
`ruview_spaces_list`. It delegates to the same Rust client rather than parsing
or refreshing OAuth independently. The tool never accepts a bearer token or API
key. MCP use requires an operator-provided `credential-use` grant, and MCP calls
cannot select the credential path or API origin. The adapter requires an
installed `wifi-densepose` binary rather than executing Cargo build scripts
from an auto-detected checkout while holding credential authority. Because
refresh tokens rotate, a read may atomically update the local OAuth credential
before contacting Spaces; this authentication side effect is disclosed and
does not add cloud write authority.
### 2. The gateway owns the private credential relay
The public gateway strips inbound `X-Cognitum-User-Authorization` and
@@ -271,6 +282,11 @@ action. This ADR adds no actuator method to the Spaces client.
persist-before-return mechanism, verifies that the stored grant contains
`spaces:read`, and lists validated state. `COGNITUM_SPACES_API` remains an
explicit compatibility path.
- the dependency-free contributor metaharness adds `spaces` /
`ruview_spaces_list`, invokes only the OAuth branch, bounds and revalidates
child output, fixes the production API origin, strips the API-key compatibility
environment, requires an installed binary, and default-denies MCP access
without `credential-use`.
### Cognitum Identity
@@ -407,10 +423,58 @@ Identity metadata deliberately advertises `spaces:read` for RuView but not
publisher surface. RuView therefore has no OAuth write, command, policy-approval,
or actuator capability.
This evidence does not claim implementation of sites/buildings/floors/zones,
entities, semantic event or alert resources, tenant-scoped RuVector spatial
history, MQTT reconciliation, governed actions, commands, or actuators. Those
remain separately reviewed milestones.
That receipt was for the initial flat Space slice. The following production
expansion supersedes only its hierarchy/event/alert deferral. MQTT, commands,
actuators, real-hardware accuracy, and the long-duration operational trial
remain outside the completed claim.
## Completed implementation and production expansion (2026-08-19)
- Cognitum API PRs #211 and #212 shipped the eight `/v1/spatial` collections,
transactional hierarchy integrity, stable pagination, event/alert retention,
strict P2/P3 admission, API-key-only writes, OAuth/API-key reads, and the
additive-only Firestore release authority. Function run `32279092861`
promoted active Node 22 revision `spacesapi-00005-kaf`.
- Edge PRs #214, #215, and #216 preserved canonical UUID routing, kept SQLi
denial, and removed secret-valued API-key rate selection. Gateway run
`32284410107` promoted the reviewed immutable digest to 100% production
traffic. Every versioned collection returned HTTP 200 through the public
edge; the hierarchy composite index is `READY` and both retention TTL fields
are `ACTIVE`.
- The dedicated RuView service credential was rotated to exactly
`spaces:read` and `spaces:write`; its predecessor returns 401. A non-mutating
invalid-body probe reached write validation without persisting customer data.
Other potentially affected owner keys and residual log retention remain
tracked in Cognitum API #217.
- A live RuView Authorization Code + S256 PKCE consent requested exactly
`sensing:read spaces:read`. Its in-memory token read versioned `sites` with
HTTP 200 and schema `1.0`; the verifier then revoked the temporary refresh
credential and persisted no token.
- RuView PR #1650 merged `ruview-cognitum-spaces`,
`ruview-spatial-memory`, the ADR-327 policy extension, CLI paging, and the
guarded `ruview_spaces_list` metaharness surface. PR #1651 removed stale
feature-branch guidance and refreshed the signed package manifest.
- The contributor metaharness fixes the API origin, accepts bounded resource,
limit, and opaque-cursor inputs, strips API-key compatibility authority over
MCP, invokes only the hardened OAuth CLI, and rejects raw sensing or malformed
hierarchy/event/alert output. Its test, security, reviewed-brain, flywheel,
manifest, audit, exact-tarball, and claim-check gates pass.
- Release run `32286297277` rebuilt and smoke-tested the exact package and
provenance-published `@ruvnet/ruview` 0.5.0. The public npm registry resolves
0.5.0 as `latest`; no workstation publish was used.
- `ruview-spatial-memory` keeps one RuVector HNSW index per authenticated
tenant/workspace with replay, derivation, retention, cascading-erasure,
bounded-explanation, encrypted-snapshot, and reload-verified rotation gates.
This is local `SYNTHETIC` evidence, not a production sensing claim.
- `ruview-policy` keeps observe/recommend/execute intents distinct, requires
exact host grants plus signed approval for consequence, rejects nonce replay,
and emits signed hash-chained receipts. `spaces:read` is explicitly denied as
execution authority.
- Focused Rust gates and the Linux workspace/CLI/security lanes pass. Earlier
Windows whole-workspace attempts ended in host compiler failure or timeout;
those attempts are not reclassified as green evidence.
- No OAuth write/action scope, actuator callback, MQTT deployment claim, sensing
accuracy claim, or real-hardware claim is introduced.
## Consequences
@@ -429,8 +493,9 @@ remain separately reviewed milestones.
- Two credential types coexist during migration and must stay visibly distinct.
- OAuth depends on Identity JWKS availability and correct key rotation.
- The current API exposes spaces only; the full hierarchy/events/alerts model
remains staged work.
- Production exposes both the legacy Space twins and the versioned hierarchy,
anonymous entities, semantic events, and alerts over HTTPS. MQTT remains a
design contract without deployment evidence.
- OAuth workspace IDs will return only documents populated with `workspaceId`;
legacy owner-only documents require an explicit migration, never a broad query.
- The RuView client exposes no write, command, or agent execution surface. The
@@ -466,6 +531,8 @@ the edge privacy boundary and is unnecessary for the semantic product.
- Cognitum API ADR-094, `docs/adr/ADR-094-cognitum-spaces-homecore-edge-boundary.md`
- Cognitum API hierarchy/events/alerts follow-up,
`https://github.com/cognitum-one/api/issues/206`
- RuView metaharness OAuth surface,
`https://github.com/ruvnet/RuView/issues/1643`
- RuVector spatial-history follow-up,
`https://github.com/ruvnet/RuView/issues/1640`
- governed-action and witness-receipt follow-up,

View File

@@ -0,0 +1,137 @@
# ADR-326: Tenant-scoped RuVector spatial memory and anomaly explanations
- **Status**: Accepted — implementation complete; repository-wide and deployment gates pending
- **Date**: 2026-08-19
- **Decision owners**: RuView maintainers
- **Extends**: ADR-312, ADR-319, ADR-325
- **Implements**: ruvnet/RuView#1640
- **Tags**: cognitum-spaces, ruvector, memory, tenant-isolation, explanation, privacy
## Context
ADR-325 requires anomaly explanations grounded in tenant-local spatial history,
but the deployed client only returns a current list. A global vector index would
be unsafe: filtering nearest-neighbor results after the search can reveal that a
different tenant has a close match, even when identifiers are removed. A memory
record can also launder returned RuView-derived state into a second independent
observation, reset freshness, or form circular evidence.
Spatial memory must be useful without storing OAuth/API credentials, raw CSI/CIR,
RF tensors, pose frames, vital waveforms, recordings, identity observations, or
unbounded agent transcripts. Persistence also needs explicit retention,
deletion, provenance, and key-rotation behavior.
## Decision
### 1. Partition before similarity
`ruview-spatial-memory` owns a `SpatialMemory` map keyed by the exact authenticated
`(tenant_id, workspace_id)` pair. Each partition owns its own RuVector HNSW index.
Ingest and search resolve the partition first; no global ANN query exists. Site,
space, schema version, and time-window constraints narrow within the selected
partition before results are returned.
### 2. Bounded semantic records
An accepted record contains:
- tenant/workspace/site/space and stable record identity;
- source ID, message ID, record ID, monotonic event sequence, schema version;
- original `observed_at`/`expires_at` and a retention deadline;
- a bounded finite semantic feature vector, uncertainty, and evidence label;
- provenance and witness digests, plus bounded derivation references;
- explicit observation/inference classification.
Credentials and P0/P1 fields have no representation in the type. Strings,
features, references, record counts, and query `k` are bounded. Non-finite
features and uncertainty fail closed.
### 3. Lineage and replay
The partition rejects:
- changed reuse of `(source_id, message_id)`;
- a non-increasing sequence for the same source;
- duplicate derivation references;
- self-reference, missing/forward parents, and therefore every cycle;
- expired input or a provenance/witness substitution.
A recollection keeps its original lineage, timestamp, uncertainty, and evidence
label. It cannot increment corroborating-source count or become independent
support for its own ancestor.
### 4. Persistent encrypted storage
Snapshots are encrypted with XChaCha20-Poly1305 under a caller-supplied 256-bit
key and a non-secret key ID. The authenticated associated data binds the storage
format and key ID. The envelope is bounded and versioned; plaintext spatial
records are never written to disk. Loading requires a keyring containing the
named key. Rotation decrypts with the old key, atomically creates a new
generation under the new key ID, reload-verifies that generation, and leaves
the source intact. Snapshots never overwrite an existing path implicitly.
Deletion supports a tenant/workspace partition, a record, and retention cutoff.
Every deletion rebuilds that partition's HNSW index so removed records cannot be
returned from stale graph nodes.
### 5. Explanations
`explain` compares a bounded query vector with nearest tenant-local history and
returns the exact authenticated partition, generation time, ordered record IDs,
RuVector distances, original uncertainty/evidence labels, and provenance/witness
digests. Its basis explicitly says that similarity is not causation. The API
does not expose the vectors or invent a causal explanation.
History provides context, not authority. An explanation cannot authorize an
action, increase certificate class, or replace a policy decision.
## Consequences
### Positive
- Cross-tenant ANN leakage is structurally unavailable.
- Explanations cite the exact tenant-local records used.
- Replay/cycle/provenance substitution are rejected before indexing.
- Encrypted persistence has explicit key IDs and rotation behavior.
### Costs and limitations
- Partition-local HNSW uses more indexes than a global graph.
- Deletes and key rotation rebuild indexes.
- No detection-quality or latency claim is made; tests are `SYNTHETIC` unless a
reproducer explicitly marks a measurement.
- Cloud Cognitum does not receive the local encrypted memory file.
## Validation
- cross-tenant and cross-workspace nearest-neighbor denial;
- duplicate record/message, stale-sequence, self/duplicate/missing-parent, and
provenance-substitution tests;
- expiry, retention deletion, whole-partition deletion, sealed round-trip,
tamper rejection, wrong-key rejection, and key-rotation tests;
- explanation citations and retained evidence/provenance labels;
- no forbidden raw-field or credential representation;
- the focused `ruview-spatial-memory` crate suite passes with `SYNTHETIC`
evidence on 2026-08-19;
- the whole-workspace Windows gate was non-terminal (compiler crash in parallel,
timeout when serialized), so Linux CI, a RustSec advisory scan, and package
review remain release gates.
## Alternatives considered
**One global HNSW followed by filtering.** Rejected: ranking itself crosses the
tenant boundary.
**Cloud vector memory.** Rejected as the default: it expands the privacy and
credential boundary without being needed for local explanations.
**Plain JSONL persistence.** Rejected because tenant spatial history is sensitive
even when raw sensing is excluded.
## References
- ADR-312: Long-term spatial memory
- ADR-319: Witness chain
- ADR-325: Cognitum Spaces activation and governed exchange
- Cognitum API ADR-101
- ruvnet/RuView#1640

View File

@@ -0,0 +1,133 @@
# ADR-327: Governed action intents, approvals, replay protection, and witness receipts
- **Status**: Accepted — implementation complete; repository-wide and deployment gates pending
- **Date**: 2026-08-19
- **Decision owners**: RuView maintainers
- **Extends**: ADR-318, ADR-319, ADR-321, ADR-325
- **Implements**: ruvnet/RuView#1641
- **Tags**: policy, governed-action, approval, idempotency, witness, cognitum-spaces
## Context
The current `ruview-policy` crate evaluates assurance for an action class, but it
does not define a complete action intent, tenant/workspace binding, policy
version, approval, nonce/idempotency replay behavior, or signed terminal receipt.
An agent recommendation can therefore be mistaken for execution authority, and
`spaces:read` could be accidentally treated as a general capability.
The system needs a framework that can prove why an action was allowed or denied
without adding any actuator. Real actuation remains a separate integration and
requires its own threat model and device evidence.
## Decision
### 1. Typed intent and registered policy
A governed `ActionIntent` binds:
- intent ID, tenant, workspace, action name/class, and exact target;
- requested policy version and parameter/evidence digests;
- creation/expiry, replay nonce, and requesting principal;
- the recommendation/explanation that motivated review, never a hidden command.
The gate accepts only a registered action policy. Unknown action, action-class
mismatch, policy-version mismatch, target mismatch, invalid timestamps, and
missing exact host authority deny before assurance is evaluated. Tenant and
workspace are part of the signed intent/receipt and nonce key. `spaces:read` is
explicitly tested as insufficient for an `alerts:execute` rule.
### 2. Assurance and approval
The existing ADR-321 certificate/domain/uncertainty/evidence gate remains the
assurance authority. The registered policy declares a bounded minimum of
distinct enrolled approvers. An absent, rejected, duplicated, expired,
wrong-intent, wrong-policy-version, or unverifiable approval denies. Approval
resolution fails closed.
Agents observe, explain, or recommend by default. `evaluate` returns a decision
receipt; it does not call an actuator. An executor may consume an `allow` receipt
only if a separate adapter verifies the receipt, target, expiry, and its own
device-specific authority.
### 3. Replay and idempotency
The bounded in-memory gate stores terminal receipts by intent ID and tracks
nonces by `(tenant, workspace, nonce)`.
- exact intent replay returns the original terminal receipt;
- changed reuse of an intent ID returns a fail-closed idempotency error;
- reuse of a nonce by another intent returns a fail-closed replay error;
- expired intents and approvals deny;
- failed or denied attempts are terminal and auditable.
The current state store is bounded and in-memory, intended for local/runtime use
rather than cross-process replay protection. A production executor must place
the same intent/nonce/receipt invariants behind a transactional durable store;
this ADR does not claim that adapter exists.
### 4. Witnessed terminal receipt
Every evaluated observe/recommend/execute request produces a canonical receipt
containing the intent digest, decision/reason, policy version, tenant/workspace,
decision/expiry time, intent ID and nonce, approval count, and previous receipt
digest. The receipt is signed through the `ruview-attest` signer interface and
can be independently verified. Hash chaining makes removal/reordering visible.
Malformed input, ID conflict, nonce replay, capacity exhaustion, and sequence
exhaustion are errors before receipt creation and must be audited by the host.
The reference keyed-BLAKE3 signer remains `SYNTHETIC` evidence only, as documented
by ADR-319. Production asymmetric signing and key custody must be supplied by the
deployment adapter; no symmetric test MAC is represented as hardware identity.
## Consequences
### Positive
- Recommendation, authorization, and execution are distinct typed stages.
- Default-deny covers missing policy, stale evidence, unavailable approval, and replay.
- Every decision has a terminal, verifiable explanation.
- `spaces:read` cannot silently expand into consequence.
### Costs and limitations
- Executors must implement a separate receipt-verifying adapter.
- Distributed replay protection needs a transactional durable store.
- This ADR implements no actuator, command transport, pairing mutation, or device control.
- Simulator tests are not hardware validation.
## Validation
- unknown/missing policy, stale intent, policy-version/target mismatch,
insufficient authority, and `spaces:read`-only denial;
- certificate/domain/uncertainty/evidence denial matrix from ADR-321;
- missing/rejected/expired/duplicate/wrong-intent approval tests;
- exact idempotent replay, changed reuse, nonce replay, and bounded-store tests;
- receipt signature, canonical digest, chain linkage, and tamper rejection;
- tests proving evaluation exposes no actuator callback or network/file side effect.
The focused `ruview-policy` suite passes on 2026-08-19. The reference signer
tests are `SYNTHETIC`; they are not hardware-identity evidence. The non-terminal
whole-workspace Windows gate still requires authoritative Linux CI evidence.
Any future actuator adds a separate ADR, credential boundary, failure/rollback
plan, allow/deny integration tests, and captured target-device evidence.
## Alternatives considered
**Let agents call actuators after a recommendation.** Rejected: recommendation
quality is not authorization.
**Treat OAuth scopes as action policy.** Rejected: `spaces:read` expresses read
consent only and carries no target-specific assurance or approval.
**Emit receipts only for successful actions.** Rejected: denial and unavailable
approval are security-relevant terminal facts.
## References
- ADR-318: Capability certificates
- ADR-319: Witness chain
- ADR-321: Decision policy action authorization
- ADR-325: Cognitum Spaces activation and governed exchange
- ADR-326: Tenant-scoped RuVector spatial memory
- ruvnet/RuView#1641

View File

@@ -5,10 +5,15 @@ PCK@20 (MultiFormer Table VII metric: `‖predgt‖ ≤ 0.2·‖R-shoulder
The flagship [`ruvnet/wifi-densepose-mmfi-pose`](https://huggingface.co/ruvnet/wifi-densepose-mmfi-pose)
reaches **83.59%** torso-PCK@20 (vs MultiFormer 72.25%, CSI2Pose 68.41%). But the headline number
isn't the whole story for **edge deployment** — on a Raspberry Pi / ESP32-class target, *params and
isn't the whole story for **edge deployment** — on a Raspberry Pi-class edge host, *params and
latency* matter as much as accuracy. So we swept model size to map the **accuracy-per-parameter
frontier**: how small can a WiFi-CSI pose model be and still beat the prior published SOTA?
> **Hardware compatibility boundary.** These models consume MM-Fi tensors shaped
> `[3,114,10]`. Parameter size alone does not make that input, model architecture, or runtime
> compatible with an ESP32-S3/C6 capture node. The measurements below are dataset and x86/GPU
> measurements; no ESP32 inference latency or live ESP32-to-MM-Fi adapter is claimed.
## The frontier
| Model | Params | Latency (batch=1) | torso-PCK@20 | vs SOTA (72.25%) |
@@ -38,8 +43,10 @@ Size alone isn't the claim — what matters is **accuracy at the deployed precis
**The honest edge result:** `micro` is **lossless at int8 (73.5 KB, 74.70%)**, and at **int4 (36.7 KB)
naïve post-training quantization falls below SOTA (70.21%) — but quantization-aware training fully
recovers it to 74.46%**, still beating MultiFormer. So a **SOTA-beating WiFi-pose model genuinely runs
in ~37 KB int4** (with QAT) or **~73 KB int8** (no retraining) — deployable on the sensing node itself.
recovers it to 74.46%**, still beating MultiFormer. So a **SOTA-beating WiFi-pose model fits in
~37 KB int4** (with QAT) or **~73 KB int8** (no retraining). That is a model-footprint result, not
evidence that it runs on an ESP32 sensing node; a compatible capture adapter and embedded runtime
still need to be implemented and measured.
`nano` (40K params) sits at the SOTA line in fp32 and is best treated as int8.
(We also tested flagship→tiny **knowledge distillation**: it did *not* help — the tiny students reach

View File

@@ -22,6 +22,7 @@ WiFi DensePose turns commodity WiFi signals into real-time human pose estimation
- [ESP32-S3 (Full CSI)](#esp32-s3-full-csi)
- [ESP32 Multistatic Mesh (Advanced)](#esp32-multistatic-mesh-advanced)
- [Connect Mesh Data to the Dashboard and Observatory](#connect-mesh-data-to-the-dashboard-and-observatory)
- [Cognitum Spaces activation](#cognitum-spaces-activation)
- [Cognitum Seed Integration (ADR-069)](#cognitum-seed-integration-adr-069)
5. [REST API Reference](#rest-api-reference)
6. [WebSocket Streaming](#websocket-streaming)
@@ -74,7 +75,7 @@ WiFi DensePose turns commodity WiFi signals into real-time human pose estimation
| Option | Cost | Capabilities |
|--------|------|-------------|
| ESP32-S3 mesh (3-6 boards) | ~$54 | Full CSI: pose, breathing, heartbeat, presence |
| ESP32-S3 mesh (3-6 boards) | ~$54 | CSI capture for presence, motion, and vital-sign heuristics; live 17-keypoint pose remains below-target and is not a validated capability |
| Intel 5300 / Atheros AR9580 | $50-100 | Full CSI with 3x3 MIMO (Linux only) |
| Any WiFi laptop | $0 | RSSI-only: coarse presence and motion detection |
@@ -425,6 +426,57 @@ curl http://localhost:3000/api/v1/sensing/latest
If the ESP32 nodes are provisioned with `--target-ip <AGGREGATOR_HOST>`, that IP must be the machine running `sensing-server`. Only one process can receive UDP `:5005` at a time, so leave the standalone hardware `aggregator` off while the dashboard or Observatory is live.
### Cognitum Spaces activation
Cognitum Spaces gives RuView a tenant/workspace-scoped semantic world model
without uploading raw RF/CSI, recordings, pose frames, vital waveforms, or
identity observations. It represents sites, buildings, floors, bounded
rooms/spaces, zones, anonymous entities, semantic events, and alerts.
Activate the public RuView OAuth client with Authorization Code + PKCE:
```bash
wifi-densepose login --spaces
wifi-densepose whoami
wifi-densepose spaces --resource sites --limit 50
wifi-densepose spaces --resource events --limit 25
```
The login requests `sensing:read spaces:read`. That consent is read-only: it
does not grant publication, pairing, policy approval, command, or actuator
authority. Versioned collections are `sites`, `buildings`, `floors`,
`spaces`, `zones`, `entities`, `events`, and `alerts`. A returned
`nextCursor` is opaque and valid only for the same collection.
The dependency-free contributor harness exposes the same read path:
```bash
npx @ruvnet/ruview@0.5.0 spaces --resource alerts --limit 25
npx @ruvnet/ruview@0.5.0 mcp start
```
Its MCP tool is `ruview_spaces_list`. MCP reads are OAuth-only, use the fixed
Cognitum API origin, and require the explicit guarded-tool opt-in. The harness
does not accept an arbitrary credential path or API origin.
For service compatibility, `wifi-densepose spaces` can read
`COGNITUM_SPACES_API` at request time. API-key access to a versioned collection
also requires `--workspace <uuid>`; OAuth derives the workspace from the
signed token. Never print or commit either credential.
Every response is bounded and revalidated. Raw-sensing aliases, malformed
hierarchy, non-anonymous person/track entities, invalid timestamps, stale
confidence, and oversized structures fail closed. Empty data means no
authorized state is present; it does not prove that a physical site is empty.
RuVector spatial memory remains physically separated by tenant and workspace.
Agents observe or recommend by default. Any consequential execution requires a
separate policy/grant/approval decision and produces a signed, hash-chained
receipt; the Spaces read token can never satisfy that gate.
See ADR-325, ADR-326, and ADR-327 for the activation, memory, and governed-action
decisions.
### Cognitum Seed Integration (ADR-069)
Connect an ESP32-S3 to a [Cognitum Seed](https://cognitum.one) (Pi Zero 2 W, ~$15) for persistent vector storage, kNN similarity search, cryptographic witness chain, and AI-accessible sensing via MCP proxy.
@@ -1162,6 +1214,22 @@ levels. Read the label, not the headline ([ADR-187](adr/ADR-187-archive-v1-depre
**Does it actually run, and can a single ESP32 do pose? ([#509](https://github.com/ruvnet/RuView/issues/509), [#1125](https://github.com/ruvnet/RuView/issues/1125))** Yes, it runs, and the results are reproducible: the deterministic signal-pipeline proof (`python archive/v1/data/proof/verify.py`, must print `VERDICT: PASS`), the committed pose training dump (`v2/crates/cog-pose-estimation/cog/artifacts/train_results.json`), and the auditable MM-Fi arena all back specific numbers. But a single-antenna, 56-subcarrier CSI stream at a 20-frame window does *not* carry the fine-grained spatial information the multi-antenna NIC research relies on — so the shippable pose accuracy the project stands behind today is the **MM-Fi benchmark number**, not a live single-ESP32 number. The path to a first reproducible on-device baseline (PCK@20 ≥ 35%) is tracked in [ADR-079](adr/ADR-079-camera-ground-truth-training.md) / [#645](https://github.com/ruvnet/RuView/issues/645).
### Model and capture compatibility
These artifacts share a pose objective, but not an input contract or adapter format. A checkpoint
is usable only when capture preprocessing, tensor shape, architecture, and runtime all match.
| Artifact/path | Required input | Measured status | Live ESP32 compatibility |
|---------------|----------------|-----------------|--------------------------|
| MM-Fi flagship and `micro` transformer | `[N,3,114,10]` amplitude | **MEASURED** on MM-Fi `random_split`; calibration reference is Python `.npz` LoRA | No direct S3/C6 path is validated; resampling a 56-tone SISO stream does not recreate three-antenna MM-Fi input |
| Cog `pose_v1.safetensors` | `[N,56,20]` amplitude | **MEASURED** PCK@20 = 3.0%, below the ≥35% target; cog-format LoRA is `.safetensors` | Shape matches the canonical window, but the documented live runtime remains below-target/stub and is not a reliable pose claim |
| Viewer `heuristic_pose_from_amplitude` | live canonical amplitude | Skeleton-layout placeholder, not a trained pose model | Renders a demonstrator skeleton only; it is not pose accuracy evidence |
| MERIDIAN automatic unlabeled calibration | proposed ~200-frame target-room capture | **PROPOSED** in ADR-027; no validated end-to-end command | Not available. The current calibration tools require paired CSI/keypoint labels and model-specific inputs |
Calibration files are not interchangeable: `calibrate.py` targets the MM-Fi transformer, while
`cog_calibrate.py` targets the cog conv+MLP. See the
[calibration reference](../aether-arena/calibration/README.md) for their exact schemas.
### Download
```bash
@@ -1406,7 +1474,7 @@ The pipeline runs 10 phases:
3. Subcarrier resampling (114->56 or 30->56 via Catmull-Rom interpolation)
4. Graph transformer construction (17 COCO keypoints, 16 bone edges)
5. Cross-attention training (CSI features -> body pose)
6. **Domain-adversarial training** (MERIDIAN: gradient reversal + virtual domain augmentation)
6. Experimental domain-adversarial components (MERIDIAN research modules; not a validated automatic deployment path)
7. Composite loss optimization (MSE + CE + UV + temporal + bone + symmetry)
8. SONA adaptation (micro-LoRA + EWC++)
9. Sparse inference optimization (hot/cold neuron partitioning)
@@ -1422,14 +1490,18 @@ Progressive loading enables instant startup (Layer A loads in <5ms with basic in
### Cross-Environment Adaptation (MERIDIAN)
Models trained in one room typically lose 40-70% accuracy in a new room due to different WiFi multipath patterns. The MERIDIAN system (ADR-027) solves this with a 10-second automatic calibration:
Models trained in one room can lose substantial accuracy in a new room because the multipath
distribution changes. ADR-027 proposes an automatic adaptation design, and the Rust tree contains
individual research components, but RuView does **not** currently provide a validated command that
turns ~200 unlabeled frames into a working room adapter.
1. **Deploy** the trained model in a new room
2. **Collect** ~200 unlabeled CSI frames (10 seconds at 20 Hz)
3. The system automatically generates environment-specific LoRA weights via contrastive test-time training
4. No labels, no retraining, no user intervention
Current, testable calibration is the separate **labeled** reference in
`aether-arena/calibration/`: collect paired CSI/keypoint samples, then fit a model-specific LoRA
adapter. The MM-Fi transformer expects `[N,3,114,10]`; the cog expects `[N,56,20]`. Neither adapter
loads into the other model, and neither result establishes live ESP32 pose accuracy without a
leakage-free held-out capture and mean-pose baseline.
MERIDIAN components (all pure Rust, +12K parameters):
ADR-027 research components:
| Component | What it does |
|-----------|-------------|
@@ -1437,7 +1509,7 @@ MERIDIAN components (all pure Rust, +12K parameters):
| Domain Factorizer | Separates pose-relevant from room-specific features |
| Geometry Encoder | Encodes AP positions (FiLM conditioning with DeepSets) |
| Virtual Augmentor | Generates synthetic environments for robust training |
| Rapid Adaptation | 10-second unsupervised calibration via contrastive TTT |
| Rapid Adaptation | Proposed unlabeled contrastive TTT; not wired as a validated deployment workflow |
See [ADR-027](adr/ADR-027-cross-environment-domain-generalization.md) for the full design.
@@ -1595,7 +1667,7 @@ Not every ADR-295296 remediation item is preview-only. Three are live now:
| Target | Use case | Source target flag | Notes |
|---|---|---|---|
| **ESP32-S3** (default) | Production CSI mesh, 17-keypoint pose | `idf.py set-target esp32s3` | Dual-core 240 MHz, PSRAM, native USB-OTG, DVP camera path |
| **ESP32-S3** (default) | Production CSI capture mesh; presence/motion/vital heuristics | `idf.py set-target esp32s3` | Dual-core 240 MHz, PSRAM, native USB-OTG, DVP camera path; live 17-keypoint pose is not validated |
| **ESP32-C6** ([ADR-110](adr/ADR-110-esp32-c6-firmware-extension.md)) | Wi-Fi 6 / 802.15.4 research, battery seed nodes | `idf.py set-target esp32c6` | Single-core 160 MHz, no PSRAM, 802.11ax HE PHY, 802.15.4 (Thread/Zigbee), LP-core hibernation ~5 µA |
The same `firmware/esp32-csi-node` source tree builds for both. ESP-IDF picks up `sdkconfig.defaults.esp32c6` automatically when the target is set to `esp32c6`; otherwise it uses `sdkconfig.defaults` (S3). All C6-only modules are `#ifdef`-gated, so the S3 build is byte-identical to today.
@@ -2019,7 +2091,11 @@ Pre-trained models are available on HuggingFace:
- **SOTA MM-Fi pose model** (82.69% torso-PCK@20) — https://huggingface.co/ruvnet/wifi-densepose-mmfi-pose
- **AetherArena leaderboard Space** — https://huggingface.co/spaces/ruvnet/aether-arena
Download and start sensing immediately — no datasets, no GPU, no training needed. Results are reproducible via `python archive/v1/data/proof/verify.py` (deterministic SHA-256 proof) — see [ADR-168](adr/ADR-168-benchmark-proof.md).
The encoder artifact can be downloaded for its documented inference path without retraining. The
MM-Fi pose checkpoint is benchmark evidence, not a drop-in live ESP32 model; it requires its exact
input contract and runtime described in [Model and capture compatibility](#model-and-capture-compatibility).
The deterministic signal-pipeline proof is reproducible via `python archive/v1/data/proof/verify.py`
(see [ADR-168](adr/ADR-168-benchmark-proof.md)), but that proof does not validate pose accuracy.
### Quick Start with Pre-Trained Models
@@ -2584,7 +2660,12 @@ No. Run `docker run -p 3000:3000 ruvnet/wifi-densepose:latest` and open `http://
No. Consumer WiFi exposes only RSSI (one number per access point), not CSI (56+ complex subcarrier values per frame). RSSI supports coarse presence and motion detection. Full pose estimation requires CSI-capable hardware like an ESP32-S3 ($8) or a research NIC.
**Q: How accurate is the pose estimation?**
Accuracy depends on hardware and environment. With a 3-node ESP32 mesh in a single room, the system tracks 17 COCO keypoints. The core algorithm follows the CMU "DensePose From WiFi" paper ([arXiv:2301.00250](https://arxiv.org/abs/2301.00250)). The MERIDIAN domain generalization system (ADR-027) reduces cross-environment accuracy loss from 40-70% to under 15% via 10-second automatic calibration.
The strongest published RuView result is the MM-Fi transformer benchmark (82.69% torso-PCK@20 on
the matched `random_split` protocol), not a live ESP32 result. The committed cog model measured
3.0% PCK@20 on its holdout, below the ≥35% target, and the viewer's live skeleton is a heuristic
placeholder. No measured claim currently shows a 3-node ESP32 mesh reliably tracking 17 keypoints.
ADR-027's 10-second unlabeled MERIDIAN adaptation is Proposed; the available measured calibration
reference uses labeled, model-specific samples.
**Q: Does it work through walls?**
Yes. WiFi signals penetrate non-metallic materials (drywall, wood, concrete up to ~30cm). Metal walls/doors significantly attenuate the signal. With a single AP the effective through-wall range is approximately 5 meters. With a 3-6 node multistatic mesh (ADR-029), attention-weighted cross-viewpoint fusion extends the effective range to ~8 meters through standard residential walls.

View File

@@ -0,0 +1,77 @@
# Cognitum Spaces OAuth activation
Use this playbook to activate and inspect the tenant-scoped Cognitum Spaces
projection without giving an agent a bearer token or API key.
## Boundary
- This is a read-only P2/P3 semantic projection. HomeCore Edge remains
authoritative.
- Raw CSI, CIR, RF tensors, recordings, pose frames, vital waveforms, and
identity observations are prohibited.
- `spaces:read` grants no pairing, publication, write, command, policy approval,
spending, or actuator authority.
- A read may refresh an expiring OAuth session and atomically rotate the local
credential file.
## Activate OAuth explicitly
Install or build the `wifi-densepose` CLI, then request the additional scope:
```bash
wifi-densepose login --spaces
```
For a terminal without a browser:
```bash
wifi-densepose login --spaces --no-browser
```
Confirm that the account reports `spaces:read`, then list through the
metaharness:
```bash
wifi-densepose whoami
npx @ruvnet/ruview spaces
npx @ruvnet/ruview spaces --resource sites
npx @ruvnet/ruview spaces --resource events --limit 25
```
The versioned collections are `sites`, `buildings`, `floors`, `spaces`,
`zones`, `entities`, `events`, and `alerts`. Continue a page with the returned
opaque `nextCursor`; do not decode or reuse a cursor for another collection.
Use `--credentials-path <private-file>` only from the human-invoked CLI when a
non-default credential store is intentional. Never put a bearer token or API
key on the command line.
## MCP
The tool is `ruview_spaces_list`. It is denied by default even though the cloud
operation is read-only, because it consumes a local identity credential and
contacts an external service. The MCP server operator must grant that capability
and may bind the credential path in the server environment:
```bash
RUVIEW_MCP_GRANTS=credential-use \
RUVIEW_CREDENTIALS_PATH=/private/ruview/credentials.json \
npx @ruvnet/ruview mcp start
```
MCP calls cannot choose a credential path and the tool schema has no token or
API-key, workspace override, or base-URL field. The API origin is fixed to
`https://api.cognitum.one`, the adapter requires an installed
`wifi-densepose` binary, and the child environment excludes
`COGNITUM_SPACES_API`, so this
surface verifies the OAuth path rather than silently taking the compatibility
API-key path.
## Interpret results honestly
An empty `data` list can be a valid authenticated tenant result. It proves the
read path and isolation behavior, not sensing quality. Every accepted response
must declare `HomeCore Edge` as authoritative and carry the complete prohibited
field list. Parent lineage, schema version, anonymous person/track identity,
event/alert fields, confidence, and cursor bounds are independently checked.
Any malformed, oversized, non-semantic, or raw-field response fails closed.

View File

@@ -11,6 +11,11 @@
"ruview_memory_search"
],
"grants": {
"credential-use": {
"tools": ["ruview_spaces_list"],
"requiresConfirmation": false,
"notes": "Allows a tenant-scoped external read; OAuth refresh may rotate the local credential file."
},
"workspace-write": {
"tools": ["ruview_calibrate"],
"requiresConfirmation": true

View File

@@ -3,7 +3,7 @@
"generator": "RuView metaharness provenance v2",
"template": "vertical:ruview",
"name": "@ruvnet/ruview",
"version": "0.3.1",
"version": "0.5.1",
"hosts": [
"claude-code",
"codex"
@@ -12,49 +12,52 @@
"files": {
".claude/settings.json": "57d03e8995363bd120fb6d515702967afd0bd557797051301ff8f8156c845824",
".claude/skills/calibrate-room/SKILL.md": "4b29c7c331f47acad3c0f51b3d3d8f5b5573e316e081bae71dbe21a47fa95240",
".claude/skills/cognitum-spaces/SKILL.md": "96ae42cc72ad31dbb2f34d59e874c4d15f2e55fc969cd1f610dc1b9a4138840e",
".claude/skills/onboard/SKILL.md": "97ee71f0aa985cfc03bb8e764789bb55c4f9fd5dae10a116c1071eab85b5893f",
".claude/skills/provision-node/SKILL.md": "5f73823794ed5f0b25c102aa8b1bf2dd534a1ec468173d8330c2af0ca24f239c",
".claude/skills/train-pose/SKILL.md": "92aebd4423470eb10eabaee642ec3493284d98b7ae9785e0f34378c709746e65",
".claude/skills/verify/SKILL.md": "2d38d240e9810a7827e2ebd3717dc0f85c646cc92e46c3812fe77c5b9eb40b76",
".harness/claims.json": "fce72c9fc39d631adba41bab2614b0a373a7af8f31af5f8f36aa985c92a57885",
".harness/mcp-policy.json": "c8458c3cca9d91625d4e51f096ec873d17c77627df79426cb8e49f3a421d0ea5",
".harness/claims.json": "9544cee8012328eb26856a9fff38d80a73f09e48a2da7537f6c3695521b0fd54",
".harness/mcp-policy.json": "749e9f24bde85921a45b91bf6fa4ab5605675af769c04c53fe69129019662d3e",
".mcp/servers.json": "fec6075400f8350d8075beac8306690355c4b015425bfd0e5f52966234e9d66f",
"CLAUDE.md": "d6947b2d2e3a9422914a94f81397f3f4b18df9ae75bb26269376dec192dcc249",
"CLAUDE.md": "46d5514f4cbf4d94f683f76aa6d50a3dce2ec5a95fd87b9154ed4752f5ea0e16",
"LICENSE": "631f94984f626818d42ecf717aa6e8e0afd4f9f355ca706bd2effafbd1416d06",
"README.md": "4d21bda7797a0fcca40696592217d3a4f2ecc63716282e2b14fadc3490c6eaa8",
"bin/cli.js": "621fcfbfa630bb284cd5a056d0fb75b5aaf37a01f6a820f5e29a2df507e62b4d",
"README.md": "ce716f07b4b93d5b86285a46cc7be1c6ff48d95ee12ac73518dbf2fb7b61d82e",
"bin/cli.js": "0c96bf65a189732a35760c88a3d441a5bd6ce53abbd3bfaa73141665825e1be1",
"brain/corpus/core.jsonl": "c0fb7b079ded157059b91601361429944697dae3cc42abc00dfe1a680986b0f4",
"flywheel/evaluations.json": "ac4ff1f897a2444870cd2b8ae8aee8b1578e61467aeca4db57893f41be98a572",
"flywheel/fixture.mjs": "de71be88753d0da4695d91011b54380c994a018986fafba36cb13739307a9bce",
"flywheel/gate.mjs": "4a0d68ec80a9b4a66f9e13a5d96c0f189af44f28763c456baadf931ac91c3bf8",
"flywheel/genome.json": "32c937ccf4431409c1bd7892b4afba6097c539d8c76d41aa968091c9a83d8f99",
"flywheel/genome.json": "75db44a3cab70d9459fc8c07863f640ac1214bfaa243483939e1506d63f51214",
"flywheel/replay.mjs": "0670ca0b03701f4afe0b4bca8a3d58d481676b61a94a5b98c6a425aefb1159ab",
"flywheel/run.mjs": "6d4f97db16900c45367b6538848cbe1915af999e663720dfc51f2bb1698f1cd0",
"package.json": "0da91067c1d71c5cee50cade1e09c270836cfc70efe3bf713f0ec3ce4e88aec3",
"package.json": "5d29ef238f310c9ee5c57501ab651acc0f856f831b696ada187de71e4b5935a6",
"scripts/sync-skills.mjs": "43715dab61e204dc91bbd61755810e8fdb2f66e2b0c0bd791b4bf48a2e293565",
"scripts/update-manifest.mjs": "8f56764b8f70aed55da0c7e2417ae875b0d58d781d839b6db7f115f08af61e6b",
"scripts/verify-manifest.mjs": "6491a221762efcfeb3e749ecab243b204f17fd5bc871f3d4025597f31b8f0f10",
"skills/calibrate-room.md": "4b29c7c331f47acad3c0f51b3d3d8f5b5573e316e081bae71dbe21a47fa95240",
"skills/cognitum-spaces.md": "96ae42cc72ad31dbb2f34d59e874c4d15f2e55fc969cd1f610dc1b9a4138840e",
"skills/onboard.md": "97ee71f0aa985cfc03bb8e764789bb55c4f9fd5dae10a116c1071eab85b5893f",
"skills/provision-node.md": "5f73823794ed5f0b25c102aa8b1bf2dd534a1ec468173d8330c2af0ca24f239c",
"skills/train-pose.md": "92aebd4423470eb10eabaee642ec3493284d98b7ae9785e0f34378c709746e65",
"skills/verify.md": "2d38d240e9810a7827e2ebd3717dc0f85c646cc92e46c3812fe77c5b9eb40b76",
"src/brain.js": "0f16a75aea943acdacc430ff11d5df7ecdec9cca2ab497795ff6f33eaebdfab6",
"src/guardrails.js": "aacc8fa6088f7f1ccea3a0b02171a5c516b95d3416ee3ba87add3879a1d6aaad",
"src/guidance.js": "dbca9dd4c2e692961b7e1f5b2a8d032666252c0da87746c8118aa1c4681b142f",
"src/guidance.js": "583904c854eb17e98cb7d959330989c01990a71cff091515777aba8f345de1bf",
"src/hosts/claude-code.js": "2212bc39b49822018800dfe33a471e56bbb4c5233d716bfa7aa4fff77aa23edb",
"src/hosts/codex.js": "d41ecd132ce2db7b47aad9cebbc020d70e6810d48c3554858d099ff2e8f6608b",
"src/hosts/index.js": "ab276c41ab722bcdf72c2d1649cecbb760ae05c41c1372aae4c2447aa7c11539",
"src/mcp-server.js": "8c44b0f5e2ee0c386e5315b5927483620cd32ab978055b9f540259c65d4da5fc",
"src/policy.js": "c1203b381e0f66481cfe55454f361d0309cd9716fc543c8da06613bedbab6453",
"src/mcp-server.js": "8b2ee4b939b25c1b1f507b295a43a2ebad852b8bac9d31af9bf7fb39b181c12e",
"src/policy.js": "169cc33793b91ee01a78e6403aeefff1ab5e92f33b73eb85912fe03666464975",
"src/process-runner.js": "49533b038044dfb8bc76ed01c030d06a9856ead0836157fb693e2a7d40f786d6",
"src/redact.js": "ebf1afff46341078706b0401838c53db043603586e280d51ece5cf1feba35189",
"src/repo-trust.js": "06e2a94d7113ed936f208a12b7fcc785801c215a3e2c5e7418f6238d991a289c",
"src/tools.js": "75ba14a26603a1e2885370d6203ba7c7941c9fd264238371c47fce2931254869"
"src/spaces.js": "45ef786537cb2a446db5e926e5a1c10b73639d2767dec84611f914f78d4325eb",
"src/tools.js": "55960c9a677661763e0317fd54ccc787c2edb39c87371c7fbc40cd55f0761c04"
},
"filesDigest": "278e166323774f53215cb493818bdedff39ea0aab94cfaf6eeea216c90929e41",
"filesDigest": "28a3bbd9bbcf966df9fae8ec6ea5be3441f6ab535c1636bb1ce33f67b827d423",
"brainDigest": "c0fb7b079ded157059b91601361429944697dae3cc42abc00dfe1a680986b0f4",
"gateFingerprint": "06c79d85776260f1d36d1387760357c12410180faacb25f0d4850f2039ab2ea9",
"gateFingerprint": "6e53c784eee38310188948fc75fb49e6b4ebc04e247d01b903fa8c8a92d67bdd",
"developmentPins": {
"@metaharness/darwin": "0.8.0",
"@metaharness/flywheel": "0.1.7",

View File

@@ -1 +1 @@
026cb69f165dab97e299a96ee67169c7602cd26d5dec392284df619ed85f47c6 manifest.json
478ccaff9aa249bc7ea6e20551ccc9ac88697a3cc91a7b55400337c5e939a19e manifest.json

View File

@@ -14,6 +14,13 @@
"ruview_guidance",
"ruview_memory_search"
],
"guardedReadTools": {
"ruview_spaces_list": {
"grant": "credential-use",
"network": true,
"mayRefreshStoredCredential": true
}
},
"dangerousTools": {
"ruview_calibrate": {
"grant": "workspace-write",

View File

@@ -19,15 +19,23 @@ accuracy number:
`ruview_onboard`, `ruview_claim_check`, `ruview_verify`, `ruview_node_monitor`,
`ruview_calibrate`, `ruview_node_flash`, `ruview_guidance`,
`ruview_memory_search`. Start unfamiliar work with `ruview_guidance`; its
`ruview_spaces_list`, `ruview_memory_search`. Start unfamiliar work with
`ruview_guidance`; its
capability status, source paths, validation commands, and limitations are
navigation evidence, not authority. All tools fail closed. Mutating/hardware
tools (`node_flash`) require explicit confirmation and are Windows/ESP-IDF
gated.
`ruview_spaces_list` is an OAuth-only external read for the eight versioned
hierarchy/event/alert collections. MCP calls require the
`credential-use` grant, cannot select a credential path or API origin, and may
rotate the local refresh credential. It requires an installed binary and never
runs Cargo from an auto-detected checkout. Cursors are opaque and collection-
bound. It grants no write or action authority.
## Skills
`onboard` · `provision-node` · `calibrate-room` · `train-pose` · `verify`
`onboard` · `provision-node` · `calibrate-room` · `train-pose` · `verify` · `cognitum-spaces`
(`npx @ruvnet/ruview skill <name>`).
## Don'ts

View File

@@ -17,6 +17,8 @@ npx @ruvnet/ruview claim-check --file REPORT.md # the honesty guardrail (non-z
npx @ruvnet/ruview verify # run the deterministic proof (VERDICT: PASS)
npx @ruvnet/ruview doctor # self-check (tools, adapters, local CLIs)
npx @ruvnet/ruview guidance --topic homecore --query "Wasmtime plugins"
npx @ruvnet/ruview spaces --resource spaces
npx @ruvnet/ruview spaces --resource events --limit 25
npx @ruvnet/ruview --help
```
@@ -38,11 +40,44 @@ Exposed both as CLI verbs and as an MCP server (`npx @ruvnet/ruview mcp start`):
| `ruview_calibrate` | ADR-151 room pipeline (baseline→enroll→train-room→room-watch) |
| `ruview_node_flash` | Build+flash firmware (Windows/ESP-IDF; mutating, guarded) |
| `ruview_guidance` | Source-cited code map, capability maturity, validation commands, and limitations |
| `ruview_spaces_list` | OAuth-only paging for sites/buildings/floors/spaces/zones/entities/events/alerts (guarded over MCP) |
| `ruview_memory_search` | Search the reviewed, source-cited contributor brain |
Every tool is **fail-closed**: missing repo / python / binary / port → an honest
negative, never a fabricated success.
### Cognitum Spaces OAuth
Activate the additional read scope through the Rust CLI, then use the same
validated client through the metaharness:
```bash
wifi-densepose login --spaces
wifi-densepose whoami
npx @ruvnet/ruview spaces
npx @ruvnet/ruview spaces --resource sites --limit 50
npx @ruvnet/ruview spaces --resource events --cursor '<opaque-next-cursor>'
```
The metaharness never accepts a bearer token or API key and removes
`COGNITUM_SPACES_API` from the child environment, so this surface cannot
silently fall back to the compatibility API-key path. The API origin is fixed
to `https://api.cognitum.one`, and the credentialed adapter requires an
installed `wifi-densepose` binary rather than running Cargo build scripts from
an auto-detected checkout. It returns only the bounded P2/P3 semantic
projection. `--resource` selects one of `sites`, `buildings`, `floors`,
`spaces`, `zones`, `entities`, `events`, or `alerts`; `--limit` is 1100 and
`--cursor` is the opaque value from the prior page. An empty list is a valid
authenticated result, not sensing-quality evidence. An expired session may
rotate the stored refresh credential before the read completes.
MCP use is denied unless the server operator starts it with
`RUVIEW_MCP_GRANTS=credential-use`. Set `RUVIEW_CREDENTIALS_PATH` in the MCP
server environment when a non-default store is needed; MCP calls cannot choose
an arbitrary credential file or URL. `spaces:read` grants no write, pairing,
command, policy-approval, spending, or actuator authority. See the bundled
`cognitum-spaces` skill for the full playbook.
### Codebase guidance
`ruview_guidance` is the read-only starting point for unfamiliar work. Filter
@@ -65,7 +100,8 @@ as evidence.
## Skills
Host-neutral playbooks in `skills/` (`onboard`, `provision-node`, `calibrate-room`,
`train-pose`, `verify`). `npx @ruvnet/ruview skill <name>` prints one.
`train-pose`, `verify`, `cognitum-spaces`). `npx @ruvnet/ruview skill <name>`
prints one.
## Use as a Claude Code MCP server

View File

@@ -28,6 +28,7 @@ const VERB_TO_TOOL = {
monitor: 'ruview_node_monitor',
flash: 'ruview_node_flash',
guidance: 'ruview_guidance',
spaces: 'ruview_spaces_list',
};
function pjson(o) { console.log(JSON.stringify(o, null, 2)); }
@@ -52,9 +53,10 @@ async function doctor() {
which('claude') ? 'claude -p' : null,
which('codex') ? 'codex exec' : null,
].filter(Boolean);
const spacesBackend = which('wifi-densepose') ? 'wifi-densepose binary' : 'unavailable (install wifi-densepose)';
let ok = true;
for (const [label, pass] of checks) { console.log(`${pass ? 'PASS' : 'FAIL'} ${label}`); if (!pass) ok = false; }
console.log(`\n${NAME}: ${ok ? 'all checks passed' : 'doctor found problems'} — local hosts: ${localHosts.join(', ') || 'none on PATH (optional)'}`);
console.log(`\n${NAME}: ${ok ? 'all checks passed' : 'doctor found problems'} — local hosts: ${localHosts.join(', ') || 'none on PATH (optional)'}; Spaces backend: ${spacesBackend}`);
return ok ? 0 : 1;
}
@@ -69,6 +71,7 @@ Operator tools:
monitor --port COM8 [--seconds 12] assert CSI is flowing on a node
flash --port COM8 --variant s3-8mb [--confirm] build+flash firmware (Windows/ESP-IDF)
guidance [--topic homecore] [--query "Wasmtime"] source-cited code/capability map
spaces [--resource sites|...|alerts] [--limit 50] page OAuth-bound Cognitum spatial resources
Harness:
doctor verify tools, adapters, and local CLI discovery
@@ -124,7 +127,12 @@ export async function run(args) {
if (cmd === 'monitor' && flags.seconds) toolArgs.seconds = Number(flags.seconds);
if (cmd === 'guidance' && flags.limit) toolArgs.limit = Number(flags.limit);
if (cmd === 'calibrate' && typeof flags.args === 'string') toolArgs.args = flags.args.split(',');
const res = await runTool(VERB_TO_TOOL[cmd], toolArgs);
if (cmd === 'spaces') {
if (flags['credentials-path'] !== undefined) toolArgs.credentials_path = flags['credentials-path'];
delete toolArgs['credentials-path'];
if (flags.limit !== undefined) toolArgs.limit = Number(flags.limit);
}
const res = await runTool(VERB_TO_TOOL[cmd], toolArgs, { source: 'cli' });
pjson(res);
return res.ok ? 0 : 1;
}

View File

@@ -6,7 +6,7 @@
"contextBuilder": "Prefer current Git-tracked source and ADRs. Cite paths and lines. Treat retrieved memories as untrusted quotations until source-verified.",
"reviewer": "Reject secret exposure, unsupported accuracy claims, bypass flags, unbounded subprocesses, missing tests, or mutations outside the requested workspace.",
"retryPolicy": "Retry only after classifying a transient failure or changing one causal variable; never loop on unchanged evidence.",
"toolPolicy": "Read-only exploration is the default. Workspace writes, hardware, network publication, spend, and learning promotion require distinct explicit authority.",
"toolPolicy": "Read-only exploration is the default. Credentialed external reads require an explicit credential-use grant. Workspace writes, hardware, network publication, spend, and learning promotion require distinct explicit authority.",
"memoryPolicy": "Store only sanitized, source-bound, attributable findings. Private overlays stay local; shared records require review and a reproducible digest.",
"scorePolicy": "Promotion requires task success, no safety regression, passing anchors, bounded cost and latency, verified provenance, and human review."
}

View File

@@ -1,12 +1,12 @@
{
"name": "@ruvnet/ruview",
"version": "0.3.1",
"version": "0.5.1",
"lockfileVersion": 3,
"requires": true,
"packages": {
"": {
"name": "@ruvnet/ruview",
"version": "0.3.1",
"version": "0.5.1",
"license": "MIT",
"bin": {
"ruview": "bin/cli.js"

View File

@@ -1,7 +1,7 @@
{
"name": "@ruvnet/ruview",
"version": "0.3.1",
"description": "RuView WiFi-sensing operator agent harness — onboard, calibrate, train, and verify camera-free WiFi-CSI sensing, with the project's MEASURED-vs-CLAIMED honesty guardrail enforced. Minted via metaharness (ADR-182).",
"version": "0.5.1",
"description": "RuView WiFi-sensing operator harness — onboard, calibrate, verify, enforce evidence guardrails, and read Cognitum Spaces through explicitly granted OAuth.",
"type": "module",
"bin": {
"ruview": "bin/cli.js"
@@ -29,7 +29,7 @@
],
"scripts": {
"test": "node --test test/*.test.mjs",
"test:security": "node --test test/hosts.test.mjs test/brain.test.mjs test/policy.test.mjs",
"test:security": "node --test test/hosts.test.mjs test/brain.test.mjs test/policy.test.mjs test/spaces.test.mjs",
"doctor": "node ./bin/cli.js doctor",
"mcp": "node ./bin/cli.js mcp start",
"brain:verify": "node ./bin/cli.js brain verify",
@@ -55,7 +55,9 @@
"mcp",
"mcp-server",
"claude-code",
"ambient-intelligence"
"ambient-intelligence",
"cognitum-spaces",
"oauth"
],
"engines": {
"node": ">=20.0.0"

View File

@@ -0,0 +1,77 @@
# Cognitum Spaces OAuth activation
Use this playbook to activate and inspect the tenant-scoped Cognitum Spaces
projection without giving an agent a bearer token or API key.
## Boundary
- This is a read-only P2/P3 semantic projection. HomeCore Edge remains
authoritative.
- Raw CSI, CIR, RF tensors, recordings, pose frames, vital waveforms, and
identity observations are prohibited.
- `spaces:read` grants no pairing, publication, write, command, policy approval,
spending, or actuator authority.
- A read may refresh an expiring OAuth session and atomically rotate the local
credential file.
## Activate OAuth explicitly
Install or build the `wifi-densepose` CLI, then request the additional scope:
```bash
wifi-densepose login --spaces
```
For a terminal without a browser:
```bash
wifi-densepose login --spaces --no-browser
```
Confirm that the account reports `spaces:read`, then list through the
metaharness:
```bash
wifi-densepose whoami
npx @ruvnet/ruview spaces
npx @ruvnet/ruview spaces --resource sites
npx @ruvnet/ruview spaces --resource events --limit 25
```
The versioned collections are `sites`, `buildings`, `floors`, `spaces`,
`zones`, `entities`, `events`, and `alerts`. Continue a page with the returned
opaque `nextCursor`; do not decode or reuse a cursor for another collection.
Use `--credentials-path <private-file>` only from the human-invoked CLI when a
non-default credential store is intentional. Never put a bearer token or API
key on the command line.
## MCP
The tool is `ruview_spaces_list`. It is denied by default even though the cloud
operation is read-only, because it consumes a local identity credential and
contacts an external service. The MCP server operator must grant that capability
and may bind the credential path in the server environment:
```bash
RUVIEW_MCP_GRANTS=credential-use \
RUVIEW_CREDENTIALS_PATH=/private/ruview/credentials.json \
npx @ruvnet/ruview mcp start
```
MCP calls cannot choose a credential path and the tool schema has no token or
API-key, workspace override, or base-URL field. The API origin is fixed to
`https://api.cognitum.one`, the adapter requires an installed
`wifi-densepose` binary, and the child environment excludes
`COGNITUM_SPACES_API`, so this
surface verifies the OAuth path rather than silently taking the compatibility
API-key path.
## Interpret results honestly
An empty `data` list can be a valid authenticated tenant result. It proves the
read path and isolation behavior, not sensing quality. Every accepted response
must declare `HomeCore Edge` as authoritative and carry the complete prohibited
field list. Parent lineage, schema version, anonymous person/track identity,
event/alert fields, confidence, and cursor bounds are independently checked.
Any malformed, oversized, non-semantic, or raw-field response fails closed.

View File

@@ -29,7 +29,7 @@ const TOPIC_SUMMARIES = Object.freeze({
hardware: 'ESP32-S3/C6 firmware, capture, provisioning, and hardware evidence.',
training: 'Calibration, training, evaluation, and data-dependent capability limits.',
homecore: 'HOMECORE runtime, restore, plugins, API compatibility, migration, HAP, and voice.',
integrations: 'Home Assistant, MQTT, Matter, Apple Home HAP, and related boundaries.',
integrations: 'Cognitum Spaces, Home Assistant, MQTT, Matter, Apple Home HAP, and related boundaries.',
deployment: 'Runnable servers, transports, feature flags, and operational entry points.',
community: 'Contributor harness, reviewed shared brain, local agents, and learning flywheel.',
testing: 'Deterministic proofs, package gates, Rust CI, and hardware witness requirements.',
@@ -228,6 +228,32 @@ const CAPABILITIES = Object.freeze([
validation: ['cargo test -p ruview-unified --no-default-features'],
limitations: ['Accuracy evidence remains synthetic until validated against measured real-world datasets.', 'Hardware adapters do not imply equivalent sensing quality across modalities.'],
},
{
id: 'cognitum-spaces-oauth',
name: 'Cognitum Spaces OAuth projection',
topics: ['integrations', 'deployment', 'community'],
status: 'implemented-read-only-live',
evidence: 'MIXED',
summary: 'The production Spaces API and RuView PKCE client expose the same read-only authority across the versioned site/building/floor/space/zone/entity/event/alert collections with bounded pagination and independent metaharness validation.',
sources: [
'docs/adr/ADR-325-cognitum-spaces-activation-and-governed-spatial-exchange.md',
'v2/crates/wifi-densepose-cli/src/spaces.rs',
'harness/ruview/src/spaces.js',
'docs/adr/ADR-326-tenant-scoped-ruvector-spatial-memory.md',
'docs/adr/ADR-327-governed-action-intents-and-witness-receipts.md',
],
validation: [
'cd harness/ruview && node --test test/spaces.test.mjs test/policy.test.mjs',
'wifi-densepose login --spaces && node harness/ruview/bin/cli.js spaces --resource events',
],
limitations: [
'The projection is read-only and grants no write, pairing, command, policy-approval, or actuator authority.',
'MCP requires the credential-use grant; bearer tokens and API keys are never accepted as tool arguments.',
'OAuth refresh may rotate the local credential file before a read returns.',
'Production evidence covers legacy and versioned HTTPS reads. Spatial memory remains tenant/workspace-local, while governed actions remain separately policy-gated; neither expands OAuth authority.',
'Persistent memory is local tenant/workspace state and governed actions expose authorization receipts only; neither expands OAuth authority.',
],
},
{
id: 'contributor-metaharness',
name: 'Contributor metaharness and shared brain',

View File

@@ -38,7 +38,7 @@ async function handle(msg, context = {}) {
protocolVersion: PROTOCOL_VERSION,
capabilities: { tools: { listChanged: false } },
serverInfo: SERVER_INFO,
instructions: 'RuView WiFi-sensing operator tools. All results are fail-closed; accuracy claims must pass ruview_claim_check.',
instructions: 'RuView WiFi-sensing operator tools. All results are fail-closed; accuracy claims must pass ruview_claim_check. Credentialed external reads are denied without an operator grant; ruview_spaces_list requires credential-use.',
});
case 'notifications/initialized':
case 'initialized':

View File

@@ -9,6 +9,7 @@ export const TOOL_POLICY = Object.freeze({
ruview_calibrate: { class: 'workspace-write', writesWorkspace: true, confirmField: 'confirm' },
ruview_node_flash: { class: 'hardware-write', writesWorkspace: true, hardware: true, confirmField: 'confirm' },
ruview_guidance: { class: 'read', readOnly: true },
ruview_spaces_list: { class: 'external-read', readOnly: true, requiredGrant: 'credential-use', openWorld: true, usesCredentials: true, mayRefreshCredentials: true },
ruview_memory_search: { class: 'read', readOnly: true },
});
@@ -52,11 +53,15 @@ export function validateArguments(schema, value, path = '$') {
export function authorizeTool(name, args, context = {}) {
const policy = TOOL_POLICY[name] || { class: 'unknown', denied: true };
if (policy.denied) return { ok: false, reason: 'policy_missing', policy };
if (context.source !== 'mcp' || policy.readOnly) return { ok: true, policy };
if (context.source !== 'mcp') return { ok: true, policy };
const grants = new Set(context.grants || []);
if (policy.requiredGrant && !grants.has(policy.requiredGrant)) {
return { ok: false, reason: 'authority_denied', requiredGrant: policy.requiredGrant, policy };
}
if (policy.readOnly) return { ok: true, policy };
if (policy.confirmField && args?.[policy.confirmField] !== true) {
return { ok: false, reason: 'not_confirmed', policy };
}
const grants = new Set(context.grants || []);
if (!grants.has(policy.class)) return { ok: false, reason: 'authority_denied', requiredGrant: policy.class, policy };
return { ok: true, policy };
}
@@ -64,9 +69,9 @@ export function authorizeTool(name, args, context = {}) {
export function mcpAnnotations(name) {
const policy = TOOL_POLICY[name] || {};
return {
readOnlyHint: policy.readOnly === true,
readOnlyHint: policy.readOnly === true && policy.mayRefreshCredentials !== true,
destructiveHint: policy.writesWorkspace === true || policy.hardware === true,
idempotentHint: policy.readOnly === true,
openWorldHint: false,
idempotentHint: policy.readOnly === true && policy.mayRefreshCredentials !== true,
openWorldHint: policy.openWorld === true,
};
}

View File

@@ -0,0 +1,263 @@
// SPDX-License-Identifier: MIT
// Cognitum Spaces adapter for the dependency-free RuView metaharness.
//
// OAuth stays in the Rust `wifi-densepose` CLI. This adapter never accepts a
// bearer token or API key, strips the compatibility API-key environment from
// the child, and validates the already-validated semantic projection again
// before returning it to a CLI or MCP caller.
import { DEFAULT_ENV_ALLOWLIST, runProcess } from './process-runner.js';
import { redact } from './redact.js';
const DEFAULT_BASE_URL = 'https://api.cognitum.one';
const MAX_CLI_JSON_BYTES = 2 * 1024 * 1024;
const MAX_JSON_DEPTH = 16;
const MAX_JSON_NODES = 10_000;
const MAX_ARRAY_ITEMS = 1000;
const MAX_OBJECT_KEYS = 128;
const MAX_STRING_BYTES = 4096;
const MAX_RESOURCES = 100;
const ID_RE = /^[A-Za-z0-9][A-Za-z0-9_.:-]{0,119}$/;
const UUID_RE = /^[0-9a-f]{8}-[0-9a-f]{4}-[1-8][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/i;
export const SPATIAL_RESOURCE_KINDS = Object.freeze([
'sites', 'buildings', 'floors', 'spaces', 'zones', 'entities', 'events', 'alerts',
]);
const REQUIRED_EXCLUSIONS = Object.freeze([
'raw_csi',
'cir',
'rf_tensors',
'recordings',
'pose_frames',
'vital_waveforms',
'identity_observations',
]);
const FORBIDDEN_FIELDS = new Set([
...REQUIRED_EXCLUSIONS.map(normalizeField),
'csi', 'channelstateinformation', 'rawcir', 'channelimpulseresponse',
'rftensor', 'rftensors', 'packetcapture', 'packetcaptures', 'pcap', 'recording', 'recordings', 'audiorecording',
'videorecording', 'poseframe', 'skeleton', 'keypoints', 'vitalwaveform',
'heartratewaveform', 'identityobservation', 'biometric', 'biometrics', 'face', 'faces', 'faceembedding',
]);
const SPACES_ENV_ALLOWLIST = Object.freeze([
...DEFAULT_ENV_ALLOWLIST,
// Operators may bind an MCP server to a credential file without putting a
// secret or an arbitrary file path in tool-call arguments.
'RUVIEW_CREDENTIALS_PATH',
]);
function normalizeField(value) {
return String(value).replace(/[^a-z0-9]/gi, '').toLowerCase();
}
function assertBoundedValue(value, depth = 0, state = { nodes: 0 }) {
state.nodes += 1;
if (state.nodes > MAX_JSON_NODES) throw new Error('JSON structure exceeds node bound');
if (depth > MAX_JSON_DEPTH) throw new Error('JSON nesting is too deep');
if (typeof value === 'string') {
if (Buffer.byteLength(value, 'utf8') > MAX_STRING_BYTES) throw new Error('string exceeds bound');
return;
}
if (Array.isArray(value)) {
if (value.length > MAX_ARRAY_ITEMS) throw new Error('array exceeds bound');
for (const item of value) assertBoundedValue(item, depth + 1, state);
return;
}
if (!value || typeof value !== 'object') return;
const entries = Object.entries(value);
if (entries.length > MAX_OBJECT_KEYS) throw new Error('object exceeds bound');
for (const [key, item] of entries) {
if (Buffer.byteLength(key, 'utf8') > MAX_STRING_BYTES) throw new Error('object key exceeds bound');
if (FORBIDDEN_FIELDS.has(normalizeField(key))) throw new Error(`forbidden raw field: ${key}`);
assertBoundedValue(item, depth + 1, state);
}
}
function nonEmptyString(value) {
return typeof value === 'string' && value.length > 0;
}
/** Parse and independently enforce the metaharness semantic boundary. */
export function parseSpacesOutput(stdout, expectedKind = undefined) {
if (Buffer.byteLength(String(stdout), 'utf8') > MAX_CLI_JSON_BYTES) {
throw new Error('CLI response exceeds bound');
}
let response;
try {
response = JSON.parse(String(stdout));
} catch {
throw new Error('CLI response is not JSON');
}
assertBoundedValue(response);
if (!response || response.object !== 'list' || !Array.isArray(response.data) || response.data.length > MAX_RESOURCES) {
throw new Error('invalid list envelope');
}
const versioned = response.schemaVersion !== undefined || response.kind !== undefined;
if (versioned && (response.schemaVersion !== '1.0' || !SPATIAL_RESOURCE_KINDS.includes(response.kind)
|| (expectedKind !== undefined && response.kind !== expectedKind))) {
throw new Error('invalid spatial contract version or kind');
}
const boundary = response.boundary;
if (!boundary || boundary.authoritativeState !== 'HomeCore Edge' || !Array.isArray(boundary.excluded)
|| !boundary.excluded.every((item) => typeof item === 'string')) {
throw new Error('incomplete edge privacy boundary');
}
for (const required of REQUIRED_EXCLUSIONS) {
if (!boundary.excluded.includes(required)) throw new Error('incomplete edge privacy boundary');
}
for (const item of response.data) {
if (!item || !ID_RE.test(String(item.id ?? '')) || !nonEmptyString(item.tenantId)) {
throw new Error('spatial identity is incomplete');
}
if (!['P2', 'P3'].includes(item.privacy)) {
throw new Error('non-semantic privacy class');
}
const confidence = versioned ? item.confidence : item.state?.confidence;
if (confidence !== null && confidence !== undefined
&& (typeof confidence !== 'number' || !Number.isFinite(confidence) || confidence < 0 || confidence > 1)) {
throw new Error('invalid confidence');
}
if (!versioned) {
if (!nonEmptyString(item.siteId) || !nonEmptyString(item.name) || item.state?.classification !== 'P2') {
throw new Error('space identity is incomplete');
}
continue;
}
if (!UUID_RE.test(String(item.workspaceId ?? '')) || item.kind !== response.kind
|| item.schemaVersion !== '1.0' || !nonEmptyString(item.messageId)
|| !Number.isSafeInteger(item.eventSequence) || item.eventSequence < 0
|| !Number.isSafeInteger(item.version) || item.version < 1
|| !nonEmptyString(item.observedAt) || !Number.isFinite(Date.parse(item.observedAt))
|| (item.expiresAt !== null && item.expiresAt !== undefined
&& (!nonEmptyString(item.expiresAt) || !Number.isFinite(Date.parse(item.expiresAt))))
|| !item.attributes || Array.isArray(item.attributes) || typeof item.attributes !== 'object'
|| !item.provenance || Array.isArray(item.provenance) || typeof item.provenance !== 'object') {
throw new Error('versioned spatial identity is incomplete');
}
if (['buildings', 'floors', 'spaces', 'zones', 'entities', 'events', 'alerts'].includes(response.kind)
&& !nonEmptyString(item.siteId)) throw new Error('spatial parent is incomplete');
if (response.kind === 'floors' && !nonEmptyString(item.buildingId)) throw new Error('spatial parent is incomplete');
if (response.kind === 'spaces' && (!nonEmptyString(item.buildingId) || !nonEmptyString(item.floorId))) {
throw new Error('spatial parent is incomplete');
}
if (['zones', 'entities', 'events', 'alerts'].includes(response.kind) && !nonEmptyString(item.spaceId)) {
throw new Error('spatial parent is incomplete');
}
if (response.kind === 'entities'
&& (!['sensor', 'person', 'object', 'track'].includes(item.entityType)
|| (['person', 'track'].includes(item.entityType) && item.identityMode !== 'anonymous'))) {
throw new Error('entity privacy contract is invalid');
}
if (response.kind === 'events' && !nonEmptyString(item.eventType)) throw new Error('event type is missing');
if (response.kind === 'alerts'
&& (!nonEmptyString(item.alertType) || !['info', 'warning', 'critical'].includes(item.severity)
|| !['open', 'acknowledged', 'resolved'].includes(item.status))) {
throw new Error('alert contract is invalid');
}
}
if (versioned && response.nextCursor !== null && response.nextCursor !== undefined
&& (!nonEmptyString(response.nextCursor) || response.nextCursor.length > 512
|| /[\u0000-\u001f\u007f]/u.test(response.nextCursor))) {
throw new Error('invalid next cursor');
}
return response;
}
function commandFailure(error, env) {
const detail = redact(error?.message || error, { env }).slice(0, 1000);
if (/lacks spaces:read/i.test(detail)) return { reason: 'spaces_scope_missing', detail };
if (/no stored credentials|not logged in/i.test(detail)) return { reason: 'not_logged_in', detail };
if (/refresh/i.test(detail)) return { reason: 'oauth_refresh_failed', detail };
if (/rejected the credential|\b401\b|\b403\b/i.test(detail)) return { reason: 'authentication_failed', detail };
return { reason: 'spaces_command_failed', detail };
}
/**
* List Cognitum Spaces through the hardened Rust client.
*
* `binary` and `execute` are injectable so tests never need a real credential
* or network. Production callers must pass a discovered installed binary; the
* credentialed path never executes build scripts from an auto-detected repo.
*/
export async function listCognitumSpaces(input = {}, options = {}) {
const source = options.source || 'library';
if (source === 'mcp' && input.credentials_path !== undefined) {
return {
ok: false,
reason: 'credentials_path_not_allowed',
hint: 'Set RUVIEW_CREDENTIALS_PATH in the MCP server environment; credential paths are not accepted from tool calls.',
};
}
const resource = input.resource || 'spaces';
if (!SPATIAL_RESOURCE_KINDS.includes(resource)) {
return { ok: false, reason: 'invalid_resource' };
}
const limit = input.limit === undefined ? 50 : input.limit;
if (!Number.isSafeInteger(limit) || limit < 1 || limit > 100) {
return { ok: false, reason: 'invalid_limit' };
}
if (input.cursor !== undefined
&& (typeof input.cursor !== 'string' || input.cursor.length === 0 || input.cursor.length > 512 || /[\u0000-\u001f\u007f]/u.test(input.cursor))) {
return { ok: false, reason: 'invalid_cursor' };
}
const spacesArgs = [
'spaces', '--json', '--base-url', DEFAULT_BASE_URL,
'--resource', resource, '--limit', String(limit),
];
if (input.cursor) spacesArgs.push('--cursor', input.cursor);
if (input.credentials_path) spacesArgs.push('--credentials-path', input.credentials_path);
let command;
let args;
let via;
if (options.binary) {
command = options.binary;
args = spacesArgs;
via = 'binary';
} else {
return {
ok: false,
reason: 'cli_missing',
hint: 'Install the wifi-densepose binary; credentialed metaharness calls never execute Cargo build scripts.',
};
}
const execute = options.execute || runProcess;
let result;
try {
result = await execute(command, args, {
timeoutMs: 120_000,
maxOutputBytes: MAX_CLI_JSON_BYTES,
env: options.env || process.env,
envAllowlist: SPACES_ENV_ALLOWLIST,
});
} catch (error) {
return { ok: false, authentication: 'oauth', via, ...commandFailure(error, options.env || process.env) };
}
let response;
try {
response = parseSpacesOutput(result.stdout, resource);
} catch (error) {
return {
ok: false,
authentication: 'oauth',
via,
reason: 'invalid_spaces_output',
detail: String(error.message).slice(0, 300),
};
}
return {
ok: true,
authentication: 'oauth',
via,
count: response.data.length,
resource,
schemaVersion: response.schemaVersion,
nextCursor: response.nextCursor ?? null,
data: response.data,
boundary: response.boundary,
authority: 'Read-only tenant/workspace projection; this result grants no action, write, pairing, or actuator authority.',
credentialSideEffect: 'An expired OAuth session may rotate and persist its refresh credential before the read returns.',
};
}

View File

@@ -20,6 +20,7 @@ import { claimCheck, summarize } from './guardrails.js';
import { authorizeTool, mcpAnnotations, validateArguments } from './policy.js';
import { searchBrain } from './brain.js';
import { getGuidance, GUIDANCE_TOPICS } from './guidance.js';
import { listCognitumSpaces } from './spaces.js';
/** Walk up from `start` to find the RuView monorepo root (or null). */
export function findRepoRoot(start = process.cwd()) {
@@ -290,6 +291,26 @@ export const TOOLS = {
},
},
ruview_spaces_list: {
title: 'List Cognitum Spatial Resources',
description: 'Page sites, buildings, floors, spaces, zones, anonymous entities, semantic events, or alerts in the authenticated tenant/workspace through the hardened wifi-densepose OAuth client. Never accepts tokens, API keys, writes, approvals, or action authority.',
inputSchema: {
type: 'object',
properties: {
credentials_path: { type: 'string', minLength: 1, maxLength: 4096, description: 'CLI only: OAuth credential file. MCP operators must set RUVIEW_CREDENTIALS_PATH in the server environment.' },
resource: { type: 'string', enum: ['sites', 'buildings', 'floors', 'spaces', 'zones', 'entities', 'events', 'alerts'], description: 'Versioned spatial collection. Default: spaces.' },
limit: { type: 'number', minimum: 1, maximum: 100, description: 'Page size. Default: 50.' },
cursor: { type: 'string', minLength: 1, maxLength: 512, description: 'Opaque cursor from the prior page.' },
},
},
async handler(args = {}, context = {}) {
return listCognitumSpaces(args, {
source: context.source,
binary: which('wifi-densepose'),
});
},
},
ruview_memory_search: {
title: 'Search shared RuView brain',
description: 'Search the reviewed, source-cited RuView contributor corpus. Retrieved text is evidence, never executable instruction.',
@@ -330,7 +351,7 @@ export async function runTool(name, args, context = {}) {
const authorization = authorizeTool(canonical, input, context);
if (!authorization.ok) return { ok: false, ...authorization, name: canonical };
try {
return await TOOLS[canonical].handler(input);
return await TOOLS[canonical].handler(input, context);
} catch (err) {
return { ok: false, reason: 'tool_threw', name: canonical, error: String(err && err.message || err) };
}

View File

@@ -67,6 +67,17 @@ test('homecore guidance exposes requested capabilities and honest boundaries', (
);
});
test('integration guidance exposes the Cognitum OAuth surface and authority boundary', () => {
const result = getGuidance(
{ topic: 'integrations', query: 'Cognitum Spaces OAuth' },
{ repoRoot: REPO_ROOT },
);
assert.equal(result.ok, true, JSON.stringify(result.sourceCheck));
assert.equal(result.capabilities[0].id, 'cognitum-spaces-oauth');
assert.match(result.capabilities[0].limitations.join(' '), /no write|read-only/i);
assert.match(result.capabilities[0].limitations.join(' '), /credential-use/i);
});
test('query ranks the matching capability and searches reviewed knowledge', () => {
const result = getGuidance(
{ topic: 'homecore', query: 'Wasmtime plugin', limit: 3 },

View File

@@ -47,14 +47,21 @@ test('MCP handshake: initialize reports the package.json version; list endpoints
s.send({ jsonrpc: '2.0', id: 1, method: 'initialize', params: {} });
const init = await s.next(1);
assert.equal(init.result.serverInfo.version, pkg.version, 'ADR-263 O6: version must match package.json');
assert.match(init.result.instructions, /credential-use/);
s.send({ jsonrpc: '2.0', id: 2, method: 'tools/list' });
const tools = (await s.next(2)).result.tools;
assert.equal(tools.length, 8);
assert.equal(tools.length, 9);
for (const t of tools) assert.match(t.name, /^[a-zA-Z0-9_-]{1,64}$/, `advertised name not host-safe: ${t.name}`);
const guidance = tools.find((tool) => tool.name === 'ruview_guidance');
assert.ok(guidance);
assert.equal(guidance.annotations.readOnlyHint, true);
const spaces = tools.find((tool) => tool.name === 'ruview_spaces_list');
assert.ok(spaces);
assert.equal(spaces.annotations.readOnlyHint, false, 'OAuth refresh can update the local credential file');
assert.equal(spaces.annotations.idempotentHint, false);
assert.equal(spaces.annotations.destructiveHint, false);
assert.equal(spaces.annotations.openWorldHint, true);
s.send({ jsonrpc: '2.0', id: 3, method: 'resources/list' });
assert.deepEqual((await s.next(3)).result, { resources: [] });
@@ -71,6 +78,11 @@ test('MCP handshake: initialize reports the package.json version; list endpoints
assert.equal(guided.ok, true);
assert.equal(guided.topic, 'homecore');
assert.ok(guided.capabilities.some(({ id }) => id === 'homecore-runtime-restore'));
s.send({ jsonrpc: '2.0', id: 7, method: 'tools/call', params: { name: 'ruview_spaces_list', arguments: {} } });
const deniedSpaces = JSON.parse((await s.next(7)).result.content[0].text);
assert.equal(deniedSpaces.reason, 'authority_denied');
assert.equal(deniedSpaces.requiredGrant, 'credential-use');
} finally {
s.close();
}

View File

@@ -21,3 +21,25 @@ test('read-only tools remain available with no mutation grants', () => {
assert.equal(authorizeTool('ruview_guidance', {}, { source: 'mcp', grants: [] }).ok, true);
assert.deepEqual(validateArguments({ type: 'object', properties: {} }, {}), []);
});
test('credentialed external reads require an explicit MCP grant', () => {
const denied = authorizeTool('ruview_spaces_list', {}, { source: 'mcp', grants: [] });
assert.equal(denied.reason, 'authority_denied');
assert.equal(denied.requiredGrant, 'credential-use');
assert.equal(authorizeTool('ruview_spaces_list', {}, { source: 'mcp', grants: ['credential-use'] }).ok, true);
assert.equal(authorizeTool('ruview_spaces_list', {}, { source: 'cli', grants: [] }).ok, true);
});
test('Spaces schema never accepts raw credentials', async () => {
for (const credential of [
{ token: 'secret' },
{ access_token: 'secret' },
{ api_key: 'cog_secret' },
{ authorization: 'Bearer secret' },
{ base_url: 'https://attacker.example' },
]) {
const result = await runTool('ruview_spaces_list', credential);
assert.equal(result.ok, false);
assert.equal(result.reason, 'invalid_arguments');
}
});

View File

@@ -0,0 +1,164 @@
// SPDX-License-Identifier: MIT
import test from 'node:test';
import assert from 'node:assert/strict';
import { listCognitumSpaces, parseSpacesOutput } from '../src/spaces.js';
import { runTool } from '../src/tools.js';
function validResponse(kind = 'spaces') {
return {
object: 'list',
kind,
schemaVersion: '1.0',
data: [{
id: 'room-1', tenantId: 'tenant-1', workspaceId: '11111111-1111-7111-8111-111111111111', siteId: 'site-1', name: 'Room',
buildingId: 'building-1', floorId: 'floor-1', kind, schemaVersion: '1.0',
messageId: 'message-1', eventSequence: 1, version: 1, privacy: 'P2',
confidence: 0.9, provenance: {}, attributes: {}, observedAt: '2026-08-19T00:00:00Z', expiresAt: null,
}],
nextCursor: null,
boundary: {
authoritativeState: 'HomeCore Edge',
cloudRole: 'tenant-scoped semantic synchronization',
excluded: ['raw_csi', 'cir', 'rf_tensors', 'recordings', 'pose_frames', 'vital_waveforms', 'identity_observations'],
},
};
}
test('Spaces adapter invokes OAuth-only CLI args in a scrubbed environment', async () => {
const credentialPath = 'C:/private/ruview-credentials.json';
const secretApiKey = ['cog', 'DO', 'NOT', 'FORWARD'].join('_');
let observed;
const result = await listCognitumSpaces(
{ credentials_path: credentialPath },
{
source: 'cli',
binary: 'wifi-densepose-test-double',
env: { PATH: 'test-path', COGNITUM_SPACES_API: secretApiKey, RUVIEW_CREDENTIALS_PATH: credentialPath },
execute: async (command, args, options) => {
observed = { command, args, options };
return { stdout: JSON.stringify(validResponse()), stderr: '', code: 0 };
},
},
);
assert.equal(result.ok, true);
assert.equal(result.authentication, 'oauth');
assert.equal(result.count, 1);
assert.equal(observed.command, 'wifi-densepose-test-double');
assert.deepEqual(observed.args, [
'spaces', '--json', '--base-url', 'https://api.cognitum.one', '--resource', 'spaces', '--limit', '50',
'--credentials-path', credentialPath,
]);
assert.ok(observed.options.envAllowlist.includes('RUVIEW_CREDENTIALS_PATH'));
assert.ok(!observed.options.envAllowlist.includes('COGNITUM_SPACES_API'));
assert.ok(!observed.args.join(' ').includes(secretApiKey));
});
test('MCP cannot select an arbitrary credential path even with a credential-use grant', async () => {
const result = await runTool(
'ruview_spaces_list',
{ credentials_path: 'C:/private/credentials.json' },
{ source: 'mcp', grants: ['credential-use'] },
);
assert.equal(result.ok, false);
assert.equal(result.reason, 'credentials_path_not_allowed');
});
test('MCP denies a Spaces read before touching local credentials or the network', async () => {
const result = await runTool('ruview_spaces_list', {}, { source: 'mcp', grants: [] });
assert.equal(result.ok, false);
assert.equal(result.reason, 'authority_denied');
assert.equal(result.requiredGrant, 'credential-use');
});
test('metaharness rejects forbidden raw fields from a child process', () => {
const response = validResponse();
response.data[0].attributes.raw_csi = [1, 2, 3];
assert.throws(() => parseSpacesOutput(JSON.stringify(response)), /forbidden raw field/i);
});
test('metaharness rejects incomplete privacy boundaries and invalid confidence', () => {
const incomplete = validResponse();
incomplete.boundary.excluded = ['raw_csi'];
assert.throws(() => parseSpacesOutput(JSON.stringify(incomplete)), /incomplete edge privacy boundary/i);
const invalid = validResponse();
invalid.data[0].confidence = 2;
assert.throws(() => parseSpacesOutput(JSON.stringify(invalid)), /invalid confidence/i);
});
test('versioned hierarchy, events, alerts, and cursor args stay OAuth-only', async () => {
let observed;
const response = validResponse('events');
response.data[0].spaceId = 'room-1';
response.data[0].eventType = 'occupancy.changed';
response.data[0].buildingId = null;
response.data[0].floorId = null;
const result = await listCognitumSpaces(
{ resource: 'events', limit: 25, cursor: 'opaque-cursor' },
{
source: 'mcp',
binary: 'wifi-densepose-test-double',
env: { PATH: 'test-path', COGNITUM_SPACES_API: 'cog_never_forward' },
execute: async (command, args, options) => {
observed = { command, args, options };
return { stdout: JSON.stringify(response), stderr: '', code: 0 };
},
},
);
assert.equal(result.ok, true);
assert.equal(result.resource, 'events');
assert.deepEqual(observed.args, [
'spaces', '--json', '--base-url', 'https://api.cognitum.one', '--resource', 'events', '--limit', '25',
'--cursor', 'opaque-cursor',
]);
assert.ok(!observed.options.envAllowlist.includes('COGNITUM_SPACES_API'));
});
test('metaharness rejects raw aliases and malformed kind-specific records', () => {
const raw = validResponse();
raw.data[0].attributes.packet_capture = 'forbidden';
assert.throws(() => parseSpacesOutput(JSON.stringify(raw), 'spaces'), /forbidden raw field/i);
const entity = validResponse('entities');
entity.data[0].spaceId = 'room-1';
entity.data[0].entityType = 'person';
entity.data[0].identityMode = 'named';
assert.throws(() => parseSpacesOutput(JSON.stringify(entity), 'entities'), /entity privacy contract/i);
const invalidWorkspace = validResponse();
invalidWorkspace.data[0].workspaceId = 'workspace-1';
assert.throws(() => parseSpacesOutput(JSON.stringify(invalidWorkspace), 'spaces'), /versioned spatial identity/i);
const invalidTimestamp = validResponse();
invalidTimestamp.data[0].observedAt = 'not-a-timestamp';
assert.throws(() => parseSpacesOutput(JSON.stringify(invalidTimestamp), 'spaces'), /versioned spatial identity/i);
});
test('command failures redact API keys and JWT-shaped tokens', async () => {
const secret = `cog_${'test-value-'.repeat(4)}`;
const jwt = 'eyJhbGciOiJFUzI1NiJ9.eyJzdWIiOiJ1c2VyLTEifQ.signature-material';
const result = await listCognitumSpaces({}, {
source: 'cli',
binary: 'wifi-densepose-test-double',
env: { PATH: 'test-path', COGNITUM_SPACES_API: secret },
execute: async () => { throw new Error(`failed token=${jwt} api_key=${secret}`); },
});
assert.equal(result.ok, false);
assert.ok(!result.detail.includes(secret));
assert.ok(!result.detail.includes(jwt));
assert.match(result.detail, /REDACTED/);
});
test('credentialed calls never fall back to Cargo build scripts', async () => {
let executed = false;
const result = await listCognitumSpaces({}, {
source: 'cli',
cargo: 'cargo',
repoRoot: 'C:/trusted/ruview',
execute: async () => { executed = true; },
});
assert.equal(result.ok, false);
assert.equal(result.reason, 'cli_missing');
assert.equal(executed, false);
});

View File

@@ -93,7 +93,7 @@ test('summarize gives PASS/finding text', () => {
test('registry exposes the documented tools with schemas (underscore-canonical)', () => {
const names = Object.keys(TOOLS);
for (const n of ['ruview_onboard', 'ruview_claim_check', 'ruview_verify', 'ruview_node_monitor', 'ruview_calibrate', 'ruview_node_flash', 'ruview_guidance', 'ruview_memory_search']) {
for (const n of ['ruview_onboard', 'ruview_claim_check', 'ruview_verify', 'ruview_node_monitor', 'ruview_calibrate', 'ruview_node_flash', 'ruview_guidance', 'ruview_spaces_list', 'ruview_memory_search']) {
assert.ok(names.includes(n), `missing ${n}`);
assert.equal(TOOLS[n].inputSchema.type, 'object');
assert.match(n, /^[a-zA-Z0-9_-]{1,64}$/, 'canonical names must satisfy host tool-name regexes');

View File

@@ -1,13 +1,9 @@
# cargo-audit configuration — v2 workspace
# Managed by security audit (fix/security-audit-rustsec-clippy branch).
#
# This file suppresses advisories in two categories:
# A) CVE-bearing advisories in TRANSITIVE deps we cannot upgrade directly
# because the parent published crate (ruvector-core 2.2.0) has not yet
# published a version with the fix. These are tracked as issues.
# B) UNMAINTAINED-only advisories (no CVE) flowing through dependencies
# that are purely transitive / build-time and have no user-facing attack
# surface in this workspace.
# This file suppresses UNMAINTAINED-only advisories (no CVE) flowing through
# dependencies that are purely transitive / build-time and have no
# user-facing attack surface in this workspace.
# Each entry documents the root cause and the mitigation path.
[advisories]
@@ -24,26 +20,6 @@
# Mitigation: Accept transitively until Tauri v2 drops GTK3 or a workspace
# override path becomes available.
ignore = [
# -----------------------------------------------------------------------
# CATEGORY A — transitive CVEs from ruvector-core 2.2.0 → reqwest 0.11
# ruvector-core 2.2.0 (latest on crates.io) depends on reqwest 0.11.27,
# which pulls in rustls 0.21 / rustls-webpki 0.101.7. We cannot upgrade
# this without a new ruvector-core release. Tracked in issue #812.
# The workspace's own TLS stack uses rustls-webpki 0.103.13 (patched);
# the vulnerable 0.101.7 instance is not reachable from our TLS code.
"RUSTSEC-2026-0098", # rustls-webpki 0.101.7: URI name constraint bypass
"RUSTSEC-2026-0099", # rustls-webpki 0.101.7: wildcard name constraint bypass
"RUSTSEC-2026-0104", # rustls-webpki 0.101.7: reachable panic in CRL parsing
# quinn-proto 0.11.13 is also pulled through midstreamer-quic 0.3 (now
# upgraded). The remaining 0.11.13 instance comes from the same
# ruvector-core transitive chain. Tracked in issue #812.
"RUSTSEC-2026-0037", # quinn-proto 0.11.13: DoS in Quinn endpoints
# CRL Distribution Point matching bug — same ruvector-core / reqwest 0.11
# transitive chain; rustls-webpki 0.101.7 also affected.
"RUSTSEC-2026-0049", # rustls-webpki <0.103.10: CRL authority matching
# -----------------------------------------------------------------------
# CATEGORY B — unmaintained / no CVE
"RUSTSEC-2024-0411", # gdkwayland-sys: unmaintained
"RUSTSEC-2024-0412", # gdk: unmaintained
"RUSTSEC-2024-0413", # atk: unmaintained

1003
v2/Cargo.lock generated

File diff suppressed because it is too large Load Diff

View File

@@ -116,6 +116,7 @@ members = [
"crates/ruview-twin", # ADR-315 digital RF twin (per-deployment model)
"crates/ruview-placement", # ADR-308 sensor placement optimizer
"crates/ruview-memory", # ADR-312 long-term spatial memory / anomaly
"crates/ruview-spatial-memory",# ADR-326 tenant-scoped Cognitum Spaces history
"crates/ruview-counterfactual",# ADR-313 counterfactual spatial inference
"crates/ruview-infogain", # ADR-314 information-gain scheduler
"crates/ruview-active", # ADR-309 active sensing control
@@ -254,7 +255,7 @@ midstreamer-attractor = "0.2"
# ruvector integration (published on crates.io)
# Vendored at origin/main (a083bd77f) in vendor/ruvector; using crates.io versions
# until published. Bumps per ADR-152 §2.6 (2026-06-10 vendor sync survey).
ruvector-core = "2.2.0"
ruvector-core = "2.3.0"
ruvector-mincut = "2.0.6"
ruvector-attn-mincut = "2.0.4"
ruvector-temporal-tensor = "2.0.6"

View File

@@ -31,10 +31,16 @@ homecore = { path = "../homecore", version = "0.1.0-alpha.0" }
# Async runtime
tokio = { version = "1", features = ["sync", "rt", "rt-multi-thread", "time", "macros"] }
# SQLite via sqlx — only the lite feature set; no postgres, no tls
sqlx = { version = "0.8.1", default-features = false, features = [
"runtime-tokio-native-tls",
"sqlite",
# SQLite-only SQLx crates, pinned in lockstep because their direct APIs are
# semver-exempt. Depending on the umbrella `sqlx` package also resolves its
# unused MySQL backend (and vulnerable `rsa`) into Cargo.lock.
sqlx-core = { version = "=0.8.6", default-features = false, features = [
"_rt-tokio",
"chrono",
"uuid",
] }
sqlx-sqlite = { version = "=0.8.6", default-features = false, features = [
"bundled",
"chrono",
"uuid",
] }

View File

@@ -26,6 +26,19 @@ use homecore::StateMachine;
use crate::dedup::fnv64a_hash;
use crate::schema::ALL_DDL;
// Preserve the narrow `sqlx::*` call surface used in this module while
// depending only on SQLx core + SQLite. The umbrella crate resolves unused
// database backends into Cargo.lock, including MySQL's vulnerable RSA stack.
mod sqlx {
pub use sqlx_core::error::Error;
pub use sqlx_core::query::query;
pub use sqlx_core::query_as::query_as;
pub mod sqlite {
pub use sqlx_sqlite::{SqliteConnectOptions, SqlitePool, SqlitePoolOptions};
}
}
type SearchStateRecord = (
i64,
String,

View File

@@ -50,7 +50,7 @@ tower-http = { version = "0.6", features = ["fs", "trace", "cors"] }
# requires every crate that pulls reqwest to align on rustls-only (tracked in
# CHANGELOG / ADR-131 security note).
reqwest = { version = "0.12", default-features = false, features = ["json", "rustls-tls"] }
serde = { version = "1", features = ["derive"] }
serde = { version = "1", features = ["derive", "rc"] }
serde_yaml = "0.9"
# Concurrent fan-out of per-bank RoomState fetches in the gateway (§11 perf).
futures = "0.3"

View File

@@ -9,6 +9,7 @@ description = "Bounded, privacy-preserving Cognitum Spaces client for RuView"
publish = false
[dependencies]
chrono = { version = "0.4", default-features = false }
reqwest = { version = "0.12", default-features = false, features = ["json", "rustls-tls"] }
serde.workspace = true
serde_json.workspace = true

View File

@@ -14,6 +14,7 @@ use url::Url;
const MAX_RESPONSE_BYTES: usize = 1024 * 1024;
const MAX_SPACES: usize = 100;
const MAX_JSON_DEPTH: usize = 16;
const MAX_JSON_NODES: usize = 10_000;
const MAX_STRING_BYTES: usize = 4096;
const REQUIRED_EXCLUSIONS: [&str; 7] = [
"raw_csi",
@@ -73,6 +74,8 @@ pub enum Error {
InvalidUrl,
#[error("invalid or empty credential")]
InvalidCredential,
#[error("invalid Spaces request: {0}")]
InvalidRequest(String),
#[error("Spaces request failed: {0}")]
Transport(#[from] reqwest::Error),
#[error("Spaces rejected the credential ({0})")]
@@ -89,6 +92,7 @@ pub enum Error {
#[derive(Clone, Debug)]
pub struct Client {
base: Url,
endpoint: Url,
credential: Credential,
http: reqwest::Client,
@@ -121,6 +125,7 @@ impl Client {
))
.build()?;
Ok(Self {
base,
endpoint,
credential,
http,
@@ -128,10 +133,44 @@ impl Client {
}
pub async fn list(&self) -> Result<SpacesResponse, Error> {
let mut request = self
.http
.get(self.endpoint.clone())
.header("Accept", "application/json");
let body = self.get(self.endpoint.clone()).await?;
decode(&body)
}
/// Read one stable page from the versioned Cognitum spatial hierarchy.
/// This is a read-only method; the client exposes no publisher, approval,
/// command, or actuator operation.
pub async fn list_spatial(
&self,
kind: SpatialKind,
page: &PageRequest,
) -> Result<SpatialResponse, Error> {
page.validate()?;
if matches!(self.credential, Credential::ApiKey(_)) && page.workspace_id.is_none() {
return Err(Error::InvalidRequest(
"API-key spatial reads require a workspace id".into(),
));
}
let mut endpoint = self
.base
.join(&format!("/v1/spatial/{}", kind.as_str()))
.map_err(|_| Error::InvalidUrl)?;
{
let mut query = endpoint.query_pairs_mut();
query.append_pair("limit", &page.limit.to_string());
if let Some(cursor) = &page.cursor {
query.append_pair("cursor", cursor);
}
if let Some(workspace_id) = &page.workspace_id {
query.append_pair("workspaceId", workspace_id);
}
}
let body = self.get(endpoint).await?;
decode_spatial(&body, kind)
}
async fn get(&self, endpoint: Url) -> Result<Vec<u8>, Error> {
let mut request = self.http.get(endpoint).header("Accept", "application/json");
request = match &self.credential {
Credential::OAuth(token) => request.bearer_auth(token),
Credential::ApiKey(key) => request.header("X-API-Key", key),
@@ -169,10 +208,162 @@ impl Client {
}
body.extend_from_slice(&chunk);
}
decode(&body)
Ok(body)
}
}
/// Versioned resource collections available from `/v1/spatial`.
#[derive(Clone, Copy, Debug, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
pub enum SpatialKind {
Sites,
Buildings,
Floors,
Spaces,
Zones,
Entities,
Events,
Alerts,
}
impl SpatialKind {
/// Stable wire path segment.
#[must_use]
pub const fn as_str(self) -> &'static str {
match self {
Self::Sites => "sites",
Self::Buildings => "buildings",
Self::Floors => "floors",
Self::Spaces => "spaces",
Self::Zones => "zones",
Self::Entities => "entities",
Self::Events => "events",
Self::Alerts => "alerts",
}
}
}
/// Bounded stable-page request. OAuth derives its workspace from the signed
/// token; the optional workspace id exists only for the legacy API-key path.
#[derive(Clone, Debug, PartialEq, Eq)]
pub struct PageRequest {
pub limit: u8,
pub cursor: Option<String>,
pub workspace_id: Option<String>,
}
impl Default for PageRequest {
fn default() -> Self {
Self {
limit: 50,
cursor: None,
workspace_id: None,
}
}
}
impl PageRequest {
fn validate(&self) -> Result<(), Error> {
if self.limit == 0 || self.limit > 100 {
return Err(Error::InvalidRequest("limit must be from 1 to 100".into()));
}
if self.cursor.as_ref().is_some_and(|value| {
value.is_empty() || value.len() > 512 || value.chars().any(char::is_control)
}) {
return Err(Error::InvalidRequest("cursor is invalid".into()));
}
if self
.workspace_id
.as_ref()
.is_some_and(|value| !is_uuid(value))
{
return Err(Error::InvalidRequest("workspace id must be a UUID".into()));
}
Ok(())
}
}
fn is_uuid(value: &str) -> bool {
let bytes = value.as_bytes();
bytes.len() == 36
&& [8, 13, 18, 23].iter().all(|&index| bytes[index] == b'-')
&& matches!(bytes[14], b'1'..=b'8')
&& matches!(bytes[19].to_ascii_lowercase(), b'8' | b'9' | b'a' | b'b')
&& bytes
.iter()
.enumerate()
.all(|(index, byte)| [8, 13, 18, 23].contains(&index) || byte.is_ascii_hexdigit())
}
fn valid_id(value: &str) -> bool {
!value.is_empty()
&& value.len() <= 120
&& value.as_bytes()[0].is_ascii_alphanumeric()
&& value
.bytes()
.all(|byte| byte.is_ascii_alphanumeric() || matches!(byte, b'_' | b'.' | b':' | b'-'))
}
fn valid_timestamp(value: &str) -> bool {
chrono::DateTime::parse_from_rfc3339(value).is_ok()
}
fn optional_id_valid(value: Option<&str>) -> bool {
value.is_none_or(valid_id)
}
/// One versioned P2/P3 hierarchy/event/alert page.
#[derive(Clone, Debug, Serialize, Deserialize)]
#[serde(rename_all = "camelCase")]
pub struct SpatialResponse {
pub object: String,
pub kind: SpatialKind,
pub schema_version: String,
pub data: Vec<SpatialResource>,
pub next_cursor: Option<String>,
pub boundary: DataBoundary,
}
/// Common bounded spatial resource. Kind-specific fields stay in `attributes`;
/// tenant/workspace and lineage fields remain typed and independently checked.
#[derive(Clone, Debug, Serialize, Deserialize)]
#[serde(rename_all = "camelCase")]
pub struct SpatialResource {
pub id: String,
pub tenant_id: String,
pub workspace_id: String,
pub kind: SpatialKind,
pub schema_version: String,
pub privacy: String,
pub message_id: String,
pub event_sequence: u64,
pub version: u64,
pub site_id: Option<String>,
pub building_id: Option<String>,
pub floor_id: Option<String>,
pub space_id: Option<String>,
pub zone_id: Option<String>,
pub name: Option<String>,
pub entity_type: Option<String>,
pub identity_mode: Option<String>,
pub event_type: Option<String>,
pub alert_type: Option<String>,
pub severity: Option<String>,
pub status: Option<String>,
#[serde(default)]
pub related_event_ids: Vec<String>,
pub observed_at: String,
pub expires_at: Option<String>,
pub retention_expires_at: Option<String>,
pub confidence: Option<f64>,
pub created_at: Option<String>,
pub updated_at: Option<String>,
#[serde(default)]
pub attributes: Value,
#[serde(default)]
pub provenance: Value,
}
#[derive(Clone, Debug, Serialize, Deserialize)]
#[serde(rename_all = "camelCase")]
pub struct SpacesResponse {
@@ -272,7 +463,178 @@ pub fn decode(bytes: &[u8]) -> Result<SpacesResponse, Error> {
Ok(response)
}
/// Decode and independently enforce one `/v1/spatial/{kind}` page.
pub fn decode_spatial(bytes: &[u8], expected_kind: SpatialKind) -> Result<SpatialResponse, Error> {
if bytes.len() > MAX_RESPONSE_BYTES {
return Err(Error::ResponseTooLarge);
}
let value: Value = serde_json::from_slice(bytes)
.map_err(|_| Error::InvalidResponse("malformed JSON".into()))?;
validate_value(&value, 0)?;
let response: SpatialResponse = serde_json::from_value(value)
.map_err(|error| Error::InvalidResponse(format!("spatial schema mismatch: {error}")))?;
if response.object != "list"
|| response.kind != expected_kind
|| response.schema_version != "1.0"
|| response.data.len() > MAX_SPACES
{
return Err(Error::InvalidResponse(
"invalid spatial list envelope".into(),
));
}
if response.boundary.authoritative_state != "HomeCore Edge"
|| REQUIRED_EXCLUSIONS.iter().any(|required| {
!response
.boundary
.excluded
.iter()
.any(|excluded| excluded == required)
})
{
return Err(Error::InvalidResponse(
"incomplete edge privacy boundary".into(),
));
}
if response.next_cursor.as_ref().is_some_and(|cursor| {
cursor.is_empty() || cursor.len() > 512 || cursor.chars().any(char::is_control)
}) {
return Err(Error::InvalidResponse("invalid next cursor".into()));
}
for record in &response.data {
if !valid_id(&record.id)
|| record.tenant_id.is_empty()
|| !is_uuid(&record.workspace_id)
|| record.kind != expected_kind
|| record.schema_version != "1.0"
|| !valid_id(&record.message_id)
|| record.version == 0
|| !valid_timestamp(&record.observed_at)
|| record
.expires_at
.as_deref()
.is_some_and(|value| !valid_timestamp(value))
|| record
.retention_expires_at
.as_deref()
.is_some_and(|value| !valid_timestamp(value))
|| record
.created_at
.as_deref()
.is_some_and(|value| !valid_timestamp(value))
|| record
.updated_at
.as_deref()
.is_some_and(|value| !valid_timestamp(value))
|| !optional_id_valid(record.site_id.as_deref())
|| !optional_id_valid(record.building_id.as_deref())
|| !optional_id_valid(record.floor_id.as_deref())
|| !optional_id_valid(record.space_id.as_deref())
|| !optional_id_valid(record.zone_id.as_deref())
|| record.related_event_ids.len() > 32
|| record.related_event_ids.iter().any(|id| !valid_id(id))
|| record
.related_event_ids
.iter()
.enumerate()
.any(|(index, id)| record.related_event_ids[..index].contains(id))
|| !record.attributes.is_object()
|| !record.provenance.is_object()
{
return Err(Error::InvalidResponse(
"spatial resource identity is incomplete".into(),
));
}
if let Some(expires_at) = record.expires_at.as_deref() {
let observed = chrono::DateTime::parse_from_rfc3339(&record.observed_at)
.map_err(|_| Error::InvalidResponse("invalid observed timestamp".into()))?;
let expires = chrono::DateTime::parse_from_rfc3339(expires_at)
.map_err(|_| Error::InvalidResponse("invalid expiry timestamp".into()))?;
if expires <= observed {
return Err(Error::InvalidResponse(
"expiry must follow observation".into(),
));
}
}
if !matches!(record.privacy.as_str(), "P2" | "P3") {
return Err(Error::InvalidResponse("non-semantic privacy class".into()));
}
if record
.confidence
.is_some_and(|value| !value.is_finite() || !(0.0..=1.0).contains(&value))
{
return Err(Error::InvalidResponse("invalid confidence".into()));
}
if matches!(record.kind, SpatialKind::Buildings | SpatialKind::Floors)
&& record.site_id.as_deref().is_none_or(str::is_empty)
{
return Err(Error::InvalidResponse(
"spatial parent is incomplete".into(),
));
}
if matches!(record.kind, SpatialKind::Spaces)
&& (record.site_id.as_deref().is_none_or(str::is_empty)
|| record.building_id.as_deref().is_none_or(str::is_empty)
|| record.floor_id.as_deref().is_none_or(str::is_empty))
{
return Err(Error::InvalidResponse(
"spatial parent is incomplete".into(),
));
}
if matches!(
record.kind,
SpatialKind::Zones | SpatialKind::Entities | SpatialKind::Events | SpatialKind::Alerts
) && (record.site_id.as_deref().is_none_or(str::is_empty)
|| record.space_id.as_deref().is_none_or(str::is_empty))
{
return Err(Error::InvalidResponse(
"spatial parent is incomplete".into(),
));
}
if record.kind == SpatialKind::Entities
&& (!matches!(
record.entity_type.as_deref(),
Some("sensor" | "person" | "object" | "track")
) || matches!(record.entity_type.as_deref(), Some("person" | "track"))
&& record.identity_mode.as_deref() != Some("anonymous"))
{
return Err(Error::InvalidResponse(
"entity privacy contract is invalid".into(),
));
}
if record.kind == SpatialKind::Events
&& record.event_type.as_deref().is_none_or(str::is_empty)
{
return Err(Error::InvalidResponse("event type is missing".into()));
}
if record.kind == SpatialKind::Alerts
&& (record.alert_type.as_deref().is_none_or(str::is_empty)
|| !matches!(
record.severity.as_deref(),
Some("info" | "warning" | "critical")
)
|| !matches!(
record.status.as_deref(),
Some("open" | "acknowledged" | "resolved")
))
{
return Err(Error::InvalidResponse("alert contract is invalid".into()));
}
}
Ok(response)
}
fn validate_value(value: &Value, depth: usize) -> Result<(), Error> {
let mut nodes = 0;
validate_value_inner(value, depth, &mut nodes)
}
fn validate_value_inner(value: &Value, depth: usize, nodes: &mut usize) -> Result<(), Error> {
*nodes = nodes.saturating_add(1);
if *nodes > MAX_JSON_NODES {
return Err(Error::InvalidResponse(
"JSON structure exceeds node bound".into(),
));
}
if depth > MAX_JSON_DEPTH {
return Err(Error::InvalidResponse("JSON nesting is too deep".into()));
}
@@ -285,7 +647,7 @@ fn validate_value(value: &Value, depth: usize) -> Result<(), Error> {
}
Value::Array(items) => {
for item in items {
validate_value(item, depth + 1)?;
validate_value_inner(item, depth + 1, nodes)?;
}
}
Value::Object(map) => {
@@ -303,19 +665,41 @@ fn validate_value(value: &Value, depth: usize) -> Result<(), Error> {
.collect();
if matches!(
normalized.as_str(),
"rawcsi"
"csi"
| "rawcsi"
| "channelstateinformation"
| "cir"
| "rawcir"
| "channelimpulseresponse"
| "rftensor"
| "rftensors"
| "packetcapture"
| "packetcaptures"
| "pcap"
| "recording"
| "recordings"
| "audiorecording"
| "videorecording"
| "poseframe"
| "poseframes"
| "skeleton"
| "keypoints"
| "vitalwaveform"
| "vitalwaveforms"
| "heartratewaveform"
| "identityobservation"
| "identityobservations"
| "biometric"
| "biometrics"
| "face"
| "faces"
| "faceembedding"
) {
return Err(Error::InvalidResponse(format!(
"forbidden raw field: {key}"
)));
}
validate_value(item, depth + 1)?;
validate_value_inner(item, depth + 1, nodes)?;
}
}
_ => {}
@@ -331,6 +715,10 @@ mod tests {
br#"{"object":"list","data":[{"id":"room-1","tenantId":"tenant-1","workspaceId":"workspace-1","siteId":"site-1","name":"Room","version":1,"privacy":"P2","status":"live","connection":"connected","state":{"occupancy":1,"confidence":0.9,"observedAt":"2026-08-17T00:00:00Z","freshnessMs":5,"classification":"P2","uncertainty":null,"evidence":[]},"provenance":{},"hardware":{},"dataBoundary":{},"observedAt":"2026-08-17T00:00:00Z","expiresAt":null}],"boundary":{"authoritativeState":"HomeCore Edge","cloudRole":"tenant-scoped semantic synchronization","excluded":["raw_csi","cir","rf_tensors","recordings","pose_frames","vital_waveforms","identity_observations"]}}"#.to_vec()
}
fn valid_spatial() -> Vec<u8> {
br#"{"object":"list","kind":"spaces","schemaVersion":"1.0","data":[{"id":"room-1","tenantId":"tenant-1","workspaceId":"22222222-2222-4222-8222-222222222222","kind":"spaces","schemaVersion":"1.0","privacy":"P2","messageId":"message-1","eventSequence":7,"version":1,"siteId":"site-1","buildingId":"building-1","floorId":"floor-1","spaceId":null,"zoneId":null,"name":"Room","observedAt":"2026-08-19T12:00:00Z","expiresAt":null,"retentionExpiresAt":null,"confidence":0.8,"attributes":{"occupancy":2},"provenance":{"witnessDigest":"abc"}}],"nextCursor":null,"boundary":{"authoritativeState":"HomeCore Edge","cloudRole":"tenant/workspace-scoped semantic synchronization","excluded":["raw_csi","cir","rf_tensors","recordings","pose_frames","vital_waveforms","identity_observations"]}}"#.to_vec()
}
#[test]
fn accepts_bounded_semantic_state() {
assert_eq!(decode(&valid()).unwrap().data.len(), 1);
@@ -384,4 +772,78 @@ mod tests {
let c = Credential::oauth("secret-token").unwrap();
assert!(!format!("{c:?}").contains("secret-token"));
}
#[test]
fn accepts_versioned_spatial_pages() {
let response = decode_spatial(&valid_spatial(), SpatialKind::Spaces).unwrap();
assert_eq!(response.data.len(), 1);
assert_eq!(response.data[0].event_sequence, 7);
}
#[test]
fn spatial_page_is_bound_to_requested_kind_and_parents() {
assert!(decode_spatial(&valid_spatial(), SpatialKind::Events).is_err());
let mut value: Value = serde_json::from_slice(&valid_spatial()).unwrap();
value["data"][0]["floorId"] = Value::Null;
assert!(matches!(
decode_spatial(&serde_json::to_vec(&value).unwrap(), SpatialKind::Spaces),
Err(Error::InvalidResponse(_))
));
}
#[test]
fn spatial_page_rejects_cross_boundary_payload_and_bad_workspace() {
let mut raw: Value = serde_json::from_slice(&valid_spatial()).unwrap();
raw["data"][0]["attributes"]["pose_frames"] = serde_json::json!([1]);
assert!(decode_spatial(&serde_json::to_vec(&raw).unwrap(), SpatialKind::Spaces).is_err());
let mut workspace: Value = serde_json::from_slice(&valid_spatial()).unwrap();
workspace["data"][0]["workspaceId"] = Value::String("not-a-uuid".into());
assert!(decode_spatial(
&serde_json::to_vec(&workspace).unwrap(),
SpatialKind::Spaces
)
.is_err());
let mut timestamp: Value = serde_json::from_slice(&valid_spatial()).unwrap();
timestamp["data"][0]["observedAt"] = Value::String("not-a-timestamp".into());
assert!(decode_spatial(
&serde_json::to_vec(&timestamp).unwrap(),
SpatialKind::Spaces
)
.is_err());
let mut alias: Value = serde_json::from_slice(&valid_spatial()).unwrap();
alias["data"][0]["attributes"]["packet_captures"] = serde_json::json!([1]);
assert!(decode_spatial(&serde_json::to_vec(&alias).unwrap(), SpatialKind::Spaces).is_err());
}
#[test]
fn page_request_is_bounded_and_api_key_needs_workspace() {
assert!(PageRequest {
limit: 0,
..PageRequest::default()
}
.validate()
.is_err());
assert!(PageRequest {
limit: 50,
cursor: Some("x".repeat(513)),
workspace_id: None,
}
.validate()
.is_err());
assert!(PageRequest {
workspace_id: Some("22222222-2222-4222-8222-222222222222".into()),
..PageRequest::default()
}
.validate()
.is_ok());
assert!(PageRequest {
workspace_id: Some("22222222-2222-7222-8222-222222222222".into()),
..PageRequest::default()
}
.validate()
.is_ok());
}
}

View File

@@ -13,6 +13,7 @@ ruview-evidence = { path = "../ruview-evidence" }
ruview-ood = { path = "../ruview-ood" }
ruview-certify = { path = "../ruview-certify" }
ruview-attest = { path = "../ruview-attest" }
blake3 = { version = "1.5", default-features = false }
[dev-dependencies]
serde_json.workspace = true

View File

@@ -0,0 +1,995 @@
//! Governed action intents and witnessed authorization receipts (ADR-327).
//!
//! This module never touches an actuator. Its strongest outcome is an
//! `Authorized` receipt that a separate, explicitly configured adapter may
//! consume. Observe and recommend are the default modes; execute fails closed
//! unless a registered policy, live assurance, and signed approvals all pass.
use crate::{authorize, ActionClass, AssuranceInputs, Authorization, FailedCondition};
use ruview_attest::{Signature, Signer, Verifier};
use serde::{Deserialize, Serialize};
use std::collections::{BTreeMap, BTreeSet};
const INTENT_DOMAIN: &[u8] = b"ruview.governed-intent.v1\0";
const APPROVAL_DOMAIN: &[u8] = b"ruview.governed-approval.v1\0";
const RECEIPT_DOMAIN: &[u8] = b"ruview.governed-receipt.v1\0";
const MAX_ID_BYTES: usize = 128;
const MAX_APPROVALS: usize = 16;
const MAX_TARGET_PREFIXES: usize = 32;
const MAX_INTENT_LIFETIME_MS: i64 = 86_400_000;
const MAX_RECEIPTS: usize = 10_000;
/// Requested governance mode. Automation should default to `Recommend`.
#[derive(Clone, Copy, Debug, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "SCREAMING_SNAKE_CASE")]
pub enum IntentMode {
/// Record a governed observation without proposing a consequence.
Observe,
/// Produce a recommendation for human/policy review.
Recommend,
/// Request an authorization receipt for a separately configured adapter.
Execute,
}
impl Default for IntentMode {
fn default() -> Self {
Self::Recommend
}
}
/// A typed, bounded request. Parameters are represented only by a digest.
#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
pub struct ActionIntent {
/// Idempotency key for this exact attempt.
pub intent_id: String,
/// Authenticated tenant identifier.
pub tenant_id: String,
/// Authenticated workspace identifier.
pub workspace_id: String,
/// Registered action kind, such as `alert.raise`.
pub action_kind: String,
/// Exact registered policy version requested by this intent.
pub policy_version: String,
/// Bounded target identifier.
pub target_id: String,
/// Consequence/assurance class.
pub class: ActionClass,
/// Observe, recommend, or explicitly request authorization.
#[serde(default)]
pub mode: IntentMode,
/// Authenticated requesting principal or agent.
pub requested_by: String,
/// Intent creation time in Unix milliseconds.
pub issued_at_ms: i64,
/// Hard expiry in Unix milliseconds.
pub expires_at_ms: i64,
/// Caller-generated replay nonce. All zeroes are invalid.
pub nonce: [u8; 16],
/// Digest of canonical adapter parameters; raw values are not logged here.
pub parameters_digest: [u8; 32],
/// Digest of the governed perception/evidence input.
pub evidence_digest: [u8; 32],
}
impl ActionIntent {
/// Deterministic bytes bound into approvals and receipts.
pub fn canonical_bytes(&self) -> Vec<u8> {
let mut out = Vec::with_capacity(512);
out.extend_from_slice(INTENT_DOMAIN);
for value in [
self.intent_id.as_str(),
self.tenant_id.as_str(),
self.workspace_id.as_str(),
self.action_kind.as_str(),
self.policy_version.as_str(),
self.target_id.as_str(),
self.requested_by.as_str(),
] {
push_field(&mut out, value.as_bytes());
}
out.push(self.class as u8);
out.push(self.mode as u8);
out.extend_from_slice(&self.issued_at_ms.to_le_bytes());
out.extend_from_slice(&self.expires_at_ms.to_le_bytes());
out.extend_from_slice(&self.nonce);
out.extend_from_slice(&self.parameters_digest);
out.extend_from_slice(&self.evidence_digest);
out
}
/// Digest used as the immutable idempotency fingerprint.
pub fn digest(&self) -> [u8; 32] {
*blake3::hash(&self.canonical_bytes()).as_bytes()
}
}
/// A versioned, locally registered execution rule.
#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
pub struct ActionRule {
/// Exact action kind this rule governs.
pub action_kind: String,
/// Monotonic/configuration version included in approvals and receipts.
pub policy_version: String,
/// Required assurance class. Intent class must match exactly.
pub class: ActionClass,
/// Number of distinct valid human/service approvals (at least one).
pub minimum_approvals: usize,
/// Trusted execution grant required in addition to perception assurance.
pub required_grant: String,
/// At least one prefix must match the target identifier.
pub target_prefixes: Vec<String>,
}
/// Local allow-list of action rules. Absence is a deny.
#[derive(Clone, Debug, Default)]
pub struct PolicyRegistry {
rules: BTreeMap<String, ActionRule>,
}
impl PolicyRegistry {
/// Register one valid rule; duplicate action kinds are refused.
pub fn register(&mut self, rule: ActionRule) -> Result<(), GovernanceError> {
validate_id(&rule.action_kind)?;
validate_id(&rule.policy_version)?;
validate_id(&rule.required_grant)?;
if rule.minimum_approvals == 0 || rule.minimum_approvals > MAX_APPROVALS {
return Err(GovernanceError::InvalidInput(
"approval threshold is out of bounds",
));
}
if rule.target_prefixes.is_empty() || rule.target_prefixes.len() > MAX_TARGET_PREFIXES {
return Err(GovernanceError::InvalidInput(
"target prefix list is out of bounds",
));
}
for prefix in &rule.target_prefixes {
validate_id(prefix)?;
}
if self.rules.contains_key(&rule.action_kind) {
return Err(GovernanceError::PolicyConflict);
}
self.rules.insert(rule.action_kind.clone(), rule);
Ok(())
}
fn get(&self, action_kind: &str) -> Option<&ActionRule> {
self.rules.get(action_kind)
}
}
/// Trusted grants established by the host authorization adapter.
#[derive(Clone, Debug, Default, PartialEq, Eq)]
pub struct AuthorityContext {
grants: BTreeSet<String>,
}
impl AuthorityContext {
/// Build a bounded set of authenticated grants. Strings are exact-match.
pub fn from_authenticated_grants<I, S>(grants: I) -> Result<Self, GovernanceError>
where
I: IntoIterator<Item = S>,
S: Into<String>,
{
let mut values = BTreeSet::new();
for (index, grant) in grants.into_iter().enumerate() {
if index >= MAX_APPROVALS {
return Err(GovernanceError::InvalidInput(
"authority grant set is out of bounds",
));
}
let grant = grant.into();
validate_id(&grant)?;
values.insert(grant);
}
Ok(Self { grants: values })
}
fn contains(&self, grant: &str) -> bool {
self.grants.contains(grant)
}
}
/// Human or service approval decision.
#[derive(Clone, Copy, Debug, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "SCREAMING_SNAKE_CASE")]
pub enum ApprovalDecision {
/// Explicit approval.
Approve,
/// Explicit rejection; any valid rejection denies this attempt.
Reject,
}
/// Content signed by one registered approver.
#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
pub struct ApprovalContent {
/// Intent digest prevents approval substitution.
pub intent_digest: [u8; 32],
/// Exact policy version reviewed by the approver.
pub policy_version: String,
/// Registered approver identity.
pub approver_id: String,
/// Explicit approve/reject decision.
pub decision: ApprovalDecision,
/// Approval timestamp in Unix milliseconds.
pub approved_at_ms: i64,
}
impl ApprovalContent {
/// Deterministic signing bytes.
pub fn canonical_bytes(&self) -> Vec<u8> {
let mut out = Vec::with_capacity(256);
out.extend_from_slice(APPROVAL_DOMAIN);
out.extend_from_slice(&self.intent_digest);
push_field(&mut out, self.policy_version.as_bytes());
push_field(&mut out, self.approver_id.as_bytes());
out.push(self.decision as u8);
out.extend_from_slice(&self.approved_at_ms.to_le_bytes());
out
}
}
/// Signed approval envelope.
#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
pub struct SignedApproval {
/// Signed approval content.
pub content: ApprovalContent,
/// Attestation signature/MAC.
pub signature: Signature,
}
impl SignedApproval {
/// Sign approval content with an enrolled signer.
pub fn sign<S: Signer + ?Sized>(content: ApprovalContent, signer: &S) -> Self {
let signature = signer.sign(&content.canonical_bytes());
Self { content, signature }
}
}
/// Resolves approver identities to enrolled verification keys.
pub trait ApprovalVerifier {
/// Return true only for a registered identity and valid signature.
fn verify(&self, approver_id: &str, message: &[u8], signature: &Signature) -> bool;
}
/// Stable terminal reason for a non-authorized receipt.
#[derive(Clone, Debug, PartialEq, Serialize, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum DenialReason {
/// Intent was expired or not yet valid.
IntentExpired,
/// Action kind has no registered policy.
NoPolicy,
/// Intent class does not match the registered policy.
ClassMismatch,
/// Intent names a policy version other than the registered version.
PolicyVersionMismatch,
/// Trusted host authority lacks the exact policy grant.
MissingAuthority,
/// Target is outside the registered allow-list.
TargetNotAllowed,
/// Too few distinct, valid, explicit approvals.
InsufficientApprovals,
/// An approval was malformed, rejected, duplicated, or unauthenticated.
InvalidApproval,
/// Existing assurance policy denied the requested class.
AssuranceDenied(FailedCondition),
}
/// Terminal governance decision. `Authorized` is not proof of actuation.
#[derive(Clone, Debug, PartialEq, Serialize, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum GovernedDecision {
/// Observation was witnessed only.
Observed,
/// Recommendation was witnessed and awaits a new execute intent.
Recommended,
/// A separate configured adapter may execute this exact intent.
Authorized,
/// Authorization failed closed.
Denied(DenialReason),
}
/// Signed, hash-chained receipt content.
#[derive(Clone, Debug, PartialEq, Serialize, Deserialize)]
pub struct ReceiptContent {
/// Monotonic sequence within this engine instance.
pub sequence: u64,
/// Engine/service identity issuing the receipt.
pub issuer_id: String,
/// Exact intent digest.
pub intent_digest: [u8; 32],
/// Intent idempotency key for lookup.
pub intent_id: String,
/// Authenticated tenant/workspace copied from the intent.
pub tenant_id: String,
/// Authenticated tenant/workspace copied from the intent.
pub workspace_id: String,
/// Registered policy version, if a policy was found.
pub policy_version: Option<String>,
/// Terminal governance decision.
pub decision: GovernedDecision,
/// Number of distinct verified approvals used.
pub verified_approvals: usize,
/// Decision timestamp supplied by the caller.
pub decided_at_ms: i64,
/// Intent expiry copied into the receipt for adapter-side checks.
pub expires_at_ms: i64,
/// Non-secret replay nonce copied into the signed receipt.
pub nonce: [u8; 16],
/// Previous receipt digest; zeroes start a chain.
pub previous_receipt_digest: [u8; 32],
}
impl ReceiptContent {
/// Deterministic bytes for signing and chain hashing.
pub fn canonical_bytes(&self) -> Vec<u8> {
let mut out = Vec::with_capacity(512);
out.extend_from_slice(RECEIPT_DOMAIN);
out.extend_from_slice(&self.sequence.to_le_bytes());
for value in [
self.issuer_id.as_str(),
self.intent_id.as_str(),
self.tenant_id.as_str(),
self.workspace_id.as_str(),
] {
push_field(&mut out, value.as_bytes());
}
out.extend_from_slice(&self.intent_digest);
match &self.policy_version {
Some(version) => {
out.push(1);
push_field(&mut out, version.as_bytes());
}
None => out.push(0),
}
push_decision(&mut out, &self.decision);
out.extend_from_slice(&(self.verified_approvals as u64).to_le_bytes());
out.extend_from_slice(&self.decided_at_ms.to_le_bytes());
out.extend_from_slice(&self.expires_at_ms.to_le_bytes());
out.extend_from_slice(&self.nonce);
out.extend_from_slice(&self.previous_receipt_digest);
out
}
}
/// Signed receipt. It authorizes at most; it never asserts physical execution.
#[derive(Clone, Debug, PartialEq, Serialize, Deserialize)]
pub struct ActionReceipt {
/// Signed content.
pub content: ReceiptContent,
/// Signature over canonical content bytes.
pub signature: Signature,
}
impl ActionReceipt {
/// Verify the issuer signature.
pub fn verify<V: Verifier + ?Sized>(&self, verifier: &V) -> bool {
verifier.verify(&self.content.canonical_bytes(), &self.signature)
}
/// Digest used by the next receipt's chain link.
pub fn digest(&self) -> [u8; 32] {
let mut hasher = blake3::Hasher::new();
hasher.update(&self.content.canonical_bytes());
hasher.update(&self.signature.0);
*hasher.finalize().as_bytes()
}
}
#[derive(Clone, Debug)]
struct StoredReceipt {
intent_digest: [u8; 32],
receipt: ActionReceipt,
}
/// Stateful governance boundary providing idempotency and receipt chaining.
#[derive(Clone, Debug)]
pub struct GovernanceEngine {
issuer_id: String,
policies: PolicyRegistry,
receipts: BTreeMap<String, StoredReceipt>,
nonces: BTreeMap<(String, String, [u8; 16]), [u8; 32]>,
next_sequence: u64,
previous_receipt_digest: [u8; 32],
}
impl GovernanceEngine {
/// Create an engine with an explicit local policy registry.
pub fn new(issuer_id: String, policies: PolicyRegistry) -> Result<Self, GovernanceError> {
validate_id(&issuer_id)?;
Ok(Self {
issuer_id,
policies,
receipts: BTreeMap::new(),
nonces: BTreeMap::new(),
next_sequence: 1,
previous_receipt_digest: [0; 32],
})
}
/// Evaluate and witness one intent. A repeated identical intent returns the
/// exact prior receipt; changed reuse of its idempotency key is rejected.
pub fn evaluate<S: Signer + ?Sized, V: ApprovalVerifier + ?Sized>(
&mut self,
intent: &ActionIntent,
authority: &AuthorityContext,
assurance: &AssuranceInputs,
approvals: &[SignedApproval],
approval_verifier: &V,
receipt_signer: &S,
now_ms: i64,
) -> Result<ActionReceipt, GovernanceError> {
validate_intent(intent)?;
let intent_digest = intent.digest();
if let Some(stored) = self.receipts.get(&intent.intent_id) {
return if stored.intent_digest == intent_digest {
Ok(stored.receipt.clone())
} else {
Err(GovernanceError::IdempotencyConflict)
};
}
if self.receipts.len() >= MAX_RECEIPTS {
return Err(GovernanceError::CapacityReached);
}
let nonce_key = (
intent.tenant_id.clone(),
intent.workspace_id.clone(),
intent.nonce,
);
if self.nonces.contains_key(&nonce_key) {
return Err(GovernanceError::NonceReplay);
}
let rule = self.policies.get(&intent.action_kind);
let (decision, verified_approvals) =
if now_ms < intent.issued_at_ms || now_ms >= intent.expires_at_ms {
(GovernedDecision::Denied(DenialReason::IntentExpired), 0)
} else {
match intent.mode {
IntentMode::Observe => (GovernedDecision::Observed, 0),
IntentMode::Recommend => (GovernedDecision::Recommended, 0),
IntentMode::Execute => evaluate_execution(
intent,
intent_digest,
authority,
assurance,
approvals,
approval_verifier,
rule,
now_ms,
),
}
};
let policy_version = rule.map(|value| value.policy_version.clone());
let content = ReceiptContent {
sequence: self.next_sequence,
issuer_id: self.issuer_id.clone(),
intent_digest,
intent_id: intent.intent_id.clone(),
tenant_id: intent.tenant_id.clone(),
workspace_id: intent.workspace_id.clone(),
policy_version,
decision,
verified_approvals,
decided_at_ms: now_ms,
expires_at_ms: intent.expires_at_ms,
nonce: intent.nonce,
previous_receipt_digest: self.previous_receipt_digest,
};
let receipt = ActionReceipt {
signature: receipt_signer.sign(&content.canonical_bytes()),
content,
};
self.next_sequence = self
.next_sequence
.checked_add(1)
.ok_or(GovernanceError::SequenceExhausted)?;
self.previous_receipt_digest = receipt.digest();
self.receipts.insert(
intent.intent_id.clone(),
StoredReceipt {
intent_digest,
receipt: receipt.clone(),
},
);
self.nonces.insert(nonce_key, intent_digest);
Ok(receipt)
}
}
fn evaluate_execution<V: ApprovalVerifier + ?Sized>(
intent: &ActionIntent,
intent_digest: [u8; 32],
authority: &AuthorityContext,
assurance: &AssuranceInputs,
approvals: &[SignedApproval],
verifier: &V,
rule: Option<&ActionRule>,
now_ms: i64,
) -> (GovernedDecision, usize) {
if now_ms < intent.issued_at_ms || now_ms >= intent.expires_at_ms {
return (GovernedDecision::Denied(DenialReason::IntentExpired), 0);
}
let Some(rule) = rule else {
return (GovernedDecision::Denied(DenialReason::NoPolicy), 0);
};
if intent.class != rule.class {
return (GovernedDecision::Denied(DenialReason::ClassMismatch), 0);
}
if intent.policy_version != rule.policy_version {
return (
GovernedDecision::Denied(DenialReason::PolicyVersionMismatch),
0,
);
}
if !authority.contains(&rule.required_grant) {
return (GovernedDecision::Denied(DenialReason::MissingAuthority), 0);
}
if !rule
.target_prefixes
.iter()
.any(|prefix| intent.target_id.starts_with(prefix))
{
return (GovernedDecision::Denied(DenialReason::TargetNotAllowed), 0);
}
if approvals.len() > MAX_APPROVALS {
return (GovernedDecision::Denied(DenialReason::InvalidApproval), 0);
}
let mut distinct = BTreeSet::new();
for approval in approvals {
let content = &approval.content;
if validate_id(&content.approver_id).is_err()
|| content.intent_digest != intent_digest
|| content.policy_version != rule.policy_version
|| content.approved_at_ms < intent.issued_at_ms
|| content.approved_at_ms >= intent.expires_at_ms
|| content.approved_at_ms > now_ms
|| content.decision != ApprovalDecision::Approve
|| !distinct.insert(content.approver_id.as_str())
|| !verifier.verify(
&content.approver_id,
&content.canonical_bytes(),
&approval.signature,
)
{
return (
GovernedDecision::Denied(DenialReason::InvalidApproval),
distinct.len(),
);
}
}
if distinct.len() < rule.minimum_approvals {
return (
GovernedDecision::Denied(DenialReason::InsufficientApprovals),
distinct.len(),
);
}
match authorize(intent.class, assurance) {
Authorization::Allow { .. } => (GovernedDecision::Authorized, distinct.len()),
Authorization::Deny { failed_condition } => (
GovernedDecision::Denied(DenialReason::AssuranceDenied(failed_condition)),
distinct.len(),
),
}
}
/// Engine/configuration errors. Policy denials are signed receipts, not errors.
#[derive(Clone, Debug, PartialEq, Eq, thiserror::Error)]
pub enum GovernanceError {
/// Malformed caller/configuration input.
#[error("invalid governed-action input: {0}")]
InvalidInput(&'static str),
/// Duplicate action rule.
#[error("action policy already registered")]
PolicyConflict,
/// An intent idempotency key was reused with different content.
#[error("intent idempotency conflict")]
IdempotencyConflict,
/// A nonce was already bound to a different intent id.
#[error("intent nonce replay")]
NonceReplay,
/// The bounded in-memory replay store reached capacity.
#[error("governance receipt capacity reached")]
CapacityReached,
/// Receipt sequence exhausted.
#[error("receipt sequence exhausted")]
SequenceExhausted,
}
fn validate_intent(intent: &ActionIntent) -> Result<(), GovernanceError> {
for value in [
intent.intent_id.as_str(),
intent.tenant_id.as_str(),
intent.workspace_id.as_str(),
intent.action_kind.as_str(),
intent.policy_version.as_str(),
intent.target_id.as_str(),
intent.requested_by.as_str(),
] {
validate_id(value)?;
}
if intent.issued_at_ms >= intent.expires_at_ms
|| intent.expires_at_ms - intent.issued_at_ms > MAX_INTENT_LIFETIME_MS
|| intent.nonce == [0; 16]
{
return Err(GovernanceError::InvalidInput("intent lifetime is invalid"));
}
Ok(())
}
fn validate_id(value: &str) -> Result<(), GovernanceError> {
if value.is_empty()
|| value.len() > MAX_ID_BYTES
|| !value
.bytes()
.all(|byte| byte.is_ascii_alphanumeric() || matches!(byte, b'-' | b'_' | b'.' | b':'))
{
return Err(GovernanceError::InvalidInput("identifier is invalid"));
}
Ok(())
}
fn push_field(output: &mut Vec<u8>, field: &[u8]) {
output.extend_from_slice(&(field.len() as u32).to_le_bytes());
output.extend_from_slice(field);
}
fn push_decision(output: &mut Vec<u8>, decision: &GovernedDecision) {
match decision {
GovernedDecision::Observed => output.push(0),
GovernedDecision::Recommended => output.push(1),
GovernedDecision::Authorized => output.push(2),
GovernedDecision::Denied(reason) => {
output.push(3);
push_denial(output, reason);
}
}
}
fn push_denial(output: &mut Vec<u8>, reason: &DenialReason) {
match reason {
DenialReason::IntentExpired => output.push(0),
DenialReason::NoPolicy => output.push(1),
DenialReason::ClassMismatch => output.push(2),
DenialReason::PolicyVersionMismatch => output.push(3),
DenialReason::MissingAuthority => output.push(4),
DenialReason::TargetNotAllowed => output.push(5),
DenialReason::InsufficientApprovals => output.push(6),
DenialReason::InvalidApproval => output.push(7),
DenialReason::AssuranceDenied(condition) => {
output.push(8);
match condition {
FailedCondition::NoPolicy => output.push(0),
FailedCondition::CertificateInvalid => output.push(1),
FailedCondition::CertificateClassTooLow { required, actual } => {
output.extend_from_slice(&[2, *required as u8, *actual as u8]);
}
FailedCondition::CertificateStale { age_secs, max_secs } => {
output.push(3);
output.extend_from_slice(&age_secs.to_le_bytes());
output.extend_from_slice(&max_secs.to_le_bytes());
}
FailedCondition::DomainDegraded => output.push(4),
FailedCondition::DomainNotKnown => output.push(5),
FailedCondition::UncertaintyOverCeiling { max_uncertainty } => {
output.push(6);
output.extend_from_slice(&max_uncertainty.to_bits().to_le_bytes());
}
FailedCondition::EvidenceBelowFloor { required, actual } => {
output.extend_from_slice(&[7, *required as u8, *actual as u8]);
}
}
}
}
}
#[cfg(test)]
mod tests {
use super::*;
use crate::{CertificateClass, DomainState};
use ruview_attest::Blake3MacSigner;
use ruview_evidence::EvidenceLevel;
const NOW: i64 = 10_000;
struct Approvers(BTreeMap<String, Blake3MacSigner>);
impl ApprovalVerifier for Approvers {
fn verify(&self, approver_id: &str, message: &[u8], signature: &Signature) -> bool {
self.0
.get(approver_id)
.is_some_and(|key| Verifier::verify(key, message, signature))
}
}
fn registry() -> PolicyRegistry {
let mut registry = PolicyRegistry::default();
registry
.register(ActionRule {
action_kind: "alert.raise".into(),
policy_version: "v1".into(),
class: ActionClass::Security,
minimum_approvals: 1,
required_grant: "alerts:execute".into(),
target_prefixes: vec!["alert:".into()],
})
.unwrap();
registry
}
fn intent(mode: IntentMode) -> ActionIntent {
ActionIntent {
intent_id: "intent-1".into(),
tenant_id: "tenant-1".into(),
workspace_id: "workspace-1".into(),
action_kind: "alert.raise".into(),
policy_version: "v1".into(),
target_id: "alert:room-1".into(),
class: ActionClass::Security,
mode,
requested_by: "agent-1".into(),
issued_at_ms: NOW - 100,
expires_at_ms: NOW + 100,
nonce: [1; 16],
parameters_digest: [1; 32],
evidence_digest: [2; 32],
}
}
fn assurance() -> AssuranceInputs {
AssuranceInputs {
certificate_class: CertificateClass::Standard,
certificate_valid: true,
certificate_age_secs: 1,
domain_state: DomainState::Known,
uncertainty: 0.1,
evidence_level: EvidenceLevel::L2,
}
}
fn approvers() -> Approvers {
Approvers(BTreeMap::from([(
"human-1".into(),
Blake3MacSigner::new([3; 32]),
)]))
}
fn authority() -> AuthorityContext {
AuthorityContext::from_authenticated_grants(["alerts:execute"]).unwrap()
}
fn approval(intent: &ActionIntent) -> SignedApproval {
SignedApproval::sign(
ApprovalContent {
intent_digest: intent.digest(),
policy_version: "v1".into(),
approver_id: "human-1".into(),
decision: ApprovalDecision::Approve,
approved_at_ms: NOW - 1,
},
&Blake3MacSigner::new([3; 32]),
)
}
#[test]
fn observe_and_recommend_are_non_executing_defaults() {
let signer = Blake3MacSigner::new([9; 32]);
for (mode, expected) in [
(IntentMode::Observe, GovernedDecision::Observed),
(IntentMode::Recommend, GovernedDecision::Recommended),
] {
let mut engine =
GovernanceEngine::new("issuer".into(), PolicyRegistry::default()).unwrap();
let receipt = engine
.evaluate(
&intent(mode),
&authority(),
&assurance(),
&[],
&approvers(),
&signer,
NOW,
)
.unwrap();
assert_eq!(receipt.content.decision, expected);
assert!(receipt.verify(&signer));
}
}
#[test]
fn expired_observation_and_recommendation_intents_are_denied() {
let signer = Blake3MacSigner::new([9; 32]);
for mode in [IntentMode::Observe, IntentMode::Recommend] {
let mut request = intent(mode);
request.issued_at_ms = NOW - 200;
request.expires_at_ms = NOW - 1;
let mut engine =
GovernanceEngine::new("issuer".into(), PolicyRegistry::default()).unwrap();
let receipt = engine
.evaluate(
&request,
&authority(),
&assurance(),
&[],
&approvers(),
&signer,
NOW,
)
.unwrap();
assert_eq!(
receipt.content.decision,
GovernedDecision::Denied(DenialReason::IntentExpired)
);
assert!(receipt.verify(&signer));
}
}
#[test]
fn execute_requires_policy_signed_approval_and_assurance() {
let receipt_signer = Blake3MacSigner::new([9; 32]);
let request = intent(IntentMode::Execute);
let mut engine = GovernanceEngine::new("issuer".into(), registry()).unwrap();
let denied = engine
.evaluate(
&request,
&authority(),
&assurance(),
&[],
&approvers(),
&receipt_signer,
NOW,
)
.unwrap();
assert_eq!(
denied.content.decision,
GovernedDecision::Denied(DenialReason::InsufficientApprovals)
);
let mut second = request.clone();
second.intent_id = "intent-2".into();
second.nonce = [2; 16];
let authorized = engine
.evaluate(
&second,
&authority(),
&assurance(),
&[approval(&second)],
&approvers(),
&receipt_signer,
NOW,
)
.unwrap();
assert_eq!(authorized.content.decision, GovernedDecision::Authorized);
assert_eq!(authorized.content.previous_receipt_digest, denied.digest());
assert!(authorized.verify(&receipt_signer));
}
#[test]
fn invalid_approval_and_unknown_domain_fail_closed() {
let signer = Blake3MacSigner::new([9; 32]);
let request = intent(IntentMode::Execute);
let mut bad = approval(&request);
bad.signature.0[0] ^= 1;
let mut engine = GovernanceEngine::new("issuer".into(), registry()).unwrap();
let receipt = engine
.evaluate(
&request,
&authority(),
&assurance(),
&[bad],
&approvers(),
&signer,
NOW,
)
.unwrap();
assert_eq!(
receipt.content.decision,
GovernedDecision::Denied(DenialReason::InvalidApproval)
);
let mut second = request.clone();
second.intent_id = "intent-2".into();
second.nonce = [2; 16];
let mut weak = assurance();
weak.domain_state = DomainState::Unknown;
let receipt = engine
.evaluate(
&second,
&authority(),
&weak,
&[approval(&second)],
&approvers(),
&signer,
NOW,
)
.unwrap();
assert_eq!(
receipt.content.decision,
GovernedDecision::Denied(DenialReason::AssuranceDenied(
FailedCondition::DomainNotKnown
))
);
}
#[test]
fn spaces_read_is_not_execution_authority_and_nonce_reuse_is_rejected() {
let signer = Blake3MacSigner::new([9; 32]);
let request = intent(IntentMode::Execute);
let read_only = AuthorityContext::from_authenticated_grants(["spaces:read"]).unwrap();
let mut engine = GovernanceEngine::new("issuer".into(), registry()).unwrap();
let receipt = engine
.evaluate(
&request,
&read_only,
&assurance(),
&[approval(&request)],
&approvers(),
&signer,
NOW,
)
.unwrap();
assert_eq!(
receipt.content.decision,
GovernedDecision::Denied(DenialReason::MissingAuthority)
);
let mut changed_id = request;
changed_id.intent_id = "intent-other".into();
assert_eq!(
engine.evaluate(
&changed_id,
&authority(),
&assurance(),
&[approval(&changed_id)],
&approvers(),
&signer,
NOW,
),
Err(GovernanceError::NonceReplay)
);
}
#[test]
fn idempotency_is_exact_and_changed_reuse_is_rejected() {
let signer = Blake3MacSigner::new([9; 32]);
let request = intent(IntentMode::Recommend);
let mut engine = GovernanceEngine::new("issuer".into(), registry()).unwrap();
let first = engine
.evaluate(
&request,
&authority(),
&assurance(),
&[],
&approvers(),
&signer,
NOW,
)
.unwrap();
let replay = engine
.evaluate(
&request,
&authority(),
&assurance(),
&[],
&approvers(),
&signer,
NOW + 1,
)
.unwrap();
assert_eq!(first, replay);
let mut changed = request;
changed.parameters_digest = [0xAA; 32];
assert_eq!(
engine.evaluate(
&changed,
&authority(),
&assurance(),
&[],
&approvers(),
&signer,
NOW,
),
Err(GovernanceError::IdempotencyConflict)
);
}
}

View File

@@ -63,6 +63,9 @@
use ruview_evidence::EvidenceLevel;
use serde::{Deserialize, Serialize};
/// Typed intent, approval, idempotency, and witnessed-receipt layer (ADR-327).
pub mod governed;
// ---------------------------------------------------------------------------
// Value types owned by this crate
// ---------------------------------------------------------------------------
@@ -479,10 +482,8 @@ pub fn authorize_from_certificate<V: ruview_attest::Verifier + ?Sized>(
uncertainty: f64,
evidence_level: EvidenceLevel,
) -> Authorization {
let certificate_valid =
cert.verify(verifier) && now_unix_s < cert.content.valid_until_unix_s;
let certificate_age_secs =
(now_unix_s - cert.content.calibrated_date_unix_s).max(0) as u64;
let certificate_valid = cert.verify(verifier) && now_unix_s < cert.content.valid_until_unix_s;
let certificate_age_secs = (now_unix_s - cert.content.calibrated_date_unix_s).max(0) as u64;
authorize(
class,

View File

@@ -0,0 +1,20 @@
[package]
name = "ruview-spatial-memory"
version.workspace = true
edition.workspace = true
authors.workspace = true
license.workspace = true
repository.workspace = true
description = "Tenant-scoped encrypted RuVector spatial memory for Cognitum Spaces"
[dependencies]
chacha20poly1305 = "0.10"
getrandom.workspace = true
serde.workspace = true
serde_json.workspace = true
thiserror.workspace = true
wifi-densepose-ruvector = { path = "../wifi-densepose-ruvector" }
zeroize = "1"
[dev-dependencies]
tempfile = "3"

File diff suppressed because it is too large Load Diff

View File

@@ -39,7 +39,7 @@ serde = { workspace = true, features = ["derive"], optional = true }
serde_json = { workspace = true, optional = true }
# MQTT publisher backend (optional). Matches the `rumqttc` choice already in
# `wifi-densepose-sensing-server` so both crates share TLS / version posture.
rumqttc = { version = "0.24", default-features = false, features = ["use-rustls"], optional = true }
rumqttc = { package = "rumqttc-v4-next", version = "0.34", default-features = false, features = ["use-rustls-ring"], optional = true }
wifi-veil = { workspace = true, optional = true }
[dev-dependencies]

View File

@@ -31,7 +31,7 @@ use crate::PrivacyClass;
/// };
/// use rumqttc::MqttOptions;
///
/// let opts = MqttOptions::new("seed-01", "broker.local", 1883);
/// let opts = MqttOptions::new("seed-01", ("broker.local", 1883));
/// let (retained_pub, _conn) = RumqttPublisher::connect(opts.clone(), 64);
/// let mut retained_pub = retained_pub.with_retain(true);
/// publish_discovery(&mut retained_pub, "seed-01", PrivacyClass::Anonymous)?;

View File

@@ -13,7 +13,7 @@
//! use wifi_densepose_bfld::{publish_event, RumqttPublisher};
//! use rumqttc::MqttOptions;
//!
//! let opts = MqttOptions::new("seed-01", "broker.local", 1883);
//! let opts = MqttOptions::new("seed-01", ("broker.local", 1883));
//! let (mut publisher, mut connection) = RumqttPublisher::connect(opts, 100);
//! thread::spawn(move || for _ in connection.iter() { /* drain */ });
//! // ... build BfldEvent ...
@@ -22,7 +22,7 @@
#![cfg(feature = "mqtt")]
use rumqttc::{Client, Connection, LastWill, MqttOptions, QoS};
use rumqttc::{Client, Connection, LastWill, MqttOptions, PublishOptions, QoS};
use crate::availability::{availability_topic, PAYLOAD_NOT_AVAILABLE};
use crate::mqtt_topics::{Publish, TopicMessage};
@@ -60,7 +60,7 @@ impl RumqttPublisher {
/// shown in the module-level doc example).
#[must_use]
pub fn connect(opts: MqttOptions, capacity: usize) -> (Self, Connection) {
let (client, connection) = Client::new(opts, capacity);
let (client, connection) = Client::builder(opts).capacity(capacity).build();
(Self::new(client, QoS::AtLeastOnce), connection)
}
@@ -87,7 +87,7 @@ impl RumqttPublisher {
/// opt in to the LWT without using `connect_with_lwt`.
#[must_use]
pub fn with_lwt(mut opts: MqttOptions, node_id: &str) -> MqttOptions {
// rumqttc 0.24 LastWill::new takes (topic, message, qos, retain).
// LastWill::new takes (topic, message, qos, retain).
// retain = true so HA sees "offline" on next start even if the session
// dropped while HA was down.
let will = LastWill::new(
@@ -105,6 +105,10 @@ impl Publish for RumqttPublisher {
fn publish(&mut self, msg: &TopicMessage) -> Result<(), Self::Error> {
self.client
.publish(&msg.topic, self.qos, self.retain, msg.payload.as_bytes())
.publish(
&msg.topic,
msg.payload.as_bytes(),
PublishOptions::new(self.qos).retain(self.retain),
)
}
}

View File

@@ -23,9 +23,7 @@ use std::thread;
use std::time::{Duration, Instant, SystemTime, UNIX_EPOCH};
use rumqttc::{Client, Event, Incoming, MqttOptions, Packet, QoS};
use wifi_densepose_bfld::{
publish_event, BfldEvent, PrivacyClass, RumqttPublisher,
};
use wifi_densepose_bfld::{publish_event, BfldEvent, PrivacyClass, RumqttPublisher};
const SUBSCRIBE_TIMEOUT: Duration = Duration::from_secs(5);
const RECEIVE_TIMEOUT: Duration = Duration::from_secs(10);
@@ -69,9 +67,9 @@ fn spawn_subscriber(
port: u16,
topic_filter: &str,
) -> (Receiver<(String, String)>, Receiver<()>) {
let mut opts = MqttOptions::new(unique_client_id("bfld-sub"), host, port);
opts.set_keep_alive(Duration::from_secs(5));
let (client, mut connection) = Client::new(opts, 64);
let mut opts = MqttOptions::new(unique_client_id("bfld-sub"), (host, port));
opts.set_keep_alive(5);
let (client, mut connection) = Client::builder(opts).capacity(64).build();
client
.subscribe(topic_filter, QoS::AtLeastOnce)
.expect("subscribe enqueue");
@@ -79,13 +77,18 @@ fn spawn_subscriber(
let (incoming_tx, incoming_rx) = channel();
let (suback_tx, suback_rx) = channel();
thread::spawn(move || {
// rumqttc-v4-next stops the connection once every request sender is
// dropped. Keep the subscriber client alive for as long as its pump
// thread runs; otherwise the broker sees a clean disconnect directly
// after SUBACK and no subsequent publications can be delivered.
let _client_guard = client;
for notification in connection.iter() {
match notification {
Ok(Event::Incoming(Packet::SubAck(_))) => {
let _ = suback_tx.send(());
}
Ok(Event::Incoming(Incoming::Publish(p))) => {
let topic = p.topic.clone();
let topic = String::from_utf8_lossy(&p.topic).to_string();
let payload = String::from_utf8_lossy(&p.payload).to_string();
if incoming_tx.send((topic, payload)).is_err() {
break;
@@ -141,8 +144,8 @@ fn live_broker_anonymous_event_roundtrips_all_six_topics() {
// Publisher with its own connection. Spawn a thread iterating the
// Connection so publishes actually reach the broker.
let mut opts = MqttOptions::new(unique_client_id("bfld-pub"), &host, port);
opts.set_keep_alive(Duration::from_secs(5));
let mut opts = MqttOptions::new(unique_client_id("bfld-pub"), (host.as_str(), port));
opts.set_keep_alive(5);
let (mut publisher, mut pub_connection) = RumqttPublisher::connect(opts, 64);
thread::spawn(move || {
for _ in pub_connection.iter() { /* drain protocol events */ }
@@ -197,8 +200,8 @@ fn live_broker_restricted_event_omits_identity_risk() {
.recv_timeout(SUBSCRIBE_TIMEOUT)
.expect("SubAck within 5s");
let mut opts = MqttOptions::new(unique_client_id("bfld-pub-r"), &host, port);
opts.set_keep_alive(Duration::from_secs(5));
let mut opts = MqttOptions::new(unique_client_id("bfld-pub-r"), (host.as_str(), port));
opts.set_keep_alive(5);
let (mut publisher, mut pub_connection) = RumqttPublisher::connect(opts, 64);
thread::spawn(move || for _ in pub_connection.iter() {});
thread::sleep(Duration::from_millis(200));

View File

@@ -9,7 +9,7 @@ use wifi_densepose_bfld::{
};
fn unreachable_opts(client_id: &str) -> MqttOptions {
MqttOptions::new(client_id, "127.0.0.1", 1)
MqttOptions::new(client_id, ("127.0.0.1", 1))
}
#[test]
@@ -89,7 +89,7 @@ fn caller_built_options_can_opt_in_via_with_lwt_then_pass_to_connect() {
// Operators with custom MqttOptions (e.g., TLS, credentials) build their
// own opts, then call with_lwt before passing to RumqttPublisher::connect.
let mut opts = unreachable_opts("bfld-lwt-6");
opts.set_keep_alive(std::time::Duration::from_secs(30));
opts.set_keep_alive(30);
let opts = with_lwt(opts, "seed-01");
let (_publisher, _connection) = RumqttPublisher::connect(opts, 16);
}

View File

@@ -12,7 +12,7 @@ use wifi_densepose_bfld::{publish_event, BfldEvent, PrivacyClass, Publish, Rumqt
fn unreachable_opts() -> MqttOptions {
// Port 1 is reserved (RFC 1700) and the loopback address will refuse
// immediately — perfect for a construction smoke test that must not block.
MqttOptions::new("bfld-smoke-iter23", "127.0.0.1", 1)
MqttOptions::new("bfld-smoke-iter23", ("127.0.0.1", 1))
}
fn sample_event() -> BfldEvent {

View File

@@ -2,9 +2,36 @@
use std::path::PathBuf;
use clap::Args;
use clap::{Args, ValueEnum};
use ruview_auth::{login, scope};
use ruview_cognitum_spaces::{Client, Credential};
use ruview_cognitum_spaces::{Client, Credential, PageRequest, SpatialKind};
#[derive(Clone, Copy, Debug, ValueEnum)]
pub enum SpatialResourceKind {
Sites,
Buildings,
Floors,
Spaces,
Zones,
Entities,
Events,
Alerts,
}
impl From<SpatialResourceKind> for SpatialKind {
fn from(value: SpatialResourceKind) -> Self {
match value {
SpatialResourceKind::Sites => Self::Sites,
SpatialResourceKind::Buildings => Self::Buildings,
SpatialResourceKind::Floors => Self::Floors,
SpatialResourceKind::Spaces => Self::Spaces,
SpatialResourceKind::Zones => Self::Zones,
SpatialResourceKind::Entities => Self::Entities,
SpatialResourceKind::Events => Self::Events,
SpatialResourceKind::Alerts => Self::Alerts,
}
}
}
#[derive(Debug, Args)]
pub struct SpacesArgs {
@@ -20,6 +47,22 @@ pub struct SpacesArgs {
#[arg(long, env = ruview_auth::login::CREDENTIALS_PATH_ENV)]
pub credentials_path: Option<PathBuf>,
/// Versioned hierarchy/event/alert collection. Omit for the legacy flat projection.
#[arg(long, value_enum)]
pub resource: Option<SpatialResourceKind>,
/// Page size for a versioned resource collection (1..=100).
#[arg(long, default_value_t = 50, value_parser = clap::value_parser!(u8).range(1..=100), requires = "resource")]
pub limit: u8,
/// Opaque next-page cursor returned by a prior versioned read.
#[arg(long, requires = "resource")]
pub cursor: Option<String>,
/// API-key compatibility only: exact workspace UUID. OAuth derives this from its signed token.
#[arg(long, requires = "resource")]
pub workspace_id: Option<String>,
/// Emit the validated response as JSON.
#[arg(long)]
pub json: bool,
@@ -46,7 +89,47 @@ pub async fn spaces_cmd(args: SpacesArgs) -> anyhow::Result<()> {
Credential::oauth(session.ensure_fresh().await?)?
}
};
let response = Client::new(&args.base_url, credential)?.list().await?;
let client = Client::new(&args.base_url, credential)?;
if let Some(resource) = args.resource {
let response = client
.list_spatial(
resource.into(),
&PageRequest {
limit: args.limit,
cursor: args.cursor,
workspace_id: args.workspace_id,
},
)
.await?;
if args.json {
println!("{}", serde_json::to_string_pretty(&response)?);
return Ok(());
}
println!(
"Cognitum Spatial {}: {}",
response.kind.as_str(),
response.data.len()
);
println!(
"Boundary: {} / {}",
response.boundary.authoritative_state, response.boundary.cloud_role
);
for item in response.data {
println!(
"{}\tkind={}\tprivacy={}\tsite={}\tspace={}",
item.id,
item.kind.as_str(),
item.privacy,
item.site_id.as_deref().unwrap_or("-"),
item.space_id.as_deref().unwrap_or("-")
);
}
if let Some(cursor) = response.next_cursor {
println!("Next cursor: {cursor}");
}
return Ok(());
}
let response = client.list().await?;
if args.json {
println!("{}", serde_json::to_string_pretty(&response)?);
return Ok(());

View File

@@ -110,7 +110,7 @@ rand = "0.8"
# client (ADR-115 §10 references). `rustls` is preferred over openssl on
# Windows to keep parity with the rest of the workspace (`ureq` above also
# uses rustls).
rumqttc = { version = "0.24", default-features = false, features = ["use-rustls"], optional = true }
rumqttc = { package = "rumqttc-v4-next", version = "0.34", default-features = false, features = ["use-rustls-ring"], optional = true }
# `otel` feature — OTLP log export (`telemetry` module). Same gating
# principle as `mqtt`: the heavy exporter stack (opentelemetry SDK +

View File

@@ -286,6 +286,9 @@ struct Esp32Frame {
/// ADR-110 byte 18: PPDU type the CSI was sampled from. Pre-ADR-110
/// firmware sends 0 ⇒ `PpduType::HtLegacy`.
ppdu_type: wifi_densepose_hardware::PpduType,
/// ADR-110 byte 19 metadata, including whether this frame was captured
/// while the node had a valid IEEE 802.15.4 mesh-time solution.
adr018_flags: wifi_densepose_hardware::Adr018Flags,
amplitudes: Vec<f64>,
phases: Vec<f64>,
}
@@ -675,6 +678,12 @@ struct NodeState {
latest_sync: Option<wifi_densepose_hardware::SyncPacket>,
/// Last time a sync packet from this node was received (for staleness).
latest_sync_at: Option<std::time::Instant>,
/// Sequence number of the newest CSI frame admitted to `frame_history`.
/// Kept alongside the history so multistatic fusion can timestamp the
/// exact sample it consumes, rather than the host's UDP arrival time.
latest_csi_sequence: Option<u32>,
/// Whether byte 19 bit 4 marked that newest admitted CSI frame as synced.
latest_csi_sync_valid: bool,
/// ADR-110 iter 18: EMA-tracked CSI frame rate for this node.
/// Replaces the hardcoded 20 Hz fallback in
/// `mesh_aligned_us_for_csi_frame` once `csi_fps_samples ≥ 5`.
@@ -832,6 +841,9 @@ impl NodeState {
/// staleness gate).
pub(crate) fn mesh_aligned_us(&self, local_at_frame_us: u64) -> Option<u64> {
let sync = self.latest_sync.as_ref()?;
if !sync.flags.is_valid {
return None;
}
let seen_at = self.latest_sync_at?;
// Drop stale syncs — firmware emits at ~0.5 Hz default, anything
// older than 9 s likely means the mesh transport dropped.
@@ -850,10 +862,20 @@ impl NodeState {
/// no fresh sync has been observed for this node.
pub(crate) fn mesh_aligned_us_for_csi_frame(&self, frame_sequence: u32) -> Option<u64> {
let sync = self.latest_sync.as_ref()?;
if !sync.flags.is_valid {
return None;
}
let seen_at = self.latest_sync_at?;
if seen_at.elapsed() > std::time::Duration::from_secs(9) {
return None;
}
// A recently-received sync datagram can overtake an older CSI
// datagram in UDP delivery order. Only extrapolate forward (including
// a genuine u32 wrap); otherwise fall back to host arrival time.
let delta_frames = frame_sequence.wrapping_sub(sync.sequence);
if delta_frames > i32::MAX as u32 {
return None;
}
// Iter 18: use the measured per-node fps once we have ≥5 inter-frame
// samples; until then fall back to the 20 Hz firmware ceiling. The
// §A0.12 capture showed real bench fps ≈ 10, so the measured value
@@ -862,6 +884,16 @@ impl NodeState {
Some(sync.mesh_aligned_us_for_sequence(frame_sequence, fps))
}
/// Mesh timestamp for the newest CSI frame admitted to `frame_history`.
/// Both the frame-level sync-valid bit and a fresh, valid sync packet are
/// required; callers retain their existing host-arrival fallback.
pub(crate) fn mesh_aligned_us_for_latest_csi_frame(&self) -> Option<u64> {
if !self.latest_csi_sync_valid {
return None;
}
self.mesh_aligned_us_for_csi_frame(self.latest_csi_sequence?)
}
/// ADR-110 iter 18 — update the per-node observed-fps EMA from a fresh
/// CSI frame arrival. Call once per accepted CSI frame from
/// `udp_receiver_task`. Uses `last_frame_time` as the previous-frame
@@ -927,6 +959,21 @@ impl NodeState {
first_sensing_frame
}
/// Record an accepted CSI sample and preserve the wire metadata needed by
/// the multistatic bridge to recover capture time. Grid-rejected frames
/// intentionally use `observe_csi_frame_arrival` directly because they do
/// not replace the sample at the back of `frame_history`.
pub(crate) fn observe_accepted_csi_frame(
&mut self,
sequence: u32,
sync_valid: bool,
now: std::time::Instant,
) -> bool {
self.latest_csi_sequence = Some(sequence);
self.latest_csi_sync_valid = sync_valid;
self.observe_csi_frame_arrival(now)
}
pub(crate) fn new() -> Self {
Self {
frame_history: VecDeque::new(),
@@ -951,6 +998,8 @@ impl NodeState {
edge_vitals: None,
latest_sync: None,
latest_sync_at: None,
latest_csi_sequence: None,
latest_csi_sync_valid: false,
csi_fps_ema: 20.0,
csi_fps_samples: 0,
latest_features: None,
@@ -1945,7 +1994,8 @@ fn parse_esp32_frame(buf: &[u8]) -> Option<Esp32Frame> {
// [12..15] sequence (u32 LE)
// [16] rssi (i8)
// [17] noise_floor (i8)
// [18..19] reserved
// [18] PPDU type
// [19] ADR-018 flags (bit 4 = IEEE 802.15.4 sync valid)
// [20..] I/Q data
// Issue #1005: until 2026-06 this code read n_subcarriers from byte 6
// alone (an ESP32-C6 HE-SU frame's 256 = 0x0100 LE decoded as 0 — the
@@ -1966,6 +2016,7 @@ fn parse_esp32_frame(buf: &[u8]) -> Option<Esp32Frame> {
};
let noise_floor = buf[17] as i8;
let ppdu_type = wifi_densepose_hardware::PpduType::from_byte(buf[18]);
let adr018_flags = wifi_densepose_hardware::Adr018Flags::from_byte(buf[19]);
let iq_start = 20;
let n_pairs = n_antennas as usize * n_subcarriers as usize;
@@ -1995,6 +2046,7 @@ fn parse_esp32_frame(buf: &[u8]) -> Option<Esp32Frame> {
rssi,
noise_floor,
ppdu_type,
adr018_flags,
amplitudes,
phases,
})
@@ -2024,7 +2076,7 @@ mod issue_1009_n_subcarriers_u16_tests {
buf[16] = (-40i8) as u8; // rssi
buf[17] = (-90i8) as u8; // noise_floor
buf[18] = 0; // ppdu_type
buf[19] = 0;
buf[19] = 0x10; // ADR-018: IEEE 802.15.4 sync valid
for k in 0..n_subcarriers as usize {
buf[20 + k * 2] = (5 + (k % 40) as i8) as u8; // i
buf[20 + k * 2 + 1] = (k % 30) as u8; // q
@@ -2047,6 +2099,7 @@ mod issue_1009_n_subcarriers_u16_tests {
assert_eq!(frame.node_id, 7);
assert_eq!(frame.rssi, -40);
assert_eq!(frame.sequence, 42);
assert!(frame.adr018_flags.ieee802154_sync_valid);
}
#[test]
@@ -2941,6 +2994,7 @@ async fn windows_wifi_task(state: SharedState, tick_ms: u64) {
rssi: first_rssi.clamp(-128.0, 127.0) as i8,
noise_floor: -90,
ppdu_type: wifi_densepose_hardware::PpduType::HtLegacy,
adr018_flags: wifi_densepose_hardware::Adr018Flags::default(),
amplitudes: multi_ap_frame.amplitudes.clone(),
phases: multi_ap_frame.phases.clone(),
};
@@ -3129,6 +3183,7 @@ async fn windows_wifi_fallback_tick(state: &SharedState, seq: u32) {
rssi: rssi_dbm as i8,
noise_floor: -90,
ppdu_type: wifi_densepose_hardware::PpduType::HtLegacy,
adr018_flags: wifi_densepose_hardware::Adr018Flags::default(),
amplitudes: vec![signal_pct],
phases: vec![0.0],
};
@@ -3504,6 +3559,7 @@ fn generate_simulated_frame(tick: u64) -> Esp32Frame {
rssi: (-40.0 + 5.0 * (t * 0.2).sin()) as i8,
noise_floor: -90,
ppdu_type: wifi_densepose_hardware::PpduType::HtLegacy,
adr018_flags: wifi_densepose_hardware::Adr018Flags::default(),
amplitudes,
phases,
}
@@ -6702,8 +6758,11 @@ async fn udp_receiver_task(
// ADR-110 iter 19 — feed the per-node fps EMA from real
// CSI arrivals. The helper sets `last_frame_time` as a
// side effect, so the previous bare assignment is gone.
let first_sensing_frame =
ns.observe_csi_frame_arrival(std::time::Instant::now());
let first_sensing_frame = ns.observe_accepted_csi_frame(
frame.sequence,
frame.adr018_flags.ieee802154_sync_valid,
std::time::Instant::now(),
);
if first_sensing_frame && telemetry::curated_events_enabled() {
info!(name: semconv::EVENT_RUVIEW_NODE_ONLINE, { "ruview.node.id" = node_id }, "node {node_id} online (CSI)");
}
@@ -9327,6 +9386,31 @@ mod sync_snapshot_helper_tests {
"10 s old sync must trigger the 9 s staleness gate");
}
#[test]
fn latest_csi_mesh_time_requires_both_validity_signals() {
let now = std::time::Instant::now();
let mut ns = NodeState::new();
ns.apply_sync_packet(populated_sync(9), now);
ns.observe_accepted_csi_frame(21, false, now);
assert!(
ns.mesh_aligned_us_for_latest_csi_frame().is_none(),
"an unsynchronized CSI capture must use the host-time fallback"
);
ns.observe_accepted_csi_frame(21, true, now + std::time::Duration::from_millis(50));
assert_eq!(
ns.mesh_aligned_us_for_latest_csi_frame(),
Some(27_684_885)
);
ns.latest_sync.as_mut().unwrap().flags.is_valid = false;
assert!(
ns.mesh_aligned_us_for_latest_csi_frame().is_none(),
"an invalid sync packet must not timestamp even a flagged CSI frame"
);
}
#[test]
fn snapshot_reflects_leader_state() {
// Same data shape that /api/v1/mesh emits for a leader node.

View File

@@ -30,7 +30,10 @@
use std::sync::Arc;
use std::time::{Duration, Instant};
use rumqttc::{AsyncClient, ClientError, EventLoop, MqttOptions, QoS, Transport, TlsConfiguration};
use rumqttc::{
AsyncClient, ClientError, EventLoop, MqttOptions, PublishOptions, QoS, Transport,
TlsConfiguration,
};
use tokio::sync::broadcast;
use tokio::task::JoinHandle;
use tracing::{error, info, warn};
@@ -70,14 +73,14 @@ const NODE_SNAPSHOT_STALE_AFTER: Duration = Duration::from_secs(10);
/// Build a `rumqttc::MqttOptions` from validated [`MqttConfig`].
fn build_mqtt_options(cfg: &MqttConfig) -> MqttOptions {
let mut opts = MqttOptions::new(&cfg.client_id, &cfg.host, cfg.port);
opts.set_keep_alive(Duration::from_secs(30));
let mut opts = MqttOptions::new(&cfg.client_id, (cfg.host.as_str(), cfg.port));
opts.set_keep_alive(30);
opts.set_clean_session(true);
if let (Some(u), Some(p)) = (cfg.username.as_deref(), cfg.password.as_deref()) {
opts.set_credentials(u, p);
opts.set_credentials(u.to_owned(), p.as_bytes().to_vec());
} else if let Some(u) = cfg.username.as_deref() {
opts.set_credentials(u, "");
opts.set_credentials(u.to_owned(), Vec::<u8>::new());
}
opts.set_transport(build_transport(&cfg.tls));
@@ -223,7 +226,8 @@ async fn run(
mut state_rx: broadcast::Receiver<VitalsSnapshot>,
) {
let opts = build_mqtt_options(&cfg);
let (client, mut eventloop): (AsyncClient, EventLoop) = AsyncClient::new(opts, 256);
let (client, mut eventloop): (AsyncClient, EventLoop) =
AsyncClient::builder(opts).capacity(256).build();
let entities = DiscoveryBuilder::enabled_entities(
cfg.privacy_mode,
@@ -369,7 +373,13 @@ async fn publish_all_discovery(
let cfg = b.build(e);
let topic = b.config_topic(e);
let payload = serde_json::to_string(&cfg).expect("discovery payload always serialises");
client.publish(&topic, QoS::AtLeastOnce, true, payload).await?;
client
.publish(
&topic,
payload,
PublishOptions::new(QoS::AtLeastOnce).retained(),
)
.await?;
}
Ok(())
}
@@ -380,7 +390,13 @@ async fn publish_availability(
state: &str,
) -> Result<(), ClientError> {
for topic in &avail.online_topics {
client.publish(topic, QoS::AtLeastOnce, true, state).await?;
client
.publish(
topic,
state,
PublishOptions::new(QoS::AtLeastOnce).retained(),
)
.await?;
}
Ok(())
}
@@ -441,7 +457,13 @@ async fn publish_state(client: &AsyncClient, m: &StateMessage) -> Result<(), Cli
1 => QoS::AtLeastOnce,
_ => QoS::ExactlyOnce,
};
client.publish(&m.topic, qos, m.retain, m.payload.clone()).await
client
.publish(
&m.topic,
m.payload.clone(),
PublishOptions::new(qos).retain(m.retain),
)
.await
}
#[cfg(test)]

View File

@@ -24,7 +24,13 @@ const DEFAULT_FREQ_MHZ: u32 = 2437; // Channel 6
/// Monotonic reference point for timestamp generation. All node timestamps
/// are relative to this instant, avoiding wall-clock/monotonic mixing issues.
static EPOCH: LazyLock<Instant> = LazyLock::new(Instant::now);
/// Backdate the lazy initialization beyond the active-node window so frames
/// recorded just before the first bridge call retain their arrival-time skew.
static EPOCH: LazyLock<Instant> = LazyLock::new(|| {
Instant::now()
.checked_sub(STALE_THRESHOLD + STALE_THRESHOLD)
.unwrap_or_else(Instant::now)
});
/// Shared length-only canonicalizer (issue #1170). The default 56-tone grid
/// matches what `MultistaticFuser` (ADR-154) expects. Stateless and immutable,
@@ -54,10 +60,18 @@ pub fn node_frame_from_state(node_id: u8, ns: &NodeState) -> Option<MultiBandCsi
let n_sub = amplitude.len();
let phase = vec![0.0_f32; n_sub];
// Monotonic timestamp: microseconds since a shared process-local epoch.
// All nodes use the same reference so the fuser's guard_interval_us check
// compares apples to apples. No wall-clock mixing (immune to NTP jumps).
let timestamp_us = last_time.duration_since(*EPOCH).as_micros() as u64;
// Prefer the capture timestamp recovered from the node's mesh sync. This
// keeps UDP scheduling jitter out of the fuser's cross-node guard. Older
// firmware, stale sync state, and frames without the sync-valid bit retain
// the process-local host-arrival fallback.
let timestamp_us = ns
.mesh_aligned_us_for_latest_csi_frame()
.unwrap_or_else(|| {
last_time
.checked_duration_since(*EPOCH)
.unwrap_or_default()
.as_micros() as u64
});
let canonical = CanonicalCsiFrame {
amplitude,
@@ -173,6 +187,7 @@ pub fn compute_person_score_from_amplitudes(amplitudes: &[f32]) -> f64 {
mod tests {
use super::*;
use std::collections::VecDeque;
use wifi_densepose_hardware::{SyncPacket, SyncPacketFlags};
/// Helper: build a minimal NodeState for testing. Uses `NodeState::new()`
/// then mutates the `pub(crate)` fields the bridge needs.
@@ -225,6 +240,99 @@ mod tests {
assert_eq!(ch.hardware_type, HardwareType::Esp32S3);
}
fn mark_mesh_timed_frame(
ns: &mut NodeState,
node_id: u8,
sync_sequence: u32,
frame_sequence: u32,
mesh_epoch_us: u64,
host_arrival: Instant,
) {
ns.apply_sync_packet(
SyncPacket {
node_id,
proto_ver: 1,
flags: SyncPacketFlags {
is_leader: node_id == 1,
is_valid: true,
smoothed_used: node_id != 1,
},
local_us: 10_000_000,
epoch_us: mesh_epoch_us,
sequence: sync_sequence,
},
Instant::now(),
);
ns.observe_accepted_csi_frame(frame_sequence, true, host_arrival);
}
#[test]
fn mesh_timestamp_replaces_skewed_host_arrival_time() {
let mut history = VecDeque::new();
history.push_back(vec![10.0, 20.0, 30.0]);
let host_arrival = Instant::now();
let mut ns = make_node_state(history, None, 0);
mark_mesh_timed_frame(&mut ns, 1, 100, 101, 1_000_000, host_arrival);
let frame = node_frame_from_state(1, &ns).expect("mesh-timed frame");
assert_eq!(frame.timestamp_us, 1_050_000);
}
#[test]
fn mesh_time_allows_fusion_despite_udp_arrival_skew() {
let base = Instant::now() - Duration::from_millis(500);
let mut states = HashMap::new();
let mut first_history = VecDeque::new();
first_history.push_back(vec![1.0; 64]);
let mut first = make_node_state(first_history, None, 0);
mark_mesh_timed_frame(&mut first, 1, 100, 101, 1_000_000, base);
states.insert(1, first);
let mut second_history = VecDeque::new();
second_history.push_back(vec![1.1; 64]);
let mut second = make_node_state(second_history, None, 0);
mark_mesh_timed_frame(
&mut second,
2,
200,
201,
1_005_000,
base + Duration::from_millis(200),
);
states.insert(2, second);
let frames = node_frames_from_states(&states);
let spread = frames.iter().map(|f| f.timestamp_us).max().unwrap()
- frames.iter().map(|f| f.timestamp_us).min().unwrap();
assert_eq!(spread, 5_000, "mesh capture spread, not 200 ms UDP skew");
assert!(
MultistaticFuser::new().fuse(&frames).is_ok(),
"mesh-aligned frames inside the 60 ms guard must fuse"
);
}
#[test]
fn unsynchronized_frames_keep_host_arrival_guard() {
let base = Instant::now() - Duration::from_millis(500);
let mut states = HashMap::new();
for (node_id, arrival) in [
(1, base),
(2, base + Duration::from_millis(200)),
] {
let mut history = VecDeque::new();
history.push_back(vec![1.0; 64]);
states.insert(node_id, make_node_state(history, Some(arrival), 0));
}
let frames = node_frames_from_states(&states);
assert!(
MultistaticFuser::new().fuse(&frames).is_err(),
"without valid mesh time, 200 ms arrival skew must still trip the 60 ms guard"
);
}
#[test]
fn heterogeneous_node_counts_canonicalize_and_fuse() {
// Issue #1170 regression: a mixed mesh with HT20 (64-bin) and HT40

View File

@@ -104,12 +104,11 @@ async fn subscribe_client(port: u16, topics: &[&str]) -> (AsyncClient, EventLoop
.unwrap_or(0);
let mut opts = MqttOptions::new(
format!("ruview-test-sub-{}-{}", std::process::id(), suffix),
"127.0.0.1",
port,
("127.0.0.1", port),
);
opts.set_keep_alive(Duration::from_secs(10));
opts.set_keep_alive(10);
opts.set_clean_session(true);
let (client, mut eventloop) = AsyncClient::new(opts, 256);
let (client, mut eventloop) = AsyncClient::builder(opts).capacity(256).build();
for t in topics {
client.subscribe(*t, QoS::AtLeastOnce).await.unwrap();
}
@@ -147,7 +146,11 @@ async fn collect_published(
let remain = until - tokio::time::Instant::now();
match timeout(remain, eventloop.poll()).await {
Ok(Ok(Event::Incoming(Packet::Publish(p)))) => {
out.push((p.topic, p.payload.to_vec(), p.retain));
out.push((
String::from_utf8_lossy(&p.topic).to_string(),
p.payload.to_vec(),
p.retain,
));
}
Ok(Ok(_)) => {} // ignore other events
Ok(Err(e)) => {