ifc-0017
0.14 How to read the rest of the book
Each subsequent chapter can be approached through four phases. The detailed questions belong inside these phases rather than forming a long checklist of independent machinery.
- Declare.
What is the current sketch, what category contains its models, which operations generate its conceptual space, and which diagrams or universal properties are promised?
- Probe and localize.
Which observers make failure detectable, which Weil probes describe local alternatives, and what are the two repair classes? If the internal interchange law fails, where is \(\Theta _{\mathrm{int}}\) supported, and—when a classical cochain realization exists—what does \(\Omega _{\mathrm{cre}}\) reveal?
- Control and construct.
Does a candidate local repair persist and compose into a coherent finite realization? Do no-change, parameter, in-language, measurement, observer, and domain-specific alternatives explain it? Is the surviving response assimilatory, proto-accommodative, or a proposed package comparison, and is its creative mode combinational, exploratory, or transformational?
- Transport and admit.
What is preserved, forgotten, or newly predicted, and which evidence independent of proposal construction admits, rejects, or defers the change?
This four-phase lens is a reading aid, not a replacement for the more precise DIAL-X algorithmic contract in Chapter 10.
Chapter 1 first explains how a learner can obtain the provisional package on which these questions operate. Chapter 2 then turns them into a theory- extension package. Chapters 3 and 4 develop local geometry and executable skills. Chapter 5 makes algebraic theories the target artifact. Chapter 6 situates that target among the major traditions in computational creativity, after which Chapters 7–9 develop Boden’s three modes. Chapter 10 turns the double repair geometry into a family of target-specific algorithms before the testbeds and experimental architecture put them under controlled evaluation.