@arcfoundry/core 0.1.2

package/dist/verification-workflow/stages.js

@@ -0,0 +1,35 @@
+import { adrArtifactSpecs } from "./adr-stage-content.js";
+import { ArtifactRunWriter } from "../artifacts/run-writer.js";
+import { designPlanArtifactSpecs } from "./design-stage-content.js";
+import { intakeDiscoveryArtifactSpecs } from "./intake-stage-content.js";
+export function verificationWorkflowStages(context, options) {
+    return new VerificationWorkflowStages(context, options);
+}
+export class VerificationWorkflowStages {
+    context;
+    options;
+    writer;
+    constructor(context, options) {
+        this.context = context;
+        this.options = options;
+        this.writer = new ArtifactRunWriter({
+            artifactDir: context.paths.artifactDir,
+            options,
+            runtime: "opencode",
+            sink: context,
+        });
+    }
+    async writeIntakeAndDiscovery() {
+        await this.writeStageArtifacts(intakeDiscoveryArtifactSpecs(this.context, this.options));
+    }
+    async writeAdr() {
+        await this.writeStageArtifacts(adrArtifactSpecs(this.context));
+    }
+    async writeDesignAndPlan() {
+        await this.writeStageArtifacts(designPlanArtifactSpecs(this.context));
+    }
+    async writeStageArtifacts(specs) {
+        await this.writer.writeMany(specs);
+    }
+}
+//# sourceMappingURL=stages.js.map

package/dist/verification-workflow/stages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stages.js","sourceRoot":"","sources":["../../src/verification-workflow/stages.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AAEpE,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAGzE,MAAM,UAAU,0BAA0B,CACxC,OAA+B,EAC/B,OAA8B;IAE9B,OAAO,IAAI,0BAA0B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,OAAO,0BAA0B;IAIlB;IACA;IAJF,MAAM,CAAoB;IAE3C,YACmB,OAA+B,EAC/B,OAA8B;QAD9B,YAAO,GAAP,OAAO,CAAwB;QAC/B,YAAO,GAAP,OAAO,CAAuB;QAE/C,IAAI,CAAC,MAAM,GAAG,IAAI,iBAAiB,CAAC;YAClC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,WAAW;YACtC,OAAO;YACP,OAAO,EAAE,UAAU;YACnB,IAAI,EAAE,OAAO;SACd,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,uBAAuB;QAC3B,MAAM,IAAI,CAAC,mBAAmB,CAAC,4BAA4B,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3F,CAAC;IAED,KAAK,CAAC,QAAQ;QACZ,MAAM,IAAI,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,KAAK,CAAC,kBAAkB;QACtB,MAAM,IAAI,CAAC,mBAAmB,CAAC,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACxE,CAAC;IAEO,KAAK,CAAC,mBAAmB,CAAC,KAAiC;QACjE,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;CACF"}

package/dist/verification-workflow/types.d.ts

@@ -0,0 +1,44 @@
+export declare const verificationLevels: readonly ["simple-ui", "interactive-ui", "data-driven", "auth-sensitive", "existing-project"];
+export type VerificationLevel = (typeof verificationLevels)[number];
+export type VerificationProfile = {
+    readonly projectType: VerificationLevel;
+    readonly normalizedIntent: string;
+    readonly clientProblem: string;
+    readonly clarifiedScope: readonly string[];
+    readonly outOfScope: readonly string[];
+    readonly acceptanceCriteria: readonly string[];
+    readonly adrDecision: string;
+    readonly architecture: string;
+    readonly planSlices: readonly string[];
+    readonly tasks: readonly VerificationTask[];
+    readonly implementationSummary: string;
+    readonly unitChecks: readonly string[];
+    readonly integrationChecks: readonly string[];
+    readonly browserChecks: readonly string[];
+    readonly browserScenarioName: string;
+    readonly browserSteps: readonly string[];
+    readonly browserAssertions: readonly string[];
+    readonly securityConcerns: readonly string[];
+    readonly accessibilityChecks: readonly string[];
+    readonly performanceChecks: readonly string[];
+    readonly deliverySummary: string;
+    readonly memoryCandidateTitle: string;
+    readonly remainingWeaknesses: readonly string[];
+    readonly improvementsRequired: readonly string[];
+    writeProject(repoRoot: string): Promise<{
+        packageName: string;
+        playwrightConfig: string;
+        changedPaths: string[];
+    }>;
+};
+export type VerificationTask = {
+    readonly id: string;
+    readonly owner: string;
+    readonly description: string;
+    readonly dependsOn?: readonly string[];
+    readonly parallelGroup?: string | null;
+    readonly autonomy?: {
+        readonly fileSelection?: "agent-decides" | "restricted";
+        readonly commandSelection?: "agent-decides" | "intent-guided";
+    };
+};

package/dist/verification-workflow/types.js

@@ -0,0 +1,8 @@
+export const verificationLevels = [
+    "simple-ui",
+    "interactive-ui",
+    "data-driven",
+    "auth-sensitive",
+    "existing-project",
+];
+//# sourceMappingURL=types.js.map

package/dist/verification-workflow/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/verification-workflow/types.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,WAAW;IACX,gBAAgB;IAChB,aAAa;IACb,gBAAgB;IAChB,kBAAkB;CACV,CAAC"}

package/dist/verification-workflow/workflow-phases.d.ts

@@ -0,0 +1,16 @@
+import { type VerificationDeliveryResult } from "./delivery-pipeline.js";
+import { type AgencyWorkflowOptions, type VerificationRunContext } from "./execution-types.js";
+export type VerificationGovernanceStatus = "continue" | "blocked";
+export interface VerificationWorkflowLifecycle {
+    createContext(options: AgencyWorkflowOptions): Promise<VerificationRunContext>;
+    writeGovernance(context: VerificationRunContext, options: AgencyWorkflowOptions): Promise<VerificationGovernanceStatus>;
+    executeDelivery(context: VerificationRunContext, options: AgencyWorkflowOptions): Promise<VerificationDeliveryResult>;
+    writeAgentMatrix(context: VerificationRunContext): Promise<void>;
+}
+export declare function verificationWorkflowLifecycle(): VerificationWorkflowLifecycle;
+export declare class DefaultVerificationWorkflowLifecycle implements VerificationWorkflowLifecycle {
+    createContext(options: AgencyWorkflowOptions): Promise<VerificationRunContext>;
+    writeGovernance(context: VerificationRunContext, options: AgencyWorkflowOptions): Promise<VerificationGovernanceStatus>;
+    executeDelivery(context: VerificationRunContext, options: AgencyWorkflowOptions): Promise<VerificationDeliveryResult>;
+    writeAgentMatrix(context: VerificationRunContext): Promise<void>;
+}

package/dist/verification-workflow/workflow-phases.js

@@ -0,0 +1,25 @@
+import { writeVerificationAgentMatrix } from "./agent-matrix.js";
+import { VerificationDeliveryPipeline, } from "./delivery-pipeline.js";
+import { createVerificationRunContext } from "./run-context.js";
+import { verificationWorkflowStages } from "./stages.js";
+export function verificationWorkflowLifecycle() {
+    return new DefaultVerificationWorkflowLifecycle();
+}
+export class DefaultVerificationWorkflowLifecycle {
+    async createContext(options) {
+        return createVerificationRunContext(options);
+    }
+    async writeGovernance(context, options) {
+        const stages = verificationWorkflowStages(context, options);
+        await stages.writeIntakeAndDiscovery();
+        await stages.writeAdr();
+        return context.conflicts.length > 0 ? "blocked" : "continue";
+    }
+    async executeDelivery(context, options) {
+        return new VerificationDeliveryPipeline(context, options).execute();
+    }
+    async writeAgentMatrix(context) {
+        await writeVerificationAgentMatrix(context);
+    }
+}
+//# sourceMappingURL=workflow-phases.js.map

package/dist/verification-workflow/workflow-phases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-phases.js","sourceRoot":"","sources":["../../src/verification-workflow/workflow-phases.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAC;AACjE,OAAO,EACL,4BAA4B,GAE7B,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,4BAA4B,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAC;AAiBzD,MAAM,UAAU,6BAA6B;IAC3C,OAAO,IAAI,oCAAoC,EAAE,CAAC;AACpD,CAAC;AAED,MAAM,OAAO,oCAAoC;IAC/C,KAAK,CAAC,aAAa,CAAC,OAA8B;QAChD,OAAO,4BAA4B,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,KAAK,CAAC,eAAe,CACnB,OAA+B,EAC/B,OAA8B;QAE9B,MAAM,MAAM,GAAG,0BAA0B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC5D,MAAM,MAAM,CAAC,uBAAuB,EAAE,CAAC;QACvC,MAAM,MAAM,CAAC,QAAQ,EAAE,CAAC;QACxB,OAAO,OAAO,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IAC/D,CAAC;IAED,KAAK,CAAC,eAAe,CACnB,OAA+B,EAC/B,OAA8B;QAE9B,OAAO,IAAI,4BAA4B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;IACtE,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,OAA+B;QACpD,MAAM,4BAA4B,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC;CACF"}

package/dist/verification-workflow/workflow-result.d.ts

@@ -0,0 +1,2 @@
+import { type AgencyWorkflowResult, type VerificationRunContext } from "./execution-types.js";
+export declare function verificationWorkflowResult(context: VerificationRunContext, status: AgencyWorkflowResult["status"]): AgencyWorkflowResult;

package/dist/verification-workflow/workflow-result.js

@@ -0,0 +1,9 @@
+export function verificationWorkflowResult(context, status) {
+    return {
+        runDir: context.paths.runDir,
+        artifacts: context.artifacts,
+        commands: context.commands,
+        status,
+    };
+}
+//# sourceMappingURL=workflow-result.js.map

package/dist/verification-workflow/workflow-result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-result.js","sourceRoot":"","sources":["../../src/verification-workflow/workflow-result.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,0BAA0B,CACxC,OAA+B,EAC/B,MAAsC;IAEtC,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM;QAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,MAAM;KACP,CAAC;AACJ,CAAC"}

package/dist/workflow-contract/artifact-type-list-parser.d.ts

@@ -0,0 +1,2 @@
+import { type ArtifactType } from "@arcfoundry/schemas";
+export declare function optionalArtifactTypesField(record: Record<string, unknown>, key: string, source: string): ArtifactType[];

package/dist/workflow-contract/artifact-type-list-parser.js

@@ -0,0 +1,13 @@
+import { artifactTypes } from "@arcfoundry/schemas";
+import { optionalStringArrayField } from "../contract-parsing/primitives.js";
+const artifactTypeSet = new Set(artifactTypes);
+export function optionalArtifactTypesField(record, key, source) {
+    const values = optionalStringArrayField(record, key, source) ?? [];
+    for (const value of values) {
+        if (!artifactTypeSet.has(value)) {
+            throw new Error(`${source} field ${key} contains unknown artifact type ${value}`);
+        }
+    }
+    return values;
+}
+//# sourceMappingURL=artifact-type-list-parser.js.map

package/dist/workflow-contract/artifact-type-list-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifact-type-list-parser.js","sourceRoot":"","sources":["../../src/workflow-contract/artifact-type-list-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAqB,MAAM,qBAAqB,CAAC;AACvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAE7E,MAAM,eAAe,GAAG,IAAI,GAAG,CAAS,aAAa,CAAC,CAAC;AAEvD,MAAM,UAAU,0BAA0B,CACxC,MAA+B,EAC/B,GAAW,EACX,MAAc;IAEd,MAAM,MAAM,GAAG,wBAAwB,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;IACnE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,UAAU,GAAG,mCAAmC,KAAK,EAAE,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,OAAO,MAAwB,CAAC;AAClC,CAAC"}

package/dist/workflow-contract/dependencies.d.ts

@@ -0,0 +1,6 @@
+import { type OpenCodeStageName } from "../opencode-runtime/stage-policy.js";
+import { type WorkflowStageContract } from "./types.js";
+export type WorkflowStageDraft = Omit<WorkflowStageContract, "dependsOn"> & {
+    dependsOn: OpenCodeStageName[] | null;
+};
+export declare function applyWorkflowStageDependencies(stages: WorkflowStageDraft[], source: string): WorkflowStageContract[];

package/dist/workflow-contract/dependencies.js

@@ -0,0 +1,22 @@
+import { openCodeStageNames } from "../opencode-runtime/stage-policy.js";
+export function applyWorkflowStageDependencies(stages, source) {
+    const stageNames = new Set(stages.map((stage) => stage.stage));
+    return stages.map((stage, index) => {
+        const dependsOn = stage.dependsOn ?? implicitDependency(stages, index);
+        validateDependencies(stage.stage, dependsOn, stageNames, source);
+        return { ...stage, dependsOn };
+    });
+}
+function implicitDependency(stages, index) {
+    return index === 0 ? [] : [stages[index - 1].stage];
+}
+function validateDependencies(stage, dependencies, stageNames, source) {
+    for (const dependency of dependencies) {
+        if (dependency === stage)
+            throw new Error(`${source} stage ${stage} depends on itself`);
+        if (!openCodeStageNames.includes(dependency) || !stageNames.has(dependency)) {
+            throw new Error(`${source} stage ${stage} depends on unknown stage ${dependency}`);
+        }
+    }
+}
+//# sourceMappingURL=dependencies.js.map

package/dist/workflow-contract/dependencies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependencies.js","sourceRoot":"","sources":["../../src/workflow-contract/dependencies.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAA0B,MAAM,qCAAqC,CAAC;AAOjG,MAAM,UAAU,8BAA8B,CAC5C,MAA4B,EAC5B,MAAc;IAEd,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/D,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACjC,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,IAAI,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACvE,oBAAoB,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QACjE,OAAO,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,MAA4B,EAAE,KAAa;IACrE,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAwB,EACxB,YAAiC,EACjC,UAAkC,EAClC,MAAc;IAEd,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;QACtC,IAAI,UAAU,KAAK,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,UAAU,KAAK,oBAAoB,CAAC,CAAC;QACxF,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5E,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,UAAU,KAAK,6BAA6B,UAAU,EAAE,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/workflow-contract/loader.d.ts

@@ -0,0 +1,2 @@
+import { type WorkflowContract } from "./types.js";
+export declare function loadWorkflowContract(repoRoot: string): Promise<WorkflowContract>;

package/dist/workflow-contract/loader.js

@@ -0,0 +1,20 @@
+import { readFile } from "node:fs/promises";
+import { defaultWorkflowContract } from "../system-contracts/defaults.js";
+import { workflowContractPath } from "./path.js";
+import { parseWorkflowContract } from "./parser.js";
+export async function loadWorkflowContract(repoRoot) {
+    const contractPath = workflowContractPath(repoRoot);
+    try {
+        const raw = await readFile(contractPath, "utf8");
+        return parseWorkflowContract(JSON.parse(raw), contractPath);
+    }
+    catch (error) {
+        if (!isMissingFile(error))
+            throw error;
+        return parseWorkflowContract(defaultWorkflowContract, "embedded default workflow contract");
+    }
+}
+function isMissingFile(error) {
+    return typeof error === "object" && error !== null && "code" in error && error.code === "ENOENT";
+}
+//# sourceMappingURL=loader.js.map

package/dist/workflow-contract/loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loader.js","sourceRoot":"","sources":["../../src/workflow-contract/loader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAGpD,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,QAAgB;IACzD,MAAM,YAAY,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QACjD,OAAO,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,YAAY,CAAC,CAAC;IAC9D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;YAAE,MAAM,KAAK,CAAC;QACvC,OAAO,qBAAqB,CAAC,uBAAuB,EAAE,oCAAoC,CAAC,CAAC;IAC9F,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;AACnG,CAAC"}

package/dist/workflow-contract/parser.d.ts

@@ -0,0 +1,2 @@
+import { type WorkflowContract } from "./types.js";
+export declare function parseWorkflowContract(value: unknown, source?: string): WorkflowContract;

package/dist/workflow-contract/parser.js

@@ -0,0 +1,12 @@
+import { asRecord, stringField } from "../contract-parsing/primitives.js";
+import { parseWorkflowStages } from "./stage-parser.js";
+export function parseWorkflowContract(value, source = "workflow contract") {
+    const contract = asRecord(value, source);
+    return {
+        schemaVersion: stringField(contract, "schemaVersion", source),
+        workflowId: stringField(contract, "workflowId", source),
+        description: stringField(contract, "description", source),
+        stages: parseWorkflowStages(contract.stages, source),
+    };
+}
+//# sourceMappingURL=parser.js.map

package/dist/workflow-contract/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/workflow-contract/parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAGxD,MAAM,UAAU,qBAAqB,CACnC,KAAc,EACd,MAAM,GAAG,mBAAmB;IAE5B,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACzC,OAAO;QACL,aAAa,EAAE,WAAW,CAAC,QAAQ,EAAE,eAAe,EAAE,MAAM,CAAC;QAC7D,UAAU,EAAE,WAAW,CAAC,QAAQ,EAAE,YAAY,EAAE,MAAM,CAAC;QACvD,WAAW,EAAE,WAAW,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,CAAC;QACzD,MAAM,EAAE,mBAAmB,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACrD,CAAC;AACJ,CAAC"}

package/dist/workflow-contract/path.d.ts

@@ -0,0 +1 @@
+export declare function workflowContractPath(repoRoot: string): string;

package/dist/workflow-contract/path.js

@@ -0,0 +1,5 @@
+import path from "node:path";
+export function workflowContractPath(repoRoot) {
+    return path.join(repoRoot, "docs", "agency", "workflow.contract.json");
+}
+//# sourceMappingURL=path.js.map

package/dist/workflow-contract/path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"path.js","sourceRoot":"","sources":["../../src/workflow-contract/path.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,MAAM,UAAU,oBAAoB,CAAC,QAAgB;IACnD,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,wBAAwB,CAAC,CAAC;AACzE,CAAC"}

package/dist/workflow-contract/stage-dependency-parser.d.ts

@@ -0,0 +1,2 @@
+import { type OpenCodeStageName } from "../opencode-runtime/stage-policy.js";
+export declare function parseDependsOn(record: Record<string, unknown>, source: string): OpenCodeStageName[] | null;

package/dist/workflow-contract/stage-dependency-parser.js

@@ -0,0 +1,6 @@
+import { enumValue, optionalStringArrayField } from "../contract-parsing/primitives.js";
+import { openCodeStageNames } from "../opencode-runtime/stage-policy.js";
+export function parseDependsOn(record, source) {
+    return (optionalStringArrayField(record, "dependsOn", source)?.map((stage) => enumValue(stage, openCodeStageNames, `${source} dependsOn`)) ?? null);
+}
+//# sourceMappingURL=stage-dependency-parser.js.map

package/dist/workflow-contract/stage-dependency-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stage-dependency-parser.js","sourceRoot":"","sources":["../../src/workflow-contract/stage-dependency-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AACxF,OAAO,EAAE,kBAAkB,EAA0B,MAAM,qCAAqC,CAAC;AAEjG,MAAM,UAAU,cAAc,CAC5B,MAA+B,EAC/B,MAAc;IAEd,OAAO,CACL,wBAAwB,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACnE,SAAS,CAAC,KAAK,EAAE,kBAAkB,EAAE,GAAG,MAAM,YAAY,CAAC,CAC5D,IAAI,IAAI,CACV,CAAC;AACJ,CAAC"}

package/dist/workflow-contract/stage-parser.d.ts

@@ -0,0 +1,2 @@
+import { type WorkflowStageContract } from "./types.js";
+export declare function parseWorkflowStages(value: unknown, source: string): WorkflowStageContract[];

package/dist/workflow-contract/stage-parser.js

@@ -0,0 +1,43 @@
+import { agentRoles, artifactTypes } from "@arcfoundry/schemas";
+import { asRecord, enumField, stringField } from "../contract-parsing/primitives.js";
+import { openCodeStageNames, } from "../opencode-runtime/stage-policy.js";
+import { optionalArtifactTypesField } from "./artifact-type-list-parser.js";
+import { applyWorkflowStageDependencies } from "./dependencies.js";
+import { parseDependsOn } from "./stage-dependency-parser.js";
+const workflowAgentRoles = agentRoles.filter((role) => role !== "Verification Agent");
+const opencodeAgentNames = ["general", "build"];
+export function parseWorkflowStages(value, source) {
+    if (!Array.isArray(value) || value.length === 0) {
+        throw new Error(`${source} must define a non-empty stages array`);
+    }
+    const seen = new Set();
+    const stages = value.map((stageValue, index) => parseWorkflowStage(stageValue, {
+        source: `${source} stages[${index}]`,
+        seen,
+        contractSource: source,
+    }));
+    return applyWorkflowStageDependencies(stages, source);
+}
+function parseWorkflowStage(value, context) {
+    const stageRecord = asRecord(value, context.source);
+    const stage = enumField(stageRecord, "stage", openCodeStageNames, context.source);
+    const artifactType = enumField(stageRecord, "artifactType", artifactTypes, context.source);
+    const additionalArtifactTypes = optionalArtifactTypesField(stageRecord, "additionalArtifactTypes", context.source);
+    const agent = enumField(stageRecord, "agent", workflowAgentRoles, context.source);
+    const opencodeAgent = enumField(stageRecord, "opencodeAgent", opencodeAgentNames, context.source);
+    const dependsOn = parseDependsOn(stageRecord, context.source);
+    const instruction = stringField(stageRecord, "instruction", context.source);
+    if (context.seen.has(stage))
+        throw new Error(`${context.contractSource} repeats stage ${stage}`);
+    context.seen.add(stage);
+    return {
+        stage,
+        artifactType,
+        additionalArtifactTypes,
+        agent,
+        opencodeAgent,
+        dependsOn,
+        instruction,
+    };
+}
+//# sourceMappingURL=stage-parser.js.map

package/dist/workflow-contract/stage-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stage-parser.js","sourceRoot":"","sources":["../../src/workflow-contract/stage-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,aAAa,EAAkB,MAAM,qBAAqB,CAAC;AAChF,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AACrF,OAAO,EACL,kBAAkB,GAGnB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,8BAA8B,EAA2B,MAAM,mBAAmB,CAAC;AAC5F,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAE9D,MAAM,kBAAkB,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,oBAAoB,CAEnF,CAAC;AACF,MAAM,kBAAkB,GAAG,CAAC,SAAS,EAAE,OAAO,CAAiD,CAAC;AAChG,MAAM,UAAU,mBAAmB,CAAC,KAAc,EAAE,MAAc;IAChE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,uCAAuC,CAAC,CAAC;IACpE,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,CAC7C,kBAAkB,CAAC,UAAU,EAAE;QAC7B,MAAM,EAAE,GAAG,MAAM,WAAW,KAAK,GAAG;QACpC,IAAI;QACJ,cAAc,EAAE,MAAM;KACvB,CAAC,CACH,CAAC;IACF,OAAO,8BAA8B,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AACxD,CAAC;AACD,SAAS,kBAAkB,CACzB,KAAc,EACd,OAIC;IAED,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAClF,MAAM,YAAY,GAAG,SAAS,CAAC,WAAW,EAAE,cAAc,EAAE,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3F,MAAM,uBAAuB,GAAG,0BAA0B,CACxD,WAAW,EACX,yBAAyB,EACzB,OAAO,CAAC,MAAM,CACf,CAAC;IACF,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAClF,MAAM,aAAa,GAAG,SAAS,CAAC,WAAW,EAAE,eAAe,EAAE,kBAAkB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAClG,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9D,MAAM,WAAW,GAAG,WAAW,CAAC,WAAW,EAAE,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAE5E,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,CAAC,cAAc,kBAAkB,KAAK,EAAE,CAAC,CAAC;IACjG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAExB,OAAO;QACL,KAAK;QACL,YAAY;QACZ,uBAAuB;QACvB,KAAK;QACL,aAAa;QACb,SAAS;QACT,WAAW;KACZ,CAAC;AACJ,CAAC"}

package/dist/workflow-contract/types.d.ts

@@ -0,0 +1,17 @@
+import { type AgentRole, type ArtifactType } from "@arcfoundry/schemas";
+import { type OpenCodeAgentName, type OpenCodeStageName } from "../opencode-runtime/stage-policy.js";
+export type WorkflowStageContract = {
+    stage: OpenCodeStageName;
+    artifactType: ArtifactType;
+    additionalArtifactTypes: ArtifactType[];
+    agent: Exclude<AgentRole, "Verification Agent">;
+    opencodeAgent: OpenCodeAgentName;
+    dependsOn: OpenCodeStageName[];
+    instruction: string;
+};
+export type WorkflowContract = {
+    schemaVersion: string;
+    workflowId: string;
+    description: string;
+    stages: WorkflowStageContract[];
+};

package/dist/workflow-contract/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/workflow-contract/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/workflow-contract/types.ts"],"names":[],"mappings":""}

package/dist/workflow-contract.d.ts

@@ -0,0 +1,3 @@
+export { loadWorkflowContract } from "./workflow-contract/loader.js";
+export { parseWorkflowContract } from "./workflow-contract/parser.js";
+export { type WorkflowContract, type WorkflowStageContract } from "./workflow-contract/types.js";

package/dist/workflow-contract.js

@@ -0,0 +1,3 @@
+export { loadWorkflowContract } from "./workflow-contract/loader.js";
+export { parseWorkflowContract } from "./workflow-contract/parser.js";
+//# sourceMappingURL=workflow-contract.js.map

package/dist/workflow-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-contract.js","sourceRoot":"","sources":["../src/workflow-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC"}

package/dist/workflow-orchestration/governed-workflow.d.ts

@@ -0,0 +1,15 @@
+export type GovernanceDecision = "continue" | "blocked";
+export interface GovernedWorkflowHooks<Options, Context, Delivery, Status extends string, Result> {
+    createContext(options: Options): Promise<Context>;
+    evaluateGovernance(context: Context, options: Options): Promise<GovernanceDecision>;
+    executeDelivery(context: Context, options: Options): Promise<Delivery>;
+    finalizeDelivery(context: Context, delivery: Delivery, options: Options): Promise<void>;
+    blockedStatus(context: Context, options: Options): Status;
+    deliveredStatus(delivery: Delivery, context: Context, options: Options): Status;
+    result(context: Context, status: Status, options: Options): Result;
+}
+export declare class GovernedWorkflow<Options, Context, Delivery, Status extends string, Result> {
+    private readonly hooks;
+    constructor(hooks: GovernedWorkflowHooks<Options, Context, Delivery, Status, Result>);
+    execute(options: Options): Promise<Result>;
+}

package/dist/workflow-orchestration/governed-workflow.js

@@ -0,0 +1,17 @@
+export class GovernedWorkflow {
+    hooks;
+    constructor(hooks) {
+        this.hooks = hooks;
+    }
+    async execute(options) {
+        const context = await this.hooks.createContext(options);
+        const governance = await this.hooks.evaluateGovernance(context, options);
+        if (governance === "blocked") {
+            return this.hooks.result(context, this.hooks.blockedStatus(context, options), options);
+        }
+        const delivery = await this.hooks.executeDelivery(context, options);
+        await this.hooks.finalizeDelivery(context, delivery, options);
+        return this.hooks.result(context, this.hooks.deliveredStatus(delivery, context, options), options);
+    }
+}
+//# sourceMappingURL=governed-workflow.js.map

package/dist/workflow-orchestration/governed-workflow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"governed-workflow.js","sourceRoot":"","sources":["../../src/workflow-orchestration/governed-workflow.ts"],"names":[],"mappings":"AAYA,MAAM,OAAO,gBAAgB;IAER;IADnB,YACmB,KAAwE;QAAxE,UAAK,GAAL,KAAK,CAAmE;IACxF,CAAC;IAEJ,KAAK,CAAC,OAAO,CAAC,OAAgB;QAC5B,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACxD,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAEzE,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QACzF,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACpE,MAAM,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAE9D,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CACtB,OAAO,EACP,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,EACtD,OAAO,CACR,CAAC;IACJ,CAAC;CACF"}

package/dist/workflow.d.ts

@@ -0,0 +1,15 @@
+import { type AgencyWorkflowOptions, type AgencyWorkflowResult } from "./verification-workflow/execution-types.js";
+import { type VerificationWorkflowLifecycle } from "./verification-workflow/workflow-phases.js";
+export { verificationLevels } from "./verification-workflow/types.js";
+export type { VerificationLevel } from "./verification-workflow/types.js";
+export type { AgencyWorkflowOptions, AgencyWorkflowResult, } from "./verification-workflow/execution-types.js";
+export type VerificationAgencyWorkflowDependencies = {
+    lifecycle?: VerificationWorkflowLifecycle;
+};
+export declare class VerificationAgencyWorkflow {
+    private readonly options;
+    private readonly lifecycle;
+    constructor(options: AgencyWorkflowOptions, dependencies?: VerificationAgencyWorkflowDependencies);
+    execute(): Promise<AgencyWorkflowResult>;
+}
+export declare function runAgencyWorkflow(options: AgencyWorkflowOptions): Promise<AgencyWorkflowResult>;

package/dist/workflow.js

@@ -0,0 +1,28 @@
+import { verificationWorkflowLifecycle, } from "./verification-workflow/workflow-phases.js";
+import { verificationWorkflowResult } from "./verification-workflow/workflow-result.js";
+import { assessVerificationDelivery } from "./verification-workflow/delivery-readiness.js";
+import { GovernedWorkflow } from "./workflow-orchestration/governed-workflow.js";
+export { verificationLevels } from "./verification-workflow/types.js";
+export class VerificationAgencyWorkflow {
+    options;
+    lifecycle;
+    constructor(options, dependencies = {}) {
+        this.options = options;
+        this.lifecycle = dependencies.lifecycle ?? verificationWorkflowLifecycle();
+    }
+    async execute() {
+        return new GovernedWorkflow({
+            createContext: (options) => this.lifecycle.createContext(options),
+            evaluateGovernance: (context, options) => this.lifecycle.writeGovernance(context, options),
+            executeDelivery: (context, options) => this.lifecycle.executeDelivery(context, options),
+            finalizeDelivery: (context) => this.lifecycle.writeAgentMatrix(context),
+            blockedStatus: () => "failed",
+            deliveredStatus: (delivery) => assessVerificationDelivery(delivery).status,
+            result: verificationWorkflowResult,
+        }).execute(this.options);
+    }
+}
+export async function runAgencyWorkflow(options) {
+    return new VerificationAgencyWorkflow(options).execute();
+}
+//# sourceMappingURL=workflow.js.map

package/dist/workflow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow.js","sourceRoot":"","sources":["../src/workflow.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,6BAA6B,GAE9B,MAAM,4CAA4C,CAAC;AAEpD,OAAO,EAAE,0BAA0B,EAAE,MAAM,4CAA4C,CAAC;AACxF,OAAO,EAAE,0BAA0B,EAAE,MAAM,+CAA+C,CAAC;AAC3F,OAAO,EAAE,gBAAgB,EAAE,MAAM,+CAA+C,CAAC;AAGjF,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAWtE,MAAM,OAAO,0BAA0B;IAIlB;IAHF,SAAS,CAAgC;IAE1D,YACmB,OAA8B,EAC/C,eAAuD,EAAE;QADxC,YAAO,GAAP,OAAO,CAAuB;QAG/C,IAAI,CAAC,SAAS,GAAG,YAAY,CAAC,SAAS,IAAI,6BAA6B,EAAE,CAAC;IAC7E,CAAC;IAED,KAAK,CAAC,OAAO;QACX,OAAO,IAAI,gBAAgB,CAMzB;YACA,aAAa,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,OAAO,CAAC;YACjE,kBAAkB,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC;YAC1F,eAAe,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC;YACvF,gBAAgB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,OAAO,CAAC;YACvE,aAAa,EAAE,GAAG,EAAE,CAAC,QAAiB;YACtC,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,CAAC,MAAM;YAC1E,MAAM,EAAE,0BAA0B;SACnC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;CACF;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,OAA8B;IAE9B,OAAO,IAAI,0BAA0B,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;AAC3D,CAAC"}

package/package.json

@@ -0,0 +1,27 @@
+{
+  "name": "@arcfoundry/core",
+  "version": "0.1.2",
+  "description": "Core workflow, governance, artifact, and runtime primitives for Arc Foundry.",
+  "license": "UNLICENSED",
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "type": "module",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@opencode-ai/sdk": "^1.15.11",
+    "@arcfoundry/schemas": "0.1.2"
+  },
+  "engines": {
+    "node": "^24.11.0"
+  }
+}