Agrippa's Trilemma, Counted: Acts, Posits and the Formal Register

Agrippa's trilemma says that a justification either regresses without end, closes into a circle, or breaks off at a dogma. We read it by one number: how many admissible readings a chain of reasons has, under classical (supported) semantics. On a finite base the regress cannot occur (on an infinite one it reads twice, like the dogma); an odd loop has no reading (a paradox); an even loop and the dogma "p because p" have two each (one and the same fork); only a chain that reaches a ground, a reason that rests on nothing, reads once. Grounds come in two kinds: the value of an act is computed from its content and is the same under every base; the value of a posit (an axiom, a Thing) is set by the base, and a rival base always exists. We read this as the thesis that knowledge rests on acts alone, while about Things Agrippa is right and his horns are the signature of the formal register. The formal results are proved in Lean 4 on the empty axiom list (98 theorems in four modules, github.com/inventor1975/ZTL, tag agrippa-preprint-v1.0). The count itself is old (Kripke's grounded, ungrounded and paradoxical sentences); a literature check is reported with what was found and read, and novelty is claimed only for applying the count to Agrippa, for the act/posit line and for the machine-checked proofs.