@specforge/cli 0.1.0 → 0.2.5

package/node_modules/@specforge/session-types/dist/runtime/implementation-session-aggregate.d.ts

@@ -0,0 +1,489 @@
+import { z } from 'zod';
+/**
+ * ImplementationSessionAggregate — the projector output (1 row / ImplementationSession),
+ * the WORK analogue of `PlanningSessionAggregate` (M20.1). Holds the full §2.6 projection
+ * set the M24 observatory reads PRE-COMPUTED so it NEVER scans the `WorkSession` /
+ * `WorkSessionAction` tables.
+ *
+ * Keyed by `implementationSessionId` (custom PK, like `PlanningSessionAggregate`'s
+ * `planningSessionId`). Read spec-scoped via the `bySpecificationId` GSI (sort
+ * `lastUpdatedAt`).
+ *
+ * Fed by the `WorkSessionAction` + `ImplementationRecordEvent` streams (M15). Pure
+ * compute fns live in `@specforge/operations/aggregators/implementation`; the atomic
+ * apply lives in `@specforge/resolvers` (projector Lambda only).
+ *
+ * `aborted` handling (M24.5b kill-switch): `aborted` is TERMINAL for both entities. An
+ * `aborted` WorkSession drops out of the active/concurrency set (the active set keys off
+ * `status==='active'`); an `aborted` (or `completed`) ImplementationSession FREEZES this
+ * aggregate (terminal `status` → no further roll-up).
+ *
+ * All projection fields carry `.default(...)` so a legacy/seed row still parses — folded
+ * incrementally by the projector. The cursors (`lastProcessedActionId` /
+ * `lastProcessedEventId`) are the ULID idempotency guards (replay-safe).
+ */
+/** §2.6 #1 — denormalized work-session-derived counts (no-scan totals). */
+declare const DenormalizedCountsSchema: z.ZodObject<{
+    workSessionsStarted: z.ZodNumber;
+    workSessionsCompleted: z.ZodNumber;
+    ticketsTouched: z.ZodNumber;
+    ticketsBlocked: z.ZodNumber;
+    discoveriesReported: z.ZodNumber;
+    actionsTotal: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    actionsTotal: number;
+    workSessionsStarted: number;
+    workSessionsCompleted: number;
+    ticketsTouched: number;
+    ticketsBlocked: number;
+    discoveriesReported: number;
+}, {
+    actionsTotal: number;
+    workSessionsStarted: number;
+    workSessionsCompleted: number;
+    ticketsTouched: number;
+    ticketsBlocked: number;
+    discoveriesReported: number;
+}>;
+/** §2.6 #2 — concurrency datapoint: the active-WorkSession count after a start/complete. */
+declare const ConcurrencyPointSchema: z.ZodObject<{
+    at: z.ZodString;
+    activeCount: z.ZodNumber;
+    triggerActionId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    at: string;
+    triggerActionId: string;
+    activeCount: number;
+}, {
+    at: string;
+    triggerActionId: string;
+    activeCount: number;
+}>;
+/** §2.6 #3 — coherence datapoint (trajectory). */
+declare const CoherencePointSchema: z.ZodObject<{
+    at: z.ZodString;
+    score: z.ZodNumber;
+    workSessionId: z.ZodString;
+    triggerActionId: z.ZodString;
+    /**
+     * ML.1.5 — TRUE when this point's score is a VACUOUS 100 (nothing touched). The
+     * quality composite counts coherence toward `overall` ONLY over non-vacuous points, so
+     * a nothing-touched 100 no longer fabricates an earned score. Absent on legacy points →
+     * read as non-vacuous.
+     */
+    vacuous: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    at: string;
+    score: number;
+    triggerActionId: string;
+    workSessionId: string;
+    vacuous?: boolean | undefined;
+}, {
+    at: string;
+    score: number;
+    triggerActionId: string;
+    workSessionId: string;
+    vacuous?: boolean | undefined;
+}>;
+/** §2.6 #4 — test pass-rate tally (per ImplementationSession). */
+declare const TestPassRateSchema: z.ZodObject<{
+    passed: z.ZodNumber;
+    failed: z.ZodNumber;
+    skipped: z.ZodNumber;
+    total: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    failed: number;
+    passed: number;
+    skipped: number;
+    total: number;
+}, {
+    failed: number;
+    passed: number;
+    skipped: number;
+    total: number;
+}>;
+/** §2.6 #5 — first-pass yield rollup. `byTicket` is the per-ticket "passed on attempt 1?"
+ * memo that keeps the rollup incremental (first successful completion per ticket wins). */
+declare const FirstPassYieldSchema: z.ZodObject<{
+    passedFirstAttempt: z.ZodNumber;
+    ticketsCompleted: z.ZodNumber;
+    byTicket: z.ZodRecord<z.ZodString, z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    passedFirstAttempt: number;
+    ticketsCompleted: number;
+    byTicket: Record<string, boolean>;
+}, {
+    passedFirstAttempt: number;
+    ticketsCompleted: number;
+    byTicket: Record<string, boolean>;
+}>;
+/** §2.6 #7 — per-ticket quality-profile row. */
+declare const TicketQualityProfileSchema: z.ZodObject<{
+    ticketId: z.ZodString;
+    steps: z.ZodNumber;
+    acChecks: z.ZodNumber;
+    files: z.ZodNumber;
+    tests: z.ZodNumber;
+    retries: z.ZodNumber;
+    coherence: z.ZodOptional<z.ZodNumber>;
+    progress: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    tests: number;
+    files: number;
+    ticketId: string;
+    steps: number;
+    acChecks: number;
+    retries: number;
+    coherence?: number | undefined;
+    progress?: number | undefined;
+}, {
+    tests: number;
+    files: number;
+    ticketId: string;
+    steps: number;
+    acChecks: number;
+    retries: number;
+    coherence?: number | undefined;
+    progress?: number | undefined;
+}>;
+/**
+ * §2.6 #8 — quality composite (sub-scores derived from the other projections).
+ *
+ * ML.1.5 — `overall` is now gated on an EVIDENCE BASIS: it counts ONLY `testPass` (real
+ * `testPassRate.total>0`) and NON-VACUOUS `coherence`; `discovery` is dropped from
+ * `overall` (a filed discovery is desirable, not a defect — the raw count survives as the
+ * `discovery` sub-score). With no evidence, `overall` is `undefined` (withheld — never a
+ * fabricated 100). `confidence`/`evidenceBasis` describe what backs `overall`. Stored
+ * opaque via `a.json()` (`resource.ts` `qualityComposite`) → the new fields need no
+ * schema migration.
+ */
+declare const QualityCompositeSchema: z.ZodObject<{
+    coherence: z.ZodOptional<z.ZodNumber>;
+    testPass: z.ZodOptional<z.ZodNumber>;
+    discovery: z.ZodOptional<z.ZodNumber>;
+    estimation: z.ZodOptional<z.ZodNumber>;
+    overall: z.ZodOptional<z.ZodNumber>;
+    /**
+     * Which sub-scores carry real evidence for `overall` — a subset of
+     * `['tests','coherence']`. Empty ⇒ `overall` withheld.
+     */
+    evidenceBasis: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    /** `none` (no evidence) · `partial` (one basis) · `full` (both bases). */
+    confidence: z.ZodOptional<z.ZodEnum<["none", "partial", "full"]>>;
+}, "strip", z.ZodTypeAny, {
+    discovery?: number | undefined;
+    coherence?: number | undefined;
+    testPass?: number | undefined;
+    estimation?: number | undefined;
+    overall?: number | undefined;
+    evidenceBasis?: string[] | undefined;
+    confidence?: "partial" | "none" | "full" | undefined;
+}, {
+    discovery?: number | undefined;
+    coherence?: number | undefined;
+    testPass?: number | undefined;
+    estimation?: number | undefined;
+    overall?: number | undefined;
+    evidenceBasis?: string[] | undefined;
+    confidence?: "partial" | "none" | "full" | undefined;
+}>;
+export declare const ImplementationSessionAggregateSchema: z.ZodObject<{
+    implementationSessionId: z.ZodString;
+    specificationId: z.ZodString;
+    projectId: z.ZodString;
+    status: z.ZodDefault<z.ZodEnum<["active", "completed", "aborted"]>>;
+    denormalizedCounts: z.ZodDefault<z.ZodObject<{
+        workSessionsStarted: z.ZodNumber;
+        workSessionsCompleted: z.ZodNumber;
+        ticketsTouched: z.ZodNumber;
+        ticketsBlocked: z.ZodNumber;
+        discoveriesReported: z.ZodNumber;
+        actionsTotal: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        actionsTotal: number;
+        workSessionsStarted: number;
+        workSessionsCompleted: number;
+        ticketsTouched: number;
+        ticketsBlocked: number;
+        discoveriesReported: number;
+    }, {
+        actionsTotal: number;
+        workSessionsStarted: number;
+        workSessionsCompleted: number;
+        ticketsTouched: number;
+        ticketsBlocked: number;
+        discoveriesReported: number;
+    }>>;
+    concurrencySeries: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        at: z.ZodString;
+        activeCount: z.ZodNumber;
+        triggerActionId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        at: string;
+        triggerActionId: string;
+        activeCount: number;
+    }, {
+        at: string;
+        triggerActionId: string;
+        activeCount: number;
+    }>, "many">>;
+    concurrencyPeak: z.ZodDefault<z.ZodNumber>;
+    activeWorkSessionIds: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    coherenceSeries: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        at: z.ZodString;
+        score: z.ZodNumber;
+        workSessionId: z.ZodString;
+        triggerActionId: z.ZodString;
+        /**
+         * ML.1.5 — TRUE when this point's score is a VACUOUS 100 (nothing touched). The
+         * quality composite counts coherence toward `overall` ONLY over non-vacuous points, so
+         * a nothing-touched 100 no longer fabricates an earned score. Absent on legacy points →
+         * read as non-vacuous.
+         */
+        vacuous: z.ZodOptional<z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        at: string;
+        score: number;
+        triggerActionId: string;
+        workSessionId: string;
+        vacuous?: boolean | undefined;
+    }, {
+        at: string;
+        score: number;
+        triggerActionId: string;
+        workSessionId: string;
+        vacuous?: boolean | undefined;
+    }>, "many">>;
+    coherenceHistogram: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    testPassRate: z.ZodDefault<z.ZodObject<{
+        passed: z.ZodNumber;
+        failed: z.ZodNumber;
+        skipped: z.ZodNumber;
+        total: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        failed: number;
+        passed: number;
+        skipped: number;
+        total: number;
+    }, {
+        failed: number;
+        passed: number;
+        skipped: number;
+        total: number;
+    }>>;
+    firstPassYield: z.ZodDefault<z.ZodObject<{
+        passedFirstAttempt: z.ZodNumber;
+        ticketsCompleted: z.ZodNumber;
+        byTicket: z.ZodRecord<z.ZodString, z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        passedFirstAttempt: number;
+        ticketsCompleted: number;
+        byTicket: Record<string, boolean>;
+    }, {
+        passedFirstAttempt: number;
+        ticketsCompleted: number;
+        byTicket: Record<string, boolean>;
+    }>>;
+    gateAttemptMatrix: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodRecord<z.ZodString, z.ZodNumber>>>;
+    opsMix: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    dimensionMix: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodNumber>>;
+    ticketQualityProfiles: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+        ticketId: z.ZodString;
+        steps: z.ZodNumber;
+        acChecks: z.ZodNumber;
+        files: z.ZodNumber;
+        tests: z.ZodNumber;
+        retries: z.ZodNumber;
+        coherence: z.ZodOptional<z.ZodNumber>;
+        progress: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        tests: number;
+        files: number;
+        ticketId: string;
+        steps: number;
+        acChecks: number;
+        retries: number;
+        coherence?: number | undefined;
+        progress?: number | undefined;
+    }, {
+        tests: number;
+        files: number;
+        ticketId: string;
+        steps: number;
+        acChecks: number;
+        retries: number;
+        coherence?: number | undefined;
+        progress?: number | undefined;
+    }>>>;
+    qualityComposite: z.ZodDefault<z.ZodObject<{
+        coherence: z.ZodOptional<z.ZodNumber>;
+        testPass: z.ZodOptional<z.ZodNumber>;
+        discovery: z.ZodOptional<z.ZodNumber>;
+        estimation: z.ZodOptional<z.ZodNumber>;
+        overall: z.ZodOptional<z.ZodNumber>;
+        /**
+         * Which sub-scores carry real evidence for `overall` — a subset of
+         * `['tests','coherence']`. Empty ⇒ `overall` withheld.
+         */
+        evidenceBasis: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        /** `none` (no evidence) · `partial` (one basis) · `full` (both bases). */
+        confidence: z.ZodOptional<z.ZodEnum<["none", "partial", "full"]>>;
+    }, "strip", z.ZodTypeAny, {
+        discovery?: number | undefined;
+        coherence?: number | undefined;
+        testPass?: number | undefined;
+        estimation?: number | undefined;
+        overall?: number | undefined;
+        evidenceBasis?: string[] | undefined;
+        confidence?: "partial" | "none" | "full" | undefined;
+    }, {
+        discovery?: number | undefined;
+        coherence?: number | undefined;
+        testPass?: number | undefined;
+        estimation?: number | undefined;
+        overall?: number | undefined;
+        evidenceBasis?: string[] | undefined;
+        confidence?: "partial" | "none" | "full" | undefined;
+    }>>;
+    lastProcessedActionId: z.ZodOptional<z.ZodString>;
+    lastProcessedEventId: z.ZodOptional<z.ZodString>;
+    lastUpdatedAt: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    status: "active" | "completed" | "aborted";
+    specificationId: string;
+    projectId: string;
+    opsMix: Record<string, number>;
+    lastUpdatedAt: string;
+    implementationSessionId: string;
+    denormalizedCounts: {
+        actionsTotal: number;
+        workSessionsStarted: number;
+        workSessionsCompleted: number;
+        ticketsTouched: number;
+        ticketsBlocked: number;
+        discoveriesReported: number;
+    };
+    concurrencySeries: {
+        at: string;
+        triggerActionId: string;
+        activeCount: number;
+    }[];
+    concurrencyPeak: number;
+    activeWorkSessionIds: string[];
+    coherenceSeries: {
+        at: string;
+        score: number;
+        triggerActionId: string;
+        workSessionId: string;
+        vacuous?: boolean | undefined;
+    }[];
+    coherenceHistogram: Record<string, number>;
+    testPassRate: {
+        failed: number;
+        passed: number;
+        skipped: number;
+        total: number;
+    };
+    firstPassYield: {
+        passedFirstAttempt: number;
+        ticketsCompleted: number;
+        byTicket: Record<string, boolean>;
+    };
+    gateAttemptMatrix: Record<string, Record<string, number>>;
+    dimensionMix: Record<string, number>;
+    ticketQualityProfiles: Record<string, {
+        tests: number;
+        files: number;
+        ticketId: string;
+        steps: number;
+        acChecks: number;
+        retries: number;
+        coherence?: number | undefined;
+        progress?: number | undefined;
+    }>;
+    qualityComposite: {
+        discovery?: number | undefined;
+        coherence?: number | undefined;
+        testPass?: number | undefined;
+        estimation?: number | undefined;
+        overall?: number | undefined;
+        evidenceBasis?: string[] | undefined;
+        confidence?: "partial" | "none" | "full" | undefined;
+    };
+    lastProcessedActionId?: string | undefined;
+    lastProcessedEventId?: string | undefined;
+}, {
+    specificationId: string;
+    projectId: string;
+    lastUpdatedAt: string;
+    implementationSessionId: string;
+    status?: "active" | "completed" | "aborted" | undefined;
+    opsMix?: Record<string, number> | undefined;
+    lastProcessedActionId?: string | undefined;
+    denormalizedCounts?: {
+        actionsTotal: number;
+        workSessionsStarted: number;
+        workSessionsCompleted: number;
+        ticketsTouched: number;
+        ticketsBlocked: number;
+        discoveriesReported: number;
+    } | undefined;
+    concurrencySeries?: {
+        at: string;
+        triggerActionId: string;
+        activeCount: number;
+    }[] | undefined;
+    concurrencyPeak?: number | undefined;
+    activeWorkSessionIds?: string[] | undefined;
+    coherenceSeries?: {
+        at: string;
+        score: number;
+        triggerActionId: string;
+        workSessionId: string;
+        vacuous?: boolean | undefined;
+    }[] | undefined;
+    coherenceHistogram?: Record<string, number> | undefined;
+    testPassRate?: {
+        failed: number;
+        passed: number;
+        skipped: number;
+        total: number;
+    } | undefined;
+    firstPassYield?: {
+        passedFirstAttempt: number;
+        ticketsCompleted: number;
+        byTicket: Record<string, boolean>;
+    } | undefined;
+    gateAttemptMatrix?: Record<string, Record<string, number>> | undefined;
+    dimensionMix?: Record<string, number> | undefined;
+    ticketQualityProfiles?: Record<string, {
+        tests: number;
+        files: number;
+        ticketId: string;
+        steps: number;
+        acChecks: number;
+        retries: number;
+        coherence?: number | undefined;
+        progress?: number | undefined;
+    }> | undefined;
+    qualityComposite?: {
+        discovery?: number | undefined;
+        coherence?: number | undefined;
+        testPass?: number | undefined;
+        estimation?: number | undefined;
+        overall?: number | undefined;
+        evidenceBasis?: string[] | undefined;
+        confidence?: "partial" | "none" | "full" | undefined;
+    } | undefined;
+    lastProcessedEventId?: string | undefined;
+}>;
+export type ImplementationSessionAggregate = z.infer<typeof ImplementationSessionAggregateSchema>;
+export type ImplementationDenormalizedCounts = z.infer<typeof DenormalizedCountsSchema>;
+export type ImplementationConcurrencyPoint = z.infer<typeof ConcurrencyPointSchema>;
+export type ImplementationCoherencePoint = z.infer<typeof CoherencePointSchema>;
+export type ImplementationTestPassRate = z.infer<typeof TestPassRateSchema>;
+export type ImplementationFirstPassYield = z.infer<typeof FirstPassYieldSchema>;
+export type ImplementationTicketQualityProfile = z.infer<typeof TicketQualityProfileSchema>;
+export type ImplementationQualityComposite = z.infer<typeof QualityCompositeSchema>;
+export {};
+//# sourceMappingURL=implementation-session-aggregate.d.ts.map

package/node_modules/@specforge/session-types/dist/runtime/implementation-session-aggregate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"implementation-session-aggregate.d.ts","sourceRoot":"","sources":["../../src/runtime/implementation-session-aggregate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,2EAA2E;AAC3E,QAAA,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;EAO5B,CAAC;AAEH,4FAA4F;AAC5F,QAAA,MAAM,sBAAsB;;;;;;;;;;;;EAI1B,CAAC;AAEH,kDAAkD;AAClD,QAAA,MAAM,oBAAoB;;;;;IAKxB;;;;;OAKG;;;;;;;;;;;;;;EAEH,CAAC;AAEH,kEAAkE;AAClE,QAAA,MAAM,kBAAkB;;;;;;;;;;;;;;;EAKtB,CAAC;AAEH;2FAC2F;AAC3F,QAAA,MAAM,oBAAoB;;;;;;;;;;;;EAIxB,CAAC;AAEH,gDAAgD;AAChD,QAAA,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;EAS9B,CAAC;AAEH;;;;;;;;;;GAUG;AACH,QAAA,MAAM,sBAAsB;;;;;;IAM1B;;;OAGG;;IAEH,0EAA0E;;;;;;;;;;;;;;;;;;EAE1E,CAAC;AAEH,eAAO,MAAM,oCAAoC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA/D/C;;;;;WAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAiDH;;;WAGG;;QAEH,0EAA0E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6D1E,CAAC;AAEH,MAAM,MAAM,8BAA8B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oCAAoC,CAAC,CAAC;AAClG,MAAM,MAAM,gCAAgC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AACxF,MAAM,MAAM,8BAA8B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AACpF,MAAM,MAAM,4BAA4B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAChF,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAC5E,MAAM,MAAM,4BAA4B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAChF,MAAM,MAAM,kCAAkC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAC5F,MAAM,MAAM,8BAA8B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC"}

package/node_modules/@specforge/session-types/dist/runtime/implementation-session-aggregate.js

@@ -0,0 +1,152 @@
+import { z } from 'zod';
+import { IMPLEMENTATION_SESSION_STATUSES } from './enums.js';
+/**
+ * ImplementationSessionAggregate — the projector output (1 row / ImplementationSession),
+ * the WORK analogue of `PlanningSessionAggregate` (M20.1). Holds the full §2.6 projection
+ * set the M24 observatory reads PRE-COMPUTED so it NEVER scans the `WorkSession` /
+ * `WorkSessionAction` tables.
+ *
+ * Keyed by `implementationSessionId` (custom PK, like `PlanningSessionAggregate`'s
+ * `planningSessionId`). Read spec-scoped via the `bySpecificationId` GSI (sort
+ * `lastUpdatedAt`).
+ *
+ * Fed by the `WorkSessionAction` + `ImplementationRecordEvent` streams (M15). Pure
+ * compute fns live in `@specforge/operations/aggregators/implementation`; the atomic
+ * apply lives in `@specforge/resolvers` (projector Lambda only).
+ *
+ * `aborted` handling (M24.5b kill-switch): `aborted` is TERMINAL for both entities. An
+ * `aborted` WorkSession drops out of the active/concurrency set (the active set keys off
+ * `status==='active'`); an `aborted` (or `completed`) ImplementationSession FREEZES this
+ * aggregate (terminal `status` → no further roll-up).
+ *
+ * All projection fields carry `.default(...)` so a legacy/seed row still parses — folded
+ * incrementally by the projector. The cursors (`lastProcessedActionId` /
+ * `lastProcessedEventId`) are the ULID idempotency guards (replay-safe).
+ */
+/** §2.6 #1 — denormalized work-session-derived counts (no-scan totals). */
+const DenormalizedCountsSchema = z.object({
+    workSessionsStarted: z.number().int().nonnegative(),
+    workSessionsCompleted: z.number().int().nonnegative(),
+    ticketsTouched: z.number().int().nonnegative(),
+    ticketsBlocked: z.number().int().nonnegative(),
+    discoveriesReported: z.number().int().nonnegative(),
+    actionsTotal: z.number().int().nonnegative(),
+});
+/** §2.6 #2 — concurrency datapoint: the active-WorkSession count after a start/complete. */
+const ConcurrencyPointSchema = z.object({
+    at: z.string().datetime(),
+    activeCount: z.number().int().nonnegative(),
+    triggerActionId: z.string(),
+});
+/** §2.6 #3 — coherence datapoint (trajectory). */
+const CoherencePointSchema = z.object({
+    at: z.string().datetime(),
+    score: z.number(),
+    workSessionId: z.string(),
+    triggerActionId: z.string(),
+    /**
+     * ML.1.5 — TRUE when this point's score is a VACUOUS 100 (nothing touched). The
+     * quality composite counts coherence toward `overall` ONLY over non-vacuous points, so
+     * a nothing-touched 100 no longer fabricates an earned score. Absent on legacy points →
+     * read as non-vacuous.
+     */
+    vacuous: z.boolean().optional(),
+});
+/** §2.6 #4 — test pass-rate tally (per ImplementationSession). */
+const TestPassRateSchema = z.object({
+    passed: z.number().int().nonnegative(),
+    failed: z.number().int().nonnegative(),
+    skipped: z.number().int().nonnegative(),
+    total: z.number().int().nonnegative(),
+});
+/** §2.6 #5 — first-pass yield rollup. `byTicket` is the per-ticket "passed on attempt 1?"
+ * memo that keeps the rollup incremental (first successful completion per ticket wins). */
+const FirstPassYieldSchema = z.object({
+    passedFirstAttempt: z.number().int().nonnegative(),
+    ticketsCompleted: z.number().int().nonnegative(),
+    byTicket: z.record(z.string(), z.boolean()),
+});
+/** §2.6 #7 — per-ticket quality-profile row. */
+const TicketQualityProfileSchema = z.object({
+    ticketId: z.string(),
+    steps: z.number().int().nonnegative(),
+    acChecks: z.number().int().nonnegative(),
+    files: z.number().int().nonnegative(),
+    tests: z.number().int().nonnegative(),
+    retries: z.number().int().nonnegative(),
+    coherence: z.number().optional(),
+    progress: z.number().optional(),
+});
+/**
+ * §2.6 #8 — quality composite (sub-scores derived from the other projections).
+ *
+ * ML.1.5 — `overall` is now gated on an EVIDENCE BASIS: it counts ONLY `testPass` (real
+ * `testPassRate.total>0`) and NON-VACUOUS `coherence`; `discovery` is dropped from
+ * `overall` (a filed discovery is desirable, not a defect — the raw count survives as the
+ * `discovery` sub-score). With no evidence, `overall` is `undefined` (withheld — never a
+ * fabricated 100). `confidence`/`evidenceBasis` describe what backs `overall`. Stored
+ * opaque via `a.json()` (`resource.ts` `qualityComposite`) → the new fields need no
+ * schema migration.
+ */
+const QualityCompositeSchema = z.object({
+    coherence: z.number().optional(),
+    testPass: z.number().optional(),
+    discovery: z.number().optional(),
+    estimation: z.number().optional(),
+    overall: z.number().optional(),
+    /**
+     * Which sub-scores carry real evidence for `overall` — a subset of
+     * `['tests','coherence']`. Empty ⇒ `overall` withheld.
+     */
+    evidenceBasis: z.array(z.string()).optional(),
+    /** `none` (no evidence) · `partial` (one basis) · `full` (both bases). */
+    confidence: z.enum(['none', 'partial', 'full']).optional(),
+});
+export const ImplementationSessionAggregateSchema = z.object({
+    implementationSessionId: z.string(), // custom PK
+    specificationId: z.string(),
+    projectId: z.string(),
+    // Terminal-freeze flag (M24.5b). `aborted`/`completed` → the aggregate is frozen.
+    status: z.enum(IMPLEMENTATION_SESSION_STATUSES).default('active'),
+    // §2.6 #1 — denormalized counts.
+    denormalizedCounts: DenormalizedCountsSchema.default({
+        workSessionsStarted: 0,
+        workSessionsCompleted: 0,
+        ticketsTouched: 0,
+        ticketsBlocked: 0,
+        discoveriesReported: 0,
+        actionsTotal: 0,
+    }),
+    // §2.6 #2 — concurrency time series (active WorkSessions per start/complete event).
+    // `activeWorkSessionIds` is the live active set (keyed off status==='active'); an
+    // aborted/completed WS leaves it, so it drops from the series — sorted for determinism.
+    concurrencySeries: z.array(ConcurrencyPointSchema).default([]),
+    concurrencyPeak: z.number().int().nonnegative().default(0),
+    activeWorkSessionIds: z.array(z.string()).default([]),
+    // §2.6 #3 — coherence series + histogram (20-wide buckets: '0-20'…'80-100').
+    coherenceSeries: z.array(CoherencePointSchema).default([]),
+    coherenceHistogram: z.record(z.string(), z.number().int().nonnegative()).default({}),
+    // §2.6 #4 — test pass-rate.
+    testPassRate: TestPassRateSchema.default({ passed: 0, failed: 0, skipped: 0, total: 0 }),
+    // §2.6 #5 — first-pass yield + gate-attempt matrix (gate → attempt# → fail count).
+    firstPassYield: FirstPassYieldSchema.default({
+        passedFirstAttempt: 0,
+        ticketsCompleted: 0,
+        byTicket: {},
+    }),
+    gateAttemptMatrix: z
+        .record(z.string(), z.record(z.string(), z.number().int().nonnegative()))
+        .default({}),
+    // §2.6 #6 — ops mix (operation + dimension histograms).
+    opsMix: z.record(z.string(), z.number().int().nonnegative()).default({}),
+    dimensionMix: z.record(z.string(), z.number().int().nonnegative()).default({}),
+    // §2.6 #7 — per-ticket quality profiles.
+    ticketQualityProfiles: z.record(z.string(), TicketQualityProfileSchema).default({}),
+    // §2.6 #8 — quality composite.
+    qualityComposite: QualityCompositeSchema.default({}),
+    // ULID idempotency cursors (the no-double-count guards).
+    lastProcessedActionId: z.string().optional(),
+    lastProcessedEventId: z.string().optional(),
+    lastUpdatedAt: z.string().datetime(),
+});
+//# sourceMappingURL=implementation-session-aggregate.js.map

package/node_modules/@specforge/session-types/dist/runtime/implementation-session-aggregate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"implementation-session-aggregate.js","sourceRoot":"","sources":["../../src/runtime/implementation-session-aggregate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,+BAA+B,EAAE,MAAM,YAAY,CAAC;AAE7D;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,2EAA2E;AAC3E,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACnD,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACrD,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC9C,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC9C,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACnD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CAC7C,CAAC,CAAC;AAEH,4FAA4F;AAC5F,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACzB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC3C,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE;CAC5B,CAAC,CAAC;AAEH,kDAAkD;AAClD,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACzB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE;IAC3B;;;;;OAKG;IACH,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CAChC,CAAC,CAAC;AAEH,kEAAkE;AAClE,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,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;IACvC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CACtC,CAAC,CAAC;AAEH;2FAC2F;AAC3F,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAClD,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAChD,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;CAC5C,CAAC,CAAC;AAEH,gDAAgD;AAChD,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACrC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACxC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACrC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACrC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACvC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAChC,CAAC,CAAC;AAEH;;;;;;;;;;GAUG;AACH,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B;;;OAGG;IACH,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC7C,0EAA0E;IAC1E,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC3D,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3D,uBAAuB,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,YAAY;IACjD,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE;IAC3B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IAErB,kFAAkF;IAClF,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IAEjE,iCAAiC;IACjC,kBAAkB,EAAE,wBAAwB,CAAC,OAAO,CAAC;QACnD,mBAAmB,EAAE,CAAC;QACtB,qBAAqB,EAAE,CAAC;QACxB,cAAc,EAAE,CAAC;QACjB,cAAc,EAAE,CAAC;QACjB,mBAAmB,EAAE,CAAC;QACtB,YAAY,EAAE,CAAC;KAChB,CAAC;IAEF,oFAAoF;IACpF,kFAAkF;IAClF,wFAAwF;IACxF,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC9D,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1D,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAErD,6EAA6E;IAC7E,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC1D,kBAAkB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAEpF,4BAA4B;IAC5B,YAAY,EAAE,kBAAkB,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAExF,mFAAmF;IACnF,cAAc,EAAE,oBAAoB,CAAC,OAAO,CAAC;QAC3C,kBAAkB,EAAE,CAAC;QACrB,gBAAgB,EAAE,CAAC;QACnB,QAAQ,EAAE,EAAE;KACb,CAAC;IACF,iBAAiB,EAAE,CAAC;SACjB,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;SACxE,OAAO,CAAC,EAAE,CAAC;IAEd,wDAAwD;IACxD,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACxE,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAE9E,yCAAyC;IACzC,qBAAqB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,0BAA0B,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAEnF,+BAA+B;IAC/B,gBAAgB,EAAE,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;IAEpD,yDAAyD;IACzD,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5C,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAE3C,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACrC,CAAC,CAAC"}

package/node_modules/@specforge/session-types/dist/runtime/implementation-session.d.ts

@@ -0,0 +1,8 @@
+import type { z } from 'zod';
+import type { ImplementationSessionSchema } from '../schema/implementation-session.js';
+/**
+ * Runtime type for the parent ImplementationSession. See ImplementationSessionSchema.
+ * 1 ImplementationSession ⇄ N WorkSessions (FK `WorkSession.implementationSessionId`).
+ */
+export type ImplementationSession = z.infer<typeof ImplementationSessionSchema>;
+//# sourceMappingURL=implementation-session.d.ts.map

package/node_modules/@specforge/session-types/dist/runtime/implementation-session.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"implementation-session.d.ts","sourceRoot":"","sources":["../../src/runtime/implementation-session.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAC7B,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,qCAAqC,CAAC;AAEvF;;;GAGG;AACH,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC"}

package/node_modules/@specforge/session-types/dist/runtime/implementation-session.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=implementation-session.js.map

package/node_modules/@specforge/session-types/dist/runtime/implementation-session.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"implementation-session.js","sourceRoot":"","sources":["../../src/runtime/implementation-session.ts"],"names":[],"mappings":""}