@dlovans/tenet-core 0.4.0 → 0.5.0

package/dist/core/engine.js

@@ -118,7 +118,7 @@ function applyAction(state, action, ruleId, lawRef) {
     }
     // Emit error if specified
     if (action.error_msg) {
-        addError(state, '', ruleId, 'runtime_warning', action.error_msg, lawRef);
+        addError(state, '', ruleId, action.error_kind ?? 'constraint_violation', action.error_msg, lawRef);
     }
 }
 /**

package/dist/core/lint.js

@@ -507,6 +507,19 @@ function checkAction(ctx, action, rulePath, ruleId, fieldsSetBy) {
             }
         }
     }
+    // Validate error_kind if present
+    if (action.error_kind !== undefined) {
+        const validKinds = new Set([
+            'type_mismatch', 'missing_required', 'constraint_violation',
+            'attestation_incomplete', 'runtime_warning', 'cycle_detected', 'notice',
+        ]);
+        if (typeof action.error_kind !== 'string' || !validKinds.has(action.error_kind)) {
+            addIssue(ctx, 'error', 'invalid_error_kind', `Rule '${ruleId}' has invalid error_kind '${action.error_kind}'`, {
+                path: `${rulePath}.then.error_kind`,
+                rule_id: ruleId,
+            });
+        }
+    }
     if (action.ui_modify) {
         for (const field of Object.keys(action.ui_modify)) {
             // W18: ui_modify targets undefined field

package/dist/core/types.d.ts

@@ -86,6 +86,7 @@ export interface Action {
     set?: Record<string, unknown>;
     ui_modify?: Record<string, unknown>;
     error_msg?: string;
+    error_kind?: ErrorKind;
 }
 export interface TemporalBranch {
     valid_range: [string | null, string | null];
@@ -99,7 +100,7 @@ export interface StateModel {
 export interface DerivedDef {
     eval: Record<string, unknown>;
 }
-export type ErrorKind = 'type_mismatch' | 'missing_required' | 'constraint_violation' | 'attestation_incomplete' | 'runtime_warning' | 'cycle_detected';
+export type ErrorKind = 'type_mismatch' | 'missing_required' | 'constraint_violation' | 'attestation_incomplete' | 'runtime_warning' | 'cycle_detected' | 'notice';
 export interface ValidationError {
     field_id?: string;
     rule_id?: string;

package/dist/core/validate.d.ts

@@ -17,5 +17,6 @@ export declare function validateDefinitions(state: EvalState): void;
 export declare function checkAttestations(state: EvalState, applyAction: (action: Action, ruleId: string, lawRef: string) => void): void;
 /**
  * Determine document status based on ErrorKind.
+ * Non-blocking kinds (runtime_warning, cycle_detected, notice) do not affect status.
  */
 export declare function determineStatus(state: EvalState): DocStatus;

package/dist/core/validate.js

@@ -180,6 +180,7 @@ export function checkAttestations(state, applyAction) {
 }
 /**
  * Determine document status based on ErrorKind.
+ * Non-blocking kinds (runtime_warning, cycle_detected, notice) do not affect status.
  */
 export function determineStatus(state) {
     for (const err of state.errors) {

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@dlovans/tenet-core",
-    "version": "0.4.0",
+    "version": "0.5.0",
     "type": "module",
     "description": "Declarative logic VM for JSON schemas - reactive validation, temporal routing, and computed state",
     "main": "dist/index.js",