@specforge/cli 0.1.0 → 0.2.4

package/node_modules/@specforge/session-types/dist/schema/work-session-action.js

@@ -0,0 +1,76 @@
+import { z } from 'zod';
+import { WORK_ACTION_DIMENSIONS, WORK_ACTION_OUTCOMES, WORK_ACTION_ACTORS, } from '../runtime/enums.js';
+/**
+ * WorkSessionAction — the emergent, append-only WORK audit row (M16.9), the work
+ * analogue of `PlanningSessionAction`. **Every monitored work action appends EXACTLY
+ * ONE row.** The action-LOG is the PRIMARY monitored surface: per-dimension mutations
+ * (step / ac / file / test) are action-log ONLY — no broadcast event, no notification.
+ *
+ * The `operation` vocab is a SUPERSET of the agent-callable AWS catalogue (§M16.6): it
+ * also records the lifecycle verbs (`start_work_session` / `complete_work_session`), the
+ * mcp_local/system ops (`link_git_commit`, the AWS-lockout @ `maxRetries`) and the human
+ * resolve ops (`resolve_justification` / `resolve_discovery` — webapp, NOT MCP — each
+ * writing a `WorkSessionResolution`). There is NO agent-callable `approve/reject` verb
+ * and NO `resolve_block`. `get_implementation_status` is read-only and appends NO row.
+ *
+ * The whole field-set is everything the observatory reads, so it NEVER scans — the 3
+ * GSIs (`byWorkSessionId` / `byImplementationSessionId` / `byTicketId`, sort
+ * `performedAt`, M15) back the flame segments, within-session gate trajectory, ops-mix,
+ * and gate-attempt heatmap by a bounded GSI read. Spec-wide / time-series / cross-session
+ * aggregates are projected in M20 (also no scan). The transition/event role uses
+ * `ImplementationRecordEvent` (M15), NOT this row.
+ *
+ * The TS surface intentionally leads the live Amplify model (`resource.ts`): `dimension`
+ * / `outcome` / `performedByActor` are required here (every row carries them) though the
+ * Amplify enums are nullable — mirroring the `WorkSession.implementationSessionId`
+ * convention.
+ */
+export const WorkSessionActionSchema = z.object({
+    id: z.string(),
+    // ── FKs + denormalized scope ─────────────────────────────────────────────
+    // `workSessionId` / `implementationSessionId` / `ticketId` are the 3 GSI partition
+    // keys (no-scan observatory reads); `specificationId` / `projectId` are denorm.
+    workSessionId: z.string(),
+    implementationSessionId: z.string(),
+    ticketId: z.string(),
+    specificationId: z.string(),
+    projectId: z.string(),
+    performedAt: z.string().datetime(),
+    // The canonical action name (§M16.6 superset). A free string (NOT a strict enum) —
+    // the log records the agent-callable set + the verbs + the mcp_local/system/human ops.
+    operation: z.string(),
+    // Which dimension the action touched (flame frame + ops-mix). `session` for the
+    // lifecycle verbs + the discovery / link / resolve ops (no child dimension).
+    dimension: z.enum(WORK_ACTION_DIMENSIONS),
+    // The assay action segment (flame) / convention class: `reported` (agent reports) ·
+    // `setted` (mcp_local injects / system writes). Absent for the verbs + human resolve
+    // ops. (`detected` is NEVER a class here — detections ride the gate_failed payload.)
+    assayAction: z.string().optional(),
+    // The child entity the action targeted: stepId / criterionId / expectedPath / testType.
+    entityId: z.string().optional(),
+    // success | denied | gate_failed | gate_passed. `denied` rides the action itself (a
+    // precondition/guard denial is NOT a separate operation); `gate_*` are the CWS
+    // gate-ATTEMPT verdicts.
+    outcome: z.enum(WORK_ACTION_OUTCOMES),
+    // Per-action args. On a CWS `gate_failed` row the deterministic detection set
+    // (`ac/step/test/file_missing` · `file_extra` · `file_mismatched`) rides HERE
+    // (`payload.detected`) — NEVER its own row.
+    payload: z.unknown().optional(),
+    // Assay snapshot AFTER the action (trajectories) — populated when an assay ran.
+    progressAfter: z.number().optional(),
+    coherenceAfter: z.number().optional(),
+    // ML.1.5 — the vacuousness marker for `coherenceAfter`: TRUE when the coherence is a
+    // nothing-touched VACUOUS 100 (no file/test dimension present), so the projector can
+    // withhold it from the quality composite (a vacuous 100 is byte-identical to an earned
+    // one otherwise). Absent on pre-ML.1.5 rows → read as non-vacuous/earned.
+    coherenceVacuousAfter: z.boolean().optional(),
+    gatePassedAfter: z.boolean().optional(),
+    // CWS gate-attempt metadata (gate-attempt heatmap, first-pass yield). The row is
+    // rendered «Work Session · Ticket {ref} · Retry N» (N = `retryCount`).
+    retryCount: z.number().int().optional(),
+    failedGates: z.array(z.string()).optional(),
+    // Attribution — the action-LOG superset spans all four actors.
+    performedByActor: z.enum(WORK_ACTION_ACTORS),
+    performedByAgentId: z.string().optional(),
+});
+//# sourceMappingURL=work-session-action.js.map

package/node_modules/@specforge/session-types/dist/schema/work-session-action.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-session-action.js","sourceRoot":"","sources":["../../src/schema/work-session-action.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,qBAAqB,CAAC;AAE7B;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IAEd,4EAA4E;IAC5E,mFAAmF;IACnF,gFAAgF;IAChF,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,uBAAuB,EAAE,CAAC,CAAC,MAAM,EAAE;IACnC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE;IAC3B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IAErB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAElC,mFAAmF;IACnF,uFAAuF;IACvF,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IAErB,gFAAgF;IAChF,6EAA6E;IAC7E,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC;IAEzC,oFAAoF;IACpF,qFAAqF;IACrF,qFAAqF;IACrF,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAElC,wFAAwF;IACxF,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAE/B,oFAAoF;IACpF,+EAA+E;IAC/E,yBAAyB;IACzB,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC;IAErC,8EAA8E;IAC9E,8EAA8E;IAC9E,4CAA4C;IAC5C,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAE/B,gFAAgF;IAChF,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACpC,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACrC,qFAAqF;IACrF,qFAAqF;IACrF,uFAAuF;IACvF,0EAA0E;IAC1E,qBAAqB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC7C,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAEvC,iFAAiF;IACjF,uEAAuE;IACvE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACvC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAE3C,+DAA+D;IAC/D,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC;IAC5C,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC1C,CAAC,CAAC"}

package/node_modules/@specforge/session-types/dist/schema/work-session-file-change.d.ts

@@ -0,0 +1,42 @@
+import { z } from 'zod';
+export declare const WorkSessionFileChangeSchema: z.ZodObject<{
+    id: z.ZodString;
+    workSessionId: z.ZodString;
+    ticketId: z.ZodString;
+    projectId: z.ZodString;
+    expectedPath: z.ZodString;
+    expectedAction: z.ZodEnum<["create", "modify", "delete", "reference"]>;
+    actualAction: z.ZodOptional<z.ZodEnum<["created", "modified", "deleted", "referenced", "absent"]>>;
+    status: z.ZodEnum<["matched", "missing", "mismatched", "extra"]>;
+    justification: z.ZodOptional<z.ZodString>;
+    notes: z.ZodOptional<z.ZodString>;
+    lineCount: z.ZodOptional<z.ZodNumber>;
+    recordedAt: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    status: "matched" | "missing" | "mismatched" | "extra";
+    recordedAt: string;
+    id: string;
+    projectId: string;
+    workSessionId: string;
+    ticketId: string;
+    expectedPath: string;
+    expectedAction: "create" | "modify" | "delete" | "reference";
+    notes?: string | undefined;
+    actualAction?: "created" | "modified" | "deleted" | "referenced" | "absent" | undefined;
+    justification?: string | undefined;
+    lineCount?: number | undefined;
+}, {
+    status: "matched" | "missing" | "mismatched" | "extra";
+    recordedAt: string;
+    id: string;
+    projectId: string;
+    workSessionId: string;
+    ticketId: string;
+    expectedPath: string;
+    expectedAction: "create" | "modify" | "delete" | "reference";
+    notes?: string | undefined;
+    actualAction?: "created" | "modified" | "deleted" | "referenced" | "absent" | undefined;
+    justification?: string | undefined;
+    lineCount?: number | undefined;
+}>;
+//# sourceMappingURL=work-session-file-change.d.ts.map

package/node_modules/@specforge/session-types/dist/schema/work-session-file-change.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-session-file-change.d.ts","sourceRoot":"","sources":["../../src/schema/work-session-file-change.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAOxB,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAwBtC,CAAC"}

package/node_modules/@specforge/session-types/dist/schema/work-session-file-change.js

@@ -0,0 +1,25 @@
+import { z } from 'zod';
+import { EXPECTED_ACTIONS, ACTUAL_ACTIONS, FILE_CHANGE_STATUSES, } from '../runtime/enums.js';
+export const WorkSessionFileChangeSchema = z.object({
+    id: z.string(),
+    workSessionId: z.string(),
+    ticketId: z.string(),
+    projectId: z.string(),
+    expectedPath: z.string().min(1),
+    expectedAction: z.enum(EXPECTED_ACTIONS),
+    actualAction: z.enum(ACTUAL_ACTIONS).optional(),
+    status: z.enum(FILE_CHANGE_STATUSES),
+    justification: z.string().optional(),
+    // justificationApproved REMOVED (M17.4): the verdict is no longer persisted on
+    // the file-change row. It lives on the `WorkSessionResolution` (M15.8 — source of
+    // truth) and is HYDRATED per `(targetType='file_change', targetId)` onto the
+    // engine's `AssayFileChange.resolvedVerdict` view by the AssayAdapter context-
+    // builder (no note → `pending`). `JUSTIFICATION_APPROVED_VALUES`/`JustificationApproved`
+    // are KEPT in runtime/enums.ts as the `resolvedVerdict` value type.
+    notes: z.string().optional(),
+    lineCount: z.number().int().nonnegative().optional(),
+    // commitHash REMOVED (M14.2): the commit hash is per-WorkSession (`WorkSession.commitSha`),
+    // not per-file. The DDB model drop is M15.2; the action-payload drop is M16.
+    recordedAt: z.string().datetime(),
+});
+//# sourceMappingURL=work-session-file-change.js.map

package/node_modules/@specforge/session-types/dist/schema/work-session-file-change.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-session-file-change.js","sourceRoot":"","sources":["../../src/schema/work-session-file-change.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAE7B,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IAErB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;IACxC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE;IAC/C,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC;IAEpC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACpC,+EAA+E;IAC/E,kFAAkF;IAClF,6EAA6E;IAC7E,+EAA+E;IAC/E,yFAAyF;IACzF,oEAAoE;IAEpE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACpD,4FAA4F;IAC5F,6EAA6E;IAC7E,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAClC,CAAC,CAAC"}

package/node_modules/@specforge/session-types/dist/schema/work-session-impl-step-completion.d.ts

@@ -0,0 +1,27 @@
+import { z } from 'zod';
+export declare const WorkSessionImplStepCompletionSchema: z.ZodObject<{
+    id: z.ZodString;
+    workSessionId: z.ZodString;
+    stepId: z.ZodString;
+    ticketId: z.ZodString;
+    projectId: z.ZodString;
+    done: z.ZodBoolean;
+    doneAt: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    done: boolean;
+    id: string;
+    projectId: string;
+    workSessionId: string;
+    ticketId: string;
+    stepId: string;
+    doneAt?: string | undefined;
+}, {
+    done: boolean;
+    id: string;
+    projectId: string;
+    workSessionId: string;
+    ticketId: string;
+    stepId: string;
+    doneAt?: string | undefined;
+}>;
+//# sourceMappingURL=work-session-impl-step-completion.d.ts.map

package/node_modules/@specforge/session-types/dist/schema/work-session-impl-step-completion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-session-impl-step-completion.d.ts","sourceRoot":"","sources":["../../src/schema/work-session-impl-step-completion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;EAQ9C,CAAC"}

package/node_modules/@specforge/session-types/dist/schema/work-session-impl-step-completion.js

@@ -0,0 +1,11 @@
+import { z } from 'zod';
+export const WorkSessionImplStepCompletionSchema = z.object({
+    id: z.string(),
+    workSessionId: z.string(),
+    stepId: z.string(),
+    ticketId: z.string(),
+    projectId: z.string(),
+    done: z.boolean(),
+    doneAt: z.string().datetime().optional(),
+});
+//# sourceMappingURL=work-session-impl-step-completion.js.map

package/node_modules/@specforge/session-types/dist/schema/work-session-impl-step-completion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-session-impl-step-completion.js","sourceRoot":"","sources":["../../src/schema/work-session-impl-step-completion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,mCAAmC,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1D,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE;IACjB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;CACzC,CAAC,CAAC"}

package/node_modules/@specforge/session-types/dist/schema/work-session-resolution.d.ts

@@ -0,0 +1,42 @@
+import { z } from 'zod';
+export declare const WorkSessionResolutionSchema: z.ZodObject<{
+    id: z.ZodString;
+    workSessionId: z.ZodString;
+    ticketId: z.ZodString;
+    projectId: z.ZodString;
+    targetType: z.ZodEnum<["file_change", "test_skip", "test_failure", "discovery", "block"]>;
+    targetId: z.ZodString;
+    verdict: z.ZodOptional<z.ZodEnum<["approved", "rejected"]>>;
+    selectedOptionId: z.ZodOptional<z.ZodString>;
+    direction: z.ZodOptional<z.ZodString>;
+    comment: z.ZodOptional<z.ZodString>;
+    authorId: z.ZodString;
+    createdAt: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    projectId: string;
+    workSessionId: string;
+    ticketId: string;
+    targetType: "file_change" | "test_skip" | "test_failure" | "discovery" | "block";
+    targetId: string;
+    authorId: string;
+    createdAt: string;
+    verdict?: "approved" | "rejected" | undefined;
+    selectedOptionId?: string | undefined;
+    direction?: string | undefined;
+    comment?: string | undefined;
+}, {
+    id: string;
+    projectId: string;
+    workSessionId: string;
+    ticketId: string;
+    targetType: "file_change" | "test_skip" | "test_failure" | "discovery" | "block";
+    targetId: string;
+    authorId: string;
+    createdAt: string;
+    verdict?: "approved" | "rejected" | undefined;
+    selectedOptionId?: string | undefined;
+    direction?: string | undefined;
+    comment?: string | undefined;
+}>;
+//# sourceMappingURL=work-session-resolution.d.ts.map

package/node_modules/@specforge/session-types/dist/schema/work-session-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-session-resolution.d.ts","sourceRoot":"","sources":["../../src/schema/work-session-resolution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAQxB,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAwBtC,CAAC"}

package/node_modules/@specforge/session-types/dist/schema/work-session-resolution.js

@@ -0,0 +1,28 @@
+import { z } from 'zod';
+import { RESOLUTION_TARGET_TYPES, RESOLUTION_VERDICTS } from '../runtime/enums.js';
+// WorkSessionResolution (M15.8) — the human-resolution surface that replaces the
+// deleted review lifecycle. The agent's justification stays on its own entity; the
+// human's reply is this separate note (single source of truth for the verdict — no
+// denormalised copy on the child). Threadable: many notes per (targetType,targetId);
+// M17.1 resolves the latest to hydrate `resolvedVerdict`.
+export const WorkSessionResolutionSchema = z.object({
+    id: z.string(),
+    workSessionId: z.string(),
+    ticketId: z.string(),
+    projectId: z.string(),
+    targetType: z.enum(RESOLUTION_TARGET_TYPES),
+    // WorkSessionFileChange / WorkSessionTestResult / Discovery / WorkSession id.
+    targetId: z.string(),
+    // mode A — justification verdict (file_change | test_skip | test_failure).
+    // `pending` is NOT stored here; it's the M17.4 no-note default for resolvedVerdict.
+    verdict: z.enum(RESOLUTION_VERDICTS).optional(),
+    // mode B — direction (discovery | block): pick one of the agent's
+    // Discovery.proposedOptions, or write free `direction` when no option fits.
+    selectedOptionId: z.string().optional(),
+    direction: z.string().optional(),
+    // Always: free human text rendered into agent guidance (M18), never parsed.
+    comment: z.string().optional(),
+    authorId: z.string(),
+    createdAt: z.string().datetime(),
+});
+//# sourceMappingURL=work-session-resolution.js.map

package/node_modules/@specforge/session-types/dist/schema/work-session-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-session-resolution.js","sourceRoot":"","sources":["../../src/schema/work-session-resolution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAEnF,iFAAiF;AACjF,mFAAmF;AACnF,mFAAmF;AACnF,qFAAqF;AACrF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IAErB,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC;IAC3C,8EAA8E;IAC9E,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IAEpB,2EAA2E;IAC3E,oFAAoF;IACpF,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,QAAQ,EAAE;IAE/C,kEAAkE;IAClE,4EAA4E;IAC5E,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACvC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAEhC,4EAA4E;IAC5E,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAE9B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACjC,CAAC,CAAC"}

package/node_modules/@specforge/session-types/dist/schema/work-session-test-result.d.ts

@@ -0,0 +1,72 @@
+import { z } from 'zod';
+export declare const WorkSessionTestResultSchema: z.ZodObject<{
+    id: z.ZodString;
+    workSessionId: z.ZodString;
+    ticketId: z.ZodString;
+    projectId: z.ZodString;
+    testType: z.ZodEnum<["unit", "integration", "e2e", "typecheck", "lint", "build", "contract", "structural", "layout", "a11y", "performance"]>;
+    passed: z.ZodNumber;
+    failed: z.ZodNumber;
+    skipped: z.ZodDefault<z.ZodNumber>;
+    total: z.ZodNumber;
+    allPassed: z.ZodBoolean;
+    output: z.ZodOptional<z.ZodString>;
+    command: z.ZodOptional<z.ZodString>;
+    exitCode: z.ZodOptional<z.ZodNumber>;
+    durationMs: z.ZodOptional<z.ZodNumber>;
+    errorCount: z.ZodOptional<z.ZodNumber>;
+    warningCount: z.ZodOptional<z.ZodNumber>;
+    summary: z.ZodOptional<z.ZodString>;
+    suites: z.ZodOptional<z.ZodUnknown>;
+    skippedJustifications: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    failureJustifications: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    notes: z.ZodOptional<z.ZodString>;
+    runAt: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    failed: number;
+    id: string;
+    projectId: string;
+    workSessionId: string;
+    passed: number;
+    skipped: number;
+    total: number;
+    ticketId: string;
+    testType: "unit" | "integration" | "e2e" | "typecheck" | "lint" | "build" | "contract" | "structural" | "layout" | "a11y" | "performance";
+    allPassed: boolean;
+    skippedJustifications: string[];
+    failureJustifications: string[];
+    runAt: string;
+    summary?: string | undefined;
+    notes?: string | undefined;
+    durationMs?: number | undefined;
+    output?: string | undefined;
+    command?: string | undefined;
+    exitCode?: number | undefined;
+    errorCount?: number | undefined;
+    warningCount?: number | undefined;
+    suites?: unknown;
+}, {
+    failed: number;
+    id: string;
+    projectId: string;
+    workSessionId: string;
+    passed: number;
+    total: number;
+    ticketId: string;
+    testType: "unit" | "integration" | "e2e" | "typecheck" | "lint" | "build" | "contract" | "structural" | "layout" | "a11y" | "performance";
+    allPassed: boolean;
+    runAt: string;
+    summary?: string | undefined;
+    notes?: string | undefined;
+    durationMs?: number | undefined;
+    skipped?: number | undefined;
+    output?: string | undefined;
+    command?: string | undefined;
+    exitCode?: number | undefined;
+    errorCount?: number | undefined;
+    warningCount?: number | undefined;
+    suites?: unknown;
+    skippedJustifications?: string[] | undefined;
+    failureJustifications?: string[] | undefined;
+}>;
+//# sourceMappingURL=work-session-test-result.d.ts.map

package/node_modules/@specforge/session-types/dist/schema/work-session-test-result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-session-test-result.d.ts","sourceRoot":"","sources":["../../src/schema/work-session-test-result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4CtC,CAAC"}

package/node_modules/@specforge/session-types/dist/schema/work-session-test-result.js

@@ -0,0 +1,43 @@
+import { z } from 'zod';
+import { TEST_TYPES } from '../runtime/enums.js';
+export const WorkSessionTestResultSchema = z.object({
+    id: z.string(),
+    workSessionId: z.string(),
+    // Denormalized from WorkSession.ticketId — REQUIRED so the M19 cascade-delete can
+    // remove test-result rows by `ticketId` (the `byTicketId` GSI), matching the three
+    // sibling children (AcceptanceCheck / ImplStepCompletion / FileChange) and the M15
+    // Amplify schema (`ticketId: a.id().required()`). Without it a ticket-delete orphans
+    // every test-result row.
+    ticketId: z.string(),
+    projectId: z.string(),
+    testType: z.enum(TEST_TYPES),
+    passed: z.number().int().nonnegative(),
+    failed: z.number().int().nonnegative(),
+    skipped: z.number().int().nonnegative().default(0),
+    total: z.number().int().nonnegative(),
+    // SERVER-DERIVED, not actor-authored (MB.26.2 / D2 + D2a). `record_test_result`
+    // does NOT trust the agent-asserted `allPassed`; it recomputes it from the counts at
+    // the persistence boundary (`action-work-session.ts` record_test_result) so a
+    // fabricated `{0,0,0,0,true}` cannot read as "passing" with nothing passing. The
+    // derive is PER-testType: for the count-less gates (typecheck/lint/build) it is
+    // `failed===0 && skipped===0` (an honest clean run reports `{0,0,0,0}`); every other
+    // type uses the strict `total>0 && failed===0 && skipped===0 && passed===total`. A
+    // justified skip is therefore a FIRST-CLASS state — `skipped>0` always stores
+    // `allPassed:false` and is cleared by `skippedJustifications` + an approved
+    // resolution, never by flipping this flag (D3, MB.26.3). Callers writing this row
+    // directly (fixtures/seeds) MUST keep it consistent with the counts.
+    allPassed: z.boolean(),
+    output: z.string().optional(),
+    command: z.string().optional(),
+    exitCode: z.number().int().optional(),
+    durationMs: z.number().int().nonnegative().optional(),
+    errorCount: z.number().int().nonnegative().optional(),
+    warningCount: z.number().int().nonnegative().optional(),
+    summary: z.string().optional(),
+    suites: z.unknown().optional(),
+    skippedJustifications: z.array(z.string()).default([]),
+    failureJustifications: z.array(z.string()).default([]),
+    notes: z.string().optional(),
+    runAt: z.string().datetime(),
+});
+//# sourceMappingURL=work-session-test-result.js.map

package/node_modules/@specforge/session-types/dist/schema/work-session-test-result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-session-test-result.js","sourceRoot":"","sources":["../../src/schema/work-session-test-result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEjD,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,kFAAkF;IAClF,mFAAmF;IACnF,mFAAmF;IACnF,qFAAqF;IACrF,yBAAyB;IACzB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IAErB,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;IAE5B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACtC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACtC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAClD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACrC,gFAAgF;IAChF,qFAAqF;IACrF,8EAA8E;IAC9E,iFAAiF;IACjF,gFAAgF;IAChF,qFAAqF;IACrF,mFAAmF;IACnF,8EAA8E;IAC9E,4EAA4E;IAC5E,kFAAkF;IAClF,qEAAqE;IACrE,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;IAEtB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACrC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACrD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACrD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACvD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAE9B,qBAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACtD,qBAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACtD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAE5B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC,CAAC"}

package/node_modules/@specforge/session-types/dist/schema/work-session.d.ts

@@ -0,0 +1,203 @@
+import { z } from 'zod';
+/**
+ * WorkSession — the CHILD work-lifecycle session (1 active per ticket), owned by a
+ * parent ImplementationSession (1 active per spec) via `implementationSessionId`.
+ */
+export declare const WorkSessionSchema: z.ZodObject<{
+    id: z.ZodString;
+    ticketId: z.ZodString;
+    projectId: z.ZodString;
+    /**
+     * Denormalized spec scope (the live Amplify column `WorkSession.specificationId`
+     * is required — `resource.ts`). OPTIONAL on the runtime type because most reads
+     * derive spec from the ticket; it is surfaced on the reads that key off the spec
+     * (the `bySpecificationIdAndStatus` GSI — the M24.5b abort cascade enumerates the
+     * spec's non-terminal WorkSessions through it) so the denorm round-trips a
+     * full-row `relatedPut` without being wiped.
+     */
+    specificationId: z.ZodOptional<z.ZodString>;
+    /**
+     * FK to the parent ImplementationSession (1 ImplementationSession ⇄ N WorkSessions).
+     * REQUIRED at the type level: the TS surface intentionally leads the schema —
+     * the live Amplify column is still optional `a.id()`; making the DDB column
+     * required is M15.
+     */
+    implementationSessionId: z.ZodString;
+    status: z.ZodEnum<["active", "paused", "completed", "failed", "aborted"]>;
+    startedAt: z.ZodString;
+    completedAt: z.ZodOptional<z.ZodString>;
+    /**
+     * Worktree provenance — SWS-captured (M16.2), set once at session start and
+     * immutable. Records WHERE / on which branch this WorkSession ran (N WorkSessions
+     * ⇄ N worktrees under one ImplementationSession), so the orchestrator can
+     * re-dispatch a worker to the right worktree on reconnect (read via
+     * get_implementation_status, M19.4). Absent when the agent is not running inside a
+     * git worktree. DDB columns are M15.
+     */
+    worktreePath: z.ZodOptional<z.ZodString>;
+    branch: z.ZodOptional<z.ZodString>;
+    /**
+     * Session-specific block reason (M15.5 / M16) — lives here on WorkSession (session
+     * state, NOT ticket state; the Ticket-side field was purged in M15.5b). Written by a
+     * `blocking` `create_discovery` (the AWS write-plan Puts it onto the row alongside
+     * `Ticket.status='blocked'`) and cleared by the human `resolve_discovery`. The live
+     * Amplify column already exists (`resource.ts` `WorkSession.blockReason: a.string()`);
+     * the TS surface had drifted (no field) — mirrored here so the orchestrator dispatch
+     * read (`get_implementation_status`, M19.4) surfaces it. Absent when the session is
+     * not blocked (an unblocked / non-blocking-discovery pause carries no reason).
+     */
+    blockReason: z.ZodOptional<z.ZodString>;
+    /**
+     * Commit proof — per-WorkSession (NOT per-file). CWS holds the gate pass with
+     * guidance "commit your work first" until `commitSha` is present (M16.5);
+     * `gitEvidence` is the parsed git status/diff the assay reads for coherence
+     * (AWS/CWS). The DDB columns already exist live (`resource.ts`), so M15 only
+     * confirms them.
+     */
+    commitSha: z.ZodOptional<z.ZodString>;
+    gitEvidence: z.ZodOptional<z.ZodObject<{
+        branch: z.ZodOptional<z.ZodString>;
+        commitSha: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodString>;
+        diff: z.ZodOptional<z.ZodString>;
+        files: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            changeType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            changeType: string;
+        }, {
+            path: string;
+            changeType: string;
+        }>, "many">>;
+        insertions: z.ZodOptional<z.ZodNumber>;
+        deletions: z.ZodOptional<z.ZodNumber>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        branch: z.ZodOptional<z.ZodString>;
+        commitSha: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodString>;
+        diff: z.ZodOptional<z.ZodString>;
+        files: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            changeType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            changeType: string;
+        }, {
+            path: string;
+            changeType: string;
+        }>, "many">>;
+        insertions: z.ZodOptional<z.ZodNumber>;
+        deletions: z.ZodOptional<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        branch: z.ZodOptional<z.ZodString>;
+        commitSha: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodString>;
+        diff: z.ZodOptional<z.ZodString>;
+        files: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            changeType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            changeType: string;
+        }, {
+            path: string;
+            changeType: string;
+        }>, "many">>;
+        insertions: z.ZodOptional<z.ZodNumber>;
+        deletions: z.ZodOptional<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough">>>;
+    /**
+     * Coherence score (0–100) — the change-INDICATOR the assay computes (M17.4):
+     * `((1 − pctFilesJustified) + (1 − pctTestsJustified)) / 2`, present dims only. It
+     * is telemetry for the comparator, NOT a gate. CWS finalize writes it (M17.6 typed
+     * echo); the live Amplify column already exists (`resource.ts` `WorkSession.coherenceScore:
+     * a.float()`). The TS surface had drifted from Amplify (no field); M17.6 mirrors it
+     * here so the typed write/read round-trips. The persisted DDB round-trip is wired
+     * with the real stores in M19.
+     */
+    coherenceScore: z.ZodOptional<z.ZodNumber>;
+    /**
+     * Close-to-start elapsed (ML.1.3). Stamped ONCE at CWS finalize from
+     * `completedAt − startedAt` — the total wall-clock the session was open, NOT
+     * per-step time tracking (that is MP). `durationMs` is the exact elapsed in
+     * milliseconds; `actualMinutes` is that rounded to whole minutes (floored at 1
+     * for any positive elapsed) and is copied onto `Ticket.actualMinutes` on
+     * completion (the count-propagator folds it via the WorkSession stream, and the
+     * CWS success write-plan sets it directly). The live Amplify columns already
+     * exist (`resource.ts` `WorkSession.actualMinutes: a.integer()` /
+     * `durationMs: a.integer()`); the TS surface had no field — mirrored here so the
+     * typed write round-trips. Absent until the session completes.
+     */
+    actualMinutes: z.ZodOptional<z.ZodNumber>;
+    durationMs: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    status: "active" | "paused" | "completed" | "failed" | "aborted";
+    id: string;
+    projectId: string;
+    startedAt: string;
+    ticketId: string;
+    implementationSessionId: string;
+    specificationId?: string | undefined;
+    completedAt?: string | undefined;
+    durationMs?: number | undefined;
+    branch?: string | undefined;
+    commitSha?: string | undefined;
+    worktreePath?: string | undefined;
+    blockReason?: string | undefined;
+    gitEvidence?: z.objectOutputType<{
+        branch: z.ZodOptional<z.ZodString>;
+        commitSha: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodString>;
+        diff: z.ZodOptional<z.ZodString>;
+        files: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            changeType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            changeType: string;
+        }, {
+            path: string;
+            changeType: string;
+        }>, "many">>;
+        insertions: z.ZodOptional<z.ZodNumber>;
+        deletions: z.ZodOptional<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+    coherenceScore?: number | undefined;
+    actualMinutes?: number | undefined;
+}, {
+    status: "active" | "paused" | "completed" | "failed" | "aborted";
+    id: string;
+    projectId: string;
+    startedAt: string;
+    ticketId: string;
+    implementationSessionId: string;
+    specificationId?: string | undefined;
+    completedAt?: string | undefined;
+    durationMs?: number | undefined;
+    branch?: string | undefined;
+    commitSha?: string | undefined;
+    worktreePath?: string | undefined;
+    blockReason?: string | undefined;
+    gitEvidence?: z.objectInputType<{
+        branch: z.ZodOptional<z.ZodString>;
+        commitSha: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodString>;
+        diff: z.ZodOptional<z.ZodString>;
+        files: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            changeType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            changeType: string;
+        }, {
+            path: string;
+            changeType: string;
+        }>, "many">>;
+        insertions: z.ZodOptional<z.ZodNumber>;
+        deletions: z.ZodOptional<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough"> | undefined;
+    coherenceScore?: number | undefined;
+    actualMinutes?: number | undefined;
+}>;
+//# sourceMappingURL=work-session.d.ts.map

package/node_modules/@specforge/session-types/dist/schema/work-session.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-session.d.ts","sourceRoot":"","sources":["../../src/schema/work-session.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB;;;GAGG;AACH,eAAO,MAAM,iBAAiB;;;;IAK5B;;;;;;;OAOG;;IAGH;;;;;OAKG;;;;;IAOH;;;;;;;OAOG;;;IAIH;;;;;;;;;OASG;;IAGH;;;;;;OAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAIH;;;;;;;;OAQG;;IAGH;;;;;;;;;;;OAWG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGH,CAAC"}