taphound 0.2.0-dev.11 → 0.2.0-dev.13

package/dist/cli/main.js

@@ -6,6 +6,7 @@ import { pathToFileURL } from "node:url";
 import { CommanderError } from "commander";
 import { createProductionDependencies } from "./dependencies.js";
 import { RuntimeBackendConfigError, RuntimeBackendSelectionError, resolveRuntimeBackendChoiceFromInvocation } from "./runtime-selection.js";
+import { commandEvent, describeInvocation } from "./diagnostics-recorder.js";
 import { errorMessage, failureOutput, writeJson, writeLine } from "./output.js";
 import { createProgram } from "./program.js";
 export async function withTerminationSignal(operation, source = process) {
@@ -43,11 +44,64 @@ function overrideCommandExits(command) {
         overrideCommandExits(child);
     }
 }
-export async function runMain(argv, dependencies = createProductionDependencies()) {
+/**
+ * Wraps the dependencies so the finished invocation can be journaled: the
+ * last exit code, and stdout only when the command promised one JSON value.
+ */
+function observeInvocation(dependencies, json) {
+    let exitCode = 0;
+    let stdout = "";
+    return {
+        dependencies: {
+            ...dependencies,
+            stdout: {
+                write: (content) => {
+                    if (json)
+                        stdout += content;
+                    dependencies.stdout.write(content);
+                }
+            },
+            setExitCode: (code) => {
+                exitCode = code;
+                dependencies.setExitCode(code);
+            }
+        },
+        exitCode: () => exitCode,
+        stdout: () => (json ? stdout : undefined)
+    };
+}
+async function journalInvocation(dependencies, invocation, startedAt, observed) {
+    const diagnostics = dependencies.diagnostics;
+    if (diagnostics === undefined || invocation === undefined)
+        return;
+    try {
+        await diagnostics.journal.append(invocation.projectRoot, commandEvent({
+            invocation,
+            startedAt,
+            durationMs: Date.now() - startedAt.getTime(),
+            exitCode: observed.exitCode(),
+            stdout: observed.stdout(),
+            telemetry: diagnostics.telemetry
+        }));
+    }
+    catch {
+        // The journal is best-effort evidence; it never changes a command result.
+    }
+}
+export async function runMain(argv, baseDependencies = createProductionDependencies()) {
     const json = argv.includes("--json");
+    const startedAt = new Date();
+    const observed = observeInvocation(baseDependencies, json);
+    const dependencies = baseDependencies.diagnostics === undefined
+        ? baseDependencies
+        : observed.dependencies;
+    let invocation;
     try {
         const program = createProgram(dependencies);
         overrideCommandExits(program);
+        program.hook("preAction", (_program, action) => {
+            invocation = describeInvocation(action, dependencies.cwd());
+        });
         await program.parseAsync([...argv]);
     }
     catch (error) {
@@ -67,6 +121,9 @@ export async function runMain(argv, dependencies = createProductionDependencies(
         }
         dependencies.setExitCode(exitCode);
     }
+    finally {
+        await journalInvocation(dependencies, invocation, startedAt, observed);
+    }
 }
 const entryPath = process.argv[1];
 if (entryPath !== undefined

package/dist/cli/program.js

@@ -15,6 +15,7 @@ import { createImpactCommand } from "./commands/impact.js";
 import { createKnowledgeCommand } from "./commands/knowledge.js";
 import { createBaselineCommand } from "./commands/baseline.js";
 import { createFailureCommand } from "./commands/failure.js";
+import { createDiagnoseCommand } from "./commands/diagnose.js";
 import { createProductionDependencies } from "./dependencies.js";
 export function createProgram(dependencies = createProductionDependencies()) {
     const configureOutput = (command) => {
@@ -57,5 +58,6 @@ export function createProgram(dependencies = createProductionDependencies()) {
         .addCommand(configureOutput(createFailureCommand(dependencies)))
         .addCommand(configureOutput(createInitCommand(dependencies)))
         .addCommand(configureOutput(createAlignCommand(dependencies)))
-        .addCommand(configureOutput(createImpactCommand(dependencies)));
+        .addCommand(configureOutput(createImpactCommand(dependencies)))
+        .addCommand(configureOutput(createDiagnoseCommand(dependencies)));
 }

package/dist/domain/contract.d.ts

@@ -214,8 +214,8 @@ export declare const ContractPreconditionOutcomeSchema: z.ZodObject<{
     status: z.ZodEnum<{
         passed: "passed";
         failed: "failed";
-        unresolved: "unresolved";
         notRun: "notRun";
+        unresolved: "unresolved";
     }>;
     message: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
@@ -228,8 +228,8 @@ export declare const ContractAssertionOutcomeSchema: z.ZodObject<{
     status: z.ZodEnum<{
         passed: "passed";
         failed: "failed";
-        unresolved: "unresolved";
         notRun: "notRun";
+        unresolved: "unresolved";
     }>;
     message: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
@@ -248,8 +248,8 @@ export declare const ContractCheckpointOutcomeSchema: z.ZodObject<{
     status: z.ZodEnum<{
         passed: "passed";
         failed: "failed";
-        unresolved: "unresolved";
         notRun: "notRun";
+        unresolved: "unresolved";
     }>;
     message: z.ZodOptional<z.ZodString>;
 }, z.core.$strict>;
@@ -294,8 +294,8 @@ export declare const ContractVerdictViewSchema: z.ZodObject<{
         status: z.ZodEnum<{
             passed: "passed";
             failed: "failed";
-            unresolved: "unresolved";
             notRun: "notRun";
+            unresolved: "unresolved";
         }>;
         message: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>;
@@ -308,8 +308,8 @@ export declare const ContractVerdictViewSchema: z.ZodObject<{
         status: z.ZodEnum<{
             passed: "passed";
             failed: "failed";
-            unresolved: "unresolved";
             notRun: "notRun";
+            unresolved: "unresolved";
         }>;
         message: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>;
@@ -318,8 +318,8 @@ export declare const ContractVerdictViewSchema: z.ZodObject<{
         status: z.ZodEnum<{
             passed: "passed";
             failed: "failed";
-            unresolved: "unresolved";
             notRun: "notRun";
+            unresolved: "unresolved";
         }>;
         message: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>>;