@gorules/zen-engine 1.0.0-beta.6 → 1.0.0-beta.7

package/index.d.ts

@@ -8,11 +8,14 @@ export type PolicySeverity = 'error' | 'warning' | 'hint';
 /** Text range, `[start, end)` byte offsets. */
 export type PolicySpan = [number, number];
 
-/** Rename target — a top-level entity, an entity field, or a global property. */
+/** Rename target — a top-level entity, an entity field, a global property,
+ *  or a property path within a graph document. */
 export type PolicyRenameTarget =
   | { kind: 'entity'; name: string }
   | { kind: 'field'; entity: string; field: string }
-  | { kind: 'global'; name: string };
+  | { kind: 'global'; name: string }
+  | { kind: 'graphProperty'; document: string; path: string }
+  | { kind: 'graphNode'; document: string; nodeId: string };
 
 /** What kind of span a cursor is sitting in, with any disambiguation. */
 export type PolicyCursorTarget =
@@ -24,7 +27,8 @@ export type PolicyCursorTarget =
   | { kind: 'decisionTableHead'; col: string }
   | { kind: 'decisionTableCell'; row: string; col: string }
   | { kind: 'dataModelName' }
-  | { kind: 'dataModelProperty'; id: string };
+  | { kind: 'dataModelProperty'; id: string }
+  | { kind: 'transformInput' };
 
 /**
  * How an entity field came into existence — declared by a DataModel
@@ -58,6 +62,13 @@ export type PolicyDiagnosticCode =
   | 'MAX_DEPTH_EXCEEDED'
   | 'IMPORT_NOT_FOUND'
   | 'CIRCULAR_IMPORT'
+  | 'UNSUPPORTED_NESTED_ITERATION'
+  | 'INVALID_GRAPH_STRUCTURE'
+  | 'UNREACHABLE_NODE'
+  | 'MISSING_INPUT_SCHEMA'
+  | 'UNRESOLVED_FUNCTION_TYPE'
+  | 'IMPLICIT_ANY'
+  | 'UNCHECKED_NODE'
   | 'REDUNDANT_NULLISH'
   | 'REPEATED_DERIVATION'
   | 'PREFER_MATCH'
@@ -82,6 +93,8 @@ export type PolicyVariableType =
 /** Language-agnostic symbol key for an infix operator. The client maps the key to a localized phrase. */
 export type NlOpSym =
   | 'gt' | 'gte' | 'lt' | 'lte' | 'eq' | 'ne' | 'in' | 'notIn'
+  | 'contains' | 'notContains'
+  | 'containsAny' | 'containsAll' | 'containsNone' | 'containsOnly'
   | 'add' | 'sub' | 'mul' | 'div' | 'mod' | 'pow'
   | 'and' | 'or' | 'not' | 'coalesce';
 
@@ -128,11 +141,19 @@ export interface NlEnumOption {
  * (`options` indexes the `enums` table), expected dates, or the operator choices valid for the
  * operand types — ordered comparisons only for number/date/unknown operands, eq/ne otherwise.
  */
+/**
+ * `quantSelect` marks a quantified-membership phrase (contains any/all/none/only). `subject` and
+ * `list` are ready-to-splice ZEN source slices; the client rebuilds the whole spanned expression
+ * from its canonical template for the picked symbol. `funcSelect` swaps a closure-function name
+ * in place (all/some/none); the token span covers exactly the name.
+ */
 export type NlEditHint =
   | { kind: 'datePicker' }
   | { kind: 'select'; options: number }
   | { kind: 'multiSelect'; options: number }
-  | { kind: 'opSelect'; options: NlOpChoice[] };
+  | { kind: 'opSelect'; options: NlOpChoice[] }
+  | { kind: 'quantSelect'; options: NlOpSym[]; subject: string; list: string }
+  | { kind: 'funcSelect'; options: string[] };
 
 /**
  * One token in the symbolic NL stream. Structure is explicit via the
@@ -251,6 +272,12 @@ export type PolicyEngineEdit =
       policyPath: string;
       afterBlockId?: string;
       newBlock: PolicyWireBlock;
+    }
+  | {
+      kind: 'replaceNode';
+      document: string;
+      nodeId: string;
+      newNode: unknown;
     };
 
 /**
@@ -362,13 +389,18 @@ export type PolicyBlockTrace =
       arms: { id: string; result: boolean }[];
     };
 
-export declare class PolicyWorkspace {
-  constructor()
+export declare class Workspace {
+  constructor(resolveFunctionType?: (source: string, inputType: PolicyVariableType) => string | null | undefined)
+  functionResolutionRequests(): Array<PolicyFunctionResolutionRequest>
+  setFunctionType(source: string, inputType: PolicyVariableType, tsType?: string | undefined | null): void
+  setDocument(path: string, document: any): void
   setPolicy(path: string, document: any): void
-  removePolicy(path: string): boolean
+  removePath(path: string): boolean
+  isGraph(path: string): boolean
+  uncheckedNodes(path: string): Array<string>
+  paths(): Array<string>
   updateBlock(req: PolicyUpdateBlockRequest): void
   removeBlock(req: PolicyRemoveBlockRequest): boolean
-  policyPaths(): Array<string>
   diagnostics(policyPath: string, maxDiagnostics?: number | undefined | null): Array<PolicyDiagnostic>
   allDiagnostics(maxDiagnostics?: number | undefined | null): Array<PolicyDiagnostic>
   entities(req: PolicyScopeRequest): Array<PolicyEntityInfo>
@@ -385,9 +417,10 @@ export declare class PolicyWorkspace {
   rename(req: PolicyRenameRequest): PolicyEngineEdit[]
   references(target: any): PolicyReferenceSite[]
   inputSkeleton(req: PolicyScopeRequest): unknown
-  dependencies(target: string): PolicyDependencyNode
+  dependencies(target: string, document?: string | undefined | null): PolicyDependencyNode
   evaluate(req: PolicyEvaluateRequest): PolicyEvaluationResult
   enhanceTrace(req: PolicyEvaluateRequest): PolicyEvaluationResult
+  enhanceGraphTrace(path: string, trace: Record<string, unknown>): PolicyTrace
   componentMembers(policy: string): Array<string>
   crossComponentWriteConflicts(): Array<PolicyWriteConflict>
 }
@@ -537,6 +570,11 @@ export interface PolicyFieldKindInfo {
   array?: boolean
 }
 
+export interface PolicyFunctionResolutionRequest {
+  source: string
+  inputType: PolicyVariableType
+}
+
 export interface PolicyGlobalInfo {
   name: string
   resolvedType: PolicyVariableType

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@gorules/zen-engine",
-  "version": "1.0.0-beta.6",
+  "version": "1.0.0-beta.7",
   "main": "index.js",
   "browser": "browser.js",
   "types": "./index.d.ts",
@@ -97,15 +97,15 @@
   "resolutions": {
     "form-data@^4.0.0": "4.0.4"
   },
-  "gitHead": "48cc2e38d5ef9c01dbf6a783ecff57a07eecc358",
+  "gitHead": "7c8f847c6d358686a653be7eba21e278b8d1e5db",
   "optionalDependencies": {
-    "@gorules/zen-engine-darwin-x64": "1.0.0-beta.6",
-    "@gorules/zen-engine-linux-x64-gnu": "1.0.0-beta.6",
-    "@gorules/zen-engine-linux-x64-musl": "1.0.0-beta.6",
-    "@gorules/zen-engine-win32-x64-msvc": "1.0.0-beta.6",
-    "@gorules/zen-engine-linux-arm64-gnu": "1.0.0-beta.6",
-    "@gorules/zen-engine-linux-arm64-musl": "1.0.0-beta.6",
-    "@gorules/zen-engine-darwin-arm64": "1.0.0-beta.6",
-    "@gorules/zen-engine-wasm32-wasi": "1.0.0-beta.6"
+    "@gorules/zen-engine-darwin-x64": "1.0.0-beta.7",
+    "@gorules/zen-engine-linux-x64-gnu": "1.0.0-beta.7",
+    "@gorules/zen-engine-linux-x64-musl": "1.0.0-beta.7",
+    "@gorules/zen-engine-win32-x64-msvc": "1.0.0-beta.7",
+    "@gorules/zen-engine-linux-arm64-gnu": "1.0.0-beta.7",
+    "@gorules/zen-engine-linux-arm64-musl": "1.0.0-beta.7",
+    "@gorules/zen-engine-darwin-arm64": "1.0.0-beta.7",
+    "@gorules/zen-engine-wasm32-wasi": "1.0.0-beta.7"
   }
 }