addedInput schema / properties / intent_contract
Added value: +{
+ "additionalProperties": false,
+ "description": "Optional declared scope and file-existence postconditions for the run.",
+ "properties": {
+ "postconditions": {
+ "items": {
+ "additionalProperties": false,
+ "properties": {
+ "expected": {
+ "type": "boolean"
+ },
+ "path": {
+ "type": "string"
+ },
+ "type": {
+ "enum": [
+ "file_exists"
+ ],
+ "type": "string"
+ }
+ },
+ "required": [
+ "type",
+ "path"
+ ],
+ "type": "object"
+ },
+ "type": "array"
+ },
+ "scope": {
+ "anyOf": [
+ {
+ "type": "string"
+ },
+ {
+ "items": {
+ "type": "string"
+ },
+ "type": "array"
+ }
+ ]
+ }
+ },
+ "type": "object"
+}
addedInput schema / properties / observed_outcome
Added value: +{
+ "additionalProperties": false,
+ "description": "Optional observed scope, write claims, and file-existence records to compare with the intent contract.",
+ "properties": {
+ "claims": {
+ "items": {
+ "type": "string"
+ },
+ "type": "array"
+ },
+ "error": {
+ "type": "string"
+ },
+ "external_observation": {
+ "type": "string"
+ },
+ "files": {
+ "items": {
+ "additionalProperties": false,
+ "properties": {
+ "exists": {
+ "type": "boolean"
+ },
+ "path": {
+ "type": "string"
+ }
+ },
+ "required": [
+ "path",
+ "exists"
+ ],
+ "type": "object"
+ },
+ "type": "array"
+ },
+ "scope": {
+ "anyOf": [
+ {
+ "type": "string"
+ },
+ {
+ "items": {
+ "type": "string"
+ },
+ "type": "array"
+ }
+ ]
+ },
+ "tool_response": {
+ "type": "string"
+ }
+ },
+ "type": "object"
+}
addedOutput schema / properties / contract_match
Added value: +{
+ "type": "boolean"
+}
addedOutput schema / properties / contract_mismatches
Added value: +{
+ "items": {
+ "additionalProperties": false,
+ "properties": {
+ "code": {
+ "enum": [
+ "scope_not_satisfied",
+ "postcondition_not_satisfied"
+ ],
+ "type": "string"
+ },
+ "expected": {
+ "type": "string"
+ },
+ "kind": {
+ "enum": [
+ "scope",
+ "postcondition"
+ ],
+ "type": "string"
+ },
+ "message": {
+ "type": "string"
+ },
+ "observed": {
+ "type": "string"
+ }
+ },
+ "required": [
+ "kind",
+ "code",
+ "expected",
+ "observed",
+ "message"
+ ],
+ "type": "object"
+ },
+ "type": "array"
+}