pi-fabric 0.64.0 → 0.65.0

package/README.md

@@ -131,6 +131,7 @@ See the [interface & commands reference](docs/interface.md) for every view, keyb
 - [Components & committed capabilities](docs/components.md): supervised effects, exact requirements, external per-model guidance and execution-profile replacement, rolling provider generations, actor commitments, and both formal calculi.
 - [External providers](docs/providers.md): the versioned provider protocol for extensions.
 - [Architecture & security](docs/architecture.md): the host bridge, sandboxing, tool-call robustness, and limits.
+- [Speculative PTC](docs/speculation.md): pre-launching literal read calls while the program streams, with epoch + freshness guarantees.
 - [Skills](docs/skills.md): the core-first invocation policy and user-invoked advanced patterns.
 
 ## Development

package/dist/chunks/{chunk-22RY7UMR.js → chunk-2YCOXT4W.js}

@@ -1,14 +1,6 @@
-// src/core/stable-hash.ts
-import { createHash } from "node:crypto";
-var stableJsonValue = (value) => {
-  if (Array.isArray(value)) return value.map(stableJsonValue);
-  if (value instanceof URL) return value.href;
-  if (value === null || typeof value !== "object") return value;
-  return Object.fromEntries(
-    Object.entries(value).sort(([left], [right]) => left.localeCompare(right)).map(([key, nested]) => [key, stableJsonValue(nested)])
-  );
-};
-var stableJsonHash = (value) => createHash("sha256").update(JSON.stringify(stableJsonValue(value))).digest("hex");
+import {
+  stableJsonHash
+} from "./chunk-CIJPRYAP.js";
 
 // src/components/model-guidance.ts
 var FABRIC_EXECUTION_GUIDANCE_SLOT = "fabric.execution";
@@ -224,7 +216,6 @@ var resolveFabricModelGuidance = (guidance, options) => {
 };
 
 export {
-  stableJsonHash,
   FABRIC_EXECUTION_GUIDANCE_SLOT,
   MAX_FABRIC_MODEL_GUIDANCE_PER_COMPONENT,
   MAX_FABRIC_MODEL_GUIDANCE_CONTENT_CHARS,
@@ -237,4 +228,4 @@ export {
   fabricModelGuidanceInfo,
   resolveFabricModelGuidance
 };
-//# sourceMappingURL=chunk-22RY7UMR.js.map
+//# sourceMappingURL=chunk-2YCOXT4W.js.map

package/dist/chunks/chunk-2YCOXT4W.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../src/components/model-guidance.ts"],
+  "sourcesContent": ["import { stableJsonHash } from \"../core/stable-hash.js\";\nimport type {\n  FabricModelGuidance,\n  FabricModelGuidanceInfo,\n  FabricModelGuidancePlacement,\n  FabricModelGuidanceTarget,\n} from \"./types.js\";\n\nexport const FABRIC_EXECUTION_GUIDANCE_SLOT = \"fabric.execution\";\nexport const MAX_FABRIC_MODEL_GUIDANCE_PER_COMPONENT = 64;\nexport const MAX_FABRIC_MODEL_GUIDANCE_CONTENT_CHARS = 32_000;\nexport const MAX_FABRIC_MODEL_GUIDANCE_TOTAL_CHARS = 64_000;\nexport const MAX_FABRIC_MODEL_GUIDANCE_REGISTRATIONS = 1_024;\nexport const MAX_FABRIC_MODEL_GUIDANCE_SNAPSHOT_CHARS = 1_000_000;\n\nconst MAX_LABEL_CHARS = 128;\nconst MAX_SLOT_CHARS = 128;\nconst MAX_MODEL_PATTERNS = 32;\nconst MAX_MODEL_PATTERN_CHARS = 256;\nconst CONTROL_CHARACTER = /[\\u0000-\\u001f\\u007f]/;\nconst REGEX_CHARACTER = /[\\\\^$+.[\\]{}()|]/;\n\nexport interface NormalizedFabricModelGuidance {\n  label: string;\n  models: string[];\n  content: string;\n  targets: FabricModelGuidanceTarget[];\n  placement: FabricModelGuidancePlacement;\n  slot?: string;\n}\n\nexport interface FabricOwnedModelGuidance extends NormalizedFabricModelGuidance {\n  componentId: string;\n  component: string;\n  revision: number;\n}\n\nconst compareStableText = (left: string, right: string): number =>\n  left < right ? -1 : left > right ? 1 : 0;\n\nexport const compareFabricOwnedModelGuidance = (\n  left: FabricOwnedModelGuidance,\n  right: FabricOwnedModelGuidance,\n): number =>\n  compareStableText(left.componentId, right.componentId) ||\n  compareStableText(left.label, right.label);\n\nexport interface FabricGuidanceDefaultSlot {\n  slot: string;\n  content: string;\n}\n\nexport interface FabricResolvedModelGuidance {\n  slotText: string;\n  appendText: string;\n  digest: string;\n  sources: Array<{\n    componentId: string;\n    component: string;\n    label: string;\n    placement: FabricModelGuidancePlacement;\n    slot?: string;\n    contentHash: string;\n  }>;\n}\n\nconst guidanceError = (message: string): Error =>\n  new Error(`Invalid Fabric model guidance: ${message}`);\n\nconst normalizedIdentifier = (value: unknown, field: \"label\" | \"slot\", max: number): string => {\n  if (typeof value !== \"string\") throw guidanceError(`${field} must be a string`);\n  const normalized = value.trim();\n  if (!normalized) throw guidanceError(`${field} must not be empty`);\n  if (normalized.length > max) throw guidanceError(`${field} exceeds ${max} characters`);\n  if (CONTROL_CHARACTER.test(normalized)) {\n    throw guidanceError(`${field} must not contain control characters`);\n  }\n  return normalized;\n};\n\nconst normalizeTargets = (\n  targets: readonly FabricModelGuidanceTarget[] | undefined,\n): FabricModelGuidanceTarget[] => {\n  if (targets === undefined) return [\"main\", \"participant\"];\n  if (!Array.isArray(targets) || targets.length === 0) {\n    throw guidanceError(\"targets must contain main and/or participant\");\n  }\n  const normalized: FabricModelGuidanceTarget[] = [];\n  for (const target of targets) {\n    if (target !== \"main\" && target !== \"participant\") {\n      throw guidanceError(`unsupported target ${String(target)}`);\n    }\n    if (!normalized.includes(target)) normalized.push(target);\n  }\n  return normalized;\n};\n\nexport const normalizeFabricModelGuidance = (\n  guidance: FabricModelGuidance,\n): NormalizedFabricModelGuidance => {\n  if (!guidance || typeof guidance !== \"object\" || Array.isArray(guidance)) {\n    throw guidanceError(\"registration must be an object\");\n  }\n  const label = normalizedIdentifier(guidance.label, \"label\", MAX_LABEL_CHARS);\n  if (!Array.isArray(guidance.models) || guidance.models.length === 0) {\n    throw guidanceError(`${label} must select at least one provider/model pattern`);\n  }\n  if (guidance.models.length > MAX_MODEL_PATTERNS) {\n    throw guidanceError(`${label} selects more than ${MAX_MODEL_PATTERNS} model patterns`);\n  }\n  const models: string[] = [];\n  for (const candidate of guidance.models) {\n    if (typeof candidate !== \"string\") {\n      throw guidanceError(`${label} model patterns must be strings`);\n    }\n    const pattern = candidate.trim();\n    if (!pattern || pattern.length > MAX_MODEL_PATTERN_CHARS || !pattern.includes(\"/\")) {\n      throw guidanceError(\n        `${label} model pattern ${JSON.stringify(candidate)} must be a provider/model glob of at most ${MAX_MODEL_PATTERN_CHARS} characters`,\n      );\n    }\n    if (CONTROL_CHARACTER.test(pattern)) {\n      throw guidanceError(`${label} model patterns must not contain control characters`);\n    }\n    if (!models.includes(pattern)) models.push(pattern);\n  }\n  if (typeof guidance.content !== \"string\" || !guidance.content.trim()) {\n    throw guidanceError(`${label} content must be a non-empty string`);\n  }\n  const content = guidance.content.trim();\n  if (content.length > MAX_FABRIC_MODEL_GUIDANCE_CONTENT_CHARS) {\n    throw guidanceError(\n      `${label} content exceeds ${MAX_FABRIC_MODEL_GUIDANCE_CONTENT_CHARS} characters`,\n    );\n  }\n  const placement = guidance.placement ?? \"append\";\n  if (placement !== \"append\" && placement !== \"replace\") {\n    throw guidanceError(`${label} placement must be append or replace`);\n  }\n  const slot = guidance.slot === undefined\n    ? undefined\n    : normalizedIdentifier(guidance.slot, \"slot\", MAX_SLOT_CHARS);\n  if (placement === \"replace\" && !slot) {\n    throw guidanceError(`${label} replacement guidance requires a slot`);\n  }\n  if (placement === \"append\" && slot) {\n    throw guidanceError(`${label} append guidance must not declare a slot`);\n  }\n  return {\n    label,\n    models,\n    content,\n    targets: normalizeTargets(guidance.targets),\n    placement,\n    ...(slot ? { slot } : {}),\n  };\n};\n\nexport const parseFabricOwnedModelGuidance = (value: unknown): FabricOwnedModelGuidance[] => {\n  if (!Array.isArray(value) || value.length > MAX_FABRIC_MODEL_GUIDANCE_REGISTRATIONS) return [];\n  try {\n    const parsed = value.map((candidate) => {\n      if (!candidate || typeof candidate !== \"object\" || Array.isArray(candidate)) {\n        throw guidanceError(\"serialized owner must be an object\");\n      }\n      const record = candidate as Partial<FabricOwnedModelGuidance>;\n      const normalized = normalizeFabricModelGuidance(record as FabricModelGuidance);\n      if (\n        typeof record.componentId !== \"string\" ||\n        !record.componentId.trim() ||\n        typeof record.component !== \"string\" ||\n        !record.component.trim() ||\n        !Number.isSafeInteger(record.revision) ||\n        (record.revision ?? 0) < 1\n      ) {\n        throw guidanceError(\"serialized owner metadata is incomplete\");\n      }\n      return {\n        ...normalized,\n        componentId: record.componentId.trim(),\n        component: record.component.trim(),\n        revision: record.revision!,\n      };\n    });\n    if (parsed.reduce((sum, entry) => sum + entry.content.length, 0) >\n      MAX_FABRIC_MODEL_GUIDANCE_SNAPSHOT_CHARS) return [];\n    return parsed;\n  } catch {\n    return [];\n  }\n};\n\nexport const fabricModelGuidanceInfo = (\n  guidance: NormalizedFabricModelGuidance,\n): FabricModelGuidanceInfo => ({\n  label: guidance.label,\n  models: [...guidance.models],\n  targets: [...guidance.targets],\n  placement: guidance.placement,\n  ...(guidance.slot ? { slot: guidance.slot } : {}),\n  contentChars: guidance.content.length,\n  contentHash: stableJsonHash(guidance.content),\n});\n\nconst wildcardMatch = (pattern: string, value: string): boolean => {\n  let expression = \"^\";\n  for (const character of pattern) {\n    if (character === \"*\") expression += \".*\";\n    else if (character === \"?\") expression += \".\";\n    else expression += REGEX_CHARACTER.test(character) ? `\\\\${character}` : character;\n  }\n  return new RegExp(`${expression}$`, \"u\").test(value);\n};\n\nconst fabricModelGuidanceMatches = (\n  guidance: NormalizedFabricModelGuidance,\n  model: string,\n  target: FabricModelGuidanceTarget,\n): boolean =>\n  guidance.targets.includes(target) && guidance.models.some((pattern) => wildcardMatch(pattern, model));\n\nconst sourceInfo = (guidance: FabricOwnedModelGuidance) => ({\n  componentId: guidance.componentId,\n  component: guidance.component,\n  label: guidance.label,\n  placement: guidance.placement,\n  ...(guidance.slot ? { slot: guidance.slot } : {}),\n  contentHash: stableJsonHash(guidance.content),\n});\n\nexport const resolveFabricModelGuidance = (\n  guidance: readonly FabricOwnedModelGuidance[],\n  options: {\n    model?: string;\n    target: FabricModelGuidanceTarget;\n    defaults?: readonly FabricGuidanceDefaultSlot[];\n    includeSlots?: boolean;\n  },\n): FabricResolvedModelGuidance => {\n  const includeSlots = options.includeSlots !== false;\n  const matching = options.model\n    ? guidance.filter((entry) => fabricModelGuidanceMatches(entry, options.model!, options.target))\n    : [];\n  const replacements = new Map<string, FabricOwnedModelGuidance[]>();\n  const additions: FabricOwnedModelGuidance[] = [];\n  for (const entry of matching) {\n    if (entry.placement === \"append\") {\n      additions.push(entry);\n      continue;\n    }\n    if (!includeSlots || !entry.slot) continue;\n    const existing = replacements.get(entry.slot) ?? [];\n    existing.push(entry);\n    replacements.set(entry.slot, existing);\n  }\n\n  const defaultSlots = options.defaults ?? [];\n  const slotOrder = [\n    ...defaultSlots.map((entry) => entry.slot),\n    ...[...replacements.keys()]\n      .filter((slot) => !defaultSlots.some((entry) => entry.slot === slot))\n      .sort(compareStableText),\n  ];\n  const slotSections: string[] = [];\n  const sources: FabricResolvedModelGuidance[\"sources\"] = [];\n  if (includeSlots) {\n    for (const slot of slotOrder) {\n      const candidates = replacements.get(slot) ?? [];\n      if (candidates.length > 1) {\n        const owners = candidates\n          .map((entry) => `${entry.componentId}:${entry.label}`)\n          .sort(compareStableText)\n          .join(\", \");\n        throw new Error(\n          `Fabric guidance slot ${slot} has multiple replacements for ${options.model ?? \"the current model\"}: ${owners}`,\n        );\n      }\n      const replacement = candidates[0];\n      if (replacement) {\n        slotSections.push(replacement.content);\n        sources.push(sourceInfo(replacement));\n        continue;\n      }\n      const fallback = defaultSlots.find((entry) => entry.slot === slot)?.content.trim();\n      if (fallback) slotSections.push(fallback);\n    }\n  }\n\n  additions.sort(compareFabricOwnedModelGuidance);\n  for (const addition of additions) sources.push(sourceInfo(addition));\n  const appendSections = additions.map((entry) => entry.content);\n  const slotText = slotSections.join(\"\\n\\n\");\n  const appendText = appendSections.join(\"\\n\\n\");\n  const resolvedChars = slotText.length + appendText.length +\n    (slotText && appendText ? 2 : 0);\n  if (resolvedChars > MAX_FABRIC_MODEL_GUIDANCE_TOTAL_CHARS) {\n    throw new Error(\n      `Resolved Fabric model guidance exceeds ${MAX_FABRIC_MODEL_GUIDANCE_TOTAL_CHARS} characters for ${options.model ?? \"the current model\"}`,\n    );\n  }\n  return {\n    slotText,\n    appendText,\n    sources,\n    digest: stableJsonHash({\n      model: options.model,\n      target: options.target,\n      slots: slotSections,\n      additions: sources,\n    }),\n  };\n};\n"],
+  "mappings": ";;;;;AAQO,IAAM,iCAAiC;AACvC,IAAM,0CAA0C;AAChD,IAAM,0CAA0C;AAChD,IAAM,wCAAwC;AAC9C,IAAM,0CAA0C;AAChD,IAAM,2CAA2C;AAExD,IAAM,kBAAkB;AACxB,IAAM,iBAAiB;AACvB,IAAM,qBAAqB;AAC3B,IAAM,0BAA0B;AAChC,IAAM,oBAAoB;AAC1B,IAAM,kBAAkB;AAiBxB,IAAM,oBAAoB,CAAC,MAAc,UACvC,OAAO,QAAQ,KAAK,OAAO,QAAQ,IAAI;AAElC,IAAM,kCAAkC,CAC7C,MACA,UAEA,kBAAkB,KAAK,aAAa,MAAM,WAAW,KACrD,kBAAkB,KAAK,OAAO,MAAM,KAAK;AAqB3C,IAAM,gBAAgB,CAAC,YACrB,IAAI,MAAM,kCAAkC,OAAO,EAAE;AAEvD,IAAM,uBAAuB,CAAC,OAAgB,OAAyB,QAAwB;AAC7F,MAAI,OAAO,UAAU,SAAU,OAAM,cAAc,GAAG,KAAK,mBAAmB;AAC9E,QAAM,aAAa,MAAM,KAAK;AAC9B,MAAI,CAAC,WAAY,OAAM,cAAc,GAAG,KAAK,oBAAoB;AACjE,MAAI,WAAW,SAAS,IAAK,OAAM,cAAc,GAAG,KAAK,YAAY,GAAG,aAAa;AACrF,MAAI,kBAAkB,KAAK,UAAU,GAAG;AACtC,UAAM,cAAc,GAAG,KAAK,sCAAsC;AAAA,EACpE;AACA,SAAO;AACT;AAEA,IAAM,mBAAmB,CACvB,YACgC;AAChC,MAAI,YAAY,OAAW,QAAO,CAAC,QAAQ,aAAa;AACxD,MAAI,CAAC,MAAM,QAAQ,OAAO,KAAK,QAAQ,WAAW,GAAG;AACnD,UAAM,cAAc,8CAA8C;AAAA,EACpE;AACA,QAAM,aAA0C,CAAC;AACjD,aAAW,UAAU,SAAS;AAC5B,QAAI,WAAW,UAAU,WAAW,eAAe;AACjD,YAAM,cAAc,sBAAsB,OAAO,MAAM,CAAC,EAAE;AAAA,IAC5D;AACA,QAAI,CAAC,WAAW,SAAS,MAAM,EAAG,YAAW,KAAK,MAAM;AAAA,EAC1D;AACA,SAAO;AACT;AAEO,IAAM,+BAA+B,CAC1C,aACkC;AAClC,MAAI,CAAC,YAAY,OAAO,aAAa,YAAY,MAAM,QAAQ,QAAQ,GAAG;AACxE,UAAM,cAAc,gCAAgC;AAAA,EACtD;AACA,QAAM,QAAQ,qBAAqB,SAAS,OAAO,SAAS,eAAe;AAC3E,MAAI,CAAC,MAAM,QAAQ,SAAS,MAAM,KAAK,SAAS,OAAO,WAAW,GAAG;AACnE,UAAM,cAAc,GAAG,KAAK,kDAAkD;AAAA,EAChF;AACA,MAAI,SAAS,OAAO,SAAS,oBAAoB;AAC/C,UAAM,cAAc,GAAG,KAAK,sBAAsB,kBAAkB,iBAAiB;AAAA,EACvF;AACA,QAAM,SAAmB,CAAC;AAC1B,aAAW,aAAa,SAAS,QAAQ;AACvC,QAAI,OAAO,cAAc,UAAU;AACjC,YAAM,cAAc,GAAG,KAAK,iCAAiC;AAAA,IAC/D;AACA,UAAM,UAAU,UAAU,KAAK;AAC/B,QAAI,CAAC,WAAW,QAAQ,SAAS,2BAA2B,CAAC,QAAQ,SAAS,GAAG,GAAG;AAClF,YAAM;AAAA,QACJ,GAAG,KAAK,kBAAkB,KAAK,UAAU,SAAS,CAAC,6CAA6C,uBAAuB;AAAA,MACzH;AAAA,IACF;AACA,QAAI,kBAAkB,KAAK,OAAO,GAAG;AACnC,YAAM,cAAc,GAAG,KAAK,qDAAqD;AAAA,IACnF;AACA,QAAI,CAAC,OAAO,SAAS,OAAO,EAAG,QAAO,KAAK,OAAO;AAAA,EACpD;AACA,MAAI,OAAO,SAAS,YAAY,YAAY,CAAC,SAAS,QAAQ,KAAK,GAAG;AACpE,UAAM,cAAc,GAAG,KAAK,qCAAqC;AAAA,EACnE;AACA,QAAM,UAAU,SAAS,QAAQ,KAAK;AACtC,MAAI,QAAQ,SAAS,yCAAyC;AAC5D,UAAM;AAAA,MACJ,GAAG,KAAK,oBAAoB,uCAAuC;AAAA,IACrE;AAAA,EACF;AACA,QAAM,YAAY,SAAS,aAAa;AACxC,MAAI,cAAc,YAAY,cAAc,WAAW;AACrD,UAAM,cAAc,GAAG,KAAK,sCAAsC;AAAA,EACpE;AACA,QAAM,OAAO,SAAS,SAAS,SAC3B,SACA,qBAAqB,SAAS,MAAM,QAAQ,cAAc;AAC9D,MAAI,cAAc,aAAa,CAAC,MAAM;AACpC,UAAM,cAAc,GAAG,KAAK,uCAAuC;AAAA,EACrE;AACA,MAAI,cAAc,YAAY,MAAM;AAClC,UAAM,cAAc,GAAG,KAAK,0CAA0C;AAAA,EACxE;AACA,SAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA;AAAA,IACA,SAAS,iBAAiB,SAAS,OAAO;AAAA,IAC1C;AAAA,IACA,GAAI,OAAO,EAAE,KAAK,IAAI,CAAC;AAAA,EACzB;AACF;AAEO,IAAM,gCAAgC,CAAC,UAA+C;AAC3F,MAAI,CAAC,MAAM,QAAQ,KAAK,KAAK,MAAM,SAAS,wCAAyC,QAAO,CAAC;AAC7F,MAAI;AACF,UAAM,SAAS,MAAM,IAAI,CAAC,cAAc;AACtC,UAAI,CAAC,aAAa,OAAO,cAAc,YAAY,MAAM,QAAQ,SAAS,GAAG;AAC3E,cAAM,cAAc,oCAAoC;AAAA,MAC1D;AACA,YAAM,SAAS;AACf,YAAM,aAAa,6BAA6B,MAA6B;AAC7E,UACE,OAAO,OAAO,gBAAgB,YAC9B,CAAC,OAAO,YAAY,KAAK,KACzB,OAAO,OAAO,cAAc,YAC5B,CAAC,OAAO,UAAU,KAAK,KACvB,CAAC,OAAO,cAAc,OAAO,QAAQ,MACpC,OAAO,YAAY,KAAK,GACzB;AACA,cAAM,cAAc,yCAAyC;AAAA,MAC/D;AACA,aAAO;AAAA,QACL,GAAG;AAAA,QACH,aAAa,OAAO,YAAY,KAAK;AAAA,QACrC,WAAW,OAAO,UAAU,KAAK;AAAA,QACjC,UAAU,OAAO;AAAA,MACnB;AAAA,IACF,CAAC;AACD,QAAI,OAAO,OAAO,CAAC,KAAK,UAAU,MAAM,MAAM,QAAQ,QAAQ,CAAC,IAC7D,yCAA0C,QAAO,CAAC;AACpD,WAAO;AAAA,EACT,QAAQ;AACN,WAAO,CAAC;AAAA,EACV;AACF;AAEO,IAAM,0BAA0B,CACrC,cAC6B;AAAA,EAC7B,OAAO,SAAS;AAAA,EAChB,QAAQ,CAAC,GAAG,SAAS,MAAM;AAAA,EAC3B,SAAS,CAAC,GAAG,SAAS,OAAO;AAAA,EAC7B,WAAW,SAAS;AAAA,EACpB,GAAI,SAAS,OAAO,EAAE,MAAM,SAAS,KAAK,IAAI,CAAC;AAAA,EAC/C,cAAc,SAAS,QAAQ;AAAA,EAC/B,aAAa,eAAe,SAAS,OAAO;AAC9C;AAEA,IAAM,gBAAgB,CAAC,SAAiB,UAA2B;AACjE,MAAI,aAAa;AACjB,aAAW,aAAa,SAAS;AAC/B,QAAI,cAAc,IAAK,eAAc;AAAA,aAC5B,cAAc,IAAK,eAAc;AAAA,QACrC,eAAc,gBAAgB,KAAK,SAAS,IAAI,KAAK,SAAS,KAAK;AAAA,EAC1E;AACA,SAAO,IAAI,OAAO,GAAG,UAAU,KAAK,GAAG,EAAE,KAAK,KAAK;AACrD;AAEA,IAAM,6BAA6B,CACjC,UACA,OACA,WAEA,SAAS,QAAQ,SAAS,MAAM,KAAK,SAAS,OAAO,KAAK,CAAC,YAAY,cAAc,SAAS,KAAK,CAAC;AAEtG,IAAM,aAAa,CAAC,cAAwC;AAAA,EAC1D,aAAa,SAAS;AAAA,EACtB,WAAW,SAAS;AAAA,EACpB,OAAO,SAAS;AAAA,EAChB,WAAW,SAAS;AAAA,EACpB,GAAI,SAAS,OAAO,EAAE,MAAM,SAAS,KAAK,IAAI,CAAC;AAAA,EAC/C,aAAa,eAAe,SAAS,OAAO;AAC9C;AAEO,IAAM,6BAA6B,CACxC,UACA,YAMgC;AAChC,QAAM,eAAe,QAAQ,iBAAiB;AAC9C,QAAM,WAAW,QAAQ,QACrB,SAAS,OAAO,CAAC,UAAU,2BAA2B,OAAO,QAAQ,OAAQ,QAAQ,MAAM,CAAC,IAC5F,CAAC;AACL,QAAM,eAAe,oBAAI,IAAwC;AACjE,QAAM,YAAwC,CAAC;AAC/C,aAAW,SAAS,UAAU;AAC5B,QAAI,MAAM,cAAc,UAAU;AAChC,gBAAU,KAAK,KAAK;AACpB;AAAA,IACF;AACA,QAAI,CAAC,gBAAgB,CAAC,MAAM,KAAM;AAClC,UAAM,WAAW,aAAa,IAAI,MAAM,IAAI,KAAK,CAAC;AAClD,aAAS,KAAK,KAAK;AACnB,iBAAa,IAAI,MAAM,MAAM,QAAQ;AAAA,EACvC;AAEA,QAAM,eAAe,QAAQ,YAAY,CAAC;AAC1C,QAAM,YAAY;AAAA,IAChB,GAAG,aAAa,IAAI,CAAC,UAAU,MAAM,IAAI;AAAA,IACzC,GAAG,CAAC,GAAG,aAAa,KAAK,CAAC,EACvB,OAAO,CAAC,SAAS,CAAC,aAAa,KAAK,CAAC,UAAU,MAAM,SAAS,IAAI,CAAC,EACnE,KAAK,iBAAiB;AAAA,EAC3B;AACA,QAAM,eAAyB,CAAC;AAChC,QAAM,UAAkD,CAAC;AACzD,MAAI,cAAc;AAChB,eAAW,QAAQ,WAAW;AAC5B,YAAM,aAAa,aAAa,IAAI,IAAI,KAAK,CAAC;AAC9C,UAAI,WAAW,SAAS,GAAG;AACzB,cAAM,SAAS,WACZ,IAAI,CAAC,UAAU,GAAG,MAAM,WAAW,IAAI,MAAM,KAAK,EAAE,EACpD,KAAK,iBAAiB,EACtB,KAAK,IAAI;AACZ,cAAM,IAAI;AAAA,UACR,wBAAwB,IAAI,kCAAkC,QAAQ,SAAS,mBAAmB,KAAK,MAAM;AAAA,QAC/G;AAAA,MACF;AACA,YAAM,cAAc,WAAW,CAAC;AAChC,UAAI,aAAa;AACf,qBAAa,KAAK,YAAY,OAAO;AACrC,gBAAQ,KAAK,WAAW,WAAW,CAAC;AACpC;AAAA,MACF;AACA,YAAM,WAAW,aAAa,KAAK,CAAC,UAAU,MAAM,SAAS,IAAI,GAAG,QAAQ,KAAK;AACjF,UAAI,SAAU,cAAa,KAAK,QAAQ;AAAA,IAC1C;AAAA,EACF;AAEA,YAAU,KAAK,+BAA+B;AAC9C,aAAW,YAAY,UAAW,SAAQ,KAAK,WAAW,QAAQ,CAAC;AACnE,QAAM,iBAAiB,UAAU,IAAI,CAAC,UAAU,MAAM,OAAO;AAC7D,QAAM,WAAW,aAAa,KAAK,MAAM;AACzC,QAAM,aAAa,eAAe,KAAK,MAAM;AAC7C,QAAM,gBAAgB,SAAS,SAAS,WAAW,UAChD,YAAY,aAAa,IAAI;AAChC,MAAI,gBAAgB,uCAAuC;AACzD,UAAM,IAAI;AAAA,MACR,0CAA0C,qCAAqC,mBAAmB,QAAQ,SAAS,mBAAmB;AAAA,IACxI;AAAA,EACF;AACA,SAAO;AAAA,IACL;AAAA,IACA;AAAA,IACA;AAAA,IACA,QAAQ,eAAe;AAAA,MACrB,OAAO,QAAQ;AAAA,MACf,QAAQ,QAAQ;AAAA,MAChB,OAAO;AAAA,MACP,WAAW;AAAA,IACb,CAAC;AAAA,EACH;AACF;",
+  "names": []
+}

package/dist/chunks/{chunk-EBGSP7Q7.js → chunk-ASBRTAJ4.js}

@@ -12,20 +12,20 @@ import {
   buildThinkingDigest,
   snapshotHandoffSession,
   thinkingTransferPolicy
-} from "./chunk-UACA2AKF.js";
+} from "./chunk-FL52NCFS.js";
 import {
   isFabricThinking
 } from "./chunk-7B55UIZL.js";
 import {
   NESTED_TOOL_CALL_ID_PREFIX
-} from "./chunk-OKQHLYTU.js";
+} from "./chunk-LDZWE6OA.js";
 import {
   runAbortable,
   throwIfAborted
 } from "./chunk-7TB7NXSL.js";
 import {
   stableJsonHash
-} from "./chunk-22RY7UMR.js";
+} from "./chunk-CIJPRYAP.js";
 import {
   FabricTraceSafeError
 } from "./chunk-IDTQ2B5W.js";
@@ -178,6 +178,7 @@ var queuePrewalkFollowUp = (extension, customType, content, details) => {
 };
 var prewalkTriggerField = (pending) => ({
   ref: pending.triggerRef,
+  ...pending.triggerSeq !== void 0 ? { seq: pending.triggerSeq } : {},
   ...pending.triggerFiles && pending.triggerFiles.length > 0 ? {
     files: pending.triggerFiles,
     ...pending.triggerFilesTruncated ? { truncated: pending.triggerFilesTruncated } : {}
@@ -207,7 +208,7 @@ var filterPrewalkContinuationMessages = (messages, accept) => {
 };
 var prewalkArmedPrompt = (mode, model) => [
   `Prewalk armed \u2192 ${model} (${mode}): the first successful pi.edit / pi.write / schema.commit \u2014 or file changes produced by shell commands \u2014 inside fabric_exec hands off to the executor automatically; ${mode === "trajectory" ? "the executor takes over the implementation there, and a hidden follow-up asks you to verify its work and summarize when it finishes." : `this session switches to ${model} and keeps working.`}`,
-  "Reads never fire it; for multi-step work, restate the remaining steps before your first edit."
+  "Reads never fire it; trigger reports mark the handoff moment only \u2014 the workspace is the source of truth, so verify file state with reads before continuing. For multi-step work, restate the remaining steps before your first edit."
 ].join("\n");
 var customMessageText = (content) => {
   if (typeof content === "string") return content;
@@ -286,14 +287,15 @@ var buildPrewalkPending = (claim, resultFormat) => {
     startedAt: Date.now(),
     tool: inPlace ? "prewalk" : "handoff",
     provider: inPlace ? "fabric" : "agents",
-    args
+    args: { ...args, seq: claim.seq }
   };
   return {
     kind: inPlace ? "prewalk-in-place" : "prewalk-trajectory",
     args,
     audit,
     resultFormat,
-    triggerRef: claim.mutation.ref
+    triggerRef: claim.mutation.ref,
+    triggerSeq: claim.seq
   };
 };
 var modelForKey = (key, context) => {
@@ -1332,13 +1334,15 @@ var loadCachedMcpDescriptors = async (options) => {
     const cached = parseCachedServer(raw);
     if (!cached) continue;
     for (const tool of cached.tools) {
+      const annotations = tool.annotations;
       descriptors.push({
         name: `${server}.${tool.name}`,
         description: tool.description ?? `${tool.name} on MCP server ${server}`,
         inputSchema: normalizeSchema(tool.inputSchema),
         ...tool.outputSchema ? { outputSchema: normalizeSchema(tool.outputSchema) } : {},
         risk: "network",
-        namespace: server
+        namespace: server,
+        ...annotations ? { annotations: { ...annotations } } : {}
       });
     }
   }
@@ -1976,6 +1980,7 @@ var normalizedTask = (value) => {
 var PrewalkController = class {
   #status = { state: "idle" };
   #settling = /* @__PURE__ */ new Set();
+  #claimSeq = /* @__PURE__ */ new Map();
   status() {
     return structuredClone(this.#status);
   }
@@ -2106,8 +2111,9 @@ var PrewalkController = class {
     if (!mutation) return void 0;
     const arm = this.#snapshotArm();
     if (!arm) return void 0;
+    const seq = this.#nextClaimSeq(sessionId);
     this.#status = { state: "handing_off", ...arm };
-    return { arm, mutation };
+    return { arm, mutation, seq };
   }
   // Filesystem-fallback claim for writes audits cannot attribute (shell
   // heredocs, sed -i, formatter binaries). The drift file list rides on the
@@ -2124,8 +2130,14 @@ var PrewalkController = class {
       success: true,
       ...files.length > 0 ? { args: { files: [...files] } } : {}
     };
+    const seq = this.#nextClaimSeq(sessionId);
     this.#status = { state: "handing_off", ...arm };
-    return { arm, mutation };
+    return { arm, mutation, seq };
+  }
+  #nextClaimSeq(sessionId) {
+    const seq = (this.#claimSeq.get(sessionId) ?? 0) + 1;
+    this.#claimSeq.set(sessionId, seq);
+    return seq;
   }
   #snapshotArm() {
     if (this.#status.state !== "armed") return void 0;
@@ -2148,7 +2160,8 @@ var PrewalkController = class {
 
 // src/prewalk/fs-drift.ts
 import { execFile } from "node:child_process";
-import { readdir, stat } from "node:fs/promises";
+import { createHash } from "node:crypto";
+import { readFile, readdir, stat } from "node:fs/promises";
 import path5 from "node:path";
 import { promisify } from "node:util";
 var execFileAsync = promisify(execFile);
@@ -2156,6 +2169,8 @@ var DEFAULT_MAX_TRACKED_FILES = 2e5;
 var MAX_REPORT_FILES = 100;
 var GIT_TIMEOUT_MS = 1e4;
 var STAT_CONCURRENCY = 32;
+var MAX_HASH_FILES_PER_EVAL = 256;
+var HASH_MAX_BYTES = 16 << 20;
 var WALK_SKIP_DIRS = /* @__PURE__ */ new Set([".git", "node_modules"]);
 var listGitFiles = async (cwd) => {
   try {
@@ -2256,8 +2271,8 @@ var PrewalkDriftTracker = class {
     if (current.files.size === 0 && baseline.files.size > 0) return rebaseline();
     const files = [];
     let added = 0;
-    let modified = 0;
     let deleted = 0;
+    const candidates = [];
     for (const [file, now] of current.files) {
       const before = baseline.files.get(file);
       if (!before) {
@@ -2266,8 +2281,7 @@ var PrewalkDriftTracker = class {
         continue;
       }
       if (before.size !== now.size || Math.abs(before.mtimeMs - now.mtimeMs) > 1e-6) {
-        modified += 1;
-        files.push(file);
+        candidates.push({ file, before, entry: now });
       }
     }
     for (const file of baseline.files.keys()) {
@@ -2276,6 +2290,8 @@ var PrewalkDriftTracker = class {
         files.push(file);
       }
     }
+    const verified = await this.#verifyModified(current.root, candidates);
+    files.push(...verified.changed);
     this.#baselines.set(sessionId, current);
     if (files.length === 0) return void 0;
     const shown = files.slice(0, MAX_REPORT_FILES);
@@ -2283,9 +2299,51 @@ var PrewalkDriftTracker = class {
       files: shown,
       truncated: files.length - shown.length,
       added,
-      modified,
-      deleted
+      modified: verified.changed.length,
+      deleted,
+      unchanged: verified.unchanged
+    };
+  }
+  // Content-verify stat-modified files against the last hash this tracker
+  // recorded for them. The first stat-drift on a file teaches the fresh
+  // baseline its SHA-1 while still reporting the change; a later window whose
+  // recomputed hash matches the recorded one is mtime-only churn and leaves
+  // the report. Files past the per-evaluation hash budget or the per-file
+  // byte cap stay in the report unrecorded — baseline reads stay free and
+  // unverifiable drift fails open toward claiming.
+  async #verifyModified(root, candidates) {
+    const changed = [];
+    let unchanged = 0;
+    let hashBudget = MAX_HASH_FILES_PER_EVAL;
+    let cursor = 0;
+    const worker = async () => {
+      while (cursor < candidates.length) {
+        const candidate = candidates[cursor];
+        cursor += 1;
+        if (!candidate) continue;
+        const { file, before, entry } = candidate;
+        if (hashBudget <= 0 || entry.size > HASH_MAX_BYTES || before.size > HASH_MAX_BYTES) {
+          changed.push(file);
+          continue;
+        }
+        hashBudget -= 1;
+        let sha1;
+        try {
+          sha1 = createHash("sha1").update(await readFile(path5.join(root, file))).digest("hex");
+        } catch {
+          changed.push(file);
+          continue;
+        }
+        entry.sha1 = sha1;
+        if (before.sha1 === sha1) {
+          unchanged += 1;
+          continue;
+        }
+        changed.push(file);
+      }
     };
+    await Promise.all(Array.from({ length: STAT_CONCURRENCY }, () => worker()));
+    return { changed, unchanged };
   }
   drop(sessionId) {
     this.#baselines.delete(sessionId);
@@ -2458,4 +2516,4 @@ export {
   resolveFabricIdentity,
   MainAgentController
 };
-//# sourceMappingURL=chunk-EBGSP7Q7.js.map
+//# sourceMappingURL=chunk-ASBRTAJ4.js.map