Research Notes¶
Working notes and drafts that are useful for development discussions, but are not part of the formal spec.
Notes¶
| Document | Description |
|---|---|
| Object-first model specification | Typed perch wiring (perches + morphisms) before analysis; semantics layered later (kernels → operators) |
| Perches as Information Interfaces | Email response explaining perch semantics |
| Variables vs Functions | Free variables vs function evaluation inside a stage |
| Modularity and specification complexity | Why modular composition reduces description/verification complexity (and what it does not claim) |
| Semiconjugacy Iterates | Iterates lemma used in the semiconjugate solve argument |
| Round-trip refinement | YAML↔MDP round-tripping as fixed-point verification; connections to autoformalization, BX, Self-Refine, FFP |
| Coding design principles | Why the operator algebra must stay visible: Backus/Ousterhout rules applied to BE-DDSL |
Concepts¶
Short concept definitions for internal reference.
| Document | Description |
|---|---|
| Accretion | Backward iteration terminology |
| Economic Fields | Fields as random variables over filtrations |