$ node packages/sdk/dist/cli.js check --json workflows/bootstrap-gate1.yaml
REFUSED [invalid_spec] Relayflow spec is invalid: spec: unknown key "swarm" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec: unknown key "workflows" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec.version: unsupported version "1.0" (expected "0.1.0"); spec.agents: expected a map of named { cli, model } declarations; spec.steps: expected a non-empty array
{"ok":false,"path":"workflows/bootstrap-gate1.yaml","gates":[],"resolutions":[],"diagnostics":[{"severity":"refusal","kind":"invalid_spec","message":"Relayflow spec is invalid: spec: unknown key \"swarm\" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec: unknown key \"workflows\" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec.version: unsupported version \"1.0\" (expected \"0.1.0\"); spec.agents: expected a map of named { cli, model } declarations; spec.steps: expected a non-empty array","errors":["spec: unknown key \"swarm\" (expected one of version | name | description | cli | agents | triggers | steps | budget)","spec: unknown key \"workflows\" (expected one of version | name | description | cli | agents | triggers | steps | budget)","spec.version: unsupported version \"1.0\" (expected \"0.1.0\")","spec.agents: expected a map of named { cli, model } declarations","spec.steps: expected a non-empty array"]}]}
exit=2

$ node packages/sdk/dist/cli.js check --json workflows/drive-cloud.yaml
REFUSED [invalid_spec] Relayflow spec is invalid: spec: unknown key "swarm" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec: unknown key "workflows" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec.version: unsupported version "1.0" (expected "0.1.0"); spec.agents: expected a map of named { cli, model } declarations; spec.steps: expected a non-empty array
{"ok":false,"path":"workflows/drive-cloud.yaml","gates":[],"resolutions":[],"diagnostics":[{"severity":"refusal","kind":"invalid_spec","message":"Relayflow spec is invalid: spec: unknown key \"swarm\" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec: unknown key \"workflows\" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec.version: unsupported version \"1.0\" (expected \"0.1.0\"); spec.agents: expected a map of named { cli, model } declarations; spec.steps: expected a non-empty array","errors":["spec: unknown key \"swarm\" (expected one of version | name | description | cli | agents | triggers | steps | budget)","spec: unknown key \"workflows\" (expected one of version | name | description | cli | agents | triggers | steps | budget)","spec.version: unsupported version \"1.0\" (expected \"0.1.0\")","spec.agents: expected a map of named { cli, model } declarations","spec.steps: expected a non-empty array"]}]}
exit=2

$ node packages/sdk/dist/cli.js check --json workflows/drive-local.yaml
WARNING [unprovable_effects] Step "select-package" command "node" resolves, but its effects cannot be proven before execution.
WARNING [unprovable_effects] Step "implement-package" command "node" resolves, but its effects cannot be proven before execution.
WARNING [command_unresolved] Step "verify-package" command "set" does not resolve as an executable; it runs only if the shell supplies it.
WARNING [unprovable_effects] Step "report-package" command "node" resolves, but its effects cannot be proven before execution.
{"ok":true,"path":"workflows/drive-local.yaml","gates":[{"stepId":"select-package","kind":"data","checks":["exit_code"],"evaluator":"kernel","preflightable":true,"replayable":true},{"stepId":"implement-package","kind":"data","checks":["exit_code"],"evaluator":"kernel","preflightable":true,"replayable":true},{"stepId":"verify-package","kind":"data","checks":["exit_code"],"evaluator":"kernel","preflightable":true,"replayable":true},{"stepId":"report-package","kind":"data","checks":["exit_code"],"evaluator":"kernel","preflightable":true,"replayable":true}],"resolutions":[],"diagnostics":[{"severity":"warning","kind":"unprovable_effects","stepId":"select-package","message":"Step \"select-package\" command \"node\" resolves, but its effects cannot be proven before execution."},{"severity":"warning","kind":"unprovable_effects","stepId":"implement-package","message":"Step \"implement-package\" command \"node\" resolves, but its effects cannot be proven before execution."},{"severity":"warning","kind":"command_unresolved","stepId":"verify-package","message":"Step \"verify-package\" command \"set\" does not resolve as an executable; it runs only if the shell supplies it."},{"severity":"warning","kind":"unprovable_effects","stepId":"report-package","message":"Step \"report-package\" command \"node\" resolves, but its effects cannot be proven before execution."}]}
exit=0

$ node packages/sdk/dist/cli.js check --json workflows/drive.yaml
REFUSED [invalid_spec] Relayflow spec is invalid: spec: unknown key "swarm" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec: unknown key "workflows" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec.version: unsupported version "1.0" (expected "0.1.0"); spec.agents: expected a map of named { cli, model } declarations; spec.steps: expected a non-empty array
{"ok":false,"path":"workflows/drive.yaml","gates":[],"resolutions":[],"diagnostics":[{"severity":"refusal","kind":"invalid_spec","message":"Relayflow spec is invalid: spec: unknown key \"swarm\" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec: unknown key \"workflows\" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec.version: unsupported version \"1.0\" (expected \"0.1.0\"); spec.agents: expected a map of named { cli, model } declarations; spec.steps: expected a non-empty array","errors":["spec: unknown key \"swarm\" (expected one of version | name | description | cli | agents | triggers | steps | budget)","spec: unknown key \"workflows\" (expected one of version | name | description | cli | agents | triggers | steps | budget)","spec.version: unsupported version \"1.0\" (expected \"0.1.0\")","spec.agents: expected a map of named { cli, model } declarations","spec.steps: expected a non-empty array"]}]}
exit=2

$ node packages/sdk/dist/cli.js check --json workflows/preswarm-check.yaml
WARNING [unprovable_effects] Step "lens-maintainability" command "sh" resolves, but its effects cannot be proven before execution.
WARNING [unprovable_effects] Step "lens-history" command "sh" resolves, but its effects cannot be proven before execution.
WARNING [unprovable_effects] Step "lens-structure" command "sh" resolves, but its effects cannot be proven before execution.
{"ok":true,"path":"workflows/preswarm-check.yaml","gates":[{"stepId":"lens-maintainability","kind":"data","checks":["exit_code"],"evaluator":"kernel","preflightable":true,"replayable":true},{"stepId":"lens-history","kind":"data","checks":["exit_code"],"evaluator":"kernel","preflightable":true,"replayable":true},{"stepId":"lens-structure","kind":"data","checks":["exit_code"],"evaluator":"kernel","preflightable":true,"replayable":true}],"resolutions":[],"diagnostics":[{"severity":"warning","kind":"unprovable_effects","stepId":"lens-maintainability","message":"Step \"lens-maintainability\" command \"sh\" resolves, but its effects cannot be proven before execution."},{"severity":"warning","kind":"unprovable_effects","stepId":"lens-history","message":"Step \"lens-history\" command \"sh\" resolves, but its effects cannot be proven before execution."},{"severity":"warning","kind":"unprovable_effects","stepId":"lens-structure","message":"Step \"lens-structure\" command \"sh\" resolves, but its effects cannot be proven before execution."}]}
exit=0

$ node packages/sdk/dist/cli.js check --json workflows/review-swarm.yaml
REFUSED [invalid_spec] Relayflow spec is invalid: spec: unknown key "swarm" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec: unknown key "workflows" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec.version: unsupported version "1.0" (expected "0.1.0"); spec.agents: expected a map of named { cli, model } declarations; spec.steps: expected a non-empty array
{"ok":false,"path":"workflows/review-swarm.yaml","gates":[],"resolutions":[],"diagnostics":[{"severity":"refusal","kind":"invalid_spec","message":"Relayflow spec is invalid: spec: unknown key \"swarm\" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec: unknown key \"workflows\" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec.version: unsupported version \"1.0\" (expected \"0.1.0\"); spec.agents: expected a map of named { cli, model } declarations; spec.steps: expected a non-empty array","errors":["spec: unknown key \"swarm\" (expected one of version | name | description | cli | agents | triggers | steps | budget)","spec: unknown key \"workflows\" (expected one of version | name | description | cli | agents | triggers | steps | budget)","spec.version: unsupported version \"1.0\" (expected \"0.1.0\")","spec.agents: expected a map of named { cli, model } declarations","spec.steps: expected a non-empty array"]}]}
exit=2

$ node packages/sdk/dist/cli.js check --json workflows/watchdog.yaml
REFUSED [invalid_spec] Relayflow spec is invalid: spec: unknown key "swarm" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec: unknown key "workflows" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec.version: unsupported version "1.0" (expected "0.1.0"); spec.agents: expected a map of named { cli, model } declarations; spec.steps: expected a non-empty array
{"ok":false,"path":"workflows/watchdog.yaml","gates":[],"resolutions":[],"diagnostics":[{"severity":"refusal","kind":"invalid_spec","message":"Relayflow spec is invalid: spec: unknown key \"swarm\" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec: unknown key \"workflows\" (expected one of version | name | description | cli | agents | triggers | steps | budget); spec.version: unsupported version \"1.0\" (expected \"0.1.0\"); spec.agents: expected a map of named { cli, model } declarations; spec.steps: expected a non-empty array","errors":["spec: unknown key \"swarm\" (expected one of version | name | description | cli | agents | triggers | steps | budget)","spec: unknown key \"workflows\" (expected one of version | name | description | cli | agents | triggers | steps | budget)","spec.version: unsupported version \"1.0\" (expected \"0.1.0\")","spec.agents: expected a map of named { cli, model } declarations","spec.steps: expected a non-empty array"]}]}
exit=2
