@principles/core 1.287.3 → 1.287.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/runtime-v2/activation/activation-dispatcher.d.ts +27 -0
- package/dist/runtime-v2/activation/activation-dispatcher.d.ts.map +1 -1
- package/dist/runtime-v2/activation/activation-dispatcher.js +61 -7
- package/dist/runtime-v2/activation/activation-dispatcher.js.map +1 -1
- package/dist/runtime-v2/activation/index.d.ts +3 -1
- package/dist/runtime-v2/activation/index.d.ts.map +1 -1
- package/dist/runtime-v2/activation/index.js +2 -0
- package/dist/runtime-v2/activation/index.js.map +1 -1
- package/dist/runtime-v2/activation/ledger-identity.d.ts +67 -0
- package/dist/runtime-v2/activation/ledger-identity.d.ts.map +1 -0
- package/dist/runtime-v2/activation/ledger-identity.js +105 -0
- package/dist/runtime-v2/activation/ledger-identity.js.map +1 -0
- package/dist/runtime-v2/activation/low-risk-writers.d.ts +48 -0
- package/dist/runtime-v2/activation/low-risk-writers.d.ts.map +1 -1
- package/dist/runtime-v2/activation/low-risk-writers.js +68 -8
- package/dist/runtime-v2/activation/low-risk-writers.js.map +1 -1
- package/dist/runtime-v2/activation/prompt-activation-reader-contract.d.ts +39 -2
- package/dist/runtime-v2/activation/prompt-activation-reader-contract.d.ts.map +1 -1
- package/dist/runtime-v2/activation/prompt-activation-reader-contract.js +71 -8
- package/dist/runtime-v2/activation/prompt-activation-reader-contract.js.map +1 -1
- package/dist/runtime-v2/activation/sqlite-activation-state-store.d.ts.map +1 -1
- package/dist/runtime-v2/activation/sqlite-activation-state-store.js +5 -2
- package/dist/runtime-v2/activation/sqlite-activation-state-store.js.map +1 -1
- package/dist/runtime-v2/index.d.ts +3 -3
- package/dist/runtime-v2/index.d.ts.map +1 -1
- package/dist/runtime-v2/index.js +1 -1
- package/dist/runtime-v2/index.js.map +1 -1
- package/dist/runtime-v2/internalization/dreamer-runner.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/dreamer-runner.js +19 -4
- package/dist/runtime-v2/internalization/dreamer-runner.js.map +1 -1
- package/dist/runtime-v2/internalization/evaluator-runner.d.ts +46 -11
- package/dist/runtime-v2/internalization/evaluator-runner.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/evaluator-runner.js +73 -41
- package/dist/runtime-v2/internalization/evaluator-runner.js.map +1 -1
- package/dist/runtime-v2/internalization/scribe-runner.d.ts +30 -0
- package/dist/runtime-v2/internalization/scribe-runner.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/scribe-runner.js +68 -0
- package/dist/runtime-v2/internalization/scribe-runner.js.map +1 -1
- package/dist/runtime-v2/proven-channel-baseline.d.ts.map +1 -1
- package/dist/runtime-v2/proven-channel-baseline.js +4 -1
- package/dist/runtime-v2/proven-channel-baseline.js.map +1 -1
- package/dist/runtime-v2/story-a-demo.d.ts +11 -1
- package/dist/runtime-v2/story-a-demo.d.ts.map +1 -1
- package/dist/runtime-v2/story-a-demo.js +12 -2
- package/dist/runtime-v2/story-a-demo.js.map +1 -1
- package/dist/runtime-v2/types/event-types.d.ts +28 -0
- package/dist/runtime-v2/types/event-types.d.ts.map +1 -1
- package/dist/runtime-v2/types/event-types.js +9 -0
- package/dist/runtime-v2/types/event-types.js.map +1 -1
- package/dist/telemetry-event.d.ts +2 -2
- package/dist/telemetry-event.d.ts.map +1 -1
- package/dist/telemetry-event.js +20 -0
- package/dist/telemetry-event.js.map +1 -1
- package/dist/trajectory-store.d.ts +24 -0
- package/dist/trajectory-store.d.ts.map +1 -1
- package/dist/trajectory-store.js +40 -0
- package/dist/trajectory-store.js.map +1 -1
- package/package.json +1 -1
|
@@ -164,15 +164,30 @@ export class DreamerRunner extends BasePeerRunner {
|
|
|
164
164
|
}
|
|
165
165
|
const artifactId = `pi-art-${taskId}-${runId}`;
|
|
166
166
|
const now = new Date().toISOString();
|
|
167
|
+
// PRI-911A (I1+I3 writer boundary): the identity column is reserved for
|
|
168
|
+
// canonical ledger UUIDs. An LLM-asserted `sourcePrincipleId` is an
|
|
169
|
+
// UNTRUSTED CLAIM — postFetchTransform's stripFabricatedCorePrincipleIds
|
|
170
|
+
// already removed everything except a Historical Core Principle id
|
|
171
|
+
// (`T-NN`), and those are registry entries, not ledger principles. So no
|
|
172
|
+
// assertion this runner can see is ever a canonical identity, and none is
|
|
173
|
+
// carried. The value still rides in contentJson, which is where the display
|
|
174
|
+
// resolver reads it from — Bug-O L1's 'unlinked' symptom is unaffected.
|
|
175
|
+
// Stamping the real identity is ScribeRunner's job (PR #1856 I2), which
|
|
176
|
+
// resolves it against the ledger instead of asserting it.
|
|
177
|
+
const assertedPrincipleId = output.sourcePrincipleId;
|
|
178
|
+
if (typeof assertedPrincipleId === 'string' && assertedPrincipleId.trim() !== '') {
|
|
179
|
+
this.emitEvent('identity_assertion_not_carried', taskId, {
|
|
180
|
+
runId,
|
|
181
|
+
reason: 'non_canonical_identity',
|
|
182
|
+
assertedPrincipleId,
|
|
183
|
+
nextAction: 'identity_is_stamped_from_the_ledger_by_the_chain_not_asserted',
|
|
184
|
+
});
|
|
185
|
+
}
|
|
167
186
|
try {
|
|
168
187
|
await this.artifactStore.upsertArtifact({
|
|
169
188
|
artifactId,
|
|
170
189
|
artifactKind: 'principle',
|
|
171
190
|
sourceTaskId: taskId,
|
|
172
|
-
// Bug-O L1 fix: propagate sourcePrincipleId so downstream activation
|
|
173
|
-
// dispatch and ActivationsConsoleModel can resolve the principle link.
|
|
174
|
-
// Without this, the activation list shows 'unlinked' for dreamer artifacts.
|
|
175
|
-
sourcePrincipleId: output.sourcePrincipleId,
|
|
176
191
|
lineageArtifactIds,
|
|
177
192
|
validationStatus: 'pending',
|
|
178
193
|
contentJson: JSON.stringify(output),
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"dreamer-runner.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/dreamer-runner.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,cAAc,EAAwB,MAAM,wBAAwB,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,+BAA+B,EAAE,MAAM,6BAA6B,CAAC;AAC9E,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AA8D/D,MAAM,CAAC,MAAM,8BAA8B,GAA0E;IACnH,cAAc,EAAE,KAAK;IACrB,SAAS,EAAE,OAAO;IAClB,kBAAkB,EAAE,CAAC;IACrB,OAAO,EAAE,SAAS;IAClB,aAAa,EAAE,IAAI;CACX,CAAC;AAEX,MAAM,UAAU,2BAA2B,CAAC,OAA6B;IACvE,OAAO;QACL,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,8BAA8B,CAAC,cAAc;QACvF,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,8BAA8B,CAAC,SAAS;QACxE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,IAAI,8BAA8B,CAAC,kBAAkB;QACnG,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,8BAA8B,CAAC,OAAO;QAClE,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,8BAA8B,CAAC,aAAa;KACrF,CAAC;AACJ,CAAC;AAQD,gFAAgF;AAEhF,MAAM,OAAO,aAAc,SAAQ,cAA6C;IAC7D,SAAS,CAAmB;IAE7C,YAAY,IAAuB,EAAE,OAA0B;QAC7D,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE;YACnB,UAAU,EAAE,SAAS;YACrB,gBAAgB,EAAE,SAAS;YAC3B,cAAc,EAAE,SAAS;YACzB,eAAe,EAAE,SAAS;SAC3B,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IAClC,CAAC;IAED,8EAA8E;IAE9E,qEAAqE;IACrE,IAAI,wBAAwB;QAC1B,OAAO,IAAI,GAAG,CAAC,CAAC,qBAAqB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC;IACnH,CAAC;IAED,KAAK,CAAC,YAAY,CAAC,MAAc;QAC/B,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,QAAQ,MAAM,YAAY,CAAC,CAAC;QACxE,CAAC;QAED,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM,EAAE,iBAAiB,IAAI,EAAE,CAAC;QAE7C,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,IAAI,iBAAiB,GAAY,IAAI,CAAC;QAEtC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CACtC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CACtD,CAAC;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBACtB,IAAI,CAAC,MAAM,IAAI,KAAK,KAAK,SAAS;oBAAE,SAAS;gBAC7C,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;oBACjC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC3B,CAAC;qBAAM,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;oBACzD,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;wBAC3B,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;oBAC3C,CAAC;oBACD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBAC1E,IAAI,SAAS,EAAE,kBAAkB,EAAE,CAAC;wBAClC,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBACtE,CAAC;oBACD,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,WAAW,IAAI,iBAAiB,KAAK,IAAI,EAAE,CAAC;wBACtE,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;wBACrE,MAAM,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC;wBAC1B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;4BAClC,IAAI,aAAsB,CAAC;4BAC3B,IAAI,CAAC;gCACH,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;4BAChD,CAAC;4BAAC,MAAM,CAAC;gCACP,aAAa,GAAG,KAAK,CAAC,WAAW,CAAC;4BACpC,CAAC;4BACD,iBAAiB,GAAG,aAAa,CAAC;wBACpC,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,SAAS,CAAC,iBAAiB,EAAE,MAAM,EAAE;gBACxC,aAAa,EAAE,YAAY,CAAC,MAAM;gBAClC,YAAY;aACb,CAAC,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAAG,cAAc,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;QAChE,OAAO;YACL,WAAW;YACX,WAAW;YACX,iBAAiB;YACjB,gBAAgB,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,CAAC;SAC7D,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,MAAc,EAAE,OAAuB;QACzD,MAAM,EAAC,aAAa,EAAE,cAAc,EAAC,GAAG,IAAI,CAAC,eAAe,CAAC;QAC7D,MAAM,OAAO,GAAG,IAAI,oBAAoB,CAAC,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,CAAC;QAC5E,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;YACpD,MAAM;YACN,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;YAC5C,aAAa;YACb,cAAc;SACf,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC;YAClC,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE;YACzE,OAAO,EAAE,EAAE,MAAM,EAAE;YACnB,YAAY,EAAE,OAAO;YACrB,YAAY,EAAE,EAAE;YAChB,eAAe,EAAE,mBAAmB;YACpC,SAAS,EAAE,IAAI,CAAC,eAAe,CAAC,SAAS;YACzC,YAAY;SACb,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,MAAe,EAAE,MAAc;QAClD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC7D,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,aAAa,EAAE,MAAM,CAAC,aAAa;SACpC,CAAC;IACJ,CAAC;IAED,yDAAyD;IACzD,KAAK,CAAC,WAAW,CACf,MAAc,EACd,KAAa,EACb,MAAqB,EACrB,IAAgB,EAChB,WAAmB,EACnB,QAAwB;QAExB,wCAAwC;QACxC,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QACzE,CAAC;QAAC,OAAO,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC,SAAS,CAAC,sBAAsB,EAAE,MAAM,EAAE;gBAC7C,KAAK;gBACL,YAAY,EAAE,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC;aACjF,CAAC,CAAC;YACH,MAAM,SAAS,CAAC;QAClB,CAAC;QAED,yDAAyD;QACzD,IAAI,kBAAkB,GAAa,EAAE,CAAC;QACtC,IAAI,kBAAkB,GAAG,KAAK,CAAC;QAC/B,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;YACnE,kBAAkB,GAAG,aAAa,CAAC,GAAG,CAAC;YACvC,kBAAkB,GAAG,aAAa,CAAC,WAAW,CAAC;QACjD,CAAC;QAAC,OAAO,UAAU,EAAE,CAAC;YACpB,IAAI,CAAC,SAAS,CAAC,wBAAwB,EAAE,MAAM,EAAE;gBAC/C,KAAK;gBACL,YAAY,EAAE,UAAU,YAAY,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;aACpF,CAAC,CAAC;QACL,CAAC;QAED,IAAI,kBAAkB,EAAE,CAAC;YACvB,IAAI,CAAC,SAAS,CAAC,iBAAiB,EAAE,MAAM,EAAE;gBACxC,KAAK;gBACL,aAAa,EAAE,kBAAkB,CAAC,MAAM;gBACxC,OAAO,EAAE,2EAA2E;aACrF,CAAC,CAAC;QACL,CAAC;QAED,MAAM,UAAU,GAAG,UAAU,MAAM,IAAI,KAAK,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC;gBACtC,UAAU;gBACV,YAAY,EAAE,WAAW;gBACzB,YAAY,EAAE,MAAM;gBACpB,
|
|
1
|
+
{"version":3,"file":"dreamer-runner.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/dreamer-runner.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,cAAc,EAAwB,MAAM,wBAAwB,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,+BAA+B,EAAE,MAAM,6BAA6B,CAAC;AAC9E,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AA8D/D,MAAM,CAAC,MAAM,8BAA8B,GAA0E;IACnH,cAAc,EAAE,KAAK;IACrB,SAAS,EAAE,OAAO;IAClB,kBAAkB,EAAE,CAAC;IACrB,OAAO,EAAE,SAAS;IAClB,aAAa,EAAE,IAAI;CACX,CAAC;AAEX,MAAM,UAAU,2BAA2B,CAAC,OAA6B;IACvE,OAAO;QACL,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,8BAA8B,CAAC,cAAc;QACvF,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,8BAA8B,CAAC,SAAS;QACxE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,IAAI,8BAA8B,CAAC,kBAAkB;QACnG,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,8BAA8B,CAAC,OAAO;QAClE,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,8BAA8B,CAAC,aAAa;KACrF,CAAC;AACJ,CAAC;AAQD,gFAAgF;AAEhF,MAAM,OAAO,aAAc,SAAQ,cAA6C;IAC7D,SAAS,CAAmB;IAE7C,YAAY,IAAuB,EAAE,OAA0B;QAC7D,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE;YACnB,UAAU,EAAE,SAAS;YACrB,gBAAgB,EAAE,SAAS;YAC3B,cAAc,EAAE,SAAS;YACzB,eAAe,EAAE,SAAS;SAC3B,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IAClC,CAAC;IAED,8EAA8E;IAE9E,qEAAqE;IACrE,IAAI,wBAAwB;QAC1B,OAAO,IAAI,GAAG,CAAC,CAAC,qBAAqB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC;IACnH,CAAC;IAED,KAAK,CAAC,YAAY,CAAC,MAAc;QAC/B,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,QAAQ,MAAM,YAAY,CAAC,CAAC;QACxE,CAAC;QAED,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM,EAAE,iBAAiB,IAAI,EAAE,CAAC;QAE7C,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,IAAI,iBAAiB,GAAY,IAAI,CAAC;QAEtC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CACtC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CACtD,CAAC;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBACtB,IAAI,CAAC,MAAM,IAAI,KAAK,KAAK,SAAS;oBAAE,SAAS;gBAC7C,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;oBACjC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC3B,CAAC;qBAAM,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;oBACzD,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;wBAC3B,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;oBAC3C,CAAC;oBACD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBAC1E,IAAI,SAAS,EAAE,kBAAkB,EAAE,CAAC;wBAClC,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;oBACtE,CAAC;oBACD,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,WAAW,IAAI,iBAAiB,KAAK,IAAI,EAAE,CAAC;wBACtE,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;wBACrE,MAAM,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC;wBAC1B,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;4BAClC,IAAI,aAAsB,CAAC;4BAC3B,IAAI,CAAC;gCACH,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;4BAChD,CAAC;4BAAC,MAAM,CAAC;gCACP,aAAa,GAAG,KAAK,CAAC,WAAW,CAAC;4BACpC,CAAC;4BACD,iBAAiB,GAAG,aAAa,CAAC;wBACpC,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,SAAS,CAAC,iBAAiB,EAAE,MAAM,EAAE;gBACxC,aAAa,EAAE,YAAY,CAAC,MAAM;gBAClC,YAAY;aACb,CAAC,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAAG,cAAc,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;QAChE,OAAO;YACL,WAAW;YACX,WAAW;YACX,iBAAiB;YACjB,gBAAgB,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,CAAC;SAC7D,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,MAAc,EAAE,OAAuB;QACzD,MAAM,EAAC,aAAa,EAAE,cAAc,EAAC,GAAG,IAAI,CAAC,eAAe,CAAC;QAC7D,MAAM,OAAO,GAAG,IAAI,oBAAoB,CAAC,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,CAAC;QAC5E,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;YACpD,MAAM;YACN,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;YAC5C,aAAa;YACb,cAAc;SACf,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC;YAClC,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE;YACzE,OAAO,EAAE,EAAE,MAAM,EAAE;YACnB,YAAY,EAAE,OAAO;YACrB,YAAY,EAAE,EAAE;YAChB,eAAe,EAAE,mBAAmB;YACpC,SAAS,EAAE,IAAI,CAAC,eAAe,CAAC,SAAS;YACzC,YAAY;SACb,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,MAAe,EAAE,MAAc;QAClD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC7D,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,aAAa,EAAE,MAAM,CAAC,aAAa;SACpC,CAAC;IACJ,CAAC;IAED,yDAAyD;IACzD,KAAK,CAAC,WAAW,CACf,MAAc,EACd,KAAa,EACb,MAAqB,EACrB,IAAgB,EAChB,WAAmB,EACnB,QAAwB;QAExB,wCAAwC;QACxC,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QACzE,CAAC;QAAC,OAAO,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC,SAAS,CAAC,sBAAsB,EAAE,MAAM,EAAE;gBAC7C,KAAK;gBACL,YAAY,EAAE,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC;aACjF,CAAC,CAAC;YACH,MAAM,SAAS,CAAC;QAClB,CAAC;QAED,yDAAyD;QACzD,IAAI,kBAAkB,GAAa,EAAE,CAAC;QACtC,IAAI,kBAAkB,GAAG,KAAK,CAAC;QAC/B,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;YACnE,kBAAkB,GAAG,aAAa,CAAC,GAAG,CAAC;YACvC,kBAAkB,GAAG,aAAa,CAAC,WAAW,CAAC;QACjD,CAAC;QAAC,OAAO,UAAU,EAAE,CAAC;YACpB,IAAI,CAAC,SAAS,CAAC,wBAAwB,EAAE,MAAM,EAAE;gBAC/C,KAAK;gBACL,YAAY,EAAE,UAAU,YAAY,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;aACpF,CAAC,CAAC;QACL,CAAC;QAED,IAAI,kBAAkB,EAAE,CAAC;YACvB,IAAI,CAAC,SAAS,CAAC,iBAAiB,EAAE,MAAM,EAAE;gBACxC,KAAK;gBACL,aAAa,EAAE,kBAAkB,CAAC,MAAM;gBACxC,OAAO,EAAE,2EAA2E;aACrF,CAAC,CAAC;QACL,CAAC;QAED,MAAM,UAAU,GAAG,UAAU,MAAM,IAAI,KAAK,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,wEAAwE;QACxE,oEAAoE;QACpE,yEAAyE;QACzE,mEAAmE;QACnE,yEAAyE;QACzE,0EAA0E;QAC1E,4EAA4E;QAC5E,wEAAwE;QACxE,wEAAwE;QACxE,0DAA0D;QAC1D,MAAM,mBAAmB,GAAG,MAAM,CAAC,iBAAiB,CAAC;QACrD,IAAI,OAAO,mBAAmB,KAAK,QAAQ,IAAI,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACjF,IAAI,CAAC,SAAS,CAAC,gCAAgC,EAAE,MAAM,EAAE;gBACvD,KAAK;gBACL,MAAM,EAAE,wBAAwB;gBAChC,mBAAmB;gBACnB,UAAU,EAAE,+DAA+D;aAC5E,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC;gBACtC,UAAU;gBACV,YAAY,EAAE,WAAW;gBACzB,YAAY,EAAE,MAAM;gBACpB,kBAAkB;gBAClB,gBAAgB,EAAE,SAAS;gBAC3B,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;gBACnC,SAAS,EAAE,GAAG;gBACd,SAAS,EAAE,GAAG;aACf,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,WAAW,EAAE,CAAC;YACrB,IAAI,CAAC,SAAS,CAAC,uBAAuB,EAAE,MAAM,EAAE;gBAC9C,KAAK;gBACL,YAAY,EAAE,WAAW,YAAY,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC;aACvF,CAAC,CAAC;YACH,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,MAAM;gBACN,IAAI;gBACJ,aAAa,EAAE,wBAAwB;gBACvC,aAAa,EAAE,4BAA4B,WAAW,YAAY,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE;aACtH,CAAC,CAAC;QACL,CAAC;QAED,sBAAsB;QACtB,MAAM,SAAS,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,eAAe,MAAM,KAAK,EAAE,CAAC;QAC9D,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,YAAY,CAAC,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC/D,CAAC;QAAC,OAAO,QAAQ,EAAE,CAAC;YAClB,IAAI,CAAC,SAAS,CAAC,uBAAuB,EAAE,MAAM,EAAE;gBAC9C,MAAM;gBACN,KAAK;gBACL,YAAY,EAAE,QAAQ,YAAY,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;aAC9E,CAAC,CAAC;YACH,MAAM,QAAQ,CAAC;QACjB,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,gBAAgB,EAAE,MAAM,EAAE;YACvC,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,SAAS;YACT,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM;SACzC,CAAC,CAAC;QAEH,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,MAAM;YACN,KAAK;YACL,UAAU;YACV,SAAS;YACT,WAAW;YACX,MAAM;YACN,YAAY,EAAE,IAAI,CAAC,YAAY;SAChC,CAAC;IACJ,CAAC;IAED,8EAA8E;IAE9E;;;;;;;;;;;;;;;;;OAiBG;IACgB,kBAAkB,CAAC,MAAc,EAAE,eAAwB,EAAE,OAAuB;QACrG,KAAK,CAAC,kBAAkB,CAAC,MAAM,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;QAC3D,uEAAuE;QACvE,wDAAwD;QACxD,MAAM,IAAI,GAAG,OAAO,CAAC,gBAAgB,CAAC;QACtC,MAAM,eAAe,GAAG,oBAAoB,CAAC,eAAe,EAAE;YAC5D,SAAS,EAAE;gBACT,EAAE,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE;gBAC/C,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aAChF;SACF,CAAC,CAAC;QACH,IAAI,IAAI,KAAK,IAAI;eACZ,eAAe,KAAK,IAAI,IAAI,OAAO,eAAe,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC;eAClG,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,cAAc,CAAC,EAAE,CAAC;YACpD,mEAAmE;YACnE,+DAA+D;YAC/D,0DAA0D;YAC1D,OAAO,CAAC,cAAc,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC;YACxD,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACvC,CAAC;QACD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,mEAAmE;YACnE,sEAAsE;YACtE,wEAAwE;YACxE,IAAI,CAAC,SAAS,CAAC,wBAAwB,EAAE,MAAM,EAAE,EAAE,eAAe,EAAE,WAAW,EAAE,IAAI,KAAK,IAAI,EAAE,CAAC,CAAC;QACpG,CAAC;QACD,+BAA+B,CAAC,eAAe,CAAC,CAAC;IACnD,CAAC;IAEkB,oBAAoB,CAAC,MAAc,EAAE,MAAqB;QAC3E,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAC1C,IAAI,CAAC,SAAS,CAAC,qBAAqB,EAAE,MAAM,EAAE;gBAC5C,cAAc,EAAE,SAAS,CAAC,cAAc;gBACxC,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,SAAS,EAAE,SAAS,CAAC,SAAS;aAC/B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;CACF"}
|
|
@@ -187,7 +187,34 @@ export interface EvaluatorRunnerDeps extends PeerRunnerDeps {
|
|
|
187
187
|
* Returns the newly created repair task's ID.
|
|
188
188
|
*/
|
|
189
189
|
readonly seedArtificerRepairTask?: (params: SeedArtificerRepairParams) => Promise<string>;
|
|
190
|
+
/**
|
|
191
|
+
* PRI-911A — WRITER IDENTITY BOUNDARY (I1+I3). The ledger membership check the
|
|
192
|
+
* rule-assembly stamp uses to verify a UUID it is about to carry forward
|
|
193
|
+
* (`PrincipleTreeLedgerAdapter.hasPrinciple`). Optional and inject-only, same
|
|
194
|
+
* shape as ScribeRunner's `ledgerIdentity` (PR #1856): core stays free of any
|
|
195
|
+
* ledger I/O (D5), and when absent the shape gate still holds — the check is
|
|
196
|
+
* what turns "UUID-shaped" into "UUID the ledger actually knows".
|
|
197
|
+
*/
|
|
198
|
+
readonly ledgerIdentity?: {
|
|
199
|
+
readonly hasPrinciple: (principleId: string) => boolean;
|
|
200
|
+
};
|
|
190
201
|
}
|
|
202
|
+
/**
|
|
203
|
+
* PRI-911A SPEC §6.4 — the identity writer's failure vocabulary. Every refusal
|
|
204
|
+
* to carry a principle identity reports exactly one of these; there is no
|
|
205
|
+
* "unknown" bucket, because an unclassified refusal is an unobservable one.
|
|
206
|
+
*
|
|
207
|
+
* - `missing_identity` — the bearer artifact carries no identity at all
|
|
208
|
+
* (its `source_principle_id` column is empty).
|
|
209
|
+
* - `non_canonical_identity` — a value exists but it is content masquerading as
|
|
210
|
+
* identity (philosopher title, `T-NN`, any text).
|
|
211
|
+
* - `invalid_identity` — UUID-shaped, but the ledger does not know it
|
|
212
|
+
* (data drift; never upgraded to a guess).
|
|
213
|
+
* - `ambiguous_identity` — more than one plausible identity (reported by
|
|
214
|
+
* the bearer/lineage resolvers, which own that
|
|
215
|
+
* comparison).
|
|
216
|
+
*/
|
|
217
|
+
export type IdentityStampFailureReason = 'missing_identity' | 'non_canonical_identity' | 'invalid_identity' | 'ambiguous_identity';
|
|
191
218
|
export declare class EvaluatorRunner extends BasePeerRunner<EvaluatorContext, EvaluatorOutputV1> {
|
|
192
219
|
private readonly validator;
|
|
193
220
|
/**
|
|
@@ -216,6 +243,8 @@ export declare class EvaluatorRunner extends BasePeerRunner<EvaluatorContext, Ev
|
|
|
216
243
|
* Undefined = no directive (backward compatible).
|
|
217
244
|
*/
|
|
218
245
|
private readonly outputLanguage;
|
|
246
|
+
/** PRI-911A: ledger membership authority for the rule-assembly identity stamp; null = shape gate only. */
|
|
247
|
+
private readonly ledgerIdentity;
|
|
219
248
|
constructor(deps: EvaluatorRunnerDeps, options: EvaluatorRunnerOptions);
|
|
220
249
|
/**
|
|
221
250
|
* Returns true iff the evaluator→artificer repair loop feature flag is on.
|
|
@@ -431,19 +460,25 @@ export declare class EvaluatorRunner extends BasePeerRunner<EvaluatorContext, Ev
|
|
|
431
460
|
*/
|
|
432
461
|
private parseArtificerArtifact;
|
|
433
462
|
/**
|
|
434
|
-
*
|
|
435
|
-
*
|
|
436
|
-
*
|
|
437
|
-
* (
|
|
438
|
-
*
|
|
463
|
+
* PRI-911A — WRITER IDENTITY BOUNDARY (I1+I3): the principle id this runner
|
|
464
|
+
* may carry onto a rule artifact is the bearer artifact's
|
|
465
|
+
* `sourcePrincipleId` COLUMN, and only when it is a canonical ledger UUID
|
|
466
|
+
* (shape-gated by the single authority `canonicalLedgerPrincipleId`, plus a
|
|
467
|
+
* ledger membership check when the host injected one).
|
|
468
|
+
*
|
|
469
|
+
* The lenient chain this replaces (column → content.principleId →
|
|
470
|
+
* content.sourcePrincipleId → principleDraft.title) is exactly how the
|
|
471
|
+
* philosopher's natural-language title became a durable identity in
|
|
472
|
+
* `pi_artifacts.source_principle_id` (22 text-valued rows in the Phase 1
|
|
473
|
+
* audit). A title is display data: it still lives in contentJson, where the
|
|
474
|
+
* display surfaces' own lenient resolver reads it — dropping the fallback
|
|
475
|
+
* here removes a WRITE path, not a read capability.
|
|
439
476
|
*
|
|
440
|
-
*
|
|
441
|
-
*
|
|
442
|
-
*
|
|
443
|
-
* 3. parsed.sourcePrincipleId (contentJson)
|
|
444
|
-
* 4. parsed.principleDraft.title (contentJson — scribe output shape)
|
|
477
|
+
* Never re-add a content fallback (SPEC §6.2; writer inventory and the
|
|
478
|
+
* before/after flow live in
|
|
479
|
+
* `docs/audit/identity-writer-hardening.md`).
|
|
445
480
|
*/
|
|
446
|
-
private
|
|
481
|
+
private resolveRuleSourcePrincipleId;
|
|
447
482
|
/**
|
|
448
483
|
* Extract structurally-valid positive GoldenTraceCases from the Artificer
|
|
449
484
|
* goldenTraceCases array. Uses buildGoldenTraceFromArtificer (which re-
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"evaluator-runner.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/evaluator-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,KAAK,EACV,iBAAiB,EAEjB,kBAAkB,EAInB,MAAM,uBAAuB,CAAC;
|
|
1
|
+
{"version":3,"file":"evaluator-runner.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/evaluator-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,KAAK,EACV,iBAAiB,EAEjB,kBAAkB,EAInB,MAAM,uBAAuB,CAAC;AAQ/B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAkB,KAAK,eAAe,EAAqB,MAAM,wBAAwB,CAAC;AACjG,OAAO,EAAgJ,KAAK,aAAa,EAAqE,KAAK,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAQrS,OAAO,EAAmF,KAAK,yBAAyB,EAAE,KAAK,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAE3L,OAAO,KAAK,EAAE,gBAAgB,EAAqB,MAAM,wBAAwB,CAAC;AAClF,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AAClF,OAAO,EAAwB,KAAK,sBAAsB,EAAE,KAAK,oBAAoB,EAAE,KAAK,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAC5I,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,0BAA0B,EAC3B,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAG/D,OAAO,EAA+B,KAAK,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAsBvG,uFAAuF;AACvF,UAAU,gBAAgB;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE,aAAa,CAAC;IACjD,mEAAmE;IACnE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;IACxD;;;;;;OAMG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IAC7C;;;;;;;OAOG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC;CACrD;AAwJD,MAAM,MAAM,2BAA2B,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE7E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,2BAA2B,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC;IACzC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAID;;;;;;;;;GASG;AACH,MAAM,WAAW,sBAAuB,SAAQ,iBAAiB;IAC/D,QAAQ,CAAC,QAAQ,CAAC,EAAE,uBAAuB,CAAC;IAC5C;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,oBAAoB,CAAC;IAChD;;;;;OAKG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,4BAA4B,CAAC;IAC5D;;;OAGG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,iBAAiB,CAAC;CAC9C;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;CAC1C;AAED,eAAO,MAAM,gCAAgC,EAAE,QAAQ,CAAC,IAAI,CAAC,8BAA8B,EAAE,OAAO,GAAG,aAAa,CAAC,CAK3G,CAAC;AAEX,wBAAgB,6BAA6B,CAAC,OAAO,EAAE,sBAAsB,GAAG,8BAA8B,CAU7G;AAID;;;;;;;;;GASG;AACH,MAAM,WAAW,yBAAyB;IACxC,yEAAyE;IACzE,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,kEAAkE;IAClE,QAAQ,CAAC,0BAA0B,EAAE,SAAS,MAAM,EAAE,CAAC;IACvD,0DAA0D;IAC1D,QAAQ,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;IAClD,+FAA+F;IAC/F,QAAQ,CAAC,qBAAqB,CAAC,EAAE,oBAAoB,CAAC;IACtD,0DAA0D;IAC1D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,0BAA0B,EAAE,SAAS,WAAW,EAAE,CAAC;CAC7D;AAED,MAAM,WAAW,mBAAoB,SAAQ,cAAc;IACzD,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,OAAO,CAAC;IAC7C;;;;;;;;;OASG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE,CAAC,MAAM,EAAE,yBAAyB,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1F;;;;;;;OAOG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE;QACxB,QAAQ,CAAC,YAAY,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,OAAO,CAAC;KACzD,CAAC;CACH;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,0BAA0B,GAClC,kBAAkB,GAClB,wBAAwB,GACxB,kBAAkB,GAClB,oBAAoB,CAAC;AAIzB,qBAAa,eAAgB,SAAQ,cAAc,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;IACtF,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAC/C;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAiC;IAC1D;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAAyB;IACnE;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAkE;IACnG,sGAAsG;IACtG,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAC9D,8FAA8F;IAC9F,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAsC;IAC1E;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA6B;IAC5D,0GAA0G;IAC1G,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAqE;IAEpG,YAAY,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,sBAAsB,EAkBrE;IAED;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAO3B,IAAI,wBAAwB,IAAI,WAAW,CAAC,eAAe,CAAC,CAE3D;IAEK,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAmI5D;IAEK,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,SAAS,CAAC,CAajF;IAED;;;;OAIG;YACW,mBAAmB;IAUjC;;;;;;OAMG;YACW,yBAAyB;IAkGvC;;OAEG;YACW,oBAAoB;IAuC5B,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,0BAA0B,CAAC,CA8BpH;IAGK,WAAW,CACf,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,iBAAiB,EACzB,IAAI,EAAE,UAAU,EAChB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,CAgY9C;IAED;;;;;;;;;OASG;YACW,6BAA6B;IAkN3C;;;;;OAKG;IACH,OAAO,CAAC,MAAM,CAAC,kBAAkB;IA2BjC;;;;;;;;;;;;OAYG;YACW,6BAA6B;IAkB3C;;;;;;;;;;;;;;;;OAgBG;YACW,2BAA2B;IA8BzC;;;;OAIG;IAGH;;;;;OAKG;YACW,2BAA2B;IAmDzC;;;;OAIG;YACW,uBAAuB;IA6CrC,mEAAmE;YACrD,kCAAkC;IAmBhD;;;;;OAKG;IACH,UAAyB,wBAAwB,CAC/C,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,UAAU,GACrB,OAAO,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,GAAG,IAAI,CAAC,CA4IrD;IAED;;;OAGG;YACW,6BAA6B;IA2C3C;;;;;;;OAOG;YACW,oCAAoC;IAgHlD;;;;OAIG;YACW,mBAAmB;IAiCjC;;;;;;;;;;;;OAYG;IACH;;;;;;;;;;;;;;;;OAgBG;IACH;;;;;OAKG;YACW,oCAAoC;YAiBpC,sBAAsB;YAqEtB,wBAAwB;IA2OtC;;;;;;;OAOG;IACH,UAAmB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CAoBhH;IAED,UAAmB,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAKvF;IAED;;;OAGG;IACH,UAAmB,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CASpH;IAID;;;;;;;;;;;;;;;;;;OAkBG;YAEW,oBAAoB;IA+BlC;;;;;;;;OAQG;YAEW,0BAA0B;IAkPxC;;;OAGG;IAEH,OAAO,CAAC,sBAAsB;IAyB9B;;;;;;;;;;;;;;;;;;OAkBG;IACH,OAAO,CAAC,4BAA4B;IAkBpC;;;;;;OAMG;IAEH,OAAO,CAAC,oBAAoB;IAO5B;;;;;;;;;;;;;;;;;;;OAmBG;IACH,OAAO,CAAC,qBAAqB;IA0D7B;;;;;;;;;;;;;;;OAeG;IAEH,OAAO,CAAC,4BAA4B;IAmFpC;;;;;;;;;OASG;IAEH,OAAO,CAAC,cAAc;IA0DtB;;;;;;;;;;OAUG;YAEW,oBAAoB;IA2RlC;;;;;;;;;;OAUG;YACW,8BAA8B;IAmE5C;;;OAGG;IAEH,OAAO,CAAC,wBAAwB;IAwBhC,OAAO,CAAC,MAAM,CAAC,QAAQ;IAIvB;;;;;;;;;;;OAWG;YACW,oCAAoC;CA+BnD"}
|
|
@@ -1,4 +1,7 @@
|
|
|
1
1
|
import { isEvaluatorOutputV2 } from './evaluator-output.js';
|
|
2
|
+
// PRI-911A: the identity shape gate is the SAME authority the activation
|
|
3
|
+
// boundary uses (PR #1856) — never re-implement a UUID parser here.
|
|
4
|
+
import { canonicalLedgerPrincipleId } from '../activation/low-risk-writers.js';
|
|
2
5
|
// PRI-634 A2 (authority migration): gate necessity derives from the durable
|
|
3
6
|
// Artificer artifact, not from optional LLM output shape.
|
|
4
7
|
import { assessArtificerCodeBearing } from './artificer-code-bearing.js';
|
|
@@ -215,6 +218,8 @@ export class EvaluatorRunner extends BasePeerRunner {
|
|
|
215
218
|
* Undefined = no directive (backward compatible).
|
|
216
219
|
*/
|
|
217
220
|
outputLanguage;
|
|
221
|
+
/** PRI-911A: ledger membership authority for the rule-assembly identity stamp; null = shape gate only. */
|
|
222
|
+
ledgerIdentity;
|
|
218
223
|
constructor(deps, options) {
|
|
219
224
|
super(deps, options, {
|
|
220
225
|
runnerName: 'evaluator',
|
|
@@ -232,6 +237,7 @@ export class EvaluatorRunner extends BasePeerRunner {
|
|
|
232
237
|
this.hostToolCatalog = options.hostToolCatalog ?? null;
|
|
233
238
|
this.hostSemanticContext = options.hostSemanticContext ?? null;
|
|
234
239
|
this.outputLanguage = options.outputLanguage;
|
|
240
|
+
this.ledgerIdentity = deps.ledgerIdentity ?? null;
|
|
235
241
|
}
|
|
236
242
|
/**
|
|
237
243
|
* Returns true iff the evaluator→artificer repair loop feature flag is on.
|
|
@@ -2367,46 +2373,37 @@ export class EvaluatorRunner extends BasePeerRunner {
|
|
|
2367
2373
|
};
|
|
2368
2374
|
}
|
|
2369
2375
|
/**
|
|
2370
|
-
*
|
|
2371
|
-
*
|
|
2372
|
-
*
|
|
2373
|
-
* (
|
|
2374
|
-
*
|
|
2376
|
+
* PRI-911A — WRITER IDENTITY BOUNDARY (I1+I3): the principle id this runner
|
|
2377
|
+
* may carry onto a rule artifact is the bearer artifact's
|
|
2378
|
+
* `sourcePrincipleId` COLUMN, and only when it is a canonical ledger UUID
|
|
2379
|
+
* (shape-gated by the single authority `canonicalLedgerPrincipleId`, plus a
|
|
2380
|
+
* ledger membership check when the host injected one).
|
|
2375
2381
|
*
|
|
2376
|
-
*
|
|
2377
|
-
*
|
|
2378
|
-
*
|
|
2379
|
-
*
|
|
2380
|
-
*
|
|
2382
|
+
* The lenient chain this replaces (column → content.principleId →
|
|
2383
|
+
* content.sourcePrincipleId → principleDraft.title) is exactly how the
|
|
2384
|
+
* philosopher's natural-language title became a durable identity in
|
|
2385
|
+
* `pi_artifacts.source_principle_id` (22 text-valued rows in the Phase 1
|
|
2386
|
+
* audit). A title is display data: it still lives in contentJson, where the
|
|
2387
|
+
* display surfaces' own lenient resolver reads it — dropping the fallback
|
|
2388
|
+
* here removes a WRITE path, not a read capability.
|
|
2389
|
+
*
|
|
2390
|
+
* Never re-add a content fallback (SPEC §6.2; writer inventory and the
|
|
2391
|
+
* before/after flow live in
|
|
2392
|
+
* `docs/audit/identity-writer-hardening.md`).
|
|
2381
2393
|
*/
|
|
2382
|
-
|
|
2383
|
-
|
|
2384
|
-
|
|
2394
|
+
resolveRuleSourcePrincipleId(record) {
|
|
2395
|
+
const raw = record.sourcePrincipleId;
|
|
2396
|
+
if (typeof raw !== 'string' || raw.trim() === '') {
|
|
2397
|
+
return { ok: false, reason: 'missing_identity' };
|
|
2385
2398
|
}
|
|
2386
|
-
|
|
2387
|
-
|
|
2388
|
-
|
|
2389
|
-
return undefined;
|
|
2390
|
-
const { principleId } = parsed;
|
|
2391
|
-
if (typeof principleId === 'string' && principleId.trim() !== '') {
|
|
2392
|
-
return principleId.trim();
|
|
2393
|
-
}
|
|
2394
|
-
const { sourcePrincipleId } = parsed;
|
|
2395
|
-
if (typeof sourcePrincipleId === 'string' && sourcePrincipleId.trim() !== '') {
|
|
2396
|
-
return sourcePrincipleId.trim();
|
|
2397
|
-
}
|
|
2398
|
-
const { principleDraft } = parsed;
|
|
2399
|
-
if (EvaluatorRunner.isRecord(principleDraft)) {
|
|
2400
|
-
const { title } = principleDraft;
|
|
2401
|
-
if (typeof title === 'string' && title.trim() !== '') {
|
|
2402
|
-
return title.trim();
|
|
2403
|
-
}
|
|
2404
|
-
}
|
|
2399
|
+
const principleId = canonicalLedgerPrincipleId(raw);
|
|
2400
|
+
if (principleId === null) {
|
|
2401
|
+
return { ok: false, reason: 'non_canonical_identity' };
|
|
2405
2402
|
}
|
|
2406
|
-
|
|
2407
|
-
|
|
2403
|
+
if (this.ledgerIdentity && !this.ledgerIdentity.hasPrinciple(principleId)) {
|
|
2404
|
+
return { ok: false, reason: 'invalid_identity' };
|
|
2408
2405
|
}
|
|
2409
|
-
return
|
|
2406
|
+
return { ok: true, principleId };
|
|
2410
2407
|
}
|
|
2411
2408
|
/**
|
|
2412
2409
|
* Extract structurally-valid positive GoldenTraceCases from the Artificer
|
|
@@ -2714,10 +2711,16 @@ export class EvaluatorRunner extends BasePeerRunner {
|
|
|
2714
2711
|
: [];
|
|
2715
2712
|
// P1 #7 (cross-package acceptance test discovery): resolve the scribe
|
|
2716
2713
|
// principle artifact and carry forward its principle ID as
|
|
2717
|
-
// sourcePrincipleId on the rule artifact. Without this,
|
|
2718
|
-
// in the activation
|
|
2719
|
-
// activateArtifact() to fail with
|
|
2720
|
-
// The rule artifact must carry lineage
|
|
2714
|
+
// sourcePrincipleId on the rule artifact. Without this,
|
|
2715
|
+
// resolveActivationPrincipleId() in the activation boundary returns null for
|
|
2716
|
+
// rule artifacts, causing activateArtifact() to fail with
|
|
2717
|
+
// 'invalid_artifact'/'no_principle_id'. The rule artifact must carry lineage
|
|
2718
|
+
// to the principle it enforces.
|
|
2719
|
+
//
|
|
2720
|
+
// PRI-911A (I1+I3 writer boundary): carrying it forward is now a STAMP with
|
|
2721
|
+
// a verification obligation, not a text copy. An identity that cannot be
|
|
2722
|
+
// canonicalized is written as NULL and reported through
|
|
2723
|
+
// `identity_stamp_failed` (SPEC §6.4) — never guessed from display text.
|
|
2721
2724
|
//
|
|
2722
2725
|
// PRI-703 Phase 1: the same resolution deterministically forwards the
|
|
2723
2726
|
// principle's intent contract onto the rule artifact (single author of the
|
|
@@ -2725,6 +2728,7 @@ export class EvaluatorRunner extends BasePeerRunner {
|
|
|
2725
2728
|
// never re-derives it — no second source of truth). Resolved BEFORE the
|
|
2726
2729
|
// ruleContent build so the contract rides in the same contentJson write.
|
|
2727
2730
|
let resolvedSourcePrincipleId;
|
|
2731
|
+
let identityStampReason = null;
|
|
2728
2732
|
let forwardedIntentContract;
|
|
2729
2733
|
let bearerPrincipleContentJson;
|
|
2730
2734
|
try {
|
|
@@ -2733,7 +2737,18 @@ export class EvaluatorRunner extends BasePeerRunner {
|
|
|
2733
2737
|
const principleArtifact = await this.artifactStore.getArtifactById(principleBearerId);
|
|
2734
2738
|
if (principleArtifact) {
|
|
2735
2739
|
bearerPrincipleContentJson = principleArtifact.contentJson;
|
|
2736
|
-
|
|
2740
|
+
const stamp = this.resolveRuleSourcePrincipleId(principleArtifact);
|
|
2741
|
+
if (stamp.ok) {
|
|
2742
|
+
resolvedSourcePrincipleId = stamp.principleId;
|
|
2743
|
+
this.emitEvent('identity_stamp_success', taskId, {
|
|
2744
|
+
runId,
|
|
2745
|
+
principleId: stamp.principleId,
|
|
2746
|
+
bearerArtifactId: principleBearerId,
|
|
2747
|
+
});
|
|
2748
|
+
}
|
|
2749
|
+
else {
|
|
2750
|
+
identityStampReason = stamp.reason;
|
|
2751
|
+
}
|
|
2737
2752
|
let parsedPrincipleContent;
|
|
2738
2753
|
try {
|
|
2739
2754
|
parsedPrincipleContent = JSON.parse(principleArtifact.contentJson);
|
|
@@ -2763,7 +2778,24 @@ export class EvaluatorRunner extends BasePeerRunner {
|
|
|
2763
2778
|
nextAction: 'verify_scribe_artifact_lineage',
|
|
2764
2779
|
});
|
|
2765
2780
|
}
|
|
2766
|
-
if (
|
|
2781
|
+
if (identityStampReason !== null) {
|
|
2782
|
+
// I3 (SPEC §6.4): the bearer is there, but the identity it carries is not
|
|
2783
|
+
// a canonical ledger UUID. The writer refuses to GUESS — it writes the
|
|
2784
|
+
// rule with `source_principle_id` left NULL (the same design-legal state
|
|
2785
|
+
// as the 894 pre-existing NULL rows) and reports why.
|
|
2786
|
+
//
|
|
2787
|
+
// This deliberately does NOT abort rule assembly: PR #1856 established
|
|
2788
|
+
// that identity gaps are enforced at the PUBLICATION boundary (rule
|
|
2789
|
+
// preserved, no approval subject, no activation — see
|
|
2790
|
+
// `identity_binding_unverified`). Silently converting a wrong identity
|
|
2791
|
+
// into a lost candidate would widen this PR past the writer boundary.
|
|
2792
|
+
this.emitEvent('identity_stamp_failed', taskId, {
|
|
2793
|
+
runId,
|
|
2794
|
+
reason: identityStampReason,
|
|
2795
|
+
nextAction: 'verify_scribe_identity_stamp',
|
|
2796
|
+
});
|
|
2797
|
+
}
|
|
2798
|
+
else if (!resolvedSourcePrincipleId) {
|
|
2767
2799
|
this.emitEvent('rule_assembly_failed', taskId, {
|
|
2768
2800
|
runId,
|
|
2769
2801
|
reason: 'sourcePrincipleId_unresolved',
|