create-principles-disciple 1.104.0 → 1.104.2

package/core/dist/runtime-v2/internalization/pitask-metadata.d.ts

@@ -27,7 +27,34 @@
 import type { TaskRecord } from '../task-status.js';
 import type { PITaskRecord, InternalizationChannel, ArtifactRef } from './peer-runner-contracts.js';
 /** Namespace key used inside diagnosticJson to isolate PI metadata. */
-export declare const PI_METADATA_KEY: "pi_metadata";
+export declare const PI_METADATA_KEY: 'pi_metadata';
+/**
+ * Evaluator repair payload (PRI-509).
+ *
+ * Carries the evaluator's structured feedback when decision === 'needs_revision'
+ * so the seeded artificer repair task can address each required change instead
+ * of regenerating blind. The metadata layer treats this as opaque; the
+ * ArtificerRunner.buildContext reads it and constructs a pre-formatted
+ * repairFeedback string for the prompt builder.
+ *
+ * Lineage (rc-6):
+ *   - sourceArtificerArtifactId: the prior artificer artifact that was rejected
+ *   - sourceEvaluatorTaskId: the evaluator task that returned needs_revision
+ *
+ * Loop state freshness (rc-7, EP-05, ERR-015/018/019):
+ *   - repairIteration is written at task creation time, never inferred at read.
+ *   - Round 1 = first repair (after initial evaluator needs_revision).
+ *   - Round 2 = second repair (after first repair's evaluator needs_revision).
+ *   - Max 2 rounds; a 3rd needs_revision fails loud via needs_human_review (EP-03).
+ */
+export interface RepairPayload {
+    readonly requiredChanges: readonly string[];
+    readonly concerns: readonly string[];
+    readonly previousScore: number;
+    readonly repairIteration: number;
+    readonly sourceArtificerArtifactId: string;
+    readonly sourceEvaluatorTaskId: string;
+}
 /**
  * PI-specific metadata stored inside TaskRecord.diagnosticJson.
  * All fields must be present except parentTaskId and correlationId (optional).
@@ -48,6 +75,13 @@ export interface PITaskMetadata {
      * metadata layer; the ArtificerRunner forwards it to the prompt builder.
      */
     adversarialFeedback?: string;
+    /**
+     * Evaluator repair payload (PRI-509). Present only on artificer tasks seeded
+     * by evaluator needs_revision. Carries the structured feedback
+     * (requiredChanges/concerns/previousScore/repairIteration) so the artificer
+     * can address each required change. Undefined on Round-1 artificer tasks.
+     */
+    repairPayload?: RepairPayload;
 }
 /**
  * Serialize PITaskMetadata into a JSON string suitable for TaskRecord.diagnosticJson.

package/core/dist/runtime-v2/internalization/pitask-metadata.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pitask-metadata.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/pitask-metadata.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EACV,YAAY,EACZ,sBAAsB,EACtB,WAAW,EACZ,MAAM,4BAA4B,CAAC;AAGpC,uEAAuE;AACvE,eAAO,MAAM,eAAe,EAAG,aAAsB,CAAC;AAEtD;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,OAAO,EAAE,sBAAsB,CAAC;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,EAAE,WAAW,EAAE,CAAC;IACjC,kBAAkB,EAAE,WAAW,EAAE,CAAC;IAClC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;;OAKG;IACH,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAID;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,cAAc,GAAG,MAAM,CAcxE;AAED,kFAAkF;AAClF,eAAO,MAAM,0BAA0B,gCAA0B,CAAC;AAkBlE;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,cAAc,EAAE,MAAM,GAAG,cAAc,GAAG,IAAI,CAuEjF;AAID;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,YAAY,GAAG,IAAI,CA2BzE"}
+{"version":3,"file":"pitask-metadata.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/pitask-metadata.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EACV,YAAY,EACZ,sBAAsB,EACtB,WAAW,EACZ,MAAM,4BAA4B,CAAC;AAGpC,uEAAuE;AACvE,eAAO,MAAM,eAAe,EAAG,aAAsB,CAAC;AAEtD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;CACxC;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,OAAO,EAAE,sBAAsB,CAAC;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,EAAE,WAAW,EAAE,CAAC;IACjC,kBAAkB,EAAE,WAAW,EAAE,CAAC;IAClC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;;OAKG;IACH,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B;;;;;OAKG;IACH,aAAa,CAAC,EAAE,aAAa,CAAC;CAC/B;AAID;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,cAAc,GAAG,MAAM,CAexE;AAED,kFAAkF;AAClF,eAAO,MAAM,0BAA0B,gCAA0B,CAAC;AA6DlE;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CAAC,cAAc,EAAE,MAAM,GAAG,cAAc,GAAG,IAAI,CAkFjF;AAID;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,YAAY,GAAG,IAAI,CA4BzE"}

package/core/dist/runtime-v2/internalization/pitask-metadata.js

@@ -44,6 +44,7 @@ export function serializePITaskMetadata(metadata) {
             correlationId: metadata.correlationId,
             rejectionCount: metadata.rejectionCount,
             adversarialFeedback: metadata.adversarialFeedback,
+            repairPayload: metadata.repairPayload,
         },
     });
 }
@@ -62,6 +63,57 @@ function isValidArtifactRef(value) {
     return typeof r.artifactType === 'string' && r.artifactType.trim() !== '' &&
         typeof r.ref === 'string' && r.ref.trim() !== '';
 }
+/**
+ * Validates a value is a valid RepairPayload (PRI-509).
+ *
+ * Trust boundary (rc-1, rc-2): repairPayload originates from evaluator LLM
+ * output persisted into diagnosticJson. Treat as unknown and validate every
+ * field before returning. No `as` casts that bypass validation.
+ *
+ * Validation rules:
+ *   - requiredChanges: non-empty array of non-empty strings (rc-4)
+ *   - concerns: array of non-empty strings (can be empty)
+ *   - previousScore: finite number
+ *   - repairIteration: positive integer, upper bound of 2 (rc-3 fail-closed
+ *     at the trust boundary — the documented contract is "max 2 rounds"; a
+ *     payload with repairIteration: 3 must be rejected here rather than
+ *     relying on the runtime caller's priorRepairIteration >= 2 check)
+ *   - sourceArtificerArtifactId: non-empty string
+ *   - sourceEvaluatorTaskId: non-empty string
+ */
+function isValidRepairPayload(value) {
+    if (typeof value !== 'object' || value === null || Array.isArray(value))
+        return false;
+    const p = value;
+    // rc-4: validate array elements are non-empty strings.
+    if (!Array.isArray(p.requiredChanges) || p.requiredChanges.length === 0)
+        return false;
+    for (const c of p.requiredChanges) {
+        if (typeof c !== 'string' || c.trim() === '')
+            return false;
+    }
+    if (!Array.isArray(p.concerns))
+        return false;
+    for (const c of p.concerns) {
+        if (typeof c !== 'string' || c.trim() === '')
+            return false;
+    }
+    if (typeof p.previousScore !== 'number' || !Number.isFinite(p.previousScore))
+        return false;
+    // rc-3: enforce the documented max-2-rounds contract at the trust boundary.
+    // repairIteration must be a positive integer in [1, 2]; reject 3+ here so
+    // a malformed payload cannot bypass the runtime caller's max-iteration guard.
+    if (typeof p.repairIteration !== 'number'
+        || !Number.isInteger(p.repairIteration)
+        || p.repairIteration < 1
+        || p.repairIteration > 2)
+        return false;
+    if (typeof p.sourceArtificerArtifactId !== 'string' || p.sourceArtificerArtifactId.trim() === '')
+        return false;
+    if (typeof p.sourceEvaluatorTaskId !== 'string' || p.sourceEvaluatorTaskId.trim() === '')
+        return false;
+    return true;
+}
 // ── Parsing ─────────────────────────────────────────────────────────────────────
 /**
  * Parse a diagnosticJson string into PITaskMetadata.
@@ -145,6 +197,16 @@ export function parsePITaskMetadata(diagnosticJson) {
         if (m.adversarialFeedback.trim() === '')
             return null;
     }
+    // repairPayload (PRI-509): optional, must pass full validation if present.
+    // rc-3: if the key is present but the value is malformed, fail loud (return null)
+    // rather than silently dropping the field — the caller will see a null metadata
+    // and treat the task as non-PI, which surfaces the corruption.
+    let repairPayload;
+    if (Object.hasOwn(m, 'repairPayload') && m.repairPayload !== undefined) {
+        if (!isValidRepairPayload(m.repairPayload))
+            return null;
+        ({ repairPayload } = m);
+    }
     return {
         dependencyTaskIds: m.dependencyTaskIds,
         channel: m.channel,
@@ -155,6 +217,7 @@ export function parsePITaskMetadata(diagnosticJson) {
         correlationId: typeof m.correlationId === 'string' ? m.correlationId : undefined,
         rejectionCount,
         adversarialFeedback: typeof m.adversarialFeedback === 'string' ? m.adversarialFeedback : undefined,
+        repairPayload,
     };
 }
 // ── Hydration ───────────────────────────────────────────────────────────────────
@@ -200,6 +263,7 @@ export function hydratePITaskRecord(task) {
         correlationId: meta.correlationId,
         rejectionCount: meta.rejectionCount ?? 0,
         adversarialFeedback: meta.adversarialFeedback,
+        repairPayload: meta.repairPayload,
     };
 }
 //# sourceMappingURL=pitask-metadata.js.map

package/core/dist/runtime-v2/internalization/pitask-metadata.js.map

@@ -1 +1 @@
-{"version":3,"file":"pitask-metadata.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/pitask-metadata.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAQH,OAAO,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAEpF,uEAAuE;AACvE,MAAM,CAAC,MAAM,eAAe,GAAG,aAAsB,CAAC;AAwBtD,kFAAkF;AAElF;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAAwB;IAC9D,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,CAAC,eAAe,CAAC,EAAE;YACjB,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;YAC7C,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;YAC7C,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;YAC/C,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,cAAc,EAAE,QAAQ,CAAC,cAAc;YACvC,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB;SAClD;KACF,CAAC,CAAC;AACL,CAAC;AAED,kFAAkF;AAClF,MAAM,CAAC,MAAM,0BAA0B,GAAG,uBAAuB,CAAC;AAElE,kFAAkF;AAElF;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,KAAc;IACxC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,CAAC,GAAG,KAAgC,CAAC;IAC3C,OAAO,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE;QACvE,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AACrD,CAAC;AAED,mFAAmF;AAEnF;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CAAC,cAAsB;IACxD,6CAA6C;IAC7C,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC;IACtC,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAE1B,IAAI,MAA+B,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,OAAO,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC;IACxC,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAEvG,MAAM,CAAC,GAAG,OAAkC,CAAC;IAE7C,kBAAkB;IAClB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACrC,IAAI,OAAO,EAAE,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;IAC1C,CAAC;IACD,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,oCAAoC;IACpC,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACtC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IAC5C,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,kBAAkB,EAAE,CAAC;QACvC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IAC5C,CAAC;IAED,gFAAgF;IAChF,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACrE,IAAI,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACpD,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC;IAChD,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACvE,IAAI,OAAO,CAAC,CAAC,aAAa,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACrD,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC;IACjD,CAAC;IAED,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACzE,IAAI,OAAO,CAAC,CAAC,cAAc,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,cAAc,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACpH,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IAChD,CAAC;IAED,wEAAwE;IACxE,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,qBAAqB,CAAC,IAAI,CAAC,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;QACnF,IAAI,OAAO,CAAC,CAAC,mBAAmB,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3D,IAAI,CAAC,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC;IACvD,CAAC;IAED,OAAO;QACL,iBAAiB,EAAE,CAAC,CAAC,iBAA6B;QAClD,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,iBAAiB,EAAE,CAAC,CAAC,iBAAkC;QACvD,kBAAkB,EAAE,CAAC,CAAC,kBAAmC;QACzD,YAAY,EAAE,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;QAC7E,aAAa,EAAE,OAAO,CAAC,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;QAChF,cAAc;QACd,mBAAmB,EAAE,OAAO,CAAC,CAAC,mBAAmB,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS;KACnG,CAAC;AACJ,CAAC;AAED,mFAAmF;AAEnF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAgB;IAClD,+DAA+D;IAC/D,wDAAwD;IACxD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAE9C,wEAAwE;IACxE,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,MAAM,EAAC,cAAc,EAAC,GAAG,GAAG,CAAC;IAC7B,IAAI,CAAC,cAAc,IAAI,OAAO,cAAc,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAEvE,MAAM,IAAI,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC;IACjD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,wDAAwD;IACxD,oEAAoE;IACpE,OAAO;QACL,GAAG,IAAI;QACP,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;QACzC,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;QACzC,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;QAC3C,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,CAAC;QACxC,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;KACnB,CAAC;AAC/B,CAAC"}
+{"version":3,"file":"pitask-metadata.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/pitask-metadata.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAQH,OAAO,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAEpF,uEAAuE;AACvE,MAAM,CAAC,MAAM,eAAe,GAAG,aAAsB,CAAC;AA2DtD,kFAAkF;AAElF;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAAwB;IAC9D,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,CAAC,eAAe,CAAC,EAAE;YACjB,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;YAC7C,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;YAC7C,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;YAC/C,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,cAAc,EAAE,QAAQ,CAAC,cAAc;YACvC,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB;YACjD,aAAa,EAAE,QAAQ,CAAC,aAAa;SACtC;KACF,CAAC,CAAC;AACL,CAAC;AAED,kFAAkF;AAClF,MAAM,CAAC,MAAM,0BAA0B,GAAG,uBAAuB,CAAC;AAElE,kFAAkF;AAElF;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,KAAc;IACxC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,CAAC,GAAG,KAAgC,CAAC;IAC3C,OAAO,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE;QACvE,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,CAAC,GAAG,KAAgC,CAAC;IAC3C,uDAAuD;IACvD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;QAClC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,KAAK,CAAC;IAC7D,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,KAAK,CAAC;IAC7D,CAAC;IACD,IAAI,OAAO,CAAC,CAAC,aAAa,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3F,4EAA4E;IAC5E,0EAA0E;IAC1E,8EAA8E;IAC9E,IAAI,OAAO,CAAC,CAAC,eAAe,KAAK,QAAQ;WACpC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC;WACpC,CAAC,CAAC,eAAe,GAAG,CAAC;WACrB,CAAC,CAAC,eAAe,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,OAAO,CAAC,CAAC,yBAAyB,KAAK,QAAQ,IAAI,CAAC,CAAC,yBAAyB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC/G,IAAI,OAAO,CAAC,CAAC,qBAAqB,KAAK,QAAQ,IAAI,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IACvG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,mFAAmF;AAEnF;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CAAC,cAAsB;IACxD,6CAA6C;IAC7C,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC;IACtC,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAE1B,IAAI,MAA+B,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,OAAO,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC;IACxC,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAEvG,MAAM,CAAC,GAAG,OAAkC,CAAC;IAE7C,kBAAkB;IAClB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACrC,IAAI,OAAO,EAAE,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;IAC1C,CAAC;IACD,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,oCAAoC;IACpC,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACtC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IAC5C,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,kBAAkB,EAAE,CAAC;QACvC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IAC5C,CAAC;IAED,gFAAgF;IAChF,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACrE,IAAI,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACpD,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC;IAChD,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACvE,IAAI,OAAO,CAAC,CAAC,aAAa,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACrD,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC;IACjD,CAAC;IAED,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACzE,IAAI,OAAO,CAAC,CAAC,cAAc,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,cAAc,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACpH,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IAChD,CAAC;IAED,wEAAwE;IACxE,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,qBAAqB,CAAC,IAAI,CAAC,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;QACnF,IAAI,OAAO,CAAC,CAAC,mBAAmB,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3D,IAAI,CAAC,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC;IACvD,CAAC;IAED,2EAA2E;IAC3E,kFAAkF;IAClF,gFAAgF;IAChF,+DAA+D;IAC/D,IAAI,aAAwC,CAAC;IAC7C,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACvE,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,aAAa,CAAC;YAAE,OAAO,IAAI,CAAC;QACxD,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC;IAC1B,CAAC;IAED,OAAO;QACL,iBAAiB,EAAE,CAAC,CAAC,iBAA6B;QAClD,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,iBAAiB,EAAE,CAAC,CAAC,iBAAkC;QACvD,kBAAkB,EAAE,CAAC,CAAC,kBAAmC;QACzD,YAAY,EAAE,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;QAC7E,aAAa,EAAE,OAAO,CAAC,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;QAChF,cAAc;QACd,mBAAmB,EAAE,OAAO,CAAC,CAAC,mBAAmB,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS;QAClG,aAAa;KACd,CAAC;AACJ,CAAC;AAED,mFAAmF;AAEnF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAgB;IAClD,+DAA+D;IAC/D,wDAAwD;IACxD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAE9C,wEAAwE;IACxE,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,MAAM,EAAC,cAAc,EAAC,GAAG,GAAG,CAAC;IAC7B,IAAI,CAAC,cAAc,IAAI,OAAO,cAAc,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAEvE,MAAM,IAAI,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC;IACjD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,wDAAwD;IACxD,oEAAoE;IACpE,OAAO;QACL,GAAG,IAAI;QACP,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;QACzC,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;QACzC,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;QAC3C,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,CAAC;QACxC,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;QAC7C,aAAa,EAAE,IAAI,CAAC,aAAa;KACP,CAAC;AAC/B,CAAC"}

package/core/dist/runtime-v2/internalization/progressive-evaluator.d.ts

@@ -0,0 +1,115 @@
+/**
+ * Layer 2 — Progressive Evaluator: two-stage evaluation with flagged criteria
+ * (design §6.5).
+ *
+ * Pure logic only (Core vs Plugin boundary, `antipattern-core-io`).
+ *
+ * The progressive evaluator runs Stage 1 (summary-level context) first; only
+ * when flagged / undetermined / forced-sample does it trigger Stage 2 (tier2
+ * full-contentJson re-evaluation). This keeps daily cost low while enabling
+ * deep diagnosis on demand.
+ *
+ * Key invariants:
+ *   - Stage 2 output is INDEPENDENT — never merged with Stage 1 (rc-7 /
+ *     ERR-015 / ERR-018 / ERR-019). `stagesRun === 2` ⟹ `finalOutput` is
+ *     entirely the Stage 2 result.
+ *   - flagged criteria read DIMENSION_COVERAGE_POLICY (single source of truth),
+ *     never inline a dimension-name array. Untrusted LLM input is filtered by
+ *     the policy table before flagging (rc-1 / rc-4).
+ *   - Deterministic forced sampling via fnv1a32 (no Math.random, design §4.4).
+ */
+export declare const IMPLEMENTATION_FIDELITY_THRESHOLD = 0.7;
+export declare const FORCED_STAGE2_SAMPLE_MODULUS = 20;
+export type FlaggedReasonCode = 'missing_dimensions' | 'pain_not_fully_covered' | 'implementation_fidelity_below_threshold';
+export interface FlaggedDecision {
+    readonly flagged: boolean;
+    readonly reasons: readonly FlaggedReasonCode[];
+    /** Fields that could not be determined (missing/malformed) — rc-3 + rc-9. */
+    readonly undetermined: readonly string[];
+}
+export interface ProgressiveEvaluationOutcome {
+    /** Stage 2 ran → entirely Stage 2's result; never merged with Stage 1. */
+    readonly finalOutput: unknown;
+    readonly stagesRun: 1 | 2;
+    readonly stage1Decision: FlaggedDecision;
+    readonly forcedStage2: boolean;
+    readonly stage1FalseNegative?: {
+        readonly newConcernKeys: readonly string[];
+    };
+    readonly stage2Aborted?: {
+        readonly reason: 'lineage_error';
+        readonly detail: string;
+    };
+}
+/**
+ * FNV-1a 32-bit hash. Pure, deterministic, no crypto, no Math.random.
+ * Supports the full Unicode range in the input string.
+ */
+export declare function fnv1a32(input: string): number;
+/**
+ * Deterministic ~5% forced Stage 2 sampling. `fnv1a32(taskId) % modulus === 0`.
+ * Never uses Math.random or any non-deterministic source (design §4.4).
+ */
+export declare function isForcedStage2(taskId: string, modulus?: number): boolean;
+/**
+ * Evaluate the three flagged criteria against Stage 1 output (design §6.5.3).
+ *
+ * Preconditions: none — `stage1Output` is untrusted LLM output (rc-1), read
+ * via `Object.hasOwn` (rc-5 / ERR-013).
+ *
+ * Postconditions:
+ *   - `flagged === true` iff `reasons` is non-empty.
+ *   - Three criteria: required-dimension missing, painCoverage.fullyCovered === false,
+ *     implementationFidelity.score < 0.7.
+ *   - Fields missing or wrong type → `undetermined` (rc-3: fail loud, never
+ *     silently pass).
+ *
+ * Dimension criterion (§6.5.3, measurement-driven tightening):
+ *   - Only **required** dimension names in `missingDimensions` count. The LLM
+ *     may stuff optional/excluded/unknown strings in — all filtered out by
+ *     `isRequiredDimension` before checking. `optionalUncovered` never enters
+ *     `reasons`.
+ */
+export declare function evaluateFlaggedCriteria(stage1Output: unknown): FlaggedDecision;
+/**
+ * LLM evaluator callback type. The caller injects the actual LLM invocation;
+ * this module is pure logic and never calls an LLM directly.
+ */
+export interface ProgressiveEvaluatorLLM {
+    /** Evaluate using the provided context fields. Returns the raw LLM output (unknown). */
+    evaluate(fields: Readonly<Record<string, string>>): Promise<unknown>;
+}
+/**
+ * Lineage resolver type (CandidateLineage from Layer 2, injected by caller).
+ */
+export interface ProgressiveEvaluatorLineage {
+    resolve(startArtifactId: string): Promise<{
+        readonly ok: true;
+        readonly value: {
+            readonly nodes: readonly unknown[];
+        };
+    } | {
+        readonly ok: false;
+        readonly error: {
+            readonly kind: string;
+        };
+    }>;
+}
+export interface ProgressiveEvaluatorDeps {
+    readonly taskId: string;
+    readonly startArtifactId: string;
+    readonly stage1Context: Readonly<Record<string, string>>;
+    readonly stage2Context?: Readonly<Record<string, string>>;
+    readonly llm: ProgressiveEvaluatorLLM;
+    readonly lineage?: ProgressiveEvaluatorLineage;
+    readonly emit?: (event: ProgressiveEvaluatorEvent) => void;
+}
+export type ProgressiveEvaluatorEvent = {
+    readonly type: 'lineage_data_corrupt';
+    readonly detail: string;
+} | {
+    readonly type: 'stage1_false_negative';
+    readonly newConcernKeys: readonly string[];
+};
+export declare function runProgressiveEvaluation(deps: ProgressiveEvaluatorDeps): Promise<ProgressiveEvaluationOutcome>;
+//# sourceMappingURL=progressive-evaluator.d.ts.map

package/core/dist/runtime-v2/internalization/progressive-evaluator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"progressive-evaluator.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/progressive-evaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAMH,eAAO,MAAM,iCAAiC,MAAM,CAAC;AACrD,eAAO,MAAM,4BAA4B,KAAK,CAAC;AAE/C,MAAM,MAAM,iBAAiB,GACzB,oBAAoB,GACpB,wBAAwB,GACxB,yCAAyC,CAAC;AAE9C,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC/C,6EAA6E;IAC7E,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,4BAA4B;IAC3C,0EAA0E;IAC1E,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,eAAe,CAAC;IACzC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,CAAC,EAAE;QAAE,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;IAC9E,QAAQ,CAAC,aAAa,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CACxF;AA6BD;;;GAGG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAS7C;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,MAAqC,GAAG,OAAO,CAGtG;AAID;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,uBAAuB,CAAC,YAAY,EAAE,OAAO,GAAG,eAAe,CA+D9E;AAID;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,wFAAwF;IACxF,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CACtE;AAED;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C,OAAO,CAAC,eAAe,EAAE,MAAM,GAAG,OAAO,CACrC;QAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE;YAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAA;SAAE,CAAA;KAAE,GAC7E;QAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CACpE,CAAC;CACH;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,GAAG,EAAE,uBAAuB,CAAC;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,2BAA2B,CAAC;IAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,yBAAyB,KAAK,IAAI,CAAC;CAC5D;AAED,MAAM,MAAM,yBAAyB,GACjC;IAAE,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAClE;IAAE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AA8C3F,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC,4BAA4B,CAAC,CAkDvC"}

package/core/dist/runtime-v2/internalization/progressive-evaluator.js

@@ -0,0 +1,248 @@
+/**
+ * Layer 2 — Progressive Evaluator: two-stage evaluation with flagged criteria
+ * (design §6.5).
+ *
+ * Pure logic only (Core vs Plugin boundary, `antipattern-core-io`).
+ *
+ * The progressive evaluator runs Stage 1 (summary-level context) first; only
+ * when flagged / undetermined / forced-sample does it trigger Stage 2 (tier2
+ * full-contentJson re-evaluation). This keeps daily cost low while enabling
+ * deep diagnosis on demand.
+ *
+ * Key invariants:
+ *   - Stage 2 output is INDEPENDENT — never merged with Stage 1 (rc-7 /
+ *     ERR-015 / ERR-018 / ERR-019). `stagesRun === 2` ⟹ `finalOutput` is
+ *     entirely the Stage 2 result.
+ *   - flagged criteria read DIMENSION_COVERAGE_POLICY (single source of truth),
+ *     never inline a dimension-name array. Untrusted LLM input is filtered by
+ *     the policy table before flagging (rc-1 / rc-4).
+ *   - Deterministic forced sampling via fnv1a32 (no Math.random, design §4.4).
+ */
+import { isRequiredDimension } from './dimension-coverage-policy.js';
+// ── Constants ────────────────────────────────────────────────────────────────
+export const IMPLEMENTATION_FIDELITY_THRESHOLD = 0.7;
+export const FORCED_STAGE2_SAMPLE_MODULUS = 20; // ~5%
+// ── Runtime guards (rc-1 / rc-2 / rc-5) ──────────────────────────────────────
+function isRecord(value) {
+    return value !== null && typeof value === 'object' && !Array.isArray(value);
+}
+function readNumber(source, key) {
+    if (!isRecord(source) || !Object.hasOwn(source, key))
+        return null;
+    const v = source[key];
+    return typeof v === 'number' && Number.isFinite(v) ? v : null;
+}
+function readBoolean(source, key) {
+    if (!isRecord(source) || !Object.hasOwn(source, key))
+        return null;
+    const v = source[key];
+    return typeof v === 'boolean' ? v : null;
+}
+function readStringArray(source, key) {
+    if (!isRecord(source) || !Object.hasOwn(source, key))
+        return null;
+    const v = source[key];
+    if (!Array.isArray(v))
+        return null;
+    return v.filter((el) => typeof el === 'string');
+}
+// ── Deterministic forced sampling (design §4.4) ───────────────────────────────
+/**
+ * FNV-1a 32-bit hash. Pure, deterministic, no crypto, no Math.random.
+ * Supports the full Unicode range in the input string.
+ */
+export function fnv1a32(input) {
+    let hash = 0x811c9dc5;
+    for (let i = 0; i < input.length; i++) {
+        hash ^= input.charCodeAt(i);
+        // FNV prime multiplication with 32-bit overflow wrapping.
+        hash = Math.imul(hash, 0x01000193);
+    }
+    // Convert to unsigned 32-bit.
+    return hash >>> 0;
+}
+/**
+ * Deterministic ~5% forced Stage 2 sampling. `fnv1a32(taskId) % modulus === 0`.
+ * Never uses Math.random or any non-deterministic source (design §4.4).
+ */
+export function isForcedStage2(taskId, modulus = FORCED_STAGE2_SAMPLE_MODULUS) {
+    if (modulus <= 0)
+        return false;
+    return fnv1a32(taskId) % modulus === 0;
+}
+// ── Flagged criteria (design §6.5.3) ─────────────────────────────────────────
+/**
+ * Evaluate the three flagged criteria against Stage 1 output (design §6.5.3).
+ *
+ * Preconditions: none — `stage1Output` is untrusted LLM output (rc-1), read
+ * via `Object.hasOwn` (rc-5 / ERR-013).
+ *
+ * Postconditions:
+ *   - `flagged === true` iff `reasons` is non-empty.
+ *   - Three criteria: required-dimension missing, painCoverage.fullyCovered === false,
+ *     implementationFidelity.score < 0.7.
+ *   - Fields missing or wrong type → `undetermined` (rc-3: fail loud, never
+ *     silently pass).
+ *
+ * Dimension criterion (§6.5.3, measurement-driven tightening):
+ *   - Only **required** dimension names in `missingDimensions` count. The LLM
+ *     may stuff optional/excluded/unknown strings in — all filtered out by
+ *     `isRequiredDimension` before checking. `optionalUncovered` never enters
+ *     `reasons`.
+ */
+export function evaluateFlaggedCriteria(stage1Output) {
+    const reasons = [];
+    const undetermined = [];
+    if (!isRecord(stage1Output)) {
+        // Entire output is malformed — all criteria undetermined.
+        return { flagged: false, reasons: [], undetermined: ['output_not_object'] };
+    }
+    // Criterion 1: required dimension missing (filtered, §6.5.3).
+    const compressionFidelity = Object.hasOwn(stage1Output, 'compressionFidelity')
+        ? stage1Output.compressionFidelity
+        : undefined;
+    if (isRecord(compressionFidelity)) {
+        const missingDims = readStringArray(compressionFidelity, 'missingDimensions');
+        if (missingDims === null) {
+            undetermined.push('compressionFidelity.missingDimensions');
+        }
+        else {
+            // rc-4: filter untrusted input through the policy table.
+            const requiredMissing = missingDims.filter((d) => isRequiredDimension(d));
+            if (requiredMissing.length > 0) {
+                reasons.push('missing_dimensions');
+            }
+        }
+    }
+    else {
+        undetermined.push('compressionFidelity');
+    }
+    // Criterion 2: painCoverage.fullyCovered === false.
+    const painCoverage = Object.hasOwn(stage1Output, 'painCoverage')
+        ? stage1Output.painCoverage
+        : undefined;
+    if (isRecord(painCoverage)) {
+        const fullyCovered = readBoolean(painCoverage, 'fullyCovered');
+        if (fullyCovered === null) {
+            undetermined.push('painCoverage.fullyCovered');
+        }
+        else if (fullyCovered === false) {
+            reasons.push('pain_not_fully_covered');
+        }
+    }
+    else {
+        undetermined.push('painCoverage');
+    }
+    // Criterion 3: implementationFidelity.score < threshold.
+    const implFidelity = Object.hasOwn(stage1Output, 'implementationFidelity')
+        ? stage1Output.implementationFidelity
+        : undefined;
+    if (isRecord(implFidelity)) {
+        const score = readNumber(implFidelity, 'score');
+        if (score === null) {
+            undetermined.push('implementationFidelity.score');
+        }
+        else if (score < IMPLEMENTATION_FIDELITY_THRESHOLD) {
+            reasons.push('implementation_fidelity_below_threshold');
+        }
+    }
+    else {
+        undetermined.push('implementationFidelity');
+    }
+    return {
+        flagged: reasons.length > 0,
+        reasons,
+        undetermined,
+    };
+}
+/**
+ * Run the two-stage progressive evaluation (design §6.5).
+ *
+ * Stage 1: evaluate with summary-level context → flagged criteria.
+ * If not flagged AND not forced AND no undetermined → return Stage 1 result.
+ * Otherwise → Stage 2: resolve tier2 lineage, evaluate independently.
+ *
+ * Stage 2 output is INDEPENDENT (rc-7 / ERR-015 / ERR-018 / ERR-019):
+ *   - Stage 1 output is NOT injected into Stage 2 context.
+ *   - Stage 2 concerns are NOT merged with Stage 1.
+ *   - `stagesRun === 2` → `finalOutput` is entirely Stage 2's result.
+ *
+ * Forced sampling (~5%) serves as a false-negative check: if Stage 1 passed
+ * but Stage 2 finds new concerns, emit `stage1_false_negative`.
+ */
+/**
+ * Extract concern identifiers from an evaluator output (best-effort).
+ * The evaluator schema (evaluator-output.ts) defines `evaluation.concerns` as
+ * a `string[]` — each concern is a plain string. This function returns those
+ * strings directly, filtering out any non-string elements defensively.
+ * (CodeRabbit PR #1277: previously assumed concerns were objects with key/
+ * description fields, but the schema is string[] — the mismatch meant
+ * diffConcernKeys always returned empty, disabling false-negative detection.)
+ */
+function extractConcernKeys(output) {
+    if (!isRecord(output))
+        return [];
+    const evaluation = Object.hasOwn(output, 'evaluation') ? output.evaluation : undefined;
+    if (!isRecord(evaluation))
+        return [];
+    const concerns = Object.hasOwn(evaluation, 'concerns') ? evaluation.concerns : undefined;
+    if (!Array.isArray(concerns))
+        return [];
+    return concerns.filter((c) => typeof c === 'string' && c !== '');
+}
+/**
+ * Compute the set difference of concern keys between Stage 2 and Stage 1.
+ * Returns keys present in Stage 2 but not in Stage 1.
+ */
+function diffConcernKeys(stage2Output, stage1Output) {
+    const keys1 = extractConcernKeys(stage1Output);
+    const keys2 = extractConcernKeys(stage2Output);
+    const set1 = new Set(keys1);
+    return keys2.filter((k) => !set1.has(k));
+}
+export async function runProgressiveEvaluation(deps) {
+    const emit = deps.emit ?? (() => undefined);
+    // Stage 1: summary-level evaluation.
+    const out1 = await deps.llm.evaluate(deps.stage1Context);
+    const d1 = evaluateFlaggedCriteria(out1);
+    const forced = isForcedStage2(deps.taskId);
+    // No Stage 2 needed.
+    if (!d1.flagged && !forced && d1.undetermined.length === 0) {
+        return { finalOutput: out1, stagesRun: 1, stage1Decision: d1, forcedStage2: false };
+    }
+    // Stage 2 triggered. Resolve tier2 lineage first.
+    if (deps.lineage !== undefined) {
+        const tier2 = await deps.lineage.resolve(deps.startArtifactId);
+        if (!tier2.ok) {
+            emit({ type: 'lineage_data_corrupt', detail: tier2.error.kind });
+            return {
+                finalOutput: out1,
+                stagesRun: 1,
+                stage1Decision: d1,
+                forcedStage2: forced,
+                stage2Aborted: { reason: 'lineage_error', detail: tier2.error.kind },
+            };
+        }
+    }
+    // Stage 2: independent re-evaluation with tier2 context.
+    // rc-7: do NOT inject out1, d1, or Stage 1 concerns into Stage 2.
+    const stage2Ctx = deps.stage2Context ?? deps.stage1Context;
+    const out2 = await deps.llm.evaluate(stage2Ctx);
+    // False-negative check (forced sample only, Stage 1 not flagged).
+    let falseNeg;
+    if (forced && !d1.flagged) {
+        const newKeys = diffConcernKeys(out2, out1);
+        if (newKeys.length > 0) {
+            falseNeg = { newConcernKeys: newKeys };
+            emit({ type: 'stage1_false_negative', newConcernKeys: newKeys });
+        }
+    }
+    return {
+        finalOutput: out2,
+        stagesRun: 2,
+        stage1Decision: d1,
+        forcedStage2: forced,
+        stage1FalseNegative: falseNeg,
+    };
+}
+//# sourceMappingURL=progressive-evaluator.js.map

package/core/dist/runtime-v2/internalization/progressive-evaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"progressive-evaluator.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/progressive-evaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAErE,gFAAgF;AAEhF,MAAM,CAAC,MAAM,iCAAiC,GAAG,GAAG,CAAC;AACrD,MAAM,CAAC,MAAM,4BAA4B,GAAG,EAAE,CAAC,CAAC,MAAM;AAwBtD,gFAAgF;AAEhF,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,UAAU,CAAC,MAAe,EAAE,GAAW;IAC9C,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAChE,CAAC;AAED,SAAS,WAAW,CAAC,MAAe,EAAE,GAAW;IAC/C,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3C,CAAC;AAED,SAAS,eAAe,CAAC,MAAe,EAAE,GAAW;IACnD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAgB,EAAE,CAAC,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC;AAChE,CAAC;AAED,iFAAiF;AAEjF;;;GAGG;AACH,MAAM,UAAU,OAAO,CAAC,KAAa;IACnC,IAAI,IAAI,GAAG,UAAU,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,0DAA0D;QAC1D,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,8BAA8B;IAC9B,OAAO,IAAI,KAAK,CAAC,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,OAAO,GAAW,4BAA4B;IAC3F,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/B,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,OAAO,KAAK,CAAC,CAAC;AACzC,CAAC;AAED,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,uBAAuB,CAAC,YAAqB;IAC3D,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,YAAY,GAAa,EAAE,CAAC;IAElC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5B,0DAA0D;QAC1D,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;IAC9E,CAAC;IAED,8DAA8D;IAC9D,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,qBAAqB,CAAC;QAC5E,CAAC,CAAC,YAAY,CAAC,mBAAmB;QAClC,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,eAAe,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;QAC9E,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YACzB,YAAY,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;QAC7D,CAAC;aAAM,CAAC;YACN,yDAAyD;YACzD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1E,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC/B,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,YAAY,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAC3C,CAAC;IAED,oDAAoD;IACpD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,cAAc,CAAC;QAC9D,CAAC,CAAC,YAAY,CAAC,YAAY;QAC3B,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC3B,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;QAC/D,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC1B,YAAY,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACjD,CAAC;aAAM,IAAI,YAAY,KAAK,KAAK,EAAE,CAAC;YAClC,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,YAAY,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACpC,CAAC;IAED,yDAAyD;IACzD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,wBAAwB,CAAC;QACxE,CAAC,CAAC,YAAY,CAAC,sBAAsB;QACrC,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,UAAU,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QAChD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,YAAY,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QACpD,CAAC;aAAM,IAAI,KAAK,GAAG,iCAAiC,EAAE,CAAC;YACrD,OAAO,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;SAAM,CAAC;QACN,YAAY,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC;QAC3B,OAAO;QACP,YAAY;KACb,CAAC;AACJ,CAAC;AAqCD;;;;;;;;;;;;;;GAcG;AAEH;;;;;;;;GAQG;AACH,SAAS,kBAAkB,CAAC,MAAe;IACzC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACvF,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;AAChF,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CAAC,YAAqB,EAAE,YAAqB;IACnE,MAAM,KAAK,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5B,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,IAA8B;IAE9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAE5C,qCAAqC;IACrC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACzD,MAAM,EAAE,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAE3C,qBAAqB;IACrB,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;IACtF,CAAC;IAED,kDAAkD;IAClD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC/D,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YACd,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACjE,OAAO;gBACL,WAAW,EAAE,IAAI;gBACjB,SAAS,EAAE,CAAC;gBACZ,cAAc,EAAE,EAAE;gBAClB,YAAY,EAAE,MAAM;gBACpB,aAAa,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE;aACrE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,yDAAyD;IACzD,kEAAkE;IAClE,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC;IAC3D,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAEhD,kEAAkE;IAClE,IAAI,QAAoE,CAAC;IACzE,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,QAAQ,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC;YACvC,IAAI,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,OAAO;QACL,WAAW,EAAE,IAAI;QACjB,SAAS,EAAE,CAAC;QACZ,cAAc,EAAE,EAAE;QAClB,YAAY,EAAE,MAAM;QACpB,mBAAmB,EAAE,QAAQ;KAC9B,CAAC;AACJ,CAAC"}

package/core/dist/runtime-v2/internalization/prompt-budget-manager.d.ts

@@ -0,0 +1,90 @@
+/**
+ * Layer 1 — PromptBudgetManager: budgeted context allocation (design §6.3).
+ *
+ * Pure logic only (Core vs Plugin boundary, `antipattern-core-io`).
+ *
+ * `allocateContext` takes a manifest + the available field values (as a
+ * `ReadonlyMap<string, unknown>`, rc-1) and produces an `AllocatedContext`:
+ * which fields fit the budget, which were truncated, which were dropped, and
+ * which were absent. It is a PURE allocation function — it does NOT decide
+ * whether to fall back to full-predecessor injection; that decision lives in
+ * `resolveInjection` (resolve-injection.ts, task 5.10).
+ *
+ * Key correctness properties (design §6.3 postconditions):
+ *   - `usedTokens <= budgetTokens`
+ *   - every dropped/truncated field has a TruncationRecord AND emits a
+ *     `context_truncated` event (rc-9 — never silently lose a field; the base
+ *     proposal `break`ed on budget exhaustion, dropping remaining fields
+ *     without record — ERR-002)
+ *   - identical input always yields identical output (total order by
+ *     (rank ASC, path ASC), no randomness, no time dependency)
+ *   - unknown values go through `safeStringifyPreview` (rc-8) before token
+ *     estimation
+ *
+ * budgetTokens scope (design §6.2.1 / §6.3 — MUST be reflected in comments):
+ * covers ONLY manifest-declared injection fields (tier0/tier1/tier2). Does NOT
+ * include core grounding, runner base instructions, or output-schema
+ * descriptions. `usedTokens <= budgetTokens` is an injection-field budget
+ * ceiling, NOT a prompt-total-length hard cap.
+ */
+import type { ContextManifest } from './context-manifest.js';
+import type { SummaryRunnerKind } from './artifact-summary.js';
+/** char/4 heuristic; no tokenizer dependency. Monotonically non-decreasing, pure. */
+export declare function estimateTokens(text: string): number;
+/** Max chars of a single field's serialized preview before token estimation. */
+export declare const FIELD_PREVIEW_MAX_CHARS = 600;
+/**
+ * Below this remaining budget, a field is dropped whole rather than
+ * partially truncated — a partial slice shorter than this carries too little
+ * signal to be worth the slot. Expressed in tokens (≈ 4 chars each).
+ */
+export declare const MIN_USEFUL_TOKENS = 8;
+/** Appended to partially-truncated field text so truncation is explicit (rc-9). */
+export declare const TRUNCATION_MARKER = "\u2026[budget-truncated]";
+export interface TruncationRecord {
+    readonly fieldPath: string;
+    readonly reason: 'budget_exceeded' | 'partially_truncated';
+    readonly remainingBudgetTokens: number;
+    readonly keptChars: number;
+    readonly droppedChars: number;
+}
+export interface AllocatedContext {
+    readonly manifestId: string;
+    /** Fields that fit (fully or partially) into the budget. */
+    readonly fields: Readonly<Record<string, string>>;
+    /** Fields dropped/truncated, each with a reason (rc-9). */
+    readonly truncated: readonly TruncationRecord[];
+    /** Manifest-declared paths not present in the available map. */
+    readonly absent: readonly string[];
+    readonly usedTokens: number;
+    readonly budgetTokens: number;
+}
+export interface ContextTruncatedEvent {
+    readonly type: 'context_truncated';
+    readonly runnerKind: SummaryRunnerKind;
+    readonly manifestId: string;
+    readonly fieldPath: string;
+    readonly reason: TruncationRecord['reason'];
+    readonly remainingBudgetTokens: number;
+}
+/**
+ * Allocate manifest-declared fields into the token budget (design §6.3).
+ *
+ * Preconditions: `manifest.budgetTokens > 0`; `available` values are `unknown`
+ * (rc-1) and are narrowed only via `safeStringifyPreview`.
+ *
+ * Postconditions:
+ *   - `usedTokens <= budgetTokens`
+ *   - every dropped/truncated field has a TruncationRecord and emitted a
+ *     `context_truncated` event (rc-9)
+ *   - identical input → identical output (total order, deterministic)
+ *
+ * Loop invariant while traversing: `usedTokens + remainingBudget === budgetTokens`
+ * (until a partial truncate zeroes remaining).
+ *
+ * NOTE: this function does NOT perform the information-floor fallback (design
+ * §6.2.2). The fallback is decided by `resolveInjection` after reading this
+ * function's `absent` array.
+ */
+export declare function allocateContext(manifest: ContextManifest, available: ReadonlyMap<string, unknown>, emit: (event: ContextTruncatedEvent) => void): AllocatedContext;
+//# sourceMappingURL=prompt-budget-manager.d.ts.map