@oscharko-dev/keiko-workflows 0.2.0

package/dist/unit-tests/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/unit-tests/types.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,gDAAgD,CAAC;AAC7F,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1E,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAChF,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAOjE,OAAO,KAAK,EACV,eAAe,EACf,cAAc,EACd,cAAc,EACf,MAAM,+BAA+B,CAAC;AAEvC,YAAY,EACV,cAAc,EACd,eAAe,EACf,cAAc,GACf,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAIxE,YAAY,EACV,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACZ,SAAS,EACT,gBAAgB,GACjB,MAAM,eAAe,CAAC;AAGvB,MAAM,MAAM,cAAc,GACtB;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC9C,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAI7E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAE1C,QAAQ,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;CACnD;AAID,MAAM,WAAW,qBAAqB;IAEpC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAIhC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAErC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAEzB,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,GAAG,SAAS,CAAC;CACvD;AAED,MAAM,WAAW,oBAAoB;IAEnC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAE1B,QAAQ,CAAC,EAAE,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAGtC,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,GAAG,SAAS,CAAC;IAE9C,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAErC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,MAAM,CAAC,GAAG,SAAS,CAAC;IAE1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,MAAM,CAAC,GAAG,SAAS,CAAC;IAE/C,QAAQ,CAAC,IAAI,CAAC,EAAE,iBAAiB,GAAG,SAAS,CAAC;IAE9C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,UAAU,GAAG,SAAS,CAAC;IAEpD,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAI1C,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,GAAG,SAAS,CAAC;IAGrD,QAAQ,CAAC,eAAe,CAAC,EAAE,sBAAsB,GAAG,SAAS,CAAC;CAC/D;AAID,MAAM,WAAW,aAAa;IAE5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAEzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAI5B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAI5C,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAG3C,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAGlD,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAG9C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAGxC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAExC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAG5C,QAAQ,CAAC,mBAAmB,CAAC,EAAE,wBAAwB,GAAG,SAAS,CAAC;IAGpE,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAGrD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAGhC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAKjC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;IAI3C,QAAQ,CAAC,YAAY,CAAC,EAAE,gBAAgB,GAAG,SAAS,CAAC;IAIrD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC1C"}

package/dist/unit-tests/types.js

@@ -0,0 +1,6 @@
+// All interfaces, type aliases, and frozen constant tables for the unit-test generation
+// workflow (ADR-0008 D2/D3/D7). No runtime logic lives here beyond the frozen tables the type
+// layer exposes as values, mirroring the ADR-0003/0004/0005/0006/0007 `types.ts` precedent.
+// `readonly` everywhere; optional props are `| undefined` because exactOptionalPropertyTypes
+// is on. Every report shape is plain JSON-serializable so the #10 audit ledger can persist it.
+export { DEFAULT_WORKFLOW_LIMITS } from "@oscharko-dev/keiko-contracts";

package/dist/unit-tests/verify-stage.d.ts

@@ -0,0 +1,10 @@
+import { type WorkspaceFs, type WorkspaceInfo } from "@oscharko-dev/keiko-workspace";
+import { type VerificationAuditSummary } from "@oscharko-dev/keiko-verification";
+import type { RunState } from "./internal.js";
+export declare const SKIP_UNRESOLVED = "verification skipped: framework unknown or no test files resolved";
+export interface VerificationOutcome {
+    readonly summary: VerificationAuditSummary | undefined;
+    readonly skipReason: string | undefined;
+}
+export declare function runWorkflowVerification(state: RunState, workspace: WorkspaceInfo, fs: WorkspaceFs): Promise<VerificationOutcome>;
+//# sourceMappingURL=verify-stage.d.ts.map

package/dist/unit-tests/verify-stage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-stage.d.ts","sourceRoot":"","sources":["../../src/unit-tests/verify-stage.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,aAAa,EAAE,MAAM,+BAA+B,CAAC;AACrF,OAAO,EAOL,KAAK,wBAAwB,EAE9B,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAG9C,eAAO,MAAM,eAAe,sEAAsE,CAAC;AAsCnG,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,wBAAwB,GAAG,SAAS,CAAC;IACvD,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;CACzC;AAED,wBAAsB,uBAAuB,CAC3C,KAAK,EAAE,QAAQ,EACf,SAAS,EAAE,aAAa,EACxB,EAAE,EAAE,WAAW,GACd,OAAO,CAAC,mBAAmB,CAAC,CAsB9B"}

package/dist/unit-tests/verify-stage.js

@@ -0,0 +1,56 @@
+// The verification stage (ADR-0008 D5, steering note C). Runs ONLY after a successful apply: it
+// resolves a verification plan by deriving the just-created test from the target SOURCE file(s) via
+// #7 resolveTargetedTests, falling back to the full `test` script, and records an explicit skip
+// reason when neither resolves or the framework is unknown. Verification reuses the #7 orchestrator
+// unchanged; this stage only wires the plan and projects an output-text-free audit summary.
+import { nodeSpawnFn } from "@oscharko-dev/keiko-tools/internal/exec";
+import {} from "@oscharko-dev/keiko-workspace";
+import { buildVerificationPlan, detectScripts, resolveTargetedTests, runVerification, summarizeForAudit, DEFAULT_VERIFICATION_LIMITS, } from "@oscharko-dev/keiko-verification";
+export const SKIP_UNRESOLVED = "verification skipped: framework unknown or no test files resolved";
+// The source files the target points at — passed to resolveTargetedTests so it can find the
+// just-created sibling/mirrored test (steering note C). Test files are NOT passed here.
+function targetSourceFiles(target) {
+    if (target.kind === "file") {
+        return [target.filePath];
+    }
+    if (target.kind === "changedFiles") {
+        return target.filePaths;
+    }
+    return [target.moduleDir];
+}
+function buildPlanFallback(workspace, fs) {
+    const catalog = detectScripts(workspace, fs);
+    return buildVerificationPlan(workspace, catalog, { only: ["test"] }, fs);
+}
+function resolveVerificationPlan(workspace, target, fs) {
+    const targeted = resolveTargetedTests(workspace, targetSourceFiles(target), fs, DEFAULT_VERIFICATION_LIMITS);
+    if (targeted.length > 0) {
+        return { workspaceRoot: workspace.root, steps: targeted };
+    }
+    const fallback = buildPlanFallback(workspace, fs);
+    const runnable = fallback.steps.filter((step) => step.skipReason === undefined);
+    return runnable.length > 0 ? { workspaceRoot: workspace.root, steps: runnable } : undefined;
+}
+export async function runWorkflowVerification(state, workspace, fs) {
+    const plan = resolveVerificationPlan(workspace, state.input.target, fs);
+    if (plan === undefined) {
+        return { summary: undefined, skipReason: SKIP_UNRESOLVED };
+    }
+    const report = await runVerification(plan, {
+        workspace,
+        signal: state.signal,
+        spawn: state.deps.spawn ?? nodeSpawnFn,
+        processEnv: state.deps.processEnv ?? process.env,
+        now: state.now,
+        fs,
+    });
+    const summary = summarizeForAudit(report);
+    state.emitter.emit({
+        type: "workflow:verification:result",
+        overallStatus: summary.overallStatus,
+        stepCount: summary.results.length,
+        passedCount: summary.results.filter((r) => r.status === "passed").length,
+        durationMs: summary.durationMs,
+    });
+    return { summary, skipReason: undefined };
+}

package/dist/unit-tests/workflow.d.ts

@@ -0,0 +1,3 @@
+import type { UnitTestWorkflowDeps, UnitTestWorkflowInput, UnitTestWorkflowReport } from "./types.js";
+export declare function generateUnitTests(input: UnitTestWorkflowInput, deps: UnitTestWorkflowDeps): Promise<UnitTestWorkflowReport>;
+//# sourceMappingURL=workflow.d.ts.map

package/dist/unit-tests/workflow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow.d.ts","sourceRoot":"","sources":["../../src/unit-tests/workflow.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EACV,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,EACvB,MAAM,YAAY,CAAC;AAwCpB,wBAAsB,iBAAiB,CACrC,KAAK,EAAE,qBAAqB,EAC5B,IAAI,EAAE,oBAAoB,GACzB,OAAO,CAAC,sBAAsB,CAAC,CAYjC"}

package/dist/unit-tests/workflow.js

@@ -0,0 +1,69 @@
+// The single public entry: generateUnitTests (ADR-0008 D2/D5/D6). A deterministic linear pipeline
+// (NOT the harness loop): intake -> detect -> context -> conventions -> [prompt -> model -> parse ->
+// validate -> production-guard] (bounded retries) -> [dry-run | apply -> verify] -> report. It
+// composes #3-#7 UNCHANGED and emits redacted progress events. The model loop, verify stage, and
+// report stages live in sibling files to keep each under the LOC limit; this file owns only the
+// stage sequencing and the single top-level catch boundary that maps an unexpected IO failure to a
+// redacted "failed" report (and a CancelledError to a "cancelled" report).
+import { CancelledError } from "@oscharko-dev/keiko-model-gateway";
+import { detectWorkspace } from "@oscharko-dev/keiko-workspace";
+import { nodeWorkspaceFs } from "@oscharko-dev/keiko-workspace/internal/fs";
+import { buildTestGenContext } from "./context.js";
+import { detectConventions } from "./conventions.js";
+import { computeFingerprint } from "./emit.js";
+import { runModelLoop } from "./model-loop.js";
+import { resolveTestStrategy } from "./strategy.js";
+import { cancelledReport, emitCompleted, failedReport, finishPipeline, unsupportedReport, } from "./stages.js";
+import { buildRunState, EMPTY_LOOP } from "./internal.js";
+import { assertTargetWithinWorkspace } from "./target-guard.js";
+async function runPipeline(state) {
+    const fs = state.deps.fs ?? nodeWorkspaceFs;
+    const workspace = detectWorkspace(state.input.workspaceRoot, fs);
+    state.emitter.emit({
+        type: "workflow:started",
+        workflowId: "unit-test-generation",
+        modelId: state.input.modelId,
+        applyEnabled: state.input.apply === true,
+        limits: state.limits,
+    });
+    // Issue #641: enforce workspace containment on the input target before context selection so
+    // escaped, denied, or symlink-escape paths fail closed with modelCallCount=0 and no model call.
+    assertTargetWithinWorkspace(workspace, state.input.target, fs);
+    const pack = buildTestGenContext(workspace, state.input, state.limits, { fs });
+    const conventions = detectConventions(workspace, pack);
+    state.emitter.emit({
+        type: "conventions:detected",
+        framework: conventions.framework,
+        testDirs: conventions.testDirs,
+        fileNamingStyle: conventions.fileNamingStyle,
+    });
+    state.emitter.emit({
+        type: "context:selected",
+        entryCount: pack.selected.length,
+        usedBytes: pack.usedBytes,
+        budgetBytes: pack.budgetBytes,
+        droppedForBudget: pack.droppedForBudget,
+    });
+    // Convention-driven test-style selection (Issue #1203). An unsupported frontend stack short-circuits
+    // here with a reviewable limitation and NO model call (AC5: no fabricated test).
+    const strategy = resolveTestStrategy(workspace, state.input.target, conventions, pack, fs);
+    if (strategy.style === "unsupported") {
+        return unsupportedReport(state, strategy);
+    }
+    const loop = await runModelLoop(state, workspace, conventions, strategy, pack);
+    return finishPipeline(state, workspace, loop, strategy);
+}
+export async function generateUnitTests(input, deps) {
+    const state = buildRunState(input, deps, computeFingerprint(input.target, input.modelId));
+    let report;
+    try {
+        report = await runPipeline(state);
+    }
+    catch (error) {
+        report =
+            error instanceof CancelledError
+                ? cancelledReport(state, EMPTY_LOOP, undefined)
+                : failedReport(state, error);
+    }
+    return emitCompleted(state, report);
+}

package/package.json

@@ -0,0 +1,38 @@
+{
+  "name": "@oscharko-dev/keiko-workflows",
+  "version": "0.2.0",
+  "type": "module",
+  "license": "Apache-2.0",
+  "description": "Internal workflows package: reviewable developer-assist workflows (unit-test generation, bug investigation), prompts/parsers/guards/report rendering, apply-mode verification gating, and UI descriptors (ADR-0008 + ADR-0009 + ADR-0019). Not published independently.",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "scripts": {
+    "build": "tsc -b tsconfig.json",
+    "typecheck": "tsc -b tsconfig.json",
+    "test": "vitest run"
+  },
+  "files": [
+    "dist"
+  ],
+  "sideEffects": false,
+  "engines": {
+    "node": ">=22"
+  },
+  "dependencies": {
+    "@oscharko-dev/keiko-contracts": "0.2.0",
+    "@oscharko-dev/keiko-security": "0.2.0",
+    "@oscharko-dev/keiko-model-gateway": "0.2.0",
+    "@oscharko-dev/keiko-workspace": "0.2.0",
+    "@oscharko-dev/keiko-tools": "0.2.0",
+    "@oscharko-dev/keiko-evidence": "0.2.0",
+    "@oscharko-dev/keiko-verification": "0.2.0",
+    "@oscharko-dev/keiko-harness": "0.2.0",
+    "@oscharko-dev/keiko-quality-intelligence": "0.2.0"
+  }
+}