runmat 0.6.1-dev.1 → 0.6.2-dev.0

package/dist/generated/builtins/mustBeGreaterThan.js.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeGreaterThan.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeGreaterThan.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,mBAAmB;IAC5B,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,mBAAmB;QACnB,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,4DAA4D;IACvE,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,+EAA+E;KACzF;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qFAAqF;QAC7F,aAAa,EAAE,2IAA2I;KAC3J;IACD,aAAa,EAAE,gaAAga;IAC/a,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,yBAAyB;YAClC,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,KAAK,EAAE,mBAAmB;IAC1B,MAAM,EAAE,mBAAmB;IAC3B,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeGreaterThan.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeGreaterThan.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,mBAAmB;IAC5B,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,mBAAmB;QACnB,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,4DAA4D;IACvE,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,6MAA6M;KACvN;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qCAAqC;QAC7C,aAAa,EAAE,sFAAsF;KACtG;IACD,aAAa,EAAE,iqBAAiqB;IAChrB,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;QAC7I,qMAAqM;QACrM,oKAAoK;QACpK,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,yBAAyB;YAClC,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,eAAe,EAAE,8LAA8L;IAC/M,cAAc,EAAE;QACd,wNAAwN;KACzN;IACD,KAAK,EAAE,mBAAmB;IAC1B,MAAM,EAAE,mBAAmB;IAC3B,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeGreaterThanOrEqual.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeGreaterThanOrEqual.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeGreaterThanOrEqual.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UA4DjB,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeGreaterThanOrEqual.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeGreaterThanOrEqual.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UAmEjB,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeGreaterThanOrEqual.js

@@ -15,7 +15,7 @@ const builtinDoc = {
         "reduction": false,
         "precisions": [],
         "broadcasting": "none",
-        "notes": "Validators run on host values and metadata; they throw on validation failure."
+        "notes": "Validation uses coherent resident metadata when the result is type- or shape-decidable; content-dependent checks download exact typed values through the owning provider without changing source residency."
     },
     "fusion": {
         "elementwise": false,
@@ -25,15 +25,18 @@ const builtinDoc = {
     },
     "requires_feature": null,
     "tested": {
-        "unit": "crates/runmat-runtime/src/builtins/common/validation.rs table-style pass/fail tests",
-        "integration": "Representative callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs; not every validator has a dedicated VM case."
+        "unit": "builtins::common::validation::tests",
+        "integration": "Durable callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs"
     },
-    "description": "`mustBeGreaterThanOrEqual` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented.",
+    "description": "`mustBeGreaterThanOrEqual` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented. Integer inputs are validated or rejected from their exact class and values. Resident metadata is validated before any provider access, automatic residency remains transparent, and unsupported explicit gpuArray forms are compatibility-gated before download.",
     "behaviors": [
         "Callable validator forms enforce exact supported arity, throw on validation failure, and suppress automatic output on success.",
         "Arguments-block validation uses the same shared runtime predicates for validators that RunMat can encode statically.",
         "Numeric validators check every element without materializing a cloned numeric array, including sparse stored values and implicit sparse zeros where relevant.",
-        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them."
+        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them.",
+        "All eight integer classes are classified from authoritative storage; exact ordering, range, membership, sign, zero, finiteness, and missingness checks never reconstruct wide values from binary64.",
+        "Resident validation verifies owner, physical storage, precision, logical/integer class, and wrapper provenance before using metadata or downloading exact content.",
+        "Automatic residency remains transparent; explicit gpuArray input is accepted only for documented forms or a declared RunMat-only extension."
     ],
     "examples": [
         {
@@ -54,6 +57,10 @@ const builtinDoc = {
             "url": "../language/arguments"
         }
     ],
+    "gpu_residency": "Metadata-decidable validators avoid download. Content-dependent validators use a non-destructive exact-owner download and leave the source handle, class, payload, and provenance unchanged.",
+    "gpu_behavior": [
+        "Validation does not use the generic message-based gather retry path. Integrity and compatibility failures are terminal; admitted content checks download typed storage deliberately through the exact owning provider."
+    ],
     "key": "mustbegreaterthanorequal",
     "slug": "mustbegreaterthanorequal",
     "aliases": [],

package/dist/generated/builtins/mustBeGreaterThanOrEqual.js.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeGreaterThanOrEqual.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeGreaterThanOrEqual.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,0BAA0B;IACnC,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,0BAA0B;QAC1B,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,wEAAwE;IACnF,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,+EAA+E;KACzF;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qFAAqF;QAC7F,aAAa,EAAE,2IAA2I;KAC3J;IACD,aAAa,EAAE,uaAAua;IACtb,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,gCAAgC;YACzC,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,KAAK,EAAE,0BAA0B;IACjC,MAAM,EAAE,0BAA0B;IAClC,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeGreaterThanOrEqual.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeGreaterThanOrEqual.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,0BAA0B;IACnC,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,0BAA0B;QAC1B,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,wEAAwE;IACnF,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,6MAA6M;KACvN;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qCAAqC;QAC7C,aAAa,EAAE,sFAAsF;KACtG;IACD,aAAa,EAAE,wqBAAwqB;IACvrB,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;QAC7I,qMAAqM;QACrM,oKAAoK;QACpK,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,gCAAgC;YACzC,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,eAAe,EAAE,8LAA8L;IAC/M,cAAc,EAAE;QACd,wNAAwN;KACzN;IACD,KAAK,EAAE,0BAA0B;IACjC,MAAM,EAAE,0BAA0B;IAClC,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeInRange.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeInRange.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeInRange.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UA6DjB,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeInRange.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeInRange.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UAoEjB,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeInRange.js

@@ -15,7 +15,7 @@ const builtinDoc = {
         "reduction": false,
         "precisions": [],
         "broadcasting": "none",
-        "notes": "Validators run on host values and metadata; they throw on validation failure."
+        "notes": "Validation uses coherent resident metadata when the result is type- or shape-decidable; content-dependent checks download exact typed values through the owning provider without changing source residency."
     },
     "fusion": {
         "elementwise": false,
@@ -25,16 +25,19 @@ const builtinDoc = {
     },
     "requires_feature": null,
     "tested": {
-        "unit": "crates/runmat-runtime/src/builtins/common/validation.rs table-style pass/fail tests",
-        "integration": "Representative callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs; not every validator has a dedicated VM case."
+        "unit": "builtins::common::validation::tests",
+        "integration": "Durable callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs"
     },
-    "description": "`mustBeInRange` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented.",
+    "description": "`mustBeInRange` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented. Integer inputs are validated or rejected from their exact class and values. Resident metadata is validated before any provider access, automatic residency remains transparent, and unsupported explicit gpuArray forms are compatibility-gated before download.",
     "behaviors": [
         "Callable validator forms enforce exact supported arity, throw on validation failure, and suppress automatic output on success.",
         "Arguments-block validation uses the same shared runtime predicates for validators that RunMat can encode statically.",
         "Numeric validators check every element without materializing a cloned numeric array, including sparse stored values and implicit sparse zeros where relevant.",
         "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them.",
-        "`mustBeInRange` supports default inclusive bounds, a single `\"inclusive\"` or `\"exclusive\"` flag, two per-bound `\"inclusive\"`/`\"exclusive\"` flags, and compatibility aliases for excluding one bound."
+        "`mustBeInRange` supports default inclusive bounds, a single `\"inclusive\"` or `\"exclusive\"` flag, two per-bound `\"inclusive\"`/`\"exclusive\"` flags, and compatibility aliases for excluding one bound.",
+        "All eight integer classes are classified from authoritative storage; exact ordering, range, membership, sign, zero, finiteness, and missingness checks never reconstruct wide values from binary64.",
+        "Resident validation verifies owner, physical storage, precision, logical/integer class, and wrapper provenance before using metadata or downloading exact content.",
+        "Automatic residency remains transparent; explicit gpuArray input is accepted only for documented forms or a declared RunMat-only extension."
     ],
     "examples": [
         {
@@ -55,6 +58,10 @@ const builtinDoc = {
             "url": "../language/arguments"
         }
     ],
+    "gpu_residency": "Metadata-decidable validators avoid download. Content-dependent validators use a non-destructive exact-owner download and leave the source handle, class, payload, and provenance unchanged.",
+    "gpu_behavior": [
+        "Validation does not use the generic message-based gather retry path. Integrity and compatibility failures are terminal; admitted content checks download typed storage deliberately through the exact owning provider."
+    ],
     "key": "mustbeinrange",
     "slug": "mustbeinrange",
     "aliases": [],

package/dist/generated/builtins/mustBeInRange.js.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeInRange.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeInRange.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,eAAe;IACxB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,eAAe;QACf,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,kHAAkH;IAC7H,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,+EAA+E;KACzF;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qFAAqF;QAC7F,aAAa,EAAE,2IAA2I;KAC3J;IACD,aAAa,EAAE,4ZAA4Z;IAC3a,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;QAC7I,8MAA8M;KAC/M;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,uCAAuC;YAChD,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,KAAK,EAAE,eAAe;IACtB,MAAM,EAAE,eAAe;IACvB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeInRange.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeInRange.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,eAAe;IACxB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,eAAe;QACf,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,kHAAkH;IAC7H,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,6MAA6M;KACvN;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qCAAqC;QAC7C,aAAa,EAAE,sFAAsF;KACtG;IACD,aAAa,EAAE,6pBAA6pB;IAC5qB,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;QAC7I,8MAA8M;QAC9M,qMAAqM;QACrM,oKAAoK;QACpK,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,uCAAuC;YAChD,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,eAAe,EAAE,8LAA8L;IAC/M,cAAc,EAAE;QACd,wNAAwN;KACzN;IACD,KAAK,EAAE,eAAe;IACtB,MAAM,EAAE,eAAe;IACvB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeInteger.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeInteger.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeInteger.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UA4DjB,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeInteger.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeInteger.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UAoEjB,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeInteger.js

@@ -15,7 +15,7 @@ const builtinDoc = {
         "reduction": false,
         "precisions": [],
         "broadcasting": "none",
-        "notes": "Validators run on host values and metadata; they throw on validation failure."
+        "notes": "Validation uses coherent resident metadata when the result is type- or shape-decidable; content-dependent checks download exact typed values through the owning provider without changing source residency."
     },
     "fusion": {
         "elementwise": false,
@@ -25,15 +25,19 @@ const builtinDoc = {
     },
     "requires_feature": null,
     "tested": {
-        "unit": "crates/runmat-runtime/src/builtins/common/validation.rs table-style pass/fail tests",
-        "integration": "Representative callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs; not every validator has a dedicated VM case."
+        "unit": "builtins::common::validation::tests",
+        "integration": "Durable callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs",
+        "gpu": "builtins::common::validation::tests::wgpu_resident_integer_validators_preserve_exact_source_and_provenance"
     },
-    "description": "`mustBeInteger` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented.",
+    "description": "`mustBeInteger` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented. Integer inputs are validated or rejected from their exact class and values. Resident metadata is validated before any provider access, automatic residency remains transparent, and unsupported explicit gpuArray forms are compatibility-gated before download.",
     "behaviors": [
         "Callable validator forms enforce exact supported arity, throw on validation failure, and suppress automatic output on success.",
         "Arguments-block validation uses the same shared runtime predicates for validators that RunMat can encode statically.",
         "Numeric validators check every element without materializing a cloned numeric array, including sparse stored values and implicit sparse zeros where relevant.",
-        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them."
+        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them.",
+        "All eight integer classes are classified from authoritative storage; exact ordering, range, membership, sign, zero, finiteness, and missingness checks never reconstruct wide values from binary64.",
+        "Resident validation verifies owner, physical storage, precision, logical/integer class, and wrapper provenance before using metadata or downloading exact content.",
+        "Automatic residency remains transparent; explicit gpuArray input is accepted only for documented forms or a declared RunMat-only extension."
     ],
     "examples": [
         {
@@ -54,6 +58,10 @@ const builtinDoc = {
             "url": "../language/arguments"
         }
     ],
+    "gpu_residency": "Metadata-decidable validators avoid download. Content-dependent validators use a non-destructive exact-owner download and leave the source handle, class, payload, and provenance unchanged.",
+    "gpu_behavior": [
+        "Validation does not use the generic message-based gather retry path. Integrity and compatibility failures are terminal; admitted content checks download typed storage deliberately through the exact owning provider."
+    ],
     "key": "mustbeinteger",
     "slug": "mustbeinteger",
     "aliases": [],

package/dist/generated/builtins/mustBeInteger.js.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeInteger.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeInteger.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,eAAe;IACxB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,eAAe;QACf,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,kDAAkD;IAC7D,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,+EAA+E;KACzF;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qFAAqF;QAC7F,aAAa,EAAE,2IAA2I;KAC3J;IACD,aAAa,EAAE,4ZAA4Z;IAC3a,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,kBAAkB;YAC3B,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,KAAK,EAAE,eAAe;IACtB,MAAM,EAAE,eAAe;IACvB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeInteger.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeInteger.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,eAAe;IACxB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,eAAe;QACf,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,kDAAkD;IAC7D,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,6MAA6M;KACvN;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qCAAqC;QAC7C,aAAa,EAAE,sFAAsF;QACrG,KAAK,EAAE,4GAA4G;KACpH;IACD,aAAa,EAAE,6pBAA6pB;IAC5qB,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;QAC7I,qMAAqM;QACrM,oKAAoK;QACpK,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,kBAAkB;YAC3B,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,eAAe,EAAE,8LAA8L;IAC/M,cAAc,EAAE;QACd,wNAAwN;KACzN;IACD,KAAK,EAAE,eAAe;IACtB,MAAM,EAAE,eAAe;IACvB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeLessThan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeLessThan.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeLessThan.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UA4DjB,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeLessThan.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeLessThan.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UAmEjB,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeLessThan.js

@@ -15,7 +15,7 @@ const builtinDoc = {
         "reduction": false,
         "precisions": [],
         "broadcasting": "none",
-        "notes": "Validators run on host values and metadata; they throw on validation failure."
+        "notes": "Validation uses coherent resident metadata when the result is type- or shape-decidable; content-dependent checks download exact typed values through the owning provider without changing source residency."
     },
     "fusion": {
         "elementwise": false,
@@ -25,15 +25,18 @@ const builtinDoc = {
     },
     "requires_feature": null,
     "tested": {
-        "unit": "crates/runmat-runtime/src/builtins/common/validation.rs table-style pass/fail tests",
-        "integration": "Representative callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs; not every validator has a dedicated VM case."
+        "unit": "builtins::common::validation::tests",
+        "integration": "Durable callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs"
     },
-    "description": "`mustBeLessThan` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented.",
+    "description": "`mustBeLessThan` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented. Integer inputs are validated or rejected from their exact class and values. Resident metadata is validated before any provider access, automatic residency remains transparent, and unsupported explicit gpuArray forms are compatibility-gated before download.",
     "behaviors": [
         "Callable validator forms enforce exact supported arity, throw on validation failure, and suppress automatic output on success.",
         "Arguments-block validation uses the same shared runtime predicates for validators that RunMat can encode statically.",
         "Numeric validators check every element without materializing a cloned numeric array, including sparse stored values and implicit sparse zeros where relevant.",
-        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them."
+        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them.",
+        "All eight integer classes are classified from authoritative storage; exact ordering, range, membership, sign, zero, finiteness, and missingness checks never reconstruct wide values from binary64.",
+        "Resident validation verifies owner, physical storage, precision, logical/integer class, and wrapper provenance before using metadata or downloading exact content.",
+        "Automatic residency remains transparent; explicit gpuArray input is accepted only for documented forms or a declared RunMat-only extension."
     ],
     "examples": [
         {
@@ -54,6 +57,10 @@ const builtinDoc = {
             "url": "../language/arguments"
         }
     ],
+    "gpu_residency": "Metadata-decidable validators avoid download. Content-dependent validators use a non-destructive exact-owner download and leave the source handle, class, payload, and provenance unchanged.",
+    "gpu_behavior": [
+        "Validation does not use the generic message-based gather retry path. Integrity and compatibility failures are terminal; admitted content checks download typed storage deliberately through the exact owning provider."
+    ],
     "key": "mustbelessthan",
     "slug": "mustbelessthan",
     "aliases": [],

package/dist/generated/builtins/mustBeLessThan.js.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeLessThan.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeLessThan.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,gBAAgB;IACzB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,gBAAgB;QAChB,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,yDAAyD;IACpE,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,+EAA+E;KACzF;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qFAAqF;QAC7F,aAAa,EAAE,2IAA2I;KAC3J;IACD,aAAa,EAAE,6ZAA6Z;IAC5a,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,uBAAuB;YAChC,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,KAAK,EAAE,gBAAgB;IACvB,MAAM,EAAE,gBAAgB;IACxB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeLessThan.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeLessThan.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,gBAAgB;IACzB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,gBAAgB;QAChB,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,yDAAyD;IACpE,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,6MAA6M;KACvN;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qCAAqC;QAC7C,aAAa,EAAE,sFAAsF;KACtG;IACD,aAAa,EAAE,8pBAA8pB;IAC7qB,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;QAC7I,qMAAqM;QACrM,oKAAoK;QACpK,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,uBAAuB;YAChC,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,eAAe,EAAE,8LAA8L;IAC/M,cAAc,EAAE;QACd,wNAAwN;KACzN;IACD,KAAK,EAAE,gBAAgB;IACvB,MAAM,EAAE,gBAAgB;IACxB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeLessThanOrEqual.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeLessThanOrEqual.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeLessThanOrEqual.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UA4DjB,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeLessThanOrEqual.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeLessThanOrEqual.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UAmEjB,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeLessThanOrEqual.js

@@ -15,7 +15,7 @@ const builtinDoc = {
         "reduction": false,
         "precisions": [],
         "broadcasting": "none",
-        "notes": "Validators run on host values and metadata; they throw on validation failure."
+        "notes": "Validation uses coherent resident metadata when the result is type- or shape-decidable; content-dependent checks download exact typed values through the owning provider without changing source residency."
     },
     "fusion": {
         "elementwise": false,
@@ -25,15 +25,18 @@ const builtinDoc = {
     },
     "requires_feature": null,
     "tested": {
-        "unit": "crates/runmat-runtime/src/builtins/common/validation.rs table-style pass/fail tests",
-        "integration": "Representative callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs; not every validator has a dedicated VM case."
+        "unit": "builtins::common::validation::tests",
+        "integration": "Durable callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs"
     },
-    "description": "`mustBeLessThanOrEqual` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented.",
+    "description": "`mustBeLessThanOrEqual` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented. Integer inputs are validated or rejected from their exact class and values. Resident metadata is validated before any provider access, automatic residency remains transparent, and unsupported explicit gpuArray forms are compatibility-gated before download.",
     "behaviors": [
         "Callable validator forms enforce exact supported arity, throw on validation failure, and suppress automatic output on success.",
         "Arguments-block validation uses the same shared runtime predicates for validators that RunMat can encode statically.",
         "Numeric validators check every element without materializing a cloned numeric array, including sparse stored values and implicit sparse zeros where relevant.",
-        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them."
+        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them.",
+        "All eight integer classes are classified from authoritative storage; exact ordering, range, membership, sign, zero, finiteness, and missingness checks never reconstruct wide values from binary64.",
+        "Resident validation verifies owner, physical storage, precision, logical/integer class, and wrapper provenance before using metadata or downloading exact content.",
+        "Automatic residency remains transparent; explicit gpuArray input is accepted only for documented forms or a declared RunMat-only extension."
     ],
     "examples": [
         {
@@ -54,6 +57,10 @@ const builtinDoc = {
             "url": "../language/arguments"
         }
     ],
+    "gpu_residency": "Metadata-decidable validators avoid download. Content-dependent validators use a non-destructive exact-owner download and leave the source handle, class, payload, and provenance unchanged.",
+    "gpu_behavior": [
+        "Validation does not use the generic message-based gather retry path. Integrity and compatibility failures are terminal; admitted content checks download typed storage deliberately through the exact owning provider."
+    ],
     "key": "mustbelessthanorequal",
     "slug": "mustbelessthanorequal",
     "aliases": [],

package/dist/generated/builtins/mustBeLessThanOrEqual.js.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeLessThanOrEqual.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeLessThanOrEqual.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,uBAAuB;IAChC,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,uBAAuB;QACvB,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,qEAAqE;IAChF,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,+EAA+E;KACzF;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qFAAqF;QAC7F,aAAa,EAAE,2IAA2I;KAC3J;IACD,aAAa,EAAE,oaAAoa;IACnb,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,8BAA8B;YACvC,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,KAAK,EAAE,uBAAuB;IAC9B,MAAM,EAAE,uBAAuB;IAC/B,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeLessThanOrEqual.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeLessThanOrEqual.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,uBAAuB;IAChC,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,uBAAuB;QACvB,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,qEAAqE;IAChF,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,6MAA6M;KACvN;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qCAAqC;QAC7C,aAAa,EAAE,sFAAsF;KACtG;IACD,aAAa,EAAE,qqBAAqqB;IACprB,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;QAC7I,qMAAqM;QACrM,oKAAoK;QACpK,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,8BAA8B;YACvC,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,eAAe,EAAE,8LAA8L;IAC/M,cAAc,EAAE;QACd,wNAAwN;KACzN;IACD,KAAK,EAAE,uBAAuB;IAC9B,MAAM,EAAE,uBAAuB;IAC/B,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeMember.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeMember.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeMember.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UA4DjB,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeMember.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeMember.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UAmEjB,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeMember.js

@@ -15,7 +15,7 @@ const builtinDoc = {
         "reduction": false,
         "precisions": [],
         "broadcasting": "none",
-        "notes": "Validators run on host values and metadata; they throw on validation failure."
+        "notes": "Validation uses coherent resident metadata when the result is type- or shape-decidable; content-dependent checks download exact typed values through the owning provider without changing source residency."
     },
     "fusion": {
         "elementwise": false,
@@ -25,15 +25,18 @@ const builtinDoc = {
     },
     "requires_feature": null,
     "tested": {
-        "unit": "crates/runmat-runtime/src/builtins/common/validation.rs table-style pass/fail tests",
-        "integration": "Representative callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs; not every validator has a dedicated VM case."
+        "unit": "builtins::common::validation::tests",
+        "integration": "Durable callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs"
     },
-    "description": "`mustBeMember` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented.",
+    "description": "`mustBeMember` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented. Integer inputs are validated or rejected from their exact class and values. Resident metadata is validated before any provider access, automatic residency remains transparent, and unsupported explicit gpuArray forms are compatibility-gated before download.",
     "behaviors": [
         "Callable validator forms enforce exact supported arity, throw on validation failure, and suppress automatic output on success.",
         "Arguments-block validation uses the same shared runtime predicates for validators that RunMat can encode statically.",
         "Numeric validators check every element without materializing a cloned numeric array, including sparse stored values and implicit sparse zeros where relevant.",
-        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them."
+        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them.",
+        "All eight integer classes are classified from authoritative storage; exact ordering, range, membership, sign, zero, finiteness, and missingness checks never reconstruct wide values from binary64.",
+        "Resident validation verifies owner, physical storage, precision, logical/integer class, and wrapper provenance before using metadata or downloading exact content.",
+        "Automatic residency remains transparent; explicit gpuArray input is accepted only for documented forms or a declared RunMat-only extension."
     ],
     "examples": [
         {
@@ -54,6 +57,10 @@ const builtinDoc = {
             "url": "../language/arguments"
         }
     ],
+    "gpu_residency": "Metadata-decidable validators avoid download. Content-dependent validators use a non-destructive exact-owner download and leave the source handle, class, payload, and provenance unchanged.",
+    "gpu_behavior": [
+        "Validation does not use the generic message-based gather retry path. Integrity and compatibility failures are terminal; admitted content checks download typed storage deliberately through the exact owning provider."
+    ],
     "key": "mustbemember",
     "slug": "mustbemember",
     "aliases": [],

package/dist/generated/builtins/mustBeMember.js.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeMember.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeMember.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,cAAc;IACvB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,cAAc;QACd,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,+EAA+E;IAC1F,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,+EAA+E;KACzF;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qFAAqF;QAC7F,aAAa,EAAE,2IAA2I;KAC3J;IACD,aAAa,EAAE,2ZAA2Z;IAC1a,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,uCAAuC;YAChD,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,KAAK,EAAE,cAAc;IACrB,MAAM,EAAE,cAAc;IACtB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeMember.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeMember.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,cAAc;IACvB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,cAAc;QACd,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,+EAA+E;IAC1F,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,6MAA6M;KACvN;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qCAAqC;QAC7C,aAAa,EAAE,sFAAsF;KACtG;IACD,aAAa,EAAE,4pBAA4pB;IAC3qB,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;QAC7I,qMAAqM;QACrM,oKAAoK;QACpK,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,uCAAuC;YAChD,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,eAAe,EAAE,8LAA8L;IAC/M,cAAc,EAAE;QACd,wNAAwN;KACzN;IACD,KAAK,EAAE,cAAc;IACrB,MAAM,EAAE,cAAc;IACtB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeNegative.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeNegative.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNegative.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UA4DjB,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeNegative.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNegative.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UAmEjB,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeNegative.js

@@ -15,7 +15,7 @@ const builtinDoc = {
         "reduction": false,
         "precisions": [],
         "broadcasting": "none",
-        "notes": "Validators run on host values and metadata; they throw on validation failure."
+        "notes": "Validation uses coherent resident metadata when the result is type- or shape-decidable; content-dependent checks download exact typed values through the owning provider without changing source residency."
     },
     "fusion": {
         "elementwise": false,
@@ -25,15 +25,18 @@ const builtinDoc = {
     },
     "requires_feature": null,
     "tested": {
-        "unit": "crates/runmat-runtime/src/builtins/common/validation.rs table-style pass/fail tests",
-        "integration": "Representative callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs; not every validator has a dedicated VM case."
+        "unit": "builtins::common::validation::tests",
+        "integration": "Durable callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs"
     },
-    "description": "`mustBeNegative` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented.",
+    "description": "`mustBeNegative` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented. Integer inputs are validated or rejected from their exact class and values. Resident metadata is validated before any provider access, automatic residency remains transparent, and unsupported explicit gpuArray forms are compatibility-gated before download.",
     "behaviors": [
         "Callable validator forms enforce exact supported arity, throw on validation failure, and suppress automatic output on success.",
         "Arguments-block validation uses the same shared runtime predicates for validators that RunMat can encode statically.",
         "Numeric validators check every element without materializing a cloned numeric array, including sparse stored values and implicit sparse zeros where relevant.",
-        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them."
+        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them.",
+        "All eight integer classes are classified from authoritative storage; exact ordering, range, membership, sign, zero, finiteness, and missingness checks never reconstruct wide values from binary64.",
+        "Resident validation verifies owner, physical storage, precision, logical/integer class, and wrapper provenance before using metadata or downloading exact content.",
+        "Automatic residency remains transparent; explicit gpuArray input is accepted only for documented forms or a declared RunMat-only extension."
     ],
     "examples": [
         {
@@ -54,6 +57,10 @@ const builtinDoc = {
             "url": "../language/arguments"
         }
     ],
+    "gpu_residency": "Metadata-decidable validators avoid download. Content-dependent validators use a non-destructive exact-owner download and leave the source handle, class, payload, and provenance unchanged.",
+    "gpu_behavior": [
+        "Validation does not use the generic message-based gather retry path. Integrity and compatibility failures are terminal; admitted content checks download typed storage deliberately through the exact owning provider."
+    ],
     "key": "mustbenegative",
     "slug": "mustbenegative",
     "aliases": [],

package/dist/generated/builtins/mustBeNegative.js.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeNegative.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNegative.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,gBAAgB;IACzB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,gBAAgB;QAChB,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,4CAA4C;IACvD,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,+EAA+E;KACzF;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qFAAqF;QAC7F,aAAa,EAAE,2IAA2I;KAC3J;IACD,aAAa,EAAE,6ZAA6Z;IAC5a,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,mBAAmB;YAC5B,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,KAAK,EAAE,gBAAgB;IACvB,MAAM,EAAE,gBAAgB;IACxB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeNegative.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNegative.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,gBAAgB;IACzB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,gBAAgB;QAChB,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,4CAA4C;IACvD,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,6MAA6M;KACvN;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qCAAqC;QAC7C,aAAa,EAAE,sFAAsF;KACtG;IACD,aAAa,EAAE,8pBAA8pB;IAC7qB,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;QAC7I,qMAAqM;QACrM,oKAAoK;QACpK,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,mBAAmB;YAC5B,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,eAAe,EAAE,8LAA8L;IAC/M,cAAc,EAAE;QACd,wNAAwN;KACzN;IACD,KAAK,EAAE,gBAAgB;IACvB,MAAM,EAAE,gBAAgB;IACxB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeNonNan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeNonNan.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNonNan.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UA4DjB,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeNonNan.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNonNan.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UAoEjB,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeNonNan.js

@@ -15,7 +15,7 @@ const builtinDoc = {
         "reduction": false,
         "precisions": [],
         "broadcasting": "none",
-        "notes": "Validators run on host values and metadata; they throw on validation failure."
+        "notes": "Validation uses coherent resident metadata when the result is type- or shape-decidable; content-dependent checks download exact typed values through the owning provider without changing source residency."
     },
     "fusion": {
         "elementwise": false,
@@ -25,15 +25,19 @@ const builtinDoc = {
     },
     "requires_feature": null,
     "tested": {
-        "unit": "crates/runmat-runtime/src/builtins/common/validation.rs table-style pass/fail tests",
-        "integration": "Representative callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs; not every validator has a dedicated VM case."
+        "unit": "builtins::common::validation::tests",
+        "integration": "Durable callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs",
+        "gpu": "builtins::common::validation::tests::wgpu_resident_integer_validators_preserve_exact_source_and_provenance"
     },
-    "description": "`mustBeNonNan` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented.",
+    "description": "`mustBeNonNan` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented. Integer inputs are validated or rejected from their exact class and values. Resident metadata is validated before any provider access, automatic residency remains transparent, and unsupported explicit gpuArray forms are compatibility-gated before download.",
     "behaviors": [
         "Callable validator forms enforce exact supported arity, throw on validation failure, and suppress automatic output on success.",
         "Arguments-block validation uses the same shared runtime predicates for validators that RunMat can encode statically.",
         "Numeric validators check every element without materializing a cloned numeric array, including sparse stored values and implicit sparse zeros where relevant.",
-        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them."
+        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them.",
+        "All eight integer classes are classified from authoritative storage; exact ordering, range, membership, sign, zero, finiteness, and missingness checks never reconstruct wide values from binary64.",
+        "Resident validation verifies owner, physical storage, precision, logical/integer class, and wrapper provenance before using metadata or downloading exact content.",
+        "Automatic residency remains transparent; explicit gpuArray input is accepted only for documented forms or a declared RunMat-only extension."
     ],
     "examples": [
         {
@@ -54,6 +58,10 @@ const builtinDoc = {
             "url": "../language/arguments"
         }
     ],
+    "gpu_residency": "Metadata-decidable validators avoid download. Content-dependent validators use a non-destructive exact-owner download and leave the source handle, class, payload, and provenance unchanged.",
+    "gpu_behavior": [
+        "Validation does not use the generic message-based gather retry path. Integrity and compatibility failures are terminal; admitted content checks download typed storage deliberately through the exact owning provider."
+    ],
     "key": "mustbenonnan",
     "slug": "mustbenonnan",
     "aliases": [],

package/dist/generated/builtins/mustBeNonNan.js.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeNonNan.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNonNan.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,cAAc;IACvB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,cAAc;QACd,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,2CAA2C;IACtD,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,+EAA+E;KACzF;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qFAAqF;QAC7F,aAAa,EAAE,2IAA2I;KAC3J;IACD,aAAa,EAAE,2ZAA2Z;IAC1a,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,iBAAiB;YAC1B,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,KAAK,EAAE,cAAc;IACrB,MAAM,EAAE,cAAc;IACtB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeNonNan.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNonNan.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,cAAc;IACvB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,cAAc;QACd,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,2CAA2C;IACtD,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,6MAA6M;KACvN;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qCAAqC;QAC7C,aAAa,EAAE,sFAAsF;QACrG,KAAK,EAAE,4GAA4G;KACpH;IACD,aAAa,EAAE,4pBAA4pB;IAC3qB,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;QAC7I,qMAAqM;QACrM,oKAAoK;QACpK,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,iBAAiB;YAC1B,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,eAAe,EAAE,8LAA8L;IAC/M,cAAc,EAAE;QACd,wNAAwN;KACzN;IACD,KAAK,EAAE,cAAc;IACrB,MAAM,EAAE,cAAc;IACtB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeNonempty.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeNonempty.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNonempty.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UA4DjB,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeNonempty.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNonempty.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UAmEjB,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeNonempty.js

@@ -15,7 +15,7 @@ const builtinDoc = {
         "reduction": false,
         "precisions": [],
         "broadcasting": "none",
-        "notes": "Validators run on host values and metadata; they throw on validation failure."
+        "notes": "Validation uses coherent resident metadata when the result is type- or shape-decidable; content-dependent checks download exact typed values through the owning provider without changing source residency."
     },
     "fusion": {
         "elementwise": false,
@@ -25,15 +25,18 @@ const builtinDoc = {
     },
     "requires_feature": null,
     "tested": {
-        "unit": "crates/runmat-runtime/src/builtins/common/validation.rs table-style pass/fail tests",
-        "integration": "Representative callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs; not every validator has a dedicated VM case."
+        "unit": "builtins::common::validation::tests",
+        "integration": "Durable callable and arguments-block coverage in crates/runmat-vm/tests/functions.rs"
     },
-    "description": "`mustBeNonempty` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented.",
+    "description": "`mustBeNonempty` is available as a callable MATLAB argument validator. It returns no user-facing value when validation passes and throws a structured RunMat error when validation fails. Validators with literal/static payloads are also encoded in MATLAB `arguments` blocks; dynamic validator payload expressions should call the validator directly until runtime-evaluated arguments-block payloads are implemented. Integer inputs are validated or rejected from their exact class and values. Resident metadata is validated before any provider access, automatic residency remains transparent, and unsupported explicit gpuArray forms are compatibility-gated before download.",
     "behaviors": [
         "Callable validator forms enforce exact supported arity, throw on validation failure, and suppress automatic output on success.",
         "Arguments-block validation uses the same shared runtime predicates for validators that RunMat can encode statically.",
         "Numeric validators check every element without materializing a cloned numeric array, including sparse stored values and implicit sparse zeros where relevant.",
-        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them."
+        "Text validators accept string scalars/arrays, character row vectors, and compatible cell arrays of text where MATLAB commonly permits them.",
+        "All eight integer classes are classified from authoritative storage; exact ordering, range, membership, sign, zero, finiteness, and missingness checks never reconstruct wide values from binary64.",
+        "Resident validation verifies owner, physical storage, precision, logical/integer class, and wrapper provenance before using metadata or downloading exact content.",
+        "Automatic residency remains transparent; explicit gpuArray input is accepted only for documented forms or a declared RunMat-only extension."
     ],
     "examples": [
         {
@@ -54,6 +57,10 @@ const builtinDoc = {
             "url": "../language/arguments"
         }
     ],
+    "gpu_residency": "Metadata-decidable validators avoid download. Content-dependent validators use a non-destructive exact-owner download and leave the source handle, class, payload, and provenance unchanged.",
+    "gpu_behavior": [
+        "Validation does not use the generic message-based gather retry path. Integrity and compatibility failures are terminal; admitted content checks download typed storage deliberately through the exact owning provider."
+    ],
     "key": "mustbenonempty",
     "slug": "mustbenonempty",
     "aliases": [],

package/dist/generated/builtins/mustBeNonempty.js.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeNonempty.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNonempty.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,gBAAgB;IACzB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,gBAAgB;QAChB,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,iDAAiD;IAC5D,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,+EAA+E;KACzF;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qFAAqF;QAC7F,aAAa,EAAE,2IAA2I;KAC3J;IACD,aAAa,EAAE,6ZAA6Z;IAC5a,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,mBAAmB;YAC5B,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,KAAK,EAAE,gBAAgB;IACvB,MAAM,EAAE,gBAAgB;IACxB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeNonempty.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNonempty.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,gBAAgB;IACzB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,gBAAgB;QAChB,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,iDAAiD;IAC5D,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,6MAA6M;KACvN;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,qCAAqC;QAC7C,aAAa,EAAE,sFAAsF;KACtG;IACD,aAAa,EAAE,8pBAA8pB;IAC7qB,WAAW,EAAE;QACX,gIAAgI;QAChI,sHAAsH;QACtH,+JAA+J;QAC/J,6IAA6I;QAC7I,qMAAqM;QACrM,oKAAoK;QACpK,6IAA6I;KAC9I;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,mBAAmB;YAC5B,QAAQ,EAAE,6EAA6E;SACxF;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+JAA+J;SAC1K;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,oBAAoB;YAC7B,KAAK,EAAE,uBAAuB;SAC/B;KACF;IACD,eAAe,EAAE,8LAA8L;IAC/M,cAAc,EAAE;QACd,wNAAwN;KACzN;IACD,KAAK,EAAE,gBAAgB;IACvB,MAAM,EAAE,gBAAgB;IACxB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mustBeNonmissing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeNonmissing.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNonmissing.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UA4DjB,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeNonmissing.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeNonmissing.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,QAAA,MAAM,UAAU,EAAE,UAmEjB,CAAC;AAEF,eAAe,UAAU,CAAC"}