@vela-science/canopus 0.4.0-rc.1

package/schemas/mission.v0.json

@@ -0,0 +1,175 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://vela.science/schemas/canopus/mission.v0.json",
+  "title": "Canopus mission v0",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema",
+    "id",
+    "target",
+    "vela_version",
+    "vela_sha256",
+    "frontier",
+    "actor",
+    "role",
+    "claim_type",
+    "replayability",
+    "objective",
+    "completion_condition",
+    "roots",
+    "allowed_paths",
+    "budgets",
+    "verifier",
+    "scientific_chain",
+    "landing"
+  ],
+  "properties": {
+    "schema": { "const": "canopus.mission.v0" },
+    "id": {
+      "type": "string",
+      "pattern": "^mission_[a-z0-9][a-z0-9._-]{0,126}$"
+    },
+    "target": { "type": "string", "minLength": 1, "maxLength": 256 },
+    "vela_version": {
+      "type": "string",
+      "pattern": "^0\\.[0-9]+\\.[0-9]+$"
+    },
+    "vela_sha256": { "$ref": "#/$defs/sha256" },
+    "frontier": {
+      "anyOf": [{ "const": "." }, { "$ref": "#/$defs/relativePath" }]
+    },
+    "actor": {
+      "type": "string",
+      "pattern": "^agent:[a-z0-9][a-z0-9._-]{0,62}$"
+    },
+    "role": {
+      "enum": ["producer", "adversary", "verifier", "fidelity"]
+    },
+    "claim_type": {
+      "enum": ["computational", "theoretical", "empirical", "negative", "contradiction"]
+    },
+    "replayability": {
+      "const": "exact"
+    },
+    "objective": { "type": "string", "minLength": 1, "maxLength": 8192 },
+    "completion_condition": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 4096
+    },
+    "roots": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["git_commit", "git_tree", "vela_event_log", "vela_snapshot"],
+      "properties": {
+        "git_commit": { "$ref": "#/$defs/gitObject" },
+        "git_tree": { "$ref": "#/$defs/gitObject" },
+        "vela_event_log": { "$ref": "#/$defs/sha256" },
+        "vela_snapshot": { "$ref": "#/$defs/sha256" }
+      }
+    },
+    "allowed_paths": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 64,
+      "uniqueItems": true,
+      "items": { "$ref": "#/$defs/relativePath" }
+    },
+    "budgets": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "max_research_wall_time_ms",
+        "max_research_processes",
+        "max_research_output_bytes",
+        "max_prompt_bytes",
+        "max_artifact_bytes",
+        "max_attempts",
+        "max_observed_tokens"
+      ],
+      "properties": {
+        "max_research_wall_time_ms": { "type": "integer", "minimum": 100, "maximum": 3600000 },
+        "max_research_processes": { "type": "integer", "minimum": 1, "maximum": 64 },
+        "max_research_output_bytes": { "type": "integer", "minimum": 1024, "maximum": 67108864 },
+        "max_prompt_bytes": { "type": "integer", "minimum": 1024, "maximum": 8388608 },
+        "max_artifact_bytes": { "type": "integer", "minimum": 1, "maximum": 1073741824 },
+        "max_attempts": { "type": "integer", "minimum": 1, "maximum": 8 },
+        "max_observed_tokens": { "type": "integer", "minimum": 1, "maximum": 1000000 }
+      }
+    },
+    "verifier": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["argv", "executable_sha256", "cwd", "timeout_ms", "max_output_bytes", "network", "writes"],
+      "properties": {
+        "argv": {
+          "type": "array",
+          "minItems": 1,
+          "maxItems": 64,
+          "items": { "type": "string", "maxLength": 4096 }
+        },
+        "executable_sha256": { "$ref": "#/$defs/sha256" },
+        "cwd": { "$ref": "#/$defs/relativePath" },
+        "timeout_ms": { "type": "integer", "minimum": 100, "maximum": 3600000 },
+        "max_output_bytes": { "type": "integer", "minimum": 1024, "maximum": 67108864 },
+        "network": { "const": "deny" },
+        "writes": { "const": "deny" }
+      }
+    },
+    "scientific_chain": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["performed_test"],
+      "properties": {
+        "predicted_observable": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 16384
+        },
+        "not_applicable": { "const": true },
+        "performed_test": {
+          "type": "string",
+          "minLength": 1,
+          "maxLength": 16384
+        }
+      },
+      "oneOf": [
+        { "required": ["predicted_observable"], "not": { "required": ["not_applicable"] } },
+        { "required": ["not_applicable"], "not": { "required": ["predicted_observable"] } }
+      ]
+    },
+    "landing": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["expected_routes", "max_accepted_delta"],
+      "properties": {
+        "expected_routes": {
+          "type": "array",
+          "minItems": 1,
+          "maxItems": 3,
+          "uniqueItems": true,
+          "items": { "enum": ["permit", "defer"] }
+        },
+        "max_accepted_delta": { "type": "integer", "minimum": 0, "maximum": 1 }
+      }
+    },
+    "parent_candidate": { "$ref": "#/$defs/sha256" },
+    "repair_reason": { "type": "string", "minLength": 1, "maxLength": 4096 }
+  },
+  "$defs": {
+    "gitObject": {
+      "type": "string",
+      "pattern": "^(?:[0-9a-f]{40}|[0-9a-f]{64})$"
+    },
+    "sha256": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    },
+    "relativePath": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 1024
+    }
+  }
+}

package/schemas/mission.v1.json

@@ -0,0 +1,224 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://vela.science/schemas/canopus/mission.v1.json",
+  "title": "Canopus mission v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema", "id", "target", "vela_version", "vela_sha256", "frontier",
+    "actor", "role", "claim_type", "replayability", "objective",
+    "completion_condition", "roots", "target_packet", "strict_baseline",
+    "allowed_paths", "budgets", "worker", "verifier", "scientific_chain",
+    "landing"
+  ],
+  "dependentRequired": {
+    "execution_binding": ["result_contract"],
+    "result_contract": ["execution_binding"]
+  },
+  "allOf": [
+    {
+      "if": {
+        "properties": {
+          "landing": {
+            "properties": {
+              "expected_routes": { "const": ["permit"] }
+            },
+            "required": ["expected_routes"]
+          }
+        }
+      },
+      "then": { "required": ["execution_binding", "result_contract"] }
+    }
+  ],
+  "properties": {
+    "schema": { "const": "canopus.mission.v1" },
+    "id": { "type": "string", "pattern": "^mission_[a-z0-9][a-z0-9._-]{0,126}$" },
+    "target": { "type": "string", "minLength": 1, "maxLength": 256 },
+    "vela_version": { "type": "string", "pattern": "^0\\.[0-9]+\\.[0-9]+$" },
+    "vela_sha256": { "$ref": "#/$defs/sha256" },
+    "frontier": { "anyOf": [{ "const": "." }, { "$ref": "#/$defs/relativePath" }] },
+    "actor": { "type": "string", "pattern": "^agent:[a-z0-9][a-z0-9._-]{0,62}$" },
+    "role": { "enum": ["producer", "adversary", "verifier", "fidelity"] },
+    "claim_type": { "enum": ["computational", "theoretical", "empirical", "negative", "contradiction"] },
+    "replayability": { "const": "exact" },
+    "objective": { "type": "string", "minLength": 1, "maxLength": 8192 },
+    "completion_condition": { "type": "string", "minLength": 1, "maxLength": 4096 },
+    "roots": { "$ref": "#/$defs/roots" },
+    "target_packet": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["path", "sha256"],
+      "properties": {
+        "path": { "$ref": "#/$defs/relativePath" },
+        "sha256": { "$ref": "#/$defs/sha256" }
+      }
+    },
+    "profile": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["name", "root"],
+      "properties": {
+        "name": { "type": "string", "pattern": "^[a-z0-9][a-z0-9._-]*$", "maxLength": 128 },
+        "root": { "$ref": "#/$defs/sha256" }
+      }
+    },
+    "execution_binding": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schema", "packet_root", "profile_root", "verifier_capsule_root", "result_contract_root"],
+      "properties": {
+        "schema": { "const": "vela.execution-binding.v1" },
+        "packet_root": { "$ref": "#/$defs/sha256" },
+        "profile_root": { "$ref": "#/$defs/sha256" },
+        "verifier_capsule_root": { "$ref": "#/$defs/sha256" },
+        "result_contract_root": { "$ref": "#/$defs/sha256" }
+      }
+    },
+    "result_contract": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schema", "target", "claim_type", "replayability", "candidate_status", "verifier_status", "required_artifact_kinds"],
+      "properties": {
+        "schema": { "const": "canopus.result-contract.v1" },
+        "target": { "type": "string", "minLength": 1, "maxLength": 256 },
+        "claim_type": { "const": "computational" },
+        "replayability": { "const": "exact" },
+        "candidate_status": { "const": "success" },
+        "verifier_status": { "const": "passed" },
+        "required_artifact_kinds": {
+          "type": "array",
+          "minItems": 1,
+          "maxItems": 16,
+          "uniqueItems": true,
+          "items": { "type": "string", "pattern": "^[a-z][a-z0-9._-]*$", "maxLength": 64 }
+        }
+      }
+    },
+    "strict_baseline": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["status", "blocker_count", "blockers_root", "rule_counts"],
+      "properties": {
+        "status": { "enum": ["pass", "fail"] },
+        "blocker_count": { "type": "integer", "minimum": 0, "maximum": 1000000 },
+        "blockers_root": { "$ref": "#/$defs/sha256" },
+        "rule_counts": {
+          "type": "array",
+          "maxItems": 64,
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["rule", "count"],
+            "properties": {
+              "rule": { "type": "string", "pattern": "^[a-z][a-z0-9_]*$", "maxLength": 128 },
+              "count": { "type": "integer", "minimum": 1, "maximum": 1000000 }
+            }
+          }
+        }
+      }
+    },
+    "allowed_paths": {
+      "type": "array", "minItems": 1, "maxItems": 64, "uniqueItems": true,
+      "items": { "$ref": "#/$defs/relativePath" }
+    },
+    "budgets": { "$ref": "#/$defs/budgets" },
+    "worker": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["kind", "platform", "codex_version", "codex_sha256", "permission_profile_path", "permission_profile_sha256", "workspace", "output_schema_sha256", "model", "network", "tools"],
+      "properties": {
+        "kind": { "const": "codex_tools_native" },
+        "platform": { "enum": ["darwin", "linux"] },
+        "codex_version": { "type": "string", "pattern": "^codex-cli [0-9]+\\.[0-9]+\\.[0-9]+(?:[-+][A-Za-z0-9.-]+)?$" },
+        "codex_sha256": { "$ref": "#/$defs/sha256" },
+        "permission_profile_path": { "$ref": "#/$defs/relativePath" },
+        "permission_profile_sha256": { "$ref": "#/$defs/sha256" },
+        "workspace": { "const": "target_packet_only" },
+        "output_schema_sha256": { "$ref": "#/$defs/sha256" },
+        "model": { "type": "string", "minLength": 1, "maxLength": 128 },
+        "network": { "const": "provider_only" },
+        "tools": { "const": ["shell", "apply_patch"] }
+      }
+    },
+    "verifier": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["argv", "executable_sha256", "cwd", "timeout_ms", "max_output_bytes", "network", "writes", "capsule_path", "capsule_sha256", "image"],
+      "properties": {
+        "argv": { "type": "array", "minItems": 1, "maxItems": 64, "items": { "type": "string", "maxLength": 4096 } },
+        "executable_sha256": { "$ref": "#/$defs/sha256" },
+        "cwd": { "$ref": "#/$defs/relativePath" },
+        "timeout_ms": { "type": "integer", "minimum": 100, "maximum": 3600000 },
+        "max_output_bytes": { "type": "integer", "minimum": 1024, "maximum": 67108864 },
+        "network": { "const": "deny" },
+        "writes": { "const": "deny" },
+        "capsule_path": { "$ref": "#/$defs/relativePath" },
+        "capsule_sha256": { "$ref": "#/$defs/sha256" },
+        "image": { "$ref": "#/$defs/sha256" },
+        "platform": { "enum": ["linux/amd64", "linux/arm64"] }
+      }
+    },
+    "scientific_chain": { "$ref": "#/$defs/scientificChain" },
+    "landing": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["expected_routes", "max_accepted_delta"],
+      "oneOf": [
+        {
+          "properties": {
+            "expected_routes": { "const": ["defer"] },
+            "max_accepted_delta": { "const": 0 }
+          }
+        },
+        {
+          "properties": {
+            "expected_routes": { "const": ["permit"] },
+            "max_accepted_delta": { "const": 1 }
+          }
+        }
+      ]
+    },
+    "parent_candidate": { "$ref": "#/$defs/sha256" },
+    "repair_reason": { "type": "string", "minLength": 1, "maxLength": 4096 }
+  },
+  "$defs": {
+    "gitObject": { "type": "string", "pattern": "^(?:[0-9a-f]{40}|[0-9a-f]{64})$" },
+    "sha256": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+    "relativePath": { "type": "string", "minLength": 1, "maxLength": 1024 },
+    "roots": {
+      "type": "object", "additionalProperties": false,
+      "required": ["git_commit", "git_tree", "vela_event_log", "vela_snapshot"],
+      "properties": {
+        "git_commit": { "$ref": "#/$defs/gitObject" },
+        "git_tree": { "$ref": "#/$defs/gitObject" },
+        "vela_event_log": { "$ref": "#/$defs/sha256" },
+        "vela_snapshot": { "$ref": "#/$defs/sha256" }
+      }
+    },
+    "budgets": {
+      "type": "object", "additionalProperties": false,
+      "required": ["max_research_wall_time_ms", "max_research_processes", "max_research_output_bytes", "max_prompt_bytes", "max_artifact_bytes", "max_attempts", "max_observed_tokens"],
+      "properties": {
+        "max_research_wall_time_ms": { "type": "integer", "minimum": 100, "maximum": 3600000 },
+        "max_research_processes": { "type": "integer", "minimum": 1, "maximum": 64 },
+        "max_research_output_bytes": { "type": "integer", "minimum": 1024, "maximum": 67108864 },
+        "max_prompt_bytes": { "type": "integer", "minimum": 1024, "maximum": 8388608 },
+        "max_artifact_bytes": { "type": "integer", "minimum": 1, "maximum": 1073741824 },
+        "max_attempts": { "type": "integer", "minimum": 1, "maximum": 8 },
+        "max_observed_tokens": { "type": "integer", "minimum": 1, "maximum": 1000000 }
+      }
+    },
+    "scientificChain": {
+      "type": "object", "additionalProperties": false, "required": ["performed_test"],
+      "properties": {
+        "predicted_observable": { "type": "string", "minLength": 1, "maxLength": 16384 },
+        "not_applicable": { "const": true },
+        "performed_test": { "type": "string", "minLength": 1, "maxLength": 16384 }
+      },
+      "oneOf": [
+        { "required": ["predicted_observable"], "not": { "required": ["not_applicable"] } },
+        { "required": ["not_applicable"], "not": { "required": ["predicted_observable"] } }
+      ]
+    }
+  }
+}

package/schemas/verifier-manifest.v0.json

@@ -0,0 +1,48 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://vela.science/schemas/canopus/verifier-manifest.v0.json",
+  "title": "Canopus verifier manifest v0",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema",
+    "capsule_path",
+    "executable_sha256",
+    "argv_template",
+    "cwd",
+    "sandbox",
+    "platform"
+  ],
+  "properties": {
+    "schema": { "const": "canopus.verifier-manifest.v0" },
+    "capsule_path": { "type": "string", "minLength": 1, "maxLength": 1024 },
+    "executable_sha256": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+    "argv_template": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 64,
+      "items": { "type": "string", "maxLength": 4096 }
+    },
+    "cwd": { "type": "string", "minLength": 1, "maxLength": 1024 },
+    "sandbox": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["backend", "network", "persistent_writes", "process_fork"],
+      "properties": {
+        "backend": { "const": "macos_seatbelt" },
+        "network": { "const": "deny" },
+        "persistent_writes": { "const": "deny" },
+        "process_fork": { "const": "deny" }
+      }
+    },
+    "platform": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["os", "arch"],
+      "properties": {
+        "os": { "const": "darwin" },
+        "arch": { "enum": ["arm64", "x64"] }
+      }
+    }
+  }
+}

package/schemas/verifier-manifest.v1.json

@@ -0,0 +1,59 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://vela.science/schemas/canopus/verifier-manifest.v1.json",
+  "title": "Canopus verifier manifest v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema",
+    "capsule_path",
+    "executable_sha256",
+    "argv_template",
+    "cwd",
+    "image",
+    "sandbox",
+    "platform"
+  ],
+  "properties": {
+    "schema": { "const": "canopus.verifier-manifest.v1" },
+    "capsule_path": { "type": "string", "minLength": 1, "maxLength": 1024 },
+    "executable_sha256": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+    "argv_template": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 64,
+      "items": { "type": "string", "maxLength": 4096 }
+    },
+    "cwd": { "type": "string", "minLength": 1, "maxLength": 1024 },
+    "image": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+    "sandbox": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "backend",
+        "network",
+        "root_filesystem",
+        "bind_mounts",
+        "capabilities",
+        "privilege_escalation"
+      ],
+      "properties": {
+        "backend": { "const": "docker" },
+        "network": { "const": "deny" },
+        "root_filesystem": { "const": "read_only" },
+        "bind_mounts": { "const": "exact_inputs_read_only" },
+        "capabilities": { "const": "drop_all" },
+        "privilege_escalation": { "const": "deny" }
+      }
+    },
+    "platform": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["os", "arch"],
+      "properties": {
+        "os": { "const": "linux" },
+        "arch": { "enum": ["amd64", "arm64", "unspecified"] }
+      }
+    }
+  }
+}