@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.
- package/dist/runtime-v2/diagnostician-association-shadow.d.ts +24 -0
- package/dist/runtime-v2/diagnostician-association-shadow.d.ts.map +1 -0
- package/dist/runtime-v2/diagnostician-association-shadow.js +84 -0
- package/dist/runtime-v2/diagnostician-association-shadow.js.map +1 -0
- package/dist/runtime-v2/diagnostician-association-validation.d.ts +18 -0
- package/dist/runtime-v2/diagnostician-association-validation.d.ts.map +1 -0
- package/dist/runtime-v2/diagnostician-association-validation.js +47 -0
- package/dist/runtime-v2/diagnostician-association-validation.js.map +1 -0
- package/dist/runtime-v2/diagnostician-output.d.ts +123 -0
- package/dist/runtime-v2/diagnostician-output.d.ts.map +1 -1
- package/dist/runtime-v2/diagnostician-output.js +41 -0
- package/dist/runtime-v2/diagnostician-output.js.map +1 -1
- package/dist/runtime-v2/internalization/diag-router-runner.d.ts +12 -1
- package/dist/runtime-v2/internalization/diag-router-runner.d.ts.map +1 -1
- package/dist/runtime-v2/internalization/diag-router-runner.js +50 -2
- package/dist/runtime-v2/internalization/diag-router-runner.js.map +1 -1
- package/dist/runtime-v2/internalization/router-context-evidence.d.ts +45 -0
- package/dist/runtime-v2/internalization/router-context-evidence.d.ts.map +1 -0
- package/dist/runtime-v2/internalization/router-context-evidence.js +64 -0
- package/dist/runtime-v2/internalization/router-context-evidence.js.map +1 -0
- package/package.json +1 -1
|
@@ -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,
|
|
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;
|
|
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,
|
|
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
|
|
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.
|
|
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",
|