@almadar/std 1.0.0

package/dist/modules/train.js

@@ -0,0 +1,308 @@
+// modules/train.ts
+var TRAIN_OPERATORS = {
+  // ============================================================================
+  // Training Loop
+  // ============================================================================
+  "train/loop": {
+    module: "train",
+    category: "std-train",
+    minArity: 3,
+    maxArity: 3,
+    description: "Execute training loop with constraints",
+    hasSideEffects: true,
+    returnType: "train/result",
+    params: [
+      { name: "module", type: "nn/module", description: "The neural network to train" },
+      { name: "data", type: "array", description: "Training data (array of {input, target} or experiences)" },
+      { name: "config", type: "train/config", description: "Training configuration with constraints" }
+    ],
+    example: '["train/loop", "@entity.architecture", "@entity.buffer", "@entity.trainingConfig"]'
+  },
+  "train/step": {
+    module: "train",
+    category: "std-train",
+    minArity: 4,
+    maxArity: 4,
+    description: "Execute single training step (forward, loss, backward, update)",
+    hasSideEffects: true,
+    returnType: "train/stepResult",
+    params: [
+      { name: "module", type: "nn/module", description: "The neural network" },
+      { name: "input", type: "tensor", description: "Input tensor" },
+      { name: "target", type: "tensor", description: "Target tensor" },
+      { name: "config", type: "train/config", description: "Training configuration" }
+    ],
+    example: '["train/step", "@entity.architecture", "@batch.input", "@batch.target", "@entity.config"]'
+  },
+  // ============================================================================
+  // Validation
+  // ============================================================================
+  "train/validate": {
+    module: "train",
+    category: "std-train",
+    minArity: 2,
+    maxArity: 2,
+    description: "Validate model on test cases, returns pass/fail metrics",
+    hasSideEffects: false,
+    returnType: "train/validationResult",
+    params: [
+      { name: "module", type: "nn/module", description: "The neural network" },
+      { name: "testCases", type: "array", description: "Array of {input, expected, tolerance?}" }
+    ],
+    example: '["train/validate", "@entity.architecture", "@entity.validationSet"]'
+  },
+  "train/checkRegression": {
+    module: "train",
+    category: "std-train",
+    minArity: 3,
+    maxArity: 3,
+    description: "Check if new model regresses on required invariants",
+    hasSideEffects: false,
+    returnType: "train/regressionResult",
+    params: [
+      { name: "newModule", type: "nn/module", description: "Newly trained network" },
+      { name: "oldModule", type: "nn/module", description: "Previous network" },
+      { name: "invariants", type: "array", description: "Test cases that must not regress" }
+    ],
+    example: '["train/checkRegression", "@payload.newWeights", "@entity.architecture", "@entity.requiredInvariants"]'
+  },
+  // ============================================================================
+  // Constraint Checking
+  // ============================================================================
+  "train/checkConstraints": {
+    module: "train",
+    category: "std-train",
+    minArity: 2,
+    maxArity: 2,
+    description: "Check if network weights satisfy all constraints",
+    hasSideEffects: false,
+    returnType: "train/constraintResult",
+    params: [
+      { name: "module", type: "nn/module", description: "The neural network" },
+      { name: "constraints", type: "train/constraints", description: "Constraint specification" }
+    ],
+    example: '["train/checkConstraints", "@payload.newWeights", "@entity.constraints"]'
+  },
+  "train/checkWeightMagnitude": {
+    module: "train",
+    category: "std-train",
+    minArity: 2,
+    maxArity: 2,
+    description: "Check if all weights are within magnitude limit",
+    hasSideEffects: false,
+    returnType: "boolean",
+    params: [
+      { name: "module", type: "nn/module", description: "The neural network" },
+      { name: "maxMagnitude", type: "number", description: "Maximum allowed weight magnitude" }
+    ],
+    example: '["train/checkWeightMagnitude", "@entity.architecture", 10.0]'
+  },
+  "train/checkForbiddenOutputs": {
+    module: "train",
+    category: "std-train",
+    minArity: 3,
+    maxArity: 3,
+    description: "Check if model produces outputs in forbidden regions",
+    hasSideEffects: false,
+    returnType: "train/forbiddenResult",
+    params: [
+      { name: "module", type: "nn/module", description: "The neural network" },
+      { name: "testInputs", type: "array", description: "Inputs to test" },
+      { name: "forbiddenRegions", type: "array", description: "Forbidden output regions" }
+    ],
+    example: '["train/checkForbiddenOutputs", "@entity.architecture", "@entity.testInputs", "@entity.forbiddenOutputRegions"]'
+  },
+  // ============================================================================
+  // Gradient Operations
+  // ============================================================================
+  "train/clipGradients": {
+    module: "train",
+    category: "std-train",
+    minArity: 2,
+    maxArity: 2,
+    description: "Clip gradients to max norm (modifies in place)",
+    hasSideEffects: true,
+    returnType: "number",
+    params: [
+      { name: "module", type: "nn/module", description: "The neural network" },
+      { name: "maxNorm", type: "number", description: "Maximum gradient norm" }
+    ],
+    example: '["train/clipGradients", "@entity.architecture", 1.0]'
+  },
+  "train/getGradientNorm": {
+    module: "train",
+    category: "std-train",
+    minArity: 1,
+    maxArity: 1,
+    description: "Get current gradient norm",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [
+      { name: "module", type: "nn/module", description: "The neural network" }
+    ],
+    example: '["train/getGradientNorm", "@entity.architecture"]'
+  },
+  // ============================================================================
+  // Weight Operations
+  // ============================================================================
+  "train/clipWeights": {
+    module: "train",
+    category: "std-train",
+    minArity: 2,
+    maxArity: 2,
+    description: "Clip weights to max magnitude (modifies in place)",
+    hasSideEffects: true,
+    returnType: "void",
+    params: [
+      { name: "module", type: "nn/module", description: "The neural network" },
+      { name: "maxMagnitude", type: "number", description: "Maximum weight magnitude" }
+    ],
+    example: '["train/clipWeights", "@entity.architecture", 10.0]'
+  },
+  "train/getMaxWeightMagnitude": {
+    module: "train",
+    category: "std-train",
+    minArity: 1,
+    maxArity: 1,
+    description: "Get maximum weight magnitude in network",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [
+      { name: "module", type: "nn/module", description: "The neural network" }
+    ],
+    example: '["train/getMaxWeightMagnitude", "@entity.architecture"]'
+  },
+  // ============================================================================
+  // Loss Functions
+  // ============================================================================
+  "train/mse": {
+    module: "train",
+    category: "std-train",
+    minArity: 2,
+    maxArity: 2,
+    description: "Mean squared error loss",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [
+      { name: "predicted", type: "tensor", description: "Predicted values" },
+      { name: "target", type: "tensor", description: "Target values" }
+    ],
+    example: '["train/mse", "@entity.output", "@batch.target"]'
+  },
+  "train/crossEntropy": {
+    module: "train",
+    category: "std-train",
+    minArity: 2,
+    maxArity: 2,
+    description: "Cross-entropy loss for classification",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [
+      { name: "logits", type: "tensor", description: "Raw model outputs (logits)" },
+      { name: "labels", type: "tensor", description: "Target class labels" }
+    ],
+    example: '["train/crossEntropy", "@entity.logits", "@batch.labels"]'
+  },
+  "train/huber": {
+    module: "train",
+    category: "std-train",
+    minArity: 2,
+    maxArity: 3,
+    description: "Huber loss (smooth L1, robust to outliers)",
+    hasSideEffects: false,
+    returnType: "number",
+    params: [
+      { name: "predicted", type: "tensor", description: "Predicted values" },
+      { name: "target", type: "tensor", description: "Target values" },
+      { name: "delta", type: "number", description: "Threshold for quadratic vs linear", optional: true, defaultValue: 1 }
+    ],
+    example: '["train/huber", "@entity.qValues", "@batch.targets", 1.0]'
+  },
+  // ============================================================================
+  // Optimizers
+  // ============================================================================
+  "train/sgd": {
+    module: "train",
+    category: "std-train",
+    minArity: 2,
+    maxArity: 3,
+    description: "Stochastic gradient descent optimizer step",
+    hasSideEffects: true,
+    returnType: "void",
+    params: [
+      { name: "module", type: "nn/module", description: "The neural network" },
+      { name: "lr", type: "number", description: "Learning rate" },
+      { name: "momentum", type: "number", description: "Momentum factor", optional: true, defaultValue: 0 }
+    ],
+    example: '["train/sgd", "@entity.architecture", 0.01, 0.9]'
+  },
+  "train/adam": {
+    module: "train",
+    category: "std-train",
+    minArity: 2,
+    maxArity: 4,
+    description: "Adam optimizer step",
+    hasSideEffects: true,
+    returnType: "void",
+    params: [
+      { name: "module", type: "nn/module", description: "The neural network" },
+      { name: "lr", type: "number", description: "Learning rate" },
+      { name: "beta1", type: "number", description: "First moment decay", optional: true, defaultValue: 0.9 },
+      { name: "beta2", type: "number", description: "Second moment decay", optional: true, defaultValue: 0.999 }
+    ],
+    example: '["train/adam", "@entity.architecture", 0.001]'
+  },
+  // ============================================================================
+  // Experience Replay (for RL)
+  // ============================================================================
+  "train/sampleBatch": {
+    module: "train",
+    category: "std-train",
+    minArity: 2,
+    maxArity: 2,
+    description: "Sample random batch from experience buffer",
+    hasSideEffects: false,
+    returnType: "array",
+    params: [
+      { name: "buffer", type: "array", description: "Experience buffer" },
+      { name: "batchSize", type: "number", description: "Number of samples" }
+    ],
+    example: '["train/sampleBatch", "@entity.experienceBuffer", 32]'
+  },
+  "train/computeReturns": {
+    module: "train",
+    category: "std-train",
+    minArity: 2,
+    maxArity: 2,
+    description: "Compute discounted returns from rewards",
+    hasSideEffects: false,
+    returnType: "tensor",
+    params: [
+      { name: "rewards", type: "array", description: "Array of rewards" },
+      { name: "gamma", type: "number", description: "Discount factor" }
+    ],
+    example: '["train/computeReturns", "@episode.rewards", 0.99]'
+  },
+  "train/computeAdvantages": {
+    module: "train",
+    category: "std-train",
+    minArity: 3,
+    maxArity: 3,
+    description: "Compute GAE advantages for policy gradient",
+    hasSideEffects: false,
+    returnType: "tensor",
+    params: [
+      { name: "rewards", type: "array", description: "Array of rewards" },
+      { name: "values", type: "tensor", description: "Value estimates" },
+      { name: "config", type: "object", description: "Config with gamma, lambda" }
+    ],
+    example: '["train/computeAdvantages", "@episode.rewards", "@episode.values", { "gamma": 0.99, "lambda": 0.95 }]'
+  }
+};
+function getTrainOperators() {
+  return Object.keys(TRAIN_OPERATORS);
+}
+
+export { TRAIN_OPERATORS, getTrainOperators };
+//# sourceMappingURL=train.js.map
+//# sourceMappingURL=train.js.map

package/dist/modules/train.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../modules/train.ts"],"names":[],"mappings":";AAgBO,IAAM,eAAA,GAAmD;AAAA;AAAA;AAAA;AAAA,EAK9D,YAAA,EAAc;AAAA,IACZ,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,wCAAA;AAAA,IACb,cAAA,EAAgB,IAAA;AAAA,IAChB,UAAA,EAAY,cAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,WAAA,EAAa,aAAa,6BAAA,EAA8B;AAAA,MAChF,EAAE,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,OAAA,EAAS,aAAa,yDAAA,EAA0D;AAAA,MACtG,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,cAAA,EAAgB,aAAa,yCAAA;AAA0C,KACjG;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,gEAAA;AAAA,IACb,cAAA,EAAgB,IAAA;AAAA,IAChB,UAAA,EAAY,kBAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,WAAA,EAAa,aAAa,oBAAA,EAAqB;AAAA,MACvE,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,QAAA,EAAU,aAAa,cAAA,EAAe;AAAA,MAC7D,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,QAAA,EAAU,aAAa,eAAA,EAAgB;AAAA,MAC/D,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,cAAA,EAAgB,aAAa,wBAAA;AAAyB,KAChF;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA;AAAA;AAAA;AAAA,EAMA,gBAAA,EAAkB;AAAA,IAChB,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,yDAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,wBAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,WAAA,EAAa,aAAa,oBAAA,EAAqB;AAAA,MACvE,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,OAAA,EAAS,aAAa,wCAAA;AAAyC,KAC5F;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,uBAAA,EAAyB;AAAA,IACvB,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,qDAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,wBAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,WAAA,EAAa,aAAa,uBAAA,EAAwB;AAAA,MAC7E,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,WAAA,EAAa,aAAa,kBAAA,EAAmB;AAAA,MACxE,EAAE,IAAA,EAAM,YAAA,EAAc,IAAA,EAAM,OAAA,EAAS,aAAa,kCAAA;AAAmC,KACvF;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA;AAAA;AAAA;AAAA,EAMA,wBAAA,EAA0B;AAAA,IACxB,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,kDAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,wBAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,WAAA,EAAa,aAAa,oBAAA,EAAqB;AAAA,MACvE,EAAE,IAAA,EAAM,aAAA,EAAe,IAAA,EAAM,mBAAA,EAAqB,aAAa,0BAAA;AAA2B,KAC5F;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,4BAAA,EAA8B;AAAA,IAC5B,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,iDAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,SAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,WAAA,EAAa,aAAa,oBAAA,EAAqB;AAAA,MACvE,EAAE,IAAA,EAAM,cAAA,EAAgB,IAAA,EAAM,QAAA,EAAU,aAAa,kCAAA;AAAmC,KAC1F;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,6BAAA,EAA+B;AAAA,IAC7B,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,sDAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,uBAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,WAAA,EAAa,aAAa,oBAAA,EAAqB;AAAA,MACvE,EAAE,IAAA,EAAM,YAAA,EAAc,IAAA,EAAM,OAAA,EAAS,aAAa,gBAAA,EAAiB;AAAA,MACnE,EAAE,IAAA,EAAM,kBAAA,EAAoB,IAAA,EAAM,OAAA,EAAS,aAAa,0BAAA;AAA2B,KACrF;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA;AAAA;AAAA;AAAA,EAMA,qBAAA,EAAuB;AAAA,IACrB,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,gDAAA;AAAA,IACb,cAAA,EAAgB,IAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,WAAA,EAAa,aAAa,oBAAA,EAAqB;AAAA,MACvE,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,QAAA,EAAU,aAAa,uBAAA;AAAwB,KAC1E;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,uBAAA,EAAyB;AAAA,IACvB,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,2BAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,WAAA,EAAa,aAAa,oBAAA;AAAqB,KACzE;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA;AAAA;AAAA;AAAA,EAMA,mBAAA,EAAqB;AAAA,IACnB,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,mDAAA;AAAA,IACb,cAAA,EAAgB,IAAA;AAAA,IAChB,UAAA,EAAY,MAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,WAAA,EAAa,aAAa,oBAAA,EAAqB;AAAA,MACvE,EAAE,IAAA,EAAM,cAAA,EAAgB,IAAA,EAAM,QAAA,EAAU,aAAa,0BAAA;AAA2B,KAClF;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,6BAAA,EAA+B;AAAA,IAC7B,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,yCAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,WAAA,EAAa,aAAa,oBAAA;AAAqB,KACzE;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA;AAAA;AAAA;AAAA,EAMA,WAAA,EAAa;AAAA,IACX,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;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;AAAA,MACN,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,QAAA,EAAU,aAAa,kBAAA,EAAmB;AAAA,MACrE,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,QAAA,EAAU,aAAa,eAAA;AAAgB,KACjE;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,oBAAA,EAAsB;AAAA,IACpB,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,uCAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,QAAA,EAAU,aAAa,4BAAA,EAA6B;AAAA,MAC5E,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,QAAA,EAAU,aAAa,qBAAA;AAAsB,KACvE;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,aAAA,EAAe;AAAA,IACb,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,4CAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,QAAA,EAAU,aAAa,kBAAA,EAAmB;AAAA,MACrE,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,QAAA,EAAU,aAAa,eAAA,EAAgB;AAAA,MAC/D,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,QAAA,EAAU,aAAa,mCAAA,EAAqC,QAAA,EAAU,IAAA,EAAM,YAAA,EAAc,CAAA;AAAI,KACvH;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA;AAAA;AAAA;AAAA,EAMA,WAAA,EAAa;AAAA,IACX,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,4CAAA;AAAA,IACb,cAAA,EAAgB,IAAA;AAAA,IAChB,UAAA,EAAY,MAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,WAAA,EAAa,aAAa,oBAAA,EAAqB;AAAA,MACvE,EAAE,IAAA,EAAM,IAAA,EAAM,IAAA,EAAM,QAAA,EAAU,aAAa,eAAA,EAAgB;AAAA,MAC3D,EAAE,IAAA,EAAM,UAAA,EAAY,IAAA,EAAM,QAAA,EAAU,aAAa,iBAAA,EAAmB,QAAA,EAAU,IAAA,EAAM,YAAA,EAAc,CAAA;AAAE,KACtG;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,YAAA,EAAc;AAAA,IACZ,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,qBAAA;AAAA,IACb,cAAA,EAAgB,IAAA;AAAA,IAChB,UAAA,EAAY,MAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,WAAA,EAAa,aAAa,oBAAA,EAAqB;AAAA,MACvE,EAAE,IAAA,EAAM,IAAA,EAAM,IAAA,EAAM,QAAA,EAAU,aAAa,eAAA,EAAgB;AAAA,MAC3D,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,QAAA,EAAU,aAAa,oBAAA,EAAsB,QAAA,EAAU,IAAA,EAAM,YAAA,EAAc,GAAA,EAAI;AAAA,MACtG,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,QAAA,EAAU,aAAa,qBAAA,EAAuB,QAAA,EAAU,IAAA,EAAM,YAAA,EAAc,KAAA;AAAM,KAC3G;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA;AAAA;AAAA;AAAA,EAMA,mBAAA,EAAqB;AAAA,IACnB,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,4CAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,OAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,OAAA,EAAS,aAAa,mBAAA,EAAoB;AAAA,MAClE,EAAE,IAAA,EAAM,WAAA,EAAa,IAAA,EAAM,QAAA,EAAU,aAAa,mBAAA;AAAoB,KACxE;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,sBAAA,EAAwB;AAAA,IACtB,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,yCAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,OAAA,EAAS,aAAa,kBAAA,EAAmB;AAAA,MAClE,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,QAAA,EAAU,aAAa,iBAAA;AAAkB,KAClE;AAAA,IACA,OAAA,EAAS;AAAA,GACX;AAAA,EACA,yBAAA,EAA2B;AAAA,IACzB,MAAA,EAAQ,OAAA;AAAA,IACR,QAAA,EAAU,WAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,QAAA,EAAU,CAAA;AAAA,IACV,WAAA,EAAa,4CAAA;AAAA,IACb,cAAA,EAAgB,KAAA;AAAA,IAChB,UAAA,EAAY,QAAA;AAAA,IACZ,MAAA,EAAQ;AAAA,MACN,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,OAAA,EAAS,aAAa,kBAAA,EAAmB;AAAA,MAClE,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,QAAA,EAAU,aAAa,iBAAA,EAAkB;AAAA,MACjE,EAAE,IAAA,EAAM,QAAA,EAAU,IAAA,EAAM,QAAA,EAAU,aAAa,2BAAA;AAA4B,KAC7E;AAAA,IACA,OAAA,EAAS;AAAA;AAEb;AAKO,SAAS,iBAAA,GAA8B;AAC5C,EAAA,OAAO,MAAA,CAAO,KAAK,eAAe,CAAA;AACpC","file":"train.js","sourcesContent":["/**\n * Training Module - Neural Network Training Operations\n *\n * Provides operators for training neural networks with explicit constraints.\n * Training is bounded by readable rules: gradient clipping, weight constraints,\n * forbidden output regions, and validation gates.\n *\n * @packageDocumentation\n */\n\nimport type { StdOperatorMeta } from '../types.js';\n\n/**\n * Training module operators.\n * These operators handle training loops, validation, and constraint enforcement.\n */\nexport const TRAIN_OPERATORS: Record<string, StdOperatorMeta> = {\n  // ============================================================================\n  // Training Loop\n  // ============================================================================\n\n  'train/loop': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 3,\n    maxArity: 3,\n    description: 'Execute training loop with constraints',\n    hasSideEffects: true,\n    returnType: 'train/result',\n    params: [\n      { name: 'module', type: 'nn/module', description: 'The neural network to train' },\n      { name: 'data', type: 'array', description: 'Training data (array of {input, target} or experiences)' },\n      { name: 'config', type: 'train/config', description: 'Training configuration with constraints' },\n    ],\n    example: '[\"train/loop\", \"@entity.architecture\", \"@entity.buffer\", \"@entity.trainingConfig\"]',\n  },\n  'train/step': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 4,\n    maxArity: 4,\n    description: 'Execute single training step (forward, loss, backward, update)',\n    hasSideEffects: true,\n    returnType: 'train/stepResult',\n    params: [\n      { name: 'module', type: 'nn/module', description: 'The neural network' },\n      { name: 'input', type: 'tensor', description: 'Input tensor' },\n      { name: 'target', type: 'tensor', description: 'Target tensor' },\n      { name: 'config', type: 'train/config', description: 'Training configuration' },\n    ],\n    example: '[\"train/step\", \"@entity.architecture\", \"@batch.input\", \"@batch.target\", \"@entity.config\"]',\n  },\n\n  // ============================================================================\n  // Validation\n  // ============================================================================\n\n  'train/validate': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Validate model on test cases, returns pass/fail metrics',\n    hasSideEffects: false,\n    returnType: 'train/validationResult',\n    params: [\n      { name: 'module', type: 'nn/module', description: 'The neural network' },\n      { name: 'testCases', type: 'array', description: 'Array of {input, expected, tolerance?}' },\n    ],\n    example: '[\"train/validate\", \"@entity.architecture\", \"@entity.validationSet\"]',\n  },\n  'train/checkRegression': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 3,\n    maxArity: 3,\n    description: 'Check if new model regresses on required invariants',\n    hasSideEffects: false,\n    returnType: 'train/regressionResult',\n    params: [\n      { name: 'newModule', type: 'nn/module', description: 'Newly trained network' },\n      { name: 'oldModule', type: 'nn/module', description: 'Previous network' },\n      { name: 'invariants', type: 'array', description: 'Test cases that must not regress' },\n    ],\n    example: '[\"train/checkRegression\", \"@payload.newWeights\", \"@entity.architecture\", \"@entity.requiredInvariants\"]',\n  },\n\n  // ============================================================================\n  // Constraint Checking\n  // ============================================================================\n\n  'train/checkConstraints': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Check if network weights satisfy all constraints',\n    hasSideEffects: false,\n    returnType: 'train/constraintResult',\n    params: [\n      { name: 'module', type: 'nn/module', description: 'The neural network' },\n      { name: 'constraints', type: 'train/constraints', description: 'Constraint specification' },\n    ],\n    example: '[\"train/checkConstraints\", \"@payload.newWeights\", \"@entity.constraints\"]',\n  },\n  'train/checkWeightMagnitude': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Check if all weights are within magnitude limit',\n    hasSideEffects: false,\n    returnType: 'boolean',\n    params: [\n      { name: 'module', type: 'nn/module', description: 'The neural network' },\n      { name: 'maxMagnitude', type: 'number', description: 'Maximum allowed weight magnitude' },\n    ],\n    example: '[\"train/checkWeightMagnitude\", \"@entity.architecture\", 10.0]',\n  },\n  'train/checkForbiddenOutputs': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 3,\n    maxArity: 3,\n    description: 'Check if model produces outputs in forbidden regions',\n    hasSideEffects: false,\n    returnType: 'train/forbiddenResult',\n    params: [\n      { name: 'module', type: 'nn/module', description: 'The neural network' },\n      { name: 'testInputs', type: 'array', description: 'Inputs to test' },\n      { name: 'forbiddenRegions', type: 'array', description: 'Forbidden output regions' },\n    ],\n    example: '[\"train/checkForbiddenOutputs\", \"@entity.architecture\", \"@entity.testInputs\", \"@entity.forbiddenOutputRegions\"]',\n  },\n\n  // ============================================================================\n  // Gradient Operations\n  // ============================================================================\n\n  'train/clipGradients': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Clip gradients to max norm (modifies in place)',\n    hasSideEffects: true,\n    returnType: 'number',\n    params: [\n      { name: 'module', type: 'nn/module', description: 'The neural network' },\n      { name: 'maxNorm', type: 'number', description: 'Maximum gradient norm' },\n    ],\n    example: '[\"train/clipGradients\", \"@entity.architecture\", 1.0]',\n  },\n  'train/getGradientNorm': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 1,\n    maxArity: 1,\n    description: 'Get current gradient norm',\n    hasSideEffects: false,\n    returnType: 'number',\n    params: [\n      { name: 'module', type: 'nn/module', description: 'The neural network' },\n    ],\n    example: '[\"train/getGradientNorm\", \"@entity.architecture\"]',\n  },\n\n  // ============================================================================\n  // Weight Operations\n  // ============================================================================\n\n  'train/clipWeights': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Clip weights to max magnitude (modifies in place)',\n    hasSideEffects: true,\n    returnType: 'void',\n    params: [\n      { name: 'module', type: 'nn/module', description: 'The neural network' },\n      { name: 'maxMagnitude', type: 'number', description: 'Maximum weight magnitude' },\n    ],\n    example: '[\"train/clipWeights\", \"@entity.architecture\", 10.0]',\n  },\n  'train/getMaxWeightMagnitude': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 1,\n    maxArity: 1,\n    description: 'Get maximum weight magnitude in network',\n    hasSideEffects: false,\n    returnType: 'number',\n    params: [\n      { name: 'module', type: 'nn/module', description: 'The neural network' },\n    ],\n    example: '[\"train/getMaxWeightMagnitude\", \"@entity.architecture\"]',\n  },\n\n  // ============================================================================\n  // Loss Functions\n  // ============================================================================\n\n  'train/mse': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Mean squared error loss',\n    hasSideEffects: false,\n    returnType: 'number',\n    params: [\n      { name: 'predicted', type: 'tensor', description: 'Predicted values' },\n      { name: 'target', type: 'tensor', description: 'Target values' },\n    ],\n    example: '[\"train/mse\", \"@entity.output\", \"@batch.target\"]',\n  },\n  'train/crossEntropy': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Cross-entropy loss for classification',\n    hasSideEffects: false,\n    returnType: 'number',\n    params: [\n      { name: 'logits', type: 'tensor', description: 'Raw model outputs (logits)' },\n      { name: 'labels', type: 'tensor', description: 'Target class labels' },\n    ],\n    example: '[\"train/crossEntropy\", \"@entity.logits\", \"@batch.labels\"]',\n  },\n  'train/huber': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 2,\n    maxArity: 3,\n    description: 'Huber loss (smooth L1, robust to outliers)',\n    hasSideEffects: false,\n    returnType: 'number',\n    params: [\n      { name: 'predicted', type: 'tensor', description: 'Predicted values' },\n      { name: 'target', type: 'tensor', description: 'Target values' },\n      { name: 'delta', type: 'number', description: 'Threshold for quadratic vs linear', optional: true, defaultValue: 1.0 },\n    ],\n    example: '[\"train/huber\", \"@entity.qValues\", \"@batch.targets\", 1.0]',\n  },\n\n  // ============================================================================\n  // Optimizers\n  // ============================================================================\n\n  'train/sgd': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 2,\n    maxArity: 3,\n    description: 'Stochastic gradient descent optimizer step',\n    hasSideEffects: true,\n    returnType: 'void',\n    params: [\n      { name: 'module', type: 'nn/module', description: 'The neural network' },\n      { name: 'lr', type: 'number', description: 'Learning rate' },\n      { name: 'momentum', type: 'number', description: 'Momentum factor', optional: true, defaultValue: 0 },\n    ],\n    example: '[\"train/sgd\", \"@entity.architecture\", 0.01, 0.9]',\n  },\n  'train/adam': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 2,\n    maxArity: 4,\n    description: 'Adam optimizer step',\n    hasSideEffects: true,\n    returnType: 'void',\n    params: [\n      { name: 'module', type: 'nn/module', description: 'The neural network' },\n      { name: 'lr', type: 'number', description: 'Learning rate' },\n      { name: 'beta1', type: 'number', description: 'First moment decay', optional: true, defaultValue: 0.9 },\n      { name: 'beta2', type: 'number', description: 'Second moment decay', optional: true, defaultValue: 0.999 },\n    ],\n    example: '[\"train/adam\", \"@entity.architecture\", 0.001]',\n  },\n\n  // ============================================================================\n  // Experience Replay (for RL)\n  // ============================================================================\n\n  'train/sampleBatch': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Sample random batch from experience buffer',\n    hasSideEffects: false,\n    returnType: 'array',\n    params: [\n      { name: 'buffer', type: 'array', description: 'Experience buffer' },\n      { name: 'batchSize', type: 'number', description: 'Number of samples' },\n    ],\n    example: '[\"train/sampleBatch\", \"@entity.experienceBuffer\", 32]',\n  },\n  'train/computeReturns': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 2,\n    maxArity: 2,\n    description: 'Compute discounted returns from rewards',\n    hasSideEffects: false,\n    returnType: 'tensor',\n    params: [\n      { name: 'rewards', type: 'array', description: 'Array of rewards' },\n      { name: 'gamma', type: 'number', description: 'Discount factor' },\n    ],\n    example: '[\"train/computeReturns\", \"@episode.rewards\", 0.99]',\n  },\n  'train/computeAdvantages': {\n    module: 'train',\n    category: 'std-train',\n    minArity: 3,\n    maxArity: 3,\n    description: 'Compute GAE advantages for policy gradient',\n    hasSideEffects: false,\n    returnType: 'tensor',\n    params: [\n      { name: 'rewards', type: 'array', description: 'Array of rewards' },\n      { name: 'values', type: 'tensor', description: 'Value estimates' },\n      { name: 'config', type: 'object', description: 'Config with gamma, lambda' },\n    ],\n    example: '[\"train/computeAdvantages\", \"@episode.rewards\", \"@episode.values\", { \"gamma\": 0.99, \"lambda\": 0.95 }]',\n  },\n};\n\n/**\n * Get all train operator names.\n */\nexport function getTrainOperators(): string[] {\n  return Object.keys(TRAIN_OPERATORS);\n}\n"]}

package/dist/modules/validate.d.ts

@@ -0,0 +1,23 @@
+import { a as StdOperatorMeta } from '../types-I95R8_FN.js';
+
+/**
+ * Validate Module - Input Validation
+ *
+ * Provides validation functions for form inputs and data.
+ * Returns true/false for single validations.
+ * validate/check returns { valid: boolean, errors: [...] } for multiple rules.
+ *
+ * @packageDocumentation
+ */
+
+/**
+ * Validate module operators.
+ * All operators return boolean or validation result objects and have no side effects.
+ */
+declare const VALIDATE_OPERATORS: Record<string, StdOperatorMeta>;
+/**
+ * Get all validate operator names.
+ */
+declare function getValidateOperators(): string[];
+
+export { VALIDATE_OPERATORS, getValidateOperators };