Reference for using Distributed Agent Language on real boundaries.

Language

Service contracts

@trust, trust::, and @secure — fail-closed proofs you can dal check and dal run.

Human Computer

Operator bundle Stack Brief

The 15-slide briefing: a local coordinator for agent work that has to last — queued, reviewed, and resumable on the machine that owns the files.