V.R354 — Scope: conjectural (E6)

Structural claims (global finiteness) are tau-effective; specific endstate (eternal recurrence) is conjectural.