Overview¶
Quick entry points into the documentation.
Three short overviews¶
-
Technical overview
Architecture-level view: \(\Upsilon\) (meaning) vs \(\mathbf{\mathrm{Ρ}}\) (execution), stages/perches, and composition.
-
dolo-plus syntax guide
The authoring workflow: stage YAML + methodization + calibration, and how stages compose into larger models.
-
Dolo & DYNARE
Where dolo-plus fits relative to Dolo and DYNARE, and what the dolo-plus extensions buy you.
-
Meaning map to code (Υ → Ρ)
How
V[>]de-sugars into a callable, the whisperer pattern, Matsya at runtime, and why method independence falls out of FFP composition.
Key links for starters¶
-
Examples
Annotated YAML models (consumption-savings, housing, portfolio choice) and formal MDP writeups.
-
dolo-plus YAML schema
Full v0.1 object shapes, invariants, and field definitions.
-
Theory
Mathematical foundations for stages, composition, and representation maps.
-
dolo-plus specification
Surface syntax, semantic rules, and reference conventions.
-
Periods & nests
How multi-stage within-period composition and inter-period wiring are expressed.
-
Semiconjugacy (conjugate solves)
The semiconjugate transform used to solve the noport–cons period via a monolithic EGM “horse”.
Solving via conjugation Semiconjugate solve spec Iterates lemma
Notebooks (development)¶
Notebooks live in explore/ and are not published as part of the docs site.
-
Semiconjugate solve (finite-horizon EGM)
-
EGM cons-stage pipeline
-
Lifecycle period accretion walkthrough
-
Port-cons accretive solve (FFP composition)
Modular Bellman operators in functional-programming style. Stages as higher-order operators, connectors as pure composition, EGM vs VFI comparison. Calls Matsya at runtime to de-sugar the Bellman equation.