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

package/dist/generated/builtins/mod.js

@@ -57,7 +57,7 @@ const builtinDoc = {
             "output": "result =\n    [0.5  1.1;\n     1.7  0.4]"
         },
         {
-            "description": "MATLAB-compatible modulus for complex numbers",
+            "description": "Computing The Modulus Of Complex Numbers",
             "input": "z = [3 + 4i, -2 + 5i];\ndiv = 2 + 1i;\nres = mod(z, div)",
             "output": "res =\n    [0.0 + 0.0i, 0.0 + 1.0i]"
         },

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

@@ -1 +1 @@
-{"version":3,"file":"mod.js","sourceRoot":"","sources":["../../../src/generated/builtins/mod.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,KAAK;IACd,UAAU,EAAE,eAAe;IAC3B,UAAU,EAAE;QACV,KAAK;QACL,SAAS;QACT,WAAW;QACX,UAAU;QACV,KAAK;KACN;IACD,SAAS,EAAE,yDAAyD;IACpE,aAAa,EAAE;QACb,aAAa,EAAE,IAAI;QACnB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE;YACZ,KAAK;YACL,KAAK;SACN;QACD,cAAc,EAAE,QAAQ;QACxB,OAAO,EAAE,uIAAuI;KACjJ;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,IAAI;QACnB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,sCAAsC;QAC9C,aAAa,EAAE,8DAA8D;KAC9E;IACD,aAAa,EAAE,6KAA6K;IAC5L,WAAW,EAAE;QACX,gFAAgF;QAChF,+IAA+I;QAC/I,qHAAqH;QACrH,6HAA6H;QAC7H,gEAAgE;KACjE;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,4CAA4C;YAC3D,OAAO,EAAE,gBAAgB;YACzB,QAAQ,EAAE,OAAO;SAClB;QACD;YACE,aAAa,EAAE,yDAAyD;YACxE,OAAO,EAAE,iDAAiD;YAC1D,QAAQ,EAAE,qBAAqB;SAChC;QACD;YACE,aAAa,EAAE,+CAA+C;YAC9D,OAAO,EAAE,gDAAgD;YACzD,QAAQ,EAAE,0CAA0C;SACrD;QACD;YACE,aAAa,EAAE,+CAA+C;YAC9D,OAAO,EAAE,0DAA0D;YACnE,QAAQ,EAAE,qCAAqC;SAChD;QACD;YACE,aAAa,EAAE,+BAA+B;YAC9C,OAAO,EAAE,mCAAmC;YAC5C,QAAQ,EAAE,sBAAsB;SACjC;QACD;YACE,aAAa,EAAE,mCAAmC;YAClD,OAAO,EAAE,yBAAyB;YAClC,QAAQ,EAAE,mBAAmB;SAC9B;QACD;YACE,aAAa,EAAE,6CAA6C;YAC5D,OAAO,EAAE,0DAA0D;YACnE,QAAQ,EAAE,mCAAmC;SAC9C;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,oCAAoC;YAChD,QAAQ,EAAE,4GAA4G;SACvH;QACD;YACE,UAAU,EAAE,wCAAwC;YACpD,QAAQ,EAAE,sFAAsF;SACjG;QACD;YACE,UAAU,EAAE,qCAAqC;YACjD,QAAQ,EAAE,8HAA8H;SACzI;QACD;YACE,UAAU,EAAE,uCAAuC;YACnD,QAAQ,EAAE,oJAAoJ;SAC/J;QACD;YACE,UAAU,EAAE,6BAA6B;YACzC,QAAQ,EAAE,6DAA6D;SACxE;QACD;YACE,UAAU,EAAE,yCAAyC;YACrD,QAAQ,EAAE,4IAA4I;SACvJ;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE,SAAS;SACjB;QACD;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,UAAU;SAClB;QACD;YACE,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,QAAQ;SAChB;QACD;YACE,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE,SAAS;SACjB;KACF;IACD,QAAQ,EAAE;QACR,OAAO,EAAE,2DAA2D;QACpE,KAAK,EAAE,wGAAwG;KAChH;IACD,eAAe,EAAE,mUAAmU;IACpV,cAAc,EAAE;QACd,meAAme;KACpe;IACD,KAAK,EAAE,KAAK;IACZ,MAAM,EAAE,KAAK;IACb,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,MAAM;QACN,UAAU;KACX;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mod.js","sourceRoot":"","sources":["../../../src/generated/builtins/mod.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,KAAK;IACd,UAAU,EAAE,eAAe;IAC3B,UAAU,EAAE;QACV,KAAK;QACL,SAAS;QACT,WAAW;QACX,UAAU;QACV,KAAK;KACN;IACD,SAAS,EAAE,yDAAyD;IACpE,aAAa,EAAE;QACb,aAAa,EAAE,IAAI;QACnB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE;YACZ,KAAK;YACL,KAAK;SACN;QACD,cAAc,EAAE,QAAQ;QACxB,OAAO,EAAE,uIAAuI;KACjJ;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,IAAI;QACnB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ;KACtB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,sCAAsC;QAC9C,aAAa,EAAE,8DAA8D;KAC9E;IACD,aAAa,EAAE,6KAA6K;IAC5L,WAAW,EAAE;QACX,gFAAgF;QAChF,+IAA+I;QAC/I,qHAAqH;QACrH,6HAA6H;QAC7H,gEAAgE;KACjE;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,4CAA4C;YAC3D,OAAO,EAAE,gBAAgB;YACzB,QAAQ,EAAE,OAAO;SAClB;QACD;YACE,aAAa,EAAE,yDAAyD;YACxE,OAAO,EAAE,iDAAiD;YAC1D,QAAQ,EAAE,qBAAqB;SAChC;QACD;YACE,aAAa,EAAE,+CAA+C;YAC9D,OAAO,EAAE,gDAAgD;YACzD,QAAQ,EAAE,0CAA0C;SACrD;QACD;YACE,aAAa,EAAE,0CAA0C;YACzD,OAAO,EAAE,0DAA0D;YACnE,QAAQ,EAAE,qCAAqC;SAChD;QACD;YACE,aAAa,EAAE,+BAA+B;YAC9C,OAAO,EAAE,mCAAmC;YAC5C,QAAQ,EAAE,sBAAsB;SACjC;QACD;YACE,aAAa,EAAE,mCAAmC;YAClD,OAAO,EAAE,yBAAyB;YAClC,QAAQ,EAAE,mBAAmB;SAC9B;QACD;YACE,aAAa,EAAE,6CAA6C;YAC5D,OAAO,EAAE,0DAA0D;YACnE,QAAQ,EAAE,mCAAmC;SAC9C;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,oCAAoC;YAChD,QAAQ,EAAE,4GAA4G;SACvH;QACD;YACE,UAAU,EAAE,wCAAwC;YACpD,QAAQ,EAAE,sFAAsF;SACjG;QACD;YACE,UAAU,EAAE,qCAAqC;YACjD,QAAQ,EAAE,8HAA8H;SACzI;QACD;YACE,UAAU,EAAE,uCAAuC;YACnD,QAAQ,EAAE,oJAAoJ;SAC/J;QACD;YACE,UAAU,EAAE,6BAA6B;YACzC,QAAQ,EAAE,6DAA6D;SACxE;QACD;YACE,UAAU,EAAE,yCAAyC;YACrD,QAAQ,EAAE,4IAA4I;SACvJ;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE,SAAS;SACjB;QACD;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,UAAU;SAClB;QACD;YACE,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,QAAQ;SAChB;QACD;YACE,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE,SAAS;SACjB;KACF;IACD,QAAQ,EAAE;QACR,OAAO,EAAE,2DAA2D;QACpE,KAAK,EAAE,wGAAwG;KAChH;IACD,eAAe,EAAE,mUAAmU;IACpV,cAAc,EAAE;QACd,meAAme;KACpe;IACD,KAAK,EAAE,KAAK;IACZ,MAAM,EAAE,KAAK;IACb,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,MAAM;QACN,UAAU;KACX;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

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

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

package/dist/generated/builtins/month.js

@@ -15,24 +15,27 @@ const builtinDoc = {
         "reduction": false,
         "precisions": [],
         "broadcasting": "none",
-        "notes": "datetime values are host-side objects; `month` extracts the month on the CPU."
+        "notes": "Documented datetime and legacy serial/text inputs execute on the host. RunMat-only resident inputs gather through their owning provider after compatibility admission."
     },
     "fusion": {
         "elementwise": false,
         "reduction": false,
-        "max_inputs": 1,
+        "max_inputs": 2,
         "constants": "inline"
     },
     "requires_feature": null,
     "tested": {
-        "integration": "runmat-ignition/tests/datetime.rs"
+        "unit": "builtins::datetime::tests::month_datetime_name_modes_return_shaped_character_cells",
+        "integration": "crates/runmat-vm/tests/integer_datetime_metadata_and_nonzero_semantics.rs"
     },
-    "description": "`month(dt)` extracts calendar-month values from datetime scalars or arrays and returns doubles with matching shape. Extraction behavior follows MATLAB semantics.",
+    "description": "`month(t)` extracts calendar-month values from datetime input. Datetime input supports `monthofyear`, `name`, and `shortname`; documented legacy serial-number and date-text forms support an optional input format.",
     "behaviors": [
         "`month(t)` accepts datetime scalars and datetime arrays.",
         "The output shape matches the input shape.",
         "Month values use the standard 1-through-12 numbering.",
-        "Passing a non-datetime value raises a datetime-specific error."
+        "`month(t,'name')` and `month(t,'shortname')` return shaped cells of character month names for datetime input.",
+        "Documented legacy binary64 serial date numbers and date text return double month numbers with matching shape.",
+        "Single-precision and all eight typed-integer legacy serial inputs are a gated RunMat extension; exact native values are range-checked before one binary64 serial-date conversion."
     ],
     "examples": [
         {
@@ -78,9 +81,9 @@ const builtinDoc = {
         "label": "`crates/runmat-runtime/src/builtins/datetime/mod.rs`",
         "url": "https://github.com/runmat-org/runmat/blob/main/crates/runmat-runtime/src/builtins/datetime/mod.rs"
     },
-    "gpu_residency": "No. `month` reads datetime objects on the CPU and returns ordinary host-side numeric arrays.",
+    "gpu_residency": "Documented `month` forms are host-side. RunMat can admit resident legacy numeric input as an extension, gathers it non-destructively through the exact owner, and returns the documented host result.",
     "gpu_behavior": [
-        "`month` does not dispatch GPU kernels; it extracts the month component from CPU-side datetime objects."
+        "`month` does not dispatch a GPU kernel. Explicit resident input is a separately gated RunMat extension, while internal automatic residency can gather transparently."
     ],
     "key": "month",
     "slug": "month",

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

@@ -1 +1 @@
-{"version":3,"file":"month.js","sourceRoot":"","sources":["../../../src/generated/builtins/month.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,OAAO;IAChB,UAAU,EAAE,UAAU;IACtB,UAAU,EAAE;QACV,OAAO;QACP,UAAU;QACV,gBAAgB;QAChB,gBAAgB;KACjB;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,aAAa,EAAE,mCAAmC;KACnD;IACD,aAAa,EAAE,mKAAmK;IAClL,WAAW,EAAE;QACX,0DAA0D;QAC1D,2CAA2C;QAC3C,uDAAuD;QACvD,gEAAgE;KACjE;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,0CAA0C;YACzD,OAAO,EAAE,oDAAoD;YAC7D,QAAQ,EAAE,OAAO;SAClB;QACD;YACE,aAAa,EAAE,sCAAsC;YACrD,OAAO,EAAE,0DAA0D;YACnE,QAAQ,EAAE,mBAAmB;SAC9B;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,kCAAkC;YAC9C,QAAQ,EAAE,qDAAqD;SAChE;QACD;YACE,UAAU,EAAE,wCAAwC;YACpD,QAAQ,EAAE,wEAAwE;SACnF;QACD;YACE,UAAU,EAAE,8BAA8B;YAC1C,QAAQ,EAAE,4EAA4E;SACvF;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,QAAQ;SAChB;QACD;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;KACF;IACD,QAAQ,EAAE;QACR,OAAO,EAAE,sDAAsD;QAC/D,KAAK,EAAE,mGAAmG;KAC3G;IACD,eAAe,EAAE,8FAA8F;IAC/G,cAAc,EAAE;QACd,wGAAwG;KACzG;IACD,KAAK,EAAE,OAAO;IACd,MAAM,EAAE,OAAO;IACf,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,UAAU;KACX;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"month.js","sourceRoot":"","sources":["../../../src/generated/builtins/month.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,OAAO;IAChB,UAAU,EAAE,UAAU;IACtB,UAAU,EAAE;QACV,OAAO;QACP,UAAU;QACV,gBAAgB;QAChB,gBAAgB;KACjB;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,wKAAwK;KAClL;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,oFAAoF;QAC5F,aAAa,EAAE,2EAA2E;KAC3F;IACD,aAAa,EAAE,sNAAsN;IACrO,WAAW,EAAE;QACX,0DAA0D;QAC1D,2CAA2C;QAC3C,uDAAuD;QACvD,+GAA+G;QAC/G,+GAA+G;QAC/G,mLAAmL;KACpL;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,0CAA0C;YACzD,OAAO,EAAE,oDAAoD;YAC7D,QAAQ,EAAE,OAAO;SAClB;QACD;YACE,aAAa,EAAE,sCAAsC;YACrD,OAAO,EAAE,0DAA0D;YACnE,QAAQ,EAAE,mBAAmB;SAC9B;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,kCAAkC;YAC9C,QAAQ,EAAE,qDAAqD;SAChE;QACD;YACE,UAAU,EAAE,wCAAwC;YACpD,QAAQ,EAAE,wEAAwE;SACnF;QACD;YACE,UAAU,EAAE,8BAA8B;YAC1C,QAAQ,EAAE,4EAA4E;SACvF;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,QAAQ;SAChB;QACD;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;KACF;IACD,QAAQ,EAAE;QACR,OAAO,EAAE,sDAAsD;QAC/D,KAAK,EAAE,mGAAmG;KAC3G;IACD,eAAe,EAAE,uMAAuM;IACxN,cAAc,EAAE;QACd,sKAAsK;KACvK;IACD,KAAK,EAAE,OAAO;IACd,MAAM,EAAE,OAAO;IACf,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,UAAU;KACX;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mrdivide.js

@@ -36,7 +36,7 @@ const builtinDoc = {
     "description": "`X = A / B` (or `mrdivide(A, B)`) solves `X * B = A`. Square/nonsingular, rectangular, and rank-deficient solve paths follow MATLAB right-division semantics.",
     "behaviors": [
         "Scalars divide exactly: `A / s` scales `A` by `1/s`, while `s / B` requires `B` to be scalar.",
-        "Logical and integer inputs are promoted to double precision before solving.",
+        "Logical matrix inputs are promoted to double precision. Integer participation is limited to the documented scalar-right form: same-class integer operands or an integer array with a scalar double use exact element-wise division and preserve the integer class; integer matrix solving is rejected.",
         "Purely real operands produce real outputs; any complex operand promotes the computation (and result) to complex arithmetic.",
         "Inputs must be effectively two-dimensional; trailing singleton dimensions are allowed.",
         "The number of columns must agree (`size(A, 2) == size(B, 2)`), otherwise RunMat raises the MATLAB error `\"Matrix dimensions must agree.\"`",
@@ -79,7 +79,7 @@ const builtinDoc = {
         },
         {
             "question": "How are logical or integer arrays handled?",
-            "answer": "They are promoted to double precision (`true → 1`, `false → 0`) before solving, matching MATLAB semantics."
+            "answer": "Logical matrices are promoted to double. Integer inputs are accepted only when the right operand is scalar, where `A / B` is equivalent to `A ./ B`, preserves the integer class, and retains resident output on the source provider."
         },
         {
             "question": "How does RunMat handle NaN or Inf values?",

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

@@ -1 +1 @@
-{"version":3,"file":"mrdivide.js","sourceRoot":"","sources":["../../../src/generated/builtins/mrdivide.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,UAAU;IACnB,UAAU,EAAE,iBAAiB;IAC7B,UAAU,EAAE;QACV,UAAU;QACV,uBAAuB;QACvB,gBAAgB;QAChB,eAAe;QACf,KAAK;KACN;IACD,SAAS,EAAE,gEAAgE;IAC3E,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE;YACZ,KAAK;YACL,KAAK;SACN;QACD,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,yMAAyM;KACnN;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,SAAS;KACvB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,8CAA8C;QACtD,KAAK,EAAE,0EAA0E;QACjF,MAAM,EAAE,2EAA2E;KACpF;IACD,aAAa,EAAE,+JAA+J;IAC9K,WAAW,EAAE;QACX,+FAA+F;QAC/F,6EAA6E;QAC7E,6HAA6H;QAC7H,wFAAwF;QACxF,6IAA6I;QAC7I,4FAA4F;KAC7F;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gCAAgC;YAC/C,OAAO,EAAE,yFAAyF;YAClG,QAAQ,EAAE,2EAA2E;SACtF;QACD;YACE,aAAa,EAAE,0CAA0C;YACzD,OAAO,EAAE,8CAA8C;YACvD,QAAQ,EAAE,WAAW;SACtB;QACD;YACE,aAAa,EAAE,sBAAsB;YACrC,OAAO,EAAE,8BAA8B;YACvC,QAAQ,EAAE,kBAAkB;SAC7B;QACD;YACE,aAAa,EAAE,oCAAoC;YACnD,OAAO,EAAE,6CAA6C;YACtD,QAAQ,EAAE,uBAAuB;SAClC;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+FAA+F;SAC1G;QACD;YACE,UAAU,EAAE,iDAAiD;YAC7D,QAAQ,EAAE,qJAAqJ;SAChK;QACD;YACE,UAAU,EAAE,oDAAoD;YAChE,QAAQ,EAAE,2KAA2K;SACtL;QACD;YACE,UAAU,EAAE,4CAA4C;YACxD,QAAQ,EAAE,4GAA4G;SACvH;QACD;YACE,UAAU,EAAE,2CAA2C;YACvD,QAAQ,EAAE,6JAA6J;SACxK;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,UAAU;SAClB;QACD;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,MAAM;SACd;QACD;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,UAAU;SAClB;QACD;YACE,OAAO,EAAE,YAAY;YACrB,KAAK,EAAE,cAAc;SACtB;QACD;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,UAAU;SAClB;QACD;YACE,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE,SAAS;SACjB;QACD;YACE,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,aAAa;SACrB;KACF;IACD,QAAQ,EAAE;QACR,OAAO,EAAE,kEAAkE;QAC3E,KAAK,EAAE,+GAA+G;KACvH;IACD,eAAe,EAAE,kWAAkW;IACnX,cAAc,EAAE;QACd,8cAA8c;KAC/c;IACD,KAAK,EAAE,UAAU;IACjB,MAAM,EAAE,UAAU;IAClB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,MAAM;QACN,QAAQ;QACR,KAAK;KACN;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mrdivide.js","sourceRoot":"","sources":["../../../src/generated/builtins/mrdivide.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,UAAU;IACnB,UAAU,EAAE,iBAAiB;IAC7B,UAAU,EAAE;QACV,UAAU;QACV,uBAAuB;QACvB,gBAAgB;QAChB,eAAe;QACf,KAAK;KACN;IACD,SAAS,EAAE,gEAAgE;IAC3E,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE;YACZ,KAAK;YACL,KAAK;SACN;QACD,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,yMAAyM;KACnN;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,SAAS;KACvB;IACD,kBAAkB,EAAE,IAAI;IACxB,QAAQ,EAAE;QACR,MAAM,EAAE,8CAA8C;QACtD,KAAK,EAAE,0EAA0E;QACjF,MAAM,EAAE,2EAA2E;KACpF;IACD,aAAa,EAAE,+JAA+J;IAC9K,WAAW,EAAE;QACX,+FAA+F;QAC/F,wSAAwS;QACxS,6HAA6H;QAC7H,wFAAwF;QACxF,6IAA6I;QAC7I,4FAA4F;KAC7F;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,gCAAgC;YAC/C,OAAO,EAAE,yFAAyF;YAClG,QAAQ,EAAE,2EAA2E;SACtF;QACD;YACE,aAAa,EAAE,0CAA0C;YACzD,OAAO,EAAE,8CAA8C;YACvD,QAAQ,EAAE,WAAW;SACtB;QACD;YACE,aAAa,EAAE,sBAAsB;YACrC,OAAO,EAAE,8BAA8B;YACvC,QAAQ,EAAE,kBAAkB;SAC7B;QACD;YACE,aAAa,EAAE,oCAAoC;YACnD,OAAO,EAAE,6CAA6C;YACtD,QAAQ,EAAE,uBAAuB;SAClC;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,mDAAmD;YAC/D,QAAQ,EAAE,+FAA+F;SAC1G;QACD;YACE,UAAU,EAAE,iDAAiD;YAC7D,QAAQ,EAAE,qJAAqJ;SAChK;QACD;YACE,UAAU,EAAE,oDAAoD;YAChE,QAAQ,EAAE,2KAA2K;SACtL;QACD;YACE,UAAU,EAAE,4CAA4C;YACxD,QAAQ,EAAE,uOAAuO;SAClP;QACD;YACE,UAAU,EAAE,2CAA2C;YACvD,QAAQ,EAAE,6JAA6J;SACxK;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,UAAU;SAClB;QACD;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,MAAM;SACd;QACD;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,UAAU;SAClB;QACD;YACE,OAAO,EAAE,YAAY;YACrB,KAAK,EAAE,cAAc;SACtB;QACD;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,UAAU;SAClB;QACD;YACE,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE,SAAS;SACjB;QACD;YACE,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,aAAa;SACrB;KACF;IACD,QAAQ,EAAE;QACR,OAAO,EAAE,kEAAkE;QAC3E,KAAK,EAAE,+GAA+G;KACvH;IACD,eAAe,EAAE,kWAAkW;IACnX,cAAc,EAAE;QACd,8cAA8c;KAC/c;IACD,KAAK,EAAE,UAAU;IACjB,MAAM,EAAE,UAAU;IAClB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,MAAM;QACN,QAAQ;QACR,KAAK;KACN;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

package/dist/generated/builtins/mtimes.js

@@ -41,7 +41,7 @@ const builtinDoc = {
     "behaviors": [
         "The inner dimensions must match: `size(A, 2) == size(B, 1)` for 2-D arrays. N-D tensors flatten the leading two dimensions into a matrix slice so MATLAB-style broadcasting semantics stay intact.",
         "Row vectors (`1×N`) times column vectors (`N×1`) evaluate to a scalar; column-by-row produces the familiar outer product (`N×1` · `1×M` → `N×M`).",
-        "Scalars multiply every element of the other operand without changing shape; logical inputs are first converted to double precision (`true → 1`, `false → 0`).",
+        "Scalars multiply every element of the other operand without changing shape; logical inputs are converted to double precision. If either operand is integer, the other must be scalar and use the same integer class or scalar double; the result preserves the integer class and saturates.",
         "Complex scalars, matrices, and tensors use full complex arithmetic, including real/complex mixes that promote the result to a complex tensor when necessary.",
         "Empty matrices follow MATLAB semantics: multiplying an `m×0` by `0×n` yields an `m×n` zero matrix and any mismatch in inner dimensions raises `Inner matrix dimensions must agree`.",
         "When either input is GPU-resident, RunMat consults the active acceleration provider; if its `matmul` hook supports the operands the computation stays on device, otherwise the runtime gathers inputs and executes the CPU fallback transparently."
@@ -89,7 +89,7 @@ const builtinDoc = {
         },
         {
             "question": "Does `mtimes` support scalars and matrices together?",
-            "answer": "Yes. Scalars multiply every element of the matrix, returning a matrix of the same size."
+            "answer": "Yes. Scalars multiply every element of the matrix. When either operand is integer, the other operand must be scalar; the integer class is preserved and overflow saturates."
         },
         {
             "question": "Are complex numbers fully supported?",

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

@@ -1 +1 @@
-{"version":3,"file":"mtimes.js","sourceRoot":"","sources":["../../../src/generated/builtins/mtimes.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,QAAQ;IACjB,SAAS,EAAE;QACT,QAAQ;KACT;IACD,UAAU,EAAE,iBAAiB;IAC7B,UAAU,EAAE;QACV,QAAQ;QACR,QAAQ;QACR,uBAAuB;QACvB,gBAAgB;QAChB,KAAK;KACN;IACD,SAAS,EAAE,qEAAqE;IAChF,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE;YACZ,KAAK;YACL,KAAK;SACN;QACD,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,mIAAmI;KAC7I;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,4CAA4C;QACpD,aAAa,EAAE,kEAAkE;QACjF,YAAY,EAAE,uEAAuE;QACrF,MAAM,EAAE,qEAAqE;KAC9E;IACD,aAAa,EAAE,mKAAmK;IAClL,WAAW,EAAE;QACX,oMAAoM;QACpM,mJAAmJ;QACnJ,+JAA+J;QAC/J,8JAA8J;QAC9J,qLAAqL;QACrL,oPAAoP;KACrP;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,2BAA2B;YAC1C,OAAO,EAAE,yDAAyD;YAClE,QAAQ,EAAE,sBAAsB;SACjC;QACD;YACE,aAAa,EAAE,mDAAmD;YAClE,OAAO,EAAE,8CAA8C;YACvD,QAAQ,EAAE,aAAa;SACxB;QACD;YACE,aAAa,EAAE,2CAA2C;YAC1D,OAAO,EAAE,kBAAkB;YAC3B,QAAQ,EAAE,qGAAqG;SAChH;QACD;YACE,aAAa,EAAE,2BAA2B;YAC1C,OAAO,EAAE,2DAA2D;YACpE,QAAQ,EAAE,8BAA8B;SACzC;QACD;YACE,aAAa,EAAE,6CAA6C;YAC5D,OAAO,EAAE,sFAAsF;YAC/F,QAAQ,EAAE,8DAA8D;SACzE;QACD;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,6CAA6C;YACtD,QAAQ,EAAE,qDAAqD;SAChE;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,gDAAgD;YAC5D,QAAQ,EAAE,2HAA2H;SACtI;QACD;YACE,UAAU,EAAE,kDAAkD;YAC9D,QAAQ,EAAE,qGAAqG;SAChH;QACD;YACE,UAAU,EAAE,sDAAsD;YAClE,QAAQ,EAAE,yFAAyF;SACpG;QACD;YACE,UAAU,EAAE,sCAAsC;YAClD,QAAQ,EAAE,2FAA2F;SACtG;QACD;YACE,UAAU,EAAE,+BAA+B;YAC3C,QAAQ,EAAE,qJAAqJ;SAChK;QACD;YACE,UAAU,EAAE,0CAA0C;YACtD,QAAQ,EAAE,4GAA4G;SACvH;QACD;YACE,UAAU,EAAE,uBAAuB;YACnC,QAAQ,EAAE,4IAA4I;SACvJ;QACD;YACE,UAAU,EAAE,uCAAuC;YACnD,QAAQ,EAAE,wGAAwG;SACnH;QACD;YACE,UAAU,EAAE,oCAAoC;YAChD,QAAQ,EAAE,4JAA4J;SACvK;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE,SAAS;SACjB;QACD;YACE,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,QAAQ;SAChB;QACD;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,UAAU;SAClB;QACD;YACE,OAAO,EAAE,YAAY;YACrB,KAAK,EAAE,cAAc;SACtB;QACD;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,UAAU;SAClB;QACD;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE,SAAS;SACjB;QACD;YACE,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,aAAa;SACrB;KACF;IACD,QAAQ,EAAE;QACR,OAAO,EAAE,gEAAgE;QACzE,KAAK,EAAE,6GAA6G;KACrH;IACD,eAAe,EAAE,uaAAua;IACxb,cAAc,EAAE;QACd,ouBAAouB;KACruB;IACD,KAAK,EAAE,QAAQ;IACf,MAAM,EAAE,QAAQ;IAChB,cAAc,EAAE;QACd,MAAM;QACN,QAAQ;QACR,KAAK;KACN;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mtimes.js","sourceRoot":"","sources":["../../../src/generated/builtins/mtimes.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,QAAQ;IACjB,SAAS,EAAE;QACT,QAAQ;KACT;IACD,UAAU,EAAE,iBAAiB;IAC7B,UAAU,EAAE;QACV,QAAQ;QACR,QAAQ;QACR,uBAAuB;QACvB,gBAAgB;QAChB,KAAK;KACN;IACD,SAAS,EAAE,qEAAqE;IAChF,aAAa,EAAE;QACb,aAAa,EAAE,KAAK;QACpB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE;YACZ,KAAK;YACL,KAAK;SACN;QACD,cAAc,EAAE,MAAM;QACtB,OAAO,EAAE,mIAAmI;KAC7I;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,4CAA4C;QACpD,aAAa,EAAE,kEAAkE;QACjF,YAAY,EAAE,uEAAuE;QACrF,MAAM,EAAE,qEAAqE;KAC9E;IACD,aAAa,EAAE,mKAAmK;IAClL,WAAW,EAAE;QACX,oMAAoM;QACpM,mJAAmJ;QACnJ,6RAA6R;QAC7R,8JAA8J;QAC9J,qLAAqL;QACrL,oPAAoP;KACrP;IACD,UAAU,EAAE;QACV;YACE,aAAa,EAAE,2BAA2B;YAC1C,OAAO,EAAE,yDAAyD;YAClE,QAAQ,EAAE,sBAAsB;SACjC;QACD;YACE,aAAa,EAAE,mDAAmD;YAClE,OAAO,EAAE,8CAA8C;YACvD,QAAQ,EAAE,aAAa;SACxB;QACD;YACE,aAAa,EAAE,2CAA2C;YAC1D,OAAO,EAAE,kBAAkB;YAC3B,QAAQ,EAAE,qGAAqG;SAChH;QACD;YACE,aAAa,EAAE,2BAA2B;YAC1C,OAAO,EAAE,2DAA2D;YACpE,QAAQ,EAAE,8BAA8B;SACzC;QACD;YACE,aAAa,EAAE,6CAA6C;YAC5D,OAAO,EAAE,sFAAsF;YAC/F,QAAQ,EAAE,8DAA8D;SACzE;QACD;YACE,aAAa,EAAE,gDAAgD;YAC/D,OAAO,EAAE,6CAA6C;YACtD,QAAQ,EAAE,qDAAqD;SAChE;KACF;IACD,MAAM,EAAE;QACN;YACE,UAAU,EAAE,gDAAgD;YAC5D,QAAQ,EAAE,2HAA2H;SACtI;QACD;YACE,UAAU,EAAE,kDAAkD;YAC9D,QAAQ,EAAE,qGAAqG;SAChH;QACD;YACE,UAAU,EAAE,sDAAsD;YAClE,QAAQ,EAAE,6KAA6K;SACxL;QACD;YACE,UAAU,EAAE,sCAAsC;YAClD,QAAQ,EAAE,2FAA2F;SACtG;QACD;YACE,UAAU,EAAE,+BAA+B;YAC3C,QAAQ,EAAE,qJAAqJ;SAChK;QACD;YACE,UAAU,EAAE,0CAA0C;YACtD,QAAQ,EAAE,4GAA4G;SACvH;QACD;YACE,UAAU,EAAE,uBAAuB;YACnC,QAAQ,EAAE,4IAA4I;SACvJ;QACD;YACE,UAAU,EAAE,uCAAuC;YACnD,QAAQ,EAAE,wGAAwG;SACnH;QACD;YACE,UAAU,EAAE,oCAAoC;YAChD,QAAQ,EAAE,4JAA4J;SACvK;KACF;IACD,OAAO,EAAE;QACP;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE,SAAS;SACjB;QACD;YACE,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,QAAQ;SAChB;QACD;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,UAAU;SAClB;QACD;YACE,OAAO,EAAE,YAAY;YACrB,KAAK,EAAE,cAAc;SACtB;QACD;YACE,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,OAAO;SACf;QACD;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,QAAQ;YACjB,KAAK,EAAE,UAAU;SAClB;QACD;YACE,OAAO,EAAE,UAAU;YACnB,KAAK,EAAE,YAAY;SACpB;QACD;YACE,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE,SAAS;SACjB;QACD;YACE,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,aAAa;SACrB;KACF;IACD,QAAQ,EAAE;QACR,OAAO,EAAE,gEAAgE;QACzE,KAAK,EAAE,6GAA6G;KACrH;IACD,eAAe,EAAE,uaAAua;IACxb,cAAc,EAAE;QACd,ouBAAouB;KACruB;IACD,KAAK,EAAE,QAAQ;IACf,MAAM,EAAE,QAAQ;IAChB,cAAc,EAAE;QACd,MAAM;QACN,QAAQ;QACR,KAAK;KACN;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"mustBeA.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeA.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":"mustBeA.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeA.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/mustBeA.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": "`mustBeA` 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": "`mustBeA` 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": "mustbea",
     "slug": "mustbea",
     "aliases": [],

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

@@ -1 +1 @@
-{"version":3,"file":"mustBeA.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeA.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,SAAS;IAClB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,SAAS;QACT,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,mFAAmF;IAC9F,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,sZAAsZ;IACra,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,wBAAwB;YACjC,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,SAAS;IAChB,MAAM,EAAE,SAAS;IACjB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeA.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeA.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,SAAS;IAClB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,SAAS;QACT,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,mFAAmF;IAC9F,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,upBAAupB;IACtqB,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,wBAAwB;YACjC,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,SAAS;IAChB,MAAM,EAAE,SAAS;IACjB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"mustBeColumn.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeColumn.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":"mustBeColumn.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeColumn.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/mustBeColumn.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": "`mustBeColumn` 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": "`mustBeColumn` 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": "mustbecolumn",
     "slug": "mustbecolumn",
     "aliases": [],

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

@@ -1 +1 @@
-{"version":3,"file":"mustBeColumn.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeColumn.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,yCAAyC;IACpD,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":"mustBeColumn.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeColumn.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,yCAAyC;IACpD,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,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/mustBeFile.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeFile.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFile.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":"mustBeFile.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFile.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/mustBeFile.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": "`mustBeFile` 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": "`mustBeFile` 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": "mustbefile",
     "slug": "mustbefile",
     "aliases": [],

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

@@ -1 +1 @@
-{"version":3,"file":"mustBeFile.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFile.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,YAAY;IACrB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,YAAY;QACZ,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,yZAAyZ;IACxa,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,eAAe;YACxB,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,YAAY;IACnB,MAAM,EAAE,YAAY;IACpB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeFile.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFile.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,YAAY;IACrB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,YAAY;QACZ,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,0pBAA0pB;IACzqB,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,eAAe;YACxB,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,YAAY;IACnB,MAAM,EAAE,YAAY;IACpB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"mustBeFinite.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFinite.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":"mustBeFinite.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFinite.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/mustBeFinite.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": "`mustBeFinite` 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": "`mustBeFinite` 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": "mustbefinite",
     "slug": "mustbefinite",
     "aliases": [],

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

@@ -1 +1 @@
-{"version":3,"file":"mustBeFinite.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFinite.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,0CAA0C;IACrD,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":"mustBeFinite.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFinite.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,0CAA0C;IACrD,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/mustBeFloat.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeFloat.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFloat.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":"mustBeFloat.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFloat.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/mustBeFloat.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": "`mustBeFloat` 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": "`mustBeFloat` 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": "mustbefloat",
     "slug": "mustbefloat",
     "aliases": [],

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

@@ -1 +1 @@
-{"version":3,"file":"mustBeFloat.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFloat.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,aAAa;IACtB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,aAAa;QACb,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,uDAAuD;IAClE,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,0ZAA0Z;IACza,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,gBAAgB;YACzB,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,aAAa;IACpB,MAAM,EAAE,aAAa;IACrB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}
+{"version":3,"file":"mustBeFloat.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFloat.ts"],"names":[],"mappings":"AAAA,8CAA8C;AAC9C,uBAAuB;AAIvB,MAAM,UAAU,GAAe;IAC7B,OAAO,EAAE,aAAa;IACtB,UAAU,EAAE,qBAAqB;IACjC,UAAU,EAAE;QACV,aAAa;QACb,qBAAqB;QACrB,iBAAiB;QACjB,sBAAsB;KACvB;IACD,SAAS,EAAE,uDAAuD;IAClE,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,2pBAA2pB;IAC1qB,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,gBAAgB;YACzB,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,aAAa;IACpB,MAAM,EAAE,aAAa;IACrB,SAAS,EAAE,EAAE;IACb,cAAc,EAAE;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,eAAe,UAAU,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"mustBeFolder.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFolder.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":"mustBeFolder.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFolder.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/mustBeFolder.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": "`mustBeFolder` 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": "`mustBeFolder` 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": "mustbefolder",
     "slug": "mustbefolder",
     "aliases": [],

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

@@ -1 +1 @@
-{"version":3,"file":"mustBeFolder.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFolder.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,8CAA8C;IACzD,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":"mustBeFolder.js","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeFolder.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,8CAA8C;IACzD,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,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/mustBeGreaterThan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mustBeGreaterThan.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeGreaterThan.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":"mustBeGreaterThan.d.ts","sourceRoot":"","sources":["../../../src/generated/builtins/mustBeGreaterThan.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/mustBeGreaterThan.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": "`mustBeGreaterThan` 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": "`mustBeGreaterThan` 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": "mustbegreaterthan",
     "slug": "mustbegreaterthan",
     "aliases": [],