A Working AGI Architecture with Extrapolation Capability: Formal Proof of Unprogrammed Behaviour and a Computable Alternative to Φ | Synapse