@sublang/slc 0.6.0 → 0.8.0

package/dist/runtime-contract.d.ts

@@ -0,0 +1,17 @@
+import type { PlaybookRuntimeDeclaration } from './verify.js';
+export { declaresComposedV3, describeRuntimeDeclaration, type PlaybookRuntimeDeclaration, } from './verify.js';
+/** The package whose installed engine declares the compiled-execution contract. */
+export declare const PLAYBOOK_PACKAGE = "@sublang/playbook";
+/** The engine surface carrying `RUNTIME_ABI` and `SUPPORTED_ARTIFACT_SCHEMAS`. */
+export declare const PLAYBOOK_ENGINE_SPECIFIER = "@sublang/playbook/xstate-runtime";
+/**
+ * Reads the engine declaration of the `@sublang/playbook` package that owns
+ * `linkTarget`: the first package manifest above the target owns it, so a
+ * parent workspace manifest lends no identity to a nested local file.
+ *
+ * @returns `undefined` when no owning manifest names `@sublang/playbook`.
+ * @throws when the owning package cannot resolve or import its engine
+ *   subpath, naming the package and the failure.
+ */
+export declare function readPlaybookRuntimeDeclaration(linkTarget: string): Promise<PlaybookRuntimeDeclaration | undefined>;
+//# sourceMappingURL=runtime-contract.d.ts.map

package/dist/runtime-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-contract.d.ts","sourceRoot":"","sources":["../src/runtime-contract.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAC;AAE9D,OAAO,EACL,kBAAkB,EAClB,0BAA0B,EAC1B,KAAK,0BAA0B,GAChC,MAAM,aAAa,CAAC;AAErB,mFAAmF;AACnF,eAAO,MAAM,gBAAgB,sBAAsB,CAAC;AACpD,kFAAkF;AAClF,eAAO,MAAM,yBAAyB,qCAAqC,CAAC;AAE5E;;;;;;;;GAQG;AACH,wBAAsB,8BAA8B,CAClD,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC,CAmCjD"}

package/dist/runtime-contract.js

@@ -0,0 +1,114 @@
+// SPDX-License-Identifier: Apache-2.0
+// SPDX-FileCopyrightText: 2026 SubLang International <https://sublang.ai>
+/**
+ * The declared engine contract behind a pin's link target (phase-execution-30,
+ * verification-21; DR-028).
+ *
+ * A Playbook engine self-reports its compatibility on the
+ * `@sublang/playbook/xstate-runtime` surface as `RUNTIME_ABI` and
+ * `SUPPORTED_ARTIFACT_SCHEMAS` (Playbook DR-022). {@link readPlaybookRuntimeDeclaration}
+ * walks from a link target to the `@sublang/playbook` package that owns it,
+ * resolves that package's own engine subpath, imports it, and returns the raw
+ * declaration together with the package's `name@version` provenance, so the
+ * schema-3 generation is selected by what the installed engine declares rather
+ * than by an exact release number. The historical exact provenance maps stay
+ * with their callers; this module never infers a contract from a version. The
+ * declaration shape and its predicates live in `verify.ts`, whose
+ * artifact-local copy carries the verification-only schema decision whole.
+ */
+import { readFile, stat } from 'node:fs/promises';
+import { createRequire } from 'node:module';
+import { dirname, join, resolve } from 'node:path';
+import { pathToFileURL } from 'node:url';
+import { isAbsentPathError, messageOf } from './errors.js';
+export { declaresComposedV3, describeRuntimeDeclaration, } from './verify.js';
+/** The package whose installed engine declares the compiled-execution contract. */
+export const PLAYBOOK_PACKAGE = '@sublang/playbook';
+/** The engine surface carrying `RUNTIME_ABI` and `SUPPORTED_ARTIFACT_SCHEMAS`. */
+export const PLAYBOOK_ENGINE_SPECIFIER = '@sublang/playbook/xstate-runtime';
+/**
+ * Reads the engine declaration of the `@sublang/playbook` package that owns
+ * `linkTarget`: the first package manifest above the target owns it, so a
+ * parent workspace manifest lends no identity to a nested local file.
+ *
+ * @returns `undefined` when no owning manifest names `@sublang/playbook`.
+ * @throws when the owning package cannot resolve or import its engine
+ *   subpath, naming the package and the failure.
+ */
+export async function readPlaybookRuntimeDeclaration(linkTarget) {
+    const owner = await owningPlaybookPackage(linkTarget);
+    if (owner === undefined)
+        return undefined;
+    const provenance = `${PLAYBOOK_PACKAGE}@${owner.version}`;
+    let entry;
+    try {
+        // A package may reference its own `exports` by name (Node self-reference),
+        // so the resolution consults exactly the manifest that owns the target.
+        entry = createRequire(join(owner.root, 'package.json')).resolve(PLAYBOOK_ENGINE_SPECIFIER);
+    }
+    catch (error) {
+        throw new Error(`${provenance} at ${owner.root} does not resolve ${PLAYBOOK_ENGINE_SPECIFIER}: ${messageOf(error)}`, { cause: error });
+    }
+    let engine;
+    try {
+        engine = (await import(pathToFileURL(entry).href));
+    }
+    catch (error) {
+        throw new Error(`${provenance} engine ${entry} failed to import: ${messageOf(error)}`, { cause: error });
+    }
+    return {
+        provenance,
+        packageRoot: owner.root,
+        runtimeAbi: engine.RUNTIME_ABI,
+        supportedArtifactSchemas: engine.SUPPORTED_ARTIFACT_SCHEMAS,
+    };
+}
+async function owningPlaybookPackage(path) {
+    const absolute = resolve(path);
+    let cursor;
+    try {
+        cursor = (await stat(absolute)).isDirectory()
+            ? absolute
+            : dirname(absolute);
+    }
+    catch (error) {
+        if (!isAbsentPathError(error))
+            throw error;
+        cursor = dirname(absolute);
+    }
+    for (;;) {
+        const manifestPath = join(cursor, 'package.json');
+        let source;
+        try {
+            source = await readFile(manifestPath, 'utf8');
+        }
+        catch (error) {
+            if (!isAbsentPathError(error))
+                throw error;
+        }
+        if (source !== undefined) {
+            let manifest;
+            try {
+                manifest = JSON.parse(source);
+            }
+            catch {
+                return undefined;
+            }
+            if (typeof manifest !== 'object' ||
+                manifest === null ||
+                !('name' in manifest) ||
+                manifest.name !== PLAYBOOK_PACKAGE ||
+                !('version' in manifest) ||
+                typeof manifest.version !== 'string' ||
+                manifest.version.length === 0) {
+                return undefined;
+            }
+            return { root: cursor, version: manifest.version };
+        }
+        const parent = dirname(cursor);
+        if (parent === cursor)
+            return undefined;
+        cursor = parent;
+    }
+}
+//# sourceMappingURL=runtime-contract.js.map

package/dist/runtime-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-contract.js","sourceRoot":"","sources":["../src/runtime-contract.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC,0EAA0E;AAE1E;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAG3D,OAAO,EACL,kBAAkB,EAClB,0BAA0B,GAE3B,MAAM,aAAa,CAAC;AAErB,mFAAmF;AACnF,MAAM,CAAC,MAAM,gBAAgB,GAAG,mBAAmB,CAAC;AACpD,kFAAkF;AAClF,MAAM,CAAC,MAAM,yBAAyB,GAAG,kCAAkC,CAAC;AAE5E;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,UAAkB;IAElB,MAAM,KAAK,GAAG,MAAM,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,UAAU,GAAG,GAAG,gBAAgB,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;IAC1D,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,2EAA2E;QAC3E,wEAAwE;QACxE,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,OAAO,CAC7D,yBAAyB,CAC1B,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,GAAG,UAAU,OAAO,KAAK,CAAC,IAAI,qBAAqB,yBAAyB,KAAK,SAAS,CAAC,KAAK,CAAC,EAAE,EACnG,EAAE,KAAK,EAAE,KAAK,EAAE,CACjB,CAAC;IACJ,CAAC;IACD,IAAI,MAA+B,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAGhD,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,GAAG,UAAU,WAAW,KAAK,sBAAsB,SAAS,CAAC,KAAK,CAAC,EAAE,EACrE,EAAE,KAAK,EAAE,KAAK,EAAE,CACjB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,UAAU;QACV,WAAW,EAAE,KAAK,CAAC,IAAI;QACvB,UAAU,EAAE,MAAM,CAAC,WAAW;QAC9B,wBAAwB,EAAE,MAAM,CAAC,0BAA0B;KAC5D,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,qBAAqB,CAClC,IAAY;IAEZ,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE;YAC3C,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACxB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;YAAE,MAAM,KAAK,CAAC;QAC3C,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC7B,CAAC;IACD,SAAS,CAAC;QACR,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAClD,IAAI,MAA0B,CAAC;QAC/B,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;gBAAE,MAAM,KAAK,CAAC;QAC7C,CAAC;QACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,QAAiB,CAAC;YACtB,IAAI,CAAC;gBACH,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAY,CAAC;YAC3C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,IACE,OAAO,QAAQ,KAAK,QAAQ;gBAC5B,QAAQ,KAAK,IAAI;gBACjB,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC;gBACrB,QAAQ,CAAC,IAAI,KAAK,gBAAgB;gBAClC,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC;gBACxB,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ;gBACpC,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAC7B,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrD,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO,SAAS,CAAC;QACxC,MAAM,GAAG,MAAM,CAAC;IAClB,CAAC;AACH,CAAC"}

package/dist/slc.config.template.yaml

@@ -1,13 +1,18 @@
 # slc configuration, seeded on first run (DR-015). Environment variables
-# SLC_AGENT / SLC_MODEL / SLC_EFFORT and matching SLC_REVIEWER_* variables,
-# plus SLC_STALL_TIMEOUT, override these per key (DR-006, DR-022).
+# SLC_AGENT / SLC_MODEL / SLC_EFFORT / SLC_FAST_MODE and matching
+# SLC_REVIEWER_* variables, plus SLC_STALL_TIMEOUT, override these per key
+# (DR-006, DR-022).
 agent: claude-code
 # model: claude-opus-4-8
 # effort: high
+# Fast mode is a literal request (true or false) where the agent CLI supports
+# it; omit it to keep the agent CLI's default.
+# fastMode: true
 # Optional independent review/fix loop; disabled until reviewerAgent is set.
 # reviewerAgent: codex
 # reviewerModel: gpt-5.3-codex
 # reviewerEffort: xhigh
+# reviewerFastMode: true
 # Seconds of agent inactivity before a stalled call fails the run (DR-019);
 # 0 disables the watchdog.
 # stallTimeout: 600

package/dist/verify-source.d.ts

@@ -0,0 +1,61 @@
+/** What a Source fragment contributes to the items compiled from it. */
+export type SourceFragmentKind = 
+/** A fenced `markdown` instruction block. */
+'instruction'
+/** A blockquote whose prose relays it in quotes, markers included. */
+ | 'relay'
+/** A plain blockquote. */
+ | 'prompt';
+/** One prompt fragment the Source authors explicitly. */
+export interface SourceFragment {
+    kind: SourceFragmentKind;
+    /** Zero-based Source line where the fragment starts. */
+    start: number;
+    /** The fragment's exact prompt lines, escapes resolved. */
+    lines: string[];
+}
+/** One required result field and its ownership annotation. */
+export interface GearsResultField {
+    name: string;
+    /** True when the item's result contract makes the player's final text authoritative. */
+    verbatim: boolean;
+}
+/** One declared `Results:` entry of a GEARS item. */
+export interface GearsResult {
+    guard: string;
+    description: string;
+    fields: GearsResultField[];
+}
+/** The minimal GEARS item surface the Source and relay checks read. */
+export interface GearsItem {
+    id: string;
+    ordinal: number;
+    /** True when the item's acting sentence delegates to a prompted or relayed player. */
+    delegated: boolean;
+    /** The delegated player's name, when the acting sentence names one. */
+    player?: string;
+    /** The item's contiguous acting prompt lines, escapes resolved. */
+    prompt: string[];
+    results: GearsResult[];
+}
+/**
+ * The prompt fragments authored explicitly in one free-form Source: fenced
+ * `markdown` instruction blocks and blockquotes, in Source order.
+ *
+ * @throws {Error} when an instruction fence is never closed.
+ */
+export declare function sourcePromptFragments(sourceText: string): SourceFragment[];
+/** Parses the minimal GEARS item surface the Source-fidelity rules read. */
+export declare function parseGearsContract(gearsText: string): GearsItem[];
+/**
+ * The conservation findings at the Source→GEARS seam (verification-25).
+ *
+ * Returns one finding per violated rule, in rule order, and the empty array when
+ * the GEARS conserves its Source. A Source authoring no fragment leaves the
+ * invented-prompt-line rule inapplicable: plain prose deliberately leaves prompt
+ * wording to the compiler's judgment.
+ *
+ * @throws {Error} when the Source's instruction fence is never closed.
+ */
+export declare function checkSourceGearsContract(sourceText: string, gearsText: string): string[];
+//# sourceMappingURL=verify-source.d.ts.map

package/dist/verify-source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-source.d.ts","sourceRoot":"","sources":["../src/verify-source.ts"],"names":[],"mappings":"AAiCA,wEAAwE;AACxE,MAAM,MAAM,kBAAkB;AAC5B,6CAA6C;AAC3C,aAAa;AACf,sEAAsE;GACpE,OAAO;AACT,0BAA0B;GACxB,QAAQ,CAAC;AAEb,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,kBAAkB,CAAC;IACzB,wDAAwD;IACxD,KAAK,EAAE,MAAM,CAAC;IACd,2DAA2D;IAC3D,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,8DAA8D;AAC9D,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,wFAAwF;IACxF,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,qDAAqD;AACrD,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,gBAAgB,EAAE,CAAC;CAC5B;AAED,uEAAuE;AACvE,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,sFAAsF;IACtF,SAAS,EAAE,OAAO,CAAC;IACnB,uEAAuE;IACvE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,mEAAmE;IACnE,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,OAAO,EAAE,WAAW,EAAE,CAAC;CACxB;AAsBD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,cAAc,EAAE,CA0C1E;AAkCD,4EAA4E;AAC5E,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,EAAE,CA0CjE;AA6BD;;;;;;;;;GASG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,GAChB,MAAM,EAAE,CAiHV"}

package/dist/verify-source.js

@@ -0,0 +1,280 @@
+// SPDX-License-Identifier: Apache-2.0
+// SPDX-FileCopyrightText: 2026 SubLang International <https://sublang.ai>
+/**
+ * Deterministic Source→GEARS conservation checks (DR-029, verification-25).
+ *
+ * A text-to-GEARS compile must conserve every prompt fragment its Source
+ * authors: fenced instruction blocks and blockquotes reach the GEARS items
+ * verbatim and in Source order, and — once a Source authors any fragment — a
+ * GEARS prompt line the Source never authored is an invention. That is
+ * mechanically decidable, so it is decided here rather than left to a Reviewer's
+ * judgment (phase-execution-51).
+ *
+ * Every function is pure over the two texts: no filesystem, no definition, no
+ * installed engine, and no prior artifact. Semantic item partitioning, condition
+ * wording, and result descriptions remain the Reviewer's concern.
+ */
+const ITEM_HEADING = /^###\s+(\S+)\s*$/;
+const MARKDOWN_FENCE = /^```markdown\s*$/i;
+const FENCE_END = /^```\s*$/;
+const BLOCKQUOTE = /^>\s?(.*)$/;
+const PLACEHOLDER = /<([A-Za-z_$#][A-Za-z0-9_$#-]*)>/g;
+const RELAY_PLACEHOLDER_LINE = /^>\s+<[A-Za-z_$#][A-Za-z0-9_$#-]*>$/;
+const RESULT_BULLET = /^-\s+`([A-Za-z_$][A-Za-z0-9_$]*)`:\s+(.+)$/;
+// A result-field entry names one output property, optionally annotating its
+// ownership; the name is captured as authored so a non-identifier is reported
+// rather than skipped (text2gears.md "Result contracts").
+const ANNOTATED_FIELD = /^([^\s:]+)\s*:\s*<([^>]*)>$/;
+const BARE_FIELD = /^\S+$/;
+const FIELD_IDENTIFIER = /^[A-Za-z_$][A-Za-z0-9_$]*$/;
+const ENGLISH_PLAYER = '[A-Z][A-Za-z0-9_-]*';
+/** Resolves Markdown escaping that is Source syntax rather than prompt content. */
+function normalizePromptLine(line) {
+    return line.replace(/\\([<>])/g, '$1');
+}
+/** Whether prose immediately introducing a Source blockquote makes `>` content. */
+function introducesQuotedRelay(lines, start) {
+    const context = [];
+    for (let index = start - 1; index >= 0 && context.length < 4; index--) {
+        const line = lines[index].trim();
+        if (line === '')
+            continue;
+        if (line.startsWith('#') || line.startsWith('```'))
+            break;
+        context.unshift(line);
+    }
+    return /\bin quotes\s*\(`>`\)/i.test(context.join(' '));
+}
+/**
+ * The prompt fragments authored explicitly in one free-form Source: fenced
+ * `markdown` instruction blocks and blockquotes, in Source order.
+ *
+ * @throws {Error} when an instruction fence is never closed.
+ */
+export function sourcePromptFragments(sourceText) {
+    const lines = sourceText.split('\n');
+    const fragments = [];
+    for (let index = 0; index < lines.length; index++) {
+        if (MARKDOWN_FENCE.test(lines[index])) {
+            const start = index;
+            const content = [];
+            for (index++; index < lines.length && !FENCE_END.test(lines[index]); index++) {
+                content.push(normalizePromptLine(lines[index]));
+            }
+            if (index >= lines.length) {
+                throw new Error(`unclosed markdown instruction fence at line ${start + 1}`);
+            }
+            fragments.push({ kind: 'instruction', start, lines: content });
+            continue;
+        }
+        if (!BLOCKQUOTE.test(lines[index]))
+            continue;
+        const start = index;
+        const quotedRelay = introducesQuotedRelay(lines, start);
+        const content = [];
+        while (index < lines.length) {
+            const match = BLOCKQUOTE.exec(lines[index]);
+            if (match === null)
+                break;
+            const line = normalizePromptLine(match[1]);
+            content.push(quotedRelay ? (line === '' ? '>' : `> ${line}`) : line);
+            index++;
+        }
+        index--;
+        fragments.push({
+            kind: quotedRelay ? 'relay' : 'prompt',
+            start,
+            lines: content,
+        });
+    }
+    return fragments.filter((fragment) => fragment.lines.length > 0);
+}
+/** Required result fields and their ownership annotation. */
+function resultFields(description) {
+    const marker = description.indexOf('Output shall include');
+    if (marker === -1)
+        return [];
+    const fields = [];
+    for (const match of description.slice(marker).matchAll(/`([^`]+)`/g)) {
+        const span = match[1].trim();
+        const annotated = ANNOTATED_FIELD.exec(span);
+        if (annotated !== null) {
+            fields.push({
+                name: annotated[1],
+                verbatim: annotated[2].trim().toLowerCase() === 'verbatim final text',
+            });
+            continue;
+        }
+        // A span carrying whitespace is prose, not a bare property name.
+        if (BARE_FIELD.test(span))
+            fields.push({ name: span, verbatim: false });
+    }
+    return fields;
+}
+/** Player named by one delegated GEARS acting sentence. */
+function actingPlayer(acting) {
+    const prompted = new RegExp(`\\bCaptain shall prompt\\s+(${ENGLISH_PLAYER})\\b`).exec(acting)?.[1];
+    if (prompted !== undefined)
+        return prompted;
+    return new RegExp(`\\bCaptain shall relay\\b.*?\\bto\\s+(${ENGLISH_PLAYER})\\b`).exec(acting)?.[1];
+}
+/** Parses the minimal GEARS item surface the Source-fidelity rules read. */
+export function parseGearsContract(gearsText) {
+    const lines = gearsText.split('\n');
+    const starts = [];
+    for (let index = 0; index < lines.length; index++) {
+        const heading = ITEM_HEADING.exec(lines[index]);
+        if (heading !== null)
+            starts.push({ index, id: heading[1] });
+    }
+    return starts.map((start, ordinal) => {
+        const end = starts[ordinal + 1]?.index ?? lines.length;
+        const section = lines.slice(start.index + 1, end);
+        const firstQuote = section.findIndex((line) => BLOCKQUOTE.test(line));
+        const prompt = [];
+        let cursor = firstQuote;
+        while (cursor >= 0 && cursor < section.length) {
+            const quote = BLOCKQUOTE.exec(section[cursor]);
+            if (quote === null)
+                break;
+            prompt.push(normalizePromptLine(quote[1]));
+            cursor++;
+        }
+        const acting = section.slice(0, Math.max(firstQuote, 0)).join(' ');
+        const delegated = /\bCaptain shall (?:prompt\b|relay\b)/.test(acting);
+        const player = actingPlayer(acting);
+        const results = [];
+        for (const line of section.slice(Math.max(cursor, 0))) {
+            const bullet = RESULT_BULLET.exec(line);
+            if (bullet === null)
+                continue;
+            results.push({
+                guard: bullet[1],
+                description: bullet[2],
+                fields: resultFields(bullet[2]),
+            });
+        }
+        return {
+            id: start.id,
+            ordinal,
+            delegated,
+            ...(player === undefined ? {} : { player }),
+            prompt,
+            results,
+        };
+    });
+}
+/** Canonical kebab-token to camel-field mapping shared with the link phase. */
+function placeholderField(token) {
+    if (token === '#')
+        return 'irNumber';
+    return token.replace(/-([A-Za-z0-9_$])/g, (_match, next) => next.toUpperCase());
+}
+/** First exact contiguous occurrence of `needle` in `haystack`. */
+function fragmentIndex(haystack, needle) {
+    if (needle.length === 0 || needle.length > haystack.length)
+        return -1;
+    outer: for (let index = 0; index <= haystack.length - needle.length; index++) {
+        for (let offset = 0; offset < needle.length; offset++) {
+            if (haystack[index + offset] !== needle[offset])
+                continue outer;
+        }
+        return index;
+    }
+    return -1;
+}
+/**
+ * The conservation findings at the Source→GEARS seam (verification-25).
+ *
+ * Returns one finding per violated rule, in rule order, and the empty array when
+ * the GEARS conserves its Source. A Source authoring no fragment leaves the
+ * invented-prompt-line rule inapplicable: plain prose deliberately leaves prompt
+ * wording to the compiler's judgment.
+ *
+ * @throws {Error} when the Source's instruction fence is never closed.
+ */
+export function checkSourceGearsContract(sourceText, gearsText) {
+    const findings = [];
+    const fragments = sourcePromptFragments(sourceText);
+    const items = parseGearsContract(gearsText);
+    const relayedFields = new Set(fragments
+        .filter((fragment) => fragment.kind === 'relay')
+        .flatMap((fragment) => fragment.lines.flatMap((line) => [...line.matchAll(PLACEHOLDER)].map((match) => placeholderField(match[1])))));
+    const authoredLines = new Set(fragments.flatMap((fragment) => fragment.lines.filter((line) => line !== '')));
+    for (const fragment of fragments) {
+        if (!items.some((item) => fragmentIndex(item.prompt, fragment.lines) >= 0)) {
+            findings.push(`source ${fragment.kind} fragment at line ${fragment.start + 1} was dropped or changed`);
+        }
+    }
+    for (const item of items) {
+        const matches = fragments
+            .map((fragment) => ({
+            fragment,
+            promptIndex: fragmentIndex(item.prompt, fragment.lines),
+        }))
+            .filter((entry) => entry.promptIndex >= 0)
+            .sort((left, right) => left.promptIndex - right.promptIndex);
+        for (let index = 1; index < matches.length; index++) {
+            if (matches[index - 1].fragment.start > matches[index].fragment.start) {
+                findings.push(`${item.id}: authored prompt fragments are out of Source order`);
+                break;
+            }
+        }
+        // A Source that authors no fragment leaves prompt wording to the compiler
+        // (DR-029), so the invented-line rule applies only once one exists.
+        if (fragments.length === 0)
+            continue;
+        for (const line of item.prompt) {
+            if (line === '' || authoredLines.has(line))
+                continue;
+            if (RELAY_PLACEHOLDER_LINE.test(line))
+                continue;
+            findings.push(`${item.id}: prompt line is not an authored fragment: ${JSON.stringify(line)}`);
+        }
+    }
+    // Downstream artifacts and calling playbooks consume an output property by
+    // name, so a quoted kebab-case key names nothing the verifier can synthesize
+    // (DR-029; text2gears.md "Result contracts").
+    for (const item of items) {
+        for (const result of item.results) {
+            for (const field of result.fields) {
+                if (FIELD_IDENTIFIER.test(field.name))
+                    continue;
+                findings.push(`${item.id}: result \`${result.guard}\` names the non-identifier output property ${JSON.stringify(field.name)}`);
+            }
+        }
+    }
+    const producers = new Map();
+    for (const item of items) {
+        for (const result of item.results) {
+            for (const field of result.fields) {
+                const entries = producers.get(field.name) ?? [];
+                entries.push(field);
+                producers.set(field.name, entries);
+            }
+        }
+    }
+    for (const [field, entries] of producers) {
+        if (entries.some((entry) => entry.verbatim) &&
+            entries.some((entry) => !entry.verbatim)) {
+            findings.push(`${field}: result field mixes verbatim and judge-authored ownership`);
+        }
+    }
+    const reported = new Set();
+    for (const item of items) {
+        for (const line of item.prompt) {
+            for (const match of line.matchAll(PLACEHOLDER)) {
+                const field = placeholderField(match[1]);
+                if (!relayedFields.has(field))
+                    continue;
+                const key = `${item.id}:${field}`;
+                if (!line.startsWith('> ') && !reported.has(key)) {
+                    findings.push(`${item.id}: relayed player field ${field} lacks a literal quote marker`);
+                    reported.add(key);
+                }
+            }
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=verify-source.js.map

package/dist/verify-source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-source.js","sourceRoot":"","sources":["../src/verify-source.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC,0EAA0E;AAE1E;;;;;;;;;;;;;GAaG;AAEH,MAAM,YAAY,GAAG,kBAAkB,CAAC;AACxC,MAAM,cAAc,GAAG,mBAAmB,CAAC;AAC3C,MAAM,SAAS,GAAG,UAAU,CAAC;AAC7B,MAAM,UAAU,GAAG,YAAY,CAAC;AAChC,MAAM,WAAW,GAAG,kCAAkC,CAAC;AACvD,MAAM,sBAAsB,GAAG,qCAAqC,CAAC;AACrE,MAAM,aAAa,GAAG,4CAA4C,CAAC;AACnE,4EAA4E;AAC5E,8EAA8E;AAC9E,0DAA0D;AAC1D,MAAM,eAAe,GAAG,6BAA6B,CAAC;AACtD,MAAM,UAAU,GAAG,OAAO,CAAC;AAC3B,MAAM,gBAAgB,GAAG,4BAA4B,CAAC;AACtD,MAAM,cAAc,GAAG,qBAAqB,CAAC;AA+C7C,mFAAmF;AACnF,SAAS,mBAAmB,CAAC,IAAY;IACvC,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;AACzC,CAAC;AAED,mFAAmF;AACnF,SAAS,qBAAqB,CAC5B,KAAwB,EACxB,KAAa;IAEb,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,IAAI,KAAK,GAAG,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACjC,IAAI,IAAI,KAAK,EAAE;YAAE,SAAS;QAC1B,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YAAE,MAAM;QAC1D,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAAkB;IACtD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,SAAS,GAAqB,EAAE,CAAC;IACvC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,KAAK,CAAC;YACpB,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,KACE,KAAK,EAAE,EACP,KAAK,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EACrD,KAAK,EAAE,EACP,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAClD,CAAC;YACD,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CACb,+CAA+C,KAAK,GAAG,CAAC,EAAE,CAC3D,CAAC;YACJ,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;YAC/D,SAAS;QACX,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAAE,SAAS;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC;QACpB,MAAM,WAAW,GAAG,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACxD,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,OAAO,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YAC5C,IAAI,KAAK,KAAK,IAAI;gBAAE,MAAM;YAC1B,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACrE,KAAK,EAAE,CAAC;QACV,CAAC;QACD,KAAK,EAAE,CAAC;QACR,SAAS,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ;YACtC,KAAK;YACL,KAAK,EAAE,OAAO;SACf,CAAC,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,6DAA6D;AAC7D,SAAS,YAAY,CAAC,WAAmB;IACvC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAC3D,IAAI,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;gBAClB,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,qBAAqB;aACtE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,iEAAiE;QACjE,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,2DAA2D;AAC3D,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,QAAQ,GAAG,IAAI,MAAM,CACzB,+BAA+B,cAAc,MAAM,CACpD,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,OAAO,IAAI,MAAM,CACf,yCAAyC,cAAc,MAAM,CAC9D,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,MAAM,GAAyC,EAAE,CAAC;IACxD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAChD,IAAI,OAAO,KAAK,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACnC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC;QACvD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACtE,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,MAAM,GAAG,UAAU,CAAC;QACxB,OAAO,MAAM,IAAI,CAAC,IAAI,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;YAC/C,IAAI,KAAK,KAAK,IAAI;gBAAE,MAAM;YAC1B,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,EAAE,CAAC;QACX,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,sCAAsC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtE,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,OAAO,GAAkB,EAAE,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,MAAM,KAAK,IAAI;gBAAE,SAAS;YAC9B,OAAO,CAAC,IAAI,CAAC;gBACX,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;gBAChB,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;gBACtB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;aAChC,CAAC,CAAC;QACL,CAAC;QACD,OAAO;YACL,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,OAAO;YACP,SAAS;YACT,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;YAC3C,MAAM;YACN,OAAO;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,SAAS,gBAAgB,CAAC,KAAa;IACrC,IAAI,KAAK,KAAK,GAAG;QAAE,OAAO,UAAU,CAAC;IACrC,OAAO,KAAK,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC,MAAM,EAAE,IAAY,EAAE,EAAE,CACjE,IAAI,CAAC,WAAW,EAAE,CACnB,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,SAAS,aAAa,CACpB,QAA2B,EAC3B,MAAyB;IAEzB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,CAAC;IACtE,KAAK,EAAE,KACL,IAAI,KAAK,GAAG,CAAC,EACb,KAAK,IAAI,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EACxC,KAAK,EAAE,EACP,CAAC;QACD,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;YACtD,IAAI,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC;gBAAE,SAAS,KAAK,CAAC;QAClE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CACtC,UAAkB,EAClB,SAAiB;IAEjB,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC5C,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,SAAS;SACN,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC;SAC/C,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CACpB,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC9B,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5C,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAC3B,CACF,CACF,CACJ,CAAC;IACF,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC7B,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAC7C,CACF,CAAC;IAEF,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IACE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EACtE,CAAC;YACD,QAAQ,CAAC,IAAI,CACX,UAAU,QAAQ,CAAC,IAAI,qBAAqB,QAAQ,CAAC,KAAK,GAAG,CAAC,yBAAyB,CACxF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,SAAS;aACtB,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAClB,QAAQ;YACR,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC;SACxD,CAAC,CAAC;aACF,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,CAAC;aACzC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;QAC/D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACpD,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;gBACtE,QAAQ,CAAC,IAAI,CACX,GAAG,IAAI,CAAC,EAAE,qDAAqD,CAChE,CAAC;gBACF,MAAM;YACR,CAAC;QACH,CAAC;QAED,0EAA0E;QAC1E,oEAAoE;QACpE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACrC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,IAAI,KAAK,EAAE,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACrD,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAChD,QAAQ,CAAC,IAAI,CACX,GAAG,IAAI,CAAC,EAAE,8CAA8C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAC/E,CAAC;QACJ,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,6EAA6E;IAC7E,8CAA8C;IAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClC,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAChD,QAAQ,CAAC,IAAI,CACX,GAAG,IAAI,CAAC,EAAE,cAAc,MAAM,CAAC,KAAK,+CAA+C,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAChH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAA8B,CAAC;IACxD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClC,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAChD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QACzC,IACE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;YACvC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EACxC,CAAC;YACD,QAAQ,CAAC,IAAI,CACX,GAAG,KAAK,4DAA4D,CACrE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/C,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACzC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACxC,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC;gBAClC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACjD,QAAQ,CAAC,IAAI,CACX,GAAG,IAAI,CAAC,EAAE,0BAA0B,KAAK,+BAA+B,CACzE,CAAC;oBACF,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACpB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/verify.d.ts

@@ -81,7 +81,38 @@ export interface PlaybookInvocationState {
  */
 export declare const NEEDS_BOSS_REPLY = "needsBossReply";
 export declare const BOSS_QUESTION_MARKER = "Output shall include `question:";
-/** Artifact schema selected only by a complete reviewed Playbook provenance. */
+/**
+ * A Playbook engine's raw compatibility self-report — `RUNTIME_ABI` and
+ * `SUPPORTED_ARTIFACT_SCHEMAS` on its `@sublang/playbook/xstate-runtime`
+ * surface — read from the installed package owning a link target
+ * (verification-21, phase-execution-30; DR-028). The reader lives in
+ * `runtime-contract.ts`; the predicates stay here so the artifact-local
+ * verifier copy (verification-12) carries the schema decision whole.
+ */
+export interface PlaybookRuntimeDeclaration {
+    /** `@sublang/playbook@<version>` of the owning installed package. */
+    provenance: string;
+    /** Lexical root of the owning package. */
+    packageRoot: string;
+    /** The exported `RUNTIME_ABI`, or `undefined` when the engine exports none. */
+    runtimeAbi: unknown;
+    /** The exported `SUPPORTED_ARTIFACT_SCHEMAS`, or `undefined` when absent. */
+    supportedArtifactSchemas: unknown;
+}
+/**
+ * True when the declaration admits the roleless schema-3 `composed-v3`
+ * generation: `RUNTIME_ABI` is exactly `1` and `SUPPORTED_ARTIFACT_SCHEMAS`
+ * contains `3` (DR-028).
+ */
+export declare function declaresComposedV3(declaration: PlaybookRuntimeDeclaration): boolean;
+/** Names a declaration for fail-closed diagnostics. */
+export declare function describeRuntimeDeclaration(declaration: PlaybookRuntimeDeclaration): string;
+/**
+ * Artifact schema recorded for an exact reviewed Playbook provenance: the
+ * historical map kept as recorded (DR-028). A later release supplies its
+ * schema through the installed engine's declaration instead
+ * ({@link resolveArtifactSchemaForVerification}).
+ */
 export declare function artifactSchemaForPlaybookProvenance(provenance: unknown): 1 | 3 | undefined;
 /**
  * Returns the Playbook package provenance that owns an invocation's concrete
@@ -94,6 +125,8 @@ export interface MachineConfigLike {
     initial?: string;
     states?: Record<string, StateLike>;
     on?: Record<string, unknown>;
+    /** The machine's initial context: a literal record or an input-taking factory. */
+    context?: unknown;
 }
 interface InvokeLike {
     src?: unknown;
@@ -293,7 +326,9 @@ export declare function placeholdersIn(prompt: string): string[];
  */
 export declare function probeContextReads(inputFn: (arg: {
     context: Record<string, unknown>;
-}) => unknown): string[];
+}) => unknown, 
+/** The machine's initial context, so a typed field does not truncate the trace. */
+initial?: Record<string, unknown>): string[];
 /**
  * Derives every captain state's prompt contract from the machine config
  * (verification-5): traced context reads, sentinel-traced input wiring, and the
@@ -322,6 +357,8 @@ export declare function checkPromptComposition(opts: {
     actor?: CaptainState['actor'];
     /** Grounded linked-artifact schema for otherwise ambiguous direct Captain states. */
     artifactSchema?: 1 | 3;
+    /** Collects observations that degrade the probe without failing the contract. */
+    diagnostics?: string[];
 }): string[];
 type PromptIdentity = (roleId: string) => string;
 type PromptComposer = (input: unknown, promptIdentity: PromptIdentity) => string;
@@ -434,10 +471,19 @@ export declare function generatePromptContractTest(opts: {
         player?: Record<string, string[]>;
     };
 }): string;
-/** Schema decision shared by generated and standalone artifact verification. */
+/**
+ * Schema decision shared by generated and standalone artifact verification
+ * (verification-21). Reviewed provenance is evidence through its exact
+ * historical map; any other provenance is evidence only through the engine
+ * declaration read from the link target's installed package — `RUNTIME_ABI`
+ * `1` with artifact schema `3` — and is otherwise reported unsupported
+ * (DR-028).
+ */
 export declare function resolveArtifactSchemaForVerification(opts: {
     artifactSchema?: 1 | 3;
     provenance?: unknown;
+    /** The link target's installed engine declaration, when the caller read it. */
+    runtimeDeclaration?: PlaybookRuntimeDeclaration;
     config?: MachineConfigLike;
     linked?: {
         default?: unknown;
@@ -446,6 +492,25 @@ export declare function resolveArtifactSchemaForVerification(opts: {
     artifactSchema?: 1 | 3;
     findings: string[];
 };
+/**
+ * The deterministic link-fidelity checks over one live linked `playbook` module
+ * beside its FSM (verification-27): exactly the checks the emitted
+ * prompt-contract suite asserts, decided from those two paths alone and
+ * returning one finding per violation.
+ *
+ * The gate that runs this before any Reviewer call must never throw into the
+ * executor it guards (DR-030, phase-execution-53), so a module that cannot be
+ * imported yields its import diagnostic as a finding. An absent module or FSM
+ * yields none: an artifact the performing call has not written is the generic
+ * target check's business (phase-execution-4). An FSM that cannot be imported
+ * yields none either — the suite's checks derive from that machine, so they
+ * degrade exactly as emission degrades its prompt-contract test to a
+ * diagnostic (verification-5).
+ */
+export declare function checkLinkedModuleContract(opts: {
+    linkedPath: string;
+    fsmPath: string;
+}): Promise<string[]>;
 /**
  * Emits the prompt-contract test beside a compiled `playbook` artifact
  * (verification-5): derives and pins the per-state contract from the physical
@@ -468,6 +533,8 @@ export declare function emitPromptContractTest(opts: {
     artifactSchema?: 1 | 3;
     /** Actual reviewed full-link target provenance, when the caller has it. */
     provenance?: unknown;
+    /** The full-link target's installed engine declaration, when read (DR-028). */
+    runtimeDeclaration?: PlaybookRuntimeDeclaration;
 }): Promise<{
     path: string;
     diagnostics: string[];