create-principles-disciple 1.143.4 → 1.143.5

package/_release/product-identity.json

@@ -1,5 +1,5 @@
 {
   "schemaVersion": 1,
   "productVersion": "2.1.0",
-  "sourceCommit": "a75c89f7bb529be3f96adb75df458c5492bd16fd"
+  "sourceCommit": "2d4605a339688f0fedfe94d486b106a0d02e354e"
 }

package/codex-adapter/dist/tool-semantics.d.ts

@@ -8,9 +8,12 @@
  * never fire on a real Codex event.
  *
  * EVIDENCE BOUND: this declaration contains only names with in-repo
- * evidence — the installer's hook matcher `Bash|apply_patch`
- * (create-principles-disciple/src/installers/codex-host-installer.ts:203,
- * locked by codex-plugin-bundle.test.ts). Extending it with the remaining
+ * evidence — the shipped hook matcher `Bash|apply_patch`
+ * (plugins/principles-disciple/hooks/hooks.json:5, locked by
+ * packages/codex-adapter/tests/codex-plugin-bundle.test.ts:183 and used as
+ * the installed-hook fixture in
+ * packages/create-principles-disciple/tests/codex-host-installer.test.ts
+ * lines 122/162/170). Extending it with the remaining
  * Codex tool surface is tracked as PRI-657 — a wrong guess would be worse
  * than a gap (the reliability check rejects undeclared names, forcing
  * correct names).

package/codex-adapter/dist/tool-semantics.js

@@ -8,9 +8,12 @@
  * never fire on a real Codex event.
  *
  * EVIDENCE BOUND: this declaration contains only names with in-repo
- * evidence — the installer's hook matcher `Bash|apply_patch`
- * (create-principles-disciple/src/installers/codex-host-installer.ts:203,
- * locked by codex-plugin-bundle.test.ts). Extending it with the remaining
+ * evidence — the shipped hook matcher `Bash|apply_patch`
+ * (plugins/principles-disciple/hooks/hooks.json:5, locked by
+ * packages/codex-adapter/tests/codex-plugin-bundle.test.ts:183 and used as
+ * the installed-hook fixture in
+ * packages/create-principles-disciple/tests/codex-host-installer.test.ts
+ * lines 122/162/170). Extending it with the remaining
  * Codex tool surface is tracked as PRI-657 — a wrong guess would be worse
  * than a gap (the reliability check rejects undeclared names, forcing
  * correct names).

package/codex-adapter/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@principles/codex-adapter",
-  "version": "0.4.4",
+  "version": "0.4.5",
   "description": "Codex CLI host adapter for Principles Disciple — implements HostAdapter interface for OpenAI Codex CLI's stdin/stdout JSON hook model (ADR-0020).",
   "type": "module",
   "main": "./dist/index.js",

package/core/dist/runtime-v2/internalization/__tests__/evaluator-formation-context.test.js

@@ -191,8 +191,8 @@ describe('PRI-843 — evaluator prompt contract (conditional formation injection
         artificerArtifact: { taskId: ART_ID },
         scribeArtifact: scribeContent(true),
     };
-    it('prompt contract version is v5', () => {
-        expect(EVALUATOR_PROMPT_CONTRACT_VERSION).toBe('evaluator-output-v1.prompt.v5');
+    it('prompt contract version is v6', () => {
+        expect(EVALUATOR_PROMPT_CONTRACT_VERSION).toBe('evaluator-output-v1.prompt.v6');
     });
     it('without formationContext the payload keeps the pre-PRI-843 shape (byte-identical) and the system prompt is unchanged', () => {
         const a = builder.buildPrompt(baseInput);

package/core/dist/runtime-v2/internalization/__tests__/evaluator-prompt-builder.test.js

@@ -54,8 +54,8 @@ describe('EvaluatorPromptBuilder', () => {
         const { promptInput } = builder.buildPrompt(input);
         expect(promptInput.promptContractVersion).toBe(EVALUATOR_PROMPT_CONTRACT_VERSION);
     });
-    it('promptContractVersion value is evaluator-output-v1.prompt.v5 (PRI-843 formation-context anchor)', () => {
-        expect(EVALUATOR_PROMPT_CONTRACT_VERSION).toBe('evaluator-output-v1.prompt.v5');
+    it('promptContractVersion value is evaluator-output-v1.prompt.v6 (PRI-644 validator re-feed anchor)', () => {
+        expect(EVALUATOR_PROMPT_CONTRACT_VERSION).toBe('evaluator-output-v1.prompt.v6');
     });
     it('score instruction says number not string/percentage', () => {
         expect(EVALUATOR_PROTOCOL_INSTRUCTION).toContain('NOT a string, NOT a percentage');

package/core/dist/runtime-v2/internalization/__tests__/evaluator-validator-refeed.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=evaluator-validator-refeed.test.d.ts.map

package/core/dist/runtime-v2/internalization/__tests__/evaluator-validator-refeed.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator-validator-refeed.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/evaluator-validator-refeed.test.ts"],"names":[],"mappings":""}

package/core/dist/runtime-v2/internalization/__tests__/evaluator-validator-refeed.test.js

@@ -0,0 +1,433 @@
+/**
+ * PRI-644 — evaluator consumes the existing validator-error re-feed.
+ *
+ * PRI-700 factor B already persists the verbatim validator rejections of each
+ * failed attempt into task.diagnosticJson (`lastValidatorErrors`) and the
+ * artificer is the only consumer. The evaluator's BUSINESS-layer rejections
+ * (e.g. the repair round missing `requirementLedger`) therefore still burned
+ * all retries with a byte-identical zero-information prompt → task death.
+ *
+ * Three layers here mirror the established artificer contract:
+ *   1. Prompt contract (builder unit): conditional re-feed block; a run
+ *      without priorValidatorErrors keeps the payload/system prompt
+ *      byte-identical to the pre-PRI-644 shape.
+ *   2. buildContext wiring (probe subclass, real stores): freshness gate
+ *      `sourceAttemptCount === leasedAttempt - 1`; stale/no-lease records are
+ *      suppressed with an observable event (rc-9), never silently re-fed.
+ *      The re-feed NEVER participates in contextHash (same posture as
+ *      artificer — replay/cache identity covers evidence, not feedback).
+ *   3. Golden replay (production path — RuntimeStateManager + real
+ *      EvaluatorRunner + DefaultEvaluatorValidator, only the LLM is
+ *      scripted): attempt 1 rejected → attempt 2 prompt carries the verbatim
+ *      rejection reasons; attempt 1 prompt has none.
+ */
+import { describe, it, expect, afterEach } from 'vitest';
+import * as fs from 'node:fs';
+import * as path from 'node:path';
+import * as os from 'node:os';
+import { RuntimeStateManager } from '../../store/runtime-state-manager.js';
+import { EvaluatorRunner } from '../evaluator-runner.js';
+import { DefaultEvaluatorValidator } from '../evaluator-output.js';
+import { EvaluatorPromptBuilder, EVALUATOR_PROTOCOL_INSTRUCTION, EVALUATOR_FORMATION_EVIDENCE_ADDENDUM, EVALUATOR_VALIDATOR_FEEDBACK_ADDENDUM, } from '../evaluator-prompt-builder.js';
+import { StoreEventEmitter } from '../../store/event-emitter.js';
+import { SqliteConnection } from '../../store/sqlite-connection.js';
+import { SqlitePIArtifactStore } from '../../store/artifact/sqlite-pi-artifact-store.js';
+import { createPITaskDiagnosticJson } from '../pitask-metadata.js';
+import { createProductionGateDeps } from '../../activation/production-gate-deps.js';
+// ── Shared fixtures ──────────────────────────────────────────────────────────
+const SCRIBE_ID = 'scribe-644';
+const ART_ID = 'artificer-644';
+const EVAL_ID = 'evaluator-644';
+const SCRIBE_ART = 'pi-art-scribe-644';
+const REJECTION_TEXT = 'evaluation.requirementLedger is required in a repair round (previous evaluation context was provided)';
+function record(sourceAttemptCount, errors = [REJECTION_TEXT]) {
+    return {
+        recordedAt: '2026-09-20T00:00:00.000Z',
+        errorCategory: 'output_invalid',
+        errors,
+        sourceAttemptCount,
+    };
+}
+function unitRecord() {
+    return record(1, [REJECTION_TEXT, "evaluation.decision must be one of 'approved' | 'needs_revision' | 'rejected'"]);
+}
+/** Minimal in-budget FormationContext (same shape as evaluator-formation-context.test.ts). */
+function unitFormationContext() {
+    return {
+        version: 'formation-context.v1',
+        dreamerProposals: [
+            {
+                candidateIndex: 1, priorityRank: 1,
+                badDecision: 'kept two sources of truth', betterDecision: 'keep one authoritative contract',
+                rationale: 'duplicate contracts drift', confidence: 0.9, riskLevel: 'low', strategicPerspective: null,
+            },
+        ],
+        dreamerContextRefs: [],
+        sourceDiagnosis: {
+            artifactId: 'diag-art-644', taskId: 'diag-644', stage: 'diag_router',
+            rootCause: 'retry prompts carried no validator feedback', summary: 'deterministic death loop',
+            violatedPrinciples: [],
+            evidence: [{ sourceRef: 'trajectory://session-644/turn-4', note: 'retried identically' }],
+            recommendations: [], confidence: 0.8, omittedFields: [],
+        },
+        provenance: {
+            sourceDreamerArtifactId: 'dreamer-art-644', sourceDreamerTaskId: 'dreamer-644',
+            sourceDiagnosisArtifactId: 'diag-art-644', sourceDiagnosisTaskId: 'diag-644',
+            sourcePainId: 'pain-644', lineageArtifactIds: ['diag-art-644'],
+        },
+        truncationNotes: [],
+    };
+}
+function flagsOffConfig() {
+    return {
+        config: {
+            version: 1,
+            features: {},
+            runtimeProfiles: {},
+            internalAgents: {},
+            ui: { diagnostics: { mode: 'simple' } },
+        },
+        source: 'user_config',
+        warnings: [],
+        resolvedContextInjection: { thinkingOs: false, projectFocus: 'off' },
+    };
+}
+function meta(o = {}) {
+    return createPITaskDiagnosticJson({
+        dependencyTaskIds: [], channel: 'prompt', timeoutMs: 300_000,
+        inputArtifactRefs: [], outputArtifactRefs: [], ...o,
+    });
+}
+/** diagnosticJson envelope with a top-level lastValidatorErrors record. */
+function metaWithValidatorErrors(diagnostic) {
+    const envelope = JSON.parse(meta({ dependencyTaskIds: [ART_ID] }));
+    envelope.lastValidatorErrors = diagnostic;
+    return JSON.stringify(envelope);
+}
+function scribeContent() {
+    return {
+        principleId: 'refeed-644',
+        principleDraft: {
+            title: 'Feedback must reach the retry',
+            statement: 'A rejected output shape must be re-fed verbatim into the next attempt.',
+            rationale: 'Same-prompt retries are a deterministic death loop.',
+            applicability: ['evaluator repair rounds'],
+            antiPatterns: ['zero-information retry'],
+            confidence: 0.8,
+        },
+    };
+}
+function artificerOutput() {
+    return {
+        taskId: ART_ID,
+        sourceScribeArtifactId: SCRIBE_ART,
+        implementationSummary: 'refeed gate',
+        sourceTrace: { scribeArtifactId: SCRIBE_ART },
+        risks: [],
+        goldenTraceCases: [
+            { caseId: 'neg-1', kind: 'negative', toolName: 'write_file', params: { path: '/app/config.json' }, expectedDecision: 'block' },
+            { caseId: 'pos-1', kind: 'positive', toolName: 'write_file', params: { path: '/app/src/a.ts' }, expectedDecision: 'allow' },
+        ],
+        affectedTools: ['write_file'],
+        generatedAt: '2026-09-20T00:00:00.000Z',
+    };
+}
+function evaluatorOutput() {
+    return {
+        taskId: EVAL_ID,
+        sourceArtificerArtifactId: `pi-art-${ART_ID}-seed`,
+        evaluation: {
+            decision: 'approved',
+            summary: 'pri-644 golden replay',
+            score: 0.9,
+            strengths: [],
+            concerns: [],
+            requiredChanges: [],
+        },
+        sourceTrace: { artificerArtifactId: `pi-art-${ART_ID}-seed`, scribeArtifactId: SCRIBE_ART },
+        risks: [],
+        generatedAt: '2026-09-20T00:00:00.000Z',
+    };
+}
+/** Output rejected by DefaultEvaluatorValidator (decision not in enum). */
+function rejectedEvaluatorOutput() {
+    const out = evaluatorOutput();
+    const evaluation = { ...out.evaluation };
+    delete evaluation.summary;
+    evaluation.decision = 'maybe';
+    return { ...out, evaluation };
+}
+let world;
+async function makeWorld(evaluatorDiagnosticJson) {
+    const workspaceDir = fs.mkdtempSync(path.join(os.tmpdir(), 'pd-pri644-'));
+    const stateManager = new RuntimeStateManager({ workspaceDir });
+    await stateManager.initialize();
+    const emitter = new StoreEventEmitter();
+    const emitted = [];
+    emitter.onTelemetry((event) => {
+        emitted.push({ eventType: event.eventType, payload: event.payload });
+    });
+    const store = new SqlitePIArtifactStore(new SqliteConnection(workspaceDir));
+    const now = '2026-09-20T00:00:00.000Z';
+    const mkTask = async (spec) => {
+        await stateManager.createTask({
+            taskId: spec.id, taskKind: spec.kind, status: 'pending', attemptCount: 0, maxAttempts: 3,
+            diagnosticJson: meta({ dependencyTaskIds: spec.deps }),
+        });
+        await stateManager.acquireLease({ taskId: spec.id, owner: 'pri644-test', runtimeKind: 'test-double' });
+        await stateManager.markTaskSucceeded(spec.id);
+    };
+    const upsert = (spec) => store.upsertArtifact({
+        artifactId: spec.artifactId, artifactKind: 'principle', sourceTaskId: spec.sourceTaskId,
+        lineageArtifactIds: [...spec.lineage],
+        validationStatus: 'pending', contentJson: JSON.stringify(spec.content), createdAt: now, updatedAt: now,
+    });
+    await mkTask({ id: SCRIBE_ID, kind: 'scribe', deps: [] });
+    await upsert({ artifactId: SCRIBE_ART, sourceTaskId: SCRIBE_ID, content: scribeContent(), lineage: [] });
+    await mkTask({ id: ART_ID, kind: 'artificer', deps: [SCRIBE_ID] });
+    await upsert({ artifactId: `pi-art-${ART_ID}-seed`, sourceTaskId: ART_ID, content: artificerOutput(), lineage: [SCRIBE_ART] });
+    await stateManager.createTask({
+        taskId: EVAL_ID, taskKind: 'evaluator', status: 'pending', attemptCount: 0, maxAttempts: 3,
+        diagnosticJson: evaluatorDiagnosticJson ?? meta({ dependencyTaskIds: [ART_ID] }),
+    });
+    return { workspaceDir, stateManager, emitter, emitted, store };
+}
+function closeWorld() {
+    if (!world)
+        return;
+    void world.stateManager.close();
+    try {
+        fs.rmSync(world.workspaceDir, { recursive: true, force: true });
+    }
+    catch { /* temp */ }
+    world = undefined;
+}
+afterEach(() => {
+    closeWorld();
+});
+/** Scripted LLM returning one payload per invocation (queue order). */
+function queuedAdapter(payloads, prompts) {
+    let next = 0;
+    return {
+        startRun: async (req) => {
+            prompts.push({
+                message: String(req.inputPayload),
+                systemPrompt: typeof req.systemPrompt === 'string' ? req.systemPrompt : '',
+            });
+            return { runId: `pri644-run-${next}`, runtimeKind: 'test-double', startedAt: new Date().toISOString() };
+        },
+        pollRun: async () => ({ status: 'succeeded', runId: 'pri644-run' }),
+        fetchOutput: async () => ({ runId: 'pri644-run', payload: payloads[Math.min(next++, payloads.length - 1)] }),
+        cancelRun: async () => undefined,
+    };
+}
+function makeRunner(w, payloads, prompts) {
+    return new EvaluatorRunner({
+        stateManager: w.stateManager,
+        runtimeAdapter: queuedAdapter(payloads, prompts),
+        eventEmitter: w.emitter,
+        artifactStore: w.store,
+        validator: new DefaultEvaluatorValidator(),
+        isRepairLoopEnabled: () => false,
+        seedArtificerRepairTask: async () => 'unused',
+    }, {
+        owner: 'pri644-test', runtimeKind: 'test-double', pollIntervalMs: 5, timeoutMs: 5000,
+        gateDeps: createProductionGateDeps(), effectiveConfig: flagsOffConfig(),
+    });
+}
+/** Exposes the protected leased-attempt so buildContext freshness can be probed directly. */
+class ProbeEvaluatorRunner extends EvaluatorRunner {
+    setLeasedAttempt(attempt) {
+        this.currentLeasedAttempt = attempt;
+    }
+}
+function makeProbe(w) {
+    return new ProbeEvaluatorRunner({
+        stateManager: w.stateManager,
+        runtimeAdapter: queuedAdapter([], []),
+        eventEmitter: w.emitter,
+        artifactStore: w.store,
+        validator: new DefaultEvaluatorValidator(),
+    }, {
+        owner: 'pri644-test', runtimeKind: 'test-double', pollIntervalMs: 5, timeoutMs: 5000,
+        gateDeps: createProductionGateDeps(), effectiveConfig: flagsOffConfig(),
+    });
+}
+function suppressedEvents(w) {
+    return w.emitted.filter((e) => e.eventType === 'evaluator_prior_validator_errors_suppressed');
+}
+// ── Layer 1: prompt contract (builder unit) ──────────────────────────────────
+describe('PRI-644 — evaluator prompt contract (conditional validator re-feed)', () => {
+    const builder = new EvaluatorPromptBuilder();
+    const baseInput = {
+        taskId: EVAL_ID,
+        contextHash: 'ctx-644',
+        sourceArtificerArtifactId: 'pi-art-artificer-644-seed',
+        artificerArtifact: { taskId: ART_ID },
+        scribeArtifact: scribeContent(),
+    };
+    it('without priorValidatorErrors the payload has no key and the system prompt is byte-identical (first attempt untouched)', () => {
+        const a = builder.buildPrompt(baseInput);
+        const parsed = JSON.parse(a.message);
+        expect(Object.hasOwn(parsed, 'priorValidatorErrors')).toBe(false);
+        expect(a.systemPrompt).toBe(EVALUATOR_PROTOCOL_INSTRUCTION);
+        expect(a.systemPrompt).not.toContain('PRIOR OUTPUT-CONTRACT REJECTIONS');
+    });
+    it('with priorValidatorErrors the payload carries the record verbatim and the system prompt gains the re-feed block', () => {
+        const { message, systemPrompt, promptInput } = builder.buildPrompt({
+            ...baseInput,
+            priorValidatorErrors: unitRecord(),
+        });
+        const parsed = JSON.parse(message);
+        expect(parsed.priorValidatorErrors).toEqual(unitRecord());
+        expect(message).toContain(REJECTION_TEXT);
+        expect(promptInput.priorValidatorErrors?.errors).toHaveLength(2);
+        expect(systemPrompt).toBe(EVALUATOR_PROTOCOL_INSTRUCTION + EVALUATOR_VALIDATOR_FEEDBACK_ADDENDUM);
+        expect(systemPrompt).toContain('PRIOR OUTPUT-CONTRACT REJECTIONS');
+    });
+    it('the re-feed coexists with the formation addendum in stable order (protocol + formation + validator)', () => {
+        const { systemPrompt } = builder.buildPrompt({
+            ...baseInput,
+            formationContext: undefined,
+            priorValidatorErrors: unitRecord(),
+        });
+        expect(systemPrompt).toBe(EVALUATOR_PROTOCOL_INSTRUCTION + EVALUATOR_VALIDATOR_FEEDBACK_ADDENDUM);
+        const withFormation = builder.buildPrompt(baseInput);
+        expect(withFormation.systemPrompt).toBe(EVALUATOR_PROTOCOL_INSTRUCTION);
+    });
+    it('the addendum pins the evaluator-specific duties: verbatim reasons, ledger echo obligation, no re-judging of the plan', () => {
+        expect(EVALUATOR_VALIDATOR_FEEDBACK_ADDENDUM).toContain('PRIOR OUTPUT-CONTRACT REJECTIONS');
+        expect(EVALUATOR_VALIDATOR_FEEDBACK_ADDENDUM).toContain('priorValidatorErrors.errors');
+        expect(EVALUATOR_VALIDATOR_FEEDBACK_ADDENDUM).toContain('requirementLedger');
+        expect(EVALUATOR_VALIDATOR_FEEDBACK_ADDENDUM).toContain('NOT re-judge');
+    });
+});
+// ── Layer 2: buildContext freshness wiring ──────────────────────────────────
+describe('PRI-644 — evaluator buildContext consumes lastValidatorErrors with freshness gating', () => {
+    it('fresh record (sourceAttemptCount === leasedAttempt - 1) is carried onto the context, no suppression event', async () => {
+        world = await makeWorld(metaWithValidatorErrors(record(2)));
+        const runner = makeProbe(world);
+        runner.setLeasedAttempt(3);
+        const context = await runner.buildContext(EVAL_ID);
+        expect(context.priorValidatorErrors?.sourceAttemptCount).toBe(2);
+        expect(context.priorValidatorErrors?.errors).toEqual([REJECTION_TEXT]);
+        expect(suppressedEvents(world)).toHaveLength(0);
+    });
+    it('stale record is NOT re-fed and emits an observable suppression event with reason stale_source_attempt', async () => {
+        world = await makeWorld(metaWithValidatorErrors(record(1)));
+        const runner = makeProbe(world);
+        runner.setLeasedAttempt(5);
+        const context = await runner.buildContext(EVAL_ID);
+        expect(context.priorValidatorErrors).toBeUndefined();
+        const suppressed = suppressedEvents(world);
+        expect(suppressed).toHaveLength(1);
+        expect(suppressed[0]?.payload).toMatchObject({
+            sourceAttemptCount: 1,
+            currentAttempt: 5,
+            reason: 'stale_source_attempt',
+            errorCount: 1,
+        });
+    });
+    it('record present without lease context is suppressed with reason no_lease_context (restart-safe)', async () => {
+        world = await makeWorld(metaWithValidatorErrors(record(1)));
+        const runner = makeProbe(world);
+        const context = await runner.buildContext(EVAL_ID);
+        expect(context.priorValidatorErrors).toBeUndefined();
+        const suppressed = suppressedEvents(world);
+        expect(suppressed).toHaveLength(1);
+        expect(suppressed[0]?.payload).toMatchObject({ reason: 'no_lease_context' });
+    });
+    it('no record → no field, no event (first attempt untouched)', async () => {
+        world = await makeWorld();
+        const runner = makeProbe(world);
+        runner.setLeasedAttempt(1);
+        const context = await runner.buildContext(EVAL_ID);
+        expect(context.priorValidatorErrors).toBeUndefined();
+        expect(suppressedEvents(world)).toHaveLength(0);
+    });
+    it('the re-feed never participates in contextHash (same posture as artificer: identity covers evidence, not feedback)', async () => {
+        const plainWorld = await makeWorld();
+        const fedWorld = await makeWorld(metaWithValidatorErrors(record(2)));
+        try {
+            const plain = makeProbe(plainWorld);
+            plain.setLeasedAttempt(1);
+            const contextWithout = await plain.buildContext(EVAL_ID);
+            const fed = makeProbe(fedWorld);
+            fed.setLeasedAttempt(3);
+            const contextWith = await fed.buildContext(EVAL_ID);
+            expect(contextWith.priorValidatorErrors).toBeDefined();
+            expect(contextWith.contextHash).toBe(contextWithout.contextHash);
+        }
+        finally {
+            void plainWorld.stateManager.close();
+            void fedWorld.stateManager.close();
+            try {
+                fs.rmSync(plainWorld.workspaceDir, { recursive: true, force: true });
+            }
+            catch { /* temp */ }
+            try {
+                fs.rmSync(fedWorld.workspaceDir, { recursive: true, force: true });
+            }
+            catch { /* temp */ }
+        }
+    });
+});
+// ── Layer 3: golden replay — rejection feeds the next attempt ───────────────
+describe('PRI-644 — golden replay: validator rejection re-feeds attempt N+1 (production path)', () => {
+    it('attempt 2 prompt carries the verbatim attempt-1 rejection reasons; attempt 1 prompt carries none', async () => {
+        world = await makeWorld();
+        const prompts = [];
+        const runner = makeRunner(world, [rejectedEvaluatorOutput(), evaluatorOutput()], prompts);
+        const first = await runner.run(EVAL_ID);
+        expect(first.status).toBe('retried');
+        // The task itself waits in retry_wait for attempt 2.
+        expect((await world.stateManager.getTask(EVAL_ID))?.status).toBe('retry_wait');
+        // Producer side: the rejection was persisted with the attempt-1 source tag.
+        const afterFirst = await world.stateManager.getTask(EVAL_ID);
+        const persisted = JSON.parse(afterFirst?.diagnosticJson ?? '{}');
+        expect(persisted.lastValidatorErrors).toBeDefined();
+        expect(persisted.lastValidatorErrors?.sourceAttemptCount).toBe(1);
+        expect(persisted.lastValidatorErrors?.errors.length).toBeGreaterThan(0);
+        // Retry backoff must not gate the second lease in this test.
+        await world.stateManager.updateTask(EVAL_ID, { leaseExpiresAt: '2000-01-01T00:00:00.000Z' });
+        const second = await runner.run(EVAL_ID);
+        expect(second.status).toBe('succeeded');
+        expect(prompts).toHaveLength(2);
+        const p1 = JSON.parse(prompts[0]?.message ?? '{}');
+        const p2 = JSON.parse(prompts[1]?.message ?? '{}');
+        // attempt 1: zero-information prompt (no feedback yet)
+        expect(Object.hasOwn(p1, 'priorValidatorErrors')).toBe(false);
+        expect(prompts[0]?.systemPrompt).not.toContain('PRIOR OUTPUT-CONTRACT REJECTIONS');
+        // attempt 2: the SAME rejection reasons that killed attempt 1, verbatim.
+        const fed = p2.priorValidatorErrors;
+        expect(fed).toBeDefined();
+        expect(fed.sourceAttemptCount).toBe(1);
+        expect(fed.errors).toEqual(persisted.lastValidatorErrors?.errors);
+        for (const errorText of fed.errors) {
+            expect(prompts[1]?.message).toContain(errorText);
+        }
+        expect(prompts[1]?.systemPrompt).toContain('PRIOR OUTPUT-CONTRACT REJECTIONS');
+        // feedback is ephemeral prompt context, NOT cache identity:
+        expect(p2.contextHash).toBe(p1.contextHash);
+        expect(p2.promptContractVersion).toBe('evaluator-output-v1.prompt.v6');
+    });
+});
+// both addenda coexist: real ordering exercised with a formation context
+describe('PRI-644/PRI-843 addendum coexistence', () => {
+    it('renders protocol → formation → validator in order when both are present', () => {
+        const builder = new EvaluatorPromptBuilder();
+        const { systemPrompt } = builder.buildPrompt({
+            taskId: EVAL_ID,
+            contextHash: 'ctx-644',
+            sourceArtificerArtifactId: 'pi-art-artificer-644-seed',
+            artificerArtifact: { taskId: ART_ID },
+            scribeArtifact: scribeContent(),
+            formationContext: unitFormationContext(),
+            priorValidatorErrors: unitRecord(),
+        });
+        expect(systemPrompt).toBe(EVALUATOR_PROTOCOL_INSTRUCTION + EVALUATOR_FORMATION_EVIDENCE_ADDENDUM + EVALUATOR_VALIDATOR_FEEDBACK_ADDENDUM);
+        // the validator block must sit AFTER the formation block, not replace it
+        expect(systemPrompt.indexOf(EVALUATOR_FORMATION_EVIDENCE_ADDENDUM)).toBeLessThan(systemPrompt.indexOf(EVALUATOR_VALIDATOR_FEEDBACK_ADDENDUM));
+    });
+});
+//# sourceMappingURL=evaluator-validator-refeed.test.js.map

package/core/dist/runtime-v2/internalization/__tests__/evaluator-validator-refeed.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator-validator-refeed.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/evaluator-validator-refeed.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,EACL,sBAAsB,EACtB,8BAA8B,EAC9B,qCAAqC,EACrC,qCAAqC,GACtC,MAAM,gCAAgC,CAAC;AAGxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,kDAAkD,CAAC;AACzF,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AAIpF,gFAAgF;AAEhF,MAAM,SAAS,GAAG,YAAY,CAAC;AAC/B,MAAM,MAAM,GAAG,eAAe,CAAC;AAC/B,MAAM,OAAO,GAAG,eAAe,CAAC;AAChC,MAAM,UAAU,GAAG,mBAAmB,CAAC;AAEvC,MAAM,cAAc,GAClB,uGAAuG,CAAC;AAE1G,SAAS,MAAM,CAAC,kBAA0B,EAAE,MAAM,GAAsB,CAAC,cAAc,CAAC;IACtF,OAAO;QACL,UAAU,EAAE,0BAA0B;QACtC,aAAa,EAAE,gBAAgB;QAC/B,MAAM;QACN,kBAAkB;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,UAAU;IACjB,OAAO,MAAM,CAAC,CAAC,EAAE,CAAC,cAAc,EAAE,+EAA+E,CAAC,CAAC,CAAC;AACtH,CAAC;AAED,8FAA8F;AAC9F,SAAS,oBAAoB;IAC3B,OAAO;QACL,OAAO,EAAE,sBAAsB;QAC/B,gBAAgB,EAAE;YAChB;gBACE,cAAc,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC;gBAClC,WAAW,EAAE,2BAA2B,EAAE,cAAc,EAAE,iCAAiC;gBAC3F,SAAS,EAAE,2BAA2B,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,oBAAoB,EAAE,IAAI;aACtG;SACF;QACD,kBAAkB,EAAE,EAAE;QACtB,eAAe,EAAE;YACf,UAAU,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,aAAa;YACpE,SAAS,EAAE,6CAA6C,EAAE,OAAO,EAAE,0BAA0B;YAC7F,kBAAkB,EAAE,EAAE;YACtB,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,iCAAiC,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC;YACzF,eAAe,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE;SACxD;QACD,UAAU,EAAE;YACV,uBAAuB,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,aAAa;YAC9E,yBAAyB,EAAE,cAAc,EAAE,qBAAqB,EAAE,UAAU;YAC5E,YAAY,EAAE,UAAU,EAAE,kBAAkB,EAAE,CAAC,cAAc,CAAC;SAC/D;QACD,eAAe,EAAE,EAAE;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,cAAc;IACrB,OAAO;QACL,MAAM,EAAE;YACN,OAAO,EAAE,CAAC;YACV,QAAQ,EAAE,EAAE;YACZ,eAAe,EAAE,EAAE;YACnB,cAAc,EAAE,EAAE;YAClB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;SACxC;QACD,MAAM,EAAE,aAAa;QACrB,QAAQ,EAAE,EAAE;QACZ,wBAAwB,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE;KACrC,CAAC;AACpC,CAAC;AAED,SAAS,IAAI,CAAC,CAAC,GAA4B,EAAE;IAC3C,OAAO,0BAA0B,CAAC;QAChC,iBAAiB,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO;QAC5D,iBAAiB,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE,EAAE,GAAG,CAAC;KACpD,CAAC,CAAC;AACL,CAAC;AAED,2EAA2E;AAC3E,SAAS,uBAAuB,CAAC,UAA+B;IAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,iBAAiB,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAA4B,CAAC;IAC9F,QAAQ,CAAC,mBAAmB,GAAG,UAAU,CAAC;IAC1C,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,aAAa;IACpB,OAAO;QACL,WAAW,EAAE,YAAY;QACzB,cAAc,EAAE;YACd,KAAK,EAAE,+BAA+B;YACtC,SAAS,EAAE,wEAAwE;YACnF,SAAS,EAAE,qDAAqD;YAChE,aAAa,EAAE,CAAC,yBAAyB,CAAC;YAC1C,YAAY,EAAE,CAAC,wBAAwB,CAAC;YACxC,UAAU,EAAE,GAAG;SAChB;KACF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe;IACtB,OAAO;QACL,MAAM,EAAE,MAAM;QACd,sBAAsB,EAAE,UAAU;QAClC,qBAAqB,EAAE,aAAa;QACpC,WAAW,EAAE,EAAE,gBAAgB,EAAE,UAAU,EAAE;QAC7C,KAAK,EAAE,EAAE;QACT,gBAAgB,EAAE;YAChB,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE;YAC9H,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE;SAC5H;QACD,aAAa,EAAE,CAAC,YAAY,CAAC;QAC7B,WAAW,EAAE,0BAA0B;KACxC,CAAC;AACJ,CAAC;AAED,SAAS,eAAe;IACtB,OAAO;QACL,MAAM,EAAE,OAAO;QACf,yBAAyB,EAAE,UAAU,MAAM,OAAO;QAClD,UAAU,EAAE;YACV,QAAQ,EAAE,UAAU;YACpB,OAAO,EAAE,uBAAuB;YAChC,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,EAAE;YACb,QAAQ,EAAE,EAAE;YACZ,eAAe,EAAE,EAAE;SACpB;QACD,WAAW,EAAE,EAAE,mBAAmB,EAAE,UAAU,MAAM,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE;QAC3F,KAAK,EAAE,EAAE;QACT,WAAW,EAAE,0BAA0B;KACxC,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,SAAS,uBAAuB;IAC9B,MAAM,GAAG,GAAG,eAAe,EAAE,CAAC;IAC9B,MAAM,UAAU,GAAG,EAAE,GAAI,GAAG,CAAC,UAAsC,EAAE,CAAC;IACtE,OAAO,UAAU,CAAC,OAAO,CAAC;IAC1B,UAAU,CAAC,QAAQ,GAAG,OAAO,CAAC;IAC9B,OAAO,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,CAAC;AAChC,CAAC;AAYD,IAAI,KAAwB,CAAC;AAE7B,KAAK,UAAU,SAAS,CAAC,uBAAgC;IACvD,MAAM,YAAY,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;IAC1E,MAAM,YAAY,GAAG,IAAI,mBAAmB,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC;IAC/D,MAAM,YAAY,CAAC,UAAU,EAAE,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAAE,CAAC;IACxC,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,OAAO,CAAC,WAAW,CAAC,CAAC,KAAK,EAAE,EAAE;QAC5B,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,IAAI,qBAAqB,CAAC,IAAI,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,0BAA0B,CAAC;IAEvC,MAAM,MAAM,GAAG,KAAK,EAAE,IAA2D,EAAiB,EAAE;QAClG,MAAM,YAAY,CAAC,UAAU,CAAC;YAC5B,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC;YACxF,cAAc,EAAE,IAAI,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;SACvD,CAAC,CAAC;QACH,MAAM,YAAY,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;QACvG,MAAM,YAAY,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAgG,EAAoB,EAAE,CACpI,KAAK,CAAC,cAAc,CAAC;QACnB,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY;QACvF,kBAAkB,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;QACrC,gBAAgB,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG;KACvG,CAAC,CAAC;IAEL,MAAM,MAAM,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1D,MAAM,MAAM,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IACzG,MAAM,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACnE,MAAM,MAAM,CAAC,EAAE,UAAU,EAAE,UAAU,MAAM,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,EAAE,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAC/H,MAAM,YAAY,CAAC,UAAU,CAAC;QAC5B,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC;QAC1F,cAAc,EAAE,uBAAuB,IAAI,IAAI,CAAC,EAAE,iBAAiB,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;KACjF,CAAC,CAAC;IAEH,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,UAAU;IACjB,IAAI,CAAC,KAAK;QAAE,OAAO;IACnB,KAAK,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;IAChC,IAAI,CAAC;QAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;IAC7F,KAAK,GAAG,SAAS,CAAC;AACpB,CAAC;AAED,SAAS,CAAC,GAAG,EAAE;IACb,UAAU,EAAE,CAAC;AACf,CAAC,CAAC,CAAC;AAOH,uEAAuE;AACvE,SAAS,aAAa,CAAC,QAAmB,EAAE,OAAyB;IACnE,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,OAAO;QACL,QAAQ,EAAE,KAAK,EAAE,GAAsD,EAAE,EAAE;YACzE,OAAO,CAAC,IAAI,CAAC;gBACX,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC;gBACjC,YAAY,EAAE,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE;aAC3E,CAAC,CAAC;YACH,OAAO,EAAE,KAAK,EAAE,cAAc,IAAI,EAAE,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;QAC1G,CAAC;QACD,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;QACnE,WAAW,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5G,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC,SAAS;KACF,CAAC;AACnC,CAAC;AAED,SAAS,UAAU,CAAC,CAAQ,EAAE,QAAmB,EAAE,OAAyB;IAC1E,OAAO,IAAI,eAAe,CAAC;QACzB,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,cAAc,EAAE,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC;QAChD,YAAY,EAAE,CAAC,CAAC,OAAO;QACvB,aAAa,EAAE,CAAC,CAAC,KAAK;QACtB,SAAS,EAAE,IAAI,yBAAyB,EAAE;QAC1C,mBAAmB,EAAE,GAAG,EAAE,CAAC,KAAK;QAChC,uBAAuB,EAAE,KAAK,IAAI,EAAE,CAAC,QAAQ;KAC9C,EAAE;QACD,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI;QACpF,QAAQ,EAAE,wBAAwB,EAAE,EAAE,eAAe,EAAE,cAAc,EAAE;KACxE,CAAC,CAAC;AACL,CAAC;AAED,6FAA6F;AAC7F,MAAM,oBAAqB,SAAQ,eAAe;IACzC,gBAAgB,CAAC,OAA2B;QACjD,IAAI,CAAC,oBAAoB,GAAG,OAAO,CAAC;IACtC,CAAC;CACF;AAED,SAAS,SAAS,CAAC,CAAQ;IACzB,OAAO,IAAI,oBAAoB,CAAC;QAC9B,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,cAAc,EAAE,aAAa,CAAC,EAAE,EAAE,EAAE,CAAC;QACrC,YAAY,EAAE,CAAC,CAAC,OAAO;QACvB,aAAa,EAAE,CAAC,CAAC,KAAK;QACtB,SAAS,EAAE,IAAI,yBAAyB,EAAE;KAC3C,EAAE;QACD,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI;QACpF,QAAQ,EAAE,wBAAwB,EAAE,EAAE,eAAe,EAAE,cAAc,EAAE;KACxE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAQ;IAChC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,6CAA6C,CAAC,CAAC;AAChG,CAAC;AAED,gFAAgF;AAEhF,QAAQ,CAAC,qEAAqE,EAAE,GAAG,EAAE;IACnF,MAAM,OAAO,GAAG,IAAI,sBAAsB,EAAE,CAAC;IAC7C,MAAM,SAAS,GAAG;QAChB,MAAM,EAAE,OAAO;QACf,WAAW,EAAE,SAAS;QACtB,yBAAyB,EAAE,2BAA2B;QACtD,iBAAiB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;QACrC,cAAc,EAAE,aAAa,EAAE;KAChC,CAAC;IAEF,EAAE,CAAC,uHAAuH,EAAE,GAAG,EAAE;QAC/H,MAAM,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAA4B,CAAC;QAChE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAC5D,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iHAAiH,EAAE,GAAG,EAAE;QACzH,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;YACjE,GAAG,SAAS;YACZ,oBAAoB,EAAE,UAAU,EAAE;SACnC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA4B,CAAC;QAC9D,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;QAC1D,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAC1C,MAAM,CAAC,WAAW,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,8BAA8B,GAAG,qCAAqC,CAAC,CAAC;QAClG,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qGAAqG,EAAE,GAAG,EAAE;QAC7G,MAAM,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;YAC3C,GAAG,SAAS;YACZ,gBAAgB,EAAE,SAAS;YAC3B,oBAAoB,EAAE,UAAU,EAAE;SACnC,CAAC,CAAC;QACH,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,8BAA8B,GAAG,qCAAqC,CAAC,CAAC;QAClG,MAAM,aAAa,GAAG,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QACrD,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sHAAsH,EAAE,GAAG,EAAE;QAC9H,MAAM,CAAC,qCAAqC,CAAC,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC;QAC5F,MAAM,CAAC,qCAAqC,CAAC,CAAC,SAAS,CAAC,6BAA6B,CAAC,CAAC;QACvF,MAAM,CAAC,qCAAqC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC7E,MAAM,CAAC,qCAAqC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAE/E,QAAQ,CAAC,qFAAqF,EAAE,GAAG,EAAE;IACnG,EAAE,CAAC,2GAA2G,EAAE,KAAK,IAAI,EAAE;QACzH,KAAK,GAAG,MAAM,SAAS,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,oBAAoB,EAAE,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,OAAO,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uGAAuG,EAAE,KAAK,IAAI,EAAE;QACrH,KAAK,GAAG,MAAM,SAAS,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,aAAa,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,aAAa,CAAC;YAC3C,kBAAkB,EAAE,CAAC;YACrB,cAAc,EAAE,CAAC;YACjB,MAAM,EAAE,sBAAsB;YAC9B,UAAU,EAAE,CAAC;SACd,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gGAAgG,EAAE,KAAK,IAAI,EAAE;QAC9G,KAAK,GAAG,MAAM,SAAS,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,aAAa,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;QACxE,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,aAAa,EAAE,CAAC;QACrD,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mHAAmH,EAAE,KAAK,IAAI,EAAE;QACjI,MAAM,UAAU,GAAG,MAAM,SAAS,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;YACpC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,cAAc,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YAEzD,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;YAChC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;YACxB,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YACpD,MAAM,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,WAAW,EAAE,CAAC;YACvD,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC;QACnE,CAAC;gBAAS,CAAC;YACT,KAAK,UAAU,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;YACrC,KAAK,QAAQ,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;YACnC,IAAI,CAAC;gBAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;YAClG,IAAI,CAAC;gBAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;QAClG,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAE/E,QAAQ,CAAC,qFAAqF,EAAE,GAAG,EAAE;IACnG,EAAE,CAAC,kGAAkG,EAAE,KAAK,IAAI,EAAE;QAChH,KAAK,GAAG,MAAM,SAAS,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAqB,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,uBAAuB,EAAE,EAAE,eAAe,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;QAE1F,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrC,qDAAqD;QACrD,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC/E,4EAA4E;QAC5E,MAAM,UAAU,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,cAAc,IAAI,IAAI,CAAkD,CAAC;QAClH,MAAM,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,WAAW,EAAE,CAAC;QACpD,MAAM,CAAC,SAAS,CAAC,mBAAmB,EAAE,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,SAAS,CAAC,mBAAmB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAExE,6DAA6D;QAC7D,MAAM,KAAK,CAAC,YAAY,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,cAAc,EAAE,0BAA0B,EAAE,CAAC,CAAC;QAE7F,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAExC,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,IAAI,CAA4B,CAAC;QAC9E,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,IAAI,CAA4B,CAAC;QAC9E,uDAAuD;QACvD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9D,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC;QACnF,yEAAyE;QACzE,MAAM,GAAG,GAAG,EAAE,CAAC,oBAA2C,CAAC;QAC3D,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;QAClE,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACnC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACnD,CAAC;QACD,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC;QAC/E,4DAA4D;QAC5D,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;QAC5C,MAAM,CAAC,EAAE,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,yEAAyE;AACzE,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,OAAO,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAC7C,MAAM,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;YAC3C,MAAM,EAAE,OAAO;YACf,WAAW,EAAE,SAAS;YACtB,yBAAyB,EAAE,2BAA2B;YACtD,iBAAiB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;YACrC,cAAc,EAAE,aAAa,EAAE;YAC/B,gBAAgB,EAAE,oBAAoB,EAAE;YACxC,oBAAoB,EAAE,UAAU,EAAE;SACnC,CAAC,CAAC;QACH,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CACvB,8BAA8B,GAAG,qCAAqC,GAAG,qCAAqC,CAC/G,CAAC;QACF,yEAAyE;QACzE,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC,CAAC,YAAY,CAC9E,YAAY,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAC5D,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -1,5 +1,6 @@
 import type { IntentContractV1 } from './intent-contract.js';
 import type { FormationContext } from './formation-context.js';
+import type { LastValidatorErrors } from './pitask-metadata.js';
 import type { OutputLanguage } from '../language-directive.js';
 export interface EvaluatorPromptBuilderInput {
     taskId: string;
@@ -51,6 +52,15 @@ export interface EvaluatorPromptBuilderInput {
      * shape byte-for-byte and the system prompt stays unchanged.
      */
     formationContext?: FormationContext;
+    /**
+     * PRI-644 (PRI-700 factor B wiring): verbatim validator rejection reasons
+     * from the immediately-preceding attempt, freshness-gated by the runner.
+     * Presence = the previous output was rejected by the business validator
+     * (e.g. a repair round missing requirementLedger) — attempt N+1 must not be
+     * a zero-information retry of the same prompt. Undefined on first attempt /
+     * when suppressed (payload and system prompt stay byte-identical).
+     */
+    priorValidatorErrors?: LastValidatorErrors;
 }
 export interface PriorRequirement {
     readonly id: string;
@@ -102,6 +112,8 @@ export interface EvaluatorPromptInput {
     intentContract?: IntentContractV1;
     /** Present only when the formation evidence resolved (PRI-843). */
     formationContext?: FormationContext;
+    /** Present only when the prior attempt was rejected by the validator (PRI-644). */
+    priorValidatorErrors?: LastValidatorErrors;
     promptContractVersion: string;
 }
 export interface EvaluatorPromptBuildResult {
@@ -139,6 +151,19 @@ export declare const PRINCIPLE_PAIN_MISMATCH_MARKER = "[principle_pain_mismatch]
  *     requiredChanges (the repair pipeline can only regenerate the Rule).
  */
 export declare const EVALUATOR_FORMATION_EVIDENCE_ADDENDUM = "\n\nFORMATION EVIDENCE (when `input.formationContext` is present):\nYour input additionally carries `formationContext` \u2014 the ORIGINAL FORMATION EVIDENCE that started this formation chain. It is OBSERVATION DATA, not authority: it does not authorize you to modify, reject, or rewrite the Principle, and it never overrides the intentContract.\n- formationContext.sourceDiagnosis: the diagnostician output that started this formation (rootCause, summary, violatedPrinciples, evidence, recommendations) \u2014 the closest available carrier of the source pain's content.\n- formationContext.dreamerProposals: ALL alternative candidates the Dreamer proposed, not only the selected one. `priorityRank` is a derived reading aid over the Dreamer's own signals, not an authority.\n- formationContext.provenance: lineage ids linking this formation back to the source pain and diagnosis (sourcePainId when present).\n\nHOW TO USE IT:\n1. Judge faithfulness at TWO levels: (a) does the Rule faithfully implement the Principle \u2014 your existing intentConsistency / scopePrecision / traceCoverage duties; and (b) does the Principle actually address the pain described by sourceDiagnosis (rootCause and evidence)? Level (b) asks whether the principle answers the REAL root cause, or only a minor facet of it, or a mis-attributed one.\n2. When you conclude the Principle does NOT address the source pain, record it in evaluation.concerns as a concern whose text BEGINS with the exact token [principle_pain_mismatch], followed by the concrete evidence citation (a diagnosis evidence sourceRef, a rootCause excerpt, or a provenance id). The pipeline routes that finding to the Owner for a governance decision.\n3. NEVER express a Principle-level revision demand in evaluation.requiredChanges \u2014 requiredChanges may only demand changes to the RULE itself. The repair pipeline can only regenerate the rule; it can never satisfy a Principle-level demand.\n4. A [principle_pain_mismatch] finding is NOT a rule defect: by itself it must not flip codeReview dimensions, must not lower the score below what the rule itself merits, and must not appear in requiredChanges. If the rule is sound, judge the rule as sound and let the marked concern carry the principle-level question.\n5. The diagnosis is EVIDENCE, not truth: it is itself an upstream product of this chain and may mis-attribute. When sourceDiagnosis is absent or you find it untrustworthy, say so in risks, weaken your pain-faithfulness conclusion accordingly, and NEVER base a rejection or a [principle_pain_mismatch] finding on the ABSENCE of formation evidence alone.\n6. Do not re-litigate which dreamer proposal should have been selected (the Philosopher critique already decided that \u2014 do not revive a proposal the critique rejected); use the proposals only as evidence of what alternatives existed.";
+/**
+ * PRI-644 (PRI-700 factor B wiring): system-channel addendum appended ONLY
+ * when `priorValidatorErrors` is present — the same conditional-placement
+ * discipline as the PRI-843 formation addendum, so a first attempt stays
+ * byte-identical to the pre-PRI-644 prompt. Its content is the evaluator
+ * variant of the artificer's "PRIOR OUTPUT-CONTRACT REJECTIONS" block —
+ * deliberately NOT a placement mirror: the artificer bakes that block
+ * unconditionally into its protocol string, this one is conditional. Phrased
+ * for the evaluator's failure mode (BUSINESS validator rejections such as a
+ * repair round missing `requirementLedger` — output captured but rejected,
+ * then retried with the identical prompt until max_attempts_exceeded).
+ */
+export declare const EVALUATOR_VALIDATOR_FEEDBACK_ADDENDUM = "\n\nPRIOR OUTPUT-CONTRACT REJECTIONS (when `priorValidatorErrors` is present):\n- Your previous attempt was REJECTED BY THE OUTPUT VALIDATOR before its evaluation was ever recorded \u2014 the pipeline never advanced. The `priorValidatorErrors.errors` list contains the exact, verbatim rejection reasons.\n- The highest-priority fix is to make your JSON satisfy EVERY listed rejection reason. Re-read each error, map it to the OUTPUT FORMAT and CONSTRAINTS blocks above, and correct the exact fields it names.\n- These errors describe YOUR output's shape and completeness, NOT the implementation plan you are evaluating. Fix the contract violation and do NOT re-judge or change the substance (decision, score, findings) of your previous evaluation unless a listed rejection reason explicitly forces it.\n- When a rejection names a missing field \u2014 e.g. `evaluation.requirementLedger` or `evaluation.priorRequirementStatuses` in a repair round \u2014 that field is REQUIRED by the CONVERGENCE CONTRACT: echo EVERY input requirement with its exact id and statement-as-given, plus the status you assigned. Omitting, renumbering, or restating ids is the most common rejection cause.\n- After addressing every listed error, re-check the full OUTPUT FORMAT and CONSTRAINTS blocks once more before emitting.\n";
 /**
  * PRI-843 (SPEC v1.1): bumped v4 → v5. The prompt input gains the optional
  * `formationContext` block (dreamer proposals + source diagnosis + provenance)
@@ -149,8 +174,15 @@ export declare const EVALUATOR_FORMATION_EVIDENCE_ADDENDUM = "\n\nFORMATION EVID
  * run without formation evidence emits exactly the v4 wire shape plus the new
  * version string. Existing v4 evaluations stay immutable — the version bump
  * changes replay/cache identity for future runs only.
+ *
+ * PRI-644: bumped v5 → v6. The prompt input gains the optional
+ * `priorValidatorErrors` block (verbatim validator rejection reasons from the
+ * immediately-preceding attempt, PRI-700 factor B) and the system prompt
+ * conditionally carries `EVALUATOR_VALIDATOR_FEEDBACK_ADDENDUM`. Additive:
+ * same discipline as v5 — a run without validator feedback emits exactly the
+ * v5 wire shape plus the new version string.
  */
-export declare const EVALUATOR_PROMPT_CONTRACT_VERSION = "evaluator-output-v1.prompt.v5";
+export declare const EVALUATOR_PROMPT_CONTRACT_VERSION = "evaluator-output-v1.prompt.v6";
 export declare class EvaluatorPromptBuilder {
     buildPrompt(input: EvaluatorPromptBuilderInput): EvaluatorPromptBuildResult;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"evaluator-prompt-builder.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/evaluator-prompt-builder.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAG/D,MAAM,WAAW,2BAA2B;IAC1C,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,yBAAyB,EAAE,MAAM,CAAC;IAClC,iBAAiB,EAAE,OAAO,CAAC;IAC3B;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC;;;;OAIG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;IAC/C;;;;OAIG;IACH,eAAe,CAAC,EAAE,oBAAoB,CAAC;IACvC;;;;;;;;OAQG;IACH,cAAc,CAAC,EAAE,gBAAgB,CAAC;IAClC;;;;;;;OAOG;IACH,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CACrC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnD,mEAAmE;IACnE,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,sCAAsC;IACtC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,YAAY,GAAG,WAAW,GAAG,KAAK,CAAC;CAClE;AAMD,wBAAgB,uBAAuB,CACrC,cAAc,EAAE,SAAS;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,GAAG,SAAS,EACxF,eAAe,EAAE,SAAS,MAAM,EAAE,GACjC,sBAAsB,EAAE,CA4B1B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,yBAAyB,EAAE,MAAM,CAAC;IAClC,iBAAiB,EAAE,OAAO,CAAC;IAC3B,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;IAC/C,eAAe,CAAC,EAAE,oBAAoB,CAAC;IACvC,mGAAmG;IACnG,cAAc,CAAC,EAAE,gBAAgB,CAAC;IAClC,mEAAmE;IACnE,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED,eAAO,MAAM,8BAA8B,mlXAsE1C,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,8BAA8B,8BAA8B,CAAC;AAE1E;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,qCAAqC,gzFAcwL,CAAC;AAE3O;;;;;;;;;;GAUG;AACH,eAAO,MAAM,iCAAiC,kCAAkC,CAAC;AAEjF,qBAAa,sBAAsB;IAEjC,WAAW,CAAC,KAAK,EAAE,2BAA2B,GAAG,0BAA0B,CAgC1E;CACF"}
+{"version":3,"file":"evaluator-prompt-builder.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/evaluator-prompt-builder.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAG/D,MAAM,WAAW,2BAA2B;IAC1C,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,yBAAyB,EAAE,MAAM,CAAC;IAClC,iBAAiB,EAAE,OAAO,CAAC;IAC3B;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC;;;;OAIG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;IAC/C;;;;OAIG;IACH,eAAe,CAAC,EAAE,oBAAoB,CAAC;IACvC;;;;;;;;OAQG;IACH,cAAc,CAAC,EAAE,gBAAgB,CAAC;IAClC;;;;;;;OAOG;IACH,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC;;;;;;;OAOG;IACH,oBAAoB,CAAC,EAAE,mBAAmB,CAAC;CAC5C;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnD,mEAAmE;IACnE,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,sCAAsC;IACtC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,YAAY,GAAG,WAAW,GAAG,KAAK,CAAC;CAClE;AAMD,wBAAgB,uBAAuB,CACrC,cAAc,EAAE,SAAS;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,GAAG,SAAS,EACxF,eAAe,EAAE,SAAS,MAAM,EAAE,GACjC,sBAAsB,EAAE,CA4B1B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,yBAAyB,EAAE,MAAM,CAAC;IAClC,iBAAiB,EAAE,OAAO,CAAC;IAC3B,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;IAC/C,eAAe,CAAC,EAAE,oBAAoB,CAAC;IACvC,mGAAmG;IACnG,cAAc,CAAC,EAAE,gBAAgB,CAAC;IAClC,mEAAmE;IACnE,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,mFAAmF;IACnF,oBAAoB,CAAC,EAAE,mBAAmB,CAAC;IAC3C,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED,eAAO,MAAM,8BAA8B,mlXAsE1C,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,8BAA8B,8BAA8B,CAAC;AAE1E;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,qCAAqC,gzFAcwL,CAAC;AAE3O;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,qCAAqC,8xCAQjD,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,iCAAiC,kCAAkC,CAAC;AAEjF,qBAAa,sBAAsB;IAEjC,WAAW,CAAC,KAAK,EAAE,2BAA2B,GAAG,0BAA0B,CA4C1E;CACF"}