@almadar/std 2.0.0 → 2.1.0

package/dist/modules/math.d.ts

@@ -1,4 +1,4 @@
-import { a as StdOperatorMeta } from '../types-I95R8_FN.js';
+import { a as StdOperatorMeta } from '../types-CmNM_IbV.js';
 
 /**
  * Math Module - Numeric Operations

package/dist/modules/nn.d.ts

@@ -1,4 +1,4 @@
-import { a as StdOperatorMeta } from '../types-I95R8_FN.js';
+import { a as StdOperatorMeta } from '../types-CmNM_IbV.js';
 
 /**
  * Neural Network Module - Neural Network Operations

package/dist/modules/object.d.ts

@@ -1,4 +1,4 @@
-import { a as StdOperatorMeta } from '../types-I95R8_FN.js';
+import { a as StdOperatorMeta } from '../types-CmNM_IbV.js';
 
 /**
  * Object Module - Object Operations

package/dist/modules/prob.d.ts

@@ -0,0 +1,21 @@
+import { a as StdOperatorMeta } from '../types-CmNM_IbV.js';
+
+/**
+ * Prob Module - Probabilistic Programming Operators
+ *
+ * Provides distribution sampling, Bayesian inference via rejection sampling,
+ * and statistical summary functions.
+ *
+ * @packageDocumentation
+ */
+
+/**
+ * Probabilistic module operators.
+ */
+declare const PROB_OPERATORS: Record<string, StdOperatorMeta>;
+/**
+ * Get all probabilistic operators.
+ */
+declare function getProbOperators(): Record<string, StdOperatorMeta>;
+
+export { PROB_OPERATORS, getProbOperators };

package/dist/modules/prob.js

@@ -0,0 +1,229 @@
+// modules/prob.ts
+var PROB_OPERATORS = {
+  // ========================================
+  // Distribution Sampling
+  // ========================================
+  "prob/seed": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 1,
+    maxArity: 1,
+    description: "Set seeded PRNG for deterministic probabilistic sampling",
+    hasSideEffects: true,
+    returnType: "void",
+    params: [{ name: "n", type: "number", description: "Seed value (integer)" }],
+    example: '["prob/seed", 42]'
+  },
+  "prob/flip": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 1,
+    maxArity: 1,
+    description: "Bernoulli trial: returns true with probability p",
+    hasSideEffects: false,
+    returnType: "boolean",
+    params: [{ name: "p", type: "number", description: "Probability of true (0 to 1)" }],
+    example: '["prob/flip", 0.5] // => true or false with equal probability'
+  },
+  "prob/gaussian": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Sample from a Gaussian (normal) distribution",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [
+      { name: "mu", type: "number", description: "Mean" },
+      { name: "sigma", type: "number", description: "Standard deviation" }
+    ],
+    example: '["prob/gaussian", 0, 1] // => standard normal sample'
+  },
+  "prob/uniform": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Sample from a uniform distribution [lo, hi)",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [
+      { name: "lo", type: "number", description: "Lower bound (inclusive)" },
+      { name: "hi", type: "number", description: "Upper bound (exclusive)" }
+    ],
+    example: '["prob/uniform", 0, 10] // => number in [0, 10)'
+  },
+  "prob/beta": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Sample from a Beta(alpha, beta) distribution",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [
+      { name: "alpha", type: "number", description: "Alpha shape parameter (> 0)" },
+      { name: "beta", type: "number", description: "Beta shape parameter (> 0)" }
+    ],
+    example: '["prob/beta", 2, 5] // => number in [0, 1], mean ~ 0.286'
+  },
+  "prob/categorical": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Weighted random selection from items",
+    hasSideEffects: false,
+    returnType: "any",
+    params: [
+      { name: "items", type: "array", description: "Array of items to choose from" },
+      { name: "weights", type: "number[]", description: "Array of weights (same length as items)" }
+    ],
+    example: '["prob/categorical", ["a", "b", "c"], [1, 2, 1]] // => "b" most likely'
+  },
+  "prob/poisson": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 1,
+    maxArity: 1,
+    description: "Sample from a Poisson distribution",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [{ name: "lambda", type: "number", description: "Rate parameter (> 0)" }],
+    example: '["prob/poisson", 4] // => non-negative integer, mean ~ 4'
+  },
+  // ========================================
+  // Inference
+  // ========================================
+  "prob/condition": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 1,
+    maxArity: 1,
+    description: "Mark current sample as rejected if predicate is false",
+    hasSideEffects: true,
+    returnType: "void",
+    params: [{ name: "predicate", type: "boolean", description: "Condition that must hold" }],
+    example: '["prob/condition", [">", "@entity.x", 0]]'
+  },
+  "prob/sample": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Evaluate an expression n times and collect results",
+    hasSideEffects: false,
+    returnType: "array",
+    params: [
+      { name: "n", type: "number", description: "Number of samples" },
+      { name: "expr", type: "SExpr", description: "Expression to evaluate (lazy)" }
+    ],
+    example: '["prob/sample", 1000, ["prob/flip", 0.5]] // => array of booleans'
+  },
+  "prob/posterior": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 4,
+    maxArity: 4,
+    description: "Rejection sampling: returns accepted query values",
+    hasSideEffects: false,
+    returnType: "array",
+    params: [
+      { name: "model", type: "SExpr", description: "Model expression (lazy, may call set/condition)" },
+      { name: "evidence", type: "SExpr", description: "Evidence expression (lazy, boolean)" },
+      { name: "query", type: "SExpr", description: "Query expression (lazy, value to collect)" },
+      { name: "n", type: "number", description: "Number of samples to attempt" }
+    ],
+    example: '["prob/posterior", model, evidence, query, 5000]'
+  },
+  "prob/infer": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 4,
+    maxArity: 4,
+    description: "Like posterior but returns {mean, variance, samples, acceptRate}",
+    hasSideEffects: false,
+    returnType: "object",
+    params: [
+      { name: "model", type: "SExpr", description: "Model expression (lazy)" },
+      { name: "evidence", type: "SExpr", description: "Evidence expression (lazy, boolean)" },
+      { name: "query", type: "SExpr", description: "Query expression (lazy)" },
+      { name: "n", type: "number", description: "Number of samples to attempt" }
+    ],
+    example: '["prob/infer", model, evidence, query, 5000]'
+  },
+  // ========================================
+  // Statistics
+  // ========================================
+  "prob/expected-value": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 1,
+    maxArity: 1,
+    description: "Mean of numeric samples",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [{ name: "samples", type: "number[]", description: "Array of numeric samples" }],
+    example: '["prob/expected-value", [2, 4, 6, 8]] // => 5'
+  },
+  "prob/variance": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 1,
+    maxArity: 1,
+    description: "Population variance of numeric samples",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [{ name: "samples", type: "number[]", description: "Array of numeric samples" }],
+    example: '["prob/variance", [2, 4, 4, 4, 5, 5, 7, 9]] // => 4'
+  },
+  "prob/histogram": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Bin numeric samples into a histogram",
+    hasSideEffects: false,
+    returnType: "object",
+    params: [
+      { name: "samples", type: "number[]", description: "Array of numeric samples" },
+      { name: "bins", type: "number", description: "Number of bins" }
+    ],
+    example: '["prob/histogram", [1, 2, 3, 4, 5], 2] // => {binEdges, counts}'
+  },
+  "prob/percentile": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Get the p-th percentile (0-100) from samples",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [
+      { name: "samples", type: "number[]", description: "Array of numeric samples" },
+      { name: "p", type: "number", description: "Percentile (0 to 100)" }
+    ],
+    example: '["prob/percentile", [1, 2, 3, 4, 5], 50] // => 3'
+  },
+  "prob/credible-interval": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Compute symmetric credible interval from samples",
+    hasSideEffects: false,
+    returnType: "array",
+    params: [
+      { name: "samples", type: "number[]", description: "Array of numeric samples" },
+      { name: "alpha", type: "number", description: "Significance level (e.g., 0.05 for 95% interval)" }
+    ],
+    example: '["prob/credible-interval", samples, 0.05] // => [lo, hi]'
+  }
+};
+function getProbOperators() {
+  return PROB_OPERATORS;
+}
+
+export { PROB_OPERATORS, getProbOperators };
+//# sourceMappingURL=prob.js.map
+//# sourceMappingURL=prob.js.map

package/dist/modules/prob.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../modules/prob.ts"],"names":[],"mappings":";AAcO,IAAM,cAAA,GAAkD;AAAA;AAAA;AAAA;AAAA,EAI7D,WAAA,EAAa;AAAA,IACX,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,0DAAA;AAAA,IACb,cAAA,EAAgB,IAAA;AAAA,IAChB,UAAA,EAAY,MAAA;AAAA,IACZ,MAAA,EAAQ,CAAC,EAAE,IAAA,EAAM,KAAK,IAAA,EAAM,QAAA,EAAU,WAAA,EAAa,sBAAA,EAAwB,CAAA;AAAA,IAC3E,OAAA,EAAS;AAAA,GACX;AAAA,EACA,WAAA,EAAa;AAAA,IACX,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,kDAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,SAAA;AAAA,IACZ,MAAA,EAAQ,CAAC,EAAE,IAAA,EAAM,KAAK,IAAA,EAAM,QAAA,EAAU,WAAA,EAAa,8BAAA,EAAgC,CAAA;AAAA,IACnF,OAAA,EAAS;AAAA,GACX;AAAA,EACA,eAAA,EAAiB;AAAA,IACf,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,8CAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,IAAA,EAAM,IAAA,EAAM,QAAA,EAAU,aAAa,MAAA,EAAO;AAAA,MAClD,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,QAAA,EAAU,aAAa,oBAAA;AAAqB,KACrE;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,6CAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,IAAA,EAAM,IAAA,EAAM,QAAA,EAAU,aAAa,yBAAA,EAA0B;AAAA,MACrE,EAAE,IAAA,EAAM,IAAA,EAAM,IAAA,EAAM,QAAA,EAAU,aAAa,yBAAA;AAA0B,KACvE;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,WAAA,EAAa;AAAA,IACX,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,8CAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,QAAA,EAAU,aAAa,6BAAA,EAA8B;AAAA,MAC5E,EAAE,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,QAAA,EAAU,aAAa,4BAAA;AAA6B,KAC5E;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,kBAAA,EAAoB;AAAA,IAClB,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,sCAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,KAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,OAAA,EAAS,aAAa,+BAAA,EAAgC;AAAA,MAC7E,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,UAAA,EAAY,aAAa,yCAAA;AAA0C,KAC9F;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,oCAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ,CAAC,EAAE,IAAA,EAAM,UAAU,IAAA,EAAM,QAAA,EAAU,WAAA,EAAa,sBAAA,EAAwB,CAAA;AAAA,IAChF,OAAA,EAAS;AAAA,GACX;AAAA;AAAA;AAAA;AAAA,EAKA,gBAAA,EAAkB;AAAA,IAChB,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,uDAAA;AAAA,IACb,cAAA,EAAgB,IAAA;AAAA,IAChB,UAAA,EAAY,MAAA;AAAA,IACZ,MAAA,EAAQ,CAAC,EAAE,IAAA,EAAM,aAAa,IAAA,EAAM,SAAA,EAAW,WAAA,EAAa,0BAAA,EAA4B,CAAA;AAAA,IACxF,OAAA,EAAS;AAAA,GACX;AAAA,EACA,aAAA,EAAe;AAAA,IACb,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,oDAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,OAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,GAAA,EAAK,IAAA,EAAM,QAAA,EAAU,aAAa,mBAAA,EAAoB;AAAA,MAC9D,EAAE,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,OAAA,EAAS,aAAa,+BAAA;AAAgC,KAC9E;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,gBAAA,EAAkB;AAAA,IAChB,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,mDAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,OAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,OAAA,EAAS,aAAa,iDAAA,EAAkD;AAAA,MAC/F,EAAE,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,OAAA,EAAS,aAAa,qCAAA,EAAsC;AAAA,MACtF,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,OAAA,EAAS,aAAa,2CAAA,EAA4C;AAAA,MACzF,EAAE,IAAA,EAAM,GAAA,EAAK,IAAA,EAAM,QAAA,EAAU,aAAa,8BAAA;AAA+B,KAC3E;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,kEAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,OAAA,EAAS,aAAa,yBAAA,EAA0B;AAAA,MACvE,EAAE,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,OAAA,EAAS,aAAa,qCAAA,EAAsC;AAAA,MACtF,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,OAAA,EAAS,aAAa,yBAAA,EAA0B;AAAA,MACvE,EAAE,IAAA,EAAM,GAAA,EAAK,IAAA,EAAM,QAAA,EAAU,aAAa,8BAAA;AAA+B,KAC3E;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA;AAAA;AAAA;AAAA,EAKA,qBAAA,EAAuB;AAAA,IACrB,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,yBAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ,CAAC,EAAE,IAAA,EAAM,WAAW,IAAA,EAAM,UAAA,EAAY,WAAA,EAAa,0BAAA,EAA4B,CAAA;AAAA,IACvF,OAAA,EAAS;AAAA,GACX;AAAA,EACA,eAAA,EAAiB;AAAA,IACf,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,wCAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ,CAAC,EAAE,IAAA,EAAM,WAAW,IAAA,EAAM,UAAA,EAAY,WAAA,EAAa,0BAAA,EAA4B,CAAA;AAAA,IACvF,OAAA,EAAS;AAAA,GACX;AAAA,EACA,gBAAA,EAAkB;AAAA,IAChB,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,sCAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,UAAA,EAAY,aAAa,0BAAA,EAA2B;AAAA,MAC7E,EAAE,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,QAAA,EAAU,aAAa,gBAAA;AAAiB,KAChE;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,iBAAA,EAAmB;AAAA,IACjB,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,8CAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,UAAA,EAAY,aAAa,0BAAA,EAA2B;AAAA,MAC7E,EAAE,IAAA,EAAM,GAAA,EAAK,IAAA,EAAM,QAAA,EAAU,aAAa,uBAAA;AAAwB,KACpE;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,wBAAA,EAA0B;AAAA,IACxB,MAAA,EAAQ,MAAA;AAAA,IACR,QAAA,EAAU,UAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,kDAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,OAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,UAAA,EAAY,aAAa,0BAAA,EAA2B;AAAA,MAC7E,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,QAAA,EAAU,aAAa,kDAAA;AAAmD,KACnG;AAAA,IACA,OAAA,EAAS;AAAA;AAEb;AAKO,SAAS,gBAAA,GAAoD;AAClE,EAAA,OAAO,cAAA;AACT","file":"prob.js","sourcesContent":["/**\n * Prob Module - Probabilistic Programming Operators\n *\n * Provides distribution sampling, Bayesian inference via rejection sampling,\n * and statistical summary functions.\n *\n * @packageDocumentation\n */\n\nimport type { StdOperatorMeta } from '../types.js';\n\n/**\n * Probabilistic module operators.\n */\nexport const PROB_OPERATORS: Record<string, StdOperatorMeta> = {\n  // ========================================\n  // Distribution Sampling\n  // ========================================\n  'prob/seed': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 1,\n    maxArity: 1,\n    description: 'Set seeded PRNG for deterministic probabilistic sampling',\n    hasSideEffects: true,\n    returnType: 'void',\n    params: [{ name: 'n', type: 'number', description: 'Seed value (integer)' }],\n    example: '[\"prob/seed\", 42]',\n  },\n  'prob/flip': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 1,\n    maxArity: 1,\n    description: 'Bernoulli trial: returns true with probability p',\n    hasSideEffects: false,\n    returnType: 'boolean',\n    params: [{ name: 'p', type: 'number', description: 'Probability of true (0 to 1)' }],\n    example: '[\"prob/flip\", 0.5] // => true or false with equal probability',\n  },\n  'prob/gaussian': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Sample from a Gaussian (normal) distribution',\n    hasSideEffects: false,\n    returnType: 'number',\n    params: [\n      { name: 'mu', type: 'number', description: 'Mean' },\n      { name: 'sigma', type: 'number', description: 'Standard deviation' },\n    ],\n    example: '[\"prob/gaussian\", 0, 1] // => standard normal sample',\n  },\n  'prob/uniform': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Sample from a uniform distribution [lo, hi)',\n    hasSideEffects: false,\n    returnType: 'number',\n    params: [\n      { name: 'lo', type: 'number', description: 'Lower bound (inclusive)' },\n      { name: 'hi', type: 'number', description: 'Upper bound (exclusive)' },\n    ],\n    example: '[\"prob/uniform\", 0, 10] // => number in [0, 10)',\n  },\n  'prob/beta': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Sample from a Beta(alpha, beta) distribution',\n    hasSideEffects: false,\n    returnType: 'number',\n    params: [\n      { name: 'alpha', type: 'number', description: 'Alpha shape parameter (> 0)' },\n      { name: 'beta', type: 'number', description: 'Beta shape parameter (> 0)' },\n    ],\n    example: '[\"prob/beta\", 2, 5] // => number in [0, 1], mean ~ 0.286',\n  },\n  'prob/categorical': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Weighted random selection from items',\n    hasSideEffects: false,\n    returnType: 'any',\n    params: [\n      { name: 'items', type: 'array', description: 'Array of items to choose from' },\n      { name: 'weights', type: 'number[]', description: 'Array of weights (same length as items)' },\n    ],\n    example: '[\"prob/categorical\", [\"a\", \"b\", \"c\"], [1, 2, 1]] // => \"b\" most likely',\n  },\n  'prob/poisson': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 1,\n    maxArity: 1,\n    description: 'Sample from a Poisson distribution',\n    hasSideEffects: false,\n    returnType: 'number',\n    params: [{ name: 'lambda', type: 'number', description: 'Rate parameter (> 0)' }],\n    example: '[\"prob/poisson\", 4] // => non-negative integer, mean ~ 4',\n  },\n\n  // ========================================\n  // Inference\n  // ========================================\n  'prob/condition': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 1,\n    maxArity: 1,\n    description: 'Mark current sample as rejected if predicate is false',\n    hasSideEffects: true,\n    returnType: 'void',\n    params: [{ name: 'predicate', type: 'boolean', description: 'Condition that must hold' }],\n    example: '[\"prob/condition\", [\">\", \"@entity.x\", 0]]',\n  },\n  'prob/sample': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Evaluate an expression n times and collect results',\n    hasSideEffects: false,\n    returnType: 'array',\n    params: [\n      { name: 'n', type: 'number', description: 'Number of samples' },\n      { name: 'expr', type: 'SExpr', description: 'Expression to evaluate (lazy)' },\n    ],\n    example: '[\"prob/sample\", 1000, [\"prob/flip\", 0.5]] // => array of booleans',\n  },\n  'prob/posterior': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 4,\n    maxArity: 4,\n    description: 'Rejection sampling: returns accepted query values',\n    hasSideEffects: false,\n    returnType: 'array',\n    params: [\n      { name: 'model', type: 'SExpr', description: 'Model expression (lazy, may call set/condition)' },\n      { name: 'evidence', type: 'SExpr', description: 'Evidence expression (lazy, boolean)' },\n      { name: 'query', type: 'SExpr', description: 'Query expression (lazy, value to collect)' },\n      { name: 'n', type: 'number', description: 'Number of samples to attempt' },\n    ],\n    example: '[\"prob/posterior\", model, evidence, query, 5000]',\n  },\n  'prob/infer': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 4,\n    maxArity: 4,\n    description: 'Like posterior but returns {mean, variance, samples, acceptRate}',\n    hasSideEffects: false,\n    returnType: 'object',\n    params: [\n      { name: 'model', type: 'SExpr', description: 'Model expression (lazy)' },\n      { name: 'evidence', type: 'SExpr', description: 'Evidence expression (lazy, boolean)' },\n      { name: 'query', type: 'SExpr', description: 'Query expression (lazy)' },\n      { name: 'n', type: 'number', description: 'Number of samples to attempt' },\n    ],\n    example: '[\"prob/infer\", model, evidence, query, 5000]',\n  },\n\n  // ========================================\n  // Statistics\n  // ========================================\n  'prob/expected-value': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 1,\n    maxArity: 1,\n    description: 'Mean of numeric samples',\n    hasSideEffects: false,\n    returnType: 'number',\n    params: [{ name: 'samples', type: 'number[]', description: 'Array of numeric samples' }],\n    example: '[\"prob/expected-value\", [2, 4, 6, 8]] // => 5',\n  },\n  'prob/variance': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 1,\n    maxArity: 1,\n    description: 'Population variance of numeric samples',\n    hasSideEffects: false,\n    returnType: 'number',\n    params: [{ name: 'samples', type: 'number[]', description: 'Array of numeric samples' }],\n    example: '[\"prob/variance\", [2, 4, 4, 4, 5, 5, 7, 9]] // => 4',\n  },\n  'prob/histogram': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Bin numeric samples into a histogram',\n    hasSideEffects: false,\n    returnType: 'object',\n    params: [\n      { name: 'samples', type: 'number[]', description: 'Array of numeric samples' },\n      { name: 'bins', type: 'number', description: 'Number of bins' },\n    ],\n    example: '[\"prob/histogram\", [1, 2, 3, 4, 5], 2] // => {binEdges, counts}',\n  },\n  'prob/percentile': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Get the p-th percentile (0-100) from samples',\n    hasSideEffects: false,\n    returnType: 'number',\n    params: [\n      { name: 'samples', type: 'number[]', description: 'Array of numeric samples' },\n      { name: 'p', type: 'number', description: 'Percentile (0 to 100)' },\n    ],\n    example: '[\"prob/percentile\", [1, 2, 3, 4, 5], 50] // => 3',\n  },\n  'prob/credible-interval': {\n    module: 'prob',\n    category: 'std-prob',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Compute symmetric credible interval from samples',\n    hasSideEffects: false,\n    returnType: 'array',\n    params: [\n      { name: 'samples', type: 'number[]', description: 'Array of numeric samples' },\n      { name: 'alpha', type: 'number', description: 'Significance level (e.g., 0.05 for 95% interval)' },\n    ],\n    example: '[\"prob/credible-interval\", samples, 0.05] // => [lo, hi]',\n  },\n};\n\n/**\n * Get all probabilistic operators.\n */\nexport function getProbOperators(): Record<string, StdOperatorMeta> {\n  return PROB_OPERATORS;\n}\n"]}

package/dist/modules/str.d.ts

@@ -1,4 +1,4 @@
-import { a as StdOperatorMeta } from '../types-I95R8_FN.js';
+import { a as StdOperatorMeta } from '../types-CmNM_IbV.js';
 
 /**
  * String Module - String Operations

package/dist/modules/tensor.d.ts

@@ -1,4 +1,4 @@
-import { a as StdOperatorMeta } from '../types-I95R8_FN.js';
+import { a as StdOperatorMeta } from '../types-CmNM_IbV.js';
 
 /**
  * Tensor Module - Tensor Operations

package/dist/modules/time.d.ts

@@ -1,4 +1,4 @@
-import { a as StdOperatorMeta } from '../types-I95R8_FN.js';
+import { a as StdOperatorMeta } from '../types-CmNM_IbV.js';
 
 /**
  * Time Module - Date and Time Operations

package/dist/modules/train.d.ts

@@ -1,4 +1,4 @@
-import { a as StdOperatorMeta } from '../types-I95R8_FN.js';
+import { a as StdOperatorMeta } from '../types-CmNM_IbV.js';
 
 /**
  * Training Module - Neural Network Training Operations

package/dist/modules/validate.d.ts

@@ -1,4 +1,4 @@
-import { a as StdOperatorMeta } from '../types-I95R8_FN.js';
+import { a as StdOperatorMeta } from '../types-CmNM_IbV.js';
 
 /**
  * Validate Module - Input Validation

package/dist/registry.d.ts

@@ -1,5 +1,5 @@
 import { OperatorMeta } from '@almadar/core/types';
-import { a as StdOperatorMeta, S as StdModule } from './types-I95R8_FN.js';
+import { a as StdOperatorMeta, S as StdModule } from './types-CmNM_IbV.js';
 
 /**
  * Standard Library Registry

package/dist/registry.js

@@ -10,7 +10,8 @@ var STD_MODULES = [
   "async",
   "nn",
   "tensor",
-  "train"
+  "train",
+  "prob"
 ];
 function getModuleFromOperator(operator) {
   const parts = operator.split("/");
@@ -3142,6 +3143,229 @@ var TRAIN_OPERATORS = {
   }
 };
 
+// modules/prob.ts
+var PROB_OPERATORS = {
+  // ========================================
+  // Distribution Sampling
+  // ========================================
+  "prob/seed": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 1,
+    maxArity: 1,
+    description: "Set seeded PRNG for deterministic probabilistic sampling",
+    hasSideEffects: true,
+    returnType: "void",
+    params: [{ name: "n", type: "number", description: "Seed value (integer)" }],
+    example: '["prob/seed", 42]'
+  },
+  "prob/flip": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 1,
+    maxArity: 1,
+    description: "Bernoulli trial: returns true with probability p",
+    hasSideEffects: false,
+    returnType: "boolean",
+    params: [{ name: "p", type: "number", description: "Probability of true (0 to 1)" }],
+    example: '["prob/flip", 0.5] // => true or false with equal probability'
+  },
+  "prob/gaussian": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Sample from a Gaussian (normal) distribution",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [
+      { name: "mu", type: "number", description: "Mean" },
+      { name: "sigma", type: "number", description: "Standard deviation" }
+    ],
+    example: '["prob/gaussian", 0, 1] // => standard normal sample'
+  },
+  "prob/uniform": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Sample from a uniform distribution [lo, hi)",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [
+      { name: "lo", type: "number", description: "Lower bound (inclusive)" },
+      { name: "hi", type: "number", description: "Upper bound (exclusive)" }
+    ],
+    example: '["prob/uniform", 0, 10] // => number in [0, 10)'
+  },
+  "prob/beta": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Sample from a Beta(alpha, beta) distribution",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [
+      { name: "alpha", type: "number", description: "Alpha shape parameter (> 0)" },
+      { name: "beta", type: "number", description: "Beta shape parameter (> 0)" }
+    ],
+    example: '["prob/beta", 2, 5] // => number in [0, 1], mean ~ 0.286'
+  },
+  "prob/categorical": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Weighted random selection from items",
+    hasSideEffects: false,
+    returnType: "any",
+    params: [
+      { name: "items", type: "array", description: "Array of items to choose from" },
+      { name: "weights", type: "number[]", description: "Array of weights (same length as items)" }
+    ],
+    example: '["prob/categorical", ["a", "b", "c"], [1, 2, 1]] // => "b" most likely'
+  },
+  "prob/poisson": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 1,
+    maxArity: 1,
+    description: "Sample from a Poisson distribution",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [{ name: "lambda", type: "number", description: "Rate parameter (> 0)" }],
+    example: '["prob/poisson", 4] // => non-negative integer, mean ~ 4'
+  },
+  // ========================================
+  // Inference
+  // ========================================
+  "prob/condition": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 1,
+    maxArity: 1,
+    description: "Mark current sample as rejected if predicate is false",
+    hasSideEffects: true,
+    returnType: "void",
+    params: [{ name: "predicate", type: "boolean", description: "Condition that must hold" }],
+    example: '["prob/condition", [">", "@entity.x", 0]]'
+  },
+  "prob/sample": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Evaluate an expression n times and collect results",
+    hasSideEffects: false,
+    returnType: "array",
+    params: [
+      { name: "n", type: "number", description: "Number of samples" },
+      { name: "expr", type: "SExpr", description: "Expression to evaluate (lazy)" }
+    ],
+    example: '["prob/sample", 1000, ["prob/flip", 0.5]] // => array of booleans'
+  },
+  "prob/posterior": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 4,
+    maxArity: 4,
+    description: "Rejection sampling: returns accepted query values",
+    hasSideEffects: false,
+    returnType: "array",
+    params: [
+      { name: "model", type: "SExpr", description: "Model expression (lazy, may call set/condition)" },
+      { name: "evidence", type: "SExpr", description: "Evidence expression (lazy, boolean)" },
+      { name: "query", type: "SExpr", description: "Query expression (lazy, value to collect)" },
+      { name: "n", type: "number", description: "Number of samples to attempt" }
+    ],
+    example: '["prob/posterior", model, evidence, query, 5000]'
+  },
+  "prob/infer": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 4,
+    maxArity: 4,
+    description: "Like posterior but returns {mean, variance, samples, acceptRate}",
+    hasSideEffects: false,
+    returnType: "object",
+    params: [
+      { name: "model", type: "SExpr", description: "Model expression (lazy)" },
+      { name: "evidence", type: "SExpr", description: "Evidence expression (lazy, boolean)" },
+      { name: "query", type: "SExpr", description: "Query expression (lazy)" },
+      { name: "n", type: "number", description: "Number of samples to attempt" }
+    ],
+    example: '["prob/infer", model, evidence, query, 5000]'
+  },
+  // ========================================
+  // Statistics
+  // ========================================
+  "prob/expected-value": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 1,
+    maxArity: 1,
+    description: "Mean of numeric samples",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [{ name: "samples", type: "number[]", description: "Array of numeric samples" }],
+    example: '["prob/expected-value", [2, 4, 6, 8]] // => 5'
+  },
+  "prob/variance": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 1,
+    maxArity: 1,
+    description: "Population variance of numeric samples",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [{ name: "samples", type: "number[]", description: "Array of numeric samples" }],
+    example: '["prob/variance", [2, 4, 4, 4, 5, 5, 7, 9]] // => 4'
+  },
+  "prob/histogram": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Bin numeric samples into a histogram",
+    hasSideEffects: false,
+    returnType: "object",
+    params: [
+      { name: "samples", type: "number[]", description: "Array of numeric samples" },
+      { name: "bins", type: "number", description: "Number of bins" }
+    ],
+    example: '["prob/histogram", [1, 2, 3, 4, 5], 2] // => {binEdges, counts}'
+  },
+  "prob/percentile": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Get the p-th percentile (0-100) from samples",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [
+      { name: "samples", type: "number[]", description: "Array of numeric samples" },
+      { name: "p", type: "number", description: "Percentile (0 to 100)" }
+    ],
+    example: '["prob/percentile", [1, 2, 3, 4, 5], 50] // => 3'
+  },
+  "prob/credible-interval": {
+    module: "prob",
+    category: "std-prob",
+    minArity: 2,
+    maxArity: 2,
+    description: "Compute symmetric credible interval from samples",
+    hasSideEffects: false,
+    returnType: "array",
+    params: [
+      { name: "samples", type: "number[]", description: "Array of numeric samples" },
+      { name: "alpha", type: "number", description: "Significance level (e.g., 0.05 for 95% interval)" }
+    ],
+    example: '["prob/credible-interval", samples, 0.05] // => [lo, hi]'
+  }
+};
+
 // registry.ts
 var STD_OPERATORS = {
   ...MATH_OPERATORS,
@@ -3154,7 +3378,8 @@ var STD_OPERATORS = {
   ...ASYNC_OPERATORS,
   ...NN_OPERATORS,
   ...TENSOR_OPERATORS,
-  ...TRAIN_OPERATORS
+  ...TRAIN_OPERATORS,
+  ...PROB_OPERATORS
 };
 var STD_OPERATORS_BY_MODULE = {
   math: MATH_OPERATORS,
@@ -3167,7 +3392,8 @@ var STD_OPERATORS_BY_MODULE = {
   async: ASYNC_OPERATORS,
   nn: NN_OPERATORS,
   tensor: TENSOR_OPERATORS,
-  train: TRAIN_OPERATORS
+  train: TRAIN_OPERATORS,
+  prob: PROB_OPERATORS
 };
 function getStdOperatorMeta(operator) {
   return STD_OPERATORS[operator];