@principles/core 1.296.0 → 1.296.1

package/dist/runtime-v2/internalization/rulecode-verification-obligations.js

@@ -0,0 +1,150 @@
+/** Derived verification material. Never writes or completes historical Owner facts. */
+import { extractExecutionConditions, isValidScribeExecutionConditionsV1 } from './intent-contract.js';
+import { isDesignGateFact } from './design-gate-facts.js';
+import { UNAVAILABLE_RULE_CONTEXT, validateRuleContextV2 } from './rule-context-v2.js';
+import { buildGoldenTraceFromArtificer, validateGoldenTraceCase } from '../golden-trace.js';
+/** Only kinds with an existing runtime input schema and deterministic oracle. */
+export function unsupportedRequiredRuleCodeFacts(conditions) {
+    return [...new Set(conditions.requiredFacts.filter((fact) => fact.required && fact.factKind !== 'design_approval').map((fact) => fact.factKind))];
+}
+export function deriveRuleCodeVerification(scribe, cases, tools) {
+    const extracted = extractExecutionConditions(scribe);
+    const required = [...new Set(extracted.conditions?.requiredFacts.filter((fact) => fact.required).map((fact) => fact.factKind) ?? [])];
+    const unavailable = extracted.corrupted ? ['execution_conditions_corrupted'] : extracted.conditions === null ? [] : unsupportedRequiredRuleCodeFacts(extracted.conditions).map((kind) => `unsupported_required_fact:${kind}`);
+    const design = required.includes('design_approval');
+    const historical = cases.map((entry) => {
+        const fact = entry.ruleContext?.facts.designGate;
+        const present = entry.ruleContext !== undefined && Object.hasOwn(entry.ruleContext.facts, 'designGate');
+        const invalid = design && present && !isDesignGateFact(fact);
+        const missingFacts = design && (!present || fact?.resolution === 'unknown') ? ['design_approval'] : [];
+        return { caseId: entry.caseId, qualification: invalid ? 'invalid_input' : missingFacts.length > 0 ? 'historical_evidence_only' : 'direct_replay', missingFacts };
+    });
+    if (historical.some((entry) => entry.qualification === 'invalid_input'))
+        unavailable.push('historical_fact_invalid');
+    const replayCases = cases.filter((_, index) => historical[index]?.qualification === 'direct_replay');
+    const counterfactuals = [];
+    if (design && unavailable.length === 0) {
+        // Names come from the existing host projection. The oracle below belongs
+        // ONLY to DesignGate, whose host has already scoped this invocation.
+        const actionTools = tools.filter((tool) => ['read', 'search', 'write', 'execute'].includes(tool.canonicalKind));
+        if (!actionTools.some((tool) => ['write', 'execute'].includes(tool.canonicalKind)))
+            unavailable.push('design_approval_action_projection_unavailable');
+        for (const [index, tool] of actionTools.entries()) {
+            const readonly = tool.canonicalKind === 'read' || tool.canonicalKind === 'search';
+            const base = { version: 1, sourceRef: 'system-counterfactual:design-approval', revision: 1,
+                requiresApproval: !readonly, taskRef: 'counterfactual-task', specDigest: 'counterfactual-spec', scopeRef: 'counterfactual-scope',
+                decisionTaskRef: 'counterfactual-task', decisionSpecDigest: 'counterfactual-spec', decisionScopeRef: 'counterfactual-scope', resolution: readonly ? 'not_required' : 'not_approved', revoked: false };
+            const variants = readonly
+                ? [{ name: 'outside-scope', fact: base, expected: 'allow' }]
+                : [
+                    { name: 'denied', fact: base, expected: 'block' },
+                    { name: 'approved', fact: { ...base, resolution: 'approved' }, expected: 'allow' },
+                    { name: 'not-required', fact: { ...base, requiresApproval: false, resolution: 'not_required' }, expected: 'allow' },
+                    { name: 'unknown', fact: { ...base, resolution: 'unknown', invalidationReason: 'source_unavailable' }, expected: 'allow' },
+                    { name: 'missing', expected: 'allow' },
+                    { name: 'revoked', fact: { ...base, revoked: true, invalidationReason: 'declaration_revoked' }, expected: 'block' },
+                    { name: 'binding-mismatch', fact: { ...base, decisionTaskRef: 'other-task', resolution: 'unknown', invalidationReason: 'task_mismatch' }, expected: 'allow' },
+                ];
+            const generatedActions = tool.canonicalKind === 'execute'
+                ? [{ command: 'node -e "process.stdout.write(123)"' }, { command: 'python -c "print(456)"' }]
+                : [{ path: '/counterfactual/first.ts', file_path: '/counterfactual/first.ts' }, { path: '/counterfactual/second.ts', file_path: '/counterfactual/second.ts' }];
+            const actions = [
+                ...generatedActions.map((params) => ({ params: { ...params, approved: true, designApproved: true }, seed: 'system-generated-action' })),
+                // Preserve real managed action shapes under every fact state as well.
+                // Read/search positives are not evidence of a managed approval scope.
+                ...cases.filter((entry) => !readonly && entry.toolName === tool.rawToolName
+                    && (entry.kind === 'negative' || entry.ruleContext?.facts.designGate?.requiresApproval === true))
+                    .map((entry) => ({ params: entry.params, seed: `historical-action:${entry.caseId}` })),
+            ];
+            for (const [actionIndex, action] of actions.entries()) {
+                for (const variant of variants) {
+                    counterfactuals.push({ caseId: `system-contract:design_approval:${index}:${actionIndex}:${variant.name}`, attackType: 'boundary', toolName: tool.rawToolName,
+                        params: { ...action.params }, expectedDecision: variant.expected,
+                        rationale: `system_counterfactual; contract=DesignGateFact/v1; seed=${action.seed}; ${variant.name}; synthetic invocation, never historical approval. Host scope is authoritative; params self-report is not.`,
+                        ruleContext: { ...UNAVAILABLE_RULE_CONTEXT, facts: { ...UNAVAILABLE_RULE_CONTEXT.facts, ...(variant.fact ? { designGate: variant.fact } : {}) } } });
+                }
+            }
+        }
+    }
+    return { required, unavailable, historical, replayCases, counterfactuals };
+}
+/** Existing system context injection, explicitly versioned and validated. */
+function isOwnerVerificationCases(value) {
+    return Array.isArray(value) && value.every((entry) => validateGoldenTraceCase(entry).valid
+        && typeof entry === 'object' && entry !== null
+        && (!Object.hasOwn(entry, 'ruleContext') || validateRuleContextV2(Reflect.get(entry, 'ruleContext')).valid));
+}
+export function readRuleCodeVerificationContext(items) {
+    let result;
+    for (const item of items) {
+        if (item.role !== 'system')
+            continue;
+        let parsed;
+        try {
+            parsed = JSON.parse(item.content);
+        }
+        catch {
+            continue;
+        }
+        if (typeof parsed !== 'object' || parsed === null || Array.isArray(parsed) || !Object.hasOwn(parsed, 'ruleCodeVerification'))
+            continue;
+        const value = Reflect.get(parsed, 'ruleCodeVerification');
+        if (typeof value !== 'object' || value === null || Array.isArray(value)
+            || Reflect.get(value, 'version') !== 1 || !isValidScribeExecutionConditionsV1(Reflect.get(value, 'executionConditions'))
+            || !Array.isArray(Reflect.get(value, 'tools')) || result !== undefined)
+            throw new Error('invalid_or_duplicate_rulecode_verification_context');
+        const rawTools = Reflect.get(value, 'tools');
+        if (!Array.isArray(rawTools))
+            throw new Error('invalid_rulecode_verification_tools');
+        const tools = [];
+        for (const tool of rawTools) {
+            if (typeof tool !== 'object' || tool === null || Array.isArray(tool))
+                throw new Error('invalid_rulecode_verification_tool');
+            const rawToolName = Reflect.get(tool, 'rawToolName');
+            const canonicalKind = Reflect.get(tool, 'canonicalKind');
+            if (typeof rawToolName !== 'string' || rawToolName.trim() === '' || typeof canonicalKind !== 'string'
+                || !['read', 'search', 'write', 'execute', 'agent', 'other'].includes(canonicalKind))
+                throw new Error('invalid_rulecode_verification_tool');
+            tools.push({ rawToolName, canonicalKind });
+        }
+        const rawOwnerCases = Reflect.get(value, 'ownerCases');
+        if (rawOwnerCases !== undefined && !isOwnerVerificationCases(rawOwnerCases))
+            throw new Error('invalid_rulecode_verification_owner_cases');
+        const ownerTrace = rawOwnerCases === undefined ? undefined : buildGoldenTraceFromArtificer({ cases: rawOwnerCases });
+        if (ownerTrace !== undefined && !ownerTrace.ok)
+            throw new Error('invalid_rulecode_verification_owner_cases');
+        result = { scribe: { executionConditions: Reflect.get(value, 'executionConditions') }, tools,
+            ...(ownerTrace?.ok ? { ownerCases: ownerTrace.trace.cases } : {}) };
+    }
+    return result;
+}
+export function isRuleCodeVerificationCoverage(value) {
+    if (typeof value !== 'object' || value === null || Array.isArray(value))
+        return false;
+    const isCount = (count) => typeof count === 'number' && Number.isSafeInteger(count) && count >= 0;
+    const strings = (items) => Array.isArray(items) && items.every((item) => typeof item === 'string' && item.trim() !== '');
+    if (!strings(Reflect.get(value, 'required')) || !strings(Reflect.get(value, 'unavailable')))
+        return false;
+    if (!['executed', 'passed', 'failed'].every((key) => isCount(Reflect.get(value, key))))
+        return false;
+    for (const key of ['historicalCoverage', 'contractCoverage']) {
+        const counts = Reflect.get(value, key);
+        if (typeof counts !== 'object' || counts === null || Array.isArray(counts)
+            || !['executed', 'passed', 'failed', 'unavailable'].every((field) => isCount(Reflect.get(counts, field))))
+            return false;
+        if (key === 'contractCoverage' && !isCount(Reflect.get(counts, 'required')))
+            return false;
+    }
+    const historical = Reflect.get(value, 'historical');
+    const synthetic = Reflect.get(value, 'counterfactuals');
+    if (!Array.isArray(historical) || !Array.isArray(synthetic))
+        return false;
+    return historical.every((entry) => typeof entry === 'object' && entry !== null && !Array.isArray(entry)
+        && typeof Reflect.get(entry, 'caseId') === 'string'
+        && ['direct_replay', 'historical_evidence_only', 'invalid_input'].includes(Reflect.get(entry, 'qualification'))
+        && strings(Reflect.get(entry, 'missingFacts')))
+        && synthetic.every((entry) => typeof entry === 'object' && entry !== null && !Array.isArray(entry)
+            && typeof Reflect.get(entry, 'caseId') === 'string' && Reflect.get(entry, 'source') === 'system_counterfactual'
+            && Reflect.get(entry, 'contract') === 'DesignGateFact/v1');
+}
+//# sourceMappingURL=rulecode-verification-obligations.js.map

package/dist/runtime-v2/internalization/rulecode-verification-obligations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rulecode-verification-obligations.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/rulecode-verification-obligations.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,OAAO,EAAE,0BAA0B,EAAE,kCAAkC,EAAE,MAAM,sBAAsB,CAAC;AACtG,OAAO,EAAE,gBAAgB,EAAuB,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAEvF,OAAO,EAAE,6BAA6B,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAG5F,iFAAiF;AACjF,MAAM,UAAU,gCAAgC,CAAC,UAA4G;IAC3J,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AACpJ,CAAC;AAcD,MAAM,UAAU,0BAA0B,CAAC,MAAe,EAAE,KAAiC,EAAE,KAAkF;IAC/K,MAAM,SAAS,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACtI,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,gCAAgC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,6BAA6B,IAAI,EAAE,CAAC,CAAC;IAC9N,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IACpD,MAAM,UAAU,GAAyD,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC3F,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;QACjD,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACxG,MAAM,OAAO,GAAG,MAAM,IAAI,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,CAAC,OAAO,IAAI,IAAI,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvG,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,eAAe,EAAE,YAAY,EAAE,CAAC;IACnK,CAAC,CAAC,CAAC;IACH,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,KAAK,eAAe,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACrH,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,aAAa,KAAK,eAAe,CAAC,CAAC;IACrG,MAAM,eAAe,GAAsB,EAAE,CAAC;IAC9C,IAAI,MAAM,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,yEAAyE;QACzE,qEAAqE;QACrE,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;QAChH,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;QACtJ,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,KAAK,MAAM,IAAI,IAAI,CAAC,aAAa,KAAK,QAAQ,CAAC;YAClF,MAAM,IAAI,GAAmB,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,uCAAuC,EAAE,QAAQ,EAAE,CAAC;gBACxG,gBAAgB,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,qBAAqB,EAAE,QAAQ,EAAE,sBAAsB;gBAChI,eAAe,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACxM,MAAM,QAAQ,GAA2E,QAAQ;gBAC/F,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;gBAC5D,CAAC,CAAC;oBACA,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;oBACjD,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;oBAClF,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;oBACnH,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;oBAC1H,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE;oBACtC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;oBACnH,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,eAAe,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,kBAAkB,EAAE,eAAe,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;iBAC9J,CAAC;YACJ,MAAM,gBAAgB,GAAG,IAAI,CAAC,aAAa,KAAK,SAAS;gBACvD,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,qCAAqC,EAAE,EAAE,EAAE,OAAO,EAAE,wBAAwB,EAAE,CAAC;gBAC7F,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,SAAS,EAAE,0BAA0B,EAAE,EAAE,EAAE,IAAI,EAAE,2BAA2B,EAAE,SAAS,EAAE,2BAA2B,EAAE,CAAC,CAAC;YACjK,MAAM,OAAO,GAAG;gBACd,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,yBAAyB,EAAE,CAAC,CAAC;gBACvI,sEAAsE;gBACtE,sEAAsE;gBACtE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,WAAW;uBACtE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,gBAAgB,KAAK,IAAI,CAAC,CAAC;qBAChG,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,qBAAqB,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;aACzF,CAAC;YACF,KAAK,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;gBACtD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;oBAC/B,eAAe,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,mCAAmC,KAAK,IAAI,WAAW,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,WAAW;wBAC1J,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,gBAAgB,EAAE,OAAO,CAAC,QAAQ;wBAChE,SAAS,EAAE,2DAA2D,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,4GAA4G;wBAC9M,WAAW,EAAE,EAAE,GAAG,wBAAwB,EAAE,KAAK,EAAE,EAAE,GAAG,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gBACzJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC;AAC7E,CAAC;AAED,6EAA6E;AAC7E,SAAS,wBAAwB,CAAC,KAAc;IAC9C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC,KAAK;WAC9F,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;WAC3C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,qBAAqB,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACjH,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,KAAqE;IACnH,IAAI,MAAyI,CAAC;IAC9I,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QACrC,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QAC9D,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC;YAAE,SAAS;QACvI,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;QACnE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;eAClE,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC;eACrH,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QAChJ,MAAM,QAAQ,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACrF,MAAM,KAAK,GAAqD,EAAE,CAAC;QACnE,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;YAC5H,MAAM,WAAW,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YAC9D,MAAM,aAAa,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAClE,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,OAAO,aAAa,KAAK,QAAQ;mBAChG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;YAC9I,KAAK,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,MAAM,aAAa,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAChE,IAAI,aAAa,KAAK,SAAS,IAAI,CAAC,wBAAwB,CAAC,aAAa,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC1I,MAAM,UAAU,GAAG,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,6BAA6B,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC;QACrH,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC7G,MAAM,GAAG,EAAE,MAAM,EAAE,EAAE,mBAAmB,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,qBAAqB,CAAC,EAAE,EAAE,KAAK;YAC1F,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACxE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,KAAc;IAC3D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,OAAO,GAAG,CAAC,KAAc,EAAW,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACpH,MAAM,OAAO,GAAG,CAAC,KAAc,EAAW,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC3I,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1G,IAAI,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrG,KAAK,MAAM,GAAG,IAAI,CAAC,oBAAoB,EAAE,kBAAkB,CAAC,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAChD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;eACrE,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1H,IAAI,GAAG,KAAK,kBAAkB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5F,CAAC;IACD,MAAM,UAAU,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1E,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;WAClG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,QAAQ;WAChD,CAAC,eAAe,EAAE,0BAA0B,EAAE,eAAe,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;WAC5G,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC;WAC5C,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;eAC7F,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,uBAAuB;eAC5G,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,mBAAmB,CAAC,CAAC;AACjE,CAAC"}

package/dist/runtime-v2/tools/artificer-l2-tool-contract.d.ts

@@ -1,3 +1,4 @@
+import type { GoldenTrace } from '../golden-trace.js';
 /**
  * PRI-439 §Phase 4 — Artificer L2 agent tool contract (core, pure logic).
  *
@@ -33,6 +34,15 @@ export interface ArtificerL2OutputCapture {
     output: unknown | null;
 }
 export interface ArtificerL2ToolContext {
+    /** System-produced declaration and host projection; never read from model tool arguments. */
+    readonly verificationInput?: {
+        readonly scribe: unknown;
+        readonly tools: readonly {
+            readonly rawToolName: string;
+            readonly canonicalKind: string;
+        }[];
+        readonly ownerCases?: readonly GoldenTrace['cases'][number][];
+    };
     /** Sandbox replay deps (real or test double). */
     gateDeps: RefinerRuleHostGateDeps;
     /** Artificer output validator (used by submit_rulecode for runtime validation). */

package/dist/runtime-v2/tools/artificer-l2-tool-contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"artificer-l2-tool-contract.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/tools/artificer-l2-tool-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,KAAK,EAAE,SAAS,EAAmB,MAAM,+BAA+B,CAAC;AAEhF,OAAO,EAAE,0BAA0B,EAA+B,MAAM,+BAA+B,CAAC;AAExG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6CAA6C,CAAC;AAE3F,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAOjF,MAAM,WAAW,wBAAwB;IACvC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;CACxB;AAID,MAAM,WAAW,sBAAsB;IACrC,iDAAiD;IACjD,QAAQ,EAAE,uBAAuB,CAAC;IAClC,mFAAmF;IACnF,SAAS,EAAE,kBAAkB,CAAC;IAC9B,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;IACf,kEAAkE;IAClE,aAAa,EAAE,wBAAwB,CAAC;IACxC,4EAA4E;IAC5E,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,CAAC;CACrF;AAoBD,OAAO,EAAE,0BAA0B,IAAI,oBAAoB,EAAE,CAAC;AAI9D;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB,QAuHnB,CAAC;AAIb;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,sBAAsB,GAAG,SAAS,EAAE,CA0L9E;AAED,wGAAwG;AACxG,eAAO,MAAM,2BAA2B,EAAE,WAAW,CAAC,MAAM,CAK1D,CAAC"}
+{"version":3,"file":"artificer-l2-tool-contract.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/tools/artificer-l2-tool-contract.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGtD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,KAAK,EAAE,SAAS,EAAmB,MAAM,+BAA+B,CAAC;AAEhF,OAAO,EAAE,0BAA0B,EAA+B,MAAM,+BAA+B,CAAC;AAExG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6CAA6C,CAAC;AAE3F,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAOjF,MAAM,WAAW,wBAAwB;IACvC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;CACxB;AAID,MAAM,WAAW,sBAAsB;IACrC,6FAA6F;IAC7F,QAAQ,CAAC,iBAAiB,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,SAAS;YAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;SAAE,EAAE,CAAC;QAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,EAAE,CAAA;KAAE,CAAC;IACtN,iDAAiD;IACjD,QAAQ,EAAE,uBAAuB,CAAC;IAClC,mFAAmF;IACnF,SAAS,EAAE,kBAAkB,CAAC;IAC9B,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;IACf,kEAAkE;IAClE,aAAa,EAAE,wBAAwB,CAAC;IACxC,4EAA4E;IAC5E,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,CAAC;CACrF;AAoBD,OAAO,EAAE,0BAA0B,IAAI,oBAAoB,EAAE,CAAC;AAI9D;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB,QA0HnB,CAAC;AAIb;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,sBAAsB,GAAG,SAAS,EAAE,CAqO9E;AAED,wGAAwG;AACxG,eAAO,MAAM,2BAA2B,EAAE,WAAW,CAAC,MAAM,CAK1D,CAAC"}

package/dist/runtime-v2/tools/artificer-l2-tool-contract.js

@@ -1,3 +1,6 @@
+import { deriveRuleCodeVerification } from '../internalization/rulecode-verification-obligations.js';
+import { buildIntentExecutionConditionsBlock } from '../internalization/artificer-prompt-builder.js';
+import { extractExecutionConditions } from '../internalization/intent-contract.js';
 import { Type } from 'typebox';
 import { ArtificerRuleOutputTypebox, GoldenTraceCaseInputTypebox } from './artificer-output-typebox.js';
 import { checkForbiddenPatterns, checkReturnStatementsMissingFields, checkMatchedFalseDecisions } from '../internalization/rule-code-validator.js';
@@ -87,7 +90,8 @@ export const RULECODE_SPEC_TEXT = [
     '    prompt, affectedTools and goldenTraceCases toolName MUST use those',
     '    host-real names — generic vocabulary (write_file, bash, ...) never fires.',
     '  - When input.context is undefined or context.history.status === "unavailable",',
-    '    the rule MUST allow (decision: "allow", matched: false).',
+    '    history-dependent behavior MUST allow; an independently supported declared fact',
+    '    such as facts.designGate remains readable and follows its own contract.',
     '    Unavailable context must never be interpreted as "no history" or "not done".',
     '  - Prefer context.facts (deterministic, host-computed) over raw context.history.calls.',
     '    Use canonicalKind from facts for kind-based logic; raw calls only when facts',
@@ -96,7 +100,8 @@ export const RULECODE_SPEC_TEXT = [
     '    history window means the host did not provide enough data, not that the',
     '    action did not happen.',
     '  - Rules declaring requiresContextVersion: 2 must handle context unavailability',
-    '    gracefully (return allow). v1 rules (no requiresContextVersion) must not',
+    '    gracefully for history-dependent checks; supported independent facts retain',
+    '    their declared contract. v1 rules (no requiresContextVersion) must not',
     '    read input.context and behave exactly as before.',
     '',
     'HELPERS (second argument):',
@@ -123,7 +128,8 @@ export const RULECODE_SPEC_TEXT = [
     '    submit validation — corrections are a runtime concern, never a golden-trace',
     '    expectation.',
     '  - ruleContext (REQUIRED on every case when requiresContextVersion: 2) must',
-    '    match the CONTEXT shape above EXACTLY: a plain object { version: 2, history',
+    '    match the CONTEXT base shape plus any declared supported fact fields:',
+    '    a plain object { version: 2, history',
     '    { status, truncated: boolean, calls: [...] }, facts { priorReadOfTarget,',
     '    readCount, writeCount, uniqueWritePathCount, sameActionBlockCount } }.',
     '    facts must be a plain object; counts must be non-negative numbers or null —',
@@ -157,6 +163,23 @@ export const RULECODE_SPEC_TEXT = [
  * only into the adapter-owned outputCapture).
  */
 export function buildArtificerL2Tools(ctx) {
+    const verificationTrace = (trace) => {
+        if (ctx.verificationInput === undefined)
+            return trace;
+        const ownerCases = ctx.verificationInput.ownerCases ?? [];
+        const cases = [...trace.cases.filter((entry) => !ownerCases.some((owner) => owner.caseId === entry.caseId)), ...ownerCases];
+        const material = deriveRuleCodeVerification(ctx.verificationInput.scribe, cases, ctx.verificationInput.tools);
+        if (material.unavailable.length > 0) {
+            const invalidCases = material.historical.filter((entry) => entry.qualification === 'invalid_input');
+            const correction = invalidCases.length === 0 ? '' : `; invalid model-supplied goldenTraceCases: ${invalidCases.map((entry) => entry.caseId).join(', ')}; field=ruleContext.facts.designGate; expected DesignGateFact/v1 with version, sourceRef, revision, requiresApproval, taskRef, specDigest, scopeRef, decisionTaskRef, decisionSpecDigest, decisionScopeRef, resolution, revoked. Non-unknown resolutions require consistent decision/task/spec/scope bindings. Correct synthetic model cases; never invent missing historical Owner facts. Historical cases without this fact remain evidence-only.`;
+            throw new Error(`required_fact_verification_unavailable:${material.unavailable.join(',')}${correction}`);
+        }
+        const synthetic = material.counterfactuals.map((entry) => ({
+            caseId: entry.caseId, kind: entry.expectedDecision === 'allow' ? 'positive' : 'negative', toolName: entry.toolName,
+            params: entry.params, expectedDecision: entry.expectedDecision, ruleContext: entry.ruleContext,
+        }));
+        return { ...trace, cases: [...material.replayCases, ...synthetic] };
+    };
     const readRulecodeSpecTool = {
         label: 'Read RuleCode spec',
         name: 'read_rulecode_spec',
@@ -166,7 +189,10 @@ export function buildArtificerL2Tools(ctx) {
             try {
                 ctx.onToolExecution?.({ toolName: 'read_rulecode_spec', ok: true });
                 return {
-                    content: [{ type: 'text', text: RULECODE_SPEC_TEXT }],
+                    content: [{ type: 'text', text: RULECODE_SPEC_TEXT + (ctx.verificationInput === undefined ? '' : (() => {
+                                const declaration = extractExecutionConditions(ctx.verificationInput.scribe);
+                                return declaration.conditions === null ? '' : buildIntentExecutionConditionsBlock(declaration.conditions);
+                            })()) }],
                     details: undefined,
                 };
             }
@@ -242,7 +268,7 @@ export function buildArtificerL2Tools(ctx) {
                     };
                 }
                 // Run the sandbox replay via the injected gate deps.
-                const gateResult = evaluateRefinerRuleHostGate({ code, goldenTrace: traceResult.trace }, ctx.gateDeps);
+                const gateResult = evaluateRefinerRuleHostGate({ code, goldenTrace: verificationTrace(traceResult.trace) }, ctx.gateDeps);
                 ctx.onToolExecution?.({ toolName: 'replay_rulecode', ok: gateResult.decision === 'accepted_shadow' });
                 if (gateResult.decision === 'accepted_shadow') {
                     return {
@@ -301,6 +327,30 @@ export function buildArtificerL2Tools(ctx) {
                         details: undefined,
                     };
                 }
+                // Submission independently enforces the system declaration even if the
+                // model skipped replay_rulecode or replayed different code previously.
+                if (ctx.verificationInput !== undefined) {
+                    const built = buildGoldenTraceFromArtificer({ cases: params.goldenTraceCases });
+                    if (!built.ok)
+                        throw new Error(`submission_trace_invalid:${built.reason}`);
+                    const gate = evaluateRefinerRuleHostGate({ code: params.implementationCode, goldenTrace: verificationTrace(built.trace) }, ctx.gateDeps);
+                    if (gate.decision !== 'accepted_shadow') {
+                        // Surface every authoritative rejection signal — not only failed
+                        // cases. Gate-level reasons (e.g. forbidden patterns, empty trace,
+                        // runtime misconfiguration) previously vanished from the model's
+                        // feedback and from telemetry.
+                        const detail = [
+                            ...gate.reasons,
+                            ...gate.sandboxResult.failedCases.map((entry) => `${entry.caseId}: ${entry.errorType}: ${entry.message}`),
+                            ...gate.sandboxResult.forbiddenPatternViolations.map((pattern) => `forbidden pattern: ${pattern}`),
+                        ].join('; ');
+                        ctx.onToolExecution?.({ toolName: 'submit_rulecode', ok: false, error: detail || `gate_decision:${gate.decision}` });
+                        return {
+                            content: [{ type: 'text', text: `REJECTED: required fact contract replay failed (${gate.decision})${detail.length > 0 ? `: ${detail}` : ''}` }],
+                            details: undefined,
+                        };
+                    }
+                }
                 // Store the captured output. The adapter's shouldStopAfterTurn detects
                 // this and terminates the loop; terminate:true is a secondary hint only
                 // (unreliable across a multi-tool batch — see l2-agent-loop-adapter.ts).

package/dist/runtime-v2/tools/artificer-l2-tool-contract.js.map

@@ -1 +1 @@
-{"version":3,"file":"artificer-l2-tool-contract.js","sourceRoot":"","sources":["../../../src/runtime-v2/tools/artificer-l2-tool-contract.ts"],"names":[],"mappings":"AA4BA,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAC/B,OAAO,EAAE,0BAA0B,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AACxG,OAAO,EAAE,sBAAsB,EAAE,kCAAkC,EAAE,0BAA0B,EAAE,MAAM,2CAA2C,CAAC;AAEnJ,OAAO,EAAE,2BAA2B,EAAE,MAAM,6CAA6C,CAAC;AAE1F,OAAO,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AAyBnE,gFAAgF;AAEhF,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAE/C,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,6DAA6D,EAAE,CAAC;CAClG,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,gDAAgD,EAAE,CAAC;IACpF,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE;QACxD,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,yEAAyE;KACvF,CAAC;CACH,CAAC,CAAC;AAEH,2FAA2F;AAC3F,OAAO,EAAE,0BAA0B,IAAI,oBAAoB,EAAE,CAAC;AAE9D,gFAAgF;AAEhF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,yCAAyC;IACzC,EAAE;IACF,iBAAiB;IACjB,uCAAuC;IACvC,8BAA8B;IAC9B,oHAAoH;IACpH,KAAK;IACL,EAAE;IACF,gEAAgE;IAChE,8CAA8C;IAC9C,8EAA8E;IAC9E,EAAE;IACF,+EAA+E;IAC/E,sEAAsE;IACtE,gEAAgE;IAChE,gCAAgC;IAChC,oEAAoE;IACpE,EAAE;IACF,qBAAqB;IACrB,oFAAoF;IACpF,6DAA6D;IAC7D,EAAE;IACF,kDAAkD;IAClD,0EAA0E;IAC1E,4DAA4D;IAC5D,0DAA0D;IAC1D,uCAAuC;IACvC,+DAA+D;IAC/D,EAAE;IACF,gFAAgF;IAChF,uCAAuC;IACvC,gFAAgF;IAChF,wDAAwD;IACxD,4FAA4F;IAC5F,wCAAwC;IACxC,8CAA8C;IAC9C,sEAAsE;IACtE,+EAA+E;IAC/E,EAAE;IACF,iEAAiE;IACjE,sCAAsC;IACtC,gEAAgE;IAChE,gEAAgE;IAChE,4CAA4C;IAC5C,sEAAsE;IACtE,uEAAuE;IACvE,4DAA4D;IAC5D,4DAA4D;IAC5D,4DAA4D;IAC5D,4DAA4D;IAC5D,EAAE;IACF,wCAAwC;IACxC,0EAA0E;IAC1E,8EAA8E;IAC9E,4EAA4E;IAC5E,wEAAwE;IACxE,+EAA+E;IAC/E,kFAAkF;IAClF,8DAA8D;IAC9D,kFAAkF;IAClF,yFAAyF;IACzF,kFAAkF;IAClF,wCAAwC;IACxC,8EAA8E;IAC9E,6EAA6E;IAC7E,4BAA4B;IAC5B,kFAAkF;IAClF,8EAA8E;IAC9E,sDAAsD;IACtD,EAAE;IACF,4BAA4B;IAC5B,+CAA+C;IAC/C,8CAA8C;IAC9C,8CAA8C;IAC9C,6EAA6E;IAC7E,8CAA8C;IAC9C,EAAE;IACF,mCAAmC;IACnC,6EAA6E;IAC7E,8DAA8D;IAC9D,8EAA8E;IAC9E,+EAA+E;IAC/E,2DAA2D;IAC3D,4EAA4E;IAC5E,+EAA+E;IAC/E,6DAA6D;IAC7D,EAAE;IACF,oEAAoE;IACpE,wGAAwG;IACxG,kFAAkF;IAClF,gFAAgF;IAChF,iFAAiF;IACjF,kBAAkB;IAClB,8EAA8E;IAC9E,iFAAiF;IACnF,8EAA8E;IAC9E,4EAA4E;IAC5E,iFAAiF;IACjF,iCAAiC;IAC/B,wEAAwE;IACxE,kFAAkF;IAClF,oFAAoF;IACpF,8EAA8E;IAC9E,4EAA4E;IAC5E,2EAA2E;IAC3E,8EAA8E;IAC9E,kEAAkE;IAClE,4EAA4E;IAC5E,4EAA4E;IAC5E,iFAAiF;IACjF,2DAA2D;IAC3D,EAAE;IACF,WAAW;IACX,yEAAyE;IACzE,0EAA0E;IAC1E,uFAAuF;IACvF,iFAAiF;IACjF,EAAE;CACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,iFAAiF;AAEjF;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAA2B;IAC/D,MAAM,oBAAoB,GAAwD;QAChF,KAAK,EAAE,oBAAoB;QAC3B,IAAI,EAAE,oBAAoB;QAC1B,WAAW,EACT,mMAAmM;QACrM,UAAU,EAAE,sBAAsB;QAClC,OAAO,EAAE,KAAK,IAAyC,EAAE;YACvD,IAAI,CAAC;gBACH,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBACpE,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;oBACrD,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC/D,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC5E,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,8BAA8B,KAAK,EAAE,EAAE,CAAC;oBACxE,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,MAAM,oBAAoB,GAAwD;QAChF,KAAK,EAAE,4BAA4B;QACnC,IAAI,EAAE,mBAAmB;QACzB,WAAW,EACT,6SAA6S;QAC/S,UAAU,EAAE,sBAAsB;QAClC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAuC,EAAE;YAClE,IAAI,CAAC;gBACH,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;gBACxB,MAAM,SAAS,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;gBAC/C,MAAM,aAAa,GAAG,kCAAkC,CAAC,IAAI,CAAC,CAAC;gBAC/D,MAAM,sBAAsB,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;gBAEhE,MAAM,aAAa,GAAG;oBACpB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,KAAK,EAAE,CAAC;oBAC1D,GAAG,aAAa;oBAChB,GAAG,sBAAsB;iBAC1B,CAAC;gBAEF,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,mBAAmB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBAEnE,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC/B,OAAO;wBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,8FAA8F,EAAE,CAAC;wBACjI,OAAO,EAAE,SAAS;qBACnB,CAAC;gBACJ,CAAC;gBAED,OAAO;oBACL,OAAO,EAAE,CAAC;4BACR,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,YAAY,aAAa,CAAC,MAAM,yBAAyB,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;yBACjH,CAAC;oBACF,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC/D,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,mBAAmB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC3E,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,6BAA6B,KAAK,EAAE,EAAE,CAAC;oBACvE,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,MAAM,kBAAkB,GAAsD;QAC5E,KAAK,EAAE,2BAA2B;QAClC,IAAI,EAAE,iBAAiB;QACvB,WAAW,EACT,gPAAgP;QAClP,UAAU,EAAE,oBAAoB;QAChC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAuC,EAAE;YAClE,IAAI,CAAC;gBACH,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAAC;gBAE1C,wDAAwD;gBACxD,MAAM,WAAW,GAAG,6BAA6B,CAAC;oBAChD,KAAK,EAAE,gBAAgB;oBACvB,gBAAgB,EAAE,SAAS;iBAC5B,CAAC,CAAC;gBACH,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;oBACpB,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;oBAC7F,OAAO;wBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,uCAAuC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;wBAC9F,OAAO,EAAE,SAAS;qBACnB,CAAC;gBACJ,CAAC;gBAED,qDAAqD;gBACrD,MAAM,UAAU,GAAG,2BAA2B,CAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,KAAK,EAAE,EACxC,GAAG,CAAC,QAAQ,CACb,CAAC;gBAEF,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,UAAU,CAAC,QAAQ,KAAK,iBAAiB,EAAE,CAAC,CAAC;gBAEtG,IAAI,UAAU,CAAC,QAAQ,KAAK,iBAAiB,EAAE,CAAC;oBAC9C,OAAO;wBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,yFAAyF,EAAE,CAAC;wBAC5H,OAAO,EAAE,SAAS;qBACnB,CAAC;gBACJ,CAAC;gBAED,4CAA4C;gBAC5C,MAAM,EAAE,aAAa,EAAE,GAAG,UAAU,CAAC;gBACrC,MAAM,eAAe,GAAG,aAAa,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;oBAC1D,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,MAAM,iBAAiB,CAAC,CAAC,SAAS,eAAe,CAAC,CAAC,OAAO,EAAE,CAAC;oBACrH,CAAC,CAAC,EAAE,CAAC;gBACP,MAAM,cAAc,GAAG,aAAa,CAAC,0BAA0B,CAAC,MAAM,GAAG,CAAC;oBACxE,CAAC,CAAC,aAAa,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,EAAE,CAAC;oBACpF,CAAC,CAAC,EAAE,CAAC;gBAEP,MAAM,KAAK,GAAG;oBACZ,WAAW,UAAU,CAAC,QAAQ,EAAE;oBAChC,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC5C,GAAG,eAAe;oBAClB,GAAG,cAAc;iBAClB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAEb,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;oBACxC,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC/D,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBACzE,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,2BAA2B,KAAK,EAAE,EAAE,CAAC;oBACrE,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,MAAM,kBAAkB,GAA4D;QAClF,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,iBAAiB;QACvB,WAAW,EACT,8WAA8W;QAChX,UAAU,EAAE,0BAA0B;QACtC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAuC,EAAE;YAClE,IAAI,CAAC;gBACH,sEAAsE;gBACtE,uEAAuE;gBACvE,wEAAwE;gBACxE,kCAAkC;gBAClC,MAAM,UAAU,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;gBACpE,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;oBACtB,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACvG,OAAO;wBACL,OAAO,EAAE,CAAC;gCACR,IAAI,EAAE,MAAM;gCACZ,IAAI,EAAE,sCAAsC,UAAU,CAAC,MAAM,CAAC,MAAM,eAAe,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,oDAAoD;6BAC3L,CAAC;wBACF,OAAO,EAAE,SAAS;qBACnB,CAAC;gBACJ,CAAC;gBAED,uEAAuE;gBACvE,wEAAwE;gBACxE,yEAAyE;gBACzE,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC;gBAClC,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBACjE,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;oBACtD,OAAO,EAAE,SAAS;oBAClB,SAAS,EAAE,IAAI;iBAChB,CAAC;YACJ,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC/D,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBACzE,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,2BAA2B,KAAK,EAAE,EAAE,CAAC;oBACrE,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,OAAO,CAAC,oBAAoB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;AAC9F,CAAC;AAED,wGAAwG;AACxG,MAAM,CAAC,MAAM,2BAA2B,GAAwB,IAAI,GAAG,CAAC;IACtE,oBAAoB;IACpB,mBAAmB;IACnB,iBAAiB;IACjB,iBAAiB;CAClB,CAAC,CAAC"}
+{"version":3,"file":"artificer-l2-tool-contract.js","sourceRoot":"","sources":["../../../src/runtime-v2/tools/artificer-l2-tool-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,MAAM,yDAAyD,CAAC;AAErG,OAAO,EAAE,mCAAmC,EAAE,MAAM,gDAAgD,CAAC;AACrG,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AA6BnF,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAC/B,OAAO,EAAE,0BAA0B,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AACxG,OAAO,EAAE,sBAAsB,EAAE,kCAAkC,EAAE,0BAA0B,EAAE,MAAM,2CAA2C,CAAC;AAEnJ,OAAO,EAAE,2BAA2B,EAAE,MAAM,6CAA6C,CAAC;AAE1F,OAAO,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AA2BnE,gFAAgF;AAEhF,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAE/C,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,6DAA6D,EAAE,CAAC;CAClG,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,gDAAgD,EAAE,CAAC;IACpF,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE;QACxD,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,yEAAyE;KACvF,CAAC;CACH,CAAC,CAAC;AAEH,2FAA2F;AAC3F,OAAO,EAAE,0BAA0B,IAAI,oBAAoB,EAAE,CAAC;AAE9D,gFAAgF;AAEhF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,yCAAyC;IACzC,EAAE;IACF,iBAAiB;IACjB,uCAAuC;IACvC,8BAA8B;IAC9B,oHAAoH;IACpH,KAAK;IACL,EAAE;IACF,gEAAgE;IAChE,8CAA8C;IAC9C,8EAA8E;IAC9E,EAAE;IACF,+EAA+E;IAC/E,sEAAsE;IACtE,gEAAgE;IAChE,gCAAgC;IAChC,oEAAoE;IACpE,EAAE;IACF,qBAAqB;IACrB,oFAAoF;IACpF,6DAA6D;IAC7D,EAAE;IACF,kDAAkD;IAClD,0EAA0E;IAC1E,4DAA4D;IAC5D,0DAA0D;IAC1D,uCAAuC;IACvC,+DAA+D;IAC/D,EAAE;IACF,gFAAgF;IAChF,uCAAuC;IACvC,gFAAgF;IAChF,wDAAwD;IACxD,4FAA4F;IAC5F,wCAAwC;IACxC,8CAA8C;IAC9C,sEAAsE;IACtE,+EAA+E;IAC/E,EAAE;IACF,iEAAiE;IACjE,sCAAsC;IACtC,gEAAgE;IAChE,gEAAgE;IAChE,4CAA4C;IAC5C,sEAAsE;IACtE,uEAAuE;IACvE,4DAA4D;IAC5D,4DAA4D;IAC5D,4DAA4D;IAC5D,4DAA4D;IAC5D,EAAE;IACF,wCAAwC;IACxC,0EAA0E;IAC1E,8EAA8E;IAC9E,4EAA4E;IAC5E,wEAAwE;IACxE,+EAA+E;IAC/E,kFAAkF;IAClF,qFAAqF;IACrF,6EAA6E;IAC7E,kFAAkF;IAClF,yFAAyF;IACzF,kFAAkF;IAClF,wCAAwC;IACxC,8EAA8E;IAC9E,6EAA6E;IAC7E,4BAA4B;IAC5B,kFAAkF;IAClF,iFAAiF;IACjF,4EAA4E;IAC5E,sDAAsD;IACtD,EAAE;IACF,4BAA4B;IAC5B,+CAA+C;IAC/C,8CAA8C;IAC9C,8CAA8C;IAC9C,6EAA6E;IAC7E,8CAA8C;IAC9C,EAAE;IACF,mCAAmC;IACnC,6EAA6E;IAC7E,8DAA8D;IAC9D,8EAA8E;IAC9E,+EAA+E;IAC/E,2DAA2D;IAC3D,4EAA4E;IAC5E,+EAA+E;IAC/E,6DAA6D;IAC7D,EAAE;IACF,oEAAoE;IACpE,wGAAwG;IACxG,kFAAkF;IAClF,gFAAgF;IAChF,iFAAiF;IACjF,kBAAkB;IAClB,8EAA8E;IAC9E,2EAA2E;IAC3E,0CAA0C;IAC5C,8EAA8E;IAC9E,4EAA4E;IAC5E,iFAAiF;IACjF,iCAAiC;IAC/B,wEAAwE;IACxE,kFAAkF;IAClF,oFAAoF;IACpF,8EAA8E;IAC9E,4EAA4E;IAC5E,2EAA2E;IAC3E,8EAA8E;IAC9E,kEAAkE;IAClE,4EAA4E;IAC5E,4EAA4E;IAC5E,iFAAiF;IACjF,2DAA2D;IAC3D,EAAE;IACF,WAAW;IACX,yEAAyE;IACzE,0EAA0E;IAC1E,uFAAuF;IACvF,iFAAiF;IACjF,EAAE;CACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,iFAAiF;AAEjF;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAA2B;IAC/D,MAAM,iBAAiB,GAAG,CAAC,KAAkB,EAAe,EAAE;QAC5D,IAAI,GAAG,CAAC,iBAAiB,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtD,MAAM,UAAU,GAAG,GAAG,CAAC,iBAAiB,CAAC,UAAU,IAAI,EAAE,CAAC;QAC1D,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC;QAC5H,MAAM,QAAQ,GAAG,0BAA0B,CAAC,GAAG,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC9G,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,MAAM,YAAY,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,KAAK,eAAe,CAAC,CAAC;YACpG,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,8CAA8C,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qbAAqb,CAAC;YAC5kB,MAAM,IAAI,KAAK,CAAC,0CAA0C,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,UAAU,EAAE,CAAC,CAAC;QAC3G,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,EAAgC,EAAE,CAAC,CAAC;YACvF,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,gBAAgB,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ;YAClH,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW;SAC/F,CAAC,CAAC,CAAC;QACJ,OAAO,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,WAAW,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC;IACtE,CAAC,CAAC;IACF,MAAM,oBAAoB,GAAwD;QAChF,KAAK,EAAE,oBAAoB;QAC3B,IAAI,EAAE,oBAAoB;QAC1B,WAAW,EACT,mMAAmM;QACrM,UAAU,EAAE,sBAAsB;QAClC,OAAO,EAAE,KAAK,IAAyC,EAAE;YACvD,IAAI,CAAC;gBACH,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBACpE,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,GAAG,CAAC,GAAG,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE;gCACrG,MAAM,WAAW,GAAG,0BAA0B,CAAC,GAAG,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;gCAC7E,OAAO,WAAW,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mCAAmC,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;4BAC5G,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;oBACR,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC/D,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC5E,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,8BAA8B,KAAK,EAAE,EAAE,CAAC;oBACxE,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,MAAM,oBAAoB,GAAwD;QAChF,KAAK,EAAE,4BAA4B;QACnC,IAAI,EAAE,mBAAmB;QACzB,WAAW,EACT,6SAA6S;QAC/S,UAAU,EAAE,sBAAsB;QAClC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAuC,EAAE;YAClE,IAAI,CAAC;gBACH,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;gBACxB,MAAM,SAAS,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;gBAC/C,MAAM,aAAa,GAAG,kCAAkC,CAAC,IAAI,CAAC,CAAC;gBAC/D,MAAM,sBAAsB,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;gBAEhE,MAAM,aAAa,GAAG;oBACpB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,KAAK,EAAE,CAAC;oBAC1D,GAAG,aAAa;oBAChB,GAAG,sBAAsB;iBAC1B,CAAC;gBAEF,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,mBAAmB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBAEnE,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC/B,OAAO;wBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,8FAA8F,EAAE,CAAC;wBACjI,OAAO,EAAE,SAAS;qBACnB,CAAC;gBACJ,CAAC;gBAED,OAAO;oBACL,OAAO,EAAE,CAAC;4BACR,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,YAAY,aAAa,CAAC,MAAM,yBAAyB,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;yBACjH,CAAC;oBACF,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC/D,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,mBAAmB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC3E,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,6BAA6B,KAAK,EAAE,EAAE,CAAC;oBACvE,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,MAAM,kBAAkB,GAAsD;QAC5E,KAAK,EAAE,2BAA2B;QAClC,IAAI,EAAE,iBAAiB;QACvB,WAAW,EACT,gPAAgP;QAClP,UAAU,EAAE,oBAAoB;QAChC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAuC,EAAE;YAClE,IAAI,CAAC;gBACH,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAAC;gBAE1C,wDAAwD;gBACxD,MAAM,WAAW,GAAG,6BAA6B,CAAC;oBAChD,KAAK,EAAE,gBAAgB;oBACvB,gBAAgB,EAAE,SAAS;iBAC5B,CAAC,CAAC;gBACH,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;oBACpB,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;oBAC7F,OAAO;wBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,uCAAuC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;wBAC9F,OAAO,EAAE,SAAS;qBACnB,CAAC;gBACJ,CAAC;gBAED,qDAAqD;gBACrD,MAAM,UAAU,GAAG,2BAA2B,CAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,iBAAiB,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,EAC3D,GAAG,CAAC,QAAQ,CACb,CAAC;gBAEF,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,UAAU,CAAC,QAAQ,KAAK,iBAAiB,EAAE,CAAC,CAAC;gBAEtG,IAAI,UAAU,CAAC,QAAQ,KAAK,iBAAiB,EAAE,CAAC;oBAC9C,OAAO;wBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,yFAAyF,EAAE,CAAC;wBAC5H,OAAO,EAAE,SAAS;qBACnB,CAAC;gBACJ,CAAC;gBAED,4CAA4C;gBAC5C,MAAM,EAAE,aAAa,EAAE,GAAG,UAAU,CAAC;gBACrC,MAAM,eAAe,GAAG,aAAa,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;oBAC1D,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,MAAM,iBAAiB,CAAC,CAAC,SAAS,eAAe,CAAC,CAAC,OAAO,EAAE,CAAC;oBACrH,CAAC,CAAC,EAAE,CAAC;gBACP,MAAM,cAAc,GAAG,aAAa,CAAC,0BAA0B,CAAC,MAAM,GAAG,CAAC;oBACxE,CAAC,CAAC,aAAa,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,EAAE,CAAC;oBACpF,CAAC,CAAC,EAAE,CAAC;gBAEP,MAAM,KAAK,GAAG;oBACZ,WAAW,UAAU,CAAC,QAAQ,EAAE;oBAChC,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC5C,GAAG,eAAe;oBAClB,GAAG,cAAc;iBAClB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAEb,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;oBACxC,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC/D,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBACzE,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,2BAA2B,KAAK,EAAE,EAAE,CAAC;oBACrE,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,MAAM,kBAAkB,GAA4D;QAClF,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,iBAAiB;QACvB,WAAW,EACT,8WAA8W;QAChX,UAAU,EAAE,0BAA0B;QACtC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAuC,EAAE;YAClE,IAAI,CAAC;gBACH,sEAAsE;gBACtE,uEAAuE;gBACvE,wEAAwE;gBACxE,kCAAkC;gBAClC,MAAM,UAAU,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;gBACpE,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;oBACtB,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACvG,OAAO;wBACL,OAAO,EAAE,CAAC;gCACR,IAAI,EAAE,MAAM;gCACZ,IAAI,EAAE,sCAAsC,UAAU,CAAC,MAAM,CAAC,MAAM,eAAe,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,oDAAoD;6BAC3L,CAAC;wBACF,OAAO,EAAE,SAAS;qBACnB,CAAC;gBACJ,CAAC;gBAED,uEAAuE;gBACvE,uEAAuE;gBACvE,IAAI,GAAG,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;oBACxC,MAAM,KAAK,GAAG,6BAA6B,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC;oBAChF,IAAI,CAAC,KAAK,CAAC,EAAE;wBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;oBAC3E,MAAM,IAAI,GAAG,2BAA2B,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,kBAAkB,EAAE,WAAW,EAAE,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACzI,IAAI,IAAI,CAAC,QAAQ,KAAK,iBAAiB,EAAE,CAAC;wBACxC,iEAAiE;wBACjE,mEAAmE;wBACnE,iEAAiE;wBACjE,+BAA+B;wBAC/B,MAAM,MAAM,GAAG;4BACb,GAAG,IAAI,CAAC,OAAO;4BACf,GAAG,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;4BACzG,GAAG,IAAI,CAAC,aAAa,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,sBAAsB,OAAO,EAAE,CAAC;yBACnG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBACb,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,IAAI,iBAAiB,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;wBACrH,OAAO;4BACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,mDAAmD,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;4BAC/I,OAAO,EAAE,SAAS;yBACnB,CAAC;oBACJ,CAAC;gBACH,CAAC;gBAED,uEAAuE;gBACvE,wEAAwE;gBACxE,yEAAyE;gBACzE,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC;gBAClC,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBACjE,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;oBACtD,OAAO,EAAE,SAAS;oBAClB,SAAS,EAAE,IAAI;iBAChB,CAAC;YACJ,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC/D,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBACzE,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,2BAA2B,KAAK,EAAE,EAAE,CAAC;oBACrE,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,OAAO,CAAC,oBAAoB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;AAC9F,CAAC;AAED,wGAAwG;AACxG,MAAM,CAAC,MAAM,2BAA2B,GAAwB,IAAI,GAAG,CAAC;IACtE,oBAAoB;IACpB,mBAAmB;IACnB,iBAAiB;IACjB,iBAAiB;CAClB,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@principles/core",
-  "version": "1.296.0",
+  "version": "1.296.1",
   "description": "Pure-logic core of Principles Disciple, an AI Agent Governance System - pain signal capture and principle proposal (no I/O)",
   "type": "module",
   "main": "./dist/index.js",