@pathmode/mcp-server 1.13.1 → 1.14.0

package/dist/intent-compiler.d.ts

@@ -58,9 +58,18 @@ export interface IntentFields {
         unitTests?: string[];
         e2eTests?: string[];
     };
+    /** What the repo actually looks like where this change lands, as prose.
+     *  The LOCAL counterpart of `implementationContext`: keyless mode has no analyzer,
+     *  so the agent already sitting in the repo gathers it and hands it back. Free text
+     *  on purpose — an agent reading the working tree beats any fixed shape we could
+     *  impose, and the section round-trips through intent.md verbatim. */
+    implementationContextText?: string;
     /** Repo-analysis context (cloud intents). Richer than the structured fields:
      *  risks are real edge cases, verificationSuggestions are sharp grader checks. */
     implementationContext?: {
+        /** Absent means 'analyzer'. See bindsGradingCriteria below for why this matters. */
+        source?: 'analyzer' | 'agent';
+        promotedAt?: string;
         relevantAreas?: {
             path: string;
             reason: string;
@@ -87,15 +96,13 @@ export interface IntentMdOptions {
     readiness?: string;
     /** Canonical record URL (cloud intents). Omitted when this file is the only copy. */
     source?: string;
+    /** The server's opaque content token for this spec, as of the last push or pull. Carried, never
+     *  computed here: the client cannot derive it (this package imports nothing from the app) and
+     *  must not, so the algorithm can change without a release of a version users pin. Sent back as
+     *  `expectedVersion` on the next push, which is what makes a concurrent edit a 409 instead of a
+     *  silent overwrite. Absent means this file has never been in the cloud. */
+    specVersion?: string;
 }
-/**
- * Generate intent.md content with YAML frontmatter.
- * Adapted from lib/agentPromptGenerator.ts generateIntentMd().
- *
- * `spec.id`, `opts.version`, and `opts.status` are preserved rather than reset — an intent that
- * is saved twice must keep its identity and its lifecycle state. Only a genuinely new intent
- * (no id) gets a minted id, version 1, and status 'draft'.
- */
 export declare function formatIntentMd(spec: IntentFields, opts?: IntentMdOptions): string;
 /**
  * Generate .cursorrules content for a single intent.

package/dist/intent-compiler.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"","sourceRoot":"","sources":["file:///Users/jannelammi/code/Pathmode/packages/mcp-server/src/intent-compiler.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAMH,MAAM,WAAW,cAAc;IAC3B,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;CACvB;AAMD,MAAM,MAAM,qBAAqB,GAAG,SAAS,GAAG,QAAQ,GAAG,gBAAgB,GAAG,kBAAkB,GAAG,MAAM,CAAC;AAC1G,MAAM,MAAM,uBAAuB,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;AACxE,MAAM,WAAW,iBAAiB;IAC9B,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,qBAAqB,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,uBAAuB,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;CACrB;AAsDD,MAAM,WAAW,YAAY;IACzB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB;;iCAE6B;IAC7B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,CAAC,MAAM,GAAG;QAAE,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAA;KAAE,CAAC,EAAE,CAAC;IAC7F,6GAA6G;IAC7G,SAAS,CAAC,EAAE,cAAc,EAAE,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC7D,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,KAAK,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACtD,YAAY,CAAC,EAAE;QACX,8GAA8G;QAC9G,MAAM,CAAC,EAAE,iBAAiB,EAAE,CAAC;QAC7B,kDAAkD;QAClD,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;QACxB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;QACrB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;KACvB,CAAC;IACF;sFACkF;IAClF,qBAAqB,CAAC,EAAE;QACpB,aAAa,CAAC,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAA;SAAE,EAAE,CAAC;QACnD,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;QACjB,uBAAuB,CAAC,EAAE,MAAM,EAAE,CAAC;KACtC,GAAG,IAAI,CAAC;CACZ;AAwDD;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,MAAM,CA4D/C;AAoBD,kGAAkG;AAClG,MAAM,WAAW,eAAe;IAC5B,gFAAgF;IAChF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,+EAA+E;IAC/E,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,mGAAmG;IACnG,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qFAAqF;IACrF,MAAM,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,GAAE,eAAoB,GAAG,MAAM,CAiGrF;AAOD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAwF5D;AAOD;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CA4DhE;AAOD,MAAM,WAAW,oBAAoB;IACjC;;;;OAIG;IACH,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,0EAA0E;IAC1E,aAAa,CAAC,EAAE,MAAM,CAAC;CAC1B;AAsLD;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,GAAE,oBAAyB,GAAG,MAAM,CAmC/F"}
+{"version":3,"file":"","sourceRoot":"","sources":["file:///Users/jannelammi/code/Pathmode/packages/mcp-server/src/intent-compiler.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAMH,MAAM,WAAW,cAAc;IAC3B,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;CACvB;AAOD,MAAM,MAAM,qBAAqB,GAAG,SAAS,GAAG,QAAQ,GAAG,gBAAgB,GAAG,kBAAkB,GAAG,MAAM,CAAC;AAC1G,MAAM,MAAM,uBAAuB,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;AACxE,MAAM,WAAW,iBAAiB;IAC9B,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,qBAAqB,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,uBAAuB,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;CACrB;AAsDD,MAAM,WAAW,YAAY;IACzB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB;;iCAE6B;IAC7B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,CAAC,MAAM,GAAG;QAAE,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAA;KAAE,CAAC,EAAE,CAAC;IAC7F,6GAA6G;IAC7G,SAAS,CAAC,EAAE,cAAc,EAAE,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC7D,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,KAAK,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACtD,YAAY,CAAC,EAAE;QACX,8GAA8G;QAC9G,MAAM,CAAC,EAAE,iBAAiB,EAAE,CAAC;QAC7B,kDAAkD;QAClD,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;QACxB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;QACrB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;KACvB,CAAC;IACF;;;;0EAIsE;IACtE,yBAAyB,CAAC,EAAE,MAAM,CAAC;IACnC;sFACkF;IAClF,qBAAqB,CAAC,EAAE;QACpB,oFAAoF;QACpF,MAAM,CAAC,EAAE,UAAU,GAAG,OAAO,CAAC;QAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,aAAa,CAAC,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAA;SAAE,EAAE,CAAC;QACnD,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;QACjB,uBAAuB,CAAC,EAAE,MAAM,EAAE,CAAC;KACtC,GAAG,IAAI,CAAC;CACZ;AAwDD;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,MAAM,CA4D/C;AAoBD,kGAAkG;AAClG,MAAM,WAAW,eAAe;IAC5B,gFAAgF;IAChF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,+EAA+E;IAC/E,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,mGAAmG;IACnG,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qFAAqF;IACrF,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;gFAI4E;IAC5E,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAiDD,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,GAAE,eAAoB,GAAG,MAAM,CA4GrF;AAOD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAwF5D;AAOD;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CA4DhE;AAOD,MAAM,WAAW,oBAAoB;IACjC;;;;OAIG;IACH,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,0EAA0E;IAC1E,aAAa,CAAC,EAAE,MAAM,CAAC;CAC1B;AA2MD;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,GAAE,oBAAyB,GAAG,MAAM,CAmC/F"}

package/dist/local-reader.d.ts

@@ -35,6 +35,10 @@ export interface LocalIntent {
     objective: string;
     /** Author-written as-is behavior, from the `## Current State` section. */
     currentState?: string;
+    /** What the repo looks like where this lands, from `## Implementation Context`.
+     *  Free text, gathered by the agent in the working tree; `###` sub-headings survive
+     *  because only `##` opens a new section. */
+    implementationContext?: string;
     title: string;
     stageName?: string;
     severity?: string;
@@ -59,6 +63,9 @@ export interface LocalIntentMeta {
     version: number;
     status: string;
     created?: string;
+    /** The server's token as of the last sync. Present only on cloud-backed files; its presence is
+     *  what tells a save whether this spec already exists in a workspace. */
+    specVersion?: string;
 }
 /**
  * Read all intent.md files from the current directory and subdirectories (1 level deep).

package/dist/local-reader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"","sourceRoot":"","sources":["file:///Users/jannelammi/code/Pathmode/packages/mcp-server/src/local-reader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAMH,MAAM,MAAM,qBAAqB,GAAG,SAAS,GAAG,QAAQ,GAAG,gBAAgB,GAAG,kBAAkB,GAAG,MAAM,CAAC;AAE1G,MAAM,WAAW,sBAAsB;IACnC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,wGAAwG;AACxG,MAAM,WAAW,aAAa;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,iBAAiB;IAC9B,MAAM,CAAC,EAAE,sBAAsB,EAAE,CAAC;IAClC,0EAA0E;IAC1E,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,WAAW;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,0EAA0E;IAC1E,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,SAAS,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC5D,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,KAAK,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACtD,YAAY,EAAE,iBAAiB,CAAC;IAChC,MAAM,EAAE,OAAO,CAAC;CACnB;AAED,gFAAgF;AAChF,MAAM,WAAW,eAAe;IAC5B,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;CACpB;AAID;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,WAAW,EAAE,CAmBhD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI,CAcvE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAUnE;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,SAAW,GAAG,WAAW,CAgCvF"}
+{"version":3,"file":"","sourceRoot":"","sources":["file:///Users/jannelammi/code/Pathmode/packages/mcp-server/src/local-reader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAMH,MAAM,MAAM,qBAAqB,GAAG,SAAS,GAAG,QAAQ,GAAG,gBAAgB,GAAG,kBAAkB,GAAG,MAAM,CAAC;AAE1G,MAAM,WAAW,sBAAsB;IACnC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,wGAAwG;AACxG,MAAM,WAAW,aAAa;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,iBAAiB;IAC9B,MAAM,CAAC,EAAE,sBAAsB,EAAE,CAAC;IAClC,0EAA0E;IAC1E,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,WAAW;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,0EAA0E;IAC1E,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;iDAE6C;IAC7C,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,SAAS,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC5D,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,KAAK,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACtD,YAAY,EAAE,iBAAiB,CAAC;IAChC,MAAM,EAAE,OAAO,CAAC;CACnB;AAED,gFAAgF;AAChF,MAAM,WAAW,eAAe;IAC5B,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;6EACyE;IACzE,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAID;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,WAAW,EAAE,CAmBhD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI,CAevE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAUnE;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,SAAW,GAAG,WAAW,CAiCvF"}

package/dist/measurement-schema.d.ts

@@ -0,0 +1,325 @@
+/**
+ * Input schema for the `record_outcome_measurement` tool.
+ *
+ * **This mirrors `lib/outcomeMeasurementRecord.ts` in the web app and must stay in step
+ * with it.** It cannot import it: this package publishes to npm as a standalone bundle
+ * (ncc, no workspace deps), so reaching into the app's `lib/` would drag the web app into
+ * the published artifact.
+ *
+ * Duplication is the cost, drift is the risk, and drift already happened once — the first
+ * version of this tool accepted requests the API then rejected: both outcome selectors
+ * omitted, a rolling window with no duration, a fixed window with no bounds, a free-form
+ * `evaluatedAt`, and unbounded strings where the API caps length. Every one of those cost
+ * an agent a network round trip to learn something it could have been told locally.
+ * `measurement-schema.test.ts` pins the cases so the next drift fails in CI instead.
+ *
+ * Bounds below are the API's: 500 chars for text values, 100 for short identifiers, 50 for
+ * units and source labels.
+ */
+import { z } from 'zod';
+export declare const comparatorEnum: z.ZodEnum<["gt", "gte", "lt", "lte", "eq"]>;
+export declare const windowKindEnum: z.ZodEnum<["rolling", "fixed", "since_ship"]>;
+export declare const queryRefShape: z.ZodObject<{
+    kind: z.ZodString;
+    id: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    kind: string;
+    id: string;
+}, {
+    kind: string;
+    id: string;
+}>;
+/**
+ * Refinements do not appear in the JSON Schema the model sees, so the requirement is also
+ * stated in each `describe`. The refinement is what stops a malformed window reaching the
+ * API; the description is what stops the model producing one in the first place.
+ */
+export declare const windowShape: z.ZodEffects<z.ZodEffects<z.ZodObject<{
+    kind: z.ZodEnum<["rolling", "fixed", "since_ship"]>;
+    duration: z.ZodOptional<z.ZodString>;
+    start: z.ZodOptional<z.ZodString>;
+    end: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    kind: "rolling" | "fixed" | "since_ship";
+    duration?: string | undefined;
+    start?: string | undefined;
+    end?: string | undefined;
+}, {
+    kind: "rolling" | "fixed" | "since_ship";
+    duration?: string | undefined;
+    start?: string | undefined;
+    end?: string | undefined;
+}>, {
+    kind: "rolling" | "fixed" | "since_ship";
+    duration?: string | undefined;
+    start?: string | undefined;
+    end?: string | undefined;
+}, {
+    kind: "rolling" | "fixed" | "since_ship";
+    duration?: string | undefined;
+    start?: string | undefined;
+    end?: string | undefined;
+}>, {
+    kind: "rolling" | "fixed" | "since_ship";
+    duration?: string | undefined;
+    start?: string | undefined;
+    end?: string | undefined;
+}, {
+    kind: "rolling" | "fixed" | "since_ship";
+    duration?: string | undefined;
+    start?: string | undefined;
+    end?: string | undefined;
+}>;
+export declare const expectationShape: z.ZodObject<{
+    operator: z.ZodEnum<["gt", "gte", "lt", "lte", "eq"]>;
+    target: z.ZodNumber;
+    unit: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    target: number;
+    operator: "gt" | "gte" | "lt" | "lte" | "eq";
+    unit?: string | undefined;
+}, {
+    target: number;
+    operator: "gt" | "gte" | "lt" | "lte" | "eq";
+    unit?: string | undefined;
+}>;
+export declare const provenanceShape: z.ZodObject<{
+    provider: z.ZodString;
+    queryRef: z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        kind: string;
+        id: string;
+    }, {
+        kind: string;
+        id: string;
+    }>;
+    queryVersion: z.ZodOptional<z.ZodString>;
+    window: z.ZodEffects<z.ZodEffects<z.ZodObject<{
+        kind: z.ZodEnum<["rolling", "fixed", "since_ship"]>;
+        duration: z.ZodOptional<z.ZodString>;
+        start: z.ZodOptional<z.ZodString>;
+        end: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "rolling" | "fixed" | "since_ship";
+        duration?: string | undefined;
+        start?: string | undefined;
+        end?: string | undefined;
+    }, {
+        kind: "rolling" | "fixed" | "since_ship";
+        duration?: string | undefined;
+        start?: string | undefined;
+        end?: string | undefined;
+    }>, {
+        kind: "rolling" | "fixed" | "since_ship";
+        duration?: string | undefined;
+        start?: string | undefined;
+        end?: string | undefined;
+    }, {
+        kind: "rolling" | "fixed" | "since_ship";
+        duration?: string | undefined;
+        start?: string | undefined;
+        end?: string | undefined;
+    }>, {
+        kind: "rolling" | "fixed" | "since_ship";
+        duration?: string | undefined;
+        start?: string | undefined;
+        end?: string | undefined;
+    }, {
+        kind: "rolling" | "fixed" | "since_ship";
+        duration?: string | undefined;
+        start?: string | undefined;
+        end?: string | undefined;
+    }>;
+    evaluatedAt: z.ZodOptional<z.ZodString>;
+    expectation: z.ZodOptional<z.ZodObject<{
+        operator: z.ZodEnum<["gt", "gte", "lt", "lte", "eq"]>;
+        target: z.ZodNumber;
+        unit: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        target: number;
+        operator: "gt" | "gte" | "lt" | "lte" | "eq";
+        unit?: string | undefined;
+    }, {
+        target: number;
+        operator: "gt" | "gte" | "lt" | "lte" | "eq";
+        unit?: string | undefined;
+    }>>;
+    rawResponse: z.ZodOptional<z.ZodUnknown>;
+    recordedByTool: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    provider: string;
+    queryRef: {
+        kind: string;
+        id: string;
+    };
+    window: {
+        kind: "rolling" | "fixed" | "since_ship";
+        duration?: string | undefined;
+        start?: string | undefined;
+        end?: string | undefined;
+    };
+    queryVersion?: string | undefined;
+    evaluatedAt?: string | undefined;
+    expectation?: {
+        target: number;
+        operator: "gt" | "gte" | "lt" | "lte" | "eq";
+        unit?: string | undefined;
+    } | undefined;
+    rawResponse?: unknown;
+    recordedByTool?: string | undefined;
+}, {
+    provider: string;
+    queryRef: {
+        kind: string;
+        id: string;
+    };
+    window: {
+        kind: "rolling" | "fixed" | "since_ship";
+        duration?: string | undefined;
+        start?: string | undefined;
+        end?: string | undefined;
+    };
+    queryVersion?: string | undefined;
+    evaluatedAt?: string | undefined;
+    expectation?: {
+        target: number;
+        operator: "gt" | "gte" | "lt" | "lte" | "eq";
+        unit?: string | undefined;
+    } | undefined;
+    rawResponse?: unknown;
+    recordedByTool?: string | undefined;
+}>;
+/** The tool's field map, in the ZodRawShape form `registerTool` expects. */
+export declare const recordOutcomeMeasurementInputSchema: {
+    intentId: z.ZodString;
+    outcomeId: z.ZodOptional<z.ZodString>;
+    outcomeIndex: z.ZodOptional<z.ZodNumber>;
+    actualValue: z.ZodString;
+    numericValue: z.ZodOptional<z.ZodNumber>;
+    baselineValue: z.ZodOptional<z.ZodString>;
+    unit: z.ZodOptional<z.ZodString>;
+    met: z.ZodOptional<z.ZodBoolean>;
+    source: z.ZodOptional<z.ZodString>;
+    measurement: z.ZodOptional<z.ZodObject<{
+        provider: z.ZodString;
+        queryRef: z.ZodObject<{
+            kind: z.ZodString;
+            id: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: string;
+            id: string;
+        }, {
+            kind: string;
+            id: string;
+        }>;
+        queryVersion: z.ZodOptional<z.ZodString>;
+        window: z.ZodEffects<z.ZodEffects<z.ZodObject<{
+            kind: z.ZodEnum<["rolling", "fixed", "since_ship"]>;
+            duration: z.ZodOptional<z.ZodString>;
+            start: z.ZodOptional<z.ZodString>;
+            end: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "rolling" | "fixed" | "since_ship";
+            duration?: string | undefined;
+            start?: string | undefined;
+            end?: string | undefined;
+        }, {
+            kind: "rolling" | "fixed" | "since_ship";
+            duration?: string | undefined;
+            start?: string | undefined;
+            end?: string | undefined;
+        }>, {
+            kind: "rolling" | "fixed" | "since_ship";
+            duration?: string | undefined;
+            start?: string | undefined;
+            end?: string | undefined;
+        }, {
+            kind: "rolling" | "fixed" | "since_ship";
+            duration?: string | undefined;
+            start?: string | undefined;
+            end?: string | undefined;
+        }>, {
+            kind: "rolling" | "fixed" | "since_ship";
+            duration?: string | undefined;
+            start?: string | undefined;
+            end?: string | undefined;
+        }, {
+            kind: "rolling" | "fixed" | "since_ship";
+            duration?: string | undefined;
+            start?: string | undefined;
+            end?: string | undefined;
+        }>;
+        evaluatedAt: z.ZodOptional<z.ZodString>;
+        expectation: z.ZodOptional<z.ZodObject<{
+            operator: z.ZodEnum<["gt", "gte", "lt", "lte", "eq"]>;
+            target: z.ZodNumber;
+            unit: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            target: number;
+            operator: "gt" | "gte" | "lt" | "lte" | "eq";
+            unit?: string | undefined;
+        }, {
+            target: number;
+            operator: "gt" | "gte" | "lt" | "lte" | "eq";
+            unit?: string | undefined;
+        }>>;
+        rawResponse: z.ZodOptional<z.ZodUnknown>;
+        recordedByTool: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        provider: string;
+        queryRef: {
+            kind: string;
+            id: string;
+        };
+        window: {
+            kind: "rolling" | "fixed" | "since_ship";
+            duration?: string | undefined;
+            start?: string | undefined;
+            end?: string | undefined;
+        };
+        queryVersion?: string | undefined;
+        evaluatedAt?: string | undefined;
+        expectation?: {
+            target: number;
+            operator: "gt" | "gte" | "lt" | "lte" | "eq";
+            unit?: string | undefined;
+        } | undefined;
+        rawResponse?: unknown;
+        recordedByTool?: string | undefined;
+    }, {
+        provider: string;
+        queryRef: {
+            kind: string;
+            id: string;
+        };
+        window: {
+            kind: "rolling" | "fixed" | "since_ship";
+            duration?: string | undefined;
+            start?: string | undefined;
+            end?: string | undefined;
+        };
+        queryVersion?: string | undefined;
+        evaluatedAt?: string | undefined;
+        expectation?: {
+            target: number;
+            operator: "gt" | "gte" | "lt" | "lte" | "eq";
+            unit?: string | undefined;
+        } | undefined;
+        rawResponse?: unknown;
+        recordedByTool?: string | undefined;
+    }>>;
+};
+/**
+ * The one constraint that cannot live in the field map.
+ *
+ * `registerTool` takes a ZodRawShape and builds the object itself, so an object-level
+ * `.refine()` across two sibling fields has nowhere to attach. Checking it in the handler
+ * keeps the failure local and the message identical to the API's, instead of spending a
+ * round trip to be told the same thing.
+ */
+export declare function outcomeSelectorError(input: {
+    outcomeId?: string;
+    outcomeIndex?: number;
+}): string | null;

package/dist/measurement-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"","sourceRoot":"","sources":["file:///Users/jannelammi/code/Pathmode/packages/mcp-server/src/measurement-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB,eAAO,MAAM,cAAc,6CAA2C,CAAC;AACvE,eAAO,MAAM,cAAc,+CAA6C,CAAC;AAEzE,eAAO,MAAM,aAAa;;;;;;;;;EAGxB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAclB,CAAC;AAEP,eAAO,MAAM,gBAAgB;;;;;;;;;;;;EAI3B,CAAC;AAEH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAS1B,CAAC;AAEH,4EAA4E;AAC5E,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAW/C,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,GAAG,IAAI,CAKxG"}

package/dist/push-spec.d.ts

@@ -0,0 +1,78 @@
+/**
+ * Push a saved spec to the workspace, in the order that makes a retry repair rather than duplicate.
+ *
+ * Three legs, and the split between them is the whole design:
+ *
+ *   1. **Identity** (create or update). The only leg allowed to fail the save. It settles what this
+ *      spec IS and returns the server's opaque version token.
+ *   2. **The file write**, via `onIdentitySettled`, immediately after leg 1 and BEFORE the rest.
+ *   3. **Enrichment** (decisions, implementation context). These report; they never fail the save.
+ *
+ * Why the file cannot wait until every leg succeeds: the write is what puts `specVersion` on disk,
+ * and `specVersion` on disk is what makes the NEXT save an update. Defer the write and a failure in
+ * leg 3 leaves a cloud record with no local token — so the next save looks like a first save and
+ * creates a SECOND intent. Refusing to write would not prevent divergence, it would manufacture
+ * duplicates, which is worse than the state it was avoiding.
+ *
+ * Enrichment goes through dedicated endpoints rather than fields on create because each is validated
+ * there: evidence ids are checked against the workspace so provenance cannot be fabricated, and
+ * implementation context is stamped with its source so unpromoted agent content stays out of the
+ * grading rubric. Riding along on create would bypass both.
+ *
+ * A failed enrichment leg is recoverable by saving again: its content is already in the local file,
+ * and the retry is an update.
+ */
+export interface PushClient {
+    createIntent(input: any): Promise<{
+        id: string;
+        specVersion?: string;
+    }>;
+    /** Used to recover when a create commits but its response is lost. */
+    getIntent?(id: string): Promise<{
+        id: string;
+        specVersion?: string;
+    }>;
+    updateIntent(id: string, input: any): Promise<{
+        id: string;
+        specVersion?: string;
+    }>;
+    recordDecision(intentId: string, input: any): Promise<unknown>;
+    saveImplementationContext(intentId: string, input: any): Promise<unknown>;
+}
+export interface PushSpecInput {
+    client: PushClient;
+    /** Local id, used when the server does not hand back its own. */
+    id: string;
+    /** Present when this file is already cloud-backed; drives update-vs-create and 409 protection. */
+    existingSpecVersion?: string;
+    payload: Record<string, unknown>;
+    decisions?: {
+        choice: string;
+        reason: string;
+        ruledOut?: string;
+    }[];
+    implementationContext?: string;
+    /** Called once identity is settled, before any enrichment. This is the file write. */
+    onIdentitySettled: (result: {
+        canonicalId: string;
+        specVersion?: string;
+        sourceUrl: string;
+    }) => void;
+}
+export type PushSpecResult = {
+    ok: true;
+    canonicalId: string;
+    specVersion?: string;
+    sourceUrl: string;
+    didNotTravel: string[];
+} | {
+    ok: false;
+    error: string;
+    code?: string;
+    products?: {
+        id: string;
+        name: string;
+        isExample?: boolean;
+    }[];
+};
+export declare function pushSpec(input: PushSpecInput): Promise<PushSpecResult>;

package/dist/push-spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"","sourceRoot":"","sources":["file:///Users/jannelammi/code/Pathmode/packages/mcp-server/src/push-spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,MAAM,WAAW,UAAU;IACvB,YAAY,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxE,sEAAsE;IACtE,SAAS,CAAC,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACtE,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpF,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/D,yBAAyB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CAC7E;AAED,MAAM,WAAW,aAAa;IAC1B,MAAM,EAAE,UAAU,CAAC;IACnB,iEAAiE;IACjE,EAAE,EAAE,MAAM,CAAC;IACX,kGAAkG;IAClG,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,SAAS,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACpE,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,sFAAsF;IACtF,iBAAiB,EAAE,CAAC,MAAM,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,CAAC;CACzG;AAED,MAAM,MAAM,cAAc,GACpB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,EAAE,CAAA;CAAE,GAClG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,OAAO,CAAA;KAAE,EAAE,CAAA;CAAE,CAAC;AAElH,wBAAsB,QAAQ,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,cAAc,CAAC,CAsE5E"}

package/manifest.json

@@ -2,7 +2,7 @@
   "manifest_version": "0.3",
   "name": "pathmode",
   "display_name": "Pathmode",
-  "version": "1.13.1",
+  "version": "1.14.0",
   "description": "Deterministic preflight for the intent you hand to a coding agent: six calibrated gates, the exact blockers named, no model call, no key needed.",
   "long_description": "Pathmode MCP Server runs a deterministic preflight before your coding agent builds: check_intent_readiness scores an intent spec against six calibrated gates (title, objective, outcomes, constraints, edge cases, verification) and names the exact blockers, with no model call and no account. Keyless local mode works out of the box; specs live in intent.md in your repo, plain markdown you own, and skills for drafting, pressure-testing, and handing off intent ride along. Connect a Pathmode workspace with an API key to sync intent and evidence across a team, analyze dependency graphs, and verify pull requests against the outcomes you agreed to.",
   "author": {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pathmode/mcp-server",
-  "version": "1.13.1",
+  "version": "1.14.0",
   "publishConfig": {
     "access": "public"
   },

package/skills/compile-intent/SKILL.md

@@ -9,6 +9,8 @@ Invoke the `compile-intent` MCP prompt from the @pathmode/mcp-server. This start
 
 For each question you ask, propose your best-guess answer based on the conversation so far. Don't make the user generate from a blank page.
 
+Before the spec is finished, gather implementation context. You are already sitting in the repo, so read it: which files and modules this change lands in, what already exists there, what it would touch, and how it could be verified. Pass it to `intent_save` as `implementationContext` — in both modes. A brand-new spec has no intent id yet, so there is nothing to address a separate call to; `intent_save` carries the context through as part of the save. Use `record_implementation_context` only to update the context on an intent that already exists. It is free text, sub-headings welcome, and it is advisory — it never changes the readiness verdict. Its job is to stop the implementing agent from rediscovering the codebase from scratch, and to catch the case where the thing being specified half-exists already.
+
 When the spec is ready, call the `intent_save` MCP tool to write `intent.md` to the project root.
 
 </what-to-do>
@@ -34,6 +36,9 @@ status: "draft"
 ## Objective
 [What needs to change and for whom]
 
+## Implementation Context
+[What the repo actually looks like where this lands — read from the working tree, not guessed]
+
 ## Outcomes
 - [ ] [Observable state change, testable in under 5 minutes]
 

package/skills/handoff-intent/SKILL.md

@@ -16,7 +16,9 @@ Summarize the session in four buckets:
 
 For each decision and discovery, call `log_implementation_note` with a self-contained summary. Assume the next reader has none of this conversation's context.
 
-If outcomes are delivered, propose calling `update_intent_status` with `shipped`. If the spec needs amendments based on what was learned, propose them.
+If the work is going out as a pull request, name the intent where the merge can find it: branch `intent/<intent-id>`, or `pathmode:<intent-id>` anywhere in the PR body. Without that reference the merge cannot connect the code to the spec, and the whole delivery loop stays dark.
+
+If outcomes are delivered, propose a status bump — but read "Status bumps" below first: when a PR is involved, the merge owns that transition, not you. If the spec needs amendments based on what was learned, propose them.
 
 </what-to-do>
 
@@ -35,6 +37,8 @@ The "why" and the "what's still implicit" are the parts that disappear if you do
 - `shipped` — code is merged AND the outcome is observable in production
 - `verified` — the outcome metric has held for at least one full cycle (e.g., one week, one release)
 
+**When the change ships through a pull request, do NOT call `update_intent_status` yourself.** If the workspace has GitHub connected, the merge reads the real diff, grades it against the spec, moves the intent to Shipped, and records what the verdict rested on. The webhook skips intents that are already shipped, so flipping it early does not just duplicate that work — it suppresses it, replacing a diff-backed verdict with an unverified one. Stamp the reference, let the merge fire, and bump the status by hand only when the change will never appear in a PR.
+
 Do NOT bump to `shipped` if outcomes are only partially delivered. Either leave the status and log the partial delivery as a note, or propose a spec amendment that scopes the outcome to what was actually shipped.
 
 ## Difference from a commit message

package/skills/preflight/SKILL.md

@@ -9,7 +9,7 @@ Call the `check_intent_readiness` MCP tool (Pathmode). With no arguments it chec
 
 Show the user the verdict block exactly as returned — the blocker strings are the calibrated gate output, do not paraphrase them.
 
-If the verdict fails: repair, one blocker at a time. For each failing gate, ask the user ONE targeted question, and propose your best-guess answer from the spec and the codebase so they can correct rather than compose. Apply the agreed fix to the spec (`intent_save` in local mode), then re-run `check_intent_readiness`. Stop when the verdict passes or the user explicitly accepts a named gap.
+If the verdict fails: repair, one blocker at a time. For each failing gate, ask the user ONE targeted question, and propose your best-guess answer from the spec and the codebase so they can correct rather than compose. Apply the agreed fix to the spec (`intent_save` in local mode), then re-run `check_intent_readiness`. When you read the codebase to propose an answer, keep what you learned: pass it to `intent_save` as `implementationContext` (or `record_implementation_context` in cloud mode) instead of discarding it. It does not affect the verdict, and it saves the implementing agent from rediscovering what you just read. Stop when the verdict passes or the user explicitly accepts a named gap.
 
 If the verdict passes: say so and stop. Do not invent extra requirements beyond the six gates.