create-principles-disciple 1.130.2 → 1.130.3
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/console/dist/server/models/ActivationsConsoleModel.js +16 -2
- package/console/dist/server/models/ApprovalsConsoleModel.js +25 -1
- package/core/dist/runtime-v2/__tests__/replay-production-parity.test.d.ts +13 -0
- package/core/dist/runtime-v2/__tests__/replay-production-parity.test.d.ts.map +1 -0
- package/core/dist/runtime-v2/__tests__/replay-production-parity.test.js +133 -0
- package/core/dist/runtime-v2/__tests__/replay-production-parity.test.js.map +1 -0
- package/core/dist/runtime-v2/activation/__tests__/activation-dispatcher.test.js +36 -0
- package/core/dist/runtime-v2/activation/__tests__/activation-dispatcher.test.js.map +1 -1
- package/core/dist/runtime-v2/activation/activation-dispatcher.d.ts.map +1 -1
- package/core/dist/runtime-v2/activation/activation-dispatcher.js +4 -0
- package/core/dist/runtime-v2/activation/activation-dispatcher.js.map +1 -1
- package/core/dist/runtime-v2/activation/activation-types.d.ts +11 -1
- package/core/dist/runtime-v2/activation/activation-types.d.ts.map +1 -1
- package/core/dist/runtime-v2/activation/activation-types.js.map +1 -1
- package/core/dist/runtime-v2/activation/production-gate-deps.d.ts +18 -1
- package/core/dist/runtime-v2/activation/production-gate-deps.d.ts.map +1 -1
- package/core/dist/runtime-v2/activation/production-gate-deps.js +5 -1
- package/core/dist/runtime-v2/activation/production-gate-deps.js.map +1 -1
- package/core/dist/runtime-v2/activation/writers/rule-host-writer.d.ts +18 -0
- package/core/dist/runtime-v2/activation/writers/rule-host-writer.d.ts.map +1 -1
- package/core/dist/runtime-v2/activation/writers/rule-host-writer.js +36 -1
- package/core/dist/runtime-v2/activation/writers/rule-host-writer.js.map +1 -1
- package/core/dist/runtime-v2/golden-trace-replay-validator.d.ts +8 -0
- package/core/dist/runtime-v2/golden-trace-replay-validator.d.ts.map +1 -1
- package/core/dist/runtime-v2/golden-trace-replay-validator.js +9 -3
- package/core/dist/runtime-v2/golden-trace-replay-validator.js.map +1 -1
- package/core/dist/runtime-v2/golden-trace.d.ts +9 -0
- package/core/dist/runtime-v2/golden-trace.d.ts.map +1 -1
- package/core/dist/runtime-v2/golden-trace.js +7 -1
- package/core/dist/runtime-v2/golden-trace.js.map +1 -1
- package/core/dist/runtime-v2/index.d.ts +5 -1
- package/core/dist/runtime-v2/index.d.ts.map +1 -1
- package/core/dist/runtime-v2/index.js +3 -1
- package/core/dist/runtime-v2/index.js.map +1 -1
- package/core/dist/runtime-v2/internalization/__tests__/rule-reliability-validation.test.d.ts +12 -0
- package/core/dist/runtime-v2/internalization/__tests__/rule-reliability-validation.test.d.ts.map +1 -0
- package/core/dist/runtime-v2/internalization/__tests__/rule-reliability-validation.test.js +256 -0
- package/core/dist/runtime-v2/internalization/__tests__/rule-reliability-validation.test.js.map +1 -0
- package/core/dist/runtime-v2/internalization/__tests__/tool-semantic-registry.test.d.ts +11 -0
- package/core/dist/runtime-v2/internalization/__tests__/tool-semantic-registry.test.d.ts.map +1 -0
- package/core/dist/runtime-v2/internalization/__tests__/tool-semantic-registry.test.js +133 -0
- package/core/dist/runtime-v2/internalization/__tests__/tool-semantic-registry.test.js.map +1 -0
- package/core/dist/runtime-v2/internalization/evaluator-output.d.ts +10 -0
- package/core/dist/runtime-v2/internalization/evaluator-output.d.ts.map +1 -1
- package/core/dist/runtime-v2/internalization/evaluator-output.js.map +1 -1
- package/core/dist/runtime-v2/internalization/evaluator-runner.d.ts.map +1 -1
- package/core/dist/runtime-v2/internalization/evaluator-runner.js +4 -0
- package/core/dist/runtime-v2/internalization/evaluator-runner.js.map +1 -1
- package/core/dist/runtime-v2/internalization/index.d.ts +5 -1
- package/core/dist/runtime-v2/internalization/index.d.ts.map +1 -1
- package/core/dist/runtime-v2/internalization/index.js +3 -1
- package/core/dist/runtime-v2/internalization/index.js.map +1 -1
- package/core/dist/runtime-v2/internalization/refiner-rulehost-gate.d.ts +21 -0
- package/core/dist/runtime-v2/internalization/refiner-rulehost-gate.d.ts.map +1 -1
- package/core/dist/runtime-v2/internalization/refiner-rulehost-gate.js +30 -9
- package/core/dist/runtime-v2/internalization/refiner-rulehost-gate.js.map +1 -1
- package/core/dist/runtime-v2/internalization/refiner-sandbox-wrapper.d.ts +18 -0
- package/core/dist/runtime-v2/internalization/refiner-sandbox-wrapper.d.ts.map +1 -1
- package/core/dist/runtime-v2/internalization/refiner-sandbox-wrapper.js +11 -3
- package/core/dist/runtime-v2/internalization/refiner-sandbox-wrapper.js.map +1 -1
- package/core/dist/runtime-v2/internalization/rule-context-v2.d.ts.map +1 -1
- package/core/dist/runtime-v2/internalization/rule-context-v2.js +6 -26
- package/core/dist/runtime-v2/internalization/rule-context-v2.js.map +1 -1
- package/core/dist/runtime-v2/internalization/rule-host-contracts.d.ts +10 -1
- package/core/dist/runtime-v2/internalization/rule-host-contracts.d.ts.map +1 -1
- package/core/dist/runtime-v2/internalization/rule-host-input-builder.d.ts +21 -0
- package/core/dist/runtime-v2/internalization/rule-host-input-builder.d.ts.map +1 -1
- package/core/dist/runtime-v2/internalization/rule-host-input-builder.js +28 -1
- package/core/dist/runtime-v2/internalization/rule-host-input-builder.js.map +1 -1
- package/core/dist/runtime-v2/internalization/rule-reliability-validation.d.ts +67 -0
- package/core/dist/runtime-v2/internalization/rule-reliability-validation.d.ts.map +1 -0
- package/core/dist/runtime-v2/internalization/rule-reliability-validation.js +178 -0
- package/core/dist/runtime-v2/internalization/rule-reliability-validation.js.map +1 -0
- package/core/dist/runtime-v2/internalization/tool-semantic-baseline.d.ts +26 -0
- package/core/dist/runtime-v2/internalization/tool-semantic-baseline.d.ts.map +1 -0
- package/core/dist/runtime-v2/internalization/tool-semantic-baseline.js +57 -0
- package/core/dist/runtime-v2/internalization/tool-semantic-baseline.js.map +1 -0
- package/core/dist/runtime-v2/internalization/tool-semantic-registry.d.ts +76 -0
- package/core/dist/runtime-v2/internalization/tool-semantic-registry.d.ts.map +1 -0
- package/core/dist/runtime-v2/internalization/tool-semantic-registry.js +113 -0
- package/core/dist/runtime-v2/internalization/tool-semantic-registry.js.map +1 -0
- package/core/package.json +1 -1
- package/host-runtime/dist/host-tool-declaration.d.ts +57 -0
- package/host-runtime/dist/host-tool-declaration.js +161 -0
- package/host-runtime/dist/host-tool-semantic-resolver.d.ts +47 -0
- package/host-runtime/dist/host-tool-semantic-resolver.js +73 -0
- package/host-runtime/dist/index.d.ts +5 -1
- package/host-runtime/dist/index.js +5 -0
- package/host-runtime/dist/internalization-consumer-cycle.d.ts +9 -0
- package/host-runtime/dist/internalization-consumer-cycle.js +9 -3
- package/host-runtime/dist/internalization-consumer-governance.d.ts +9 -3
- package/host-runtime/dist/internalization-consumer-governance.js +13 -5
- package/host-runtime/dist/production-rulehost-gate.d.ts +10 -0
- package/host-runtime/dist/production-rulehost-gate.js +11 -4
- package/host-runtime/package.json +1 -1
- package/package.json +2 -2
- package/pd-cli/dist/commands/rulecode.d.ts +11 -0
- package/pd-cli/dist/commands/rulecode.d.ts.map +1 -1
- package/pd-cli/dist/commands/rulecode.js +4 -1
- package/pd-cli/dist/commands/rulecode.js.map +1 -1
- package/pd-cli/dist/commands/runtime-activation.d.ts.map +1 -1
- package/pd-cli/dist/commands/runtime-activation.js +83 -3
- package/pd-cli/dist/commands/runtime-activation.js.map +1 -1
- package/pd-cli/dist/services/workspace-tool-semantics.d.ts +19 -0
- package/pd-cli/dist/services/workspace-tool-semantics.d.ts.map +1 -0
- package/pd-cli/dist/services/workspace-tool-semantics.js +20 -0
- package/pd-cli/dist/services/workspace-tool-semantics.js.map +1 -0
- package/pd-cli/package.json +1 -1
- package/plugin/dist/bundle.js +450 -450
- package/plugin/dist/constants/tool-semantics.d.ts +36 -0
- package/plugin/dist/governance-audit.js +143 -143
- package/plugin/dist/rulehost-evidence.js +162 -162
- package/plugin/openclaw.plugin.json +1 -1
- package/plugin/package.json +1 -1
|
@@ -20,6 +20,23 @@
|
|
|
20
20
|
* - ERR-005: Module exports validated with typeof checks, not `as`
|
|
21
21
|
*/
|
|
22
22
|
import type { RefinerRuleHostGateDeps } from '../internalization/refiner-rulehost-gate.js';
|
|
23
|
+
import type { ToolSemanticRegistry } from '../internalization/tool-semantic-registry.js';
|
|
24
|
+
export interface ProductionGateDepsOptions {
|
|
25
|
+
/**
|
|
26
|
+
* PRI-634-F Phase 2: the ToolSemanticRegistry the constructing host resolves
|
|
27
|
+
* tool semantics with (baseline-only when omitted). Threaded into sandbox
|
|
28
|
+
* replay so golden-trace synthetic inputs derive canonicalKind + extraction
|
|
29
|
+
* hints identically to the production gate — replay/production input parity.
|
|
30
|
+
*/
|
|
31
|
+
toolSemantics?: ToolSemanticRegistry;
|
|
32
|
+
/**
|
|
33
|
+
* PRI-634-F Phase 2: workspace root the production gate normalizes paths
|
|
34
|
+
* against. Used as the replay normalization default so callers that don't
|
|
35
|
+
* thread a per-call projectDir still replay with production-identical
|
|
36
|
+
* normalizedPath values.
|
|
37
|
+
*/
|
|
38
|
+
projectDir?: string;
|
|
39
|
+
}
|
|
23
40
|
/**
|
|
24
41
|
* Create a production-grade RefinerRuleHostGateDeps that compiles rule code
|
|
25
42
|
* using node:vm and evaluates it against golden traces.
|
|
@@ -28,5 +45,5 @@ import type { RefinerRuleHostGateDeps } from '../internalization/refiner-rulehos
|
|
|
28
45
|
* the demo-only createSandboxGateDeps() in pd-cli and makes the gateDeps
|
|
29
46
|
* available to all packages that depend on @principles/core.
|
|
30
47
|
*/
|
|
31
|
-
export declare function createProductionGateDeps(): RefinerRuleHostGateDeps;
|
|
48
|
+
export declare function createProductionGateDeps(options?: ProductionGateDepsOptions): RefinerRuleHostGateDeps;
|
|
32
49
|
//# sourceMappingURL=production-gate-deps.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"production-gate-deps.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/activation/production-gate-deps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAOH,OAAO,KAAK,EACV,uBAAuB,EACxB,MAAM,6CAA6C,CAAC;
|
|
1
|
+
{"version":3,"file":"production-gate-deps.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/activation/production-gate-deps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAOH,OAAO,KAAK,EACV,uBAAuB,EACxB,MAAM,6CAA6C,CAAC;AAErD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8CAA8C,CAAC;AA8FzF,MAAM,WAAW,yBAAyB;IACxC;;;;;OAKG;IACH,aAAa,CAAC,EAAE,oBAAoB,CAAC;IACrC;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,GAAE,yBAA8B,GAAG,uBAAuB,CAwFzG"}
|
|
@@ -100,7 +100,7 @@ function compileRuleCode(code, sourceLabel) {
|
|
|
100
100
|
* the demo-only createSandboxGateDeps() in pd-cli and makes the gateDeps
|
|
101
101
|
* available to all packages that depend on @principles/core.
|
|
102
102
|
*/
|
|
103
|
-
export function createProductionGateDeps() {
|
|
103
|
+
export function createProductionGateDeps(options = {}) {
|
|
104
104
|
return {
|
|
105
105
|
evaluateInSandbox: (code, goldenTrace, opts) => {
|
|
106
106
|
const startTime = Date.now();
|
|
@@ -173,6 +173,10 @@ export function createProductionGateDeps() {
|
|
|
173
173
|
return evaluateInRefinerSandbox(code, goldenTrace, {
|
|
174
174
|
evaluateCode,
|
|
175
175
|
...opts,
|
|
176
|
+
// PRI-634-F: caller-supplied opts take precedence; the factory default
|
|
177
|
+
// fills the registry/root when the gate caller passed none (legacy callers).
|
|
178
|
+
toolSemantics: opts?.toolSemantics ?? options.toolSemantics,
|
|
179
|
+
projectDir: opts?.projectDir ?? options.projectDir,
|
|
176
180
|
});
|
|
177
181
|
},
|
|
178
182
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"production-gate-deps.js","sourceRoot":"","sources":["../../../src/runtime-v2/activation/production-gate-deps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;
|
|
1
|
+
{"version":3,"file":"production-gate-deps.js","sourceRoot":"","sources":["../../../src/runtime-v2/activation/production-gate-deps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAU9B,OAAO,EAAE,wBAAwB,EAAE,MAAM,+CAA+C,CAAC;AACzF,OAAO,EAAE,sBAAsB,EAAE,kCAAkC,EAAE,0BAA0B,EAAE,MAAM,2CAA2C,CAAC;AACnJ,OAAO,EAAE,sBAAsB,EAAE,MAAM,2CAA2C,CAAC;AACnF,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAErE;;;;;;;GAOG;AACH,SAAS,qBAAqB,CAAC,KAAc;IAC3C,OAAO,sBAAsB,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC;AAC7C,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CAAC,UAAkB;IACzC,MAAM,cAAc,GAAG,UAAU;SAC9B,OAAO,CAAC,2BAA2B,EAAE,cAAc,CAAC;SACpD,OAAO,CAAC,mCAAmC,EAAE,oBAAoB,CAAC,CAAC;IAEtE,OAAO,GAAG,cAAc;;;;GAIvB,CAAC;AACJ,CAAC;AAOD;;;GAGG;AACH,SAAS,uBAAuB,CAAC,KAAc;IAC7C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC;AACrD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CAAC,IAAY,EAAE,WAAmB;IACxD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,IAAI,WAAW,sCAAsC,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,IAAI,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;IAE/E,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAErE,8EAA8E;IAC9E,MAAM,oBAAoB,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACpE,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;IAElD,IAAI,CAAC,uBAAuB,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,IAAI,WAAW,2CAA2C,CAAC,CAAC;IAC9E,CAAC;IAED,MAAM,UAAU,GAAG,oBAAoB,CAAC,QAAQ,CAAC;IACjD,IAAI,OAAO,UAAU,KAAK,UAAU,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,IAAI,WAAW,4CAA4C,CAC5D,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,KAAoB,EAAE,OAAwB,EAAkB,EAAE;QACxE,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAY,CAAC;QACjF,0EAA0E;QAC1E,mEAAmE;QACnE,2DAA2D;QAC3D,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,MAAM,EAAE,MAAM,EAAE,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;YAClD,MAAM,IAAI,KAAK,CACb,IAAI,WAAW,gDAAgD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAC3L,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;AACJ,CAAC;AAmBD;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CAAC,OAAO,GAA8B,EAAE;IAC9E,OAAO;QACL,iBAAiB,EAAE,CACjB,IAAY,EACZ,WAAwB,EACxB,IAA4B,EACN,EAAE;YACxB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAE7B,oEAAoE;YACpE,4EAA4E;YAC5E,0EAA0E;YAC1E,uEAAuE;YACvE,oEAAoE;YACpE,2BAA2B;YAC3B,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;YACzD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACnC,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,EAAE;oBACf,eAAe,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;oBACvC,0BAA0B,EAAE,mBAAmB;iBAChD,CAAC;YACJ,CAAC;YAED,wEAAwE;YACxE,uEAAuE;YACvE,qEAAqE;YACrE,oEAAoE;YACpE,MAAM,qBAAqB,GAAG,kCAAkC,CAAC,IAAI,CAAC,CAAC;YACvE,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrC,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,qBAAqB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;wBAC/C,MAAM,EAAE,kBAAkB;wBAC1B,SAAS,EAAE,mBAA4B;wBACvC,OAAO,EAAE,GAAG;qBACb,CAAC,CAAC;oBACH,eAAe,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;oBACvC,0BAA0B,EAAE,EAAE;iBAC/B,CAAC;YACJ,CAAC;YAED,gEAAgE;YAChE,qEAAqE;YACrE,sEAAsE;YACtE,mDAAmD;YACnD,MAAM,sBAAsB,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;YAChE,IAAI,sBAAsB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,sBAAsB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;wBAChD,MAAM,EAAE,4BAA4B;wBACpC,SAAS,EAAE,mBAA4B;wBACvC,OAAO,EAAE,GAAG;qBACb,CAAC,CAAC;oBACH,eAAe,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;oBACvC,0BAA0B,EAAE,EAAE;iBAC/B,CAAC;YACJ,CAAC;YAED,IAAI,YAA8B,CAAC;YACnC,IAAI,CAAC;gBACH,YAAY,GAAG,eAAe,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;YAC/D,CAAC;YAAC,OAAO,GAAY,EAAE,CAAC;gBACtB,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACjE,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,CAAC;4BACZ,MAAM,EAAE,aAAa;4BACrB,SAAS,EAAE,cAAc;4BACzB,OAAO;yBACR,CAAC;oBACF,eAAe,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;oBACvC,0BAA0B,EAAE,EAAE;iBAC/B,CAAC;YACJ,CAAC;YAED,OAAO,wBAAwB,CAAC,IAAI,EAAE,WAAW,EAAE;gBACjD,YAAY;gBACZ,GAAG,IAAI;gBACP,uEAAuE;gBACvE,6EAA6E;gBAC7E,aAAa,EAAE,IAAI,EAAE,aAAa,IAAI,OAAO,CAAC,aAAa;gBAC3D,UAAU,EAAE,IAAI,EAAE,UAAU,IAAI,OAAO,CAAC,UAAU;aACnD,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC"}
|
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
import type { PIArtifactSnapshot, CanActivateResult, ChannelWriter, WriterInput, WriterResult, ApprovalEnqueueInput } from '../activation-types.js';
|
|
2
2
|
import type { RefinerRuleHostGateDeps } from '../../internalization/refiner-rulehost-gate.js';
|
|
3
|
+
import type { ToolSemanticRegistry } from '../../internalization/tool-semantic-registry.js';
|
|
3
4
|
export interface RuleHostWriterConfig {
|
|
4
5
|
gateDeps: RefinerRuleHostGateDeps;
|
|
5
6
|
/**
|
|
@@ -12,6 +13,21 @@ export interface RuleHostWriterConfig {
|
|
|
12
13
|
* logic — no I/O, no YAML loader.
|
|
13
14
|
*/
|
|
14
15
|
featureFlagProbe?: (flagId: string) => boolean;
|
|
16
|
+
/**
|
|
17
|
+
* PRI-634-F — ToolSemanticRegistry supplied by the constructing host.
|
|
18
|
+
* When present: (1) canActivate runs the deterministic Rule Reliability
|
|
19
|
+
* Validation (affectedTools + golden-trace toolNames must resolve —
|
|
20
|
+
* SPEC §9 Tool存在性, adapter/tool_alias_unknown on failure); (2) the
|
|
21
|
+
* activation gate replays with production-identical tool semantics.
|
|
22
|
+
* Absent → legacy behavior (no reliability check, baseline replay inputs).
|
|
23
|
+
*/
|
|
24
|
+
toolSemantics?: ToolSemanticRegistry;
|
|
25
|
+
/**
|
|
26
|
+
* PRI-634-F — replay path-normalization root (the workspace the gate
|
|
27
|
+
* replays for). When present, golden-trace cases normalize exactly like
|
|
28
|
+
* the production gate. Absent → legacy null normalizedPath replay.
|
|
29
|
+
*/
|
|
30
|
+
projectDir?: string;
|
|
15
31
|
}
|
|
16
32
|
/**
|
|
17
33
|
* PRI-490 — extract and validate the `evidenceRefs` field from parsed artifact
|
|
@@ -29,6 +45,8 @@ export declare class RuleHostWriter implements ChannelWriter {
|
|
|
29
45
|
readonly channel: 'code_tool_hook';
|
|
30
46
|
private readonly gateDeps;
|
|
31
47
|
private readonly featureFlagProbe?;
|
|
48
|
+
private readonly toolSemantics?;
|
|
49
|
+
private readonly projectDir?;
|
|
32
50
|
constructor(config: RuleHostWriterConfig);
|
|
33
51
|
canActivate(artifact: PIArtifactSnapshot): Promise<CanActivateResult>;
|
|
34
52
|
activate(input: WriterInput, artifact: PIArtifactSnapshot): Promise<WriterResult>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"rule-host-writer.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/activation/writers/rule-host-writer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAuB,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACzK,OAAO,KAAK,EAAE,uBAAuB,EAA6B,MAAM,gDAAgD,CAAC;
|
|
1
|
+
{"version":3,"file":"rule-host-writer.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/activation/writers/rule-host-writer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAuB,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACzK,OAAO,KAAK,EAAE,uBAAuB,EAA6B,MAAM,gDAAgD,CAAC;AAEzH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iDAAiD,CAAC;AAO5F,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,uBAAuB,CAAC;IAClC;;;;;;;;OAQG;IACH,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC;IAC/C;;;;;;;OAOG;IACH,aAAa,CAAC,EAAE,oBAAoB,CAAC;IACrC;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAuFD;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAUpF;AA0CD,qBAAa,cAAe,YAAW,aAAa;IAClD,QAAQ,CAAC,OAAO,EAAG,gBAAgB,CAAU;IAE7C,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA0B;IACnD,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAA8B;IAChE,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAuB;IACtD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAS;IAErC,YAAY,MAAM,EAAE,oBAAoB,EAKvC;IAEK,WAAW,CAAC,QAAQ,EAAE,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAsI1E;IAGK,QAAQ,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,kBAAkB,GAAG,OAAO,CAAC,YAAY,CAAC,CAwBtF;IAGD,oBAAoB,CAClB,MAAM,EAAE,WAAW,EACnB,QAAQ,EAAE,kBAAkB,EAC5B,UAAU,CAAC,EAAE,MAAM,GAClB,IAAI,CAAC,oBAAoB,EAAE,SAAS,GAAG,eAAe,GAAG,uBAAuB,GAAG,mBAAmB,GAAG,iBAAiB,CAAC,CA0C7H;CACF"}
|
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
import { evaluateRefinerRuleHostGate } from '../../internalization/refiner-rulehost-gate.js';
|
|
2
|
+
import { validateRuleReliability } from '../../internalization/rule-reliability-validation.js';
|
|
2
3
|
import { validateGoldenTrace } from '../../golden-trace.js';
|
|
3
4
|
const DESTRUCTIVE_TOOL_PREFIXES = ['edit', 'write', 'delete', 'bash', 'exec', 'remove'];
|
|
4
5
|
/** PRI-484 — the feature flag id that gates v2 rule artifacts. */
|
|
@@ -139,9 +140,13 @@ export class RuleHostWriter {
|
|
|
139
140
|
channel = 'code_tool_hook';
|
|
140
141
|
gateDeps;
|
|
141
142
|
featureFlagProbe;
|
|
143
|
+
toolSemantics;
|
|
144
|
+
projectDir;
|
|
142
145
|
constructor(config) {
|
|
143
146
|
this.gateDeps = config.gateDeps;
|
|
144
147
|
this.featureFlagProbe = config.featureFlagProbe;
|
|
148
|
+
this.toolSemantics = config.toolSemantics;
|
|
149
|
+
this.projectDir = config.projectDir;
|
|
145
150
|
}
|
|
146
151
|
async canActivate(artifact) {
|
|
147
152
|
if (artifact.artifactKind !== 'rule') {
|
|
@@ -203,7 +208,36 @@ export class RuleHostWriter {
|
|
|
203
208
|
return { ok: false, reason: v2Violation, riskLevel: 'high' };
|
|
204
209
|
}
|
|
205
210
|
}
|
|
206
|
-
|
|
211
|
+
// PRI-634-F Phase 3 — deterministic Rule Reliability Validation before the
|
|
212
|
+
// sandbox (SPEC §9 V1: Tool存在性). A rule referencing tools the registry
|
|
213
|
+
// cannot resolve would pass replay against fictional inputs while never
|
|
214
|
+
// matching production dispatch — fail loud at activation with the layered
|
|
215
|
+
// attribution instead. Only runs when the host supplied a registry.
|
|
216
|
+
if (this.toolSemantics) {
|
|
217
|
+
const declaredTools = Array.isArray(parsed.affectedTools)
|
|
218
|
+
? parsed.affectedTools.filter((value) => typeof value === 'string' && value.trim().length > 0)
|
|
219
|
+
: [];
|
|
220
|
+
const reliability = validateRuleReliability({
|
|
221
|
+
affectedTools: declaredTools,
|
|
222
|
+
goldenTraceCaseToolNames: goldenTrace.cases.map((c) => c.toolName),
|
|
223
|
+
toolSemantics: this.toolSemantics,
|
|
224
|
+
});
|
|
225
|
+
if (!reliability.valid && reliability.failure) {
|
|
226
|
+
const { failure } = reliability;
|
|
227
|
+
return {
|
|
228
|
+
ok: false,
|
|
229
|
+
reason: `rule_reliability_${failure.reasonCode}:${failure.layer} — ${failure.evidence} (nextAction=${failure.nextAction})`,
|
|
230
|
+
riskLevel: 'high',
|
|
231
|
+
failure,
|
|
232
|
+
};
|
|
233
|
+
}
|
|
234
|
+
}
|
|
235
|
+
const gateResult = evaluateRefinerRuleHostGate({
|
|
236
|
+
code: implementationCode,
|
|
237
|
+
goldenTrace,
|
|
238
|
+
...(this.toolSemantics ? { toolSemantics: this.toolSemantics } : {}),
|
|
239
|
+
...(this.projectDir ? { projectDir: this.projectDir } : {}),
|
|
240
|
+
}, this.gateDeps);
|
|
207
241
|
if (gateResult.decision !== 'accepted_shadow') {
|
|
208
242
|
// rc-9-no-silent-fallback (EP-03, issue #1337): the gate has already
|
|
209
243
|
// computed actionable field-level failure reasons. Dropping them (the
|
|
@@ -220,6 +254,7 @@ export class RuleHostWriter {
|
|
|
220
254
|
ok: false,
|
|
221
255
|
reason: reasonParts.join(' — '),
|
|
222
256
|
riskLevel: 'high',
|
|
257
|
+
...(gateResult.failure ? { failure: gateResult.failure } : {}),
|
|
223
258
|
};
|
|
224
259
|
}
|
|
225
260
|
const affectedTools = Array.isArray(parsed.affectedTools)
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"rule-host-writer.js","sourceRoot":"","sources":["../../../../src/runtime-v2/activation/writers/rule-host-writer.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,gDAAgD,CAAC;AAE7F,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,MAAM,yBAAyB,GAAsB,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;AAgB3G,kEAAkE;AAClE,MAAM,2BAA2B,GAAG,qBAAqB,CAAC;AAE1D,SAAS,gBAAgB,CAAC,WAAmB;IAC3C,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACvC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5E,OAAO,MAAiC,CAAC;QAC3C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,MAA+B;IAChE,MAAM,IAAI,GAAG,MAAM,CAAC,kBAAkB,CAAC;IACvC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAMD;;;;;;;;;;;;;;GAcG;AACH,SAAS,kBAAkB,CAAC,MAA+B;IACzD,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAClD,CAAC;IAED,4EAA4E;IAC5E,wEAAwE;IACxE,yEAAyE;IACzE,yEAAyE;IACzE,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,gCAAgC,MAAM,EAAE;SACjD,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAoB,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,2BAA2B,CAAC,MAA+B;IAClE,MAAM,QAAQ,GAAG,MAAM,CAAC,oBAAoB,CAAC;IAC7C,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,MAA+B;IACtD,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,CAAC;IACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QAClC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,IAAa,EAAE,EAAE;QAC1D,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACrC,OAAO,yBAAyB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IACH,OAAO,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;AAC9C,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAA+B;IACjE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC;IACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,yBAAyB,CAChC,MAA+B,EAC/B,WAAwB;IAExB,mEAAmE;IACnE,mEAAmE;IACnE,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,gBAAgB,KAAK,oBAAoB,EAAE,CAAC;YAChD,OAAO,oDAAoD,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,2DAA2D;IAC3D,MAAM,IAAI,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC;YAC1C,CAAC,CAAC,oCAAoC;YACtC,CAAC,CAAC,oCAAoC,CAAC;IAC3C,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,OAAO,cAAc;IAChB,OAAO,GAAG,gBAAyB,CAAC;IAE5B,QAAQ,CAA0B;IAClC,gBAAgB,CAA+B;IAEhE,YAAY,MAA4B;QACtC,IAAI,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;QAChC,IAAI,CAAC,gBAAgB,GAAG,MAAM,CAAC,gBAAgB,CAAC;IAClD,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,QAA4B;QAC5C,IAAI,QAAQ,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;YACrC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAC5E,CAAC;QAED,IAAI,QAAQ,CAAC,gBAAgB,KAAK,WAAW,EAAE,CAAC;YAC9C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,8BAA8B,QAAQ,CAAC,gBAAgB,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAC7G,CAAC;QAED,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,2BAA2B,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAC/E,CAAC;QAED,uEAAuE;QACvE,oEAAoE;QACpE,8DAA8D;QAC9D,oEAAoE;QACpE,mEAAmE;QACnE,mEAAmE;QACnE,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,IAAI,MAAM,CAAC,sBAAsB,KAAK,CAAC,EAAE,CAAC;YAC3F,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,6BAA6B;gBACrC,SAAS,EAAE,MAAM;aAClB,CAAC;QACJ,CAAC;QAED,IAAI,MAAM,CAAC,sBAAsB,KAAK,CAAC,EAAE,CAAC;YACxC,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB;gBACnC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,2BAA2B,CAAC;gBACpD,CAAC,CAAC,KAAK,CAAC;YACV,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,MAAM,EAAE,8BAA8B;oBACtC,SAAS,EAAE,MAAM;iBAClB,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,kBAAkB,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;QAC7D,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAC5E,CAAC;QAED,MAAM,iBAAiB,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,CAAC;YAC1B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAC5E,CAAC;QACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,KAAK,CAAC;QAE5C,MAAM,YAAY,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;QACzD,IAAI,YAAY,KAAK,iBAAiB,EAAE,CAAC;YACvC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,mCAAmC,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QACvF,CAAC;QAED,iEAAiE;QACjE,oEAAoE;QACpE,sEAAsE;QACtE,kEAAkE;QAClE,sEAAsE;QACtE,IAAI,MAAM,CAAC,sBAAsB,KAAK,CAAC,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,yBAAyB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YACnE,IAAI,WAAW,EAAE,CAAC;gBAChB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;YAC/D,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAA8B,2BAA2B,CACvE,EAAE,IAAI,EAAE,kBAAkB,EAAE,WAAW,EAAE,EACzC,IAAI,CAAC,QAAQ,CACd,CAAC;QAEF,IAAI,UAAU,CAAC,QAAQ,KAAK,iBAAiB,EAAE,CAAC;YAC9C,qEAAqE;YACrE,sEAAsE;YACtE,+CAA+C;YAC/C,gEAAgE;YAChE,qEAAqE;YACrE,uEAAuE;YACvE,+DAA+D;YAC/D,MAAM,WAAW,GAAG;gBAClB,qCAAqC,UAAU,CAAC,QAAQ,EAAE;gBAC1D,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;aAClC,CAAC;YACF,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC/B,SAAS,EAAE,MAAM;aAClB,CAAC;QACJ,CAAC;QAED,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC;YACvD,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;YAC/G,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,qBAAqB,CAAC,CAAC,CAAC;QAC5H,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,sBAAsB,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QACxG,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,mCAAmC,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QACtK,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,qCAAqC,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAE1J,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QAC1C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACjC,CAAC;IAED,qEAAqE;IACrE,KAAK,CAAC,QAAQ,CAAC,KAAkB,EAAE,QAA4B;QAC7D,MAAM,MAAM,GAAG,OAAO,QAAQ,CAAC,YAAY,KAAK,QAAQ,IAAI,QAAQ,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YACjG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,EAAE;YAC9B,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC;QAEtB,gEAAgE;QAChE,kEAAkE;QAClE,uEAAuE;QACvE,oEAAoE;QACpE,2DAA2D;QAC3D,uEAAuE;QACvE,6DAA6D;QAC7D,8DAA8D;QAC9D,EAAE;QACF,iEAAiE;QACjE,iEAAiE;QACjE,iEAAiE;QACjE,iEAAiE;QACjE,eAAe;QACf,OAAO;YACL,YAAY,EAAE,YAAY,MAAM,EAAE;YAClC,MAAM,EAAE,gCAAgC;YACxC,SAAS,EAAE,UAAU,MAAM,EAAE;SAC9B,CAAC;IACJ,CAAC;IAED,qEAAqE;IACrE,oBAAoB,CAClB,MAAmB,EACnB,QAA4B,EAC5B,UAAmB;QAEnB,MAAM,MAAM,GAAG,OAAO,QAAQ,CAAC,YAAY,KAAK,QAAQ,IAAI,QAAQ,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YACjG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,EAAE;YAC9B,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;QAExB,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtD,MAAM,aAAa,GAAG,MAAM,EAAE,iBAAiB,CAAC;QAChD,MAAM,iBAAiB,GAAG,OAAO,aAAa,KAAK,QAAQ;YACzD,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE;YACtB,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC;YACxD,CAAC,CAAE,MAAM,CAAC,aAA2B,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;YACvF,CAAC,CAAC,EAAE,CAAC;QACP,uEAAuE;QACvE,mEAAmE;QACnE,iEAAiE;QACjE,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAEjE,MAAM,OAAO,GAAG,+CAA+C,MAAM,EAAE,CAAC;QAExE,MAAM,aAAa,GAAG,iBAAiB,CAAC,MAAM,GAAG,CAAC;YAChD,CAAC,CAAC,iBAAiB;YACnB,CAAC,CAAC,+DAA+D,CAAC;QAEpE,MAAM,eAAe,GAAG,OAAO,UAAU,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,CAAC;QAC5H,MAAM,qBAAqB,GAAG,eAAe;YAC3C,CAAC,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC,sDAAsD;YACnG,CAAC,CAAC,0DAA0D,CAAC;QAE/D,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC;YAC1C,CAAC,CAAC,wCAAwC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,4EAA4E;YAC9I,CAAC,CAAC,gGAAgG,CAAC;QACrG,yEAAyE;QACzE,8DAA8D;QAC9D,MAAM,cAAc,GAAG,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;YAC5D,CAAC,CAAC,gCAAgC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC5D,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,iBAAiB,GAAG,GAAG,WAAW,GAAG,cAAc,EAAE,CAAC;QAE5D,MAAM,eAAe,GAAG,6EAA6E,CAAC;QAEtG,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,eAAe,EAAE,CAAC;IAC/F,CAAC;CACF"}
|
|
1
|
+
{"version":3,"file":"rule-host-writer.js","sourceRoot":"","sources":["../../../../src/runtime-v2/activation/writers/rule-host-writer.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,gDAAgD,CAAC;AAE7F,OAAO,EAAE,uBAAuB,EAAE,MAAM,sDAAsD,CAAC;AAE/F,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,MAAM,yBAAyB,GAAsB,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;AA+B3G,kEAAkE;AAClE,MAAM,2BAA2B,GAAG,qBAAqB,CAAC;AAE1D,SAAS,gBAAgB,CAAC,WAAmB;IAC3C,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACvC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5E,OAAO,MAAiC,CAAC;QAC3C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,MAA+B;IAChE,MAAM,IAAI,GAAG,MAAM,CAAC,kBAAkB,CAAC;IACvC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAMD;;;;;;;;;;;;;;GAcG;AACH,SAAS,kBAAkB,CAAC,MAA+B;IACzD,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAClD,CAAC;IAED,4EAA4E;IAC5E,wEAAwE;IACxE,yEAAyE;IACzE,yEAAyE;IACzE,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,gCAAgC,MAAM,EAAE;SACjD,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAoB,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,2BAA2B,CAAC,MAA+B;IAClE,MAAM,QAAQ,GAAG,MAAM,CAAC,oBAAoB,CAAC;IAC7C,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,MAA+B;IACtD,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,CAAC;IACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QAClC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,IAAa,EAAE,EAAE;QAC1D,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACrC,OAAO,yBAAyB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IACH,OAAO,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;AAC9C,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAA+B;IACjE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC;IACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,yBAAyB,CAChC,MAA+B,EAC/B,WAAwB;IAExB,mEAAmE;IACnE,mEAAmE;IACnE,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,gBAAgB,KAAK,oBAAoB,EAAE,CAAC;YAChD,OAAO,oDAAoD,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,2DAA2D;IAC3D,MAAM,IAAI,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC;YAC1C,CAAC,CAAC,oCAAoC;YACtC,CAAC,CAAC,oCAAoC,CAAC;IAC3C,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,OAAO,cAAc;IAChB,OAAO,GAAG,gBAAyB,CAAC;IAE5B,QAAQ,CAA0B;IAClC,gBAAgB,CAA+B;IAC/C,aAAa,CAAwB;IACrC,UAAU,CAAU;IAErC,YAAY,MAA4B;QACtC,IAAI,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;QAChC,IAAI,CAAC,gBAAgB,GAAG,MAAM,CAAC,gBAAgB,CAAC;QAChD,IAAI,CAAC,aAAa,GAAG,MAAM,CAAC,aAAa,CAAC;QAC1C,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACtC,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,QAA4B;QAC5C,IAAI,QAAQ,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;YACrC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAC5E,CAAC;QAED,IAAI,QAAQ,CAAC,gBAAgB,KAAK,WAAW,EAAE,CAAC;YAC9C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,8BAA8B,QAAQ,CAAC,gBAAgB,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAC7G,CAAC;QAED,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,2BAA2B,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAC/E,CAAC;QAED,uEAAuE;QACvE,oEAAoE;QACpE,8DAA8D;QAC9D,oEAAoE;QACpE,mEAAmE;QACnE,mEAAmE;QACnE,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,wBAAwB,CAAC,IAAI,MAAM,CAAC,sBAAsB,KAAK,CAAC,EAAE,CAAC;YAC3F,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,6BAA6B;gBACrC,SAAS,EAAE,MAAM;aAClB,CAAC;QACJ,CAAC;QAED,IAAI,MAAM,CAAC,sBAAsB,KAAK,CAAC,EAAE,CAAC;YACxC,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB;gBACnC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,2BAA2B,CAAC;gBACpD,CAAC,CAAC,KAAK,CAAC;YACV,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,MAAM,EAAE,8BAA8B;oBACtC,SAAS,EAAE,MAAM;iBAClB,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,kBAAkB,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;QAC7D,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAC5E,CAAC;QAED,MAAM,iBAAiB,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,CAAC;YAC1B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAC5E,CAAC;QACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,KAAK,CAAC;QAE5C,MAAM,YAAY,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;QACzD,IAAI,YAAY,KAAK,iBAAiB,EAAE,CAAC;YACvC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,mCAAmC,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QACvF,CAAC;QAED,iEAAiE;QACjE,oEAAoE;QACpE,sEAAsE;QACtE,kEAAkE;QAClE,sEAAsE;QACtE,IAAI,MAAM,CAAC,sBAAsB,KAAK,CAAC,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,yBAAyB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YACnE,IAAI,WAAW,EAAE,CAAC;gBAChB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;YAC/D,CAAC;QACH,CAAC;QAED,2EAA2E;QAC3E,uEAAuE;QACvE,wEAAwE;QACxE,0EAA0E;QAC1E,oEAAoE;QACpE,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC;gBACvD,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC/G,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,WAAW,GAAG,uBAAuB,CAAC;gBAC1C,aAAa,EAAE,aAAa;gBAC5B,wBAAwB,EAAE,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAClE,aAAa,EAAE,IAAI,CAAC,aAAa;aAClC,CAAC,CAAC;YACH,IAAI,CAAC,WAAW,CAAC,KAAK,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;gBAC9C,MAAM,EAAC,OAAO,EAAC,GAAG,WAAW,CAAC;gBAC9B,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,MAAM,EAAE,oBAAoB,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,KAAK,MAAM,OAAO,CAAC,QAAQ,gBAAgB,OAAO,CAAC,UAAU,GAAG;oBAC1H,SAAS,EAAE,MAAM;oBACjB,OAAO;iBACR,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAA8B,2BAA2B,CACvE;YACE,IAAI,EAAE,kBAAkB;YACxB,WAAW;YACX,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5D,EACD,IAAI,CAAC,QAAQ,CACd,CAAC;QAEF,IAAI,UAAU,CAAC,QAAQ,KAAK,iBAAiB,EAAE,CAAC;YAC9C,qEAAqE;YACrE,sEAAsE;YACtE,+CAA+C;YAC/C,gEAAgE;YAChE,qEAAqE;YACrE,uEAAuE;YACvE,+DAA+D;YAC/D,MAAM,WAAW,GAAG;gBAClB,qCAAqC,UAAU,CAAC,QAAQ,EAAE;gBAC1D,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;aAClC,CAAC;YACF,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC/B,SAAS,EAAE,MAAM;gBACjB,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/D,CAAC;QACJ,CAAC;QAED,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC;YACvD,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;YAC/G,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,qBAAqB,CAAC,CAAC,CAAC;QAC5H,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,sBAAsB,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QACxG,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,mCAAmC,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QACtK,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,qCAAqC,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QAE1J,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QAC1C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACjC,CAAC;IAED,qEAAqE;IACrE,KAAK,CAAC,QAAQ,CAAC,KAAkB,EAAE,QAA4B;QAC7D,MAAM,MAAM,GAAG,OAAO,QAAQ,CAAC,YAAY,KAAK,QAAQ,IAAI,QAAQ,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YACjG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,EAAE;YAC9B,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC;QAEtB,gEAAgE;QAChE,kEAAkE;QAClE,uEAAuE;QACvE,oEAAoE;QACpE,2DAA2D;QAC3D,uEAAuE;QACvE,6DAA6D;QAC7D,8DAA8D;QAC9D,EAAE;QACF,iEAAiE;QACjE,iEAAiE;QACjE,iEAAiE;QACjE,iEAAiE;QACjE,eAAe;QACf,OAAO;YACL,YAAY,EAAE,YAAY,MAAM,EAAE;YAClC,MAAM,EAAE,gCAAgC;YACxC,SAAS,EAAE,UAAU,MAAM,EAAE;SAC9B,CAAC;IACJ,CAAC;IAED,qEAAqE;IACrE,oBAAoB,CAClB,MAAmB,EACnB,QAA4B,EAC5B,UAAmB;QAEnB,MAAM,MAAM,GAAG,OAAO,QAAQ,CAAC,YAAY,KAAK,QAAQ,IAAI,QAAQ,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YACjG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,EAAE;YAC9B,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;QAExB,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtD,MAAM,aAAa,GAAG,MAAM,EAAE,iBAAiB,CAAC;QAChD,MAAM,iBAAiB,GAAG,OAAO,aAAa,KAAK,QAAQ;YACzD,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE;YACtB,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC;YACxD,CAAC,CAAE,MAAM,CAAC,aAA2B,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;YACvF,CAAC,CAAC,EAAE,CAAC;QACP,uEAAuE;QACvE,mEAAmE;QACnE,iEAAiE;QACjE,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAEjE,MAAM,OAAO,GAAG,+CAA+C,MAAM,EAAE,CAAC;QAExE,MAAM,aAAa,GAAG,iBAAiB,CAAC,MAAM,GAAG,CAAC;YAChD,CAAC,CAAC,iBAAiB;YACnB,CAAC,CAAC,+DAA+D,CAAC;QAEpE,MAAM,eAAe,GAAG,OAAO,UAAU,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,CAAC;QAC5H,MAAM,qBAAqB,GAAG,eAAe;YAC3C,CAAC,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC,sDAAsD;YACnG,CAAC,CAAC,0DAA0D,CAAC;QAE/D,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC;YAC1C,CAAC,CAAC,wCAAwC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,4EAA4E;YAC9I,CAAC,CAAC,gGAAgG,CAAC;QACrG,yEAAyE;QACzE,8DAA8D;QAC9D,MAAM,cAAc,GAAG,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;YAC5D,CAAC,CAAC,gCAAgC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC5D,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,iBAAiB,GAAG,GAAG,WAAW,GAAG,cAAc,EAAE,CAAC;QAE5D,MAAM,eAAe,GAAG,6EAA6E,CAAC;QAEtG,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,eAAe,EAAE,CAAC;IAC/F,CAAC;CACF"}
|
|
@@ -12,6 +12,7 @@
|
|
|
12
12
|
import type { GoldenTraceCase, GoldenTraceDecision } from './golden-trace.js';
|
|
13
13
|
import type { RuleHostDecision, RuleHostInput, RuleHostResult } from './internalization/rule-host-contracts.js';
|
|
14
14
|
import type { RuleHostHelpers } from './internalization/rule-host-helpers.js';
|
|
15
|
+
import type { ToolSemanticRegistry } from './internalization/tool-semantic-registry.js';
|
|
15
16
|
export interface ReplayValidatorCaseResult {
|
|
16
17
|
caseId: string;
|
|
17
18
|
passed: boolean;
|
|
@@ -42,6 +43,13 @@ export interface ReplayValidatorConfig {
|
|
|
42
43
|
* When not provided, `normalizedPath` falls back to `null` (legacy behavior).
|
|
43
44
|
*/
|
|
44
45
|
projectDir?: string;
|
|
46
|
+
/**
|
|
47
|
+
* PRI-634-F Phase 2: the ToolSemanticRegistry used by the production gate.
|
|
48
|
+
* When provided, replay resolves `canonicalKind` from the same registry and
|
|
49
|
+
* derives identical bash/write extraction hints (replay/production input
|
|
50
|
+
* parity). Absent → legacy behavior (no canonicalKind, no derived hints).
|
|
51
|
+
*/
|
|
52
|
+
toolSemantics?: ToolSemanticRegistry;
|
|
45
53
|
}
|
|
46
54
|
export declare const DEFAULT_REPLAY_VALIDATOR_CONFIG: ReplayValidatorConfig;
|
|
47
55
|
export type ReplayEvaluateFn = (input: RuleHostInput, helpers: RuleHostHelpers) => RuleHostResult;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"golden-trace-replay-validator.d.ts","sourceRoot":"","sources":["../../src/runtime-v2/golden-trace-replay-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC9E,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAChH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;
|
|
1
|
+
{"version":3,"file":"golden-trace-replay-validator.d.ts","sourceRoot":"","sources":["../../src/runtime-v2/golden-trace-replay-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC9E,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAChH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6CAA6C,CAAC;AAOxF,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;IAChB,gBAAgB,EAAE,mBAAmB,CAAC;IACtC,cAAc,EAAE,gBAAgB,GAAG,OAAO,GAAG,mBAAmB,CAAC;IACjE,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,OAAO,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,SAAS,yBAAyB,EAAE,CAAC;IACrD,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,iBAAiB,EAAE,MAAM,CAAC;IAC1B;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;;OAKG;IACH,aAAa,CAAC,EAAE,oBAAoB,CAAC;CACtC;AAED,eAAO,MAAM,+BAA+B,EAAE,qBAE7C,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,CAC7B,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,eAAe,KACrB,cAAc,CAAC;AAoBpB,wBAAgB,UAAU,CACxB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,MAAM,EAAE,CAmCV;AA4JD,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,gBAAgB,EAC5B,KAAK,EAAE,SAAS,eAAe,EAAE,EACjC,MAAM,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC,GACtC,qBAAqB,CAuCvB"}
|
|
@@ -129,8 +129,11 @@ function validateProposeCorrectionCase(base, result, traceCase) {
|
|
|
129
129
|
}
|
|
130
130
|
return perCase;
|
|
131
131
|
}
|
|
132
|
-
function validateCase(evaluateFn, traceCase,
|
|
133
|
-
const
|
|
132
|
+
function validateCase(evaluateFn, traceCase, options = {}) {
|
|
133
|
+
const { projectDir, toolSemantics } = options;
|
|
134
|
+
const input = createSyntheticRuleHostInput({ toolName: traceCase.toolName, params: traceCase.params }, traceCase.ruleContext !== undefined ? { context: traceCase.ruleContext } : {}, projectDir || toolSemantics
|
|
135
|
+
? { ...(projectDir ? { projectDir } : {}), ...(toolSemantics ? { toolSemantics } : {}) }
|
|
136
|
+
: {});
|
|
134
137
|
const baseResult = {
|
|
135
138
|
caseId: traceCase.caseId,
|
|
136
139
|
passed: false,
|
|
@@ -195,7 +198,10 @@ export function replayGoldenTrace(evaluateFn, cases, config) {
|
|
|
195
198
|
repairHints: [],
|
|
196
199
|
};
|
|
197
200
|
}
|
|
198
|
-
const perCaseResults = cases.map((traceCase) => validateCase(evaluateFn, traceCase,
|
|
201
|
+
const perCaseResults = cases.map((traceCase) => validateCase(evaluateFn, traceCase, {
|
|
202
|
+
...(_config.projectDir !== undefined ? { projectDir: _config.projectDir } : {}),
|
|
203
|
+
...(_config.toolSemantics !== undefined ? { toolSemantics: _config.toolSemantics } : {}),
|
|
204
|
+
}));
|
|
199
205
|
const passedCases = perCaseResults.filter((r) => r.passed).length;
|
|
200
206
|
const failedCases = perCaseResults.length - passedCases;
|
|
201
207
|
const failureReasons = perCaseResults
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"golden-trace-replay-validator.js","sourceRoot":"","sources":["../../src/runtime-v2/golden-trace-replay-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;
|
|
1
|
+
{"version":3,"file":"golden-trace-replay-validator.js","sourceRoot":"","sources":["../../src/runtime-v2/golden-trace-replay-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAMH,OAAO,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAC;AA+CjE,MAAM,CAAC,MAAM,+BAA+B,GAA0B;IACpE,iBAAiB,EAAE,CAAC;CACrB,CAAC;AAOF,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,MAAM,2BAA2B,GAAkC,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC;AAEzG,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,cAAc,CAAC,GAA4B;IAClD,IAAI,CAAC;QACH,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,QAAiC,EACjC,MAA+B;IAE/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,YAAY,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAC7C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC;IAC1D,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,KAAK,CAAC,IAAI,CAAC,kBAAkB,GAAG,GAAG,CAAC,CAAC;QACvC,CAAC;aAAM,IAAI,CAAC,UAAU,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,qBAAqB,GAAG,GAAG,CAAC,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,IAAI,CAAC;gBACH,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;gBACnD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC/C,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;oBAChC,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,eAAe,YAAY,SAAS,UAAU,EAAE,CAAC,CAAC;gBAC5E,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,oDAAoD,CAAC,CAAC;YAChF,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E,SAAS,iBAAiB,CACxB,IAA+B,EAC/B,MAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,KAAK,OAAO,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK,CAAC;IACvE,OAAO;QACL,GAAG,IAAI;QACP,MAAM;QACN,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,0BAA0B,MAAM,CAAC,QAAQ,EAAE;QAC/E,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,uDAAuD;KACzF,CAAC;AACJ,CAAC;AACD,SAAS,iBAAiB,CACxB,IAA+B,EAC/B,MAAsB;IAEtB,MAAM,MAAM,GAAG,2BAA2B,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChE,OAAO;QACL,GAAG,IAAI;QACP,MAAM;QACN,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,0BAA0B,MAAM,CAAC,QAAQ,EAAE;QAC/E,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gEAAgE;KAClG,CAAC;AACJ,CAAC;AACD,SAAS,6BAA6B,CACpC,IAA+B,EAC/B,MAAsB,EACtB,SAA0B;IAE1B,IAAI,MAAM,CAAC,QAAQ,KAAK,cAAc,EAAE,CAAC;QACvC,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,KAAK;YACb,aAAa,EAAE,sDAAsD,MAAM,CAAC,QAAQ,EAAE;YACtF,UAAU,EAAE,gEAAgE;SAC7E,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,kBAAkB,CAAC;IAC3C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,KAAK;YACb,aAAa,EAAE,kDAAkD;YACjE,UAAU,EAAE,6EAA6E;SAC1F,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAA8B,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAErE,IAAI,SAAS,CAAC,sBAAsB,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,UAAU,CACtB,SAAS,CAAC,sBAAsB,EAChC,QAAQ,CAAC,cAAc,CACxB,CAAC;QACF,OAAO,CAAC,mBAAmB,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;QACjD,OAAO,CAAC,kBAAkB,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAClE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC;YACvB,OAAO,CAAC,aAAa,GAAG,4BAA4B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACvE,OAAO,CAAC,UAAU,GAAG,4EAA4E,CAAC;QACpG,CAAC;IACH,CAAC;IAED,IAAI,SAAS,CAAC,uBAAuB,EAAE,CAAC;QACtC,OAAO,CAAC,oBAAoB,GAAG,QAAQ,CAAC,eAAe,KAAK,SAAS,CAAC,uBAAuB,CAAC;QAC9F,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,CAAC;YAClC,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC;YACvB,OAAO,CAAC,aAAa,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjF,sCAAsC,SAAS,CAAC,uBAAuB,SAAS,QAAQ,CAAC,eAAe,EAAE,CAAC;YAC7G,OAAO,CAAC,UAAU,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxE,+DAA+D,CAAC;QACpE,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AACD,SAAS,YAAY,CACnB,UAA4B,EAC5B,SAA0B,EAC1B,OAAO,GAAkE,EAAE;IAE3E,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC;IAC9C,MAAM,KAAK,GAAG,4BAA4B,CACxC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,EAC1D,SAAS,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,EAC7E,UAAU,IAAI,aAAa;QACzB,CAAC,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;QACxF,CAAC,CAAC,EAAE,CACP,CAAC;IAEF,MAAM,UAAU,GAA8B;QAC5C,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,MAAM,EAAE,KAAK;QACb,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;QAC5C,cAAc,EAAE,OAAO;KACxB,CAAC;IAEF,MAAM,WAAW,GAAG,CAAC,GAAG,EAAE;QACxB,MAAM,OAAO,GAAoB;YAC/B,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU;YAC5C,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ;YACxC,uBAAuB,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,oBAAoB;YACjE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ;YACzC,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM;SACxC,CAAC;QACF,IAAI,CAAC;YACH,OAAO,EAAE,EAAE,EAAE,IAAa,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QAClE,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,EAAE,EAAE,EAAE,KAAc,EAAE,KAAK,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;IAEL,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;QACpB,OAAO;YACL,GAAG,UAAU;YACb,cAAc,EAAE,OAAO;YACvB,aAAa,EAAE,qBAAqB,WAAW,CAAC,KAAK,EAAE;YACvD,UAAU,EAAE,6DAA6D;SAC1E,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC;IACjC,MAAM,UAAU,GAAG;QACjB,GAAG,UAAU;QACb,cAAc,EAAE,MAAM,CAAC,QAAQ;KAChC,CAAC;IAEF,QAAQ,SAAS,CAAC,gBAAgB,EAAE,CAAC;QACnC,KAAK,OAAO;YACV,OAAO,iBAAiB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC/C,KAAK,OAAO;YACV,OAAO,iBAAiB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC/C,KAAK,oBAAoB;YACvB,OAAO,6BAA6B,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;QACtE;YACE,OAAO;gBACL,GAAG,UAAU;gBACb,aAAa,EAAE,6BAA6B,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,EAAE;aACjF,CAAC;IACN,CAAC;AACH,CAAC;AAKD,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,UAAU,iBAAiB,CAC/B,UAA4B,EAC5B,KAAiC,EACjC,MAAuC;IAEvC,MAAM,OAAO,GAAG,EAAE,GAAG,+BAA+B,EAAE,GAAG,MAAM,EAAE,CAAC;IAElE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,MAAM,EAAE,IAAI;YACZ,UAAU,EAAE,CAAC;YACb,WAAW,EAAE,CAAC;YACd,WAAW,EAAE,CAAC;YACd,cAAc,EAAE,EAAE;YAClB,cAAc,EAAE,EAAE;YAClB,WAAW,EAAE,EAAE;SAChB,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,SAAS,EAAE;QAClF,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACzF,CAAC,CAAC,CAAC;IACJ,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IAClE,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,GAAG,WAAW,CAAC;IACxD,MAAM,cAAc,GAAG,cAAc;SAClC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,aAAa,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,cAAc;SAC/B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,UAAU,CAAC;SACxC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IAElC,KAAK,OAAO,CAAC,iBAAiB,CAAC;IAE/B,OAAO;QACL,MAAM,EAAE,WAAW,KAAK,CAAC;QACzB,UAAU,EAAE,cAAc,CAAC,MAAM;QACjC,WAAW;QACX,WAAW;QACX,cAAc;QACd,cAAc;QACd,WAAW;KACZ,CAAC;AACJ,CAAC"}
|
|
@@ -2,6 +2,7 @@ import { type Static } from '@sinclair/typebox';
|
|
|
2
2
|
import type { RuleHostInput } from './internalization/rule-host-contracts.js';
|
|
3
3
|
import type { RuleContextV2 } from './internalization/rule-context-v2.js';
|
|
4
4
|
import type { GoldenTraceCaseInput } from './internalization/artificer-output.js';
|
|
5
|
+
import type { ToolSemanticRegistry } from './internalization/tool-semantic-registry.js';
|
|
5
6
|
export declare const CorrectionApplicationModeSchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"shadow">, import("@sinclair/typebox").TLiteral<"live">]>;
|
|
6
7
|
export declare const GoldenTraceDecisionSchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"allow">, import("@sinclair/typebox").TLiteral<"block">, import("@sinclair/typebox").TLiteral<"propose_correction">]>;
|
|
7
8
|
export declare const GoldenTraceCaseKindSchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"negative">, import("@sinclair/typebox").TLiteral<"positive">]>;
|
|
@@ -81,9 +82,17 @@ export interface SyntheticRuleHostInputOverrides {
|
|
|
81
82
|
*
|
|
82
83
|
* When `projectDir` is NOT provided, `normalizedPath` falls back to `null`
|
|
83
84
|
* (backwards compat with existing callers that don't have a project dir).
|
|
85
|
+
*
|
|
86
|
+
* PRI-634-F Phase 2: when `toolSemantics` is provided, the canonical kind is
|
|
87
|
+
* resolved from the SAME registry the production gate uses, echoed onto
|
|
88
|
+
* `action.canonicalKind`, and used to derive the bash/write extraction hints
|
|
89
|
+
* inside buildRuleHostAction — closing the replay/production divergence where
|
|
90
|
+
* bash command extraction and write-tool synthetic paths never fired in
|
|
91
|
+
* replay. Absent → legacy behavior (no canonicalKind, no derived hints).
|
|
84
92
|
*/
|
|
85
93
|
export interface CreateSyntheticRuleHostInputOptions {
|
|
86
94
|
projectDir?: string;
|
|
95
|
+
toolSemantics?: ToolSemanticRegistry;
|
|
87
96
|
}
|
|
88
97
|
export interface GoldenTraceFixtureInput {
|
|
89
98
|
toolName: string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"golden-trace.d.ts","sourceRoot":"","sources":["../../src/runtime-v2/golden-trace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0CAA0C,CAAC;AAC9E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AAC1E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;
|
|
1
|
+
{"version":3,"file":"golden-trace.d.ts","sourceRoot":"","sources":["../../src/runtime-v2/golden-trace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0CAA0C,CAAC;AAC9E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AAC1E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AAElF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6CAA6C,CAAC;AAKxF,eAAO,MAAM,+BAA+B,oIAG1C,CAAC;AAMH,eAAO,MAAM,yBAAyB,gMAIpC,CAAC;AAEH,eAAO,MAAM,yBAAyB,0IAGpC,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;EAehC,CAAC;AAEH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;EAQ5B,CAAC;AAEH,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAAC,OAAO,+BAA+B,CAAC,CAAC;AACvF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAC3E,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAC3E,MAAM,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,qBAAqB,CAAC,EAAE,aAAa,CAAC,GAAG;IACxF,QAAQ,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC;CACtC,CAAC;AACF,MAAM,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,iBAAiB,CAAC,EAAE,OAAO,CAAC,GAAG;IAC1E,KAAK,EAAE,eAAe,EAAE,CAAC;CAC1B,CAAC;AAEF,MAAM,WAAW,2BAA2B;IAC1C,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACjC;AAED,MAAM,WAAW,+BAA+B;IAC9C,SAAS,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC;IAChD,OAAO,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5C,SAAS,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC;IAChD,OAAO,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5C,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,OAAO,CAAC,EAAE,aAAa,CAAC;CACzB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,mCAAmC;IAClD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,aAAa,CAAC,EAAE,oBAAoB,CAAC;CACtC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,gBAAgB,EAAE,mBAAmB,CAAC;IACtC,sBAAsB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjD,uBAAuB,CAAC,EAAE,yBAAyB,CAAC;IACpD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAkBD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,2BAA2B,CAcnF;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,2BAA2B,CA0B/E;AAED,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,gBAAgB,EAC1B,SAAS,GAAE,+BAAoC,EAC/C,OAAO,GAAE,mCAAwC,GAChD,aAAa,CA2Cf;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,uBAAuB,GAAG,WAAW,CA6BpF;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,oBAAoB,EAAE,aAAa,CAAC,GAAG;QAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC,EAAE,CAAC;IAC5G,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,0EAA0E;IAC1E,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,MAAM,sBAAsB,GAC9B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpD;;;;;;;;;;;GAWG;AACH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,kCAAkC,GAAG,sBAAsB,CA+C/G"}
|
|
@@ -106,12 +106,18 @@ export function createSyntheticRuleHostInput(snapshot, overrides = {}, options =
|
|
|
106
106
|
// buildRuleHostAction function — extracting the file path from params and
|
|
107
107
|
// normalizing it. This produces the same normalizedPath as the production
|
|
108
108
|
// OpenClaw Gate, so path-based rules can be validated in Golden Trace replay.
|
|
109
|
+
//
|
|
110
|
+
// PRI-634-F Phase 2: with toolSemantics, the canonical kind flows into the
|
|
111
|
+
// same builder call production makes, so hint derivation + canonicalKind
|
|
112
|
+
// echo are identical on both paths.
|
|
113
|
+
const canonicalKind = options.toolSemantics?.resolve(snapshot.toolName);
|
|
109
114
|
const action = options.projectDir && overrides.normalizedPath === undefined
|
|
110
|
-
? buildRuleHostAction(snapshot.toolName, snapshot.params, options.projectDir)
|
|
115
|
+
? buildRuleHostAction(snapshot.toolName, snapshot.params, options.projectDir, canonicalKind !== undefined ? { canonicalKind } : {})
|
|
111
116
|
: {
|
|
112
117
|
toolName: snapshot.toolName,
|
|
113
118
|
normalizedPath: overrides.normalizedPath ?? null,
|
|
114
119
|
paramsSummary: { ...snapshot.params },
|
|
120
|
+
...(canonicalKind !== undefined ? { canonicalKind } : {}),
|
|
115
121
|
};
|
|
116
122
|
return {
|
|
117
123
|
action,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"golden-trace.js","sourceRoot":"","sources":["../../src/runtime-v2/golden-trace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAe,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAIhD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8CAA8C,CAAC;
|
|
1
|
+
{"version":3,"file":"golden-trace.js","sourceRoot":"","sources":["../../src/runtime-v2/golden-trace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAe,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAIhD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8CAA8C,CAAC;AAGnF,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;AACvE,MAAM,oBAAoB,GAAG,4DAA4D,CAAC;AAE1F,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,KAAK,CAAC;IACxD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;CACrB,CAAC,CAAC;AAEH,2EAA2E;AAC3E,0FAA0F;AAC1F,6EAA6E;AAC7E,0DAA0D;AAC1D,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC;IAClD,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;IACrB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;IACrB,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;CACnC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC;IAClD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;IACxB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CACzB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrC,IAAI,EAAE,yBAAyB;IAC/B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACvC,MAAM,EAAE,mBAAmB;IAC3B,gBAAgB,EAAE,yBAAyB;IAC3C,sBAAsB,EAAE,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC;IAC1D,uBAAuB,EAAE,IAAI,CAAC,QAAQ,CAAC,+BAA+B,CAAC;IACvE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;QACpC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;QACpD,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;QACzD,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;QACxD,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;KAC3D,CAAC,CAAC;IACH,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CAC3C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACtC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1D,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9D,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACzD,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;IACzD,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;CACzB,CAAC,CAAC;AAoEH,SAAS,mBAAmB,CAAC,MAA0C,EAAE,KAAc;IACrF,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,IAAI,CAAC,KAAa;IACzB,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC;AACzF,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACpD,MAAM,MAAM,GAAG,mBAAmB,CAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;IACjE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,IAAI,KAAK,CAAC,gBAAgB,KAAK,oBAAoB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,sBAAsB,CAAC,EAAE,CAAC;YAC/F,MAAM,CAAC,IAAI,CAAC,gFAAgF,CAAC,CAAC;QAChG,CAAC;QACD,IAAI,KAAK,CAAC,gBAAgB,KAAK,oBAAoB,IAAI,KAAK,CAAC,uBAAuB,KAAK,SAAS,EAAE,CAAC;YACnG,MAAM,CAAC,IAAI,CAAC,iFAAiF,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,gBAAgB,KAAK,OAAO,EAAE,CAAC;YACpE,MAAM,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,MAAM,MAAM,GAAG,mBAAmB,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC;IAC7D,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAClC,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QAChF,MAAM,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,IAAI,WAAW,GAAG,KAAK,CAAC;QACxB,IAAI,WAAW,GAAG,KAAK,CAAC;QACxB,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;YACvC,MAAM,MAAM,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;gBAClB,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC;YAC3E,CAAC;YACD,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU;gBAAE,WAAW,GAAG,IAAI,CAAC;YAC7E,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU;gBAAE,WAAW,GAAG,IAAI,CAAC;QAC/E,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,WAAW;YAAE,MAAM,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;QAC/E,IAAI,CAAC,WAAW;YAAE,MAAM,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;IACjF,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,QAA0B,EAC1B,SAAS,GAAoC,EAAE,EAC/C,OAAO,GAAwC,EAAE;IAEjD,yEAAyE;IACzE,gEAAgE;IAChE,0EAA0E;IAC1E,0EAA0E;IAC1E,8EAA8E;IAC9E,EAAE;IACF,2EAA2E;IAC3E,yEAAyE;IACzE,oCAAoC;IACpC,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACxE,MAAM,MAAM,GACV,OAAO,CAAC,UAAU,IAAI,SAAS,CAAC,cAAc,KAAK,SAAS;QAC1D,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,UAAU,EAC1E,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,CAAC,CAAC;YACE,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,cAAc,EAAE,SAAS,CAAC,cAAc,IAAI,IAAI;YAChD,aAAa,EAAE,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE;YACrC,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1D,CAAC;IAER,OAAO;QACL,MAAM;QACN,SAAS,EAAE;YACT,UAAU,EAAE,KAAK;YACjB,GAAG,SAAS,CAAC,SAAS;SACvB;QACD,OAAO,EAAE;YACP,UAAU,EAAE,CAAC;YACb,GAAG,SAAS,CAAC,OAAO;SACrB;QACD,SAAS,EAAE;YACT,MAAM,EAAE,CAAC;YACT,GAAG,SAAS,CAAC,SAAS;SACvB;QACD,OAAO,EAAE;YACP,oBAAoB,EAAE,CAAC;YACvB,QAAQ,EAAE,SAAS;YACnB,GAAG,SAAS,CAAC,OAAO;SACrB;QACD,GAAG,CAAC,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAA8B;IACrE,OAAO;QACL,OAAO,EAAE,gBAAgB,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE;QAC/E,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,0BAA0B;QACxD,KAAK,EAAE;YACL;gBACE,MAAM,EAAE,YAAY;gBACpB,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,cAAc,EAAE;gBACnC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;gBACxC,sBAAsB,EAAE,KAAK,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,sBAAsB,EAAE,CAAC,CAAC,CAAC,SAAS;gBACtG,uBAAuB,EAAE,KAAK,CAAC,uBAAuB,IAAI,CACxD,KAAK,CAAC,gBAAgB,KAAK,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CACvE;aACF;YACD;gBACE,MAAM,EAAE,YAAY;gBACpB,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,cAAc,EAAE;gBACnC,gBAAgB,EAAE,OAAO;aAC1B;SACF;KACF,CAAC;AACJ,CAAC;AAsBD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,6BAA6B,CAAC,KAAyC;IACrF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC;IACzD,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iEAAiE,EAAE,CAAC;IAClG,CAAC;IAED,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,MAAM,WAAW,GAAsB,EAAE,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,4EAA4E;QAC5E,yEAAyE;QACzE,uEAAuE;QACvE,4CAA4C;QAC5C,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;YACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,8BAA8B,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QAC7F,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,WAAW,GAAG,IAAI,CAAC;;YAC7C,WAAW,GAAG,IAAI,CAAC;QACxB,WAAW,CAAC,IAAI,CAAC,KAAwB,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,CAAC,WAAW,IAAI,CAAC,WAAW;YAC1C,CAAC,CAAC,uBAAuB;YACzB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;QAC3C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,mCAAmC,OAAO,OAAO,EAAE,CAAC;IAClF,CAAC;IAED,MAAM,KAAK,GAAgB;QACzB,OAAO,EAAE,0BAA0B,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC5D,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtD,KAAK,EAAE,WAAW;KACnB,CAAC;IAEF,4EAA4E;IAC5E,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,qCAAqC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;IACpG,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC"}
|
|
@@ -211,7 +211,11 @@ export { scanLegacyRuleContractDependencies, formatLegacyRuleContractRemediation
|
|
|
211
211
|
export type { CorrectionProposal, CorrectionProposalValidationResult, PathValidationResult } from './internalization/correction-proposal.js';
|
|
212
212
|
export { validateProposedParams, validateCorrectionProposal, isPathWithinWorkspace, validateProposedPathBounds } from './internalization/correction-proposal.js';
|
|
213
213
|
export type { ExtractFilePathOptions, BuildRuleHostActionOptions } from './internalization/rule-host-input-builder.js';
|
|
214
|
-
export { normalizePathPure, extractFilePathFromParams, buildRuleHostAction } from './internalization/rule-host-input-builder.js';
|
|
214
|
+
export { normalizePathPure, extractFilePathFromParams, buildRuleHostAction, deriveToolHintsFromCanonicalKind } from './internalization/rule-host-input-builder.js';
|
|
215
|
+
export type { ToolSemanticMappingV1, ToolSemanticRegistry, ToolSemanticMappingValidationResult, } from './internalization/tool-semantic-registry.js';
|
|
216
|
+
export { buildToolSemanticRegistry, validateToolSemanticMappings } from './internalization/tool-semantic-registry.js';
|
|
217
|
+
export type { FailureLayer, RuleReliabilityFailure, RuleReliabilityValidationInput, RuleReliabilityValidationResult, } from './internalization/rule-reliability-validation.js';
|
|
218
|
+
export { validateRuleReliability, classifyReplayFailure } from './internalization/rule-reliability-validation.js';
|
|
215
219
|
export type { CanonicalKind, EvidenceState, RuleToolOutcome, RuleHistoryStatus, RuleToolCallRecord, RuleHistoryWindow, RuleBehaviorFacts, RuleContextV2, ValidationResult as RuleContextValidationResult, } from './internalization/rule-context-v2.js';
|
|
216
220
|
export { UNAVAILABLE_RULE_CONTEXT, canonicalizeToolKind, validateRuleToolCallRecord, validateRuleHistoryWindow, validateRuleBehaviorFacts, validateRuleContextV2, computeBehaviorFacts, } from './internalization/rule-context-v2.js';
|
|
217
221
|
export type { BehaviorExamplePack, BehaviorExamplePackValidationResult } from './internalization/behavior-example-pack.js';
|