Live status · Read the latest
monad-knowledge Wi-Fi sensing lab · FIIT STU
Campaign session

01KWWWEXATGECA6XSP7J8TJQP6

finished 2026-07-06 23:33:20.858531+00:00 → 2026-07-07 10:13:01.613918+00:00 · 96 runs · supervisor: react-agent

“REFUTED at n=8: the pilot's graded-slope claim does not survive powering. Paired (topology−dispersed) occupancy-response slope diff −0.126 dB/person (95% seed bootstrap CI [−0.412,+0.113], exact sign-flip p=0.461, d=−0.32) — CI includes 0, magnitude LB 0.0 < 0.30; the pilot's −0.498 (n=3) is below the powered CI lower bound. Graded grid 0/20 BH-pass, ΔN=2 topology 0/3. Both placements carry a negative response at power (dispersed does NOT saturate as the pilot claimed); topology's fitted slope is more consistent (8/8 negative, but p=0.0078 is the attainable floor, uncorrected post-hoc) — the between-arm gap is within seed noise. 96/96 runs gate-passed; no sentinel artefacts. ble-periodic-calibration held plausible, no strength change. Deliverable for IP-106: concentrate anchors for response consistency, not fine graded count.”

Archive snapshot, as of 1 h ago — the run corpus is rebuilt once a day, so this page is not a live reading. The fleet panel is the live one; it refreshes every 30 s.

Success criteria

CriterionResolved
Primary: the 95% seed-block-bootstrap CI on the paired (occupied − empty) mean BLE-RSSI slope excludes 0 and its magnitude lower bound exceeds 0.30 dB/person. — FAIL: diff −0.126 dB/person, CI [−0.412,+0.113] includes 0, magnitude LB 0.0 < 0.30, exact sign-flip p=0.461 (floor 0.0078). Refuted at n=8; pilot's −0.498 is CI-excluded. no
Graded: within the occupied regime, the per-ΔN=2 graded-slope CI excludes 0 after the pre-declared BH-FDR pass over the 20-cell grid. — FAIL: 0/20 cells survive BH-FDR(0.05); ΔN=2 topology 0/3. Fine graded counting unsupported at power under either placement. no
Reporting: every headline carries estimate + CI + effect size at n=8; median/MAD alongside mean/SD; N=12 flagged distinctly. — MET: all headlines carry estimate+CI+d; median/MAD reported; N=12 flagged (involves_n12) in per-cell grid; end-difference sensitivity (−0.131, CI [−0.442,+0.127]) matches OLS slope. yes

Synthesis

c-ble-graded-count-powered — session 01KWWWEXATGECA6XSP7J8TJQP6 (2026-07-07)

Verdict: the pilot's graded-slope claim does NOT survive powering. REFUTED at n=8. The paired (topology − dispersed) occupancy-response slope difference is −0.126 dB/person (95% seed-block bootstrap CI [−0.412, +0.113], exact sign-flip p=0.461, paired d=−0.32) — the CI includes 0, so the primary criterion fails on both clauses (excludes-0 and magnitude-lower-bound > 0.30). The pilot's −0.498 dB/person (c-ble-anchor-placement, n=3) lies below the powered CI's lower bound (−0.412) — it is CI-excluded, not merely unconfirmed: the design powered to δ=0.498 rules the pilot point out.

What we tested

Exact re-run of the pilot design, only the seed count grows: 2 anchor layouts (csi-link-resplan-12439-multiroom dispersed vs …-topo-anchors hub+bedroom-1), paired by seed, N ∈ {0,2,4,6,8,12}, noise_db 2.0, 2.4 GHz, n_placements 24 — 96 runs (2×6×8), all gate-passed. Estimand = per-seed OLS slope of same-seed-baseline-normalised mean ΔRSSI on occupied N, dB/person; unit of replication = seed (not the 11,520 pooled frame×link events). Reduction csi_ble_graded_power.py (seed-clustered; 10k seed bootstrap; exact 256-flip sign test; 20-cell within-occupied ΔN grid with BH-FDR).

What we found

  1. Primary refuted (C1 fail). Paired slope diff −0.126 dB/person, CI [−0.412, +0.113]; median −0.084, MAD 0.235 (mean/median agree — not outlier-driven). Per-seed diffs straddle zero: −0.92, −0.39, −0.18, −0.15, −0.02, +0.08, +0.24, +0.33. p=0.461 vs the 0.0078 attainable floor.
  2. The pilot's mechanism story is itself wrong at power. The pilot claimed dispersed saturates flat (+0.08 dB/person) while topology alone is monotone (−0.48). At n=8 both placements carry a negative occupancy response: dispersed mean −0.227 (7/8 seeds' fitted slope negative, sign p=0.070, one strongly positive seed drives the spread), topology mean −0.353 (8/8 fitted slopes negative). Two honesty caveats on the topology figure: its sign-test p=0.0078 is the exact n=8 two-sided attainable floor (2·0.5⁸), the minimum the design can emit, not a margin; and it is an uncorrected, post-hoc, single-arm directional test outside the two pre-declared endpoints — read as descriptive, not as a third confirmed result. So topology gives a more consistently negative fitted slope, dispersed does not saturate, and the between-arm gap is within seed noise. The pilot's n=3 caught a favourable dispersed subset.
  3. Graded grid fails cleanly (C2 fail). 0/20 within-occupied ΔN cells survive BH-FDR(0.05); the "Graded" ΔN=2 topology cells resolve 0/3. Fine graded counting is not supported at power under either placement.
  4. Reporting (C3 met). Every headline carries estimate + CI + effect size at n=8; median/MAD reported alongside mean/SD; N=12 flagged (involves_n12) in the per-cell grid — the end-difference sensitivity (−0.131, CI [−0.442, +0.127]) matches the OLS slope, confirming the null is not an artefact of the slope definition.

What it means for the thesis chain

This is the powered adjudication the 2026-07-06 statistical overhaul ordered, and it lands as a negative that corrects the record: topology-informed anchor placement does not buy a resolvably steeper graded count than dispersed placement — the pilot's headline was an n=3 seed-variance artefact. What does survive is narrower and honest: a hub+large-room anchor layout produces a consistently negative occupancy→ΔRSSI fitted slope (8/8 seeds, a descriptive response-consistency observation, not a confirmed endpoint), where dispersed placement is directionally similar but seed-noisy. For ble-periodic-calibration (held plausible, unchanged) the deliverable flips from "concentrate anchors for graded count" to "concentrate anchors for response consistency — graded headcount from a single narrowband Tx is not in evidence at power." The IP-106 hardware protocol should not budget for fine graded BLE counting off anchor placement alone. No hypothesis strength changes.

Honest scope

One floor (resplan-12439), one occlusion geometry, single narrowband Tx, uniform-drywall, self-authored Gaussian BLE noise — in-silico, so this refutes the pilot's in-silico claim, not a field result. n=8 was powered (~90%) against the pilot's δ=0.498/σ=0.379; the observed effect (~0.13) is genuinely small, not merely underpowered — but a δ≈0.13 effect would need n≈75 seeds to resolve, and is below the 0.30 dB/person threshold the brief declared as practically meaningful regardless. This is a powered negative for the pilot-sized effect, not proof the true difference is zero — the CI still admits differences out to −0.412 dB/person. Sentinel-absorption check (critic-requested, now run): all 96 cells carry exactly 120 events, no NaN cell means, and the N=12 cells span −0.99 to −9.26 dB with no constant-value signature — the null is not a degenerate-data artefact. Reduction + per-cell grid + 3 figures (seed_trace, paired_diff, perm_null) under this session's artefacts/ prefix.

Criticism adversarial review

Written by the campaign-critic subagent against the brief's success criteria — read it as the counter-position to the synthesis above.

campaign-critic — c-ble-graded-count-powered / 01KWWWEXATGECA6XSP7J8TJQP6

Verdict: agrees with synthesis (REFUTED at n=8). Severity: low. Corpus confirmed — 96 runs real, gate-passed, correctly labelled; metrics.json reproduces every headline number (paired diff −0.126, CI [−0.412,+0.113], p=0.461 vs floor 0.0078, d=−0.32, per-arm slopes, 0/20 BH). A clean, well-derived negative; no criterion falsely marked met; the negative is genuinely powered, not underpowered.

Claim audit

  • C1 (primary paired slope): correctly refuted. CI spans 0; magnitude lower bound 0.0, not >0.30. Replication unit is seed (n=8, paired), not the 11,520 pooled rows. The pilot's −0.498 lies below the CI lower bound (−0.412) → CI-excluded, a firmer refutation than "sat in the tail" (integrated into final synthesis).
  • C2 (graded grid): correctly refuted. 0/20 BH-pass, ΔN=2 topology 0/3, pre-declared correction honoured.
  • C3 (reporting): met. estimate+CI+d, median/MAD, end-slope robustness cross-check present.

Weak claims (all integrated into final synthesis)

  • Topology "8/8, sign p=0.0078" — 0.0078 is the exact n=8 two-sided attainable floor (2·0.5⁸), not a margin; and it is an uncorrected post-hoc single-arm directional test outside the two pre-declared endpoints. Now flagged as descriptive, not a third confirmed result.
  • "Consistent monotone response" overreached — sign test establishes only the sign of the fitted OLS slope, not per-seed monotonicity. Reworded to "consistently negative fitted slope."
  • "Sat in the tail" — −0.498 is ~0.94 SD from the powered mean (in the bulk); replaced with the CI-exclusion framing.

Honest scope

Scope paragraph sound. Additions integrated: powered negative for the pilot-sized effect (~90% power at n≈7 for δ=0.498), NOT proof the true effect is zero — CI still admits effects to −0.412. Sentinel-absorption path — flagged as unchecked; supervisor subsequently ran the check: all cells 120 events, no NaN, N=12 spans −0.99…−9.26 dB, no constant-value signature — clean.

Attached runs

Run Gate Purpose Replay
JSTS3M85 ✓ — —
8AR4825S ✓ — —
CQ68ARZ3 ✓ — —
QQXQFJWB ✓ — —
QAYMEBYN ✓ — —
T5FK5B1P ✓ — —
C2STSSQM ✓ — —
058QTCKD ✓ — —
VSEP5HJQ ✓ — —
G9Y6JF27 ✓ — —
6NV7VYG2 ✓ — —
CC7QWGZ6 ✓ — —
NC9925C8 ✓ — —
X2E6TM40 ✓ — —
WV5XQ0NP ✓ — —
29NAQKHV ✓ — —
YY8N5R80 ✓ — —
K6C0N5QE ✓ — —
KQ00SMB4 ✓ — —
CBCSJG23 ✓ — —
RY582WT4 ✓ — —
K93RVXG9 ✓ — —
KD3X6TG4 ✓ — —
0JMGKECW ✓ — —
21RH0AHP ✓ — —
FD8MFHX7 ✓ — —
G2M3QXCV ✓ — —
CZCN3RD8 ✓ — —
449Y38C1 ✓ — —
BT0BHHAS ✓ — —
9TG4YJ84 ✓ — —
WF46YGFZ ✓ — —
15N1792W ✓ — —
5B0X60EB ✓ — —
ZVP1KE44 ✓ — —
PSS7KFAG ✓ — —
58QDQMVK ✓ — —
6JTHPCP3 ✓ — —
7TVEHKTY ✓ — —
C9JTZB6E ✓ — —
TNQCMWR9 ✓ — —
EQNP096H ✓ — —
2PASBMBX ✓ — —
VE15GWT0 ✓ — —
QV8ZD4ZN ✓ — —
NWNPPSSB ✓ — —
ZSCRTXP6 ✓ — —
KDHHFP1Z ✓ — —
75PCERMM ✓ — —
Q05N1GJ0 ✓ — —
KFZK738T ✓ — —
H78NSA4P ✓ — —
SM5YNM3X ✓ — —
NEBPHYQV ✓ — —
77J8S6ZF ✓ — —
ZHBZTTC1 ✓ — —
7W2N7TSX ✓ — —
6270YGG8 ✓ — —
V5D6ZYAX ✓ — —
86WWHCTM ✓ — —
Y1QZV2RM ✓ — —
7E4P4RGD ✓ — —
1M9DBCFJ ✓ — —
G88X4G97 ✓ — —
31FT61GK ✓ — —
EGBF9DDC ✓ — —
FBY1349F ✓ — —
44ZSDZQ5 ✓ — —
QKV4ZKZF ✓ — —
X7S106Z8 ✓ — —
KMRH4N5S ✓ — —
QF657DF5 ✓ — —
QKP9D390 ✓ — —
0S5GFT61 ✓ — —
AGVEVSM8 ✓ — —
9K512KSB ✓ — —
TPB6JZHA ✓ — —
R954F1MX ✓ — —
KNRETJ7V ✓ — —
SNAWYD88 ✓ — —
TP3DBBDQ ✓ — —
KKTK9APH ✓ — —
S3GYYG12 ✓ — —
E69RYZMK ✓ — —
ZB8J21YR ✓ — —
TR9M9YK1 ✓ — —
GT9AMSCC ✓ — —
9R8F2V8T ✓ — —
NT8D00DV ✓ — —
DSQ8B36S ✓ — —
NYPQAW3Y ✓ — —
BQJV95NC ✓ — —
DB70QCV3 ✓ — —
3G05N18M ✓ — —
EC376ZTW ✓ — —
GPQSBVZQ ✓ — —