agent-afk 5.26.1 → 5.26.2

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "agent-afk",
-  "version": "5.26.1",
+  "version": "5.26.2",
   "description": "Open-source coding-agent harness you can actually change — own the loop (prompts, gates, routing, skills, terminal states), use any model, run long tasks while you're away.",
   "main": "dist/index.mjs",
   "types": "dist/index.d.ts",

package/dist/skills/diagnose/_phases/orchestrator.d.ts

@@ -1,8 +0,0 @@
-import type { SkillExecutionContext } from '../../index.js';
-import type { IAgentSession } from '../../../agent/types.js';
-import type { CanUseTool } from '../../../agent/types/sdk-types.js';
-import type { DiagnosisResult } from './types.js';
-export declare function createReadOnlyCanUseTool(): CanUseTool;
-export declare function createGitLaneCanUseTool(): CanUseTool;
-export declare function createVerifierCanUseTool(): CanUseTool;
-export declare function handler(input: unknown, parentSession?: IAgentSession, ctx?: SkillExecutionContext): Promise<DiagnosisResult>;

package/dist/skills/diagnose/_phases/triage.d.ts

@@ -1,4 +0,0 @@
-import type { Hypothesis, VerificationResult, DiagnosisOutcome, Triage } from './types.js';
-export declare function classifyAndExtract(failure: string, context: string): Triage;
-export declare function fixSpansMultipleFiles(hypothesis: Hypothesis): boolean;
-export declare function computeOutcome(hypotheses: Hypothesis[], verificationResults: VerificationResult[]): DiagnosisOutcome;

package/dist/skills/diagnose/_phases/types.d.ts

@@ -1,144 +0,0 @@
-import { z } from 'zod';
-export interface Verification {
-    claim: string;
-    verdict: 'VERIFIED' | 'REFUTED' | 'INCONCLUSIVE';
-    evidence: string;
-}
-export declare const HypothesisSchema: z.ZodObject<{
-    id: z.ZodString;
-    claim: z.ZodString;
-    confidence: z.ZodNumber;
-    evidence_sources: z.ZodArray<z.ZodString>;
-    location: z.ZodOptional<z.ZodString>;
-    proposed_fix: z.ZodOptional<z.ZodString>;
-    coverage_gaps: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString>>>, z.ZodTransform<string[] | undefined, string[] | null | undefined>>;
-    boundary_flag: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodString>>, z.ZodTransform<string | undefined, string | null | undefined>>;
-}, z.core.$strip>;
-export type Hypothesis = z.infer<typeof HypothesisSchema>;
-export declare const PremiseVerificationSchema: z.ZodObject<{
-    hypothesis_id: z.ZodString;
-    claim: z.ZodString;
-    verdict: z.ZodEnum<{
-        VERIFIED: "VERIFIED";
-        REFUTED: "REFUTED";
-        INCONCLUSIVE: "INCONCLUSIVE";
-    }>;
-    evidence: z.ZodString;
-    gate_reason: z.ZodString;
-}, z.core.$strip>;
-export type PremiseVerification = z.infer<typeof PremiseVerificationSchema>;
-export declare const VerificationResultSchema: z.ZodObject<{
-    hypothesis_id: z.ZodString;
-    predicted_pass: z.ZodBoolean;
-    regressions: z.ZodArray<z.ZodString>;
-    confidence: z.ZodNumber;
-    verification_log: z.ZodString;
-    timed_out: z.ZodOptional<z.ZodBoolean>;
-}, z.core.$strip>;
-export type VerificationResult = z.infer<typeof VerificationResultSchema>;
-export declare const FailureTypeSchema: z.ZodEnum<{
-    unknown: "unknown";
-    crash: "crash";
-    regression: "regression";
-    "logic-error": "logic-error";
-    flaky: "flaky";
-    environment: "environment";
-}>;
-export type FailureType = z.infer<typeof FailureTypeSchema>;
-export declare const TriageSchema: z.ZodObject<{
-    failure_type: z.ZodEnum<{
-        unknown: "unknown";
-        crash: "crash";
-        regression: "regression";
-        "logic-error": "logic-error";
-        flaky: "flaky";
-        environment: "environment";
-    }>;
-    error_signature: z.ZodString;
-    affected_area: z.ZodString;
-}, z.core.$strip>;
-export type Triage = z.infer<typeof TriageSchema>;
-export declare const DiagnosisOutcomeSchema: z.ZodEnum<{
-    dissent: "dissent";
-    clear_winner: "clear_winner";
-    multiple_plausible: "multiple_plausible";
-    all_inconclusive: "all_inconclusive";
-    no_hypotheses: "no_hypotheses";
-}>;
-export type DiagnosisOutcome = z.infer<typeof DiagnosisOutcomeSchema>;
-export declare const DiagnosisResultSchema: z.ZodObject<{
-    reproducer: z.ZodOptional<z.ZodString>;
-    triage: z.ZodOptional<z.ZodObject<{
-        failure_type: z.ZodEnum<{
-            unknown: "unknown";
-            crash: "crash";
-            regression: "regression";
-            "logic-error": "logic-error";
-            flaky: "flaky";
-            environment: "environment";
-        }>;
-        error_signature: z.ZodString;
-        affected_area: z.ZodString;
-    }, z.core.$strip>>;
-    hypotheses: z.ZodArray<z.ZodObject<{
-        id: z.ZodString;
-        claim: z.ZodString;
-        confidence: z.ZodNumber;
-        evidence_sources: z.ZodArray<z.ZodString>;
-        location: z.ZodOptional<z.ZodString>;
-        proposed_fix: z.ZodOptional<z.ZodString>;
-        coverage_gaps: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodArray<z.ZodString>>>, z.ZodTransform<string[] | undefined, string[] | null | undefined>>;
-        boundary_flag: z.ZodPipe<z.ZodOptional<z.ZodNullable<z.ZodString>>, z.ZodTransform<string | undefined, string | null | undefined>>;
-    }, z.core.$strip>>;
-    premise_verifications: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        hypothesis_id: z.ZodString;
-        claim: z.ZodString;
-        verdict: z.ZodEnum<{
-            VERIFIED: "VERIFIED";
-            REFUTED: "REFUTED";
-            INCONCLUSIVE: "INCONCLUSIVE";
-        }>;
-        evidence: z.ZodString;
-        gate_reason: z.ZodString;
-    }, z.core.$strip>>>;
-    winner: z.ZodOptional<z.ZodObject<{
-        hypothesis_id: z.ZodString;
-        verification_log: z.ZodString;
-        proposed_fix: z.ZodString;
-    }, z.core.$strip>>;
-    verification_results: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        hypothesis_id: z.ZodString;
-        predicted_pass: z.ZodBoolean;
-        regressions: z.ZodArray<z.ZodString>;
-        confidence: z.ZodNumber;
-        verification_log: z.ZodString;
-        timed_out: z.ZodOptional<z.ZodBoolean>;
-    }, z.core.$strip>>>;
-    outcome: z.ZodOptional<z.ZodEnum<{
-        dissent: "dissent";
-        clear_winner: "clear_winner";
-        multiple_plausible: "multiple_plausible";
-        all_inconclusive: "all_inconclusive";
-        no_hypotheses: "no_hypotheses";
-    }>>;
-    recommended_next_skill: z.ZodOptional<z.ZodEnum<{
-        spec: "spec";
-    }>>;
-}, z.core.$strip>;
-export type DiagnosisResult = z.infer<typeof DiagnosisResultSchema>;
-export type VerifyBatchFn = (claims: string[]) => Promise<Verification[]>;
-export declare const ShadowVerifyEnvelopeSchema: z.ZodObject<{
-    verifications: z.ZodArray<z.ZodObject<{
-        claim: z.ZodOptional<z.ZodString>;
-        verdict: z.ZodString;
-        evidence: z.ZodOptional<z.ZodString>;
-    }, z.core.$strip>>;
-}, z.core.$strip>;
-export interface BaselineResult {
-    skipped: boolean;
-    reason?: string;
-    exitCode: number | null;
-    stdout: string;
-    stderr: string;
-    timedOut: boolean;
-}

package/dist/skills/diagnose/_phases/verifier.d.ts

@@ -1,16 +0,0 @@
-import { execFile as execFileCallback } from 'node:child_process';
-import type { Verification, Hypothesis, PremiseVerification, VerifyBatchFn, BaselineResult } from './types.js';
-declare const execFile: typeof execFileCallback.__promisify__;
-export declare function parseShadowVerifyOutput(raw: string): Verification[];
-export declare function runReproducerBaseline(command: string, cwd: string, exec?: typeof execFile): Promise<BaselineResult>;
-export declare function buildVerifierUserPrompt(hypothesis: {
-    id: string;
-    claim: string;
-    location?: string;
-    proposed_fix?: string;
-}, reproducer: string, worktreePath: string, baseline: BaselineResult): string;
-export declare function autoVerifyHypotheses(hypotheses: Hypothesis[], verify: VerifyBatchFn): Promise<{
-    premise_verifications: PremiseVerification[];
-    hypotheses_to_test: Hypothesis[];
-}>;
-export {};

package/dist/skills/diagnose/index.d.ts

@@ -1,7 +0,0 @@
-export type { Verification, Hypothesis, PremiseVerification, VerificationResult, DiagnosisResult, VerifyBatchFn, BaselineResult, FailureType, Triage, DiagnosisOutcome, } from './_phases/types.js';
-export { HypothesisSchema, PremiseVerificationSchema, VerificationResultSchema, FailureTypeSchema, TriageSchema, DiagnosisOutcomeSchema, DiagnosisResultSchema, } from './_phases/types.js';
-export { classifyAndExtract, fixSpansMultipleFiles, computeOutcome } from './_phases/triage.js';
-export { parseShadowVerifyOutput, runReproducerBaseline, buildVerifierUserPrompt, autoVerifyHypotheses, } from './_phases/verifier.js';
-export { createReadOnlyCanUseTool, createGitLaneCanUseTool, createVerifierCanUseTool, } from './_phases/orchestrator.js';
-import { type SkillMetadata } from '../index.js';
-export declare const diagnoseSkill: SkillMetadata;