feat(dsl): provider-independent DSL with type-safe capabilities#33

Merged

arcaputo3 merged 18 commits into

mainfrom

dsl/core-exploration

Apr 6, 2026

Commits on Apr 3, 2026

feat(dsl): introduce provider-independent core types and Claude interpreter

arcaputo3
and
claude
committed
feat(dsl): add type-level capabilities with Peano delegation depth

arcaputo3
and
claude
committed
feat(dsl): add first-class A2A and MCP protocol support

arcaputo3
and
claude
committed
feat(dsl): add capture-checked capabilities + runtime enforcement improvements

arcaputo3
and
claude
committed
feat(dsl): add zio-blocks/scope for non-experimental capability safety

arcaputo3
and
claude
committed
fix(experimental): harden capability constructors and path validation

arcaputo3
and
claude
committed
feat(dsl): add utility scoring, trace summaries, and composable logging

arcaputo3
and
claude
committed
docs(dsl): add NEXT.md with post-exploration priorities and known gaps

arcaputo3
and
claude
committed
feat(dsl): add live examples, tighten capability types, add callbackZIO

arcaputo3
and
claude
committed
feat(dsl): add Codex interpreter — prove DSL is provider-independent

arcaputo3
and
claude
committed
feat(examples): add Codex + cross-provider examples, fix --example flag

arcaputo3
and
claude
committed
fix(examples): make examples.run forward CLI args via EXAMPLE env

arcaputo3
and
claude
committed
docs: update all DSL docs for Codex interpreter and examples.run

arcaputo3
and
claude
committed
feat(dsl): add explainable scoring and gated semantic review
arcaputo3
committed
feat(dsl): add classified review segregation
arcaputo3
committed

Commits on Apr 6, 2026