```
ID: f-p8-deficit
Type: f

A4, generation 3, and the first of the three alternatives built for MJC's answer a5 -- "each pattern
fires at a rate set by its own support".

Same accumulation as #f-p8-add, and then a decay that is not a constant: the position decays by the
SUPPORT DEFICIT of the strongest evidence that reached it. Let s be the largest support among the
applications that fired here this time step, and let the reference support be smax; the position
decays by smax - s, floored at 0.

The reading. In LSA a rate of one in 2^d is a subtraction of d, so a fall-off written as a
subtraction IS a rate, and the question is only what sets it. A2 set it to the constant 2 because
there are two neighbours and the sum had to be invariant, and that argument is withdrawn (#f-p8). Here
it is set by the pattern: evidence as well supported as the best-supported pattern in the model does
not decay at all, and evidence seen half as often loses one LSA unit per time step. The two ends
#p8v2_gen3 names fall out -- an absolute rule from an absolute event persists, and a pattern that has
seen every possibility once fades immediately.

Deterministic: it draws no entropy of its own, so unlike A2 and A3 it can be reproduced by a
reimplementation without replaying the stream, which is what makes it drivable in the viewer.

AS BUILT, and these are the numbers the runs used rather than what should win. smax is the largest
learned weight over the k=1 argmax pairs and over the kept k=2 rules, floored at 1: 2 at e64, 6 at
e1k, 9 at e10k. A pattern's own support s_p is the LEARNED weight -- for k=1 it is
c1[a*256 + table[a]] and for k=2 it is the rule's stored weight -- so a k=1 pattern here
simultaneously DELIVERS at the absolute 255 and has a rate set by a support of 0, 1 or 2. That is the
k=1 strength gap of #f-p8 appearing inside this alternative, not beside it. At e64, 229 of the 256
sup1 entries are 0, a byte never seen as a predecessor.

The reference support smax is a sub-parameter, not a decision this block makes: built as the largest
support present in the model, because the other obvious choice -- 255, the absolute -- makes the
deficit 253 or 254 at these sample sizes and annihilates everything, which is exactly the failure
recorded against w_p - (255 - w_s) in #f-p8. Generation 3's choices ask which it should be.

Support is read from the learned tables, which under B1 are in memory but NOT in the model file; see
the k=1 strength section of #f-p8. Under the D1 baseline settling never runs at decode time, so this
alternative is measurable as it stands; combining it with D2 or D3 would need the support serialized.
```