ifc-0318
20.6 Other domains not explored here
Several domains could test whether the framework transports beyond the applications in this book.
In the table, creative artifact names the central construction, not a standalone output. Each row inherits the artifact-dossier obligation of Section 10.4.1: structural delta, transport, independent admission, persistence, and provenance must accompany any strong creativity claim.
|
Domain |
Maintained theory |
Creative artifact |
Primary difficulty |
|---|---|---|---|
|
Language |
Lexicon, syntax, pragmatics, and discourse conventions |
New word, metaphor, construction, or genre |
Meaning is negotiated socially and changes with use |
|
Architecture and engineering |
Functions, loads, materials, codes, and manufacturing processes |
Reusable design principle or fabrication method |
Physical safety and lifecycle cost constrain admission |
|
Cuisine |
Ingredients, transformations, sensory profiles, and service |
New technique rather than a novel ingredient list |
Taste and embodied practice are difficult to simulate |
|
Software |
Types, interfaces, tests, and execution semantics |
New abstraction, protocol, or programming pattern |
Apparent novelty may be a renamed familiar construction |
|
Scientific instruments |
Observables, calibration, interventions, and data pipelines |
New measurement or experimental protocol |
The extension changes what evidence can exist |
|
Collaborative creativity |
Distributed theories, roles, and communication channels |
New division of labor or shared conceptual language |
Credit, governance, and disagreement are part of the object |
Mathematical field construction remains perhaps the most demanding case. A frontier model may prove a collection of difficult theorems while failing to create a persistent conceptual structure comparable to number theory, Fourier analysis, or Lie theory. In DIAL terms, the artifact would not be an isolated proof but a new presentation: definitions, examples, invariants, theorems, proof techniques, interfaces to prior fields, and a research program that other mathematicians can inhabit. The DIAL-URL experiments provide a small step toward this target, but no experiment in this book approaches its full historical scale.