dk quickstarts /

Bootstrap the workspace in one command:

dk1 quickstart ocaml opam550

Trust statements

This quickstart records the producer-key acceptances below in the new workspace, each mirroring dk1 trust accept PACKAGE [--key PUBKEY] [--run] [--write]. Interactive sessions print every statement and confirm once before anything is recorded. An import whose producer key differs from a pinned key is denied, and capabilities resolve into producer-key grants only at the first verified import; key acceptance alone confers none.