@principles/core 1.297.6 → 1.297.7

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.
@@ -0,0 +1,24 @@
1
+ export interface ShadowAssociationProposal {
2
+ mode: 'shadow';
3
+ recommendationRef: string;
4
+ status: 'proposed' | 'unresolved';
5
+ reason: string;
6
+ targetCandidateId?: string;
7
+ principleId?: string;
8
+ authorizesGeneration: false;
9
+ }
10
+ /** Offline/read-only composition. The callback must use the existing principle-only
11
+ * canonical resolver. Proposals are never production identity receipts. */
12
+ export declare function proposeShadowAssociations(output: unknown, context: unknown, sources: {
13
+ artifactId: string;
14
+ candidates: unknown;
15
+ resolvePrincipleCandidate: (candidateId: string) => unknown;
16
+ }): {
17
+ ok: true;
18
+ proposals: ShadowAssociationProposal[];
19
+ } | {
20
+ ok: false;
21
+ reason: string;
22
+ nextAction: string;
23
+ };
24
+ //# sourceMappingURL=diagnostician-association-shadow.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"diagnostician-association-shadow.d.ts","sourceRoot":"","sources":["../../src/runtime-v2/diagnostician-association-shadow.ts"],"names":[],"mappings":"AAYA,MAAM,WAAW,yBAAyB;IACxC,IAAI,EAAE,QAAQ,CAAC;IACf,iBAAiB,EAAE,MAAM,CAAC;IAC1B,MAAM,EAAE,UAAU,GAAG,YAAY,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,oBAAoB,EAAE,KAAK,CAAC;CAC7B;AAED;2EAC2E;AAC3E,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,OAAO,EACf,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAC;IAAC,yBAAyB,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,OAAO,CAAA;CAAE,GAChH;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,SAAS,EAAE,yBAAyB,EAAE,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CA0D1G"}
@@ -0,0 +1,84 @@
1
+ import { Type } from '@sinclair/typebox';
2
+ import { Value } from '@sinclair/typebox/value';
3
+ import { DiagnosticianOutputV2Schema, DiagnosticianRecommendationV2Schema } from './diagnostician-output.js';
4
+ import { validateDiagnosticianAssociations } from './diagnostician-association-validation.js';
5
+ import { isCanonicalBindingPrincipleId } from './principle-tree/rule-candidate-binding.js';
6
+ const CandidateRowsSchema = Type.Array(Type.Object({
7
+ candidateId: Type.String({ minLength: 1 }), artifactId: Type.String({ minLength: 1 }),
8
+ sourceRecommendation: DiagnosticianRecommendationV2Schema,
9
+ }, { additionalProperties: false }));
10
+ const IdentitySchema = Type.Object({ status: Type.Literal('resolved'), candidateId: Type.String({ minLength: 1 }), principleId: Type.String() });
11
+ /** Offline/read-only composition. The callback must use the existing principle-only
12
+ * canonical resolver. Proposals are never production identity receipts. */
13
+ export function proposeShadowAssociations(output, context, sources) {
14
+ const { artifactId, candidates, resolvePrincipleCandidate } = sources;
15
+ const validation = validateDiagnosticianAssociations(output, context);
16
+ if (!validation.ok)
17
+ return validation;
18
+ if (!Value.Check(DiagnosticianOutputV2Schema, output) || !Value.Check(CandidateRowsSchema, candidates) || artifactId.trim() === '') {
19
+ return { ok: false, reason: 'candidate_material_invalid', nextAction: 'Inspect persisted candidate rows and their source artifact.' };
20
+ }
21
+ const proposed = [];
22
+ for (const check of validation.checks) {
23
+ const result = { mode: 'shadow', recommendationRef: check.recommendationRef,
24
+ status: 'unresolved', reason: check.reason, authorizesGeneration: false };
25
+ if (check.status !== 'linked') {
26
+ proposed.push(result);
27
+ continue;
28
+ }
29
+ const rule = output.recommendations.find((item) => item.recommendationRef === check.recommendationRef);
30
+ if (rule?.kind !== 'rule' || rule.principleAssociation.status !== 'linked') {
31
+ proposed.push(result);
32
+ continue;
33
+ }
34
+ const ownRows = candidates.filter((row) => row.sourceRecommendation.recommendationRef === rule.recommendationRef);
35
+ const [ownRow] = ownRows;
36
+ if (ownRows.length !== 1 || ownRow === undefined || ownRow.artifactId !== artifactId || !Value.Equal(ownRow.sourceRecommendation, rule)) {
37
+ result.reason = 'candidate_mapping_invalid';
38
+ proposed.push(result);
39
+ continue;
40
+ }
41
+ const { target } = rule.principleAssociation;
42
+ if (target.type === 'canonical_principle') {
43
+ result.reason = 'trusted_context_producer_unavailable';
44
+ proposed.push(result);
45
+ continue;
46
+ }
47
+ const targetOutput = output.recommendations.find((item) => item.recommendationRef === target.recommendationRef);
48
+ const matching = candidates.filter((row) => {
49
+ return row.sourceRecommendation.recommendationRef === target.recommendationRef;
50
+ });
51
+ const [candidate] = matching;
52
+ if (matching.length !== 1 || candidate === undefined || candidate.artifactId !== artifactId
53
+ || targetOutput?.kind !== 'principle' || !Value.Equal(candidate.sourceRecommendation, targetOutput)) {
54
+ result.reason = 'candidate_mapping_invalid';
55
+ }
56
+ else {
57
+ result.targetCandidateId = candidate.candidateId;
58
+ let identity;
59
+ try {
60
+ identity = resolvePrincipleCandidate(candidate.candidateId);
61
+ }
62
+ catch {
63
+ result.reason = 'identity_source_unavailable';
64
+ proposed.push(result);
65
+ continue;
66
+ }
67
+ if (Value.Check(IdentitySchema, identity) && identity.candidateId === candidate.candidateId && isCanonicalBindingPrincipleId(identity.principleId)) {
68
+ result.status = 'proposed';
69
+ result.reason = 'canonical_identity_proposed';
70
+ result.principleId = identity.principleId;
71
+ }
72
+ else {
73
+ const failureSchema = Type.Object({ status: Type.Literal('unresolved'), reason: Type.Union([
74
+ Type.Literal('ledger_unavailable'), Type.Literal('ledger_corrupt'), Type.Literal('ambiguous'),
75
+ Type.Literal('conflicting_authorities'), Type.Literal('target_missing'), Type.Literal('target_ineligible'),
76
+ ]) });
77
+ result.reason = Value.Check(failureSchema, identity) ? identity.reason : 'related_candidate_unresolved';
78
+ }
79
+ }
80
+ proposed.push(result);
81
+ }
82
+ return { ok: true, proposals: proposed };
83
+ }
84
+ //# sourceMappingURL=diagnostician-association-shadow.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"diagnostician-association-shadow.js","sourceRoot":"","sources":["../../src/runtime-v2/diagnostician-association-shadow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EAAE,2BAA2B,EAAE,mCAAmC,EAAE,MAAM,2BAA2B,CAAC;AAC7G,OAAO,EAAE,iCAAiC,EAAE,MAAM,2CAA2C,CAAC;AAC9F,OAAO,EAAE,6BAA6B,EAAE,MAAM,4CAA4C,CAAC;AAE3F,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;IACjD,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrF,oBAAoB,EAAE,mCAAmC;CAC1D,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AACrC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAYjJ;2EAC2E;AAC3E,MAAM,UAAU,yBAAyB,CACvC,MAAe,EACf,OAAgB,EAChB,OAAiH;IAEjH,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,yBAAyB,EAAE,GAAG,OAAO,CAAC;IACtE,MAAM,UAAU,GAAG,iCAAiC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,CAAC,UAAU,CAAC,EAAE;QAAE,OAAO,UAAU,CAAC;IACtC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,UAAU,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnI,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,EAAE,UAAU,EAAE,6DAA6D,EAAE,CAAC;IACxI,CAAC;IACD,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,MAAM,GAA8B,EAAE,IAAI,EAAE,QAAQ,EAAE,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;YACpG,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC;QAC5E,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACnE,MAAM,IAAI,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,KAAK,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACvG,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,oBAAoB,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAChH,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,oBAAoB,CAAC,iBAAiB,KAAK,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAClH,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;QACzB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,UAAU,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,oBAAoB,EAAE,IAAI,CAAC,EAAE,CAAC;YACxI,MAAM,CAAC,MAAM,GAAG,2BAA2B,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACtB,SAAS;QACX,CAAC;QACD,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,oBAAoB,CAAC;QAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC1C,MAAM,CAAC,MAAM,GAAG,sCAAsC,CAAC;YACvD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACtB,SAAS;QACX,CAAC;QACD,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,KAAK,MAAM,CAAC,iBAAiB,CAAC,CAAC;QAChH,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YACzC,OAAO,GAAG,CAAC,oBAAoB,CAAC,iBAAiB,KAAK,MAAM,CAAC,iBAAiB,CAAC;QACjF,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,GAAG,QAAQ,CAAC;QAC7B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,UAAU,KAAK,UAAU;eACtF,YAAY,EAAE,IAAI,KAAK,WAAW,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,oBAAoB,EAAE,YAAY,CAAC,EAAE,CAAC;YACtG,MAAM,CAAC,MAAM,GAAG,2BAA2B,CAAC;QAC9C,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,iBAAiB,GAAG,SAAS,CAAC,WAAW,CAAC;YACjD,IAAI,QAAiB,CAAC;YACtB,IAAI,CAAC;gBAAC,QAAQ,GAAG,yBAAyB,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC;gBAC1E,MAAM,CAAC,MAAM,GAAG,6BAA6B,CAAC;gBAC9C,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACtB,SAAS;YACX,CAAC;YACD,IAAI,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,QAAQ,CAAC,IAAI,QAAQ,CAAC,WAAW,KAAK,SAAS,CAAC,WAAW,IAAI,6BAA6B,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBACnJ,MAAM,CAAC,MAAM,GAAG,UAAU,CAAC;gBAC3B,MAAM,CAAC,MAAM,GAAG,6BAA6B,CAAC;gBAC9C,MAAM,CAAC,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;YAC5C,CAAC;iBAAM,CAAC;gBACN,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;wBACzF,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;wBAC7F,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;qBAC3G,CAAC,EAAE,CAAC,CAAC;gBACN,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,8BAA8B,CAAC;YAC1G,CAAC;QACH,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAC3C,CAAC"}
@@ -0,0 +1,18 @@
1
+ export type AssociationCheck = {
2
+ recommendationRef: string;
3
+ status: 'linked' | 'unresolved';
4
+ reason: string;
5
+ };
6
+ export type AssociationValidation = {
7
+ ok: false;
8
+ reason: 'output_invalid' | 'context_invalid' | 'duplicate_recommendation_ref';
9
+ nextAction: string;
10
+ } | {
11
+ ok: true;
12
+ checks: AssociationCheck[];
13
+ semanticCorrectness: 'not_evaluated';
14
+ };
15
+ /** Checks reference integrity only. The caller must authenticate the persisted input context;
16
+ * a linked result does not authorize binding or prove the implements relationship. */
17
+ export declare function validateDiagnosticianAssociations(output: unknown, context: unknown): AssociationValidation;
18
+ //# sourceMappingURL=diagnostician-association-validation.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"diagnostician-association-validation.d.ts","sourceRoot":"","sources":["../../src/runtime-v2/diagnostician-association-validation.ts"],"names":[],"mappings":"AAUA,MAAM,MAAM,gBAAgB,GAAG;IAC7B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,MAAM,EAAE,QAAQ,GAAG,YAAY,CAAC;IAChC,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AACF,MAAM,MAAM,qBAAqB,GAC7B;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,gBAAgB,GAAG,iBAAiB,GAAG,8BAA8B,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAChH;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAAC,mBAAmB,EAAE,eAAe,CAAA;CAAE,CAAC;AAEnF;sFACsF;AACtF,wBAAgB,iCAAiC,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,qBAAqB,CA+B1G"}
@@ -0,0 +1,47 @@
1
+ import { Value } from '@sinclair/typebox/value';
2
+ import { Type } from '@sinclair/typebox';
3
+ import { isCanonicalBindingPrincipleId } from './principle-tree/rule-candidate-binding.js';
4
+ import { DiagnosticianOutputV2Schema } from './diagnostician-output.js';
5
+ const AssociationContextSchema = Type.Object({
6
+ principleIds: Type.Array(Type.String({ minLength: 1 }), { uniqueItems: true }),
7
+ evidenceRefs: Type.Array(Type.String({ minLength: 1 }), { uniqueItems: true }),
8
+ }, { additionalProperties: false });
9
+ /** Checks reference integrity only. The caller must authenticate the persisted input context;
10
+ * a linked result does not authorize binding or prove the implements relationship. */
11
+ export function validateDiagnosticianAssociations(output, context) {
12
+ if (!Value.Check(DiagnosticianOutputV2Schema, output)) {
13
+ return { ok: false, reason: 'output_invalid', nextAction: 'Inspect the V2 diagnosis schema errors before shadow analysis.' };
14
+ }
15
+ if (!Value.Check(AssociationContextSchema, context)) {
16
+ return { ok: false, reason: 'context_invalid', nextAction: 'Restore the verified input context; do not substitute the current Ledger.' };
17
+ }
18
+ const refs = new Map(output.recommendations.map((item) => [item.recommendationRef, item]));
19
+ if (refs.size !== output.recommendations.length) {
20
+ return { ok: false, reason: 'duplicate_recommendation_ref', nextAction: 'Keep the artifact for inspection; do not select the first duplicate.' };
21
+ }
22
+ const principles = new Set(context.principleIds);
23
+ const evidence = new Set(context.evidenceRefs);
24
+ const violated = new Set(output.violatedPrinciples.map((item) => item.principleId));
25
+ const checks = [];
26
+ for (const item of output.recommendations) {
27
+ if (item.kind !== 'rule')
28
+ continue;
29
+ const { principleAssociation: association } = item;
30
+ let reason;
31
+ if (association.status === 'unresolved')
32
+ ({ reason } = association);
33
+ else if (association.evidenceRefs.some((ref) => !evidence.has(ref)))
34
+ reason = 'evidence_not_in_context';
35
+ else if (association.target.type === 'recommendation_ref') {
36
+ const target = refs.get(association.target.recommendationRef);
37
+ reason = target?.kind === 'principle' ? 'references_valid' : 'recommendation_target_invalid';
38
+ }
39
+ else {
40
+ reason = isCanonicalBindingPrincipleId(association.target.principleId) && principles.has(association.target.principleId) && violated.has(association.target.principleId)
41
+ ? 'references_valid' : 'principle_not_in_context';
42
+ }
43
+ checks.push({ recommendationRef: item.recommendationRef, status: reason === 'references_valid' ? 'linked' : 'unresolved', reason });
44
+ }
45
+ return { ok: true, checks, semanticCorrectness: 'not_evaluated' };
46
+ }
47
+ //# sourceMappingURL=diagnostician-association-validation.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"diagnostician-association-validation.js","sourceRoot":"","sources":["../../src/runtime-v2/diagnostician-association-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAE,6BAA6B,EAAE,MAAM,4CAA4C,CAAC;AAC3F,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AAExE,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3C,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;IAC9E,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;CAC/E,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,CAAC;AAWpC;sFACsF;AACtF,MAAM,UAAU,iCAAiC,CAAC,MAAe,EAAE,OAAgB;IACjF,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,MAAM,CAAC,EAAE,CAAC;QACtD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,UAAU,EAAE,gEAAgE,EAAE,CAAC;IAC/H,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,wBAAwB,EAAE,OAAO,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,UAAU,EAAE,2EAA2E,EAAE,CAAC;IAC3I,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3F,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;QAChD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,8BAA8B,EAAE,UAAU,EAAE,sEAAsE,EAAE,CAAC;IACnJ,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IACpF,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACnC,MAAM,EAAE,oBAAoB,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;QACnD,IAAI,MAAc,CAAC;QACnB,IAAI,WAAW,CAAC,MAAM,KAAK,YAAY;YAAE,CAAC,EAAE,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC;aAC/D,IAAI,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAAE,MAAM,GAAG,yBAAyB,CAAC;aACnG,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;YAC9D,MAAM,GAAG,MAAM,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,+BAA+B,CAAC;QAC/F,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,6BAA6B,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC;gBACtK,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,0BAA0B,CAAC;QACtD,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE,MAAM,EAAE,MAAM,KAAK,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC;IACtI,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,mBAAmB,EAAE,eAAe,EAAE,CAAC;AACpE,CAAC"}
@@ -78,6 +78,129 @@ export declare const DiagnosticianOutputV1Schema: import("@sinclair/typebox").TO
78
78
  }>>;
79
79
  }>;
80
80
  export type DiagnosticianOutputV1 = Static<typeof DiagnosticianOutputV1Schema>;
81
+ export declare const PrincipleAssociationSchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
82
+ status: import("@sinclair/typebox").TLiteral<"linked">;
83
+ relation: import("@sinclair/typebox").TLiteral<"implements">;
84
+ target: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
85
+ type: import("@sinclair/typebox").TLiteral<"recommendation_ref">;
86
+ recommendationRef: import("@sinclair/typebox").TString;
87
+ }>, import("@sinclair/typebox").TObject<{
88
+ type: import("@sinclair/typebox").TLiteral<"canonical_principle">;
89
+ principleId: import("@sinclair/typebox").TString;
90
+ }>]>;
91
+ rationale: import("@sinclair/typebox").TString;
92
+ evidenceRefs: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
93
+ }>, import("@sinclair/typebox").TObject<{
94
+ status: import("@sinclair/typebox").TLiteral<"unresolved">;
95
+ reason: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"no_supported_target">, import("@sinclair/typebox").TLiteral<"ambiguous_target">, import("@sinclair/typebox").TLiteral<"insufficient_evidence">, import("@sinclair/typebox").TLiteral<"principle_not_in_context">]>;
96
+ candidateRecommendationRefs: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
97
+ }>]>;
98
+ export declare const DiagnosticianRecommendationV2Schema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
99
+ description: import("@sinclair/typebox").TString;
100
+ abstractedPrinciple: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
101
+ kind: import("@sinclair/typebox").TLiteral<"rule">;
102
+ recommendationRef: import("@sinclair/typebox").TString;
103
+ triggerPattern: import("@sinclair/typebox").TString;
104
+ action: import("@sinclair/typebox").TString;
105
+ principleAssociation: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
106
+ status: import("@sinclair/typebox").TLiteral<"linked">;
107
+ relation: import("@sinclair/typebox").TLiteral<"implements">;
108
+ target: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
109
+ type: import("@sinclair/typebox").TLiteral<"recommendation_ref">;
110
+ recommendationRef: import("@sinclair/typebox").TString;
111
+ }>, import("@sinclair/typebox").TObject<{
112
+ type: import("@sinclair/typebox").TLiteral<"canonical_principle">;
113
+ principleId: import("@sinclair/typebox").TString;
114
+ }>]>;
115
+ rationale: import("@sinclair/typebox").TString;
116
+ evidenceRefs: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
117
+ }>, import("@sinclair/typebox").TObject<{
118
+ status: import("@sinclair/typebox").TLiteral<"unresolved">;
119
+ reason: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"no_supported_target">, import("@sinclair/typebox").TLiteral<"ambiguous_target">, import("@sinclair/typebox").TLiteral<"insufficient_evidence">, import("@sinclair/typebox").TLiteral<"principle_not_in_context">]>;
120
+ candidateRecommendationRefs: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
121
+ }>]>;
122
+ }>, import("@sinclair/typebox").TObject<{
123
+ description: import("@sinclair/typebox").TString;
124
+ triggerPattern: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
125
+ action: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
126
+ abstractedPrinciple: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
127
+ kind: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"principle">, import("@sinclair/typebox").TLiteral<"implementation">, import("@sinclair/typebox").TLiteral<"prompt">, import("@sinclair/typebox").TLiteral<"defer">]>;
128
+ recommendationRef: import("@sinclair/typebox").TString;
129
+ }>]>;
130
+ export declare const DiagnosticianOutputV2Schema: import("@sinclair/typebox").TObject<{
131
+ valid: import("@sinclair/typebox").TBoolean;
132
+ diagnosisId: import("@sinclair/typebox").TString;
133
+ summary: import("@sinclair/typebox").TString;
134
+ rootCause: import("@sinclair/typebox").TString;
135
+ violatedPrinciples: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
136
+ principleId: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
137
+ title: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
138
+ rationale: import("@sinclair/typebox").TString;
139
+ }>>;
140
+ evidence: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
141
+ sourceRef: import("@sinclair/typebox").TString;
142
+ note: import("@sinclair/typebox").TString;
143
+ }>>;
144
+ confidence: import("@sinclair/typebox").TNumber;
145
+ ambiguityNotes: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
146
+ /**
147
+ * PRI-468: Optional intent tension passed through from Stage A.
148
+ *
149
+ * Present only when:
150
+ * 1. The `intent_engineering` flag is on, AND
151
+ * 2. Stage A emitted an intentTension, AND
152
+ * 3. Stage C additive passthrough copied it here.
153
+ *
154
+ * Stage C MUST NOT generate intentTension when Stage A omitted it
155
+ * (SPEC §18.2 — additive only, never generates).
156
+ *
157
+ * This field is additive — existing consumers that don't know about
158
+ * intentTension will ignore it (SPEC §18.3 — don't break downstream).
159
+ */
160
+ intentTension: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TObject<{
161
+ source: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"none">, import("@sinclair/typebox").TLiteral<"action_drift">, import("@sinclair/typebox").TLiteral<"intent_suspect">, import("@sinclair/typebox").TLiteral<"healthy_tension">]>;
162
+ evidenceStrength: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"weak">, import("@sinclair/typebox").TLiteral<"moderate">, import("@sinclair/typebox").TLiteral<"strong">]>;
163
+ relatedIntentFields: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"why">, import("@sinclair/typebox").TLiteral<"desired_outcome">, import("@sinclair/typebox").TLiteral<"non_negotiables">, import("@sinclair/typebox").TLiteral<"stop_escalation">, import("@sinclair/typebox").TLiteral<"current_strategic_focus">]>>;
164
+ evidence: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
165
+ explanation: import("@sinclair/typebox").TString;
166
+ suggestedOwnerAction: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"confirm_drift">, import("@sinclair/typebox").TLiteral<"revise_intent">, import("@sinclair/typebox").TLiteral<"observe">, import("@sinclair/typebox").TLiteral<"dismiss">, import("@sinclair/typebox").TLiteral<"promote_to_principle">, import("@sinclair/typebox").TLiteral<"promote_to_rulehost">]>;
167
+ intentDocHash: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
168
+ }>>;
169
+ schemaVersion: import("@sinclair/typebox").TLiteral<"diagnostician-output-v2">;
170
+ recommendations: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
171
+ description: import("@sinclair/typebox").TString;
172
+ abstractedPrinciple: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
173
+ kind: import("@sinclair/typebox").TLiteral<"rule">;
174
+ recommendationRef: import("@sinclair/typebox").TString;
175
+ triggerPattern: import("@sinclair/typebox").TString;
176
+ action: import("@sinclair/typebox").TString;
177
+ principleAssociation: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
178
+ status: import("@sinclair/typebox").TLiteral<"linked">;
179
+ relation: import("@sinclair/typebox").TLiteral<"implements">;
180
+ target: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TObject<{
181
+ type: import("@sinclair/typebox").TLiteral<"recommendation_ref">;
182
+ recommendationRef: import("@sinclair/typebox").TString;
183
+ }>, import("@sinclair/typebox").TObject<{
184
+ type: import("@sinclair/typebox").TLiteral<"canonical_principle">;
185
+ principleId: import("@sinclair/typebox").TString;
186
+ }>]>;
187
+ rationale: import("@sinclair/typebox").TString;
188
+ evidenceRefs: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
189
+ }>, import("@sinclair/typebox").TObject<{
190
+ status: import("@sinclair/typebox").TLiteral<"unresolved">;
191
+ reason: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"no_supported_target">, import("@sinclair/typebox").TLiteral<"ambiguous_target">, import("@sinclair/typebox").TLiteral<"insufficient_evidence">, import("@sinclair/typebox").TLiteral<"principle_not_in_context">]>;
192
+ candidateRecommendationRefs: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
193
+ }>]>;
194
+ }>, import("@sinclair/typebox").TObject<{
195
+ description: import("@sinclair/typebox").TString;
196
+ triggerPattern: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
197
+ action: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
198
+ abstractedPrinciple: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
199
+ kind: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"principle">, import("@sinclair/typebox").TLiteral<"implementation">, import("@sinclair/typebox").TLiteral<"prompt">, import("@sinclair/typebox").TLiteral<"defer">]>;
200
+ recommendationRef: import("@sinclair/typebox").TString;
201
+ }>]>>;
202
+ }>;
203
+ export type DiagnosticianOutputV2 = Static<typeof DiagnosticianOutputV2Schema>;
81
204
  /**
82
205
  * TypeBox schema for diagnostician invocation input.
83
206
  * The `context` field uses Type.Unknown() because cross-file TypeBox schema
@@ -1 +1 @@
1
- {"version":3,"file":"diagnostician-output.d.ts","sourceRoot":"","sources":["../../src/runtime-v2/diagnostician-output.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAC;AAKxE,eAAO,MAAM,oCAAoC;;;;EAI/C,CAAC;AAEH,MAAM,MAAM,8BAA8B,GAAG,MAAM,CAAC,OAAO,oCAAoC,CAAC,CAAC;AAEjG,eAAO,MAAM,2BAA2B;;;EAGtC,CAAC;AAEH,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAE/E,eAAO,MAAM,wBAAwB,8RAMnC,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAEzE,eAAO,MAAM,iCAAiC;;;;;;EAM5C,CAAC;AAEH,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAAC,OAAO,iCAAiC,CAAC,CAAC;AAE3F,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;IAgBtC;;;;;;;;;;;;;OAaG;;;;;;;;;;EAEH,CAAC;AAEH,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAI/E;;;;;GAKG;AACH,eAAO,MAAM,kCAAkC;;;;;;EAM7C,CAAC;AAEH,gHAAgH;AAChH,MAAM,WAAW,4BAA4B;IAC3C,6EAA6E;IAC7E,OAAO,EAAE,MAAM,CAAC;IAChB,gCAAgC;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,+CAA+C;IAC/C,OAAO,EAAE,2BAA2B,CAAC;IACrC,8CAA8C;IAC9C,eAAe,EAAE,yBAAyB,CAAC;IAC3C,mDAAmD;IACnD,SAAS,EAAE,MAAM,CAAC;CACnB"}
1
+ {"version":3,"file":"diagnostician-output.d.ts","sourceRoot":"","sources":["../../src/runtime-v2/diagnostician-output.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,sBAAsB,CAAC;AAKxE,eAAO,MAAM,oCAAoC;;;;EAI/C,CAAC;AAEH,MAAM,MAAM,8BAA8B,GAAG,MAAM,CAAC,OAAO,oCAAoC,CAAC,CAAC;AAEjG,eAAO,MAAM,2BAA2B;;;EAGtC,CAAC;AAEH,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAE/E,eAAO,MAAM,wBAAwB,8RAMnC,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAEzE,eAAO,MAAM,iCAAiC;;;;;;EAM5C,CAAC;AAEH,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAAC,OAAO,iCAAiC,CAAC,CAAC;AAE3F,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;IAgBtC;;;;;;;;;;;;;OAaG;;;;;;;;;;EAEH,CAAC;AAEH,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAG/E,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;IAmBrC,CAAC;AAEH,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAc9C,CAAC;AAEH,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;IAzDtC;;;;;;;;;;;;;OAaG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgD8B,CAAC;AAEpC,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAI/E;;;;;GAKG;AACH,eAAO,MAAM,kCAAkC;;;;;;EAM7C,CAAC;AAEH,gHAAgH;AAChH,MAAM,WAAW,4BAA4B;IAC3C,6EAA6E;IAC7E,OAAO,EAAE,MAAM,CAAC;IAChB,gCAAgC;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,+CAA+C;IAC/C,OAAO,EAAE,2BAA2B,CAAC;IACrC,8CAA8C;IAC9C,eAAe,EAAE,yBAAyB,CAAC;IAC3C,mDAAmD;IACnD,SAAS,EAAE,MAAM,CAAC;CACnB"}
@@ -65,6 +65,47 @@ export const DiagnosticianOutputV1Schema = Type.Object({
65
65
  */
66
66
  intentTension: Type.Optional(IntentTensionSchema),
67
67
  });
68
+ // Opt-in shadow contract. Existing generation and validation remain on V1.
69
+ export const PrincipleAssociationSchema = Type.Union([
70
+ Type.Object({
71
+ status: Type.Literal('linked'),
72
+ relation: Type.Literal('implements'),
73
+ target: Type.Union([
74
+ Type.Object({ type: Type.Literal('recommendation_ref'), recommendationRef: Type.String({ minLength: 1 }) }, { additionalProperties: false }),
75
+ Type.Object({ type: Type.Literal('canonical_principle'), principleId: Type.String({ minLength: 1 }) }, { additionalProperties: false }),
76
+ ]),
77
+ rationale: Type.String({ minLength: 1 }),
78
+ evidenceRefs: Type.Array(Type.String({ minLength: 1 }), { minItems: 1, uniqueItems: true }),
79
+ }, { additionalProperties: false }),
80
+ Type.Object({
81
+ status: Type.Literal('unresolved'),
82
+ reason: Type.Union([
83
+ Type.Literal('no_supported_target'), Type.Literal('ambiguous_target'),
84
+ Type.Literal('insufficient_evidence'), Type.Literal('principle_not_in_context'),
85
+ ]),
86
+ candidateRecommendationRefs: Type.Optional(Type.Array(Type.String({ minLength: 1 }), { uniqueItems: true })),
87
+ }, { additionalProperties: false }),
88
+ ]);
89
+ export const DiagnosticianRecommendationV2Schema = Type.Union([
90
+ Type.Object({
91
+ ...DiagnosticianRecommendationSchema.properties,
92
+ kind: Type.Literal('rule'),
93
+ recommendationRef: Type.String({ minLength: 1 }),
94
+ triggerPattern: Type.String({ minLength: 1 }),
95
+ action: Type.String({ minLength: 1 }),
96
+ principleAssociation: PrincipleAssociationSchema,
97
+ }, { additionalProperties: false }),
98
+ Type.Object({
99
+ ...DiagnosticianRecommendationSchema.properties,
100
+ kind: Type.Union([Type.Literal('principle'), Type.Literal('implementation'), Type.Literal('prompt'), Type.Literal('defer')]),
101
+ recommendationRef: Type.String({ minLength: 1 }),
102
+ }, { additionalProperties: false }),
103
+ ]);
104
+ export const DiagnosticianOutputV2Schema = Type.Object({
105
+ ...DiagnosticianOutputV1Schema.properties,
106
+ schemaVersion: Type.Literal('diagnostician-output-v2'),
107
+ recommendations: Type.Array(DiagnosticianRecommendationV2Schema, { minItems: 1 }),
108
+ }, { additionalProperties: false });
68
109
  // ── Diagnostician Invocation Input ──
69
110
  /**
70
111
  * TypeBox schema for diagnostician invocation input.
@@ -1 +1 @@
1
- {"version":3,"file":"diagnostician-output.js","sourceRoot":"","sources":["../../src/runtime-v2/diagnostician-output.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,IAAI,EAAe,MAAM,mBAAmB,CAAC;AAEtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAE/E,gCAAgC;AAEhC,MAAM,CAAC,MAAM,oCAAoC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9D,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IACzD,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;CACzC,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACxC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;CACpC,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC;IACjD,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IACpB,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAC9B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;CACtB,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,IAAI,EAAE,wBAAwB;IAC9B,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC1C,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,0EAA0E,EAAE,CAAC,CAAC;IACvI,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,oEAAoE,EAAE,CAAC,CAAC;IACzH,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,qFAAqF,EAAE,CAAC,CAAC;CACxJ,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;IACrB,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC1C,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACtC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,qGAAqG,EAAE,CAAC;IAC5J,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,oCAAoC,CAAC;IACpE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;IACjD,6EAA6E;IAC7E,qEAAqE;IACrE,2EAA2E;IAC3E,yEAAyE;IACzE,uEAAuE;IACvE,yEAAyE;IACzE,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC/E,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,+DAA+D,EAAE,CAAC;IACjI,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACxD;;;;;;;;;;;;;OAaG;IACH,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC;CAClD,CAAC,CAAC;AAIH,uCAAuC;AAEvC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5D,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACtC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,qDAAqD;IAC9E,eAAe,EAAE,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC;IACxD,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;CACvC,CAAC,CAAC"}
1
+ {"version":3,"file":"diagnostician-output.js","sourceRoot":"","sources":["../../src/runtime-v2/diagnostician-output.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,IAAI,EAAe,MAAM,mBAAmB,CAAC;AAEtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAE/E,gCAAgC;AAEhC,MAAM,CAAC,MAAM,oCAAoC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9D,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IACzD,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;CACzC,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACxC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;CACpC,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC;IACjD,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IACpB,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAC9B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;CACtB,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,IAAI,EAAE,wBAAwB;IAC9B,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC1C,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,0EAA0E,EAAE,CAAC,CAAC;IACvI,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,oEAAoE,EAAE,CAAC,CAAC;IACzH,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,qFAAqF,EAAE,CAAC,CAAC;CACxJ,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;IACrB,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC1C,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACtC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,qGAAqG,EAAE,CAAC;IAC5J,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,oCAAoC,CAAC;IACpE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;IACjD,6EAA6E;IAC7E,qEAAqE;IACrE,2EAA2E;IAC3E,yEAAyE;IACzE,uEAAuE;IACvE,yEAAyE;IACzE,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC/E,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,+DAA+D,EAAE,CAAC;IACjI,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACxD;;;;;;;;;;;;;OAaG;IACH,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC;CAClD,CAAC,CAAC;AAIH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,KAAK,CAAC;IACnD,IAAI,CAAC,MAAM,CAAC;QACV,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC9B,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;QACpC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;YACjB,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC;YAC5I,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC;SACxI,CAAC;QACF,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;QACxC,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;KAC5F,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC;QACV,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;QAClC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;YACjB,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;YACrE,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;SAChF,CAAC;QACF,2BAA2B,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;KAC7G,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC;CACpC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,KAAK,CAAC;IAC5D,IAAI,CAAC,MAAM,CAAC;QACV,GAAG,iCAAiC,CAAC,UAAU;QAC/C,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAC1B,iBAAiB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;QAChD,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;QACrC,oBAAoB,EAAE,0BAA0B;KACjD,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC;QACV,GAAG,iCAAiC,CAAC,UAAU;QAC/C,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5H,iBAAiB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;KACjD,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC;CACpC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,GAAG,2BAA2B,CAAC,UAAU;IACzC,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC;IACtD,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,mCAAmC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;CAClF,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,CAAC;AAIpC,uCAAuC;AAEvC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5D,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACtC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,qDAAqD;IAC9E,eAAe,EAAE,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC;IACxD,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;CACvC,CAAC,CAAC"}
@@ -44,6 +44,17 @@ interface DiagRouterContext {
44
44
  readonly rootCauseOutput: DiagRootCauseOutputV1;
45
45
  readonly distillerArtifactId: string;
46
46
  readonly distillerOutput: DiagDistillerOutputV1;
47
+ invocationEvidence?: {
48
+ taskId: string;
49
+ message: string;
50
+ systemPrompt: string;
51
+ messageDigest: string;
52
+ systemPromptDigest: string;
53
+ predecessorDigests: {
54
+ artifactId: string;
55
+ contentDigest: string;
56
+ }[];
57
+ };
47
58
  }
48
59
  export interface DiagRouterRunnerDeps extends PeerRunnerDeps {
49
60
  readonly committer: DiagnosticianCommitter;
@@ -70,7 +81,7 @@ export declare class DiagRouterRunner extends BasePeerRunner<DiagRouterContext,
70
81
  buildContext(taskId: string): Promise<DiagRouterContext>;
71
82
  invokeRuntime(taskId: string, context: DiagRouterContext): Promise<RunHandle>;
72
83
  validateOutput(output: unknown, taskId: string, _context: DiagRouterContext): Promise<PeerRunnerValidationResult>;
73
- succeedTask(taskId: string, runId: string, output: DiagnosticianOutputV1, task: TaskRecord, contextHash: string, _context: DiagRouterContext): Promise<PeerRunnerResult<DiagnosticianOutputV1>>;
84
+ succeedTask(taskId: string, runId: string, output: DiagnosticianOutputV1, task: TaskRecord, contextHash: string, context: DiagRouterContext): Promise<PeerRunnerResult<DiagnosticianOutputV1>>;
74
85
  /**
75
86
  * P0: Inject invariant fields from upstream artifacts into LLM output.
76
87
  * P2: Override rootCause/evidence/confidence if LLM generated inconsistent values.
@@ -1 +1 @@
1
- {"version":3,"file":"diag-router-runner.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/diag-router-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAExE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAEvF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAEvF,OAAO,KAAK,EAAE,sBAAsB,EAAgB,MAAM,4CAA4C,CAAC;AACvG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAKtE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,0BAA0B,EAC3B,MAAM,gCAAgC,CAAC;AAIxC,wFAAwF;AACxF,UAAU,iBAAiB;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,qBAAqB,CAAC;IAChD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,qBAAqB,CAAC;CACjD;AAWD,MAAM,WAAW,oBAAqB,SAAQ,cAAc;IAC1D,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;CAC5C;AAID,MAAM,WAAW,uBAAwB,SAAQ,iBAAiB;IAChE,kEAAkE;IAClE,QAAQ,CAAC,eAAe,CAAC,EAAE,iBAAiB,CAAC;CAC9C;AAID;;;;;;;;;GASG;AACH,qBAAa,gBAAiB,SAAQ,cAAc,CAAC,iBAAiB,EAAE,qBAAqB,CAAC;IAC5F,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAyB;IACnD,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAgC;IAEjE,YAAY,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,uBAAuB,EAevE;IAKD,IAAI,wBAAwB,IAAI,WAAW,CAAC,eAAe,CAAC,CAE3D;IAEK,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,CA8F7D;IAEK,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,SAAS,CAAC,CAuBlF;IAEK,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,iBAAiB,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAoBtH;IAGK,WAAW,CACf,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,qBAAqB,EAC7B,IAAI,EAAE,UAAU,EAChB,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,iBAAiB,GAC1B,OAAO,CAAC,gBAAgB,CAAC,qBAAqB,CAAC,CAAC,CAgIlD;IAID;;;;;;;;;;;OAWG;IACH,UAAmB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,GAAG,IAAI,CAyEhH;IAED,UAAmB,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,qBAAqB,EAAE,QAAQ,EAAE,iBAAiB,GAAG,IAAI,CASxH;CACF"}
1
+ {"version":3,"file":"diag-router-runner.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/diag-router-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAKH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAExE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAEvF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAEvF,OAAO,KAAK,EAAE,sBAAsB,EAAgB,MAAM,4CAA4C,CAAC;AACvG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAkB,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAKtE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,0BAA0B,EAC3B,MAAM,gCAAgC,CAAC;AAIxC,wFAAwF;AACxF,UAAU,iBAAiB;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,qBAAqB,CAAC;IAChD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,qBAAqB,CAAC;IAChD,kBAAkB,CAAC,EAAE;QACnB,MAAM,EAAE,MAAM,CAAC;QACf,OAAO,EAAE,MAAM,CAAC;QAChB,YAAY,EAAE,MAAM,CAAC;QACrB,aAAa,EAAE,MAAM,CAAC;QACtB,kBAAkB,EAAE,MAAM,CAAC;QAC3B,kBAAkB,EAAE;YAAE,UAAU,EAAE,MAAM,CAAC;YAAC,aAAa,EAAE,MAAM,CAAA;SAAE,EAAE,CAAC;KACrE,CAAC;CACH;AAWD,MAAM,WAAW,oBAAqB,SAAQ,cAAc;IAC1D,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;CAC5C;AAID,MAAM,WAAW,uBAAwB,SAAQ,iBAAiB;IAChE,kEAAkE;IAClE,QAAQ,CAAC,eAAe,CAAC,EAAE,iBAAiB,CAAC;CAC9C;AAID;;;;;;;;;GASG;AACH,qBAAa,gBAAiB,SAAQ,cAAc,CAAC,iBAAiB,EAAE,qBAAqB,CAAC;IAC5F,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAyB;IACnD,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAgC;IAEjE,YAAY,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,uBAAuB,EAevE;IAKD,IAAI,wBAAwB,IAAI,WAAW,CAAC,eAAe,CAAC,CAE3D;IAEK,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,CA8F7D;IAEK,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,SAAS,CAAC,CAoClF;IAEK,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,iBAAiB,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAoBtH;IAGK,WAAW,CACf,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,qBAAqB,EAC7B,IAAI,EAAE,UAAU,EAChB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,gBAAgB,CAAC,qBAAqB,CAAC,CAAC,CAiKlD;IAID;;;;;;;;;;;OAWG;IACH,UAAmB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,GAAG,IAAI,CAyEhH;IAED,UAAmB,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,qBAAqB,EAAE,QAAQ,EAAE,iBAAiB,GAAG,IAAI,CASxH;CACF"}
@@ -26,7 +26,9 @@
26
26
  * @see PRI-372
27
27
  * @see BasePeerRunner in runner/base-peer-runner.ts
28
28
  */
29
+ import { createHash } from 'node:crypto';
29
30
  import { Value } from '@sinclair/typebox/value';
31
+ import { verifyRouterContextReceipt } from './router-context-evidence.js';
30
32
  import { DiagnosticianOutputV1Schema } from '../diagnostician-output.js';
31
33
  import { DiagRootCauseOutputV1Schema } from '../diagnostician/diag-rootcause-output.js';
32
34
  import { DiagDistillerOutputV1Schema } from '../diagnostician/diag-distiller-output.js';
@@ -170,6 +172,19 @@ export class DiagRouterRunner extends BasePeerRunner {
170
172
  }, {
171
173
  outputLanguage: this.resolvedOptions.outputLanguage,
172
174
  });
175
+ // System-owned evidence from the exact message submitted, never model output.
176
+ // Router currently receives no trusted canonical Principle allowlist.
177
+ context.invocationEvidence = {
178
+ taskId,
179
+ message,
180
+ systemPrompt,
181
+ messageDigest: createHash('sha256').update(message).digest('hex'),
182
+ systemPromptDigest: createHash('sha256').update(systemPrompt).digest('hex'),
183
+ predecessorDigests: [
184
+ { artifactId: context.rootCauseArtifactId, contentDigest: createHash('sha256').update(JSON.stringify(context.rootCauseOutput)).digest('hex') },
185
+ { artifactId: context.distillerArtifactId, contentDigest: createHash('sha256').update(JSON.stringify(context.distillerOutput)).digest('hex') },
186
+ ],
187
+ };
173
188
  return this.runtimeAdapter.startRun({
174
189
  agentSpec: { agentId: this.resolvedOptions.agentId, schemaVersion: 'v1' },
175
190
  taskRef: { taskId },
@@ -201,7 +216,7 @@ export class DiagRouterRunner extends BasePeerRunner {
201
216
  };
202
217
  }
203
218
  // eslint-disable-next-line @typescript-eslint/max-params
204
- async succeedTask(taskId, runId, output, task, contextHash, _context) {
219
+ async succeedTask(taskId, runId, output, task, contextHash, context) {
205
220
  // 1. Store output before commit
206
221
  try {
207
222
  await this.stateManager.updateRunOutput(runId, JSON.stringify(output));
@@ -214,7 +229,40 @@ export class DiagRouterRunner extends BasePeerRunner {
214
229
  throw updateErr;
215
230
  }
216
231
  // 2. Commit via DiagnosticianCommitter (reuse existing committer — same as monolith)
217
- const routerContentJson = JSON.stringify(output);
232
+ const evidence = context.invocationEvidence;
233
+ if (!evidence || evidence.taskId !== taskId) {
234
+ throw new PDRuntimeError('input_invalid', 'Router invocation context evidence is missing or belongs to another task');
235
+ }
236
+ const routerContentJson = JSON.stringify({
237
+ ...output,
238
+ trustedContextReceipt: {
239
+ schemaVersion: 'router-context-v1',
240
+ taskId,
241
+ runId,
242
+ outputSchemaRef: 'diagnostician-output-v1',
243
+ contextHash,
244
+ messageDigest: evidence.messageDigest,
245
+ systemPromptDigest: evidence.systemPromptDigest,
246
+ predecessorDigests: evidence.predecessorDigests,
247
+ canonicalPrinciples: {
248
+ status: 'unavailable',
249
+ reason: 'router_has_no_system_canonical_principle_allowlist',
250
+ nextAction: 'Keep source association in shadow; provide a system-owned invocation allowlist before canonical association.',
251
+ },
252
+ },
253
+ });
254
+ // Check the persisted shape at the real write boundary.
255
+ const persistedEnvelope = JSON.parse(routerContentJson);
256
+ const receiptCheck = verifyRouterContextReceipt(persistedEnvelope, {
257
+ taskId, runId, contextHash, message: evidence.message, systemPrompt: evidence.systemPrompt,
258
+ predecessors: [
259
+ { artifactId: context.rootCauseArtifactId, content: context.rootCauseOutput },
260
+ { artifactId: context.distillerArtifactId, content: context.distillerOutput },
261
+ ],
262
+ });
263
+ if (receiptCheck.status !== 'available') {
264
+ throw new PDRuntimeError('input_invalid', 'Invalid router context receipt');
265
+ }
218
266
  let commitResult;
219
267
  try {
220
268
  commitResult = await this.committer.commit({
@@ -1 +1 @@
1
- {"version":3,"file":"diag-router-runner.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/diag-router-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAGhD,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,2CAA2C,CAAC;AAExF,OAAO,EAAE,2BAA2B,EAAE,MAAM,2CAA2C,CAAC;AAGxF,OAAO,EAAE,cAAc,EAAwB,MAAM,wBAAwB,CAAC;AAE9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,2CAA2C,CAAC;AAChF,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AACzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAwC/D,gFAAgF;AAEhF;;;;;;;;;GASG;AACH,MAAM,OAAO,gBAAiB,SAAQ,cAAwD;IAC3E,SAAS,CAAyB;IAClC,gBAAgB,CAAgC;IAEjE,YAAY,IAA0B,EAAE,OAAgC;QACtE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE;YACnB,UAAU,EAAE,aAAa;YACzB,gBAAgB,EAAE,aAAa;YAC/B,8DAA8D;YAC9D,uEAAuE;YACvE,8EAA8E;YAC9E,cAAc,EAAE,MAAM;YACtB,eAAe,EAAE,aAAa;YAC9B,0EAA0E;YAC1E,2DAA2D;YAC3D,eAAe,EAAE,OAAO,CAAC,eAAe;SACzC,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,gBAAgB,GAAG,IAAI,6BAA6B,EAAE,CAAC;IAC9D,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,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,mBAAmB,MAAM,8EAA8E,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAClK,CAAC;QAED,+CAA+C;QAC/C,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,UAAU,CACzC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAClE,CAAC;QAEF,6DAA6D;QAC7D,IAAI,mBAAuC,CAAC;QAC5C,IAAI,eAAkD,CAAC;QACvD,IAAI,mBAAuC,CAAC;QAC5C,IAAI,eAAkD,CAAC;QAEvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;gBAAE,SAAS;YACvD,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAExC,MAAM,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;YAChC,IAAI,CAAC,QAAQ;gBAAE,SAAS;YAExB,kFAAkF;YAClF,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACvD,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEvB,IAAI,OAAO,CAAC,QAAQ,KAAK,gBAAgB,IAAI,CAAC,mBAAmB,EAAE,CAAC;gBAClE,mBAAmB,GAAG,QAAQ,CAAC,UAAU,CAAC;gBAC1C,IAAI,eAAwB,CAAC;gBAC7B,IAAI,CAAC;oBACH,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;gBACrD,CAAC;gBAAC,MAAM,CAAC;oBACP,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,oEAAoE,KAAK,EAAE,CAAC,CAAC;gBACzH,CAAC;gBACD,yEAAyE;gBACzE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,eAAe,CAAC,EAAE,CAAC;oBAC/D,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,2BAA2B,EAAE,eAAe,CAAC,CAAC;yBAC3E,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;yBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;oBACzC,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,6EAA6E,KAAK,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACxJ,CAAC;gBACD,eAAe,GAAG,eAAe,CAAC;YACpC,CAAC;iBAAM,IAAI,OAAO,CAAC,QAAQ,KAAK,gBAAgB,IAAI,CAAC,mBAAmB,EAAE,CAAC;gBACzE,mBAAmB,GAAG,QAAQ,CAAC,UAAU,CAAC;gBAC1C,IAAI,eAAwB,CAAC;gBAC7B,IAAI,CAAC;oBACH,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;gBACrD,CAAC;gBAAC,MAAM,CAAC;oBACP,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,mEAAmE,KAAK,EAAE,CAAC,CAAC;gBACxH,CAAC;gBACD,yEAAyE;gBACzE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,eAAe,CAAC,EAAE,CAAC;oBAC/D,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,2BAA2B,EAAE,eAAe,CAAC,CAAC;yBAC3E,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;yBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;oBACzC,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,4EAA4E,KAAK,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACvJ,CAAC;gBACD,eAAe,GAAG,eAAe,CAAC;YACpC,CAAC;QACH,CAAC;QAED,IAAI,CAAC,mBAAmB,IAAI,CAAC,eAAe,EAAE,CAAC;YAC7C,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,oDAAoD,MAAM,EAAE,CAAC,CAAC;QAC1G,CAAC;QACD,IAAI,CAAC,mBAAmB,IAAI,CAAC,eAAe,EAAE,CAAC;YAC7C,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,mDAAmD,MAAM,EAAE,CAAC,CAAC;QACzG,CAAC;QAED,sBAAsB;QACtB,MAAM,WAAW,GAAa,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;QACzE,MAAM,WAAW,GAAG,cAAc,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;QAEhE,MAAM,OAAO,GAAsB;YACjC,WAAW;YACX,WAAW;YACX,mBAAmB;YACnB,eAAe;YACf,mBAAmB;YACnB,eAAe;SAChB,CAAC;QAEF,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,MAAc,EAAE,OAA0B;QAC5D,MAAM,OAAO,GAAG,IAAI,mBAAmB,EAAE,CAAC;QAC1C,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,WAAW,CACnD;YACE,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;YAChD,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;YAChD,eAAe,EAAE,OAAO,CAAC,eAAe;SACzC,EACD;YACE,cAAc,EAAE,IAAI,CAAC,eAAe,CAAC,cAAc;SACpD,CACF,CAAC;QAEF,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,yBAAyB;YAC1C,SAAS,EAAE,IAAI,CAAC,eAAe,CAAC,SAAS;YACzC,YAAY;SACb,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,MAAe,EAAE,MAAc,EAAE,QAA2B;QAC/E,+BAA+B;QAC/B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,MAAM,CAAC,EAAE,CAAC;YACtD,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,2BAA2B,EAAE,MAAM,CAAC,CAAC;iBACxE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;iBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACzC,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE,YAAY;gBACpB,aAAa,EAAE,gBAAgB;aAChC,CAAC;QACJ,CAAC;QAED,gEAAgE;QAChE,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACpE,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,MAA6B,EAC7B,IAAgB,EAChB,WAAmB,EACnB,QAA2B;QAE3B,gCAAgC;QAChC,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,qFAAqF;QACrF,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,YAA0B,CAAC;QAC/B,IAAI,CAAC;YACH,YAAY,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;gBACzC,KAAK;gBACL,MAAM;gBACN,MAAM;gBACN,cAAc,EAAE,GAAG,MAAM,IAAI,KAAK,EAAE;gBACpC,WAAW,EAAE,iBAAiB;aAC/B,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC,SAAS,CAAC,wBAAwB,EAAE,MAAM,EAAE;gBAC/C,MAAM;gBACN,KAAK;gBACL,aAAa,EAAE,SAAS,YAAY,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,wBAAwB;gBAClG,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,wEAAwE;QACxE,yEAAyE;QACzE,sEAAsE;QACtE,wEAAwE;QACxE,wEAAwE;QACxE,wDAAwD;QACxD,0EAA0E;QAC1E,6EAA6E;QAC7E,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;YACnE,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACrC,MAAM,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC;gBACtC,UAAU,EAAE,UAAU,MAAM,IAAI,KAAK,EAAE;gBACvC,YAAY,EAAE,WAAW;gBACzB,YAAY,EAAE,MAAM;gBACpB,kBAAkB,EAAE,aAAa,CAAC,GAAG;gBACrC,gBAAgB,EAAE,SAAS;gBAC3B,WAAW,EAAE,iBAAiB;gBAC9B,SAAS,EAAE,GAAG;gBACd,SAAS,EAAE,GAAG;aACf,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,UAAU,EAAE,CAAC;YACpB,IAAI,CAAC,SAAS,CAAC,uBAAuB,EAAE,MAAM,EAAE;gBAC9C,KAAK;gBACL,YAAY,EAAE,UAAU,YAAY,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;aACpF,CAAC,CAAC;YACH,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,MAAM;gBACN,IAAI;gBACJ,aAAa,EAAE,wBAAwB;gBACvC,aAAa,EAAE,iCAAiC,UAAU,YAAY,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;aACxH,CAAC,CAAC;QACL,CAAC;QAED,0DAA0D;QAC1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvD,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,IAAI,CAAC,SAAS,CAAC,sBAAsB,EAAE,MAAM,EAAE;gBAC7C,cAAc,EAAE,CAAC;gBACjB,QAAQ,EAAE,YAAY,CAAC,QAAQ;gBAC/B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,WAAW,EAAE,GAAG,CAAC,WAAW;gBAC5B,WAAW,EAAE,KAAK;aACnB,CAAC,CAAC;QACL,CAAC;QAED,2BAA2B;QAC3B,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,EAAE;YAC3C,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,UAAU,EAAE,YAAY,CAAC,UAAU;YACnC,cAAc,EAAE,YAAY,CAAC,cAAc;YAC3C,MAAM;YACN,KAAK;SACN,CAAC,CAAC;QAEH,yBAAyB;QACzB,MAAM,SAAS,GAAG,YAAY,YAAY,CAAC,QAAQ,EAAE,CAAC;QACtD,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,QAAQ,EAAE,YAAY,CAAC,QAAQ;gBAC/B,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,+CAA+C;QAC/C,MAAM,mBAAmB,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtE,MAAM,aAAa,GAA2B,EAAE,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,mBAAmB,EAAE,CAAC;YACvC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACvD,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,gBAAgB,EAAE,MAAM,EAAE;YACvC,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,SAAS;YACT,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,cAAc,EAAE,YAAY,CAAC,cAAc;YAC3C,2BAA2B,EAAE,aAAa;SAC3C,CAAC,CAAC;QAEH,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,MAAM;YACN,KAAK;YACL,UAAU,EAAE,YAAY,CAAC,UAAU;YACnC,SAAS;YACT,WAAW;YACX,MAAM;YACN,YAAY,EAAE,IAAI,CAAC,YAAY;SAChC,CAAC;IACJ,CAAC;IAED,8EAA8E;IAE9E;;;;;;;;;;;OAWG;IACgB,kBAAkB,CAAC,MAAc,EAAE,eAAwB,EAAE,OAA0B;QACxG,kDAAkD;QAClD,2BAA2B,CAAC,eAAe,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAE/D,sDAAsD;QACtD,IAAI,OAAO,eAAe,KAAK,QAAQ,IAAI,eAAe,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;YACvG,MAAM,MAAM,GAAG,eAA0C,CAAC;YAE1D,uEAAuE;YACvE,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC,SAAS,CAAC;YAC1D,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,SAAS,KAAK,eAAe,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC3E,wEAAwE;oBACxE,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,EAAE;wBAC3C,KAAK,EAAE,WAAW;wBAClB,MAAM,EAAE,6EAA6E;qBACtF,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM,CAAC,SAAS,GAAG,eAAe,CAAC;YACrC,CAAC;YAED,qBAAqB;YACrB,MAAM,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC;YACxD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;gBACjC,IAAI,MAAM,CAAC,QAAQ,KAAK,cAAc,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACxE,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,EAAE;wBAC3C,KAAK,EAAE,UAAU;wBACjB,MAAM,EAAE,4EAA4E;qBACrF,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM,CAAC,QAAQ,GAAG,cAAc,CAAC;YACnC,CAAC;YAED,wEAAwE;YACxE,MAAM,gBAAgB,GAAG,OAAO,CAAC,eAAe,CAAC,UAAU,CAAC;YAC5D,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;gBACnC,IAAI,MAAM,CAAC,UAAU,KAAK,gBAAgB,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC9E,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,EAAE;wBAC3C,KAAK,EAAE,YAAY;wBACnB,MAAM,EAAE,8EAA8E;qBACvF,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM,CAAC,UAAU,GAAG,gBAAgB,CAAC;YACvC,CAAC;YAED,oEAAoE;YACpE,EAAE;YACF,kEAAkE;YAClE,oEAAoE;YACpE,6DAA6D;YAC7D,wDAAwD;YACxD,MAAM,mBAAmB,GAAG,OAAO,CAAC,eAAe,CAAC,aAAa,CAAC;YAClE,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;gBACtC,6DAA6D;gBAC7D,qEAAqE;gBACrE,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;oBACvC,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,EAAE;wBAC3C,KAAK,EAAE,eAAe;wBACtB,MAAM,EAAE,uFAAuF;qBAChG,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM,CAAC,aAAa,GAAG,mBAAmB,CAAC;YAC7C,CAAC;YACD,iEAAiE;YACjE,2DAA2D;iBACtD,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;gBAC5C,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,EAAE;oBAC3C,KAAK,EAAE,eAAe;oBACtB,MAAM,EAAE,sHAAsH;iBAC/H,CAAC,CAAC;gBACH,OAAO,MAAM,CAAC,aAAa,CAAC;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IAEkB,oBAAoB,CAAC,MAAc,EAAE,MAA6B,EAAE,QAA2B;QAChH,MAAM,mBAAmB,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtE,MAAM,aAAa,GAA2B,EAAE,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,mBAAmB,EAAE,CAAC;YACvC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,kBAAkB,EAAE,MAAM,EAAE;YACzC,2BAA2B,EAAE,aAAa;SAC3C,CAAC,CAAC;IACL,CAAC;CACF"}
1
+ {"version":3,"file":"diag-router-runner.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/diag-router-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAG1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,2CAA2C,CAAC;AAExF,OAAO,EAAE,2BAA2B,EAAE,MAAM,2CAA2C,CAAC;AAGxF,OAAO,EAAE,cAAc,EAAwB,MAAM,wBAAwB,CAAC;AAE9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,2CAA2C,CAAC;AAChF,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AACzE,OAAO,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAgD/D,gFAAgF;AAEhF;;;;;;;;;GASG;AACH,MAAM,OAAO,gBAAiB,SAAQ,cAAwD;IAC3E,SAAS,CAAyB;IAClC,gBAAgB,CAAgC;IAEjE,YAAY,IAA0B,EAAE,OAAgC;QACtE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE;YACnB,UAAU,EAAE,aAAa;YACzB,gBAAgB,EAAE,aAAa;YAC/B,8DAA8D;YAC9D,uEAAuE;YACvE,8EAA8E;YAC9E,cAAc,EAAE,MAAM;YACtB,eAAe,EAAE,aAAa;YAC9B,0EAA0E;YAC1E,2DAA2D;YAC3D,eAAe,EAAE,OAAO,CAAC,eAAe;SACzC,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,gBAAgB,GAAG,IAAI,6BAA6B,EAAE,CAAC;IAC9D,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,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,mBAAmB,MAAM,8EAA8E,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAClK,CAAC;QAED,+CAA+C;QAC/C,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,UAAU,CACzC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAClE,CAAC;QAEF,6DAA6D;QAC7D,IAAI,mBAAuC,CAAC;QAC5C,IAAI,eAAkD,CAAC;QACvD,IAAI,mBAAuC,CAAC;QAC5C,IAAI,eAAkD,CAAC;QAEvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;gBAAE,SAAS;YACvD,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAExC,MAAM,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;YAChC,IAAI,CAAC,QAAQ;gBAAE,SAAS;YAExB,kFAAkF;YAClF,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACvD,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEvB,IAAI,OAAO,CAAC,QAAQ,KAAK,gBAAgB,IAAI,CAAC,mBAAmB,EAAE,CAAC;gBAClE,mBAAmB,GAAG,QAAQ,CAAC,UAAU,CAAC;gBAC1C,IAAI,eAAwB,CAAC;gBAC7B,IAAI,CAAC;oBACH,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;gBACrD,CAAC;gBAAC,MAAM,CAAC;oBACP,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,oEAAoE,KAAK,EAAE,CAAC,CAAC;gBACzH,CAAC;gBACD,yEAAyE;gBACzE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,eAAe,CAAC,EAAE,CAAC;oBAC/D,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,2BAA2B,EAAE,eAAe,CAAC,CAAC;yBAC3E,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;yBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;oBACzC,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,6EAA6E,KAAK,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACxJ,CAAC;gBACD,eAAe,GAAG,eAAe,CAAC;YACpC,CAAC;iBAAM,IAAI,OAAO,CAAC,QAAQ,KAAK,gBAAgB,IAAI,CAAC,mBAAmB,EAAE,CAAC;gBACzE,mBAAmB,GAAG,QAAQ,CAAC,UAAU,CAAC;gBAC1C,IAAI,eAAwB,CAAC;gBAC7B,IAAI,CAAC;oBACH,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;gBACrD,CAAC;gBAAC,MAAM,CAAC;oBACP,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,mEAAmE,KAAK,EAAE,CAAC,CAAC;gBACxH,CAAC;gBACD,yEAAyE;gBACzE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,eAAe,CAAC,EAAE,CAAC;oBAC/D,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,2BAA2B,EAAE,eAAe,CAAC,CAAC;yBAC3E,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;yBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;oBACzC,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,4EAA4E,KAAK,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACvJ,CAAC;gBACD,eAAe,GAAG,eAAe,CAAC;YACpC,CAAC;QACH,CAAC;QAED,IAAI,CAAC,mBAAmB,IAAI,CAAC,eAAe,EAAE,CAAC;YAC7C,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,oDAAoD,MAAM,EAAE,CAAC,CAAC;QAC1G,CAAC;QACD,IAAI,CAAC,mBAAmB,IAAI,CAAC,eAAe,EAAE,CAAC;YAC7C,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,mDAAmD,MAAM,EAAE,CAAC,CAAC;QACzG,CAAC;QAED,sBAAsB;QACtB,MAAM,WAAW,GAAa,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;QACzE,MAAM,WAAW,GAAG,cAAc,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;QAEhE,MAAM,OAAO,GAAsB;YACjC,WAAW;YACX,WAAW;YACX,mBAAmB;YACnB,eAAe;YACf,mBAAmB;YACnB,eAAe;SAChB,CAAC;QAEF,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,MAAc,EAAE,OAA0B;QAC5D,MAAM,OAAO,GAAG,IAAI,mBAAmB,EAAE,CAAC;QAC1C,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,WAAW,CACnD;YACE,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;YAChD,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,mBAAmB,EAAE,OAAO,CAAC,mBAAmB;YAChD,eAAe,EAAE,OAAO,CAAC,eAAe;SACzC,EACD;YACE,cAAc,EAAE,IAAI,CAAC,eAAe,CAAC,cAAc;SACpD,CACF,CAAC;QAEF,8EAA8E;QAC9E,sEAAsE;QACtE,OAAO,CAAC,kBAAkB,GAAG;YAC3B,MAAM;YACN,OAAO;YACP,YAAY;YACZ,aAAa,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YACjE,kBAAkB,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YAC3E,kBAAkB,EAAE;gBAClB,EAAE,UAAU,EAAE,OAAO,CAAC,mBAAmB,EAAE,aAAa,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBAC9I,EAAE,UAAU,EAAE,OAAO,CAAC,mBAAmB,EAAE,aAAa,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;aAC/I;SACF,CAAC;QACF,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,yBAAyB;YAC1C,SAAS,EAAE,IAAI,CAAC,eAAe,CAAC,SAAS;YACzC,YAAY;SACb,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,MAAe,EAAE,MAAc,EAAE,QAA2B;QAC/E,+BAA+B;QAC/B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,EAAE,MAAM,CAAC,EAAE,CAAC;YACtD,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,2BAA2B,EAAE,MAAM,CAAC,CAAC;iBACxE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;iBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACzC,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE,YAAY;gBACpB,aAAa,EAAE,gBAAgB;aAChC,CAAC;QACJ,CAAC;QAED,gEAAgE;QAChE,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACpE,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,MAA6B,EAC7B,IAAgB,EAChB,WAAmB,EACnB,OAA0B;QAE1B,gCAAgC;QAChC,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,qFAAqF;QACrF,MAAM,QAAQ,GAAG,OAAO,CAAC,kBAAkB,CAAC;QAC5C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC5C,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,0EAA0E,CAAC,CAAC;QACxH,CAAC;QACD,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAAC;YACvC,GAAG,MAAM;YACT,qBAAqB,EAAE;gBACrB,aAAa,EAAE,mBAAmB;gBAClC,MAAM;gBACN,KAAK;gBACL,eAAe,EAAE,yBAAyB;gBAC1C,WAAW;gBACX,aAAa,EAAE,QAAQ,CAAC,aAAa;gBACrC,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;gBAC/C,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;gBAC/C,mBAAmB,EAAE;oBACnB,MAAM,EAAE,aAAa;oBACrB,MAAM,EAAE,oDAAoD;oBAC5D,UAAU,EAAE,8GAA8G;iBAC3H;aACF;SACF,CAAC,CAAC;QACH,wDAAwD;QACxD,MAAM,iBAAiB,GAAY,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACjE,MAAM,YAAY,GAAG,0BAA0B,CAAC,iBAAiB,EAAE;YACjE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,YAAY;YAC1F,YAAY,EAAE;gBACZ,EAAE,UAAU,EAAE,OAAO,CAAC,mBAAmB,EAAE,OAAO,EAAE,OAAO,CAAC,eAAe,EAAE;gBAC7E,EAAE,UAAU,EAAE,OAAO,CAAC,mBAAmB,EAAE,OAAO,EAAE,OAAO,CAAC,eAAe,EAAE;aAC9E;SACF,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACxC,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,gCAAgC,CAAC,CAAC;QAC9E,CAAC;QACD,IAAI,YAA0B,CAAC;QAC/B,IAAI,CAAC;YACH,YAAY,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;gBACzC,KAAK;gBACL,MAAM;gBACN,MAAM;gBACN,cAAc,EAAE,GAAG,MAAM,IAAI,KAAK,EAAE;gBACpC,WAAW,EAAE,iBAAiB;aAC/B,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,SAAS,EAAE,CAAC;YACnB,IAAI,CAAC,SAAS,CAAC,wBAAwB,EAAE,MAAM,EAAE;gBAC/C,MAAM;gBACN,KAAK;gBACL,aAAa,EAAE,SAAS,YAAY,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,wBAAwB;gBAClG,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,wEAAwE;QACxE,yEAAyE;QACzE,sEAAsE;QACtE,wEAAwE;QACxE,wEAAwE;QACxE,wDAAwD;QACxD,0EAA0E;QAC1E,6EAA6E;QAC7E,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;YACnE,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACrC,MAAM,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC;gBACtC,UAAU,EAAE,UAAU,MAAM,IAAI,KAAK,EAAE;gBACvC,YAAY,EAAE,WAAW;gBACzB,YAAY,EAAE,MAAM;gBACpB,kBAAkB,EAAE,aAAa,CAAC,GAAG;gBACrC,gBAAgB,EAAE,SAAS;gBAC3B,WAAW,EAAE,iBAAiB;gBAC9B,SAAS,EAAE,GAAG;gBACd,SAAS,EAAE,GAAG;aACf,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,UAAU,EAAE,CAAC;YACpB,IAAI,CAAC,SAAS,CAAC,uBAAuB,EAAE,MAAM,EAAE;gBAC9C,KAAK;gBACL,YAAY,EAAE,UAAU,YAAY,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;aACpF,CAAC,CAAC;YACH,OAAO,IAAI,CAAC,WAAW,CAAC;gBACtB,MAAM;gBACN,IAAI;gBACJ,aAAa,EAAE,wBAAwB;gBACvC,aAAa,EAAE,iCAAiC,UAAU,YAAY,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE;aACxH,CAAC,CAAC;QACL,CAAC;QAED,0DAA0D;QAC1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvD,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,IAAI,CAAC,SAAS,CAAC,sBAAsB,EAAE,MAAM,EAAE;gBAC7C,cAAc,EAAE,CAAC;gBACjB,QAAQ,EAAE,YAAY,CAAC,QAAQ;gBAC/B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,WAAW,EAAE,GAAG,CAAC,WAAW;gBAC5B,WAAW,EAAE,KAAK;aACnB,CAAC,CAAC;QACL,CAAC;QAED,2BAA2B;QAC3B,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,EAAE;YAC3C,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,UAAU,EAAE,YAAY,CAAC,UAAU;YACnC,cAAc,EAAE,YAAY,CAAC,cAAc;YAC3C,MAAM;YACN,KAAK;SACN,CAAC,CAAC;QAEH,yBAAyB;QACzB,MAAM,SAAS,GAAG,YAAY,YAAY,CAAC,QAAQ,EAAE,CAAC;QACtD,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,QAAQ,EAAE,YAAY,CAAC,QAAQ;gBAC/B,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,+CAA+C;QAC/C,MAAM,mBAAmB,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtE,MAAM,aAAa,GAA2B,EAAE,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,mBAAmB,EAAE,CAAC;YACvC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACvD,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,gBAAgB,EAAE,MAAM,EAAE;YACvC,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,SAAS;YACT,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,cAAc,EAAE,YAAY,CAAC,cAAc;YAC3C,2BAA2B,EAAE,aAAa;SAC3C,CAAC,CAAC;QAEH,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,MAAM;YACN,KAAK;YACL,UAAU,EAAE,YAAY,CAAC,UAAU;YACnC,SAAS;YACT,WAAW;YACX,MAAM;YACN,YAAY,EAAE,IAAI,CAAC,YAAY;SAChC,CAAC;IACJ,CAAC;IAED,8EAA8E;IAE9E;;;;;;;;;;;OAWG;IACgB,kBAAkB,CAAC,MAAc,EAAE,eAAwB,EAAE,OAA0B;QACxG,kDAAkD;QAClD,2BAA2B,CAAC,eAAe,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAE/D,sDAAsD;QACtD,IAAI,OAAO,eAAe,KAAK,QAAQ,IAAI,eAAe,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;YACvG,MAAM,MAAM,GAAG,eAA0C,CAAC;YAE1D,uEAAuE;YACvE,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC,SAAS,CAAC;YAC1D,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,SAAS,KAAK,eAAe,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC3E,wEAAwE;oBACxE,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,EAAE;wBAC3C,KAAK,EAAE,WAAW;wBAClB,MAAM,EAAE,6EAA6E;qBACtF,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM,CAAC,SAAS,GAAG,eAAe,CAAC;YACrC,CAAC;YAED,qBAAqB;YACrB,MAAM,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC;YACxD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;gBACjC,IAAI,MAAM,CAAC,QAAQ,KAAK,cAAc,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;oBACxE,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,EAAE;wBAC3C,KAAK,EAAE,UAAU;wBACjB,MAAM,EAAE,4EAA4E;qBACrF,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM,CAAC,QAAQ,GAAG,cAAc,CAAC;YACnC,CAAC;YAED,wEAAwE;YACxE,MAAM,gBAAgB,GAAG,OAAO,CAAC,eAAe,CAAC,UAAU,CAAC;YAC5D,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;gBACnC,IAAI,MAAM,CAAC,UAAU,KAAK,gBAAgB,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC9E,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,EAAE;wBAC3C,KAAK,EAAE,YAAY;wBACnB,MAAM,EAAE,8EAA8E;qBACvF,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM,CAAC,UAAU,GAAG,gBAAgB,CAAC;YACvC,CAAC;YAED,oEAAoE;YACpE,EAAE;YACF,kEAAkE;YAClE,oEAAoE;YACpE,6DAA6D;YAC7D,wDAAwD;YACxD,MAAM,mBAAmB,GAAG,OAAO,CAAC,eAAe,CAAC,aAAa,CAAC;YAClE,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;gBACtC,6DAA6D;gBAC7D,qEAAqE;gBACrE,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;oBACvC,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,EAAE;wBAC3C,KAAK,EAAE,eAAe;wBACtB,MAAM,EAAE,uFAAuF;qBAChG,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM,CAAC,aAAa,GAAG,mBAAmB,CAAC;YAC7C,CAAC;YACD,iEAAiE;YACjE,2DAA2D;iBACtD,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;gBAC5C,IAAI,CAAC,SAAS,CAAC,oBAAoB,EAAE,MAAM,EAAE;oBAC3C,KAAK,EAAE,eAAe;oBACtB,MAAM,EAAE,sHAAsH;iBAC/H,CAAC,CAAC;gBACH,OAAO,MAAM,CAAC,aAAa,CAAC;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IAEkB,oBAAoB,CAAC,MAAc,EAAE,MAA6B,EAAE,QAA2B;QAChH,MAAM,mBAAmB,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtE,MAAM,aAAa,GAA2B,EAAE,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,mBAAmB,EAAE,CAAC;YACvC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,kBAAkB,EAAE,MAAM,EAAE;YACzC,2BAA2B,EAAE,aAAa;SAC3C,CAAC,CAAC;IACL,CAAC;CACF"}
@@ -0,0 +1,45 @@
1
+ import { type Static } from '@sinclair/typebox';
2
+ export declare const RouterContextReceiptSchema: import("@sinclair/typebox").TObject<{
3
+ schemaVersion: import("@sinclair/typebox").TLiteral<"router-context-v1">;
4
+ taskId: import("@sinclair/typebox").TString;
5
+ runId: import("@sinclair/typebox").TString;
6
+ outputSchemaRef: import("@sinclair/typebox").TLiteral<"diagnostician-output-v1">;
7
+ contextHash: import("@sinclair/typebox").TString;
8
+ messageDigest: import("@sinclair/typebox").TString;
9
+ systemPromptDigest: import("@sinclair/typebox").TString;
10
+ predecessorDigests: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
11
+ artifactId: import("@sinclair/typebox").TString;
12
+ contentDigest: import("@sinclair/typebox").TString;
13
+ }>>;
14
+ canonicalPrinciples: import("@sinclair/typebox").TObject<{
15
+ status: import("@sinclair/typebox").TLiteral<"unavailable">;
16
+ reason: import("@sinclair/typebox").TLiteral<"router_has_no_system_canonical_principle_allowlist">;
17
+ nextAction: import("@sinclair/typebox").TString;
18
+ }>;
19
+ }>;
20
+ export type RouterContextReceipt = Static<typeof RouterContextReceiptSchema>;
21
+ /** Read only a system-produced artifact envelope, never a model response. */
22
+ export declare function readRouterContextReceipt(envelope: unknown, expected: {
23
+ taskId: string;
24
+ runId: string;
25
+ }): {
26
+ status: 'available';
27
+ receipt: RouterContextReceipt;
28
+ } | {
29
+ status: 'unavailable';
30
+ reason: string;
31
+ nextAction: string;
32
+ };
33
+ /** Re-verify reconstructed system input after restart; current Ledger is not input evidence. */
34
+ export declare function verifyRouterContextReceipt(envelope: unknown, expected: {
35
+ taskId: string;
36
+ runId: string;
37
+ contextHash: string;
38
+ message: string;
39
+ systemPrompt: string;
40
+ predecessors: {
41
+ artifactId: string;
42
+ content: unknown;
43
+ }[];
44
+ }): ReturnType<typeof readRouterContextReceipt>;
45
+ //# sourceMappingURL=router-context-evidence.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"router-context-evidence.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/router-context-evidence.ts"],"names":[],"mappings":"AACA,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAItD,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;EAgBrC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE7E,6EAA6E;AAC7E,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,OAAO,EACjB,QAAQ,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC1C;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,oBAAoB,CAAA;CAAE,GAAG;IAAE,MAAM,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAQxH;AAED,gGAAgG;AAChG,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,OAAO,EACjB,QAAQ,EAAE;IACR,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAC1F,YAAY,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;CAC1D,GACA,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAkB7C"}
@@ -0,0 +1,64 @@
1
+ import { createHash } from 'node:crypto';
2
+ import { Type } from '@sinclair/typebox';
3
+ import { Value } from '@sinclair/typebox/value';
4
+ const DigestSchema = Type.String({ pattern: '^[a-f0-9]{64}$' });
5
+ export const RouterContextReceiptSchema = Type.Object({
6
+ schemaVersion: Type.Literal('router-context-v1'),
7
+ taskId: Type.String({ minLength: 1 }),
8
+ runId: Type.String({ minLength: 1 }),
9
+ outputSchemaRef: Type.Literal('diagnostician-output-v1'),
10
+ contextHash: Type.String({ minLength: 1 }),
11
+ messageDigest: DigestSchema,
12
+ systemPromptDigest: DigestSchema,
13
+ predecessorDigests: Type.Array(Type.Object({
14
+ artifactId: Type.String({ minLength: 1 }), contentDigest: DigestSchema,
15
+ }), { minItems: 2, maxItems: 2 }),
16
+ canonicalPrinciples: Type.Object({
17
+ status: Type.Literal('unavailable'),
18
+ reason: Type.Literal('router_has_no_system_canonical_principle_allowlist'),
19
+ nextAction: Type.String({ minLength: 1 }),
20
+ }),
21
+ });
22
+ /** Read only a system-produced artifact envelope, never a model response. */
23
+ export function readRouterContextReceipt(envelope, expected) {
24
+ const invalid = (reason) => ({ status: 'unavailable', reason, nextAction: 'Inspect the immutable router artifact and its task/run lineage; do not infer a canonical allowlist.' });
25
+ if (envelope === null || typeof envelope !== 'object' || Array.isArray(envelope)
26
+ || !Object.hasOwn(envelope, 'trustedContextReceipt'))
27
+ return invalid('context_receipt_missing');
28
+ const receipt = Reflect.get(envelope, 'trustedContextReceipt');
29
+ if (!Value.Check(RouterContextReceiptSchema, receipt))
30
+ return invalid('context_receipt_invalid');
31
+ if (receipt.taskId !== expected.taskId || receipt.runId !== expected.runId)
32
+ return invalid('context_receipt_lineage_mismatch');
33
+ return { status: 'available', receipt };
34
+ }
35
+ /** Re-verify reconstructed system input after restart; current Ledger is not input evidence. */
36
+ export function verifyRouterContextReceipt(envelope, expected) {
37
+ const result = readRouterContextReceipt(envelope, expected);
38
+ if (result.status !== 'available')
39
+ return result;
40
+ const hash = (text) => createHash('sha256').update(text).digest('hex');
41
+ const mismatch = () => ({ status: 'unavailable', reason: 'context_receipt_source_mismatch', nextAction: 'Reload the original system input and predecessor artifacts; keep canonical association unavailable.' });
42
+ if (result.receipt.contextHash !== expected.contextHash
43
+ || result.receipt.messageDigest !== hash(expected.message)
44
+ || result.receipt.systemPromptDigest !== hash(expected.systemPrompt)
45
+ || expected.predecessors.length !== result.receipt.predecessorDigests.length)
46
+ return mismatch();
47
+ const ids = new Set(expected.predecessors.map((source) => source.artifactId));
48
+ if (ids.size !== expected.predecessors.length)
49
+ return mismatch();
50
+ for (const source of expected.predecessors) {
51
+ const digest = result.receipt.predecessorDigests.find((entry) => entry.artifactId === source.artifactId);
52
+ let content;
53
+ try {
54
+ content = JSON.stringify(source.content);
55
+ }
56
+ catch {
57
+ return mismatch();
58
+ }
59
+ if (!digest || content === undefined || digest.contentDigest !== hash(content))
60
+ return mismatch();
61
+ }
62
+ return result;
63
+ }
64
+ //# sourceMappingURL=router-context-evidence.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"router-context-evidence.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/router-context-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,IAAI,EAAe,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAEhD,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC;AAChE,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IAChD,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACpC,eAAe,EAAE,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC;IACxD,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC1C,aAAa,EAAE,YAAY;IAC3B,kBAAkB,EAAE,YAAY;IAChC,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;QACzC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,aAAa,EAAE,YAAY;KACvE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACjC,mBAAmB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC/B,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;QACnC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,oDAAoD,CAAC;QAC1E,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;KAC1C,CAAC;CACH,CAAC,CAAC;AAGH,6EAA6E;AAC7E,MAAM,UAAU,wBAAwB,CACtC,QAAiB,EACjB,QAA2C;IAE3C,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,aAAsB,EAAE,MAAM,EAAE,UAAU,EAAE,qGAAqG,EAAE,CAAC,CAAC;IACpM,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;WAC3E,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,uBAAuB,CAAC;QAAE,OAAO,OAAO,CAAC,yBAAyB,CAAC,CAAC;IAClG,MAAM,OAAO,GAAY,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC;IACxE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,0BAA0B,EAAE,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC,yBAAyB,CAAC,CAAC;IACjG,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;QAAE,OAAO,OAAO,CAAC,kCAAkC,CAAC,CAAC;IAC/H,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;AAC1C,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,0BAA0B,CACxC,QAAiB,EACjB,QAGC;IAED,MAAM,MAAM,GAAG,wBAAwB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC5D,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;QAAE,OAAO,MAAM,CAAC;IACjD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,aAAsB,EAAE,MAAM,EAAE,iCAAiC,EAAE,UAAU,EAAE,qGAAqG,EAAE,CAAC,CAAC;IAC1N,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;WAClD,MAAM,CAAC,OAAO,CAAC,aAAa,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;WACvD,MAAM,CAAC,OAAO,CAAC,kBAAkB,KAAK,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC;WACjE,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM;QAAE,OAAO,QAAQ,EAAE,CAAC;IAClG,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9E,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,YAAY,CAAC,MAAM;QAAE,OAAO,QAAQ,EAAE,CAAC;IACjE,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU,CAAC,CAAC;QACzG,IAAI,OAA2B,CAAC;QAChC,IAAI,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,QAAQ,EAAE,CAAC;QAAC,CAAC;QAC9E,IAAI,CAAC,MAAM,IAAI,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,QAAQ,EAAE,CAAC;IACpG,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@principles/core",
3
- "version": "1.297.6",
3
+ "version": "1.297.7",
4
4
  "description": "Pure-logic core of Principles Disciple, an AI Agent Governance System - pain signal capture and principle proposal (no I/O)",
5
5
  "type": "module",
6
6
  "main": "./dist/index.js",