@petepetrash/circuit 0.1.0

package/dist/flows/prototype/writers/variant-provider-evidence.js

@@ -0,0 +1,79 @@
+import { existsSync, readFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { PrototypeVariantOptions, PrototypeVariantProviderEvidence } from '../reports.js';
+function readTraceEntries(runFolder) {
+    const tracePath = join(runFolder, 'trace.ndjson');
+    if (!existsSync(tracePath))
+        return [];
+    return readFileSync(tracePath, 'utf8')
+        .split('\n')
+        .filter((line) => line.trim().length > 0)
+        .map((line) => JSON.parse(line));
+}
+function isRelayStarted(value) {
+    return (value !== null &&
+        typeof value === 'object' &&
+        !Array.isArray(value) &&
+        value.kind === 'relay.started');
+}
+function branchRelayStepId(variantId) {
+    return `variant-fanout-step-${variantId}`;
+}
+export const prototypeVariantProviderEvidenceComposeBuilder = {
+    resultSchemaName: 'prototype.variant-provider-evidence@v1',
+    reads: [{ name: 'options', schema: 'prototype.variant-options@v1', required: true }],
+    build(context) {
+        const options = PrototypeVariantOptions.parse(context.inputs.options);
+        const relayStartedByStep = new Map();
+        for (const entry of readTraceEntries(context.runFolder)) {
+            if (!isRelayStarted(entry))
+                continue;
+            relayStartedByStep.set(entry.step_id, entry);
+        }
+        const variants = options.variants.map((variant) => {
+            const relayStepId = branchRelayStepId(variant.variant_id);
+            const started = relayStartedByStep.get(relayStepId);
+            const model = started?.resolved_selection.model;
+            const effort = started?.resolved_selection.effort;
+            if (started === undefined || model === undefined || effort === undefined) {
+                return {
+                    variant_id: variant.variant_id,
+                    label: variant.label,
+                    relay_step_id: relayStepId,
+                    status: 'missing',
+                };
+            }
+            return {
+                variant_id: variant.variant_id,
+                label: variant.label,
+                relay_step_id: relayStepId,
+                status: 'captured',
+                connector_name: started.connector.name,
+                provider: model.provider,
+                model: model.model,
+                effort,
+                trace_sequence: started.sequence,
+                trace_entry_kind: 'relay.started',
+                resolved_from: started.resolved_from,
+            };
+        });
+        const missingEvidence = variants.flatMap((variant) => variant.status === 'missing'
+            ? [
+                {
+                    variant_id: variant.variant_id,
+                    relay_step_id: variant.relay_step_id,
+                    reason: 'Missing relay.started trace entry with resolved_selection.model and effort for this variant.',
+                },
+            ]
+            : []);
+        return PrototypeVariantProviderEvidence.parse({
+            schema_version: 1,
+            evidence_source: 'relay.started resolved_selection trace entries',
+            required_captured_count: variants.length,
+            captured_count: variants.filter((variant) => variant.status === 'captured').length,
+            variants,
+            missing_evidence: missingEvidence,
+        });
+    },
+};
+//# sourceMappingURL=variant-provider-evidence.js.map

package/dist/flows/prototype/writers/variant-provider-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variant-provider-evidence.js","sourceRoot":"","sources":["../../../../src/flows/prototype/writers/variant-provider-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAMjC,OAAO,EAAE,uBAAuB,EAAE,gCAAgC,EAAE,MAAM,eAAe,CAAC;AAE1F,SAAS,gBAAgB,CAAC,SAAiB;IACzC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IAClD,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,OAAO,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC;SACnC,KAAK,CAAC,IAAI,CAAC;SACX,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;SACxC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,OAAO,CACL,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,KAAqC,CAAC,IAAI,KAAK,eAAe,CAChE,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,SAAiB;IAC1C,OAAO,uBAAuB,SAAS,EAAE,CAAC;AAC5C,CAAC;AAED,MAAM,CAAC,MAAM,8CAA8C,GAAmB;IAC5E,gBAAgB,EAAE,wCAAwC;IAC1D,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,8BAA8B,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACpF,KAAK,CAAC,OAA4B;QAChC,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACtE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkC,CAAC;QACrE,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC;gBAAE,SAAS;YACrC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,OAA4B,EAAE,KAAK,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;YAChD,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAC1D,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACpD,MAAM,KAAK,GAAG,OAAO,EAAE,kBAAkB,CAAC,KAAK,CAAC;YAChD,MAAM,MAAM,GAAG,OAAO,EAAE,kBAAkB,CAAC,MAAM,CAAC;YAClD,IAAI,OAAO,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzE,OAAO;oBACL,UAAU,EAAE,OAAO,CAAC,UAAU;oBAC9B,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,aAAa,EAAE,WAAW;oBAC1B,MAAM,EAAE,SAAkB;iBAC3B,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,aAAa,EAAE,WAAW;gBAC1B,MAAM,EAAE,UAAmB;gBAC3B,cAAc,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI;gBACtC,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,MAAM;gBACN,cAAc,EAAE,OAAO,CAAC,QAAQ;gBAChC,gBAAgB,EAAE,eAAe;gBACjC,aAAa,EAAE,OAAO,CAAC,aAAa;aACrC,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,MAAM,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACnD,OAAO,CAAC,MAAM,KAAK,SAAS;YAC1B,CAAC,CAAC;gBACE;oBACE,UAAU,EAAE,OAAO,CAAC,UAAU;oBAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;oBACpC,MAAM,EACJ,8FAA8F;iBACjG;aACF;YACH,CAAC,CAAC,EAAE,CACP,CAAC;QACF,OAAO,gCAAgC,CAAC,KAAK,CAAC;YAC5C,cAAc,EAAE,CAAC;YACjB,eAAe,EAAE,gDAAgD;YACjE,uBAAuB,EAAE,QAAQ,CAAC,MAAM;YACxC,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;YAClF,QAAQ;YACR,gBAAgB,EAAE,eAAe;SAClC,CAAC,CAAC;IACL,CAAC;CACF,CAAC"}

package/dist/flows/prototype/writers/variant-verification.d.ts

@@ -0,0 +1,3 @@
+import type { VerificationBuilder } from '../../registries/verification-writers/types.js';
+export declare const prototypeVariantVerificationWriter: VerificationBuilder;
+//# sourceMappingURL=variant-verification.d.ts.map

package/dist/flows/prototype/writers/variant-verification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variant-verification.d.ts","sourceRoot":"","sources":["../../../../src/flows/prototype/writers/variant-verification.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAEV,mBAAmB,EAGpB,MAAM,gDAAgD,CAAC;AAsKxD,eAAO,MAAM,kCAAkC,EAAE,mBAmBhD,CAAC"}

package/dist/flows/prototype/writers/variant-verification.js

@@ -0,0 +1,149 @@
+import { readFileSync } from 'node:fs';
+import { resolveRunRelative } from '../../../shared/run-relative-path.js';
+import { reportPathForSchemaInRuntimeFlow } from '../../registries/runtime-index.js';
+import { PrototypeVariantAggregate, PrototypeVariantProviderEvidence, PrototypeVariantVerification, } from '../reports.js';
+const VARIANT_INTEGRITY_SCRIPT = [
+    "const fs = require('node:fs')",
+    "const path = require('node:path')",
+    "const payload = JSON.parse(process.argv[1] || '{}')",
+    'const projectRoot = process.cwd()',
+    'const variants = Array.isArray(payload.variants) ? payload.variants : []',
+    'const errors = []',
+    'function inside(base, target) { const rel = path.relative(base, target); return rel === "" || (!rel.startsWith("..") && !path.isAbsolute(rel)); }',
+    'for (const variant of variants) {',
+    '  const id = String(variant.variant_id || "")',
+    '  const root = String(variant.variant_root || "")',
+    '  const created = Array.isArray(variant.created_files) ? variant.created_files : []',
+    '  const entry = Array.isArray(variant.entry_points) ? variant.entry_points : []',
+    '  const rootAbs = path.resolve(projectRoot, root)',
+    '  if (!inside(projectRoot, rootAbs)) errors.push(`${id}: variant_root escapes project root: ${root}`)',
+    '  if (!fs.existsSync(rootAbs)) errors.push(`${id}: variant_root does not exist: ${root}`)',
+    '  else if (!fs.lstatSync(rootAbs).isDirectory()) errors.push(`${id}: variant_root is not a directory: ${root}`)',
+    '  else if (fs.lstatSync(rootAbs).isSymbolicLink()) errors.push(`${id}: variant_root is a symlink: ${root}`)',
+    '  const rootReal = fs.existsSync(rootAbs) ? fs.realpathSync.native(rootAbs) : rootAbs',
+    '  if (created.length === 0) errors.push(`${id}: accepted variant has no created_files`)',
+    '  if (entry.length === 0) errors.push(`${id}: accepted variant has no entry_points`)',
+    '  for (const rel of Array.from(new Set([...created, ...entry]))) {',
+    '    if (typeof rel !== "string" || rel.length === 0) { errors.push(`${id}: reported path must be a non-empty string`); continue; }',
+    '    if (!rel.startsWith(`${root}/`)) errors.push(`${id}: variant path is outside variant_root: ${rel}`)',
+    '    const abs = path.resolve(projectRoot, rel)',
+    '    if (!inside(rootAbs, abs)) errors.push(`${id}: variant path escapes variant_root: ${rel}`)',
+    '    if (!fs.existsSync(abs)) { errors.push(`${id}: variant path does not exist: ${rel}`); continue; }',
+    '    if (fs.lstatSync(abs).isSymbolicLink()) errors.push(`${id}: variant path is a symlink: ${rel}`)',
+    '    const real = fs.realpathSync.native(abs)',
+    '    if (!inside(rootReal, real)) errors.push(`${id}: variant path escapes real variant_root: ${rel}`)',
+    '  }',
+    '}',
+    'if (errors.length > 0) { console.error(errors.join("\\n")); process.exit(1); }',
+    'console.log(`Prototype variant integrity passed for ${variants.length} variant(s)`)',
+].join('; ');
+function readReport(context, schemaName, parse) {
+    const reportPath = reportPathForSchemaInRuntimeFlow(context.flow, schemaName);
+    if (!context.step.reads.includes(reportPath)) {
+        throw new Error(`prototype.variant-verification@v1 requires step '${context.step.id}' to read ${reportPath}`);
+    }
+    return parse(JSON.parse(readFileSync(resolveRunRelative(context.runFolder, reportPath), 'utf8')));
+}
+function aggregate(context) {
+    return readReport(context, 'prototype.variant-aggregate@v1', (raw) => PrototypeVariantAggregate.parse(raw));
+}
+function providerEvidence(context) {
+    return readReport(context, 'prototype.variant-provider-evidence@v1', (raw) => PrototypeVariantProviderEvidence.parse(raw));
+}
+function integrityCommand(context) {
+    const payload = {
+        variants: aggregate(context)
+            .branches.filter((branch) => branch.child_outcome === 'complete' && branch.result_body !== undefined)
+            .flatMap((branch) => branch.result_body?.verdict === 'accept'
+            ? [
+                {
+                    variant_id: branch.result_body.variant_id,
+                    variant_root: branch.result_body.variant_root,
+                    created_files: branch.result_body.created_files,
+                    entry_points: branch.result_body.entry_points,
+                },
+            ]
+            : []),
+    };
+    return {
+        id: 'prototype-variant-artifact-integrity',
+        cwd: '.',
+        argv: [process.execPath, '-e', VARIANT_INTEGRITY_SCRIPT, JSON.stringify(payload)],
+        timeout_ms: 30_000,
+        max_output_bytes: 20_000,
+        env: {},
+    };
+}
+function projectVariantVerification(observations, context) {
+    const aggregateReport = aggregate(context);
+    const evidence = providerEvidence(context);
+    const commandFailed = observations.some((observation) => observation.status === 'failed');
+    const admitted = aggregateReport.branches.filter((branch) => branch.child_outcome === 'complete' && branch.admitted && branch.result_body !== undefined);
+    const admittedIds = new Set(admitted.map((branch) => branch.branch_id));
+    const capturedProviderEvidenceCount = evidence.variants.filter((variant) => admittedIds.has(variant.variant_id) && variant.status === 'captured').length;
+    const overallStatus = commandFailed || admitted.length < 2 || capturedProviderEvidenceCount < 2 ? 'failed' : 'passed';
+    return PrototypeVariantVerification.parse({
+        overall_status: overallStatus,
+        required_captured_provider_evidence_count: 2,
+        captured_provider_evidence_count: capturedProviderEvidenceCount,
+        admitted_variant_count: admitted.length,
+        variant_results: aggregateReport.branches.map((branch) => {
+            const providerEvidenceStatus = evidence.variants.find((variant) => variant.variant_id === branch.branch_id)?.status ??
+                'missing';
+            const accepted = branch.child_outcome === 'complete' && branch.admitted && branch.result_body !== undefined;
+            const status = accepted && !commandFailed && providerEvidenceStatus === 'captured'
+                ? 'passed'
+                : accepted && commandFailed
+                    ? 'failed'
+                    : 'blocked';
+            return {
+                variant_id: branch.branch_id,
+                status,
+                entry_points: branch.result_body?.entry_points ?? [],
+                created_files: branch.result_body?.created_files ?? [],
+                ...(status === 'passed'
+                    ? {}
+                    : {
+                        failure_summary: !accepted
+                            ? `branch outcome '${branch.child_outcome}' with verdict '${branch.verdict}'`
+                            : providerEvidenceStatus !== 'captured'
+                                ? 'provider/model evidence was not captured from relay.started'
+                                : 'variant artifact integrity command failed',
+                    }),
+                notes: [
+                    `branch outcome: ${branch.child_outcome}`,
+                    `verdict: ${branch.verdict}`,
+                    `provider evidence: ${providerEvidenceStatus}`,
+                ],
+            };
+        }),
+        commands: observations.map((observation) => ({
+            command_id: observation.command.id,
+            argv: observation.command.argv,
+            cwd: observation.command.cwd,
+            exit_code: observation.exit_code,
+            status: observation.status,
+            duration_ms: observation.duration_ms,
+            stdout_summary: observation.stdout_summary,
+            stderr_summary: observation.stderr_summary,
+        })),
+    });
+}
+export const prototypeVariantVerificationWriter = {
+    resultSchemaName: 'prototype.variant-verification@v1',
+    // Reads the variant aggregate (for the integrity command) and the variant
+    // provider evidence (for the projected result). Declared so a composer wires the
+    // reads and the offline floor resolves them; loadCommands/buildResult below are
+    // the enforcing source of truth.
+    reads: [
+        { name: 'aggregate', schema: 'prototype.variant-aggregate@v1', required: true },
+        { name: 'providerEvidence', schema: 'prototype.variant-provider-evidence@v1', required: true },
+    ],
+    loadCommands(context) {
+        return [integrityCommand(context)];
+    },
+    buildResult(observations, context) {
+        return projectVariantVerification(observations, context);
+    },
+};
+//# sourceMappingURL=variant-verification.js.map

package/dist/flows/prototype/writers/variant-verification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variant-verification.js","sourceRoot":"","sources":["../../../../src/flows/prototype/writers/variant-verification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAC1E,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AAOrF,OAAO,EACL,yBAAyB,EACzB,gCAAgC,EAChC,4BAA4B,GAC7B,MAAM,eAAe,CAAC;AAEvB,MAAM,wBAAwB,GAAG;IAC/B,+BAA+B;IAC/B,mCAAmC;IACnC,qDAAqD;IACrD,mCAAmC;IACnC,0EAA0E;IAC1E,mBAAmB;IACnB,mJAAmJ;IACnJ,mCAAmC;IACnC,+CAA+C;IAC/C,mDAAmD;IACnD,qFAAqF;IACrF,iFAAiF;IACjF,mDAAmD;IACnD,uGAAuG;IACvG,2FAA2F;IAC3F,iHAAiH;IACjH,6GAA6G;IAC7G,uFAAuF;IACvF,yFAAyF;IACzF,sFAAsF;IACtF,oEAAoE;IACpE,oIAAoI;IACpI,yGAAyG;IACzG,gDAAgD;IAChD,gGAAgG;IAChG,uGAAuG;IACvG,qGAAqG;IACrG,8CAA8C;IAC9C,uGAAuG;IACvG,KAAK;IACL,GAAG;IACH,gFAAgF;IAChF,qFAAqF;CACtF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,SAAS,UAAU,CACjB,OAAiC,EACjC,UAAkB,EAClB,KAA0B;IAE1B,MAAM,UAAU,GAAG,gCAAgC,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC9E,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAmB,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CACb,oDAAoD,OAAO,CAAC,IAAI,CAAC,EAAE,aAAa,UAAU,EAAE,CAC7F,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,SAAS,CAAC,OAAiC;IAClD,OAAO,UAAU,CAAC,OAAO,EAAE,gCAAgC,EAAE,CAAC,GAAG,EAAE,EAAE,CACnE,yBAAyB,CAAC,KAAK,CAAC,GAAG,CAAC,CACrC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAiC;IACzD,OAAO,UAAU,CAAC,OAAO,EAAE,wCAAwC,EAAE,CAAC,GAAG,EAAE,EAAE,CAC3E,gCAAgC,CAAC,KAAK,CAAC,GAAG,CAAC,CAC5C,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAiC;IACzD,MAAM,OAAO,GAAG;QACd,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC;aACzB,QAAQ,CAAC,MAAM,CACd,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,KAAK,UAAU,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,CACpF;aACA,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAClB,MAAM,CAAC,WAAW,EAAE,OAAO,KAAK,QAAQ;YACtC,CAAC,CAAC;gBACE;oBACE,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,UAAU;oBACzC,YAAY,EAAE,MAAM,CAAC,WAAW,CAAC,YAAY;oBAC7C,aAAa,EAAE,MAAM,CAAC,WAAW,CAAC,aAAa;oBAC/C,YAAY,EAAE,MAAM,CAAC,WAAW,CAAC,YAAY;iBAC9C;aACF;YACH,CAAC,CAAC,EAAE,CACP;KACJ,CAAC;IACF,OAAO;QACL,EAAE,EAAE,sCAAsC;QAC1C,GAAG,EAAE,GAAG;QACR,IAAI,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACjF,UAAU,EAAE,MAAM;QAClB,gBAAgB,EAAE,MAAM;QACxB,GAAG,EAAE,EAAE;KACR,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,YAAuD,EACvD,OAAiC;IAEjC,MAAM,eAAe,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IAC1F,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,MAAM,CAC9C,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,aAAa,KAAK,UAAU,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,CAC7F,CAAC;IACF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IACxE,MAAM,6BAA6B,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAC5D,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,CAClF,CAAC,MAAM,CAAC;IACT,MAAM,aAAa,GACjB,aAAa,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,6BAA6B,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAClG,OAAO,4BAA4B,CAAC,KAAK,CAAC;QACxC,cAAc,EAAE,aAAa;QAC7B,yCAAyC,EAAE,CAAC;QAC5C,gCAAgC,EAAE,6BAA6B;QAC/D,sBAAsB,EAAE,QAAQ,CAAC,MAAM;QACvC,eAAe,EAAE,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;YACvD,MAAM,sBAAsB,GAC1B,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,KAAK,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM;gBACpF,SAAS,CAAC;YACZ,MAAM,QAAQ,GACZ,MAAM,CAAC,aAAa,KAAK,UAAU,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC;YAC7F,MAAM,MAAM,GACV,QAAQ,IAAI,CAAC,aAAa,IAAI,sBAAsB,KAAK,UAAU;gBACjE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,QAAQ,IAAI,aAAa;oBACzB,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,SAAS,CAAC;YAClB,OAAO;gBACL,UAAU,EAAE,MAAM,CAAC,SAAS;gBAC5B,MAAM;gBACN,YAAY,EAAE,MAAM,CAAC,WAAW,EAAE,YAAY,IAAI,EAAE;gBACpD,aAAa,EAAE,MAAM,CAAC,WAAW,EAAE,aAAa,IAAI,EAAE;gBACtD,GAAG,CAAC,MAAM,KAAK,QAAQ;oBACrB,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC;wBACE,eAAe,EAAE,CAAC,QAAQ;4BACxB,CAAC,CAAC,mBAAmB,MAAM,CAAC,aAAa,mBAAmB,MAAM,CAAC,OAAO,GAAG;4BAC7E,CAAC,CAAC,sBAAsB,KAAK,UAAU;gCACrC,CAAC,CAAC,6DAA6D;gCAC/D,CAAC,CAAC,2CAA2C;qBAClD,CAAC;gBACN,KAAK,EAAE;oBACL,mBAAmB,MAAM,CAAC,aAAa,EAAE;oBACzC,YAAY,MAAM,CAAC,OAAO,EAAE;oBAC5B,sBAAsB,sBAAsB,EAAE;iBAC/C;aACF,CAAC;QACJ,CAAC,CAAC;QACF,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAC3C,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE;YAClC,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI;YAC9B,GAAG,EAAE,WAAW,CAAC,OAAO,CAAC,GAAG;YAC5B,SAAS,EAAE,WAAW,CAAC,SAAS;YAChC,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,WAAW,EAAE,WAAW,CAAC,WAAW;YACpC,cAAc,EAAE,WAAW,CAAC,cAAc;YAC1C,cAAc,EAAE,WAAW,CAAC,cAAc;SAC3C,CAAC,CAAC;KACJ,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,kCAAkC,GAAwB;IACrE,gBAAgB,EAAE,mCAAmC;IACrD,0EAA0E;IAC1E,iFAAiF;IACjF,gFAAgF;IAChF,iCAAiC;IACjC,KAAK,EAAE;QACL,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,gCAAgC,EAAE,QAAQ,EAAE,IAAI,EAAE;QAC/E,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,wCAAwC,EAAE,QAAQ,EAAE,IAAI,EAAE;KAC/F;IACD,YAAY,CAAC,OAAiC;QAC5C,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;IACrC,CAAC;IACD,WAAW,CACT,YAAuD,EACvD,OAAiC;QAEjC,OAAO,0BAA0B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC3D,CAAC;CACF,CAAC"}

package/dist/flows/prototype/writers/verification.d.ts

@@ -0,0 +1,3 @@
+import type { VerificationBuilder } from '../../registries/verification-writers/types.js';
+export declare const prototypeVerificationWriter: VerificationBuilder;
+//# sourceMappingURL=verification.d.ts.map

package/dist/flows/prototype/writers/verification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../../../src/flows/prototype/writers/verification.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAEV,mBAAmB,EAGpB,MAAM,gDAAgD,CAAC;AAoGxD,eAAO,MAAM,2BAA2B,EAAE,mBAmBzC,CAAC"}

package/dist/flows/prototype/writers/verification.js

@@ -0,0 +1,105 @@
+import { readFileSync } from 'node:fs';
+import { resolveRunRelative } from '../../../shared/run-relative-path.js';
+import { reportPathForSchemaInRuntimeFlow } from '../../registries/runtime-index.js';
+import { PrototypeArtifact, PrototypePlan, PrototypeVerification } from '../reports.js';
+// Integrity judges the implementer's FINAL DECLARED work: every created file and
+// entry point must be a real, non-symlink path inside prototype_root. The plan's
+// anticipated file list is ADVISORY ONLY — the plan writer guesses a deliverable
+// shape before the implementer runs, and a goal whose right artifact is a
+// different shape (a CLI script instead of an HTML sketch, the F11 finding from
+// the live surface test) must not fail integrity on that guess. An unrealized
+// planned file is surfaced on stdout so the mismatch stays legible in the
+// verification report without failing the run.
+const ARTIFACT_INTEGRITY_SCRIPT = [
+    "const fs = require('node:fs')",
+    "const path = require('node:path')",
+    "const payload = JSON.parse(process.argv[1] || '{}')",
+    'const projectRoot = process.cwd()',
+    "const root = String(payload.prototype_root || '')",
+    'const planned = Array.isArray(payload.planned_files) ? payload.planned_files : []',
+    'const created = Array.isArray(payload.created_files) ? payload.created_files : []',
+    'const entry = Array.isArray(payload.entry_points) ? payload.entry_points : []',
+    'const errors = []',
+    'function inside(base, target) { const rel = path.relative(base, target); return rel === "" || (!rel.startsWith("..") && !path.isAbsolute(rel)); }',
+    'const rootAbs = path.resolve(projectRoot, root)',
+    'if (!inside(projectRoot, rootAbs)) errors.push(`prototype_root escapes project root: ${root}`)',
+    'if (!fs.existsSync(rootAbs)) errors.push(`prototype_root does not exist: ${root}`)',
+    'else if (!fs.lstatSync(rootAbs).isDirectory()) errors.push(`prototype_root is not a directory: ${root}`)',
+    'else if (fs.lstatSync(rootAbs).isSymbolicLink()) errors.push(`prototype_root is a symlink: ${root}`)',
+    'const rootReal = fs.existsSync(rootAbs) ? fs.realpathSync.native(rootAbs) : rootAbs',
+    'const createdSet = new Set(created)',
+    'const unrealizedPlan = planned.filter((rel) => !createdSet.has(rel))',
+    'for (const rel of Array.from(new Set([...created, ...entry]))) {',
+    '  if (typeof rel !== "string" || rel.length === 0) { errors.push("reported path must be a non-empty string"); continue; }',
+    '  if (!rel.startsWith(`${root}/`)) errors.push(`prototype path is outside prototype_root: ${rel}`)',
+    '  const abs = path.resolve(projectRoot, rel)',
+    '  if (!inside(rootAbs, abs)) errors.push(`prototype path escapes prototype_root: ${rel}`)',
+    '  if (!fs.existsSync(abs)) { errors.push(`prototype path does not exist: ${rel}`); continue; }',
+    '  if (fs.lstatSync(abs).isSymbolicLink()) errors.push(`prototype path is a symlink: ${rel}`)',
+    '  const real = fs.realpathSync.native(abs)',
+    '  if (!inside(rootReal, real)) errors.push(`prototype path escapes real prototype_root: ${rel}`)',
+    '}',
+    'if (errors.length > 0) { console.error(errors.join("\\n")); process.exit(1); }',
+    'if (unrealizedPlan.length > 0) console.log(`note (advisory): the plan anticipated files the artifact did not declare: ${unrealizedPlan.join(", ")}`)',
+    'console.log(`Prototype artifact integrity passed for ${root}`)',
+].join('; ');
+function readReport(context, schemaName, parse) {
+    const reportPath = reportPathForSchemaInRuntimeFlow(context.flow, schemaName);
+    if (!context.step.reads.includes(reportPath)) {
+        throw new Error(`prototype.verification@v1 requires step '${context.step.id}' to read ${reportPath}`);
+    }
+    return parse(JSON.parse(readFileSync(resolveRunRelative(context.runFolder, reportPath), 'utf8')));
+}
+function artifactIntegrityCommand(input) {
+    const payload = {
+        prototype_root: input.artifact.prototype_root,
+        planned_files: input.plan.files_to_create,
+        created_files: input.artifact.created_files,
+        entry_points: input.artifact.entry_points,
+    };
+    return {
+        id: 'prototype-artifact-integrity',
+        cwd: '.',
+        argv: [process.execPath, '-e', ARTIFACT_INTEGRITY_SCRIPT, JSON.stringify(payload)],
+        timeout_ms: 30_000,
+        max_output_bytes: 20_000,
+        env: {},
+    };
+}
+function projectPrototypeVerification(observations) {
+    const overallStatus = observations.some((observation) => observation.status === 'failed')
+        ? 'failed'
+        : 'passed';
+    return PrototypeVerification.parse({
+        overall_status: overallStatus,
+        commands: observations.map((observation) => ({
+            command_id: observation.command.id,
+            argv: observation.command.argv,
+            cwd: observation.command.cwd,
+            exit_code: observation.exit_code,
+            status: observation.status,
+            duration_ms: observation.duration_ms,
+            stdout_summary: observation.stdout_summary,
+            stderr_summary: observation.stderr_summary,
+        })),
+    });
+}
+export const prototypeVerificationWriter = {
+    resultSchemaName: 'prototype.verification@v1',
+    // Sources commands from the prototype plan and reads the artifact for the
+    // integrity command. Declared so a composer wires the reads and the offline
+    // floor resolves them; loadCommands below is the enforcing source of truth.
+    reads: [
+        { name: 'plan', schema: 'prototype.plan@v1', required: true },
+        { name: 'artifact', schema: 'prototype.artifact@v1', required: true },
+    ],
+    loadCommands(context) {
+        const plan = readReport(context, 'prototype.plan@v1', (raw) => PrototypePlan.parse(raw));
+        const artifact = readReport(context, 'prototype.artifact@v1', (raw) => PrototypeArtifact.parse(raw));
+        return [artifactIntegrityCommand({ plan, artifact }), ...plan.verification.commands];
+    },
+    buildResult(observations) {
+        return projectPrototypeVerification(observations);
+    },
+};
+//# sourceMappingURL=verification.js.map

package/dist/flows/prototype/writers/verification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../../../src/flows/prototype/writers/verification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAC1E,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AAOrF,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAExF,iFAAiF;AACjF,iFAAiF;AACjF,iFAAiF;AACjF,0EAA0E;AAC1E,gFAAgF;AAChF,8EAA8E;AAC9E,0EAA0E;AAC1E,+CAA+C;AAC/C,MAAM,yBAAyB,GAAG;IAChC,+BAA+B;IAC/B,mCAAmC;IACnC,qDAAqD;IACrD,mCAAmC;IACnC,mDAAmD;IACnD,mFAAmF;IACnF,mFAAmF;IACnF,+EAA+E;IAC/E,mBAAmB;IACnB,mJAAmJ;IACnJ,iDAAiD;IACjD,gGAAgG;IAChG,oFAAoF;IACpF,0GAA0G;IAC1G,sGAAsG;IACtG,qFAAqF;IACrF,qCAAqC;IACrC,sEAAsE;IACtE,kEAAkE;IAClE,2HAA2H;IAC3H,oGAAoG;IACpG,8CAA8C;IAC9C,2FAA2F;IAC3F,gGAAgG;IAChG,8FAA8F;IAC9F,4CAA4C;IAC5C,kGAAkG;IAClG,GAAG;IACH,gFAAgF;IAChF,sJAAsJ;IACtJ,gEAAgE;CACjE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,SAAS,UAAU,CACjB,OAAiC,EACjC,UAAkB,EAClB,KAA0B;IAE1B,MAAM,UAAU,GAAG,gCAAgC,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC9E,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAmB,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CACb,4CAA4C,OAAO,CAAC,IAAI,CAAC,EAAE,aAAa,UAAU,EAAE,CACrF,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,wBAAwB,CAAC,KAGjC;IACC,MAAM,OAAO,GAAG;QACd,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,cAAc;QAC7C,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,eAAe;QACzC,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,aAAa;QAC3C,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,YAAY;KAC1C,CAAC;IACF,OAAO;QACL,EAAE,EAAE,8BAA8B;QAClC,GAAG,EAAE,GAAG;QACR,IAAI,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAClF,UAAU,EAAE,MAAM;QAClB,gBAAgB,EAAE,MAAM;QACxB,GAAG,EAAE,EAAE;KACR,CAAC;AACJ,CAAC;AAED,SAAS,4BAA4B,CACnC,YAAuD;IAEvD,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,QAAQ,CAAC;QACvF,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,QAAQ,CAAC;IACb,OAAO,qBAAqB,CAAC,KAAK,CAAC;QACjC,cAAc,EAAE,aAAa;QAC7B,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAC3C,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE;YAClC,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI;YAC9B,GAAG,EAAE,WAAW,CAAC,OAAO,CAAC,GAAG;YAC5B,SAAS,EAAE,WAAW,CAAC,SAAS;YAChC,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,WAAW,EAAE,WAAW,CAAC,WAAW;YACpC,cAAc,EAAE,WAAW,CAAC,cAAc;YAC1C,cAAc,EAAE,WAAW,CAAC,cAAc;SAC3C,CAAC,CAAC;KACJ,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,2BAA2B,GAAwB;IAC9D,gBAAgB,EAAE,2BAA2B;IAC7C,0EAA0E;IAC1E,4EAA4E;IAC5E,4EAA4E;IAC5E,KAAK,EAAE;QACL,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,mBAAmB,EAAE,QAAQ,EAAE,IAAI,EAAE;QAC7D,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,uBAAuB,EAAE,QAAQ,EAAE,IAAI,EAAE;KACtE;IACD,YAAY,CAAC,OAAiC;QAC5C,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,EAAE,mBAAmB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACzF,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,uBAAuB,EAAE,CAAC,GAAG,EAAE,EAAE,CACpE,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAC7B,CAAC;QACF,OAAO,CAAC,wBAAwB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IACvF,CAAC;IACD,WAAW,CAAC,YAAuD;QACjE,OAAO,4BAA4B,CAAC,YAAY,CAAC,CAAC;IACpD,CAAC;CACF,CAAC"}

package/dist/flows/pursue/assembly-spec.d.ts

@@ -0,0 +1,6 @@
+import type { FlowSchematicAssemblySpec } from '../assemble-flow-schematic.js';
+import type { BlockStepUse } from '../block-step-expansion.js';
+export declare const PURSUE_STAGE_POLICY: import("../stage-policy.js").EnforcedStagePolicyDeclaration;
+export declare const pursueBlockItems: readonly BlockStepUse[];
+export declare const pursueAssemblySpec: FlowSchematicAssemblySpec;
+//# sourceMappingURL=assembly-spec.d.ts.map

package/dist/flows/pursue/assembly-spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assembly-spec.d.ts","sourceRoot":"","sources":["../../../src/flows/pursue/assembly-spec.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,yBAAyB,EAAiB,MAAM,+BAA+B,CAAC;AAC9F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAS/D,eAAO,MAAM,mBAAmB,6DAQ9B,CAAC;AAIH,eAAO,MAAM,gBAAgB,EAAE,SAAS,YAAY,EAgInD,CAAC;AAaF,eAAO,MAAM,kBAAkB,EAAE,yBA2BhC,CAAC"}

package/dist/flows/pursue/assembly-spec.js

@@ -0,0 +1,181 @@
+import { defineEnforcedStagePolicy } from '../stage-policy.js';
+// One source of truth for why pursue omits the analyze stage: it feeds both the
+// derived schematic `stage_path_policy.rationale` (via the assembly spec) and the
+// `canonicalStagePolicy.rationale` (via PURSUE_STAGE_POLICY).
+const PURSUE_STAGE_PATH_RATIONALE = 'Pursuits V1 folds read-only discovery policy into the coordination graph before acting; a separate Analyze stage can be added when dynamic discovery fanout lands.';
+export const PURSUE_STAGE_POLICY = defineEnforcedStagePolicy({
+    canonicals: ['frame', 'plan', 'act', 'verify', 'review', 'close'],
+    omits: ['analyze'],
+    rationale: PURSUE_STAGE_PATH_RATIONALE,
+    optional_canonicals: [],
+    variants: [],
+    title: 'Frame → Coordinate → Execute → Verify → Review → Close',
+    authority: 'docs/flows/pursue.md §Flow Shape',
+});
+// Pursue's full block sequence, in route order. Pursue leaves the analyze stage
+// empty, so the assembler derives a partial stage path with omits: ['analyze'].
+export const pursueBlockItems = [
+    {
+        id: 'contract-step',
+        title: 'Frame - create pursuit contract',
+        stage: 'frame',
+        block: 'pursue',
+        input: { intake: 'task.intake@v1', route: 'route.decision@v1' },
+        execution: { kind: 'compose' },
+        protocol: 'pursuit-contract@v1',
+        reportPath: 'reports/pursuit/contract.json',
+        required: ['objective', 'pursuits', 'verification_command_candidates'],
+        routes: { continue: 'graph-step', stop: '@stop' },
+    },
+    {
+        id: 'graph-step',
+        title: 'Coordinate - build pursuit graph',
+        stage: 'plan',
+        block: 'coordinate-pursuits',
+        input: { contract: 'pursuit.contract@v1' },
+        execution: { kind: 'compose' },
+        protocol: 'pursuit-graph@v1',
+        reportPath: 'reports/pursuit/graph.json',
+        required: ['nodes', 'serial_groups', 'parallel_read_only_groups'],
+        routes: { continue: 'wave-plan-step', stop: '@stop' },
+    },
+    {
+        id: 'wave-plan-step',
+        title: 'Plan - order execution waves',
+        stage: 'plan',
+        block: 'plan',
+        input: { brief: 'pursuit.contract@v1', context: 'pursuit.graph@v1' },
+        output: 'pursuit.wave-plan@v1',
+        execution: { kind: 'compose' },
+        protocol: 'pursuit-wave-plan@v1',
+        reportPath: 'reports/pursuit/wave-plan.json',
+        required: ['waves', 'no_parallel_writes_reason'],
+        routes: { continue: 'batch-step', stop: '@stop' },
+    },
+    {
+        id: 'batch-step',
+        title: 'Execute - run serialized pursuit batch',
+        stage: 'act',
+        block: 'batch',
+        input: {
+            queue: 'pursuit.graph@v1',
+            brief: 'pursuit.contract@v1',
+            plan: 'pursuit.wave-plan@v1',
+        },
+        output: 'pursuit.batch@v1',
+        execution: { kind: 'relay', role: 'implementer' },
+        protocol: 'pursuit-batch@v1',
+        reportPath: 'reports/pursuit/batch.json',
+        requestPath: 'reports/relay/pursuit-batch.request.json',
+        receiptPath: 'reports/relay/pursuit-batch.receipt.txt',
+        resultPath: 'reports/relay/pursuit-batch.result.json',
+        pass: ['accept', 'partial'],
+        skillSlots: [
+            {
+                id: 'pursuit-serial-execution',
+                description: 'A skill for executing a queue of related goals one at a time, verifying each before moving to the next.',
+            },
+        ],
+        routes: { continue: 'verify-step', retry: 'batch-step', stop: '@stop' },
+    },
+    {
+        id: 'verify-step',
+        title: 'Verify - run Pursue proof commands',
+        stage: 'verify',
+        block: 'run-verification',
+        input: {
+            proof: 'verification.plan@v1',
+            brief: 'pursuit.contract@v1',
+            change: 'pursuit.batch@v1',
+        },
+        output: 'pursuit.verification@v1',
+        protocol: 'pursuit-verify@v1',
+        reportPath: 'reports/pursuit/verification.json',
+        required: ['overall_status', 'commands'],
+        routes: { continue: 'review-step', retry: 'batch-step', stop: '@stop' },
+    },
+    {
+        id: 'review-step',
+        title: 'Review - check pursuit coordination',
+        stage: 'review',
+        block: 'review',
+        input: {
+            brief: 'pursuit.contract@v1',
+            change: 'pursuit.batch@v1',
+            verification: 'pursuit.verification@v1',
+        },
+        output: 'pursuit.review@v1',
+        execution: { kind: 'relay', role: 'reviewer' },
+        protocol: 'pursuit-review@v1',
+        reportPath: 'reports/pursuit/review.json',
+        requestPath: 'reports/relay/pursuit-review.request.json',
+        receiptPath: 'reports/relay/pursuit-review.receipt.txt',
+        resultPath: 'reports/relay/pursuit-review.result.json',
+        pass: ['clean', 'needs-followup', 'blocked'],
+        skillSlots: [
+            {
+                id: 'pursuit-coordination-audit',
+                description: 'A skill for checking that a multi-goal pursuit stayed coordinated: no goal left half-done and no cross-goal regression.',
+            },
+        ],
+        routes: { continue: 'close-step', retry: 'batch-step', stop: '@stop' },
+    },
+    {
+        id: 'close-step',
+        title: 'Close - summarize pursuit result',
+        stage: 'close',
+        block: 'close-with-evidence',
+        input: {
+            brief: 'pursuit.contract@v1',
+            graph: 'pursuit.graph@v1',
+            plan: 'pursuit.wave-plan@v1',
+            verification: 'pursuit.verification@v1',
+            review: 'pursuit.review@v1',
+            batch: 'pursuit.batch@v1',
+        },
+        output: 'pursuit.result@v1',
+        execution: { kind: 'compose' },
+        protocol: 'pursuit-close@v1',
+        reportPath: 'reports/pursuit-result.json',
+        required: ['summary', 'outcome', 'evidence_links'],
+        routes: { complete: '@complete', stop: '@stop', handoff: '@handoff', escalate: '@escalate' },
+    },
+];
+// Author-facing stage labels. The assembler decides WHICH canonicals appear and
+// in what order from the item sequence; the id + title for each are supplied here.
+const pursueStageLabels = {
+    frame: { id: 'frame-stage', title: 'Frame' },
+    plan: { id: 'plan-stage', title: 'Coordinate' },
+    act: { id: 'act-stage', title: 'Execute' },
+    verify: { id: 'verify-stage', title: 'Verify' },
+    review: { id: 'review-stage', title: 'Review' },
+    close: { id: 'close-stage', title: 'Close' },
+};
+export const pursueAssemblySpec = {
+    id: 'pursue',
+    title: 'Pursue Schematic',
+    purpose: 'Pursue flow: turn one or more rough operator ideas into pursuit contracts, coordinate their order, execute code-changing work serially, verify, review for interference, and close with evidence.',
+    status: 'active',
+    version: '0.1.0',
+    initial_contracts: ['task.intake@v1', 'route.decision@v1', 'verification.plan@v1'],
+    contract_aliases: [
+        { generic: 'flow.brief@v1', actual: 'pursuit.contract@v1' },
+        { generic: 'plan.strategy@v1', actual: 'pursuit.wave-plan@v1' },
+        { generic: 'work.queue@v1', actual: 'pursuit.graph@v1' },
+        { generic: 'batch.result@v1', actual: 'pursuit.batch@v1' },
+        { generic: 'change.evidence@v1', actual: 'pursuit.batch@v1' },
+        { generic: 'verification.result@v1', actual: 'pursuit.verification@v1' },
+        { generic: 'review.verdict@v1', actual: 'pursuit.review@v1' },
+        { generic: 'flow.result@v1', actual: 'pursuit.result@v1' },
+    ],
+    axes: {
+        allowed_depths: ['medium'],
+        supports_tournament: false,
+        supports_autonomous: true,
+        default: { depth: 'medium', tournament: false, tournament_n: 3, autonomous: false },
+    },
+    items: pursueBlockItems,
+    stageLabels: pursueStageLabels,
+    stagePathRationale: PURSUE_STAGE_PATH_RATIONALE,
+};
+//# sourceMappingURL=assembly-spec.js.map

package/dist/flows/pursue/assembly-spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assembly-spec.js","sourceRoot":"","sources":["../../../src/flows/pursue/assembly-spec.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AAE/D,gFAAgF;AAChF,kFAAkF;AAClF,8DAA8D;AAC9D,MAAM,2BAA2B,GAC/B,oKAAoK,CAAC;AAEvK,MAAM,CAAC,MAAM,mBAAmB,GAAG,yBAAyB,CAAC;IAC3D,UAAU,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC;IACjE,KAAK,EAAE,CAAC,SAAS,CAAC;IAClB,SAAS,EAAE,2BAA2B;IACtC,mBAAmB,EAAE,EAAE;IACvB,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,wDAAwD;IAC/D,SAAS,EAAE,kCAAkC;CAC9C,CAAC,CAAC;AAEH,gFAAgF;AAChF,gFAAgF;AAChF,MAAM,CAAC,MAAM,gBAAgB,GAA4B;IACvD;QACE,EAAE,EAAE,eAAe;QACnB,KAAK,EAAE,iCAAiC;QACxC,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,mBAAmB,EAAE;QAC/D,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QAC9B,QAAQ,EAAE,qBAAqB;QAC/B,UAAU,EAAE,+BAA+B;QAC3C,QAAQ,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,iCAAiC,CAAC;QACtE,MAAM,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;KAClD;IACD;QACE,EAAE,EAAE,YAAY;QAChB,KAAK,EAAE,kCAAkC;QACzC,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,qBAAqB;QAC5B,KAAK,EAAE,EAAE,QAAQ,EAAE,qBAAqB,EAAE;QAC1C,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QAC9B,QAAQ,EAAE,kBAAkB;QAC5B,UAAU,EAAE,4BAA4B;QACxC,QAAQ,EAAE,CAAC,OAAO,EAAE,eAAe,EAAE,2BAA2B,CAAC;QACjE,MAAM,EAAE,EAAE,QAAQ,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,EAAE;KACtD;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,KAAK,EAAE,8BAA8B;QACrC,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,EAAE,KAAK,EAAE,qBAAqB,EAAE,OAAO,EAAE,kBAAkB,EAAE;QACpE,MAAM,EAAE,sBAAsB;QAC9B,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QAC9B,QAAQ,EAAE,sBAAsB;QAChC,UAAU,EAAE,gCAAgC;QAC5C,QAAQ,EAAE,CAAC,OAAO,EAAE,2BAA2B,CAAC;QAChD,MAAM,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;KAClD;IACD;QACE,EAAE,EAAE,YAAY;QAChB,KAAK,EAAE,wCAAwC;QAC/C,KAAK,EAAE,KAAK;QACZ,KAAK,EAAE,OAAO;QACd,KAAK,EAAE;YACL,KAAK,EAAE,kBAAkB;YACzB,KAAK,EAAE,qBAAqB;YAC5B,IAAI,EAAE,sBAAsB;SAC7B;QACD,MAAM,EAAE,kBAAkB;QAC1B,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE;QACjD,QAAQ,EAAE,kBAAkB;QAC5B,UAAU,EAAE,4BAA4B;QACxC,WAAW,EAAE,0CAA0C;QACvD,WAAW,EAAE,yCAAyC;QACtD,UAAU,EAAE,yCAAyC;QACrD,IAAI,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;QAC3B,UAAU,EAAE;YACV;gBACE,EAAE,EAAE,0BAA0B;gBAC9B,WAAW,EACT,yGAAyG;aAC5G;SACF;QACD,MAAM,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;KACxE;IACD;QACE,EAAE,EAAE,aAAa;QACjB,KAAK,EAAE,oCAAoC;QAC3C,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,kBAAkB;QACzB,KAAK,EAAE;YACL,KAAK,EAAE,sBAAsB;YAC7B,KAAK,EAAE,qBAAqB;YAC5B,MAAM,EAAE,kBAAkB;SAC3B;QACD,MAAM,EAAE,yBAAyB;QACjC,QAAQ,EAAE,mBAAmB;QAC7B,UAAU,EAAE,mCAAmC;QAC/C,QAAQ,EAAE,CAAC,gBAAgB,EAAE,UAAU,CAAC;QACxC,MAAM,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;KACxE;IACD;QACE,EAAE,EAAE,aAAa;QACjB,KAAK,EAAE,qCAAqC;QAC5C,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE;YACL,KAAK,EAAE,qBAAqB;YAC5B,MAAM,EAAE,kBAAkB;YAC1B,YAAY,EAAE,yBAAyB;SACxC;QACD,MAAM,EAAE,mBAAmB;QAC3B,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE;QAC9C,QAAQ,EAAE,mBAAmB;QAC7B,UAAU,EAAE,6BAA6B;QACzC,WAAW,EAAE,2CAA2C;QACxD,WAAW,EAAE,0CAA0C;QACvD,UAAU,EAAE,0CAA0C;QACtD,IAAI,EAAE,CAAC,OAAO,EAAE,gBAAgB,EAAE,SAAS,CAAC;QAC5C,UAAU,EAAE;YACV;gBACE,EAAE,EAAE,4BAA4B;gBAChC,WAAW,EACT,yHAAyH;aAC5H;SACF;QACD,MAAM,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;KACvE;IACD;QACE,EAAE,EAAE,YAAY;QAChB,KAAK,EAAE,kCAAkC;QACzC,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,qBAAqB;QAC5B,KAAK,EAAE;YACL,KAAK,EAAE,qBAAqB;YAC5B,KAAK,EAAE,kBAAkB;YACzB,IAAI,EAAE,sBAAsB;YAC5B,YAAY,EAAE,yBAAyB;YACvC,MAAM,EAAE,mBAAmB;YAC3B,KAAK,EAAE,kBAAkB;SAC1B;QACD,MAAM,EAAE,mBAAmB;QAC3B,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QAC9B,QAAQ,EAAE,kBAAkB;QAC5B,UAAU,EAAE,6BAA6B;QACzC,QAAQ,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,gBAAgB,CAAC;QAClD,MAAM,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE;KAC7F;CACF,CAAC;AAEF,gFAAgF;AAChF,mFAAmF;AACnF,MAAM,iBAAiB,GAAkB;IACvC,KAAK,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE;IAC5C,IAAI,EAAE,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE;IAC/C,GAAG,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE;IAC1C,MAAM,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC/C,MAAM,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC/C,KAAK,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE;CAC7C,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAA8B;IAC3D,EAAE,EAAE,QAAQ;IACZ,KAAK,EAAE,kBAAkB;IACzB,OAAO,EACL,mMAAmM;IACrM,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,OAAO;IAChB,iBAAiB,EAAE,CAAC,gBAAgB,EAAE,mBAAmB,EAAE,sBAAsB,CAAC;IAClF,gBAAgB,EAAE;QAChB,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,qBAAqB,EAAE;QAC3D,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,EAAE,sBAAsB,EAAE;QAC/D,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,kBAAkB,EAAE;QACxD,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,EAAE,kBAAkB,EAAE;QAC1D,EAAE,OAAO,EAAE,oBAAoB,EAAE,MAAM,EAAE,kBAAkB,EAAE;QAC7D,EAAE,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,yBAAyB,EAAE;QACxE,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,mBAAmB,EAAE;QAC7D,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,mBAAmB,EAAE;KAC3D;IACD,IAAI,EAAE;QACJ,cAAc,EAAE,CAAC,QAAQ,CAAC;QAC1B,mBAAmB,EAAE,KAAK;QAC1B,mBAAmB,EAAE,IAAI;QACzB,OAAO,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;KACpF;IACD,KAAK,EAAE,gBAAgB;IACvB,WAAW,EAAE,iBAAiB;IAC9B,kBAAkB,EAAE,2BAA2B;CAChD,CAAC"}