Paper P-05c: Collatz Finite Duration and Cap-Free Lock-B Closure - Internal FRC Computational Theorem-Chain Proof Object | Synapse