Skip to content

dolo-plus syntax and semantics

This folder contains the "dolo-plus" (ddsl-SYM syntax) syntax rules.

Interpretation: dolo-plusis a SYM-layer implementation of Bellman calculus. These pages explain how dolo-plus surface YAML (stages / perches / movers) is read as a precise stage, and how methodization/calibration/settings attach to produce an executable representation.

Canonical notation (math ↔ YAML) lives in docs/dolo-plus-spec/reference/symbols-conventions.md. When in doubt, treat that page as the single source of truth.

Pages (sequential)

§ File Topic
00 overview.md This overview
01 01-symbols-and-declarations.md Symbols: SYM scope, decorators, variables, perch objects, shifting
02 02-stage-structure-and-timing.md Stage semantics: perches, filtration, inter-stage links, periods
03 03-equations-and-operators.md Equations: transitions, movers, YAML examples
04 04-methodization.md Schemes, methods, settings attachment (\(\mathbf{\mathrm{Ρ}}\)-facing)
05 05-periods-models.md Periods/models/nests; syntax collections; twisters
06 06-from-syntax-to-formal-problem-definition.md How to read SYM as a formal DP
07 07-appendix-a-recipes.md Recipe specifications for dolo-plus equation blocks
08 08-appendix-b-dolo-translation.md Dolo mapping: horse translation, open semantic points

Suggested reading order (two paths)

  • Guided tour (new readers):
  • Start with §01 01-symbols-and-declarations.md (what objects can be declared; perch objects; shifting).
  • Then read §02 02-stage-structure-and-timing.md (perches as information sets; filtration; inter-stage links).
  • Then read §03 03-equations-and-operators.md (what equation blocks mean; how movers factor the stage operator).
  • Then read §04 04-methodization.md (how schemes/methods/settings attach without changing the math).
  • Then read §05 05-periods-models.md (periods/models/nests and twisters; composition rules).

  • Finally, read §06 06-from-syntax-to-formal-problem-definition.md (the SYM → formal DP reading, as a capstone).

  • Reference path (when you already know the story):

  • Use §01–§03 as the stage-level reference pages.
  • Use §05 for period/model wiring rules and twisters.
  • Use §04 for \(\mathbf{\mathrm{Ρ}}\)-level attachment rules.

Legacy split pages (archived in old/)

The original fine-grained split pages have been consolidated into the sequential pages above. For reference, the mapping is:

Old file Now in
02-update-clean-yaml.md §01
03-decorators.md §01
05-variables.md §01
04-from-time-to-perch.md §02
06-equation-blocks.md §03
07-yaml-excerpts.md §03
08-mapping-to-dolo.md §08
09-other-considerations.md §08