Finite insufficiency controls

The core-energy quantity in this example is not identified with a black-hole mass. The example disproves the finite inference from an energy-drain ledger to a recovery endpoint.