@lincyaw/kernel 0.0.0-stage → 1.0.0-rc.0

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -1,3 +1,33 @@
-# Temporary Holding Version
+# @lincyaw/kernel
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+Presmium's shared kernel: the IR and the plugin contracts, the service registry, anchors and checks. Plain TypeScript, used by the compiler, the renderers, the IR runtime and every plugin.
+
+Part of [Presmium](https://github.com/Lincyaw/presmium), which turns lectures written in MyST Markdown into web pages, slides, Jupyter notebooks and narrated lectures.
+
+## Install
+
+Plugins declare it as a peer dependency, so they share the application's copy:
+
+```json
+"peerDependencies": { "@lincyaw/kernel": "^1.0.0" }
+```
+
+## Entries
+
+- `@lincyaw/kernel`: the contracts (`PresmiumNodePlugin`, `PluginDefinition`, `DirectiveSpec`, `IRPass`, `Renderer`, `RenderContext`, `Check`, the service tokens), the IR types (`IRDocument` and its nodes), `KERNEL_VERSION`, `IR_VERSION`, and plain helpers such as `docBlocks`, `withProp`, `deckLocale`, `json` and `problem`.
+- `@lincyaw/kernel/contracts`, `@lincyaw/kernel/ir`: the contracts or the IR types alone.
+- `@lincyaw/kernel/reading`: plain functions that read compiled documents (`chapters`, `blockText`, `narrationAt`, `tokenize`).
+- `@lincyaw/kernel/node`: helpers for Node code: `copyPublished` (its other exports are internal).
+- `@lincyaw/kernel/runner.py`: the shared Python runner of the executors.
+
+## Versions
+
+`KERNEL_VERSION` is the version of the plugin contract, separate from the package version: 1.0.0 in Presmium 1.0, a minor version higher for each compatible addition to the contract, a major version (and a major version of the packages) for an incompatible change. Plugins declare `kernel: '^1.0.0'`, which any Presmium 1.x satisfies; a plugin whose range excludes it is not loaded. `IR_VERSION` is the version of the IR's JSON format.
+
+## Documentation
+
+- [Plugin guide](https://github.com/Lincyaw/presmium/blob/main/site/plugins/lecture.en.md)
+
+## License
+
+Apache-2.0

package/package.json

@@ -1,6 +1,40 @@
 {
   "name": "@lincyaw/kernel",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "version": "1.0.0-rc.0",
+  "description": "Presmium's shared kernel: the IR and plugin contracts, the service registry, anchors and checks",
+  "license": "Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Lincyaw/presmium.git",
+    "directory": "packages/kernel"
+  },
+  "homepage": "https://github.com/Lincyaw/presmium/tree/main/packages/kernel#readme",
+  "bugs": "https://github.com/Lincyaw/presmium/issues",
+  "keywords": [
+    "presmium",
+    "ir"
+  ],
+  "type": "module",
+  "engines": {
+    "node": ">=22.19"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "exports": {
+    ".": "./src/index.ts",
+    "./contracts": "./src/contracts.ts",
+    "./ir": "./src/ir.ts",
+    "./node": "./src/node/index.ts",
+    "./reading": "./src/reading.ts",
+    "./runner.py": "./src/runner.py"
+  },
+  "files": [
+    "src"
+  ],
+  "dependencies": {
+    "@types/semver": "^7.8.0",
+    "parse5": "7.3.0",
+    "semver": "^7.8.5"
+  }
 }

package/src/anchors.ts

@@ -0,0 +1,54 @@
+import type { AnchorResolver, AnchorResolverRegistry, Resolution } from './contracts.ts'
+import { errorMessage } from './errors.ts'
+
+const SCHEME = /^[a-z][a-z0-9+.-]*$/i
+
+export interface ParsedAnchor {
+  scheme: string
+  target: string
+}
+
+export function parseAnchor(anchor: string): ParsedAnchor | undefined {
+  const colon = anchor.indexOf(':')
+  const scheme = anchor.slice(0, colon)
+  const target = anchor.slice(colon + 1)
+  if (colon < 0 || !SCHEME.test(scheme) || target.trim() === '') return undefined
+  return { scheme, target }
+}
+
+function lost(message: string): Resolution {
+  return { status: 'lost', message }
+}
+
+export function createAnchorResolverRegistry(resolvers: AnchorResolver[] = []): AnchorResolverRegistry {
+  const byScheme = new Map<string, AnchorResolver>()
+  const registry: AnchorResolverRegistry = {
+    register(resolver) {
+      if (!SCHEME.test(resolver.scheme)) throw new Error(`invalid anchor scheme "${resolver.scheme}"`)
+      if (byScheme.has(resolver.scheme)) throw new Error(`anchor scheme "${resolver.scheme}" is already registered`)
+      byScheme.set(resolver.scheme, resolver)
+      return () => {
+        if (byScheme.get(resolver.scheme) === resolver) byScheme.delete(resolver.scheme)
+      }
+    },
+    async resolve(anchor, src, recorded, ref) {
+      const parsed = parseAnchor(anchor)
+      if (!parsed) return lost(`malformed anchor "${anchor}": expected scheme:target`)
+      const resolver = byScheme.get(parsed.scheme)
+      if (!resolver) {
+        const known = registry.schemes().join(', ') || 'none'
+        return lost(`unknown anchor scheme "${parsed.scheme}" in "${anchor}" (registered schemes: ${known})`)
+      }
+      try {
+        return await resolver.resolve(anchor, src, recorded, ref)
+      } catch (error) {
+        return lost(`resolver "${parsed.scheme}" failed on "${anchor}": ${errorMessage(error)}`)
+      }
+    },
+    schemes() {
+      return [...byScheme.keys()]
+    },
+  }
+  for (const resolver of resolvers) registry.register(resolver)
+  return registry
+}

package/src/blocks.ts

@@ -0,0 +1,27 @@
+import type { IRBlock, IRDocument, IRNode, IRSection, MdastNode } from './ir.ts'
+
+export function* irBlocks(blocks: readonly IRBlock[]): Generator<IRBlock> {
+  for (const block of blocks) {
+    yield block
+    if (block.node.type === 'component' && block.node.children) yield* irBlocks(block.node.children)
+  }
+}
+
+export function* docBlocks(doc: IRDocument): Generator<{ section: IRSection, block: IRBlock }> {
+  for (const section of doc.sections) {
+    for (const block of irBlocks(section.blocks)) yield { section, block }
+  }
+}
+
+export function nodeMdast(node: IRNode): MdastNode[] {
+  if (node.type === 'markdown') return [node.mdast]
+  return node.type === 'component' && node.fallback ? [node.fallback] : []
+}
+
+export function withProp(props: Record<string, unknown>, path: string, value: unknown): Record<string, unknown> {
+  const [key = '', ...rest] = path.split('.')
+  if (rest.length === 0) return { ...props, [key]: value }
+  const inner = props[key]
+  const object = inner !== null && typeof inner === 'object' && !Array.isArray(inner) ? inner as Record<string, unknown> : {}
+  return { ...props, [key]: withProp(object, rest.join('.'), value) }
+}

package/src/checks.ts

@@ -0,0 +1,35 @@
+import type { Check, CheckContext, Finding, Unsubscribe } from './contracts.ts'
+import { errorMessage } from './errors.ts'
+
+export class CheckRegistry {
+  #checks = new Map<string, Check>()
+
+  constructor(checks: Check[] = []) {
+    for (const check of checks) this.register(check)
+  }
+
+  register(check: Check): Unsubscribe {
+    if (this.#checks.has(check.id)) throw new Error(`check ${check.id} is already registered`)
+    this.#checks.set(check.id, check)
+    return () => {
+      if (this.#checks.get(check.id) === check) this.#checks.delete(check.id)
+    }
+  }
+
+  list(): Check[] {
+    return [...this.#checks.values()]
+  }
+
+  async run(ctx: CheckContext): Promise<Finding[]> {
+    const results = await Promise.all(this.list().map(check => runIsolated(check, ctx)))
+    return results.flat()
+  }
+}
+
+async function runIsolated(check: Check, ctx: CheckContext): Promise<Finding[]> {
+  try {
+    return await check.run(ctx)
+  } catch (error) {
+    return [{ checkId: check.id, severity: 'error', message: `check ${check.id} crashed: ${errorMessage(error)}` }]
+  }
+}

package/src/contracts/agent.ts

@@ -0,0 +1,153 @@
+import type { Member } from './server.ts'
+import { defineService } from './service.ts'
+import type { ServiceToken } from './service.ts'
+
+export interface SourceRange { file: string, startLine: number, endLine: number }
+
+/** @experimental */
+export interface Focus {
+  id: string
+  from: 'source' | 'web' | 'slides'
+  document: string
+  source: SourceRange
+  excerpt: string
+  section?: string
+  block?: string
+  step?: number
+  quote?: string
+}
+
+/** @experimental */
+export interface FocusReport {
+  id: string
+  from: Focus['from']
+  section?: string
+  block?: string
+  step?: number
+  quote?: string
+  source?: SourceRange
+}
+
+export interface AgentContext {
+  document: string
+  section?: string
+  step?: number
+  block?: string
+  view?: string
+  selection?: string
+  source?: SourceRange
+  focus?: Focus[]
+}
+
+export interface Citation {
+  label: string
+  section: string
+  step?: number
+  block?: string
+}
+
+export interface AskClient {
+  provider(): string | undefined
+  ask(question: string, context: AgentContext, signal?: AbortSignal): AsyncIterable<string>
+}
+
+export const ASK = defineService<AskClient>('presmium.ask')
+
+export type AgentToolKind = 'read' | 'operate' | 'spend'
+
+export interface AgentToolContext {
+  document: string
+  member: Member
+  service<T>(token: ServiceToken<T>): T | undefined
+  signal: AbortSignal
+}
+
+export interface AgentTool {
+  name: string
+  description: string
+  input: Record<string, unknown>
+  kind: AgentToolKind
+  run(input: Record<string, unknown>, ctx: AgentToolContext): Promise<unknown>
+}
+
+export type ReviewChangeKind = 'added' | 'modified' | 'deleted'
+
+export interface ReviewChange {
+  path: string
+  kind: ReviewChangeKind
+  binary: boolean
+  added: number
+  removed: number
+  diff?: string
+}
+
+export interface ReviewStep {
+  id: string
+  label: string
+  tool?: string
+  at: string
+  changes: ReviewChange[]
+}
+
+export interface ChangeReview {
+  readonly root: string
+  readonly visibility: 'immediate' | 'on-commit'
+  step(label: string, tool?: string): Promise<ReviewStep>
+  steps(): readonly ReviewStep[]
+  diff(): Promise<ReviewChange[]>
+  restoreTo?(stepId: string): Promise<void>
+  accept(reject?: string[]): Promise<string[]>
+  rollback(): Promise<void>
+  close(): Promise<void>
+}
+
+export interface ChangeReviewService {
+  readonly engine: string
+  open(options: { document: string, task: string, member: Member }): Promise<ChangeReview>
+}
+
+export const CHANGE_REVIEW = defineService<ChangeReviewService>('presmium.changeReview')
+
+export interface RevisionOrigin {
+  kind: 'agent' | 'document' | 'editor'
+  task?: string
+  member?: Member
+}
+
+export interface Revision {
+  id: string
+  message: string
+  author: string
+  date: string
+  origin: RevisionOrigin
+  files: string[]
+  revertedBy?: string
+}
+
+export type RevertResult = { ok: true, revision: Revision } | { ok: false, conflicts: string[] }
+
+export interface RevisionService {
+  commit(change: { files: string[], message: string, origin: RevisionOrigin }): Promise<Revision | undefined>
+  history(filter?: { document?: string, task?: string, limit?: number }): Promise<Revision[]>
+  revert(id: string, member: Member): Promise<RevertResult>
+}
+
+export const REVISIONS = defineService<RevisionService>('presmium.revisions')
+
+export interface DocumentLockService {
+  claim(document: string, holder: string): (() => void) | undefined
+  holder(document: string): string | undefined
+}
+
+export const DOCUMENT_LOCKS = defineService<DocumentLockService>('presmium.documentLocks')
+
+export type DocumentFileChange =
+  | { path: string, content: Uint8Array, executable?: boolean, at?: number }
+  | { path: string, link: string }
+  | { path: string, remove: true }
+
+export interface DocumentFiles {
+  write(changes: DocumentFileChange[]): Promise<void>
+}
+
+export const DOCUMENT_FILES = defineService<DocumentFiles>('presmium.documentFiles')

package/src/contracts/execution.ts

@@ -0,0 +1,119 @@
+import type { Logger, Unsubscribe } from '../contracts.ts'
+import { defineService } from './service.ts'
+
+export interface RunRequest {
+  lang: string
+  code: string
+  args?: Record<string, string>
+  stdin?: string
+  timeoutMs?: number
+  files?: Record<string, string>
+  executor?: string
+  session?: string
+}
+
+export type RunOutput =
+  | { output_type: 'stream', name: 'stdout' | 'stderr', text: string }
+  | { output_type: 'display_data' | 'execute_result', data: Record<string, unknown>, metadata?: Record<string, unknown> }
+  | { output_type: 'error', ename: string, evalue: string, traceback: string[] }
+
+export interface RunResult {
+  ok: boolean
+  stdout: string
+  stderr: string
+  exitCode: number | null
+  durationMs: number
+  timedOut: boolean
+  source: 'live' | 'recorded'
+  executorId: string
+  outputs?: RunOutput[]
+}
+
+export interface RunContext {
+  env: Readonly<Record<string, string>>
+  sandbox?: ProcessSandbox
+  lang?: string
+}
+
+export interface SandboxRun {
+  argv: string[]
+  files: Record<string, string | Uint8Array>
+  collect: string[]
+  env: Readonly<Record<string, string>>
+  read: string[]
+  timeoutMs: number
+  signal?: AbortSignal
+}
+
+export interface SandboxResult {
+  exitCode: number | null
+  stdout: string
+  stderr: string
+  files: Record<string, Uint8Array>
+}
+
+export interface ProcessSandbox {
+  readonly kind: string
+  run(request: SandboxRun): Promise<SandboxResult>
+}
+
+export const PROCESS_SANDBOX = defineService<ProcessSandbox>('presmium.processSandbox')
+
+export interface Executor {
+  readonly id: string
+  readonly runsIn?: 'browser' | 'machine'
+  supports(lang: string): boolean
+  run(request: RunRequest, signal?: AbortSignal, ctx?: RunContext): Promise<RunResult>
+  fingerprint?(lang: string): string | Promise<string>
+  revision?(lang: string): string | Promise<string>
+  endSession?(session: string): Promise<void>
+  params?(lang: string): ParamsDisplay | undefined
+}
+
+export interface ParamsDisplay {
+  labels: Record<string, string>
+  fields?: string[]
+  summary?(args: Record<string, string>): string
+}
+
+export interface ExecutorRouter extends Executor {
+  register(executor: Executor, priority?: number): Unsubscribe
+  list(): Executor[]
+}
+
+export const EXECUTOR = defineService<ExecutorRouter>('presmium.executor')
+
+export type EnvironmentAuth = 'none' | 'env' | 'proxy' | 'prompt' | 'hub'
+
+export interface EnvironmentSpec {
+  kind: string
+  url?: string
+  kernel?: string
+  languages?: string[]
+  auth?: EnvironmentAuth
+  image?: string
+  path?: string
+  [option: string]: unknown
+}
+
+export interface ExecuteConfig {
+  env?: string
+  environments?: Record<string, EnvironmentSpec>
+  rerun?: 'environment'
+}
+
+export function environmentExecutor(name: string): string {
+  return `presmium.env.${name}`
+}
+
+export interface EnvironmentContext {
+  deckDir: string
+  workspaceRoot: string
+  secret(name: string): string | undefined
+  log: Logger
+}
+
+export interface EnvironmentProvider {
+  create(name: string, spec: EnvironmentSpec, ctx: EnvironmentContext): Executor | Promise<Executor>
+  probe?(name: string, spec: EnvironmentSpec, ctx: EnvironmentContext): Promise<string | undefined>
+}

package/src/contracts/operations.ts

@@ -0,0 +1,8 @@
+export interface Operation {
+  type: string
+  data: Record<string, unknown>
+}
+
+export type TrackEvent = [t: number, type: string, data: Record<string, unknown>]
+
+export type UtteranceAnchor = [utterance: string, offset: number]