aiki-cli 0.3.2 → 0.3.5

package/dist/schemas/index.js

@@ -481,6 +481,7 @@ function canonicalizeIdeaRoleOutputModel(input) {
             const evidence = item;
             return {
                 ...evidence,
+                source_kind: canonicalEnum(evidence.source_kind, ['USER', 'PRIMARY', 'SECONDARY', 'MODEL_KNOWLEDGE'], { USER_MATERIAL: 'USER' }), // observed live in a Q1 quick run
                 support: canonicalEnumLeadingToken(evidence.support, ['SUPPORTS', 'CONTRADICTS', 'CONTEXT_ONLY'], { SUPPORT: 'SUPPORTS', OPPOSES: 'CONTRADICTS', OPPOSE: 'CONTRADICTS' }),
                 freshness: canonicalEnum(evidence.freshness, ['CURRENT', 'DATED', 'UNKNOWN']),
             };
@@ -665,8 +666,27 @@ export const ClaimVerification = z.object({
     calculation_check: z.enum(['PASS', 'FAIL', 'NOT_APPLICABLE']).optional(),
     missing_evidence: z.array(z.string().min(1)),
 }).strict();
+/** v6 semantic claim join: S8 may group claims that assert the same proposition in different
+ *  words (SAME) or directly contradict each other (OPPOSES). `.catch(undefined)` keeps a
+ *  malformed grouping from ever costing the verification set — groups are a bonus, never a risk. */
+export const ClaimGroup = z.object({
+    ids: z.array(z.string().min(1)).min(2).max(8),
+    relation: z.enum(['SAME', 'OPPOSES']),
+}).strict();
 export const ClaimVerificationSet = z.object({
     verifications: z.array(ClaimVerification),
+    claim_groups: z.array(ClaimGroup).max(12).optional().catch(undefined),
+}).strict();
+// ── v7 Phase D: targeted auto-mode challenge delta ─────────────────────────
+export const ChallengeDelta = z.object({
+    claimId: z.string().min(1),
+    response: z.enum(['CONFIRM', 'COUNTER', 'NARROW', 'REPLACE', 'UNRESOLVED']),
+    reasoning: z.string().min(1),
+    newEvidenceIds: z.array(z.string().min(1)),
+    changedDecisionImpact: z.string().min(1),
+}).strict();
+export const ChallengeDeltaSet = z.object({
+    deltas: z.array(ChallengeDelta).max(3),
 }).strict();
 // ── R5: bounded, append-only rebuttal events ───────────────────────────────
 const RebuttalResponseBase = z.object({
@@ -1008,6 +1028,16 @@ export const QuickDecisionModel = z.object({
 // ── RunMeta (§15, §16) ──────────────────────────────────────────────────────
 //
 // Written by the artifact writer; assembled by the engine's RunCtx (T5). Internal → not strict.
+/** Per-call token accounting. `estimated:true` = local chars/4 estimate, never blended
+ *  silently with provider-reported numbers. */
+export const NormalizedUsageSchema = z.object({
+    inputTokens: z.number().int().nonnegative().optional(),
+    outputTokens: z.number().int().nonnegative().optional(),
+    cacheReadTokens: z.number().int().nonnegative().optional(),
+    cacheWriteTokens: z.number().int().nonnegative().optional(),
+    estimated: z.boolean(),
+    reportedCostUsd: z.number().nonnegative().optional(),
+});
 /** One provider call's accounting entry (§15 "per-call timings"). */
 export const CallRecord = z.object({
     provider: ProviderIdSchema,
@@ -1015,6 +1045,7 @@ export const CallRecord = z.object({
     category: z.enum(['discovery', 'verification', 'repair', 'planning']).optional(),
     durationMs: z.number().nonnegative(),
     error: z.enum(['NOT_FOUND', 'AUTH', 'QUOTA', 'TIMEOUT', 'BAD_OUTPUT', 'CRASH']).optional(),
+    usage: NormalizedUsageSchema.optional(),
 });
 /** How read-only was actually enforced per provider (§15, §19). Mirrors providers ReadOnlyFlag. */
 const ReadOnlyFlagSchema = z.enum(['plan', 'sandbox', 'none']);
@@ -1042,6 +1073,20 @@ export const RunMeta = z.object({
         repair: z.number().int().nonnegative(),
         planning: z.number().int().nonnegative(),
     }).optional(),
+    usage_totals: z.object({
+        inputTokens: z.number().int().nonnegative(),
+        outputTokens: z.number().int().nonnegative(),
+        reportedCalls: z.number().int().nonnegative(),
+        estimatedCalls: z.number().int().nonnegative(),
+        reportedCostUsd: z.number().nonnegative().optional(),
+    }).optional(),
+    // v7 Phase B: present only when the user ran `--mode auto`; records the resolved mode + why.
+    auto_decision: z.object({
+        resolved: z.enum(['quick', 'council']),
+        reasons: z.array(z.string()),
+        fast_path: z.boolean().optional(),
+        escalation_reasons: z.array(z.string().min(1)).optional(),
+    }).optional(),
     exit_status: z.enum(['ok', 'failed', 'aborted', 'partial']),
     aborted: z.boolean(), // §16: Ctrl+C finalizes meta with aborted:true
     // §16 report-header flags; absent = none.
@@ -1051,6 +1096,7 @@ export const RunMeta = z.object({
         'weak_seat',
         'plan_skipped',
         'plan_fallback',
+        'plan_partial',
         'headless_intent',
         'verification_skipped',
         'research_ungrounded',