With Drive 2.1.0, opencode-drive check drive.ts on a default-exported OpenCodeDriver.use(...) program reports TS2322: Type Effect<...> is not assignable to type ScriptDefinition from the generated script-contract file. The program shape is supported by opencode-drive run but the error does not explain the distinction.
Reproduction: save the README's one-shot Effect example and run opencode-drive check against it. Expected: validate the supported one-shot shape, or explain that check accepts defineScript and direct the caller to run. Actual: an internal TypeScript contract error.
This came up while preparing a matched TUI recording against OpenCode V2 revision 7a4ad68af6. Recovery is to use run, which performs its own typecheck.
With Drive 2.1.0,
opencode-drive check drive.tson a default-exportedOpenCodeDriver.use(...)program reportsTS2322: Type Effect<...> is not assignable to type ScriptDefinitionfrom the generated script-contract file. The program shape is supported byopencode-drive runbut the error does not explain the distinction.Reproduction: save the README's one-shot Effect example and run
opencode-drive checkagainst it. Expected: validate the supported one-shot shape, or explain thatcheckacceptsdefineScriptand direct the caller torun. Actual: an internal TypeScript contract error.This came up while preparing a matched TUI recording against OpenCode V2 revision
7a4ad68af6. Recovery is to userun, which performs its own typecheck.