dsh-math-modeling-agent 0.3.1 → 0.5.0

package/skills/math-modeling-agent/schemas/run.schema.json

@@ -1,102 +1,126 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/yohanchen1/MathModelingAgent/schemas/run.schema.json",
-  "title": "Math Modeling Run",
-  "type": "object",
-  "additionalProperties": false,
-  "required": [
-    "schemaVersion",
-    "taskId",
-    "mode",
-    "status",
-    "eventSequence",
-    "currentAttempt",
-    "bestCandidateId",
-    "budget",
-    "createdAt",
-    "updatedAt"
-  ],
-  "properties": {
-    "schemaVersion": {
-      "const": 1
-    },
-    "taskId": {
-      "type": "string",
-      "pattern": "^[a-z0-9]+(?:-[a-z0-9]+)*$"
-    },
-    "mode": {
-      "enum": [
-        "fast",
-        "standard",
-        "high-assurance"
-      ]
-    },
-    "status": {
-      "enum": [
-        "TRIAGE",
-        "SCOPE_FROZEN",
-        "INPUT_PROFILED",
-        "CLAIMS_REGISTERED",
-        "CANDIDATES_READY",
-        "ATTEMPT",
-        "EXECUTE",
-        "VERIFY",
-        "REVISE",
-        "RESEARCH",
-        "FORK",
-        "SOLVED",
-        "PARTIAL",
-        "CONDITIONAL",
-        "INCONCLUSIVE",
-        "REFUTED",
-        "INFEASIBLE",
-        "UNIDENTIFIABLE",
-        "BLOCKED",
-        "CANCELLED"
-      ]
-    },
-    "eventSequence": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "currentAttempt": {
-      "type": "integer",
-      "minimum": 0
-    },
-    "bestCandidateId": {
-      "type": [
-        "string",
-        "null"
-      ]
-    },
-    "budget": {
-      "type": "object",
-      "additionalProperties": false,
-      "required": [
-        "attempts",
-        "researchQueries",
-        "computeSeconds"
-      ],
-      "properties": {
-        "attempts": {
-          "type": "integer",
-          "minimum": 1
-        },
-        "researchQueries": {
-          "type": "integer",
-          "minimum": 0
-        },
-        "computeSeconds": {
-          "type": "integer",
-          "minimum": 0
-        }
-      }
-    },
-    "createdAt": {
-      "type": "string"
-    },
-    "updatedAt": {
-      "type": "string"
-    }
-  }
-}
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/yohanchen1/MathModelingAgent/schemas/run.schema.json",
+  "title": "Math Modeling Run",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schemaVersion",
+    "taskId",
+    "mode",
+    "status",
+    "eventSequence",
+    "currentAttempt",
+    "bestCandidateId",
+    "budget",
+    "createdAt",
+    "updatedAt",
+    "lineageId",
+    "parentRunId",
+    "revision",
+    "inputSnapshotHash",
+    "evidenceGraphHash"
+  ],
+  "properties": {
+    "schemaVersion": {
+      "const": 3
+    },
+    "taskId": {
+      "type": "string",
+      "pattern": "^[a-z0-9]+(?:-[a-z0-9]+)*$"
+    },
+    "mode": {
+      "enum": [
+        "fast",
+        "standard",
+        "high-assurance"
+      ]
+    },
+    "status": {
+      "enum": [
+        "TRIAGE",
+        "SCOPE_FROZEN",
+        "INPUT_PROFILED",
+        "CLAIMS_REGISTERED",
+        "CANDIDATES_READY",
+        "ATTEMPT",
+        "EXECUTE",
+        "VERIFY",
+        "EVALUATE",
+        "CORRECTION_REQUIRED",
+        "REVISE",
+        "RESEARCH",
+        "FORK",
+        "SOLVED",
+        "PARTIAL",
+        "CONDITIONAL",
+        "INCONCLUSIVE",
+        "REFUTED",
+        "INFEASIBLE",
+        "UNIDENTIFIABLE",
+        "BLOCKED",
+        "CANCELLED"
+      ]
+    },
+    "eventSequence": {
+      "type": "integer",
+      "minimum": 0
+    },
+    "currentAttempt": {
+      "type": "integer",
+      "minimum": 0
+    },
+    "bestCandidateId": {
+      "type": [
+        "string",
+        "null"
+      ]
+    },
+    "budget": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "attempts",
+        "researchQueries",
+        "computeSeconds"
+      ],
+      "properties": {
+        "attempts": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "researchQueries": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "computeSeconds": {
+          "type": "integer",
+          "minimum": 0
+        }
+      }
+    },
+    "createdAt": {
+      "type": "string"
+    },
+    "updatedAt": {
+      "type": "string"
+    },
+    "lineageId": {
+      "type": "string",
+      "minLength": 1
+    },
+    "parentRunId": {
+      "type": ["string", "null"]
+    },
+    "revision": {
+      "type": "integer",
+      "minimum": 0
+    },
+    "inputSnapshotHash": {
+      "type": ["string", "null"]
+    },
+    "evidenceGraphHash": {
+      "type": ["string", "null"]
+    }
+  }
+}

package/skills/math-modeling-agent/schemas/verification.schema.json

@@ -0,0 +1,60 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/yohanchen1/MathModelingAgent/schemas/verification.schema.json",
+  "title": "Math Modeling Verification",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "id",
+    "recipeId",
+    "evidenceIds",
+    "verdict",
+    "independenceKey"
+  ],
+  "properties": {
+    "id": {
+      "type": "string",
+      "minLength": 1
+    },
+    "recipeId": {
+      "type": "string",
+      "minLength": 1
+    },
+    "evidenceIds": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "string",
+        "minLength": 1
+      }
+    },
+    "verdict": {
+      "enum": [
+        "PASS",
+        "FAIL",
+        "INCONCLUSIVE",
+        "NOT_RUN"
+      ]
+    },
+    "independenceKey": {
+      "type": "string",
+      "minLength": 1
+    },
+    "derivedFrom": {
+      "oneOf": [
+        {
+          "type": "string",
+          "minLength": 1
+        },
+        {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        }
+      ]
+    }
+  }
+}

package/skills/math-modeling-agent/scripts/computation/README.md

@@ -0,0 +1,20 @@
+# DSH computation tool extension
+
+These entrypoints are adapted from the user-provided
+`math-science-computation` toolkit. They are computation-support tools, not
+mathematical engines: they discover callable external backends, persist a
+local capability snapshot, and validate reproducible computation records.
+
+## Entrypoints
+
+- `probe_backends.py` / `probe_backends.ps1`: read-only discovery of
+  Wolfram/Mathematica, primecount, SageMath, Python, and Python library
+  availability. External probes are bounded and return structured failures.
+- `backend_inventory.py` / `backend_inventory.ps1`: read or refresh a
+  capability snapshot. Pass a run-local `--state-file`/`-StateFile`; do not
+  use an implicit shared machine-wide path.
+- `computation_record.py`: initialize or validate a reproducibility record
+  for every probeable backend, including primecount.
+
+The external backend remains responsible for the actual mathematical
+calculation. A successful probe or record validation is not a proof.

package/skills/math-modeling-agent/scripts/computation/backend-inventory.schema.json

@@ -0,0 +1,78 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://local.codex.invalid/math-science-computation/backend-inventory.schema.json",
+  "title": "Math and science computation local backend inventory",
+  "type": "object",
+  "required": [
+    "inventory_schema_version",
+    "created_at_utc",
+    "updated_at_utc",
+    "local",
+    "mcp",
+    "invalidations"
+  ],
+  "properties": {
+    "inventory_schema_version": { "const": "1.0" },
+    "created_at_utc": { "type": "string", "format": "date-time" },
+    "updated_at_utc": { "type": "string", "format": "date-time" },
+    "local": {
+      "type": "object",
+      "required": ["schema_version", "probed_at_utc", "host", "mathematica", "primecount", "sagemath", "python"],
+      "properties": {
+        "schema_version": { "const": "1.0" },
+        "probed_at_utc": { "type": "string", "format": "date-time" },
+        "host": {
+          "type": "object",
+          "required": ["system", "architecture"],
+          "properties": {
+            "system": { "enum": ["Windows", "Darwin", "Linux"] },
+            "architecture": { "type": "string", "minLength": 1 }
+          },
+          "additionalProperties": true
+        },
+        "mathematica": { "type": "object" },
+        "primecount": { "type": "object" },
+        "sagemath": { "type": "object" },
+        "python": { "type": "object" }
+      },
+      "additionalProperties": true
+    },
+    "mcp": {
+      "type": "object",
+      "required": ["authority", "persisted_status", "required_action"],
+      "properties": {
+        "authority": { "const": "current_session_tool_discovery_and_call" },
+        "persisted_status": { "const": "historical_only" },
+        "required_action": { "type": "string" },
+        "mathematica": {
+          "type": "object",
+          "required": ["server_name", "protocol_version", "server_version", "wolfram_language_version", "observed_at_utc", "evidence"],
+          "properties": {
+            "server_name": { "type": "string", "minLength": 1 },
+            "protocol_version": { "type": "string", "pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}$" },
+            "server_version": { "type": "string", "minLength": 1 },
+            "wolfram_language_version": { "type": "string", "minLength": 1 },
+            "observed_at_utc": { "type": "string", "format": "date-time" },
+            "evidence": { "const": "initialize_handshake_and_evaluator" }
+          },
+          "additionalProperties": false
+        }
+      },
+      "additionalProperties": false
+    },
+    "invalidations": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["backend", "reason", "recorded_at_utc"],
+        "properties": {
+          "backend": { "enum": ["mathematica", "primecount", "sagemath", "python"] },
+          "reason": { "enum": ["user_requested", "path_missing", "execution_failed", "version_mismatch"] },
+          "recorded_at_utc": { "type": "string", "format": "date-time" }
+        },
+        "additionalProperties": false
+      }
+    }
+  },
+  "additionalProperties": false
+}