@kya-os/cli 2.0.0 → 2.0.3

package/node_modules/@kya-os/contracts/dist/workbench/routing.js

@@ -0,0 +1,93 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TrackingPlanningDraftSchema = exports.TrackingTaskPlanningDraftSchema = exports.TrackingRoutingAssessmentSchema = exports.TrackingProviderFailureSchema = exports.JevChoiceAnswerSchema = exports.JevProviderUsageSchema = exports.TrackingAssessmentSourceSchema = exports.TrackingWorkKindSchema = exports.TrackingPlanningPhaseSchema = exports.TrackingRoutingPolicySchema = exports.TrackingRoutingInputSchema = exports.TrackingDependencyOptionSchema = exports.TRACKING_ROUTING_QUESTION_REVISION = exports.TrackingRoutingCandidateSchema = exports.TrackingRoutingAssignmentSchema = void 0;
+exports.validateJevChoice = validateJevChoice;
+const zod_1 = require("zod");
+/** Typed assessment is advisory. It is never an execution admission or credential. */
+const DigestSchema = zod_1.z.string().regex(/^sha256:[a-f0-9]{64}$/);
+const UniqueStrings = zod_1.z.array(zod_1.z.string().min(1)).refine((values) => new Set(values).size === values.length);
+exports.TrackingRoutingAssignmentSchema = zod_1.z.discriminatedUnion('mode', [
+    zod_1.z.object({ mode: zod_1.z.literal('direct'), candidateId: zod_1.z.string().min(1) }).strict(),
+    zod_1.z.object({ mode: zod_1.z.literal('pool'), poolId: zod_1.z.string().min(1) }).strict(),
+]);
+exports.TrackingRoutingCandidateSchema = zod_1.z.object({
+    id: zod_1.z.string().min(1).max(128).refine((id) => id !== 'abstain' && !/[\x00-\x1f\x7f]/.test(id)),
+    harness: zod_1.z.string().min(1), model: zod_1.z.string().nullable(),
+    poolIds: UniqueStrings, repositoryIds: UniqueStrings, capabilities: UniqueStrings,
+    available: zod_1.z.boolean(), estimatedCostMicrousd: zod_1.z.number().int().nonnegative().nullable(),
+}).strict();
+/** The judgment questions the planner asks; a new revision may intentionally bill again. */
+exports.TRACKING_ROUTING_QUESTION_REVISION = 'routing-reusable-v4';
+/** An item the prerequisite judgment may suggest; a suggestion is only ever a reviewed graph edit. */
+exports.TrackingDependencyOptionSchema = zod_1.z.object({
+    taskId: zod_1.z.string().min(1).max(256).refine((id) => id !== 'none' && !/[\x00-\x1f\x7f]/.test(id)), title: zod_1.z.string(),
+}).strict();
+exports.TrackingRoutingInputSchema = zod_1.z.object({
+    taskId: zod_1.z.string().min(1), specRevision: zod_1.z.number().int().positive(), title: zod_1.z.string(), objective: zod_1.z.string(),
+    acceptanceCriteria: zod_1.z.array(zod_1.z.string()), repositoryIds: UniqueStrings, dependencyTaskIds: UniqueStrings,
+    completionClaim: zod_1.z.boolean(), requiredCapabilities: UniqueStrings, assignment: exports.TrackingRoutingAssignmentSchema,
+    candidates: zod_1.z.array(exports.TrackingRoutingCandidateSchema).max(254),
+    dependencyOptions: zod_1.z.array(exports.TrackingDependencyOptionSchema).max(253).optional(),
+}).strict()
+    .refine((value) => new Set(value.candidates.map((c) => c.id)).size === value.candidates.length, 'Duplicate candidate IDs')
+    .refine((value) => {
+    const ids = (value.dependencyOptions ?? []).map((o) => o.taskId);
+    return new Set(ids).size === ids.length && !ids.includes(value.taskId);
+}, 'Dependency options must be unique other items');
+exports.TrackingRoutingPolicySchema = zod_1.z.object({
+    version: zod_1.z.string().min(1), minConfidence: zod_1.z.number().finite().min(0).max(1),
+    costCeilingMicrousd: zod_1.z.number().int().nonnegative().nullable(), cacheTtlMs: zod_1.z.number().int().nonnegative(), shadow: zod_1.z.boolean(),
+}).strict();
+exports.TrackingPlanningPhaseSchema = zod_1.z.enum(['verify_existing_claim', 'needs_specification', 'awaiting_dependency_artifacts', 'ready_for_lead']);
+exports.TrackingWorkKindSchema = zod_1.z.enum(['implementation', 'verification', 'documentation', 'unknown']);
+exports.TrackingAssessmentSourceSchema = zod_1.z.enum(['deterministic', 'jev_shadow', 'jev_recommendation', 'fallback']);
+/** Exact official TypeSafe API usage fields. They are observations, not estimates. */
+exports.JevProviderUsageSchema = zod_1.z.object({ input_tokens: zod_1.z.number().int().nonnegative(), output_tokens: zod_1.z.number().int().nonnegative() });
+exports.JevChoiceAnswerSchema = zod_1.z.object({
+    type: zod_1.z.literal('choice'), choice: zod_1.z.string(), confidence: zod_1.z.number().finite().min(0).max(1),
+    probabilities: zod_1.z.record(zod_1.z.number().finite().min(0).max(1)),
+}).superRefine((answer, ctx) => {
+    if (!(answer.choice in answer.probabilities) || Math.abs(Object.values(answer.probabilities).reduce((sum, p) => sum + p, 0) - 1) > 0.001
+        || Object.values(answer.probabilities).some((p) => p > answer.probabilities[answer.choice] + 0.000001)) {
+        ctx.addIssue({ code: zod_1.z.ZodIssueCode.custom, message: 'Invalid choice distribution or selected option' });
+    }
+});
+function validateJevChoice(value, eligibleOptions) {
+    const parsed = exports.JevChoiceAnswerSchema.parse(value);
+    const expected = [...new Set(eligibleOptions)].sort();
+    const actual = Object.keys(parsed.probabilities).sort();
+    if (JSON.stringify(expected) !== JSON.stringify(actual))
+        throw new Error('JEV options differ from deterministic eligibility');
+    return parsed;
+}
+/** A timeout, a non-success HTTP status, a request or answer outside the typed contract, or an unknown outcome. */
+exports.TrackingProviderFailureSchema = zod_1.z.discriminatedUnion('kind', [
+    zod_1.z.object({ kind: zod_1.z.literal('timeout') }).strict(),
+    zod_1.z.object({ kind: zod_1.z.literal('http_error'), status: zod_1.z.number().int().min(100).max(999) }).strict(),
+    zod_1.z.object({ kind: zod_1.z.literal('invalid') }).strict(),
+    zod_1.z.object({ kind: zod_1.z.literal('unknown') }).strict(),
+]);
+exports.TrackingRoutingAssessmentSchema = zod_1.z.object({
+    inputDigest: DigestSchema, policyDigest: DigestSchema, phase: exports.TrackingPlanningPhaseSchema, workKind: exports.TrackingWorkKindSchema,
+    effortBand: zod_1.z.enum(['small', 'medium', 'large', 'unknown']).default('unknown'),
+    source: exports.TrackingAssessmentSourceSchema, baselineCandidate: zod_1.z.string().nullable(), recommendedCandidate: zod_1.z.string().nullable(),
+    shadowCandidate: zod_1.z.string().nullable(), confidence: zod_1.z.number().min(0).max(1).nullable(), abstentionReason: zod_1.z.string().nullable(),
+    requestedModel: zod_1.z.string().nullable(), resolvedModel: zod_1.z.string().nullable(), usage: exports.JevProviderUsageSchema.nullable(),
+    latencyMs: zod_1.z.number().int().nonnegative(), cacheHit: zod_1.z.boolean(),
+    judgments: zod_1.z.record(exports.JevChoiceAnswerSchema).optional(),
+    /** The capability the task needs most, when judged confidently. */
+    capability: zod_1.z.string().min(1).optional(),
+    /** A suggested prerequisite; it changes nothing until a reviewer applies it. */
+    suggestedPrerequisite: zod_1.z.string().min(1).optional(),
+    /** Eligible candidates by suitability, then urgency, then cache affinity. */
+    ranking: UniqueStrings.optional(),
+    /** Why JEV's judgment is missing when it was asked for and the approved baseline stands for that reason. */
+    providerFailure: exports.TrackingProviderFailureSchema.optional(),
+}).strict();
+exports.TrackingTaskPlanningDraftSchema = zod_1.z.object({
+    taskId: zod_1.z.string().min(1), specRevision: zod_1.z.number().int().positive(), missingFields: zod_1.z.array(zod_1.z.string()), assessment: exports.TrackingRoutingAssessmentSchema,
+}).strict();
+exports.TrackingPlanningDraftSchema = zod_1.z.object({
+    id: DigestSchema, trackId: zod_1.z.string().min(1), sourceDigest: zod_1.z.string().regex(/^[a-f0-9]{64}$/), generation: zod_1.z.number().int().positive(),
+    tasks: zod_1.z.array(exports.TrackingTaskPlanningDraftSchema), requiresLeadReview: zod_1.z.literal(true),
+}).strict();

package/node_modules/@kya-os/contracts/dist/workbench/task-status-projection.d.ts

@@ -0,0 +1,190 @@
+import { z } from 'zod';
+export declare const TaskProjectionStateSchema: z.ZodEnum<["queued", "delivered", "approved", "running", "unknown", "awaiting_acceptance", "accepted", "published"]>;
+export declare const TaskProjectionEvidenceSchema: z.ZodObject<{
+    record: z.ZodEnum<["source_intent", "delivery_attempt", "publication_binding", "admission", "action", "result_receipt", "activity"]>;
+    id: z.ZodString;
+    state: z.ZodString;
+    observedAt: z.ZodNullable<z.ZodString>;
+    basis: z.ZodEnum<["checkpoint_commit", "host_receipt", "lead_acknowledgment", "provider_ack", "provider_lookup"]>;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    state: string;
+    basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+    record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+    observedAt: string | null;
+}, {
+    id: string;
+    state: string;
+    basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+    record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+    observedAt: string | null;
+}>;
+/** Metadata projection. Accepted means receipt acceptance, not human quality approval. */
+export declare const TaskStatusProjectionSchema: z.ZodEffects<z.ZodObject<{
+    schema: z.ZodLiteral<"kya.task.status-projection.v1">;
+    taskId: z.ZodString;
+    installationId: z.ZodString;
+    organizationId: z.ZodString;
+    projectId: z.ZodString;
+    provider: z.ZodEnum<["linear", "github", "discord", "didcomm", "a2a"]>;
+    sessionId: z.ZodString;
+    sourceRevision: z.ZodNumber;
+    ownerEpoch: z.ZodNumber;
+    state: z.ZodEnum<["queued", "delivered", "approved", "running", "unknown", "awaiting_acceptance", "accepted", "published"]>;
+    since: z.ZodNullable<z.ZodString>;
+    cancellationRequested: z.ZodBoolean;
+    uncertain: z.ZodArray<z.ZodObject<{
+        record: z.ZodEnum<["source_intent", "delivery_attempt", "publication_binding", "admission", "action", "result_receipt", "activity"]>;
+        id: z.ZodString;
+        state: z.ZodString;
+        observedAt: z.ZodNullable<z.ZodString>;
+        basis: z.ZodEnum<["checkpoint_commit", "host_receipt", "lead_acknowledgment", "provider_ack", "provider_lookup"]>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        state: string;
+        basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+        record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+        observedAt: string | null;
+    }, {
+        id: string;
+        state: string;
+        basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+        record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+        observedAt: string | null;
+    }>, "many">;
+    evidence: z.ZodArray<z.ZodObject<{
+        record: z.ZodEnum<["source_intent", "delivery_attempt", "publication_binding", "admission", "action", "result_receipt", "activity"]>;
+        id: z.ZodString;
+        state: z.ZodString;
+        observedAt: z.ZodNullable<z.ZodString>;
+        basis: z.ZodEnum<["checkpoint_commit", "host_receipt", "lead_acknowledgment", "provider_ack", "provider_lookup"]>;
+    }, "strict", z.ZodTypeAny, {
+        id: string;
+        state: string;
+        basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+        record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+        observedAt: string | null;
+    }, {
+        id: string;
+        state: string;
+        basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+        record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+        observedAt: string | null;
+    }>, "many">;
+    projectedAt: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    projectId: string;
+    organizationId: string;
+    provider: "discord" | "linear" | "github" | "didcomm" | "a2a";
+    sessionId: string;
+    taskId: string;
+    state: "running" | "unknown" | "approved" | "accepted" | "queued" | "delivered" | "awaiting_acceptance" | "published";
+    evidence: {
+        id: string;
+        state: string;
+        basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+        record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+        observedAt: string | null;
+    }[];
+    sourceRevision: number;
+    ownerEpoch: number;
+    schema: "kya.task.status-projection.v1";
+    installationId: string;
+    since: string | null;
+    cancellationRequested: boolean;
+    uncertain: {
+        id: string;
+        state: string;
+        basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+        record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+        observedAt: string | null;
+    }[];
+    projectedAt: string;
+}, {
+    projectId: string;
+    organizationId: string;
+    provider: "discord" | "linear" | "github" | "didcomm" | "a2a";
+    sessionId: string;
+    taskId: string;
+    state: "running" | "unknown" | "approved" | "accepted" | "queued" | "delivered" | "awaiting_acceptance" | "published";
+    evidence: {
+        id: string;
+        state: string;
+        basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+        record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+        observedAt: string | null;
+    }[];
+    sourceRevision: number;
+    ownerEpoch: number;
+    schema: "kya.task.status-projection.v1";
+    installationId: string;
+    since: string | null;
+    cancellationRequested: boolean;
+    uncertain: {
+        id: string;
+        state: string;
+        basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+        record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+        observedAt: string | null;
+    }[];
+    projectedAt: string;
+}>, {
+    projectId: string;
+    organizationId: string;
+    provider: "discord" | "linear" | "github" | "didcomm" | "a2a";
+    sessionId: string;
+    taskId: string;
+    state: "running" | "unknown" | "approved" | "accepted" | "queued" | "delivered" | "awaiting_acceptance" | "published";
+    evidence: {
+        id: string;
+        state: string;
+        basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+        record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+        observedAt: string | null;
+    }[];
+    sourceRevision: number;
+    ownerEpoch: number;
+    schema: "kya.task.status-projection.v1";
+    installationId: string;
+    since: string | null;
+    cancellationRequested: boolean;
+    uncertain: {
+        id: string;
+        state: string;
+        basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+        record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+        observedAt: string | null;
+    }[];
+    projectedAt: string;
+}, {
+    projectId: string;
+    organizationId: string;
+    provider: "discord" | "linear" | "github" | "didcomm" | "a2a";
+    sessionId: string;
+    taskId: string;
+    state: "running" | "unknown" | "approved" | "accepted" | "queued" | "delivered" | "awaiting_acceptance" | "published";
+    evidence: {
+        id: string;
+        state: string;
+        basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+        record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+        observedAt: string | null;
+    }[];
+    sourceRevision: number;
+    ownerEpoch: number;
+    schema: "kya.task.status-projection.v1";
+    installationId: string;
+    since: string | null;
+    cancellationRequested: boolean;
+    uncertain: {
+        id: string;
+        state: string;
+        basis: "checkpoint_commit" | "host_receipt" | "lead_acknowledgment" | "provider_ack" | "provider_lookup";
+        record: "action" | "admission" | "source_intent" | "delivery_attempt" | "publication_binding" | "result_receipt" | "activity";
+        observedAt: string | null;
+    }[];
+    projectedAt: string;
+}>;
+export type TaskProjectionState = z.infer<typeof TaskProjectionStateSchema>;
+export type TaskProjectionEvidence = z.infer<typeof TaskProjectionEvidenceSchema>;
+export type TaskStatusProjection = z.infer<typeof TaskStatusProjectionSchema>;

package/node_modules/@kya-os/contracts/dist/workbench/task-status-projection.js

@@ -0,0 +1,49 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TaskStatusProjectionSchema = exports.TaskProjectionEvidenceSchema = exports.TaskProjectionStateSchema = void 0;
+const zod_1 = require("zod");
+exports.TaskProjectionStateSchema = zod_1.z.enum([
+    'queued', 'delivered', 'approved', 'running', 'unknown',
+    'awaiting_acceptance', 'accepted', 'published',
+]);
+exports.TaskProjectionEvidenceSchema = zod_1.z.object({
+    record: zod_1.z.enum(['source_intent', 'delivery_attempt', 'publication_binding', 'admission', 'action', 'result_receipt', 'activity']),
+    id: zod_1.z.string().min(1).max(255),
+    state: zod_1.z.string().min(1).max(64),
+    // Null means the legacy record has no trustworthy transition timestamp.
+    observedAt: zod_1.z.string().datetime().nullable(),
+    basis: zod_1.z.enum(['checkpoint_commit', 'host_receipt', 'lead_acknowledgment', 'provider_ack', 'provider_lookup']),
+}).strict();
+/** Metadata projection. Accepted means receipt acceptance, not human quality approval. */
+exports.TaskStatusProjectionSchema = zod_1.z.object({
+    schema: zod_1.z.literal('kya.task.status-projection.v1'),
+    taskId: zod_1.z.string().uuid(),
+    installationId: zod_1.z.string().uuid(),
+    organizationId: zod_1.z.string().uuid(),
+    projectId: zod_1.z.string().uuid(),
+    provider: zod_1.z.enum(['linear', 'github', 'discord', 'didcomm', 'a2a']),
+    sessionId: zod_1.z.string().min(1).max(255),
+    sourceRevision: zod_1.z.number().int().positive().max(Number.MAX_SAFE_INTEGER),
+    ownerEpoch: zod_1.z.number().int().positive().max(Number.MAX_SAFE_INTEGER),
+    state: exports.TaskProjectionStateSchema,
+    since: zod_1.z.string().datetime().nullable(),
+    cancellationRequested: zod_1.z.boolean(),
+    uncertain: zod_1.z.array(exports.TaskProjectionEvidenceSchema).max(64),
+    evidence: zod_1.z.array(exports.TaskProjectionEvidenceSchema).min(1).max(64),
+    projectedAt: zod_1.z.string().datetime(),
+}).strict().superRefine((value, ctx) => {
+    if ((value.state === 'unknown') !== (value.uncertain.length > 0))
+        ctx.addIssue({ code: zod_1.z.ZodIssueCode.custom, message: 'Uncertainty must take precedence' });
+    if (value.since !== null && Date.parse(value.since) > Date.parse(value.projectedAt))
+        ctx.addIssue({ code: zod_1.z.ZodIssueCode.custom, message: 'Transition cannot follow observation' });
+    if (![...value.evidence, ...value.uncertain].some((e) => e.observedAt === value.since))
+        ctx.addIssue({ code: zod_1.z.ZodIssueCode.custom, message: 'Transition needs record provenance' });
+    for (const item of value.uncertain) {
+        if (!value.evidence.some((e) => e.record === item.record && e.id === item.id && e.state === item.state && e.observedAt === item.observedAt && e.basis === item.basis))
+            ctx.addIssue({ code: zod_1.z.ZodIssueCode.custom, message: 'Uncertainty must identify projection evidence' });
+    }
+    for (const items of [value.evidence, value.uncertain]) {
+        if (new Set(items.map((e) => JSON.stringify([e.record, e.id]))).size !== items.length)
+            ctx.addIssue({ code: zod_1.z.ZodIssueCode.custom, message: 'Duplicate record evidence' });
+    }
+});