# GDS Ecosystem

> Typed compositional specifications for complex systems — framework, visualization, games, and examples

GDS (Generalized Dynamical Systems) is a typed compositional specification
framework for complex systems. It provides a composition algebra (stack,
parallel, feedback, loop), a 3-stage compiler to flat IR, and a verification
engine. Five domain DSLs (games, control, stock-flow, software, business)
compile to the same GDS IR, validating it as a universal transition calculus.


## Framework (gds-framework)

- [Home](https://blockscience.github.io/gds-core/index.md): Monorepo landing page — package overview, install, architecture
- [Overview](https://blockscience.github.io/gds-core/framework/index.md): Core engine — blocks, composition algebra, compiler, verification
- [Quick Reference](https://blockscience.github.io/gds-core/framework/quick-reference/index.md): Cheat sheet for types, blocks, composition, and verification
- [Installation](https://blockscience.github.io/gds-core/framework/getting-started/install/index.md): Installation for users and developers
- [Quick Start](https://blockscience.github.io/gds-core/framework/getting-started/quickstart/index.md): Build a thermostat spec in 5 minutes
- [Architecture](https://blockscience.github.io/gds-core/framework/guide/architecture/index.md)
- [Blocks & Roles](https://blockscience.github.io/gds-core/framework/guide/blocks/index.md)
- [Composition Algebra](https://blockscience.github.io/gds-core/framework/guide/composition/index.md)
- [Glossary](https://blockscience.github.io/gds-core/framework/guide/glossary/index.md)
- [Pipeline](https://blockscience.github.io/gds-core/framework/guide/pipeline/index.md)
- [Spaces](https://blockscience.github.io/gds-core/framework/guide/spaces/index.md)
- [Specification](https://blockscience.github.io/gds-core/framework/guide/spec/index.md)
- [State & Entities](https://blockscience.github.io/gds-core/framework/guide/state/index.md)
- [Type System](https://blockscience.github.io/gds-core/framework/guide/types/index.md)
- [Verification](https://blockscience.github.io/gds-core/framework/guide/verification/index.md)
- [Overview](https://blockscience.github.io/gds-core/framework/api/index.md)
- [gds.blocks](https://blockscience.github.io/gds-core/framework/api/blocks/index.md)
- [gds.canonical](https://blockscience.github.io/gds-core/framework/api/canonical/index.md)
- [gds.compiler](https://blockscience.github.io/gds-core/framework/api/compiler/index.md)
- [gds](https://blockscience.github.io/gds-core/framework/api/init/index.md)
- [gds.ir](https://blockscience.github.io/gds-core/framework/api/ir/index.md)
- [gds.parameters](https://blockscience.github.io/gds-core/framework/api/parameters/index.md)
- [gds.query](https://blockscience.github.io/gds-core/framework/api/query/index.md)
- [gds.serialize](https://blockscience.github.io/gds-core/framework/api/serialize/index.md)
- [gds.spaces](https://blockscience.github.io/gds-core/framework/api/spaces/index.md)
- [gds.spec](https://blockscience.github.io/gds-core/framework/api/spec/index.md)
- [gds.state](https://blockscience.github.io/gds-core/framework/api/state/index.md)
- [gds.types](https://blockscience.github.io/gds-core/framework/api/types/index.md)
- [gds.verification](https://blockscience.github.io/gds-core/framework/api/verification/index.md)

## Visualization (gds-viz)

- [Overview](https://blockscience.github.io/gds-core/viz/index.md): Mermaid diagram renderers for GDS specifications
- [Getting Started](https://blockscience.github.io/gds-core/viz/getting-started/index.md): First diagram in 3 lines of code
- [Theming](https://blockscience.github.io/gds-core/viz/guide/theming/index.md)
- [Views](https://blockscience.github.io/gds-core/viz/guide/views/index.md)
- [gds_viz.architecture](https://blockscience.github.io/gds-core/viz/api/architecture/index.md)
- [gds_viz.canonical](https://blockscience.github.io/gds-core/viz/api/canonical/index.md)
- [gds_viz](https://blockscience.github.io/gds-core/viz/api/init/index.md)
- [gds_viz.mermaid](https://blockscience.github.io/gds-core/viz/api/mermaid/index.md)
- [gds_viz.traceability](https://blockscience.github.io/gds-core/viz/api/traceability/index.md)

## Games (gds-domains)

- [Overview](https://blockscience.github.io/gds-core/games/index.md): Typed DSL for compositional game theory (Open Games)
- [Getting Started](https://blockscience.github.io/gds-core/games/getting-started/index.md): Model a Prisoner's Dilemma game
- [Equilibrium Analysis](https://blockscience.github.io/gds-core/games/equilibrium/index.md): Nash equilibrium computation via Nashpy
- [Architecture](https://blockscience.github.io/gds-core/games/guide/architecture/index.md)
- [CLI](https://blockscience.github.io/gds-core/games/guide/cli/index.md)
- [Game Types](https://blockscience.github.io/gds-core/games/guide/game-types/index.md)
- [Patterns & Composition](https://blockscience.github.io/gds-core/games/guide/patterns/index.md)
- [Reports](https://blockscience.github.io/gds-core/games/guide/reports/index.md)
- [Verification](https://blockscience.github.io/gds-core/games/guide/verification/index.md)
- [Visualization](https://blockscience.github.io/gds-core/games/guide/visualization/index.md)
- [Architecture Overview](https://blockscience.github.io/gds-core/games/design/architecture-overview/index.md)
- [gds_domains.games.cli](https://blockscience.github.io/gds-core/games/api/cli/index.md)
- [gds_domains.games.dsl.base](https://blockscience.github.io/gds-core/games/api/dsl-base/index.md)
- [gds_domains.games.dsl.compile](https://blockscience.github.io/gds-core/games/api/dsl-compile/index.md)
- [gds_domains.games.dsl.composition](https://blockscience.github.io/gds-core/games/api/dsl-composition/index.md)
- [gds_domains.games.dsl.games](https://blockscience.github.io/gds-core/games/api/dsl-games/index.md)
- [gds_domains.games.dsl.library](https://blockscience.github.io/gds-core/games/api/dsl-library/index.md)
- [gds_domains.games.dsl.pattern](https://blockscience.github.io/gds-core/games/api/dsl-pattern/index.md)
- [gds_domains.games.dsl.types](https://blockscience.github.io/gds-core/games/api/dsl-types/index.md)
- [gds_domains.games](https://blockscience.github.io/gds-core/games/api/init/index.md)
- [gds_domains.games.ir](https://blockscience.github.io/gds-core/games/api/ir/index.md)
- [gds_domains.games.reports](https://blockscience.github.io/gds-core/games/api/reports/index.md)
- [gds_domains.games.verification](https://blockscience.github.io/gds-core/games/api/verification/index.md)
- [gds_domains.games.viz](https://blockscience.github.io/gds-core/games/api/viz/index.md)

## Business (gds-domains)

- [Overview](https://blockscience.github.io/gds-core/business/index.md): Business dynamics DSL — CLD, supply chain, value stream map
- [Getting Started](https://blockscience.github.io/gds-core/business/getting-started/index.md): Model a causal loop diagram
- [Diagram Types](https://blockscience.github.io/gds-core/business/guide/diagram-types/index.md)
- [Verification](https://blockscience.github.io/gds-core/business/guide/verification/index.md)
- [Overview](https://blockscience.github.io/gds-core/business/api/index.md)
- [gds_domains.business.cld.checks](https://blockscience.github.io/gds-core/business/api/cld-checks/index.md)
- [gds_domains.business.cld.compile](https://blockscience.github.io/gds-core/business/api/cld-compile/index.md)
- [gds_domains.business.cld.elements](https://blockscience.github.io/gds-core/business/api/cld-elements/index.md)
- [gds_domains.business.cld.model](https://blockscience.github.io/gds-core/business/api/cld-model/index.md)
- [gds_domains.business.common](https://blockscience.github.io/gds-core/business/api/common/index.md)
- [gds_domains.business](https://blockscience.github.io/gds-core/business/api/init/index.md)
- [gds_domains.business.supplychain.checks](https://blockscience.github.io/gds-core/business/api/scn-checks/index.md)
- [gds_domains.business.supplychain.compile](https://blockscience.github.io/gds-core/business/api/scn-compile/index.md)
- [gds_domains.business.supplychain.elements](https://blockscience.github.io/gds-core/business/api/scn-elements/index.md)
- [gds_domains.business.supplychain.model](https://blockscience.github.io/gds-core/business/api/scn-model/index.md)
- [gds_domains.business.verification](https://blockscience.github.io/gds-core/business/api/verification/index.md)
- [gds_domains.business.vsm.checks](https://blockscience.github.io/gds-core/business/api/vsm-checks/index.md)
- [gds_domains.business.vsm.compile](https://blockscience.github.io/gds-core/business/api/vsm-compile/index.md)
- [gds_domains.business.vsm.elements](https://blockscience.github.io/gds-core/business/api/vsm-elements/index.md)
- [gds_domains.business.vsm.model](https://blockscience.github.io/gds-core/business/api/vsm-model/index.md)

## Stock-Flow (gds-domains)

- [Overview](https://blockscience.github.io/gds-core/stockflow/index.md): Declarative stock-flow DSL over GDS semantics
- [Getting Started](https://blockscience.github.io/gds-core/stockflow/getting-started/index.md): Model an SIR epidemic as stocks and flows
- [Elements & GDS Mapping](https://blockscience.github.io/gds-core/stockflow/guide/elements/index.md)
- [Verification](https://blockscience.github.io/gds-core/stockflow/guide/verification/index.md)
- [gds_domains.stockflow.verification.checks](https://blockscience.github.io/gds-core/stockflow/api/checks/index.md)
- [gds_domains.stockflow.dsl.compile](https://blockscience.github.io/gds-core/stockflow/api/compile/index.md)
- [gds_domains.stockflow.dsl.elements](https://blockscience.github.io/gds-core/stockflow/api/elements/index.md)
- [gds_domains.stockflow](https://blockscience.github.io/gds-core/stockflow/api/init/index.md)
- [gds_domains.stockflow.dsl.model](https://blockscience.github.io/gds-core/stockflow/api/model/index.md)
- [gds_domains.stockflow.verification](https://blockscience.github.io/gds-core/stockflow/api/verification/index.md)

## Control (gds-domains)

- [Overview](https://blockscience.github.io/gds-core/control/index.md): State-space control systems DSL over GDS semantics
- [Getting Started](https://blockscience.github.io/gds-core/control/getting-started/index.md): Model a PID thermostat controller
- [Elements & GDS Mapping](https://blockscience.github.io/gds-core/control/guide/elements/index.md)
- [Verification](https://blockscience.github.io/gds-core/control/guide/verification/index.md)
- [gds_domains.control.verification.checks](https://blockscience.github.io/gds-core/control/api/checks/index.md)
- [gds_domains.control.dsl.compile](https://blockscience.github.io/gds-core/control/api/compile/index.md)
- [gds_domains.control.dsl.elements](https://blockscience.github.io/gds-core/control/api/elements/index.md)
- [gds_domains.control](https://blockscience.github.io/gds-core/control/api/init/index.md)
- [gds_domains.control.dsl.model](https://blockscience.github.io/gds-core/control/api/model/index.md)
- [gds_domains.control.verification](https://blockscience.github.io/gds-core/control/api/verification/index.md)

## Software (gds-domains)

- [Overview](https://blockscience.github.io/gds-core/software/index.md): Software architecture DSL — DFD, state machine, C4, ERD, component, dependency
- [Getting Started](https://blockscience.github.io/gds-core/software/getting-started/index.md): Model a data flow diagram
- [Diagram Types](https://blockscience.github.io/gds-core/software/guide/diagram-types/index.md)
- [Verification](https://blockscience.github.io/gds-core/software/guide/verification/index.md)
- [Overview](https://blockscience.github.io/gds-core/software/api/index.md)
- [gds_domains.software.c4.checks](https://blockscience.github.io/gds-core/software/api/c4-checks/index.md)
- [gds_domains.software.c4.compile](https://blockscience.github.io/gds-core/software/api/c4-compile/index.md)
- [gds_domains.software.c4.elements](https://blockscience.github.io/gds-core/software/api/c4-elements/index.md)
- [gds_domains.software.c4.model](https://blockscience.github.io/gds-core/software/api/c4-model/index.md)
- [gds_domains.software.common](https://blockscience.github.io/gds-core/software/api/common/index.md)
- [gds_domains.software.component.checks](https://blockscience.github.io/gds-core/software/api/cp-checks/index.md)
- [gds_domains.software.component.compile](https://blockscience.github.io/gds-core/software/api/cp-compile/index.md)
- [gds_domains.software.component.elements](https://blockscience.github.io/gds-core/software/api/cp-elements/index.md)
- [gds_domains.software.component.model](https://blockscience.github.io/gds-core/software/api/cp-model/index.md)
- [gds_domains.software.dependency.checks](https://blockscience.github.io/gds-core/software/api/dep-checks/index.md)
- [gds_domains.software.dependency.compile](https://blockscience.github.io/gds-core/software/api/dep-compile/index.md)
- [gds_domains.software.dependency.elements](https://blockscience.github.io/gds-core/software/api/dep-elements/index.md)
- [gds_domains.software.dependency.model](https://blockscience.github.io/gds-core/software/api/dep-model/index.md)
- [gds_domains.software.dfd.checks](https://blockscience.github.io/gds-core/software/api/dfd-checks/index.md)
- [gds_domains.software.dfd.compile](https://blockscience.github.io/gds-core/software/api/dfd-compile/index.md)
- [gds_domains.software.dfd.elements](https://blockscience.github.io/gds-core/software/api/dfd-elements/index.md)
- [gds_domains.software.dfd.model](https://blockscience.github.io/gds-core/software/api/dfd-model/index.md)
- [gds_domains.software.erd.checks](https://blockscience.github.io/gds-core/software/api/erd-checks/index.md)
- [gds_domains.software.erd.compile](https://blockscience.github.io/gds-core/software/api/erd-compile/index.md)
- [gds_domains.software.erd.elements](https://blockscience.github.io/gds-core/software/api/erd-elements/index.md)
- [gds_domains.software.erd.model](https://blockscience.github.io/gds-core/software/api/erd-model/index.md)
- [gds_domains.software](https://blockscience.github.io/gds-core/software/api/init/index.md)
- [gds_domains.software.statemachine.checks](https://blockscience.github.io/gds-core/software/api/sm-checks/index.md)
- [gds_domains.software.statemachine.compile](https://blockscience.github.io/gds-core/software/api/sm-compile/index.md)
- [gds_domains.software.statemachine.elements](https://blockscience.github.io/gds-core/software/api/sm-elements/index.md)
- [gds_domains.software.statemachine.model](https://blockscience.github.io/gds-core/software/api/sm-model/index.md)
- [gds_domains.software.verification](https://blockscience.github.io/gds-core/software/api/verification/index.md)

## Examples

- [GDS Framework Examples](https://blockscience.github.io/gds-core/examples/index.md): Six tutorial models demonstrating every framework feature
- [Learning Path](https://blockscience.github.io/gds-core/examples/learning-path/index.md): Recommended order for working through examples
- [Building Models](https://blockscience.github.io/gds-core/examples/building-models/index.md)
- [Feature Matrix](https://blockscience.github.io/gds-core/examples/feature-matrix/index.md)
- [Crosswalk Problem](https://blockscience.github.io/gds-core/examples/examples/crosswalk/index.md)
- [Evolution of Trust](https://blockscience.github.io/gds-core/examples/examples/evolution-of-trust/index.md)
- [Insurance Contract](https://blockscience.github.io/gds-core/examples/examples/insurance/index.md)
- [Lotka-Volterra](https://blockscience.github.io/gds-core/examples/examples/lotka-volterra/index.md)
- [Prisoner's Dilemma](https://blockscience.github.io/gds-core/examples/examples/prisoners-dilemma/index.md)
- [SIR Epidemic](https://blockscience.github.io/gds-core/examples/examples/sir-epidemic/index.md)
- [Thermostat PID](https://blockscience.github.io/gds-core/examples/examples/thermostat/index.md)

## Tutorials

- [Start Here](https://blockscience.github.io/gds-core/tutorials/getting-started/index.md)

## Guides

- [Getting Started Guide](https://blockscience.github.io/gds-core/guides/getting-started/index.md): Build a thermostat model in 5 progressive stages
- [Choosing a DSL](https://blockscience.github.io/gds-core/guides/choosing-a-dsl/index.md): Decision guide for picking the right DSL
- [Best Practices](https://blockscience.github.io/gds-core/guides/best-practices/index.md): Patterns and anti-patterns for GDS modeling
- [Rosetta Stone](https://blockscience.github.io/gds-core/guides/rosetta-stone/index.md): Same problem modeled with stockflow, control, and games
- [Verification](https://blockscience.github.io/gds-core/guides/verification/index.md): All 3 verification layers with deliberately broken models
- [Visualization](https://blockscience.github.io/gds-core/guides/visualization/index.md): 6 view types, 5 themes, cross-DSL rendering
- [Real-World Patterns](https://blockscience.github.io/gds-core/guides/real-world-patterns/index.md)
- [Troubleshooting](https://blockscience.github.io/gds-core/guides/troubleshooting/index.md)
- [Interoperability](https://blockscience.github.io/gds-core/guides/interoperability/index.md)
- [Layer 0 Milestone](https://blockscience.github.io/gds-core/guides/architecture-milestone-layer0/index.md)
- [DSL Roadmap](https://blockscience.github.io/gds-core/guides/dsl-roadmap/index.md)
- [Research Boundaries](https://blockscience.github.io/gds-core/research/research-boundaries/index.md)
- [View Stratification](https://blockscience.github.io/gds-core/guides/view-stratification/index.md)

## OWL (gds-interchange)

- [Overview](https://blockscience.github.io/gds-core/owl/index.md): OWL/SHACL/SPARQL for GDS specifications — semantic web interoperability
- [Getting Started](https://blockscience.github.io/gds-core/owl/getting-started/index.md): Export a spec to Turtle, import back, validate with SHACL
- [Representability](https://blockscience.github.io/gds-core/owl/guide/representability/index.md)
- [gds_interchange.owl.export](https://blockscience.github.io/gds-core/owl/api/export/index.md)
- [gds_interchange.owl.import_](https://blockscience.github.io/gds-core/owl/api/import/index.md)
- [gds_interchange.owl](https://blockscience.github.io/gds-core/owl/api/init/index.md)
- [gds_interchange.owl.ontology](https://blockscience.github.io/gds-core/owl/api/ontology/index.md)
- [gds_interchange.owl.serialize](https://blockscience.github.io/gds-core/owl/api/serialize/index.md)
- [gds_interchange.owl.shacl](https://blockscience.github.io/gds-core/owl/api/shacl/index.md)
- [gds_interchange.owl.sparql](https://blockscience.github.io/gds-core/owl/api/sparql/index.md)

## PSUU (gds-analysis)

- [Overview](https://blockscience.github.io/gds-core/psuu/index.md): Parameter space search under uncertainty for gds-sim
- [Getting Started](https://blockscience.github.io/gds-core/psuu/getting-started/index.md): Installation + first parameter sweep
- [Concepts](https://blockscience.github.io/gds-core/psuu/guide/concepts/index.md)
- [Optimizers](https://blockscience.github.io/gds-core/psuu/guide/optimizers/index.md)
- [Parameter Spaces](https://blockscience.github.io/gds-core/psuu/guide/spaces/index.md)
- [gds_analysis.psuu.evaluation](https://blockscience.github.io/gds-core/psuu/api/evaluation/index.md)
- [gds_analysis.psuu](https://blockscience.github.io/gds-core/psuu/api/init/index.md)
- [gds_analysis.psuu.kpi](https://blockscience.github.io/gds-core/psuu/api/kpi/index.md)
- [gds_analysis.psuu.metric](https://blockscience.github.io/gds-core/psuu/api/metric/index.md)
- [gds_analysis.psuu.optimizers](https://blockscience.github.io/gds-core/psuu/api/optimizers/index.md)
- [gds_analysis.psuu.results](https://blockscience.github.io/gds-core/psuu/api/results/index.md)
- [gds_analysis.psuu.space](https://blockscience.github.io/gds-core/psuu/api/space/index.md)
- [gds_analysis.psuu.sweep](https://blockscience.github.io/gds-core/psuu/api/sweep/index.md)

## Continuous-Time (gds-continuous)

- [Overview](https://blockscience.github.io/gds-core/continuous/index.md): Continuous-time ODE integration engine — 6 SciPy solvers
- [Getting Started](https://blockscience.github.io/gds-core/continuous/getting-started/index.md): Define and simulate an ODE system

## Symbolic Math (gds-domains)

- [Overview](https://blockscience.github.io/gds-core/symbolic/index.md): SymPy bridge for gds-domains (control) — symbolic equations and linearization
- [Getting Started](https://blockscience.github.io/gds-core/symbolic/getting-started/index.md): Compile symbolic equations to ODE functions

## Analysis (gds-analysis)

- [Overview](https://blockscience.github.io/gds-core/analysis/index.md): Bridge GDSSpec structural annotations to gds-sim runtime
- [Getting Started](https://blockscience.github.io/gds-core/analysis/getting-started/index.md): Convert a GDSSpec to a runnable simulation model

## Case Studies

- [Case Studies](https://blockscience.github.io/gds-core/case-studies/index.md): Real-world projects built on the GDS ecosystem
- [Axelrod Tournament](https://blockscience.github.io/gds-core/case-studies/axelrod/index.md): Axelrod tournament — one model, many views with gds-domains, gds-sim, gds-analysis, gds-viz

## Design & Research

- [Assurance Claims](https://blockscience.github.io/gds-core/framework/design/assurance-claims/index.md): Verification passport and assurance claims
- [Check Specifications](https://blockscience.github.io/gds-core/framework/design/check-specifications/index.md): Formal property statements for all verification checks
- [Controller-Plant Duality](https://blockscience.github.io/gds-core/framework/design/controller-plant-duality/index.md): ControlAction as output map y = C(x, d)
- [Disturbance Formalization](https://blockscience.github.io/gds-core/framework/design/disturbance-formalization/index.md): Disturbance inputs — U_c/W partition
- [Temporal Agnosticism](https://blockscience.github.io/gds-core/framework/design/temporal-agnosticism/index.md): Temporal agnosticism invariant and three-layer stack
- [Execution Semantics](https://blockscience.github.io/gds-core/framework/design/execution-semantics/index.md): ExecutionContract and DSL time model declaration
- [Traceability Matrix](https://blockscience.github.io/gds-core/framework/design/traceability-matrix/index.md): Requirement-to-test traceability matrix
- [GDS Deep Dive](https://blockscience.github.io/gds-core/framework/design/gds-deepdive/index.md): GDS theory deep dive — formalism, MSML, BDP-lib synthesis
- [v0.2 Architecture](https://blockscience.github.io/gds-core/framework/design/v0.2-design/index.md): v0.2 architecture — parameter typing, canonical projection, tags
- [Research Boundaries](https://blockscience.github.io/gds-core/research/research-boundaries/index.md)
- [Paper Implementation Gap](https://blockscience.github.io/gds-core/research/paper-implementation-gap/index.md)
- [Semantic Web Integration](https://blockscience.github.io/gds-core/research/semantic-web-summary/index.md)
- [Formal Analysis](https://blockscience.github.io/gds-core/research/formal-representability/index.md)
- [Representation Gap](https://blockscience.github.io/gds-core/research/representation-gap/index.md)
- [Verification Plan](https://blockscience.github.io/gds-core/research/verification-plan/index.md)
- [R3 Non-Representability](https://blockscience.github.io/gds-core/research/verification/r3-undecidability/index.md)
- [R1/R2 Decidability](https://blockscience.github.io/gds-core/research/verification/representability-proof/index.md)
- [Research Journal](https://blockscience.github.io/gds-core/research/journal/index.md)

## Ecosystem

- [Ecosystem](https://blockscience.github.io/gds-core/framework/ecosystem/index.md): All packages, their imports, and dependency relationships

## Changelog

- [Changelog](https://blockscience.github.io/gds-core/changelog/index.md): Release history — breaking changes, new capabilities, version bumps