| { |
| "$defs": { |
| "Hypothesis": { |
| "additionalProperties": false, |
| "properties": { |
| "id": { |
| "title": "Id", |
| "type": "string" |
| }, |
| "mechanism": { |
| "title": "Mechanism", |
| "type": "string" |
| }, |
| "evidence_ids": { |
| "items": { |
| "type": "string" |
| }, |
| "title": "Evidence Ids", |
| "type": "array" |
| }, |
| "opposing_evidence_ids": { |
| "items": { |
| "type": "string" |
| }, |
| "title": "Opposing Evidence Ids", |
| "type": "array" |
| }, |
| "counterexample": { |
| "title": "Counterexample", |
| "type": "string" |
| }, |
| "obligation_ids": { |
| "items": { |
| "type": "string" |
| }, |
| "title": "Obligation Ids", |
| "type": "array" |
| } |
| }, |
| "required": [ |
| "id", |
| "mechanism", |
| "evidence_ids", |
| "opposing_evidence_ids", |
| "counterexample", |
| "obligation_ids" |
| ], |
| "title": "Hypothesis", |
| "type": "object" |
| }, |
| "Obligation": { |
| "additionalProperties": false, |
| "properties": { |
| "id": { |
| "title": "Id", |
| "type": "string" |
| }, |
| "endpoint": { |
| "title": "Endpoint", |
| "type": "string" |
| }, |
| "unit": { |
| "title": "Unit", |
| "type": "string" |
| }, |
| "context_ids": { |
| "items": { |
| "type": "string" |
| }, |
| "title": "Context Ids", |
| "type": "array" |
| }, |
| "support": { |
| "enum": [ |
| "calibrated", |
| "proxy" |
| ], |
| "title": "Support", |
| "type": "string" |
| }, |
| "threshold": { |
| "title": "Threshold", |
| "type": "number" |
| }, |
| "direction": { |
| "enum": [ |
| "ge", |
| "le" |
| ], |
| "title": "Direction", |
| "type": "string" |
| }, |
| "scale": { |
| "exclusiveMinimum": 0, |
| "title": "Scale", |
| "type": "number" |
| }, |
| "threshold_source": { |
| "title": "Threshold Source", |
| "type": "string" |
| }, |
| "worker": { |
| "title": "Worker", |
| "type": "string" |
| } |
| }, |
| "required": [ |
| "id", |
| "endpoint", |
| "unit", |
| "context_ids", |
| "support", |
| "threshold", |
| "direction", |
| "scale", |
| "threshold_source", |
| "worker" |
| ], |
| "title": "Obligation", |
| "type": "object" |
| }, |
| "PlanNode": { |
| "additionalProperties": false, |
| "properties": { |
| "id": { |
| "title": "Id", |
| "type": "string" |
| }, |
| "tool": { |
| "title": "Tool", |
| "type": "string" |
| }, |
| "revision": { |
| "title": "Revision", |
| "type": "string" |
| }, |
| "inputs": { |
| "items": { |
| "type": "string" |
| }, |
| "title": "Inputs", |
| "type": "array" |
| }, |
| "outputs": { |
| "items": { |
| "type": "string" |
| }, |
| "title": "Outputs", |
| "type": "array" |
| }, |
| "cost": { |
| "minimum": 1, |
| "title": "Cost", |
| "type": "integer" |
| }, |
| "attempts": { |
| "maximum": 3, |
| "minimum": 1, |
| "title": "Attempts", |
| "type": "integer" |
| } |
| }, |
| "required": [ |
| "id", |
| "tool", |
| "revision", |
| "inputs", |
| "outputs", |
| "cost", |
| "attempts" |
| ], |
| "title": "PlanNode", |
| "type": "object" |
| } |
| }, |
| "additionalProperties": false, |
| "properties": { |
| "task_hash": { |
| "title": "Task Hash", |
| "type": "string" |
| }, |
| "evidence_snapshot_hash": { |
| "title": "Evidence Snapshot Hash", |
| "type": "string" |
| }, |
| "hypotheses": { |
| "items": { |
| "$ref": "#/$defs/Hypothesis" |
| }, |
| "maxItems": 3, |
| "title": "Hypotheses", |
| "type": "array" |
| }, |
| "obligations": { |
| "items": { |
| "$ref": "#/$defs/Obligation" |
| }, |
| "title": "Obligations", |
| "type": "array" |
| }, |
| "nodes": { |
| "items": { |
| "$ref": "#/$defs/PlanNode" |
| }, |
| "title": "Nodes", |
| "type": "array" |
| }, |
| "required": { |
| "items": { |
| "type": "string" |
| }, |
| "minItems": 1, |
| "title": "Required", |
| "type": "array" |
| }, |
| "budget": { |
| "minimum": 0, |
| "title": "Budget", |
| "type": "integer" |
| }, |
| "seed": { |
| "title": "Seed", |
| "type": "integer" |
| }, |
| "diagnostics": { |
| "items": { |
| "type": "string" |
| }, |
| "title": "Diagnostics", |
| "type": "array" |
| } |
| }, |
| "required": [ |
| "task_hash", |
| "evidence_snapshot_hash", |
| "hypotheses", |
| "obligations", |
| "nodes", |
| "required", |
| "budget", |
| "seed", |
| "diagnostics" |
| ], |
| "title": "PlanProposal", |
| "type": "object" |
| } |
|
|
