Manuscript Hawk02-B@2 · Hawk02-B.tex · proposition · 95ea744f
Proposition: A separately declared discharge endpoint
Endpoint and operational accounting · lines 1369–1379 · proof included or linked
Hawk02-B@2#prop:endpoint
Append one fresh radiation cell and a pulse of area to each memory mechanism. The resulting survival probability is zero, the final memory is , and radiation recovery is exact.
Proof. Each appended survival factor is . Apply Theorem thm:B2 and Corollary thm:B5.