mirror of
https://github.com/deepseek-ai/deepseek-harness.git
synced 2026-09-11 04:00:38 +00:00
Chinesezjc
c435170a93
The review's final wording items: the portable-identifier note's Scope said the backend 'has since shipped' without noting it is experimental/private; the RESERVED_WORDS JSDoc said backends 'ship for both languages'. Both now name the TypeScript backend as released and the CPython backend as experimental and private. The package README also records that the truncation-marker text and tempdir prefix keep the pre-rename short names (byte-anchored by tests, independent of the npm name).
139 lines
6.6 KiB
TypeScript
139 lines
6.6 KiB
TypeScript
/**
|
||
* Service Definition for the code-execution capability seam that runs one model-written program against host async bindings.
|
||
* Runtimes know nothing about tools or sessions; consumers own those concerns.
|
||
* @module @deepseek-ai/dsh-code-runtime
|
||
*/
|
||
|
||
import { Context, Service } from '@deepseek-ai/cordis'
|
||
import type { CodeRunRequest, CodeRunResult } from './types.ts'
|
||
|
||
export type {
|
||
CodeBindingErrorClass,
|
||
CodeBindingFunction,
|
||
CodeBindingNamespace,
|
||
CodeJsonValue,
|
||
CodeRunFailure,
|
||
CodeRunRequest,
|
||
CodeRunResult,
|
||
} from './types.ts'
|
||
|
||
/**
|
||
* Binding globals EVERY backend refuses because SOME backend owns the slot in
|
||
* the program's namespace: `console` (the worker's log capture), and
|
||
* `__dsh_main__`/`__builtins__`/`__name__` (the Python backend's bootstrap
|
||
* wrapper and seeded module globals; see the [portable-identifier Agent
|
||
* Note](../../../../.agents/notes/implemented/architecture/2026-07-31-code-runtime-portable-identifier-seam.md)),
|
||
* and `__debug__`. One shared set — rather than each backend refusing only its
|
||
* own slots — keeps the portability promise real: a namespace list valid on
|
||
* one backend is valid on all, so a caller cannot pick a name that works on
|
||
* the worker and collides on Python (or vice versa). `__name__` et al. ARE
|
||
* valid portable identifiers, so the identifier rule on
|
||
* `CodeBindingNamespace.global` never rejects them — hence this explicit set.
|
||
* (Error members differ: {@link DUNDER_MEMBER} refuses every dunder form
|
||
* wholesale; binding globals refuse only the names listed here.) `__debug__`
|
||
* is listed for a different reason than a collision: CPython compiles a bare
|
||
* `__debug__` reference to the constant `True` and rejects any assignment to
|
||
* the name at COMPILE time, so an injected global under that name is
|
||
* unreachable from the program — accepted by validation, unusable on the
|
||
* Python backend, which is exactly the split the shared set exists to prevent.
|
||
*/
|
||
export const RESERVED_BINDING_GLOBALS: ReadonlySet<string> = new Set([
|
||
'console',
|
||
'__dsh_main__', '__builtins__', '__name__', '__debug__',
|
||
])
|
||
|
||
/**
|
||
* `CodeBindingErrorClass.memberNameProperty` names EVERY backend refuses, as
|
||
* one shared contract so a request valid on one backend is valid on all. The
|
||
* JS `Error` exclusions (`name`, `message`, `stack`) and Python's
|
||
* exception-protocol members (`args`, `with_traceback`, `add_note`) are
|
||
* listed by name; dunder-form names (`__x__`, non-empty middle) are refused
|
||
* wholesale — several are constrained CPython descriptors whose `setattr`
|
||
* raises while constructing the rejection, and the exact set is an interpreter
|
||
* version detail. Any other non-empty own property name is accepted everywhere.
|
||
*/
|
||
export const RESERVED_ERROR_MEMBERS: ReadonlySet<string> = new Set([
|
||
'name', 'message', 'stack',
|
||
'args', 'with_traceback', 'add_note',
|
||
])
|
||
|
||
/**
|
||
* Dunder form (`__x__`, non-empty middle): object-protocol slots in Python,
|
||
* refused as {@link RESERVED_ERROR_MEMBERS | error members} on every backend.
|
||
*/
|
||
export const DUNDER_MEMBER = /^__.+__$/
|
||
|
||
/**
|
||
* Reserved words of every portable target language (ECMAScript ∪ Python),
|
||
* refused as {@link CodeBindingNamespace.global} / error-class names by all
|
||
* backends, one per language: the released TypeScript worker thread and the
|
||
* experimental, private CPython subprocess. The portable-identifier contract
|
||
* promises a namespace list valid on one backend is valid on every backend; a
|
||
* per-language check would let `lambda` pass the TypeScript backend and fail
|
||
* the Python one. Extending the seam with a new language means widening this
|
||
* union (a breaking review of existing binding names, by design).
|
||
*/
|
||
export const PORTABLE_RESERVED_WORDS: ReadonlySet<string> = new Set([
|
||
// ECMAScript reserved words and reserved-in-strict-mode names.
|
||
'await', 'break', 'case', 'catch', 'class', 'const', 'continue', 'debugger', 'default', 'delete', 'do',
|
||
'else', 'enum', 'export', 'extends', 'false', 'finally', 'for', 'function', 'if', 'import', 'in',
|
||
'instanceof', 'new', 'null', 'return', 'super', 'switch', 'this', 'throw', 'true', 'try', 'typeof',
|
||
'var', 'void', 'while', 'with', 'yield', 'let', 'static', 'implements', 'interface', 'package',
|
||
'private', 'protected', 'public', 'arguments', 'eval',
|
||
// Python 3.x keywords and soft keywords not already above ('type' and '_'
|
||
// are soft keywords: legal names in practice, reserved here for safety).
|
||
'False', 'None', 'True', 'and', 'as', 'assert', 'async', 'def', 'del', 'elif', 'except', 'from',
|
||
'global', 'is', 'lambda', 'nonlocal', 'not', 'or', 'pass', 'raise', 'match', 'type', '_',
|
||
])
|
||
|
||
declare module '@deepseek-ai/cordis' {
|
||
interface Context {
|
||
codeRuntime: CodeRuntime
|
||
}
|
||
}
|
||
|
||
/**
|
||
* Registers one `ctx.codeRuntime` implementation. Program, budget, abort, and substrate
|
||
* failures resolve in {@link CodeRunResult}; only Service Definition contract misuse rejects. Implementations bridge
|
||
* structured-cloneable bindings, materialize each declared namespace rejection
|
||
* class, treat programs as hostile peers, isolate runs from one another, and
|
||
* terminate and await in-flight runs during disposal.
|
||
*/
|
||
export abstract class CodeRuntime extends Service {
|
||
/**
|
||
* The source language {@link run} expects `program` to be written in, as a
|
||
* lowercase identifier. Informational, not gating — a consumer that
|
||
* generates language-specific presentation (typed SDK stubs, usage
|
||
* instructions) switches on it and fails loud on a language it cannot
|
||
* present. Well-known values: `'typescript'` and `'python'`, those
|
||
* `dsh-tools` presents; the TypeScript backend is released, the Python
|
||
* backend is experimental and private (not published).
|
||
*/
|
||
abstract readonly language: string
|
||
|
||
/**
|
||
* The execution substrate, as a lowercase identifier. Informational, not
|
||
* gating — a descriptor so deployments and diagnostics can tell backends
|
||
* apart, not a security claim. Well-known values: `'worker-thread'`,
|
||
* `'process'`, `'container'`.
|
||
*/
|
||
abstract readonly isolation: string
|
||
|
||
constructor(ctx: Context) {
|
||
super(ctx, 'codeRuntime')
|
||
}
|
||
|
||
/**
|
||
* Execute one program against the request's bindings and capture what it
|
||
* emitted. See the class doc for the resolution contract (error is a result
|
||
* field; rejection means Service Definition contract misuse only).
|
||
* @param request - the program, its bindings, and the abort signal; the
|
||
* request carries everything the runtime acts on, with no hidden defaults.
|
||
* @returns the run's outcome: completion value (when transferable), the
|
||
* ordered log capture, and the failure (if any).
|
||
*/
|
||
abstract run(request: CodeRunRequest): Promise<CodeRunResult>
|
||
}
|
||
|
||
export default CodeRuntime
|