Input schema (JSON)
{
"type": "object",
"required": [
"build_ref",
"revision",
"idempotency_key",
"ops"
],
"properties": {
"ops": {
"type": "array",
"items": {
"oneOf": [
{
"type": "object",
"required": [
"op",
"spec"
],
"properties": {
"op": {
"const": "replace_spec"
},
"spec": {
"type": "object"
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"input_contract",
"output_contract"
],
"properties": {
"op": {
"const": "set_contracts"
},
"input_contract": {
"type": "object",
"required": [
"fields"
],
"properties": {
"fields": {
"type": "array",
"items": {
"type": "object",
"required": [
"handle",
"label",
"description",
"required",
"schema"
],
"properties": {
"label": {
"type": "string",
"maxLength": 120,
"minLength": 1
},
"handle": {
"type": "string",
"pattern": "^[a-z][a-z0-9_]{0,63}$",
"maxLength": 64
},
"schema": {
"type": "object",
"maxProperties": 100
},
"required": {
"type": "boolean"
},
"description": {
"type": "string",
"maxLength": 500
}
},
"additionalProperties": false
},
"maxItems": 20
}
},
"additionalProperties": false
},
"output_contract": {
"type": "object",
"required": [
"fields"
],
"properties": {
"fields": {
"type": "array",
"items": {
"type": "object",
"required": [
"handle",
"label",
"description",
"required",
"schema"
],
"properties": {
"label": {
"type": "string",
"maxLength": 120,
"minLength": 1
},
"handle": {
"type": "string",
"pattern": "^[a-z][a-z0-9_]{0,63}$",
"maxLength": 64
},
"schema": {
"type": "object",
"maxProperties": 100
},
"required": {
"const": true
},
"description": {
"type": "string",
"maxLength": 500
}
},
"additionalProperties": false
},
"maxItems": 20
}
},
"additionalProperties": false
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"metadata"
],
"properties": {
"op": {
"const": "set_metadata"
},
"metadata": {
"type": "object",
"required": [],
"properties": {
"$ui": {
"type": "object"
},
"name": {
"type": "string",
"maxLength": 200,
"minLength": 1
},
"$comment": {
"oneOf": [
{
"type": "string",
"maxLength": 4096
},
{
"type": "object"
}
]
},
"description": {
"type": "string",
"maxLength": 4096
}
},
"additionalProperties": false
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"node"
],
"properties": {
"op": {
"const": "upsert_node"
},
"node": {
"type": "object"
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"node_id"
],
"properties": {
"op": {
"const": "remove_node"
},
"node_id": {
"type": "string",
"pattern": "^[a-z][a-z0-9_]{0,63}$",
"maxLength": 64
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"node_ids"
],
"properties": {
"op": {
"const": "reorder_nodes"
},
"node_ids": {
"type": "array",
"items": {
"type": "string",
"pattern": "^[a-z][a-z0-9_]{0,63}$",
"maxLength": 64
},
"maxItems": 200,
"uniqueItems": true
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"schema_id",
"schema"
],
"properties": {
"op": {
"const": "upsert_schema"
},
"schema": {
"type": "object",
"maxProperties": 100
},
"schema_id": {
"type": "string",
"pattern": "^[a-z][a-z0-9_]{0,63}$",
"maxLength": 64
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"schema_id"
],
"properties": {
"op": {
"const": "remove_schema"
},
"schema_id": {
"type": "string",
"pattern": "^[a-z][a-z0-9_]{0,63}$",
"maxLength": 64
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"suite"
],
"properties": {
"op": {
"const": "set_acceptance_cases"
},
"suite": {
"type": "object",
"required": [
"version",
"cases"
],
"properties": {
"cases": {
"type": "array",
"items": {
"type": "object",
"required": [
"case_id",
"label",
"kind",
"fixtures",
"assertions"
],
"properties": {
"kind": {
"enum": [
"adversarial",
"empty",
"injection",
"malformed",
"metamorphic",
"normal"
]
},
"label": {
"type": "string",
"maxLength": 120,
"minLength": 1
},
"case_id": {
"type": "string",
"pattern": "^[a-z0-9][a-z0-9_-]{0,63}$"
},
"fixtures": {
"type": "array",
"items": {
"type": "object",
"required": [
"target",
"content_type",
"value"
],
"properties": {
"value": {
"type": "string",
"maxLength": 32768
},
"target": {
"type": "string",
"pattern": "^[a-z0-9][a-z0-9_-]{0,63}$"
},
"content_type": {
"enum": [
"application/json",
"text/plain"
]
}
},
"additionalProperties": false
},
"maxItems": 20
},
"pair_with": {
"type": "string",
"pattern": "^[a-z0-9][a-z0-9_-]{0,63}$"
},
"assertions": {
"type": "array",
"items": {
"type": "object",
"allOf": [
{
"if": {
"required": [
"type"
],
"properties": {
"type": {
"const": "classification"
}
}
},
"then": {
"properties": {
"operator": {
"enum": [
"coverage_at_least",
"join_by_id",
"metric_at_least",
"no_critical_false_negative"
]
}
}
}
},
{
"if": {
"required": [
"type"
],
"properties": {
"type": {
"const": "collection"
}
}
},
"then": {
"properties": {
"operator": {
"enum": [
"any",
"count_equals",
"covers_records",
"every",
"unique_by"
]
}
}
}
},
{
"if": {
"required": [
"type"
],
"properties": {
"type": {
"const": "coverage"
}
}
},
"then": {
"properties": {
"operator": {
"enum": [
"branch_covered",
"enum_covered"
]
}
}
}
},
{
"if": {
"required": [
"type"
],
"properties": {
"type": {
"const": "html"
}
}
},
"then": {
"properties": {
"operator": {
"enum": [
"escaped",
"well_formed"
]
}
}
}
},
{
"if": {
"required": [
"type"
],
"properties": {
"type": {
"const": "paired"
}
}
},
"then": {
"properties": {
"operator": {
"enum": [
"fields_unchanged",
"mirror_changes",
"permutation_invariant",
"sensitivity_stable"
]
}
}
}
},
{
"if": {
"required": [
"type"
],
"properties": {
"type": {
"const": "quote_present"
}
}
},
"then": {
"properties": {
"operator": {
"enum": [
"quote_present_in"
]
}
}
}
},
{
"if": {
"required": [
"type"
],
"properties": {
"type": {
"const": "reconcile"
}
}
},
"then": {
"properties": {
"operator": {
"enum": [
"equals_computed",
"within_tolerance"
]
}
}
}
},
{
"if": {
"required": [
"type"
],
"properties": {
"type": {
"const": "scalar"
}
}
},
"then": {
"properties": {
"operator": {
"enum": [
"between",
"contains",
"equals",
"exists",
"glob",
"in_set",
"not_in_set",
"type_is"
]
}
}
}
},
{
"if": {
"required": [
"type"
],
"properties": {
"type": {
"const": "security"
}
}
},
"then": {
"properties": {
"operator": {
"enum": [
"answer_not_leaked",
"injection_resisted"
]
}
}
}
}
],
"required": [
"assertion_id",
"type",
"operator"
],
"properties": {
"left": {
"$ref": "#/definitions/expression"
},
"path": {
"type": "string",
"maxLength": 256
},
"type": {
"enum": [
"classification",
"collection",
"coverage",
"html",
"paired",
"quote_present",
"reconcile",
"scalar",
"security"
]
},
"right": {
"$ref": "#/definitions/expression"
},
"fields": {
"type": "array",
"items": {
"type": "string",
"maxLength": 256
},
"maxItems": 50
},
"metric": {
"enum": [
"accuracy",
"macro_precision",
"macro_recall",
"macro_f1"
]
},
"values": {
"type": "array",
"maxItems": 200
},
"maximum": {
"type": "number"
},
"message": {
"type": "string",
"maxLength": 200,
"minLength": 1
},
"minimum": {
"type": "number"
},
"pattern": {
"type": "string",
"maxLength": 256,
"minLength": 1
},
"expected": {},
"key_path": {
"type": "string",
"maxLength": 256
},
"mappings": {
"type": "array",
"items": {
"$ref": "#/definitions/field_mapping"
},
"maxItems": 50
},
"operator": {
"enum": [
"answer_not_leaked",
"any",
"between",
"branch_covered",
"contains",
"count_equals",
"coverage_at_least",
"covers_records",
"enum_covered",
"equals",
"equals_computed",
"escaped",
"every",
"exists",
"fields_unchanged",
"glob",
"in_set",
"injection_resisted",
"join_by_id",
"metric_at_least",
"mirror_changes",
"no_critical_false_negative",
"not_in_set",
"permutation_invariant",
"quote_present_in",
"sensitivity_stable",
"type_is",
"unique_by",
"well_formed",
"within_tolerance"
]
},
"pair_path": {
"type": "string",
"maxLength": 256
},
"predicate": {
"$ref": "#/definitions/scalar_predicate"
},
"threshold": {
"type": "number",
"maximum": 1,
"minimum": 0
},
"tolerance": {
"type": "number",
"minimum": 0
},
"assertion_id": {
"type": "string",
"pattern": "^[a-z0-9][a-z0-9_-]{0,63}$"
},
"pair_case_id": {
"type": "string",
"pattern": "^[a-z0-9][a-z0-9_-]{0,63}$"
},
"actual_id_path": {
"type": "string",
"maxLength": 256
},
"fixture_target": {
"type": "string",
"pattern": "^[a-z0-9][a-z0-9_-]{0,63}$"
},
"critical_labels": {
"type": "array",
"items": {
"type": "string"
},
"maxItems": 50
},
"fixture_targets": {
"type": "array",
"items": {
"type": "string",
"pattern": "^[a-z0-9][a-z0-9_-]{0,63}$"
},
"maxItems": 20
},
"required_values": {
"type": "array",
"maxItems": 200
},
"expected_id_path": {
"type": "string",
"maxLength": 256
},
"expected_records": {
"type": "array",
"maxItems": 200
},
"actual_label_path": {
"type": "string",
"maxLength": 256
},
"forbidden_literals": {
"type": "array",
"items": {
"type": "string",
"maxLength": 500
},
"maxItems": 50
},
"accepted_limitation": {
"type": "string",
"maxLength": 500,
"minLength": 20,
"description": "User-approved semantic limitation and reason for accepting it for supervised private use. Never invent approval. Failure remains visible but does not block this case."
},
"expected_label_path": {
"type": "string",
"maxLength": 256
}
},
"additionalProperties": false
},
"maxItems": 50,
"minItems": 1
},
"expect_branch": {
"type": "object",
"required": [
"path",
"value"
],
"properties": {
"path": {
"type": "string",
"maxLength": 256
},
"value": {
"type": "string",
"maxLength": 64,
"minLength": 1
}
},
"additionalProperties": false
}
},
"additionalProperties": false
},
"maxItems": 50,
"minItems": 1
},
"version": {
"const": 1
}
},
"additionalProperties": false
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"evidence"
],
"properties": {
"op": {
"const": "record_research"
},
"evidence": {
"type": "array",
"items": {
"type": "object",
"required": [
"url",
"title",
"retrieved_at",
"supported_claim",
"applicability"
],
"properties": {
"url": {
"type": "string",
"maxLength": 512,
"minLength": 1
},
"title": {
"type": "string",
"maxLength": 200,
"minLength": 1
},
"retrieved_at": {
"type": "string",
"maxLength": 64,
"minLength": 1
},
"applicability": {
"type": "string",
"maxLength": 1000,
"minLength": 1
},
"supported_claim": {
"type": "string",
"maxLength": 1000,
"minLength": 1
}
},
"additionalProperties": false
},
"maxItems": 20
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"budget_capability"
],
"properties": {
"op": {
"const": "set_budget"
},
"budget_capability": {
"type": "string",
"maxLength": 4096,
"minLength": 1
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"handoff_ref",
"requirement_id"
],
"properties": {
"op": {
"const": "bind_resource"
},
"handoff_ref": {
"type": "string",
"maxLength": 4096,
"minLength": 1
},
"requirement_id": {
"type": "string",
"pattern": "^[0-9a-f]{32}$"
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"handoff_ref",
"activity_ref"
],
"properties": {
"op": {
"const": "resume_activity"
},
"handoff_ref": {
"type": "string",
"maxLength": 4096,
"minLength": 1
},
"activity_ref": {
"type": "string",
"maxLength": 4096,
"minLength": 1
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"handoff_ref",
"activity_ref"
],
"properties": {
"op": {
"const": "cancel_activity"
},
"handoff_ref": {
"type": "string",
"maxLength": 4096,
"minLength": 1
},
"activity_ref": {
"type": "string",
"maxLength": 4096,
"minLength": 1
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op"
],
"properties": {
"op": {
"const": "restore"
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"chunk_id"
],
"properties": {
"op": {
"const": "begin_chunk"
},
"chunk_id": {
"type": "string",
"pattern": "^[a-z][a-z0-9_]{0,63}$",
"maxLength": 64
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"chunk_id",
"seq",
"text"
],
"properties": {
"op": {
"const": "append_chunk"
},
"seq": {
"type": "integer",
"maximum": 32767,
"minimum": 0
},
"text": {
"type": "string",
"maxLength": 49152,
"minLength": 1
},
"chunk_id": {
"type": "string",
"pattern": "^[a-z][a-z0-9_]{0,63}$",
"maxLength": 64
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"op",
"chunk_id",
"sha256",
"target"
],
"properties": {
"op": {
"const": "commit_chunk"
},
"sha256": {
"type": "string",
"pattern": "^[0-9a-f]{64}$",
"maxLength": 64
},
"target": {
"enum": [
"replace_spec",
"set_acceptance_cases",
"record_research"
]
},
"chunk_id": {
"type": "string",
"pattern": "^[a-z][a-z0-9_]{0,63}$",
"maxLength": 64
}
},
"additionalProperties": false
}
]
},
"maxItems": 25,
"minItems": 1
},
"revision": {
"type": "string",
"pattern": "^[0-9a-f]{64}$",
"maxLength": 64
},
"build_ref": {
"type": "string",
"maxLength": 4096,
"minLength": 1
},
"idempotency_key": {
"type": "string",
"pattern": "^[\\x20-\\x7e]+$",
"maxLength": 200,
"minLength": 1
}
},
"definitions": {
"expression": {
"oneOf": [
{
"type": "object",
"required": [
"kind",
"value"
],
"properties": {
"kind": {
"const": "literal"
},
"value": {
"type": "number"
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"kind",
"path"
],
"properties": {
"kind": {
"const": "path"
},
"path": {
"type": "string",
"maxLength": 256
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"kind",
"case_id",
"path"
],
"properties": {
"kind": {
"const": "case_path"
},
"path": {
"type": "string",
"maxLength": 256
},
"case_id": {
"type": "string",
"pattern": "^[a-z0-9][a-z0-9_-]{0,63}$"
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"kind",
"expression"
],
"properties": {
"kind": {
"enum": [
"count",
"sum"
]
},
"expression": {
"$ref": "#/definitions/expression"
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"kind",
"left",
"right"
],
"properties": {
"kind": {
"enum": [
"add",
"subtract",
"multiply",
"divide"
]
},
"left": {
"$ref": "#/definitions/expression"
},
"right": {
"$ref": "#/definitions/expression"
}
},
"additionalProperties": false
}
]
},
"field_mapping": {
"type": "object",
"required": [
"path",
"pair_path"
],
"properties": {
"path": {
"type": "string",
"maxLength": 256
},
"pair_path": {
"type": "string",
"maxLength": 256
}
},
"additionalProperties": false
},
"scalar_predicate": {
"type": "object",
"required": [
"operator"
],
"properties": {
"path": {
"type": "string",
"maxLength": 256
},
"values": {
"type": "array",
"maxItems": 200
},
"maximum": {
"type": "number"
},
"minimum": {
"type": "number"
},
"pattern": {
"type": "string",
"maxLength": 256,
"minLength": 1
},
"expected": {},
"operator": {
"enum": [
"between",
"contains",
"equals",
"exists",
"glob",
"in_set",
"not_in_set",
"type_is"
]
}
},
"additionalProperties": false
}
},
"description": "Client transport recommendation, not a server limit: keep serialized tool arguments below 32 KiB including JSON escaping and the request envelope. For larger spec, suite, or research content use begin_chunk, ordered append_chunk (seq starts at 0), then commit_chunk. Keep each complete append request below 12 KiB; split text further after measuring escaped JSON bytes. Hash the exact assembled UTF-8 text with SHA-256. Begin/append do not change the revision; commit changes it once. After an uncertain response, inspect the build and replay the identical request with the same idempotency key; do not create duplicate work with a new key.",
"additionalProperties": false
}