dolo-plus Specification v0.1¶

Version: 0.2.2 Last Updated: February 2026 Status: Active Development

Overview¶

dolo-plus is a backwards-compatible extension of Dolo implementing the DDSL Foundations.

This specification covers both the implementation phases and the formal syntax/semantics of the Dolang+ language.

Contents¶

A. Implementation Phases¶

The phased plan to add DDSL features to the Dolo library. Each phase is a self-contained specification with implementation status.

Single source of truth

The milestone table with current status for all specs lives in [[spec_0.1-overview|spec_0.1 overview]] (docs/development/dolo-plus-impl/spec_0.1-overview.md). Do not duplicate status here.

B. Dolang+ Syntax & Semantics¶

Formal specification of the Dolang+ language — the extended YAML syntax for specifying dynamic programs.

Section	Description
Overview	Section overview (sequential pages)
§01–§03	Stage-level syntax reference (symbols, timing, equations)
§04–§07	Core semantics, methodization, translation, and periods/models
§07 Appendix A: Recipes	Recipe specifications

C. Reference Materials¶

Document	Description
Terminology	Key term definitions
Symbol Conventions	Naming and typing conventions
Syntax Changes	Dolo → dolo-plus migration guide

Key Principles¶

Backwards compatibility: Never break vanilla Dolo
Clinical PRs: Small, reversible changes
Functorial API: calibrate(), configure(), methodize() return new objects

Directory Structure¶

dolo-plus-v0.1/
├── README.md                 # This file (index)
├── dolo-plus-impl/           # A. Implementation specs (0.1a-0.1h)
├── syntax-semantic-rules/    # B. Dolang+ syntax & semantics
└── reference/                # C. Terminology, conventions

See also: DDSL Foundations for abstract DDSL theory.