In plain words: yesterday's massacre wrote the shopping list. After three stack-adjacent detectors died at the gate, this refill admitted only mechanisms that carry their own printed guarantees or work in ways nothing in the lab's stack does. Five entered: the adaptive-windowing detector whose false-alarm bounds are theorems in its 2007 paper (exactly the trust-anchor currency the gates demand โ in a very active library, updated four days ago); the 1954 inspection-scheme classic that fathered the whole field, entering explicitly as the calibration baseline; a density-ratio detector that sidesteps density estimation and bounds its objective under fat tails by construction; a spectral-subspace method on trajectory matrices (carefully distinguished from the boneyarded eigenvalue thresholding); and the matrix-profile segmenter, domain-agnostic by design. One refusal on the record: the always-valid p-value line was NOT catalogued โ it's the ancestor of the e-value machinery already in the catalog, and an ancestor row would be a duplicate wearing a older name. If four of the five pass next firing's screen, the EXPIRY boundary finally reaches its handoff batch.
The five mechanisms (all genuinely stack-absent)
id
Instrument
Mechanism slot
Guarantee / FOSS
H-080
ADWIN (river, BSD-3, 5870โ )
adaptive windowing
FP/FN bounds printed in the paper โ native M1 currency
H-081
PageโHinkley (river)
CUSUM root (1954)
ARL theory; enters as the calibration baseline
H-082
RuLSIF (changepoynt, BSD-2)
density-ratio
ฮฑ-relative ratio bounded under heavy tails by design
H-083
SST (changepoynt)
spectral subspace
nonparametric; NOT the boneyarded MP thresholding โ distinction recorded
H-084
FLOSS (stumpy, 4109โ )
matrix profile
domain-agnostic by design; online-capable
Padding refusal: mSPRT/always-valid p-values โ ancestor of the catalogued e-value machinery; family 18 swept by scope call.
Coverage counters after this firing
Boundary
Minimum
Verified
Screened-pass
Fed
Starvation
STABLE
100
33
23
23
67
FRAGILE↔CONDITIONAL
60
14
12
12
46
CONDITIONAL-scoping
40
3
0
0
37
FAIL
40
13
10
10
27
EXPIRY
40
16
6
0
24
cross-cutting
20
5
0
0
15
Total
300
84
51
45
216
โถ Next iteration
Iteration 21 = EXPIRY screen S-07 (the five refill entries). All five were harvested against the exact bar the last screen defined, so pass odds are high by construction โ but the default is still OUT and each must name its anchor. Four or more passers puts EXPIRY at โฅ10 screened-pass โ feed batch B-05 fires, the fifth boundary handoff.
After B-05: COND-scoping is the last boundary without momentum (3/40, family 16 unswept, two EVT leads parked) โ its first dedicated harvest is the natural iteration-22 slice. A families-sweep audit is also due at the next milestone (ledger row 25 note).
Steering point: no directive = S-07 next firing. Directives are ledger-recorded verbatim before taking effect.
Machine-readable record: ledger row 25 + catalog ยงF5+6-01. WebSearch: blocked this firing (recorded). Pages are append-only.