@oisincoveney/pipeline 3.24.2 → 3.24.3

package/dist/schedule/baseline.js

@@ -1,6 +1,253 @@
 //#region src/schedule/baseline.ts
 const SCHEDULE_KIND = "pipeline-schedule";
-function baselineScheduleArtifact(input) {
+const quickBaselineWorkflow = () => ({ root: {
+	description: "Compact generated quick schedule seed.",
+	nodes: [
+		{
+			id: "backlog-intake",
+			kind: "agent",
+			profile: "moka-researcher"
+		},
+		{
+			id: "red-tests",
+			kind: "agent",
+			needs: ["backlog-intake"],
+			profile: "moka-test-writer"
+		},
+		{
+			id: "implement",
+			kind: "agent",
+			needs: ["red-tests"],
+			profile: "moka-code-writer"
+		},
+		{
+			builtin: "test",
+			id: "mechanical-tests",
+			kind: "builtin",
+			needs: ["implement"]
+		},
+		{
+			builtin: "typecheck",
+			id: "mechanical-typecheck",
+			kind: "builtin",
+			needs: ["implement"]
+		},
+		{
+			gates: [
+				{
+					builtin: "typecheck",
+					id: "verify-typecheck",
+					kind: "builtin"
+				},
+				{
+					builtin: "test",
+					id: "verify-tests",
+					kind: "builtin"
+				},
+				{
+					builtin: "lint",
+					id: "verify-lint",
+					kind: "builtin"
+				},
+				{
+					builtin: "fallow",
+					id: "verify-fallow",
+					kind: "builtin"
+				},
+				{
+					id: "verify-verdict",
+					kind: "verdict",
+					target: "stdout"
+				}
+			],
+			id: "verify",
+			kind: "agent",
+			needs: ["mechanical-tests", "mechanical-typecheck"],
+			profile: "moka-verifier"
+		}
+	]
+} });
+const executeBaselineWorkflow = () => ({ root: {
+	description: "Full generated execute schedule seed.",
+	nodes: [
+		{
+			id: "backlog-intake",
+			kind: "agent",
+			profile: "moka-researcher"
+		},
+		{
+			id: "research",
+			kind: "agent",
+			needs: ["backlog-intake"],
+			profile: "moka-researcher"
+		},
+		{
+			gates: [{
+				changed_files: {
+					allow: [
+						"**/*.test.*",
+						"**/*.spec.*",
+						"**/*_test.*",
+						"**/__tests__/**",
+						"test/**",
+						"tests/**",
+						"**/test/**",
+						"**/tests/**",
+						"**/*.snap"
+					],
+					require_any: [
+						"**/*.test.*",
+						"**/*.spec.*",
+						"**/*_test.*",
+						"**/__tests__/**",
+						"test/**",
+						"tests/**",
+						"**/test/**",
+						"**/tests/**"
+					]
+				},
+				id: "red-test-file-policy",
+				kind: "changed_files"
+			}],
+			id: "red-tests",
+			kind: "agent",
+			needs: ["research"],
+			profile: "moka-test-writer"
+		},
+		{
+			id: "green-implementation",
+			kind: "agent",
+			needs: ["red-tests"],
+			profile: "moka-code-writer"
+		},
+		{
+			builtin: "test",
+			id: "mechanical-green-tests",
+			kind: "builtin",
+			needs: ["green-implementation"]
+		},
+		{
+			builtin: "typecheck",
+			id: "mechanical-green-typecheck",
+			kind: "builtin",
+			needs: ["green-implementation"]
+		},
+		{
+			builtin: "lint",
+			id: "mechanical-green-lint",
+			kind: "builtin",
+			needs: ["green-implementation"]
+		},
+		{
+			builtin: "fallow",
+			id: "mechanical-green-fallow",
+			kind: "builtin",
+			needs: ["green-implementation"]
+		},
+		{
+			gates: [{
+				id: "acceptance-coverage",
+				kind: "acceptance",
+				required: false,
+				target: "stdout"
+			}, {
+				id: "acceptance-verdict",
+				kind: "verdict",
+				target: "stdout"
+			}],
+			id: "acceptance-review",
+			kind: "agent",
+			needs: [
+				"mechanical-green-tests",
+				"mechanical-green-typecheck",
+				"mechanical-green-lint",
+				"mechanical-green-fallow"
+			],
+			profile: "moka-acceptance-reviewer"
+		},
+		{
+			gates: [
+				{
+					builtin: "typecheck",
+					id: "verify-typecheck",
+					kind: "builtin"
+				},
+				{
+					builtin: "test",
+					id: "verify-tests",
+					kind: "builtin"
+				},
+				{
+					builtin: "lint",
+					id: "verify-lint",
+					kind: "builtin"
+				},
+				{
+					builtin: "fallow",
+					id: "verify-fallow",
+					kind: "builtin"
+				},
+				{
+					builtin: "semgrep",
+					id: "verify-semgrep",
+					kind: "builtin"
+				},
+				{
+					builtin: "duplication",
+					id: "verify-duplication",
+					kind: "builtin"
+				},
+				{
+					id: "verify-verdict",
+					kind: "verdict",
+					target: "stdout"
+				}
+			],
+			id: "verification",
+			kind: "agent",
+			needs: [
+				"mechanical-green-tests",
+				"mechanical-green-typecheck",
+				"mechanical-green-lint",
+				"mechanical-green-fallow"
+			],
+			profile: "moka-verifier"
+		},
+		{
+			id: "code-quality-review",
+			kind: "agent",
+			needs: [
+				"mechanical-green-tests",
+				"mechanical-green-typecheck",
+				"mechanical-green-lint",
+				"mechanical-green-fallow"
+			],
+			profile: "moka-thermo-nuclear-reviewer"
+		},
+		{
+			id: "learn",
+			kind: "agent",
+			needs: [
+				"acceptance-review",
+				"verification",
+				"code-quality-review"
+			],
+			profile: "moka-learner"
+		}
+	]
+} });
+const baselineWorkflows = (baseline, _config) => {
+	if (baseline === "quick") return {
+		rootWorkflow: "root",
+		workflows: quickBaselineWorkflow()
+	};
+	return {
+		rootWorkflow: "root",
+		workflows: executeBaselineWorkflow()
+	};
+};
+const defaultScheduleId = (date) => `run-${date.toISOString().replaceAll(/[-:.TZ]/gu, "").slice(0, 14)}`;
+const baselineScheduleArtifact = (input) => {
 	const scheduleId = input.runId ?? defaultScheduleId(input.generatedAt);
 	const baseline = baselineWorkflows(input.baseline, input.config);
 	return {
@@ -13,259 +260,6 @@ function baselineScheduleArtifact(input) {
 		version: 1,
 		workflows: baseline.workflows
 	};
-}
-function baselineWorkflows(baseline, _config) {
-	if (baseline === "quick") return {
-		rootWorkflow: "root",
-		workflows: quickBaselineWorkflow()
-	};
-	return {
-		rootWorkflow: "root",
-		workflows: executeBaselineWorkflow()
-	};
-}
-function quickBaselineWorkflow() {
-	return { root: {
-		description: "Compact generated quick schedule seed.",
-		nodes: [
-			{
-				id: "backlog-intake",
-				kind: "agent",
-				profile: "moka-researcher"
-			},
-			{
-				id: "red-tests",
-				kind: "agent",
-				needs: ["backlog-intake"],
-				profile: "moka-test-writer"
-			},
-			{
-				id: "implement",
-				kind: "agent",
-				needs: ["red-tests"],
-				profile: "moka-code-writer"
-			},
-			{
-				builtin: "test",
-				id: "mechanical-tests",
-				kind: "builtin",
-				needs: ["implement"]
-			},
-			{
-				builtin: "typecheck",
-				id: "mechanical-typecheck",
-				kind: "builtin",
-				needs: ["implement"]
-			},
-			{
-				gates: [
-					{
-						builtin: "typecheck",
-						id: "verify-typecheck",
-						kind: "builtin"
-					},
-					{
-						builtin: "test",
-						id: "verify-tests",
-						kind: "builtin"
-					},
-					{
-						builtin: "lint",
-						id: "verify-lint",
-						kind: "builtin"
-					},
-					{
-						builtin: "fallow",
-						id: "verify-fallow",
-						kind: "builtin"
-					},
-					{
-						kind: "verdict",
-						id: "verify-verdict",
-						target: "stdout"
-					}
-				],
-				id: "verify",
-				kind: "agent",
-				needs: ["mechanical-tests", "mechanical-typecheck"],
-				profile: "moka-verifier"
-			}
-		]
-	} };
-}
-function executeBaselineWorkflow() {
-	return { root: {
-		description: "Full generated execute schedule seed.",
-		nodes: [
-			{
-				id: "backlog-intake",
-				kind: "agent",
-				profile: "moka-researcher"
-			},
-			{
-				id: "research",
-				kind: "agent",
-				needs: ["backlog-intake"],
-				profile: "moka-researcher"
-			},
-			{
-				gates: [{
-					changed_files: {
-						allow: [
-							"**/*.test.*",
-							"**/*.spec.*",
-							"**/*_test.*",
-							"**/__tests__/**",
-							"test/**",
-							"tests/**",
-							"**/test/**",
-							"**/tests/**",
-							"**/*.snap"
-						],
-						require_any: [
-							"**/*.test.*",
-							"**/*.spec.*",
-							"**/*_test.*",
-							"**/__tests__/**",
-							"test/**",
-							"tests/**",
-							"**/test/**",
-							"**/tests/**"
-						]
-					},
-					id: "red-test-file-policy",
-					kind: "changed_files"
-				}],
-				id: "red-tests",
-				kind: "agent",
-				needs: ["research"],
-				profile: "moka-test-writer"
-			},
-			{
-				id: "green-implementation",
-				kind: "agent",
-				needs: ["red-tests"],
-				profile: "moka-code-writer"
-			},
-			{
-				builtin: "test",
-				id: "mechanical-green-tests",
-				kind: "builtin",
-				needs: ["green-implementation"]
-			},
-			{
-				builtin: "typecheck",
-				id: "mechanical-green-typecheck",
-				kind: "builtin",
-				needs: ["green-implementation"]
-			},
-			{
-				builtin: "lint",
-				id: "mechanical-green-lint",
-				kind: "builtin",
-				needs: ["green-implementation"]
-			},
-			{
-				builtin: "fallow",
-				id: "mechanical-green-fallow",
-				kind: "builtin",
-				needs: ["green-implementation"]
-			},
-			{
-				gates: [{
-					id: "acceptance-coverage",
-					kind: "acceptance",
-					required: false,
-					target: "stdout"
-				}, {
-					id: "acceptance-verdict",
-					kind: "verdict",
-					target: "stdout"
-				}],
-				id: "acceptance-review",
-				kind: "agent",
-				needs: [
-					"mechanical-green-tests",
-					"mechanical-green-typecheck",
-					"mechanical-green-lint",
-					"mechanical-green-fallow"
-				],
-				profile: "moka-acceptance-reviewer"
-			},
-			{
-				gates: [
-					{
-						builtin: "typecheck",
-						id: "verify-typecheck",
-						kind: "builtin"
-					},
-					{
-						builtin: "test",
-						id: "verify-tests",
-						kind: "builtin"
-					},
-					{
-						builtin: "lint",
-						id: "verify-lint",
-						kind: "builtin"
-					},
-					{
-						builtin: "fallow",
-						id: "verify-fallow",
-						kind: "builtin"
-					},
-					{
-						builtin: "semgrep",
-						id: "verify-semgrep",
-						kind: "builtin"
-					},
-					{
-						builtin: "duplication",
-						id: "verify-duplication",
-						kind: "builtin"
-					},
-					{
-						id: "verify-verdict",
-						kind: "verdict",
-						target: "stdout"
-					}
-				],
-				id: "verification",
-				kind: "agent",
-				needs: [
-					"mechanical-green-tests",
-					"mechanical-green-typecheck",
-					"mechanical-green-lint",
-					"mechanical-green-fallow"
-				],
-				profile: "moka-verifier"
-			},
-			{
-				id: "code-quality-review",
-				kind: "agent",
-				needs: [
-					"mechanical-green-tests",
-					"mechanical-green-typecheck",
-					"mechanical-green-lint",
-					"mechanical-green-fallow"
-				],
-				profile: "moka-thermo-nuclear-reviewer"
-			},
-			{
-				id: "learn",
-				kind: "agent",
-				needs: [
-					"acceptance-review",
-					"verification",
-					"code-quality-review"
-				],
-				profile: "moka-learner"
-			}
-		]
-	} };
-}
-function defaultScheduleId(date) {
-	return `run-${date.toISOString().replaceAll(/[-:.TZ]/g, "").slice(0, 14)}`;
-}
+};
 //#endregion
 export { baselineScheduleArtifact };

package/dist/schedule/passes/coverage.js

@@ -1,27 +1,61 @@
 import { uniqueGeneratedId } from "../../strings.js";
 import { dependentsByNeed, hasReachableDependent } from "../../planning/graph.js";
 import { isCoverageNode, isImplementationNode } from "../scheduling-roles.js";
+import { Option } from "effect";
 //#region src/schedule/passes/coverage.ts
 const DEFAULT_GENERATED_COVERAGE_PROFILE_PREFERENCE = [
 	"moka-verifier",
 	"moka-acceptance-reviewer",
 	"moka-thermo-nuclear-reviewer"
 ];
-function addGeneratedImplementationCoverage(config, artifact) {
-	const coverageProfileId = generatedCoverageProfileId(config);
-	if (!coverageProfileId) return artifact;
-	return {
-		...artifact,
-		workflows: Object.fromEntries(Object.entries(artifact.workflows).map(([id, workflow]) => [id, addWorkflowImplementationCoverage(config, workflow, coverageProfileId)]))
-	};
-}
-function addWorkflowImplementationCoverage(config, workflow, coverageProfileId) {
-	return {
-		...workflow,
-		nodes: addNodeScopeImplementationCoverage(config, workflow.nodes, coverageProfileId)
-	};
-}
-function addNodeScopeImplementationCoverage(config, nodes, coverageProfileId) {
+const nodeNeedsImplementationCoverage = (config, node) => {
+	if (isImplementationNode(config, node)) return true;
+	return node.kind === "parallel" && node.nodes.some((child) => nodeNeedsImplementationCoverage(config, child));
+};
+const generatedCoverageProfileId = (config) => {
+	const coverageProfiles = Object.entries(config.profiles).filter(([, profile]) => (profile.scheduling_roles ?? []).includes("coverage")).map(([id]) => id);
+	if (coverageProfiles.length === 0) return Option.none();
+	return Option.fromUndefinedOr(DEFAULT_GENERATED_COVERAGE_PROFILE_PREFERENCE.find((id) => coverageProfiles.includes(id)) ?? coverageProfiles.toSorted()[0]);
+};
+const generatedCoverageGates = (nodeId) => [
+	{
+		builtin: "typecheck",
+		id: `${nodeId}-typecheck`,
+		kind: "builtin"
+	},
+	{
+		builtin: "test",
+		id: `${nodeId}-tests`,
+		kind: "builtin"
+	},
+	{
+		builtin: "lint",
+		id: `${nodeId}-lint`,
+		kind: "builtin"
+	},
+	{
+		builtin: "fallow",
+		id: `${nodeId}-fallow`,
+		kind: "builtin"
+	},
+	{
+		builtin: "semgrep",
+		id: `${nodeId}-semgrep`,
+		kind: "builtin"
+	},
+	{
+		builtin: "duplication",
+		id: `${nodeId}-duplication`,
+		kind: "builtin"
+	},
+	{
+		id: `${nodeId}-verdict`,
+		kind: "verdict",
+		target: "stdout"
+	}
+];
+const hasDownstreamCoverage = (config, nodeId, index) => hasReachableDependent(nodeId, index, (node) => isCoverageNode(config, node));
+const addNodeScopeImplementationCoverage = (config, nodes, coverageProfileId) => {
 	const index = dependentsByNeed(nodes);
 	const uncovered = nodes.filter((node) => nodeNeedsImplementationCoverage(config, node)).filter((node) => !hasDownstreamCoverage(config, node.id, index));
 	if (uncovered.length === 0) return nodes;
@@ -33,57 +67,18 @@ function addNodeScopeImplementationCoverage(config, nodes, coverageProfileId) {
 		needs: uncovered.map((node) => node.id),
 		profile: coverageProfileId
 	}];
-}
-function nodeNeedsImplementationCoverage(config, node) {
-	if (isImplementationNode(config, node)) return true;
-	return node.kind === "parallel" && node.nodes.some((child) => nodeNeedsImplementationCoverage(config, child));
-}
-function generatedCoverageProfileId(config) {
-	const coverageProfiles = Object.entries(config.profiles).filter(([, profile]) => profile.scheduling_roles?.includes("coverage")).map(([id]) => id);
-	if (coverageProfiles.length === 0) return null;
-	return DEFAULT_GENERATED_COVERAGE_PROFILE_PREFERENCE.find((id) => coverageProfiles.includes(id)) ?? coverageProfiles.sort()[0] ?? null;
-}
-function generatedCoverageGates(nodeId) {
-	return [
-		{
-			builtin: "typecheck",
-			id: `${nodeId}-typecheck`,
-			kind: "builtin"
-		},
-		{
-			builtin: "test",
-			id: `${nodeId}-tests`,
-			kind: "builtin"
-		},
-		{
-			builtin: "lint",
-			id: `${nodeId}-lint`,
-			kind: "builtin"
-		},
-		{
-			builtin: "fallow",
-			id: `${nodeId}-fallow`,
-			kind: "builtin"
-		},
-		{
-			builtin: "semgrep",
-			id: `${nodeId}-semgrep`,
-			kind: "builtin"
-		},
-		{
-			builtin: "duplication",
-			id: `${nodeId}-duplication`,
-			kind: "builtin"
-		},
-		{
-			id: `${nodeId}-verdict`,
-			kind: "verdict",
-			target: "stdout"
-		}
-	];
-}
-function hasDownstreamCoverage(config, nodeId, index) {
-	return hasReachableDependent(nodeId, index, (node) => isCoverageNode(config, node));
-}
+};
+const addWorkflowImplementationCoverage = (config, workflow, coverageProfileId) => ({
+	...workflow,
+	nodes: addNodeScopeImplementationCoverage(config, workflow.nodes, coverageProfileId)
+});
+const addGeneratedImplementationCoverage = (config, artifact) => {
+	const coverageProfileId = generatedCoverageProfileId(config);
+	if (Option.isNone(coverageProfileId)) return artifact;
+	return {
+		...artifact,
+		workflows: Object.fromEntries(Object.entries(artifact.workflows).map(([id, workflow]) => [id, addWorkflowImplementationCoverage(config, workflow, coverageProfileId.value)]))
+	};
+};
 //#endregion
-export { addGeneratedImplementationCoverage };
+export { addGeneratedImplementationCoverage, hasDownstreamCoverage };