@specforge/canary-cli 0.2.0 → 0.2.2

package/node_modules/@specforge/spec-types/dist/schema/specification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"specification.d.ts","sourceRoot":"","sources":["../../src/schema/specification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAqBxB,eAAO,MAAM,cAAc,+GAGzB,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEjE,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkC9B,CAAC;AAEH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC"}

package/node_modules/@specforge/spec-types/dist/schema/specification.js

@@ -0,0 +1,44 @@
+import { z } from 'zod';
+import { EpicSchema } from './epic.js';
+import { BlueprintSchema } from './blueprint.js';
+import { AcceptanceCriterionSchema, FieldDeclarationSchema } from './auxiliary.js';
+import { GoalSchema, RequirementSchema, NonFunctionalRequirementSchema, GuardrailSchema, ScopeSchema, TechStackItemSchema, StructureItemSchema, EpicTargetsSchema, SharedPatternSchema, } from './planning/index.js';
+// Runtime/model status vocabulary (the Specification `status` column). Canonical home
+// so the ME.14.2 APS enum write-guard (update_spec) + the validator enum-parity guard
+// share one source with the AppSync model — an out-of-enum status poisons the whole
+// getSpecFull read. Named `SpecificationStatus` to avoid clashing with session-types'
+// `SpecStatus`. The public SpecificationSchema keeps `status` loose (products narrow).
+export const SpecStatusEnum = z.enum([
+    'draft', 'planning', 'ready', 'in_progress',
+    'ready_for_review', 'in_review', 'reviewed', 'done',
+]);
+export const SpecificationSchema = z.object({
+    schemaVersion: z.literal('1.1'),
+    id: z.string(),
+    projectId: z.string(),
+    title: z.string().min(1),
+    description: z.string().optional(),
+    // Loose at the public schema level — products can narrow.
+    status: z.string(),
+    // Critical structured fields
+    goals: z.array(GoalSchema).min(3),
+    requirements: z.array(RequirementSchema).min(3),
+    architecture: z.string(),
+    scope: ScopeSchema,
+    // Recommended structured fields
+    techStack: z.array(TechStackItemSchema),
+    folderStructures: z.array(StructureItemSchema).min(1),
+    acceptanceCriteria: z.array(AcceptanceCriterionSchema),
+    nonFunctionalRequirements: z.array(NonFunctionalRequirementSchema),
+    sharedPatterns: z.array(SharedPatternSchema).optional(),
+    guardrails: z.array(GuardrailSchema),
+    // Enrichment (loose)
+    background: z.string().optional(),
+    // Children
+    epics: z.array(EpicSchema),
+    blueprints: z.array(BlueprintSchema),
+    fieldDeclarations: z.record(z.string(), FieldDeclarationSchema).optional(),
+    epicTargets: EpicTargetsSchema.optional(),
+    estimatedMinutes: z.number().int().min(0).optional(),
+});
+//# sourceMappingURL=specification.js.map

package/node_modules/@specforge/spec-types/dist/schema/specification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"specification.js","sourceRoot":"","sources":["../../src/schema/specification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AACnF,OAAO,EACL,UAAU,EACV,iBAAiB,EACjB,8BAA8B,EAC9B,eAAe,EACf,WAAW,EACX,mBAAmB,EACnB,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,qBAAqB,CAAC;AAE7B,sFAAsF;AACtF,sFAAsF;AACtF,oFAAoF;AACpF,sFAAsF;AACtF,uFAAuF;AACvF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,CAAC;IACnC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa;IAC3C,kBAAkB,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM;CACpD,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IAC/B,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAElC,0DAA0D;IAC1D,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAElB,6BAA6B;IAC7B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACxB,KAAK,EAAE,WAAW;IAElB,gCAAgC;IAChC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;IACvC,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC;IACtD,yBAAyB,EAAE,CAAC,CAAC,KAAK,CAAC,8BAA8B,CAAC;IAClE,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,QAAQ,EAAE;IACvD,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;IAEpC,qBAAqB;IACrB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAEjC,WAAW;IACX,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC;IAC1B,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;IAEpC,iBAAiB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,QAAQ,EAAE;IAC1E,WAAW,EAAE,iBAAiB,CAAC,QAAQ,EAAE;IACzC,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACrD,CAAC,CAAC"}

package/node_modules/@specforge/spec-types/dist/schema/step-link-coverage.d.ts

@@ -0,0 +1,58 @@
+/**
+ * MB.15.6 — the per-ticket step↔file/snippet link-coverage counters, materialized
+ * onto the `Ticket` row at LINK-WRITE time so the observatory's Plan-Health
+ * indicator refreshes LIVE off the EXISTING Ticket subscription (no new
+ * subscription, no stream on the join tables).
+ *
+ * The four counters mirror EXACTLY the `ticket_expansion` link-gate semantics
+ * (`@specforge/validator` `cross-validation/step-file-links.ts`), so the
+ * observatory number and the gate agree:
+ *  - `implementationStepCount`   total implementation steps (coverage denominator)
+ *  - `stepsWithLinkedFileCount`  steps linking ≥1 file (coverage numerator)
+ *  - `orphanFileChangeCount`     produced (role `creates`/`modifies`) files no step links
+ *  - `orphanSnippetCount`        code+type snippets no step links
+ *
+ * ⚠ SCOPE parity: the link gate runs ONLY on `ticketType === 'implementation'`
+ * (verification tickets may carry file-less steps by design). A non-implementation
+ * ticket returns ALL ZEROES here so it neither contributes to the coverage
+ * numerator/denominator nor reports phantom orphans.
+ *
+ * Lives in the low-level `spec-types` so BOTH write paths that mint the join rows
+ * can import it (the projection-scored `@specforge/core` and the persistence
+ * `@specforge/lifecycle` buildOpWriteItems) — `@specforge/core` cannot import
+ * `@specforge/lifecycle`, mirroring the `step-link-ids` single-source precedent.
+ */
+/** The recomposed / projected read-shape the coverage counters are derived from. */
+export interface TicketLinkCoverageInput {
+    ticketType?: string | null;
+    implementationSteps?: ReadonlyArray<{
+        linkedFileIds?: readonly string[] | null;
+        linkedCodeSnippetIds?: readonly string[] | null;
+        linkedTypeSnippetIds?: readonly string[] | null;
+    } | null> | null;
+    /** The id-bearing file-change sidecar (`{ id, path, kind }`); orphan-file reads it. */
+    fileChangeRefs?: ReadonlyArray<{
+        id?: string | null;
+        kind?: string | null;
+    } | null> | null;
+    codeSnippets?: ReadonlyArray<{
+        id?: string | null;
+    } | null> | null;
+    typeSnippets?: ReadonlyArray<{
+        id?: string | null;
+    } | null> | null;
+}
+/** The four materialized per-ticket link-coverage counters. */
+export interface TicketLinkCoverage {
+    implementationStepCount: number;
+    stepsWithLinkedFileCount: number;
+    orphanFileChangeCount: number;
+    orphanSnippetCount: number;
+}
+/**
+ * Compute the four link-coverage counters for a single ticket. Pure + deterministic;
+ * the ONLY source of the materialized numbers, shared by both write paths (projection
+ * + persistence) so the observatory agrees with the ticket_expansion gate.
+ */
+export declare function computeTicketLinkCoverage(ticket: TicketLinkCoverageInput): TicketLinkCoverage;
+//# sourceMappingURL=step-link-coverage.d.ts.map

package/node_modules/@specforge/spec-types/dist/schema/step-link-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"step-link-coverage.d.ts","sourceRoot":"","sources":["../../src/schema/step-link-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,oFAAoF;AACpF,MAAM,WAAW,uBAAuB;IACtC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,mBAAmB,CAAC,EAAE,aAAa,CAAC;QAClC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;QACzC,oBAAoB,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;QAChD,oBAAoB,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;KACjD,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IACjB,uFAAuF;IACvF,cAAc,CAAC,EAAE,aAAa,CAAC;QAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC3F,YAAY,CAAC,EAAE,aAAa,CAAC;QAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IACnE,YAAY,CAAC,EAAE,aAAa,CAAC;QAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;CACpE;AAED,+DAA+D;AAC/D,MAAM,WAAW,kBAAkB;IACjC,uBAAuB,EAAE,MAAM,CAAC;IAChC,wBAAwB,EAAE,MAAM,CAAC;IACjC,qBAAqB,EAAE,MAAM,CAAC;IAC9B,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AASD;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,uBAAuB,GAAG,kBAAkB,CA6C7F"}

package/node_modules/@specforge/spec-types/dist/schema/step-link-coverage.js

@@ -0,0 +1,73 @@
+/**
+ * MB.15.6 — the per-ticket step↔file/snippet link-coverage counters, materialized
+ * onto the `Ticket` row at LINK-WRITE time so the observatory's Plan-Health
+ * indicator refreshes LIVE off the EXISTING Ticket subscription (no new
+ * subscription, no stream on the join tables).
+ *
+ * The four counters mirror EXACTLY the `ticket_expansion` link-gate semantics
+ * (`@specforge/validator` `cross-validation/step-file-links.ts`), so the
+ * observatory number and the gate agree:
+ *  - `implementationStepCount`   total implementation steps (coverage denominator)
+ *  - `stepsWithLinkedFileCount`  steps linking ≥1 file (coverage numerator)
+ *  - `orphanFileChangeCount`     produced (role `creates`/`modifies`) files no step links
+ *  - `orphanSnippetCount`        code+type snippets no step links
+ *
+ * ⚠ SCOPE parity: the link gate runs ONLY on `ticketType === 'implementation'`
+ * (verification tickets may carry file-less steps by design). A non-implementation
+ * ticket returns ALL ZEROES here so it neither contributes to the coverage
+ * numerator/denominator nor reports phantom orphans.
+ *
+ * Lives in the low-level `spec-types` so BOTH write paths that mint the join rows
+ * can import it (the projection-scored `@specforge/core` and the persistence
+ * `@specforge/lifecycle` buildOpWriteItems) — `@specforge/core` cannot import
+ * `@specforge/lifecycle`, mirroring the `step-link-ids` single-source precedent.
+ */
+const ZERO_COVERAGE = {
+    implementationStepCount: 0,
+    stepsWithLinkedFileCount: 0,
+    orphanFileChangeCount: 0,
+    orphanSnippetCount: 0,
+};
+/**
+ * Compute the four link-coverage counters for a single ticket. Pure + deterministic;
+ * the ONLY source of the materialized numbers, shared by both write paths (projection
+ * + persistence) so the observatory agrees with the ticket_expansion gate.
+ */
+export function computeTicketLinkCoverage(ticket) {
+    // Parity with the gate: only implementation tickets are link-scored.
+    if (ticket.ticketType !== 'implementation')
+        return { ...ZERO_COVERAGE };
+    const steps = (ticket.implementationSteps ?? []).filter((s) => s != null);
+    const linkedFileIds = new Set();
+    const linkedCodeIds = new Set();
+    const linkedTypeIds = new Set();
+    let stepsWithLinkedFileCount = 0;
+    for (const step of steps) {
+        const files = step.linkedFileIds ?? [];
+        if (files.length > 0)
+            stepsWithLinkedFileCount += 1;
+        for (const id of files)
+            linkedFileIds.add(id);
+        for (const id of step.linkedCodeSnippetIds ?? [])
+            linkedCodeIds.add(id);
+        for (const id of step.linkedTypeSnippetIds ?? [])
+            linkedTypeIds.add(id);
+    }
+    // orphan-file: produced (role `creates`/`modifies`) files linked by no step.
+    // ME.19.2 (D17) — sourced off the step-file roles, not the abolished
+    // `toBeCreated`/`toBeModified` authoring kinds.
+    const orphanFileChangeCount = (ticket.fileChangeRefs ?? []).filter((f) => f != null &&
+        (f.kind === 'creates' || f.kind === 'modifies') &&
+        typeof f.id === 'string' &&
+        !linkedFileIds.has(f.id)).length;
+    // orphan-snippet: a code/type snippet linking no step.
+    const orphanCode = (ticket.codeSnippets ?? []).filter((c) => c != null && typeof c.id === 'string' && !linkedCodeIds.has(c.id)).length;
+    const orphanType = (ticket.typeSnippets ?? []).filter((c) => c != null && typeof c.id === 'string' && !linkedTypeIds.has(c.id)).length;
+    return {
+        implementationStepCount: steps.length,
+        stepsWithLinkedFileCount,
+        orphanFileChangeCount,
+        orphanSnippetCount: orphanCode + orphanType,
+    };
+}
+//# sourceMappingURL=step-link-coverage.js.map

package/node_modules/@specforge/spec-types/dist/schema/step-link-coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"step-link-coverage.js","sourceRoot":"","sources":["../../src/schema/step-link-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAwBH,MAAM,aAAa,GAAuB;IACxC,uBAAuB,EAAE,CAAC;IAC1B,wBAAwB,EAAE,CAAC;IAC3B,qBAAqB,EAAE,CAAC;IACxB,kBAAkB,EAAE,CAAC;CACtB,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAA+B;IACvE,qEAAqE;IACrE,IAAI,MAAM,CAAC,UAAU,KAAK,gBAAgB;QAAE,OAAO,EAAE,GAAG,aAAa,EAAE,CAAC;IAExE,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC,MAAM,CACrD,CAAC,CAAC,EAA8B,EAAE,CAAC,CAAC,IAAI,IAAI,CAC7C,CAAC;IAEF,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,IAAI,wBAAwB,GAAG,CAAC,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,wBAAwB,IAAI,CAAC,CAAC;QACpD,KAAK,MAAM,EAAE,IAAI,KAAK;YAAE,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,oBAAoB,IAAI,EAAE;YAAE,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxE,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,oBAAoB,IAAI,EAAE;YAAE,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1E,CAAC;IAED,6EAA6E;IAC7E,qEAAqE;IACrE,gDAAgD;IAChD,MAAM,qBAAqB,GAAG,CAAC,MAAM,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,MAAM,CAChE,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,IAAI,IAAI;QACT,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;QAC/C,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ;QACxB,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC3B,CAAC,MAAM,CAAC;IAET,uDAAuD;IACvD,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CACnD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACzE,CAAC,MAAM,CAAC;IACT,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CACnD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACzE,CAAC,MAAM,CAAC;IAET,OAAO;QACL,uBAAuB,EAAE,KAAK,CAAC,MAAM;QACrC,wBAAwB;QACxB,qBAAqB;QACrB,kBAAkB,EAAE,UAAU,GAAG,UAAU;KAC5C,CAAC;AACJ,CAAC"}

package/node_modules/@specforge/spec-types/dist/schema/step-link-ids.d.ts

@@ -0,0 +1,71 @@
+/**
+ * MB.15.3 — shared, DETERMINISTIC id-derivation for the step↔file/snippet join
+ * model (MB.14.1). Both the in-memory PROJECTION (`@specforge/core`
+ * apply-mutation, which the validator scores) and the PERSISTENCE write plan
+ * (`@specforge/lifecycle` buildOpWriteItems) must mint the SAME ids for the
+ * inline links to resolve — a divergence would make an inline link point at a
+ * non-existent id. `@specforge/core` cannot import `@specforge/lifecycle`, so the
+ * derivation lives here in the low-level `spec-types` (both depend on it),
+ * mirroring the `entity-field-schemas` single-source precedent.
+ *
+ * The ids mirror what the persistence decompose has always minted:
+ *  - file change:  `${ticketId}-fc-${fileChangeSlug(path)}` (ME.19.2 / D17 —
+ *    de-embedded: `kind` is NO LONGER part of the id. A file at a path now has a
+ *    single role authored on a step, so the path alone identifies the file-change
+ *    row; embedding the role would re-mint the id on a role flip. Survivable
+ *    because data is wiped pre-launch.)
+ *  - impl step:    client-passed `id`, else `${ticketId}-is-${index}`
+ *  - code snippet: `${ticketId}-cs-${index}`
+ *  - type snippet: `${ticketId}-ts-${index}`
+ *  - step↔artifact join row: `${stepId}--links--${artifactId}`
+ */
+/**
+ * MB.14.1 — path→id slug for the natural-key-by-path file identity. Deterministic
+ * so an UNCHANGED path keeps the SAME TicketFileChange id across an update_ticket
+ * child replace-set → the step↔file link (keyed on fileChangeId) survives a
+ * reorder or insert.
+ */
+export declare function fileChangeSlug(path: string): string;
+/**
+ * Deterministic TicketFileChange id (natural-key-by-path).
+ *
+ * ME.19.2 (D17) — the id is DE-EMBEDDED from `kind`/role: `${ticketId}-fc-${slug}`.
+ * The `kind` parameter is retained for source compatibility with the flat-array
+ * derivation call-sites that ME.19.2 part 2 (`apply-mutation`/`buildOpWriteItems`)
+ * re-points to derive rows from step roles; it is IGNORED here. Because a path now
+ * carries exactly one role (authored on a step), the path alone is the natural key.
+ */
+export declare function deriveFileChangeId(ticketId: string, _kind: string, path: string): string;
+/**
+ * The step id used by the persistence decompose: a client-passed `id` is
+ * preserved (UPSERT), else a fresh positional id is minted. Kept in sync with
+ * `buildOpWriteItems`' `implementationSteps` replace (MB.14.1 decision e).
+ */
+export declare function deriveStepId(ticketId: string, index: number, passedId?: unknown): string;
+/** Deterministic TicketCodeSnippet id (INDEX-keyed). */
+export declare function deriveCodeSnippetId(ticketId: string, index: number): string;
+/** Deterministic TicketTypeSnippet id (INDEX-keyed). */
+export declare function deriveTypeSnippetId(ticketId: string, index: number): string;
+/** Deterministic step↔artifact join-row id (mirrors the MB.14 link verbs). */
+export declare function deriveStepLinkJoinId(stepId: string, artifactId: string): string;
+/**
+ * The four inline file arrays paired with their legacy `TicketFileChange.kind`, in
+ * the canonical write order the persistence decompose iterated.
+ *
+ * ⚠ ME.19.2 (D17) — DEPRECATED transitional artifact. Authoring moved to step
+ * `files[]` roles (`creates|modifies|deletes|imports|reads`); the flat `filesToBe*`
+ * arrays are now a DERIVED read projection. The remaining consumers
+ * (`apply-mutation` / `creator-election-batch` / `resolveFileChangeIdByPath`) are
+ * re-pointed onto step-role derivation by ME.19.2 part 2 / ME.19.1, after which
+ * this constant is removed. The value strings are the abolished kinds and no longer
+ * match the AppSync enum — hence the plain `string` element type.
+ */
+export declare const FILE_FIELD_KINDS: ReadonlyArray<readonly [string, string]>;
+/**
+ * Resolve a produced-file PATH to its deterministic `fileChangeId` by finding
+ * which `filesToBe*` array of the same `update_ticket` declares it — inline links
+ * are PATH-based because the file has no id yet in the authoring call. Returns
+ * `null` when no declared file matches the path.
+ */
+export declare function resolveFileChangeIdByPath(ticketId: string, fields: Record<string, unknown>, path: string): string | null;
+//# sourceMappingURL=step-link-ids.d.ts.map

package/node_modules/@specforge/spec-types/dist/schema/step-link-ids.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"step-link-ids.d.ts","sourceRoot":"","sources":["../../src/schema/step-link-ids.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAExF;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,GAAG,MAAM,CAExF;AAED,wDAAwD;AACxD,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAE3E;AAED,wDAAwD;AACxD,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAE3E;AAED,8EAA8E;AAC9E,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAE/E;AAED;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAKrE,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,IAAI,EAAE,MAAM,GACX,MAAM,GAAG,IAAI,CAQf"}

package/node_modules/@specforge/spec-types/dist/schema/step-link-ids.js

@@ -0,0 +1,96 @@
+/**
+ * MB.15.3 — shared, DETERMINISTIC id-derivation for the step↔file/snippet join
+ * model (MB.14.1). Both the in-memory PROJECTION (`@specforge/core`
+ * apply-mutation, which the validator scores) and the PERSISTENCE write plan
+ * (`@specforge/lifecycle` buildOpWriteItems) must mint the SAME ids for the
+ * inline links to resolve — a divergence would make an inline link point at a
+ * non-existent id. `@specforge/core` cannot import `@specforge/lifecycle`, so the
+ * derivation lives here in the low-level `spec-types` (both depend on it),
+ * mirroring the `entity-field-schemas` single-source precedent.
+ *
+ * The ids mirror what the persistence decompose has always minted:
+ *  - file change:  `${ticketId}-fc-${fileChangeSlug(path)}` (ME.19.2 / D17 —
+ *    de-embedded: `kind` is NO LONGER part of the id. A file at a path now has a
+ *    single role authored on a step, so the path alone identifies the file-change
+ *    row; embedding the role would re-mint the id on a role flip. Survivable
+ *    because data is wiped pre-launch.)
+ *  - impl step:    client-passed `id`, else `${ticketId}-is-${index}`
+ *  - code snippet: `${ticketId}-cs-${index}`
+ *  - type snippet: `${ticketId}-ts-${index}`
+ *  - step↔artifact join row: `${stepId}--links--${artifactId}`
+ */
+/**
+ * MB.14.1 — path→id slug for the natural-key-by-path file identity. Deterministic
+ * so an UNCHANGED path keeps the SAME TicketFileChange id across an update_ticket
+ * child replace-set → the step↔file link (keyed on fileChangeId) survives a
+ * reorder or insert.
+ */
+export function fileChangeSlug(path) {
+    return path.replace(/[^A-Za-z0-9]+/g, '_').replace(/^_+|_+$/g, '').slice(0, 120) || 'file';
+}
+/**
+ * Deterministic TicketFileChange id (natural-key-by-path).
+ *
+ * ME.19.2 (D17) — the id is DE-EMBEDDED from `kind`/role: `${ticketId}-fc-${slug}`.
+ * The `kind` parameter is retained for source compatibility with the flat-array
+ * derivation call-sites that ME.19.2 part 2 (`apply-mutation`/`buildOpWriteItems`)
+ * re-points to derive rows from step roles; it is IGNORED here. Because a path now
+ * carries exactly one role (authored on a step), the path alone is the natural key.
+ */
+export function deriveFileChangeId(ticketId, _kind, path) {
+    return `${ticketId}-fc-${fileChangeSlug(path)}`;
+}
+/**
+ * The step id used by the persistence decompose: a client-passed `id` is
+ * preserved (UPSERT), else a fresh positional id is minted. Kept in sync with
+ * `buildOpWriteItems`' `implementationSteps` replace (MB.14.1 decision e).
+ */
+export function deriveStepId(ticketId, index, passedId) {
+    return typeof passedId === 'string' && passedId.length > 0 ? passedId : `${ticketId}-is-${index}`;
+}
+/** Deterministic TicketCodeSnippet id (INDEX-keyed). */
+export function deriveCodeSnippetId(ticketId, index) {
+    return `${ticketId}-cs-${index}`;
+}
+/** Deterministic TicketTypeSnippet id (INDEX-keyed). */
+export function deriveTypeSnippetId(ticketId, index) {
+    return `${ticketId}-ts-${index}`;
+}
+/** Deterministic step↔artifact join-row id (mirrors the MB.14 link verbs). */
+export function deriveStepLinkJoinId(stepId, artifactId) {
+    return `${stepId}--links--${artifactId}`;
+}
+/**
+ * The four inline file arrays paired with their legacy `TicketFileChange.kind`, in
+ * the canonical write order the persistence decompose iterated.
+ *
+ * ⚠ ME.19.2 (D17) — DEPRECATED transitional artifact. Authoring moved to step
+ * `files[]` roles (`creates|modifies|deletes|imports|reads`); the flat `filesToBe*`
+ * arrays are now a DERIVED read projection. The remaining consumers
+ * (`apply-mutation` / `creator-election-batch` / `resolveFileChangeIdByPath`) are
+ * re-pointed onto step-role derivation by ME.19.2 part 2 / ME.19.1, after which
+ * this constant is removed. The value strings are the abolished kinds and no longer
+ * match the AppSync enum — hence the plain `string` element type.
+ */
+export const FILE_FIELD_KINDS = [
+    ['filesToBeCreated', 'toBeCreated'],
+    ['filesToBeModified', 'toBeModified'],
+    ['filesToBeDeleted', 'toBeDeleted'],
+    ['filesToBeReferenced', 'toBeReferenced'],
+];
+/**
+ * Resolve a produced-file PATH to its deterministic `fileChangeId` by finding
+ * which `filesToBe*` array of the same `update_ticket` declares it — inline links
+ * are PATH-based because the file has no id yet in the authoring call. Returns
+ * `null` when no declared file matches the path.
+ */
+export function resolveFileChangeIdByPath(ticketId, fields, path) {
+    for (const [field, kind] of FILE_FIELD_KINDS) {
+        const arr = fields[field];
+        if (Array.isArray(arr) && arr.some((p) => p === path)) {
+            return deriveFileChangeId(ticketId, kind, path);
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=step-link-ids.js.map

package/node_modules/@specforge/spec-types/dist/schema/step-link-ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"step-link-ids.js","sourceRoot":"","sources":["../../src/schema/step-link-ids.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,OAAO,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC;AAC7F,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAAgB,EAAE,KAAa,EAAE,IAAY;IAC9E,OAAO,GAAG,QAAQ,OAAO,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;AAClD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,QAAgB,EAAE,KAAa,EAAE,QAAkB;IAC9E,OAAO,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,OAAO,KAAK,EAAE,CAAC;AACpG,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,mBAAmB,CAAC,QAAgB,EAAE,KAAa;IACjE,OAAO,GAAG,QAAQ,OAAO,KAAK,EAAE,CAAC;AACnC,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,mBAAmB,CAAC,QAAgB,EAAE,KAAa;IACjE,OAAO,GAAG,QAAQ,OAAO,KAAK,EAAE,CAAC;AACnC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,oBAAoB,CAAC,MAAc,EAAE,UAAkB;IACrE,OAAO,GAAG,MAAM,YAAY,UAAU,EAAE,CAAC;AAC3C,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA6C;IACxE,CAAC,kBAAkB,EAAE,aAAa,CAAC;IACnC,CAAC,mBAAmB,EAAE,cAAc,CAAC;IACrC,CAAC,kBAAkB,EAAE,aAAa,CAAC;IACnC,CAAC,qBAAqB,EAAE,gBAAgB,CAAC;CAC1C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CACvC,QAAgB,EAChB,MAA+B,EAC/B,IAAY;IAEZ,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,gBAAgB,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;YACtD,OAAO,kBAAkB,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}