@aikdna/kdna-core 0.18.0 → 0.20.0

package/schema/judgment-trace-1.schema.json

@@ -1,748 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://github.com/aikdna/kdna/specs/judgment-trace-1.schema.json",
-  "title": "KDNA JudgmentTrace 1.0",
-  "description": "Authoritative strict terminal evidence for ConsumptionPlan 1.0 Capsule 2 / Agent Host 2 execution. This is not interchangeable with historical trace schemas.",
-  "type": "object",
-  "required": [
-    "type",
-    "trace_version",
-    "trace_id",
-    "plan_ref",
-    "parent_trace_id",
-    "timestamp",
-    "overall_status",
-    "runtime_contract",
-    "asset_identity",
-    "digest_evidence",
-    "capsule_delivery_evidence",
-    "projection_actual",
-    "host_receipt",
-    "execution",
-    "budget",
-    "result_ref",
-    "errors",
-    "warnings"
-  ],
-  "additionalProperties": false,
-  "properties": {
-    "type": { "const": "kdna.judgment.trace" },
-    "trace_version": { "const": "1.0.0" },
-    "trace_id": { "type": "string", "pattern": "^trace_[0-9a-f]{16}$" },
-    "plan_ref": { "$ref": "#/$defs/planRef" },
-    "parent_trace_id": {
-      "oneOf": [{ "type": "string", "pattern": "^trace_[0-9a-f]{16}$" }, { "type": "null" }]
-    },
-    "timestamp": { "type": "string", "format": "date-time" },
-    "overall_status": {
-      "enum": ["execution_completed", "blocked", "execution_failed", "cancelled", "timed_out"]
-    },
-    "runtime_contract": { "$ref": "#/$defs/runtimeContract" },
-    "asset_identity": { "$ref": "#/$defs/assetIdentity" },
-    "digest_evidence": {
-      "$ref": "https://github.com/aikdna/kdna/specs/digest-evidence.schema.json"
-    },
-    "capsule_delivery_evidence": { "$ref": "#/$defs/capsuleDeliveryEvidence" },
-    "projection_actual": { "$ref": "#/$defs/projectionActual" },
-    "host_receipt": {
-      "oneOf": [
-        {
-          "$ref": "https://github.com/aikdna/kdna/specs/agent-host-2-receipt.schema.json"
-        },
-        { "type": "null" }
-      ]
-    },
-    "execution": { "$ref": "#/$defs/execution" },
-    "budget": { "$ref": "#/$defs/budgetEvidence" },
-    "result_ref": {
-      "oneOf": [{ "$ref": "#/$defs/resultRef" }, { "type": "null" }]
-    },
-    "errors": {
-      "type": "array",
-      "items": { "$ref": "#/$defs/issue" }
-    },
-    "warnings": {
-      "type": "array",
-      "items": { "type": "string" }
-    }
-  },
-  "allOf": [
-    {
-      "if": {
-        "properties": {
-          "overall_status": {
-            "enum": ["execution_completed", "execution_failed", "cancelled", "timed_out"]
-          }
-        },
-        "required": ["overall_status"]
-      },
-      "then": {
-        "properties": {
-          "runtime_contract": {
-            "properties": {
-              "negotiation_state": { "const": "selected" },
-              "selected_capsule_version": { "const": "2.0" },
-              "selected_host_protocol": { "const": "kdna.agent-host/2" },
-              "issue_code": { "type": "null" }
-            }
-          },
-          "digest_evidence": {
-            "properties": {
-              "asset": { "$ref": "#/$defs/successfulDigest" },
-              "content": { "$ref": "#/$defs/successfulDigest" },
-              "runtime_entry_set": { "$ref": "#/$defs/successfulDigest" }
-            }
-          },
-          "capsule_delivery_evidence": {
-            "properties": { "host_boundary_comparison": { "const": "matched" } }
-          },
-          "host_receipt": {
-            "$ref": "https://github.com/aikdna/kdna/specs/agent-host-2-receipt.schema.json"
-          },
-          "projection_actual": {
-            "properties": {
-              "profile": { "type": "string" },
-              "capsule_delivery_digest": { "$ref": "#/$defs/sha256" },
-              "profile_deviated_from_plan": { "type": "boolean" }
-            }
-          },
-          "budget": {
-            "properties": {
-              "actual": {
-                "properties": { "projection_chars": { "type": "integer", "minimum": 0 } }
-              }
-            }
-          }
-        }
-      }
-    },
-    {
-      "if": {
-        "properties": { "overall_status": { "const": "execution_completed" } },
-        "required": ["overall_status"]
-      },
-      "then": {
-        "properties": {
-          "host_receipt": {
-            "properties": {
-              "runtime_receipt": {
-                "properties": { "provider_execution_status": { "const": "completed" } }
-              },
-              "outcome": { "type": "object" }
-            }
-          },
-          "execution": {
-            "properties": {
-              "delivery_status": { "const": "correlated_response" },
-              "execution_status": { "const": "completed" }
-            }
-          },
-          "budget": {
-            "properties": {
-              "comparison": {
-                "properties": {
-                  "overall": { "enum": ["within_limit", "not_observed"] }
-                }
-              }
-            }
-          },
-          "result_ref": { "$ref": "#/$defs/resultRef" },
-          "errors": { "maxItems": 0 }
-        }
-      }
-    },
-    {
-      "if": {
-        "properties": { "overall_status": { "const": "blocked" } },
-        "required": ["overall_status"]
-      },
-      "then": {
-        "properties": {
-          "runtime_contract": {
-            "properties": {
-              "negotiation_state": { "enum": ["selected", "blocked", "not_started"] }
-            }
-          },
-          "capsule_delivery_evidence": {
-            "properties": {
-              "host_boundary_comparison": {
-                "enum": ["mismatched", "not_delivered", "not_observed", "unavailable"]
-              }
-            }
-          },
-          "host_receipt": {
-            "oneOf": [
-              { "type": "null" },
-              {
-                "allOf": [
-                  {
-                    "$ref": "https://github.com/aikdna/kdna/specs/agent-host-2-receipt.schema.json"
-                  },
-                  {
-                    "properties": {
-                      "runtime_receipt": {
-                        "properties": {
-                          "capsule_delivery_comparison": { "const": "mismatched" },
-                          "provider_execution_status": { "const": "not_started" }
-                        }
-                      },
-                      "outcome": { "type": "null" }
-                    }
-                  }
-                ]
-              }
-            ]
-          },
-          "execution": {
-            "properties": {
-              "delivery_status": {
-                "enum": ["not_delivered", "rejected_before_execution"]
-              },
-              "execution_status": { "const": "not_started" }
-            }
-          },
-          "result_ref": { "type": "null" },
-          "errors": { "minItems": 1 }
-        }
-      }
-    },
-    {
-      "if": {
-        "properties": { "overall_status": { "const": "execution_failed" } },
-        "required": ["overall_status"]
-      },
-      "then": {
-        "properties": {
-          "host_receipt": {
-            "properties": {
-              "runtime_receipt": {
-                "properties": { "provider_execution_status": { "const": "failed" } }
-              },
-              "outcome": { "type": "null" }
-            }
-          },
-          "execution": {
-            "properties": {
-              "delivery_status": { "const": "correlated_response" },
-              "execution_status": { "const": "failed" }
-            }
-          },
-          "result_ref": { "type": "null" },
-          "errors": { "minItems": 1 }
-        }
-      }
-    },
-    {
-      "if": {
-        "properties": { "overall_status": { "const": "cancelled" } },
-        "required": ["overall_status"]
-      },
-      "then": {
-        "properties": {
-          "host_receipt": {
-            "properties": {
-              "runtime_receipt": {
-                "properties": { "provider_execution_status": { "const": "cancelled" } }
-              },
-              "outcome": { "type": "null" }
-            }
-          },
-          "execution": {
-            "properties": {
-              "delivery_status": { "const": "correlated_response" },
-              "execution_status": { "const": "cancelled" }
-            }
-          },
-          "result_ref": { "type": "null" },
-          "errors": { "minItems": 1 }
-        }
-      }
-    },
-    {
-      "if": {
-        "properties": { "overall_status": { "const": "timed_out" } },
-        "required": ["overall_status"]
-      },
-      "then": {
-        "properties": {
-          "host_receipt": {
-            "properties": {
-              "runtime_receipt": {
-                "properties": { "provider_execution_status": { "const": "timed_out" } }
-              },
-              "outcome": { "type": "null" }
-            }
-          },
-          "execution": {
-            "properties": {
-              "delivery_status": { "const": "correlated_response" },
-              "execution_status": { "const": "timed_out" }
-            }
-          },
-          "budget": {
-            "properties": {
-              "comparison": {
-                "properties": {
-                  "elapsed_ms": { "const": "exceeded" },
-                  "overall": { "const": "exceeded" }
-                }
-              }
-            }
-          },
-          "result_ref": { "type": "null" },
-          "errors": { "minItems": 1 }
-        }
-      }
-    }
-  ],
-  "$defs": {
-    "sha256": {
-      "type": "string",
-      "pattern": "^sha256:[0-9a-f]{64}$"
-    },
-    "assetId": {
-      "type": "string",
-      "pattern": "^[a-zA-Z][a-zA-Z0-9_-]*(:[a-zA-Z0-9_.-]+)+$"
-    },
-    "semver": {
-      "type": "string",
-      "pattern": "^[0-9]+\\.[0-9]+\\.[0-9]+([+-].+)?$"
-    },
-    "planRef": {
-      "type": "object",
-      "required": ["plan_id", "plan_digest_profile", "plan_digest", "comparison"],
-      "additionalProperties": false,
-      "properties": {
-        "plan_id": { "type": "string", "pattern": "^plan_[0-9a-f]{16}$" },
-        "plan_digest_profile": { "const": "kdna-consumption-plan-jcs-v1" },
-        "plan_digest": { "$ref": "#/$defs/sha256" },
-        "comparison": { "const": "matched" }
-      }
-    },
-    "runtimeContract": {
-      "type": "object",
-      "required": [
-        "plan_capsule_versions",
-        "core_capsule_versions",
-        "plan_host_protocols",
-        "host_capabilities",
-        "negotiation_state",
-        "selected_capsule_version",
-        "selected_host_protocol",
-        "issue_code"
-      ],
-      "additionalProperties": false,
-      "properties": {
-        "plan_capsule_versions": {
-          "type": "array",
-          "prefixItems": [{ "const": "2.0" }],
-          "minItems": 1,
-          "maxItems": 1
-        },
-        "core_capsule_versions": {
-          "type": "array",
-          "minItems": 1,
-          "uniqueItems": true,
-          "items": { "enum": ["2.0", "1.0"] }
-        },
-        "plan_host_protocols": {
-          "type": "array",
-          "prefixItems": [{ "const": "kdna.agent-host/2" }],
-          "minItems": 1,
-          "maxItems": 1
-        },
-        "host_capabilities": {
-          "$ref": "https://github.com/aikdna/kdna/specs/agent-host-capabilities-1.schema.json"
-        },
-        "negotiation_state": { "enum": ["selected", "blocked", "not_started"] },
-        "selected_capsule_version": {
-          "type": ["string", "null"],
-          "enum": ["2.0", null]
-        },
-        "selected_host_protocol": {
-          "type": ["string", "null"],
-          "enum": ["kdna.agent-host/2", null]
-        },
-        "issue_code": {
-          "type": ["string", "null"],
-          "enum": [
-            "KDNA_CAPSULE_VERSION_UNSUPPORTED",
-            "KDNA_HOST_PROTOCOL_UNSUPPORTED",
-            "KDNA_HOST_CAPSULE_PAIR_UNSUPPORTED",
-            null
-          ]
-        }
-      },
-      "allOf": [
-        {
-          "if": {
-            "properties": { "negotiation_state": { "const": "selected" } },
-            "required": ["negotiation_state"]
-          },
-          "then": {
-            "properties": {
-              "selected_capsule_version": { "const": "2.0" },
-              "selected_host_protocol": { "const": "kdna.agent-host/2" },
-              "issue_code": { "type": "null" }
-            }
-          },
-          "else": {
-            "properties": {
-              "selected_capsule_version": { "type": "null" },
-              "selected_host_protocol": { "type": "null" }
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": { "negotiation_state": { "const": "blocked" } },
-            "required": ["negotiation_state"]
-          },
-          "then": { "properties": { "issue_code": { "type": "string" } } }
-        },
-        {
-          "if": {
-            "properties": { "negotiation_state": { "const": "not_started" } },
-            "required": ["negotiation_state"]
-          },
-          "then": { "properties": { "issue_code": { "type": "null" } } }
-        }
-      ]
-    },
-    "assetIdentity": {
-      "type": "object",
-      "required": ["asset_id", "asset_uid", "version", "judgment_version", "access"],
-      "additionalProperties": false,
-      "properties": {
-        "asset_id": { "$ref": "#/$defs/assetId" },
-        "asset_uid": { "type": "string", "format": "uri" },
-        "version": { "$ref": "#/$defs/semver" },
-        "judgment_version": { "$ref": "#/$defs/semver" },
-        "access": { "enum": ["public", "licensed", "remote"] }
-      }
-    },
-    "successfulDigest": {
-      "type": "object",
-      "required": ["value", "basis", "comparison"],
-      "additionalProperties": false,
-      "properties": {
-        "value": { "$ref": "#/$defs/sha256" },
-        "basis": { "type": "string" },
-        "comparison": {
-          "type": "object",
-          "required": ["state", "against", "expected", "source"],
-          "additionalProperties": false,
-          "properties": {
-            "state": { "enum": ["matched", "not_compared"] },
-            "against": { "type": ["string", "null"] },
-            "expected": {
-              "oneOf": [{ "$ref": "#/$defs/sha256" }, { "type": "null" }]
-            },
-            "source": { "type": ["string", "null"] }
-          }
-        }
-      }
-    },
-    "capsuleDeliveryEvidence": {
-      "type": "object",
-      "required": [
-        "basis",
-        "observed",
-        "sender_computed",
-        "host_recomputed",
-        "host_echoed",
-        "delivered_capsule_version",
-        "host_boundary_comparison",
-        "request_id"
-      ],
-      "additionalProperties": false,
-      "properties": {
-        "basis": { "const": "kdna-capsule-jcs-v1" },
-        "observed": {
-          "oneOf": [{ "$ref": "#/$defs/sha256" }, { "type": "null" }]
-        },
-        "sender_computed": { "type": "boolean" },
-        "host_recomputed": {
-          "oneOf": [{ "$ref": "#/$defs/sha256" }, { "type": "null" }]
-        },
-        "host_echoed": {
-          "oneOf": [{ "$ref": "#/$defs/sha256" }, { "type": "null" }]
-        },
-        "delivered_capsule_version": {
-          "type": ["string", "null"],
-          "enum": ["2.0", null]
-        },
-        "host_boundary_comparison": {
-          "enum": ["matched", "mismatched", "not_delivered", "not_observed", "unavailable"]
-        },
-        "request_id": {
-          "oneOf": [{ "type": "string", "pattern": "^host_[0-9a-f]{24}$" }, { "type": "null" }]
-        }
-      },
-      "allOf": [
-        {
-          "if": {
-            "properties": { "host_boundary_comparison": { "const": "matched" } },
-            "required": ["host_boundary_comparison"]
-          },
-          "then": {
-            "properties": {
-              "observed": { "$ref": "#/$defs/sha256" },
-              "sender_computed": { "const": true },
-              "host_recomputed": { "$ref": "#/$defs/sha256" },
-              "host_echoed": { "$ref": "#/$defs/sha256" },
-              "delivered_capsule_version": { "const": "2.0" },
-              "request_id": { "type": "string", "pattern": "^host_[0-9a-f]{24}$" }
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": { "host_boundary_comparison": { "const": "mismatched" } },
-            "required": ["host_boundary_comparison"]
-          },
-          "then": {
-            "properties": {
-              "observed": { "$ref": "#/$defs/sha256" },
-              "sender_computed": { "const": true },
-              "host_recomputed": { "$ref": "#/$defs/sha256" },
-              "host_echoed": { "$ref": "#/$defs/sha256" },
-              "delivered_capsule_version": { "const": "2.0" },
-              "request_id": { "type": "string", "pattern": "^host_[0-9a-f]{24}$" }
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": { "host_boundary_comparison": { "const": "not_observed" } },
-            "required": ["host_boundary_comparison"]
-          },
-          "then": {
-            "properties": {
-              "observed": { "$ref": "#/$defs/sha256" },
-              "sender_computed": { "const": true },
-              "host_recomputed": { "type": "null" },
-              "host_echoed": { "type": "null" },
-              "delivered_capsule_version": { "const": "2.0" },
-              "request_id": { "type": "string", "pattern": "^host_[0-9a-f]{24}$" }
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": {
-              "host_boundary_comparison": {
-                "enum": ["not_delivered", "unavailable"]
-              }
-            },
-            "required": ["host_boundary_comparison"]
-          },
-          "then": {
-            "properties": {
-              "host_recomputed": { "type": "null" },
-              "host_echoed": { "type": "null" },
-              "delivered_capsule_version": { "type": "null" },
-              "request_id": { "type": "null" }
-            }
-          }
-        },
-        {
-          "if": {
-            "properties": { "host_boundary_comparison": { "const": "unavailable" } },
-            "required": ["host_boundary_comparison"]
-          },
-          "then": {
-            "properties": {
-              "observed": { "type": "null" },
-              "sender_computed": { "const": false }
-            }
-          }
-        }
-      ]
-    },
-    "projectionActual": {
-      "type": "object",
-      "required": ["profile", "capsule_delivery_digest", "profile_deviated_from_plan"],
-      "additionalProperties": false,
-      "properties": {
-        "profile": {
-          "type": ["string", "null"],
-          "enum": ["index", "compact", "scenario", "full", null]
-        },
-        "capsule_delivery_digest": {
-          "oneOf": [{ "$ref": "#/$defs/sha256" }, { "type": "null" }]
-        },
-        "profile_deviated_from_plan": { "type": ["boolean", "null"] }
-      }
-    },
-    "execution": {
-      "type": "object",
-      "required": [
-        "delivery_status",
-        "semantic_consumption",
-        "execution_status",
-        "conformance_status",
-        "model_identity"
-      ],
-      "additionalProperties": false,
-      "properties": {
-        "delivery_status": {
-          "enum": ["correlated_response", "rejected_before_execution", "not_delivered"]
-        },
-        "semantic_consumption": { "$ref": "#/$defs/semanticConsumption" },
-        "execution_status": {
-          "enum": ["completed", "not_started", "failed", "cancelled", "timed_out"]
-        },
-        "conformance_status": { "const": "not_evaluated" },
-        "model_identity": { "$ref": "#/$defs/modelIdentity" }
-      }
-    },
-    "semanticConsumption": {
-      "type": "object",
-      "required": ["state", "basis"],
-      "additionalProperties": false,
-      "properties": {
-        "state": { "const": "not_observed" },
-        "basis": { "type": "null" }
-      }
-    },
-    "modelIdentity": {
-      "type": "object",
-      "required": ["value", "basis"],
-      "additionalProperties": false,
-      "properties": {
-        "value": { "type": ["string", "null"], "minLength": 1 },
-        "basis": { "enum": ["host_reported", "not_observed"] }
-      },
-      "allOf": [
-        {
-          "if": {
-            "properties": { "basis": { "const": "host_reported" } },
-            "required": ["basis"]
-          },
-          "then": { "properties": { "value": { "type": "string", "minLength": 1 } } },
-          "else": { "properties": { "value": { "type": "null" } } }
-        }
-      ]
-    },
-    "budgetEvidence": {
-      "type": "object",
-      "required": ["limits", "actual", "comparison"],
-      "additionalProperties": false,
-      "properties": {
-        "limits": {
-          "$ref": "https://github.com/aikdna/kdna/specs/consumption-plan-1.schema.json#/$defs/budget"
-        },
-        "actual": { "$ref": "#/$defs/budgetActual" },
-        "comparison": { "$ref": "#/$defs/budgetComparison" }
-      }
-    },
-    "budgetActual": {
-      "type": "object",
-      "required": [
-        "projection_chars",
-        "task_chars",
-        "elapsed_ms",
-        "elapsed_basis",
-        "tokens_used",
-        "model_calls",
-        "usage_basis"
-      ],
-      "additionalProperties": false,
-      "properties": {
-        "projection_chars": {
-          "oneOf": [{ "type": "integer", "minimum": 0 }, { "type": "null" }]
-        },
-        "task_chars": { "type": "integer", "minimum": 0 },
-        "elapsed_ms": {
-          "oneOf": [{ "type": "integer", "minimum": 0 }, { "type": "null" }]
-        },
-        "elapsed_basis": { "enum": ["host_monotonic", "not_observed"] },
-        "tokens_used": {
-          "oneOf": [{ "type": "integer", "minimum": 0 }, { "type": "null" }]
-        },
-        "model_calls": {
-          "oneOf": [{ "type": "integer", "minimum": 0 }, { "type": "null" }]
-        },
-        "usage_basis": { "enum": ["host_reported", "not_observed"] }
-      },
-      "allOf": [
-        {
-          "if": {
-            "properties": { "elapsed_basis": { "const": "host_monotonic" } },
-            "required": ["elapsed_basis"]
-          },
-          "then": {
-            "properties": { "elapsed_ms": { "type": "integer", "minimum": 0 } }
-          },
-          "else": { "properties": { "elapsed_ms": { "type": "null" } } }
-        },
-        {
-          "if": {
-            "properties": { "usage_basis": { "const": "host_reported" } },
-            "required": ["usage_basis"]
-          },
-          "then": {
-            "properties": {
-              "tokens_used": { "type": "integer", "minimum": 0 },
-              "model_calls": { "type": "integer", "minimum": 0 }
-            }
-          },
-          "else": {
-            "properties": {
-              "tokens_used": { "type": "null" },
-              "model_calls": { "type": "null" }
-            }
-          }
-        }
-      ]
-    },
-    "budgetComparison": {
-      "type": "object",
-      "required": [
-        "projection_chars",
-        "task_chars",
-        "elapsed_ms",
-        "tokens_used",
-        "model_calls",
-        "overall"
-      ],
-      "additionalProperties": false,
-      "properties": {
-        "projection_chars": { "enum": ["within_limit", "exceeded", "not_observed"] },
-        "task_chars": { "enum": ["within_limit", "exceeded"] },
-        "elapsed_ms": { "enum": ["within_limit", "exceeded", "not_observed"] },
-        "tokens_used": {
-          "enum": ["within_limit", "exceeded", "not_limited", "not_observed"]
-        },
-        "model_calls": {
-          "enum": ["within_limit", "exceeded", "not_limited", "not_observed"]
-        },
-        "overall": { "enum": ["within_limit", "exceeded", "not_observed"] }
-      }
-    },
-    "resultRef": {
-      "type": "object",
-      "required": ["shape", "result_digest", "basis", "stored"],
-      "additionalProperties": false,
-      "properties": {
-        "shape": { "const": "structured_judgment" },
-        "result_digest": { "$ref": "#/$defs/sha256" },
-        "basis": { "const": "kdna-result-jcs-v1" },
-        "stored": { "type": "boolean" }
-      }
-    },
-    "issue": {
-      "type": "object",
-      "required": ["code", "message", "phase"],
-      "additionalProperties": false,
-      "properties": {
-        "code": { "type": "string", "minLength": 1 },
-        "message": { "type": "string", "minLength": 1 },
-        "phase": {
-          "enum": ["plan", "negotiation", "load", "budget", "delivery", "host", "execution"]
-        }
-      }
-    }
-  }
-}