@degenerate/rules 0.6.0 → 0.7.0

package/dist/evaluation/evaluate-rules-via-sandbox.d.ts

@@ -0,0 +1,27 @@
+import { IShareData, IShareRuleApplied, IShareRulesEvaluationResult, RuleEvaluator } from '@degenerate/generic';
+/** Default per-rule gas ceiling when the caller does not pin one. */
+export declare const DEFAULT_RULE_GAS_LIMIT = 600;
+export interface EvaluateRulesViaSandboxOptions {
+    ruleEvaluator?: RuleEvaluator;
+    gasLimit?: number;
+}
+export interface RulesViaSandboxResult {
+    isValidProposal: boolean;
+    rulesResults: IShareRulesEvaluationResult[];
+}
+/**
+ * Routing-preserving, sandboxed rule evaluation — the runtime counterpart of
+ * `startRuleEvaluation`'s rule phase. The TRUSTED per-property routing runs
+ * in-process exactly as the engine does (`getRootPropertyDifferences`, OR within
+ * a property, AND across changed properties via `checkIfProposalIsValid`); each
+ * individual rule's verdict is computed by running its compiled predicate in the
+ * (untrusted) sandbox.
+ *
+ * Because `compileRuleToSource` is faithfulness-proven (a rule's compiled verdict
+ * equals the engine's `currentResult && proposedResult`) and the routing is
+ * reused verbatim, `isValidProposal` matches `startRuleEvaluation`. Assumes the
+ * data has changed — the apply path enforces that separately, exactly as the
+ * engine's `determineIfDataHasChanged` guard does.
+ */
+export declare const evaluateRulesViaSandbox: (appliedRules: IShareRuleApplied[], shareDataCurrent: IShareData, shareDataProposed: IShareData, options?: EvaluateRulesViaSandboxOptions) => Promise<RulesViaSandboxResult>;
+//# sourceMappingURL=evaluate-rules-via-sandbox.d.ts.map

package/dist/evaluation/evaluate-rules-via-sandbox.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate-rules-via-sandbox.d.ts","sourceRoot":"","sources":["../../src/evaluation/evaluate-rules-via-sandbox.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,UAAU,EACV,iBAAiB,EACjB,2BAA2B,EAC3B,aAAa,EAChB,MAAM,qBAAqB,CAAC;AAI7B,qEAAqE;AACrE,eAAO,MAAM,sBAAsB,MAAM,CAAC;AAE1C,MAAM,WAAW,8BAA8B;IAC3C,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,qBAAqB;IAClC,eAAe,EAAE,OAAO,CAAC;IACzB,YAAY,EAAE,2BAA2B,EAAE,CAAC;CAC/C;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,uBAAuB,GAChC,cAAc,iBAAiB,EAAE,EACjC,kBAAkB,UAAU,EAC5B,mBAAmB,UAAU,EAC7B,UAAS,8BAAmC,KAC7C,OAAO,CAAC,qBAAqB,CAkC/B,CAAC"}

package/dist/evaluation/evaluate-rules-via-sandbox.js

@@ -0,0 +1,56 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.evaluateRulesViaSandbox = exports.DEFAULT_RULE_GAS_LIMIT = void 0;
+const generic_1 = require("@degenerate/generic");
+const check_if_proposal_is_valid_1 = require("./check-if-proposal-is-valid");
+const get_data_changed_information_1 = require("./get-data-changed-information");
+/** Default per-rule gas ceiling when the caller does not pin one. */
+exports.DEFAULT_RULE_GAS_LIMIT = 600;
+/**
+ * Routing-preserving, sandboxed rule evaluation — the runtime counterpart of
+ * `startRuleEvaluation`'s rule phase. The TRUSTED per-property routing runs
+ * in-process exactly as the engine does (`getRootPropertyDifferences`, OR within
+ * a property, AND across changed properties via `checkIfProposalIsValid`); each
+ * individual rule's verdict is computed by running its compiled predicate in the
+ * (untrusted) sandbox.
+ *
+ * Because `compileRuleToSource` is faithfulness-proven (a rule's compiled verdict
+ * equals the engine's `currentResult && proposedResult`) and the routing is
+ * reused verbatim, `isValidProposal` matches `startRuleEvaluation`. Assumes the
+ * data has changed — the apply path enforces that separately, exactly as the
+ * engine's `determineIfDataHasChanged` guard does.
+ */
+const evaluateRulesViaSandbox = async (appliedRules, shareDataCurrent, shareDataProposed, options = {}) => {
+    const evaluator = options.ruleEvaluator ?? (0, generic_1.createInProcessRuleEvaluator)();
+    const gasLimit = options.gasLimit ?? exports.DEFAULT_RULE_GAS_LIMIT;
+    const differentRootProperties = (0, get_data_changed_information_1.getRootPropertyDifferences)(shareDataCurrent, shareDataProposed);
+    const rulesResults = [];
+    for (const rootParam of differentRootProperties) {
+        const rulesForProperty = appliedRules.filter((rule) => rule.targettedProperty === rootParam);
+        const result = {
+            rootParam,
+            shareRuleEvalutionResults: [],
+            passedRuleCheck: false,
+            passedRuleId: '',
+        };
+        // OR within a property: the first passing rule wins (matches the engine).
+        for (const rule of rulesForProperty) {
+            const verdict = await evaluator.evaluate({
+                source: (0, generic_1.compileRuleToSource)(rule),
+                current: shareDataCurrent,
+                proposed: shareDataProposed,
+                gasLimit,
+            });
+            if (verdict.passed === true) {
+                result.passedRuleCheck = true;
+                result.passedRuleId = rule.ruleId;
+                break;
+            }
+        }
+        rulesResults.push(result);
+    }
+    // AND across changed properties: every changed property needs a passing rule.
+    const isValidProposal = (0, check_if_proposal_is_valid_1.checkIfProposalIsValid)(differentRootProperties.length, rulesResults);
+    return { isValidProposal, rulesResults };
+};
+exports.evaluateRulesViaSandbox = evaluateRulesViaSandbox;

package/dist/evaluation/index.d.ts

@@ -13,6 +13,7 @@ export * from './determine-if-data-has-changed';
 export * from './evaluate-rule';
 export * from './evaluate-rule-conditions';
 export * from './evaluate-rules';
+export * from './evaluate-rules-via-sandbox';
 export * from './get-data-changed-information';
 export * from './get-root-property-results';
 export * from './start-rule-evaluation';

package/dist/evaluation/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/evaluation/index.ts"],"names":[],"mappings":"AAEA,cAAc,iCAAiC,CAAC;AAChD,cAAc,kCAAkC,CAAC;AACjD,cAAc,+BAA+B,CAAC;AAC9C,cAAc,kCAAkC,CAAC;AACjD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,+BAA+B,CAAC;AAC9C,cAAc,iCAAiC,CAAC;AAChD,cAAc,yCAAyC,CAAC;AACxD,cAAc,gCAAgC,CAAC;AAI/C,cAAc,4BAA4B,CAAC;AAC3C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,iCAAiC,CAAC;AAChD,cAAc,iBAAiB,CAAC;AAChC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,kBAAkB,CAAC;AACjC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,6BAA6B,CAAC;AAC5C,cAAc,yBAAyB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/evaluation/index.ts"],"names":[],"mappings":"AAEA,cAAc,iCAAiC,CAAC;AAChD,cAAc,kCAAkC,CAAC;AACjD,cAAc,+BAA+B,CAAC;AAC9C,cAAc,kCAAkC,CAAC;AACjD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,+BAA+B,CAAC;AAC9C,cAAc,iCAAiC,CAAC;AAChD,cAAc,yCAAyC,CAAC;AACxD,cAAc,gCAAgC,CAAC;AAI/C,cAAc,4BAA4B,CAAC;AAC3C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,iCAAiC,CAAC;AAChD,cAAc,iBAAiB,CAAC;AAChC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,kBAAkB,CAAC;AACjC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,6BAA6B,CAAC;AAC5C,cAAc,yBAAyB,CAAC"}

package/dist/evaluation/index.js

@@ -31,6 +31,7 @@ __exportStar(require("./determine-if-data-has-changed"), exports);
 __exportStar(require("./evaluate-rule"), exports);
 __exportStar(require("./evaluate-rule-conditions"), exports);
 __exportStar(require("./evaluate-rules"), exports);
+__exportStar(require("./evaluate-rules-via-sandbox"), exports);
 __exportStar(require("./get-data-changed-information"), exports);
 __exportStar(require("./get-root-property-results"), exports);
 __exportStar(require("./start-rule-evaluation"), exports);

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@degenerate/rules",
   "description": "This contains the rules information needed for the ShareData Adaptive Framework Ecosystem (SAFE) network.",
-  "version": "0.6.0",
+  "version": "0.7.0",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
   "exports": {
@@ -44,9 +44,9 @@
   "homepage": "https://github.com/syncrude/safe#readme",
   "author": "Degenerate Inc.",
   "license": "ISC",
-  "gitHead": "c8c1a2f456cdb01a74f85779275b246361e33b81",
+  "gitHead": "1f747e160c9022863c7b2d7b8a6a157f204be95b",
   "dependencies": {
-    "@degenerate/generic": "^0.6.0",
+    "@degenerate/generic": "^0.7.0",
     "zod": "^4.4.3"
   },
   "engines": {