Engineering AI for provable retention of objectives over time | Synapse