ch-oracle-synthesis
17 Synthesis and the Next ORACLE Theorem Ladder
From categorical identification to lifelong learning
The book has moved through four semantic enlargements:
\begin{align*} \text{identify a compositional world} & \longrightarrow \text{learn it online} \longrightarrow \text{act and repair within it}\\ & \longrightarrow \text{transport what was learned across a lifetime}. \end{align*}
Each arrow adds structure and therefore adds failure modes. The purpose of the final chapter is to separate what has been proved in the present realizations from what remains the research program.