@echopath-labs/forgerail 0.1.0-alpha.1 → 0.1.0-alpha.2

package/contracts/profile-explanation-v1.schema.json

@@ -0,0 +1,91 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://forgerail.dev/schemas/profile-explanation-v1.json",
+  "title": "ForgeRail Profile Explanation v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "explanationId", "profileId", "profileRevisionId", "workspaceIdentityId", "generatedAt", "completeness", "sourceSummaries", "claimDecisions", "conflicts", "confirmationNeeds", "limitedReasons"],
+  "properties": {
+    "schemaVersion": { "const": "1.0" },
+    "explanationId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "profileId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "profileRevisionId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "workspaceIdentityId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "generatedAt": { "type": "string", "format": "date-time" },
+    "completeness": { "enum": ["complete", "degraded", "unresolved"] },
+    "sourceSummaries": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["sourceId", "status", "claimIds", "limitedReason"],
+        "properties": {
+          "sourceId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+          "status": { "enum": ["observed", "unavailable", "ambiguous", "unverified"] },
+          "claimIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+          "limitedReason": { "type": ["string", "null"], "minLength": 1 }
+        }
+      }
+    },
+    "claimDecisions": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["claimId", "sourceId", "disposition", "reasonCode", "dependencyEdgeIds"],
+        "properties": {
+          "claimId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+          "sourceId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+          "disposition": { "enum": ["active", "shadowed", "unresolved", "excluded"] },
+          "reasonCode": { "type": "string", "minLength": 1 },
+          "dependencyEdgeIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true }
+        }
+      }
+    },
+    "conflicts": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["conflictId", "claimIds", "limitedReason", "confirmationRequired"],
+        "properties": {
+          "conflictId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+          "claimIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "minItems": 2, "uniqueItems": true },
+          "limitedReason": { "type": "string", "minLength": 1 },
+          "confirmationRequired": { "type": "boolean" }
+        }
+      }
+    },
+    "confirmationNeeds": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["needId", "claimIds", "reasonCode", "prompt"],
+        "properties": {
+          "needId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+          "claimIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "minItems": 1, "uniqueItems": true },
+          "reasonCode": { "type": "string", "minLength": 1 },
+          "prompt": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+    "limitedReasons": { "type": "array", "items": { "type": "string", "minLength": 1 }, "uniqueItems": true }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "completeness": { "const": "complete" } }, "required": ["completeness"] },
+      "then": {
+        "properties": {
+          "conflicts": { "maxItems": 0 },
+          "confirmationNeeds": { "maxItems": 0 },
+          "limitedReasons": { "maxItems": 0 }
+        }
+      }
+    },
+    {
+      "if": { "properties": { "completeness": { "enum": ["degraded", "unresolved"] } }, "required": ["completeness"] },
+      "then": { "properties": { "limitedReasons": { "minItems": 1 } } }
+    }
+  ]
+}

package/contracts/provider-adapter-observation-v1.schema.json

@@ -0,0 +1,87 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://forgerail.dev/schemas/provider-adapter-observation-v1.json",
+  "title": "ForgeRail Provider Adapter Observation v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "observationId", "adapterId", "adapterVersion", "providerId", "workspaceIdentityId", "sourceIdentityId", "scopeKind", "taskId", "subjectId", "controlRevisionId", "identity", "authorizationClaim", "capabilities", "observedAt", "sanitized"],
+  "properties": {
+    "schemaVersion": { "const": "1.0" },
+    "observationId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "adapterId": { "type": "string", "pattern": "^[a-z][a-z0-9-]+$" },
+    "adapterVersion": { "type": "string", "minLength": 1 },
+    "providerId": { "type": "string", "pattern": "^[a-z][a-z0-9-]+$" },
+    "workspaceIdentityId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "sourceIdentityId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "scopeKind": { "enum": ["workspace", "task", "subject"] },
+    "taskId": { "type": ["string", "null"], "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "subjectId": { "type": ["string", "null"], "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "controlRevisionId": { "type": ["string", "null"], "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "identity": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["state", "actorId", "evidenceIdentityIds", "limitedReason"],
+      "properties": {
+        "state": { "enum": ["authenticated", "unauthenticated", "unverified", "unavailable", "not-required"] },
+        "actorId": { "type": ["string", "null"], "minLength": 1 },
+        "evidenceIdentityIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+        "limitedReason": { "anyOf": [{ "$ref": "https://forgerail.dev/schemas/limited-reason-v1.json" }, { "type": "null" }] }
+      },
+      "allOf": [
+        {
+          "if": { "properties": { "state": { "const": "authenticated" } }, "required": ["state"] },
+          "then": { "properties": { "actorId": { "type": "string" }, "evidenceIdentityIds": { "minItems": 1 }, "limitedReason": { "const": null } } }
+        },
+        {
+          "if": { "properties": { "state": { "enum": ["unauthenticated", "unverified", "unavailable"] } }, "required": ["state"] },
+          "then": { "properties": { "actorId": { "const": null }, "limitedReason": { "$ref": "https://forgerail.dev/schemas/limited-reason-v1.json" } } }
+        },
+        {
+          "if": { "properties": { "state": { "const": "not-required" } }, "required": ["state"] },
+          "then": { "properties": { "actorId": { "const": null }, "limitedReason": { "const": null } } }
+        }
+      ]
+    },
+    "authorizationClaim": { "const": false },
+    "capabilities": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["capability", "state", "requiresIdentity", "sideEffectKinds", "approvalRequirementIds", "evidenceIdentityIds", "limitedReason"],
+        "properties": {
+          "capability": { "enum": ["source-observation", "evidence-observation", "authority-observation", "read", "write", "side-effect", "trust-observation", "freshness-observation", "revocation-observation"] },
+          "state": { "enum": ["supported", "profile-only", "degraded", "blocked", "unavailable", "unknown"] },
+          "requiresIdentity": { "type": "boolean" },
+          "sideEffectKinds": { "type": "array", "items": { "type": "string", "minLength": 1 }, "uniqueItems": true },
+          "approvalRequirementIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+          "evidenceIdentityIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+          "limitedReason": { "anyOf": [{ "$ref": "https://forgerail.dev/schemas/limited-reason-v1.json" }, { "type": "null" }] }
+        },
+        "allOf": [
+          {
+            "if": { "properties": { "state": { "const": "supported" } }, "required": ["state"] },
+            "then": { "properties": { "evidenceIdentityIds": { "minItems": 1 }, "limitedReason": { "const": null } } }
+          },
+          {
+            "if": { "properties": { "state": { "enum": ["profile-only", "degraded", "blocked", "unavailable", "unknown"] } }, "required": ["state"] },
+            "then": { "properties": { "limitedReason": { "$ref": "https://forgerail.dev/schemas/limited-reason-v1.json" } } }
+          }
+        ]
+      }
+    },
+    "observedAt": { "type": "string", "format": "date-time" },
+    "sanitized": { "const": true }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "scopeKind": { "enum": ["task", "subject"] } }, "required": ["scopeKind"] },
+      "then": { "properties": { "taskId": { "type": "string" }, "controlRevisionId": { "type": "string" } } }
+    },
+    {
+      "if": { "properties": { "scopeKind": { "const": "subject" } }, "required": ["scopeKind"] },
+      "then": { "properties": { "subjectId": { "type": "string" } } }
+    }
+  ]
+}

package/contracts/return-receipt-v2.schema.json

@@ -0,0 +1,55 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://forgerail.dev/schemas/return-receipt-v2.json",
+  "title": "ForgeRail Return Receipt v2",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "receiptId", "taskId", "workspaceIdentityId", "profileId", "profileRevisionId", "envelopeId", "envelopeRevisionId", "controlRevisionId", "subjectId", "phaseSliceCorrelation", "exercisedOperationGrantIds", "changedScope", "validationEvidenceIdentityIds", "externalSideEffects", "confirmedNonMutations", "residualRisks", "rollbackEnvelopeLineageId", "deviations", "claimStatus", "verificationGateResultId", "closeout", "claimedAt"],
+  "properties": {
+    "schemaVersion": { "const": "2.0" },
+    "receiptId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "taskId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "workspaceIdentityId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "profileId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "profileRevisionId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "envelopeId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "envelopeRevisionId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "controlRevisionId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "subjectId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "phaseSliceCorrelation": { "$ref": "https://forgerail.dev/schemas/phase-slice-correlation-v1.json" },
+    "exercisedOperationGrantIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+    "changedScope": { "type": "array", "items": { "type": "string", "minLength": 1 }, "uniqueItems": true },
+    "validationEvidenceIdentityIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+    "externalSideEffects": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["operationId", "targetLocator", "observedAt"],
+        "properties": {
+          "operationId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+          "targetLocator": { "type": "string", "minLength": 1 },
+          "observedAt": { "type": "string", "format": "date-time" }
+        }
+      }
+    },
+    "confirmedNonMutations": { "type": "array", "items": { "type": "string", "minLength": 1 }, "uniqueItems": true },
+    "residualRisks": { "type": "array", "items": { "type": "string", "minLength": 1 }, "uniqueItems": true },
+    "rollbackEnvelopeLineageId": { "type": ["string", "null"], "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "deviations": { "type": "array", "items": { "type": "string", "minLength": 1 }, "uniqueItems": true },
+    "claimStatus": { "enum": ["claimed", "verified", "rejected", "stale"] },
+    "verificationGateResultId": { "type": ["string", "null"], "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "closeout": { "enum": ["complete", "incomplete", "blocked"] },
+    "claimedAt": { "type": "string", "format": "date-time" }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "claimStatus": { "const": "verified" } }, "required": ["claimStatus"] },
+      "then": { "properties": { "verificationGateResultId": { "type": "string" } } }
+    },
+    {
+      "if": { "properties": { "closeout": { "const": "complete" } }, "required": ["closeout"] },
+      "then": { "properties": { "claimStatus": { "const": "verified" }, "verificationGateResultId": { "type": "string" }, "deviations": { "maxItems": 0 } } }
+    }
+  ]
+}

package/contracts/review-authority-requirement-v1.schema.json

@@ -0,0 +1,117 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://forgerail.dev/schemas/review-authority-requirement-v1.json",
+  "title": "ForgeRail Review Authority Requirement v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "requirementId", "workspaceIdentityId", "operation", "authorityClass", "subjectId", "scope", "authoritySourceIds", "acceptedEvidenceKinds", "quorum", "actorConstraints", "ownerCoverage", "freshness", "substitutionPolicy", "waiverPolicy", "declaredAt"],
+  "properties": {
+    "schemaVersion": { "const": "1.0" },
+    "requirementId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "workspaceIdentityId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "operation": { "type": "string", "minLength": 1 },
+    "authorityClass": { "$ref": "#/$defs/authorityClass" },
+    "subjectId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "scope": { "type": "array", "items": { "type": "string", "minLength": 1 }, "minItems": 1, "uniqueItems": true },
+    "authoritySourceIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "minItems": 1, "uniqueItems": true },
+    "acceptedEvidenceKinds": { "type": "array", "items": { "type": "string", "minLength": 1 }, "minItems": 1, "uniqueItems": true },
+    "quorum": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["minimumCount", "distinctActors"],
+      "properties": {
+        "minimumCount": { "type": "integer", "minimum": 1 },
+        "distinctActors": { "type": "boolean" }
+      }
+    },
+    "actorConstraints": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["eligibleActorSourceIds", "excludedRelations"],
+      "properties": {
+        "eligibleActorSourceIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+        "excludedRelations": { "type": "array", "items": { "enum": ["subject-author", "executor", "evidence-author"] }, "uniqueItems": true }
+      }
+    },
+    "ownerCoverage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["required", "surfaceIds"],
+      "properties": {
+        "required": { "type": "boolean" },
+        "surfaceIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true }
+      }
+    },
+    "freshness": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["maxAgeSeconds", "expiresRequired"],
+      "properties": {
+        "maxAgeSeconds": { "type": "integer", "minimum": 1 },
+        "expiresRequired": { "type": "boolean" }
+      }
+    },
+    "substitutionPolicy": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["mode", "equivalenceEdges"],
+      "properties": {
+        "mode": { "enum": ["none", "bounded-equivalence"] },
+        "equivalenceEdges": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["edgeId", "fromAuthorityClass", "toRequirementId", "sourceId", "direction", "transitive"],
+            "properties": {
+              "edgeId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+              "fromAuthorityClass": { "$ref": "#/$defs/authorityClass" },
+              "toRequirementId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+              "sourceId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+              "direction": { "const": "one-way" },
+              "transitive": { "const": false }
+            }
+          },
+          "uniqueItems": true
+        }
+      }
+    },
+    "waiverPolicy": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["allowed", "requiredAuthorityClass"],
+      "properties": {
+        "allowed": { "type": "boolean" },
+        "requiredAuthorityClass": { "anyOf": [{ "$ref": "#/$defs/authorityClass" }, { "type": "null" }] }
+      }
+    },
+    "declaredAt": { "type": "string", "format": "date-time" }
+  },
+  "$defs": {
+    "authorityClass": {
+      "enum": ["agent_review", "automated_validation", "peer_review", "ownership_approval", "security_approval", "release_approval", "environment_approval"]
+    }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "ownerCoverage": { "properties": { "required": { "const": true } }, "required": ["required"] } }, "required": ["ownerCoverage"] },
+      "then": { "properties": { "ownerCoverage": { "properties": { "surfaceIds": { "minItems": 1 } } } } }
+    },
+    {
+      "if": { "properties": { "substitutionPolicy": { "properties": { "mode": { "const": "none" } }, "required": ["mode"] } }, "required": ["substitutionPolicy"] },
+      "then": { "properties": { "substitutionPolicy": { "properties": { "equivalenceEdges": { "maxItems": 0 } } } } }
+    },
+    {
+      "if": { "properties": { "substitutionPolicy": { "properties": { "mode": { "const": "bounded-equivalence" } }, "required": ["mode"] } }, "required": ["substitutionPolicy"] },
+      "then": { "properties": { "substitutionPolicy": { "properties": { "equivalenceEdges": { "minItems": 1 } } } } }
+    },
+    {
+      "if": { "properties": { "waiverPolicy": { "properties": { "allowed": { "const": false } }, "required": ["allowed"] } }, "required": ["waiverPolicy"] },
+      "then": { "properties": { "waiverPolicy": { "properties": { "requiredAuthorityClass": { "const": null } } } } }
+    },
+    {
+      "if": { "properties": { "waiverPolicy": { "properties": { "allowed": { "const": true } }, "required": ["allowed"] } }, "required": ["waiverPolicy"] },
+      "then": { "properties": { "waiverPolicy": { "properties": { "requiredAuthorityClass": { "$ref": "#/$defs/authorityClass" } } } } }
+    }
+  ]
+}

package/contracts/rollback-envelope-lineage-v1.schema.json

@@ -0,0 +1,46 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://forgerail.dev/schemas/rollback-envelope-lineage-v1.json",
+  "title": "ForgeRail Rollback Envelope Lineage v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "lineageId", "workspaceIdentityId", "forwardEnvelope", "rollbackEnvelope", "forwardOperationGrantIds", "rollbackOperationGrantIds", "rollbackOperationIds", "state", "validationGateResultIds", "rollbackReceiptId", "declaredByEvidenceId", "reason", "createdAt"],
+  "properties": {
+    "schemaVersion": { "const": "1.0" },
+    "lineageId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "workspaceIdentityId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "forwardEnvelope": { "$ref": "#/$defs/envelopeReference" },
+    "rollbackEnvelope": { "$ref": "#/$defs/envelopeReference" },
+    "forwardOperationGrantIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+    "rollbackOperationGrantIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+    "rollbackOperationIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "minItems": 1, "uniqueItems": true },
+    "state": { "enum": ["awaiting_authorization", "authorized", "executed", "verified", "blocked"] },
+    "validationGateResultIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+    "rollbackReceiptId": { "type": ["string", "null"], "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "declaredByEvidenceId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "reason": { "type": "string", "minLength": 1 },
+    "createdAt": { "type": "string", "format": "date-time" }
+  },
+  "$defs": {
+    "envelopeReference": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["envelopeId", "revisionId", "subjectId"],
+      "properties": {
+        "envelopeId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+        "revisionId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+        "subjectId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }
+      }
+    }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "state": { "enum": ["authorized", "executed", "verified"] } }, "required": ["state"] },
+      "then": { "properties": { "rollbackOperationGrantIds": { "minItems": 1 } } }
+    },
+    {
+      "if": { "properties": { "state": { "const": "verified" } }, "required": ["state"] },
+      "then": { "properties": { "validationGateResultIds": { "minItems": 1 }, "rollbackReceiptId": { "type": "string" } } }
+    }
+  ]
+}

package/contracts/rule-claim-v1.schema.json

@@ -0,0 +1,34 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://forgerail.dev/schemas/rule-claim-v1.json",
+  "title": "ForgeRail Rule Claim v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "claimId", "workspaceIdentityId", "sourceId", "ruleKey", "normalizedValue", "precedenceClass", "applicabilityScope", "observationPoint", "status", "enforcement", "dependencyEdgeIds", "observedAt", "limitedReason"],
+  "properties": {
+    "schemaVersion": { "const": "1.0" },
+    "claimId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "workspaceIdentityId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "sourceId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "ruleKey": { "type": "string", "pattern": "^[a-z][a-z0-9.-]+$" },
+    "normalizedValue": {},
+    "precedenceClass": { "type": "string", "minLength": 1 },
+    "applicabilityScope": { "type": "array", "items": { "type": "string", "minLength": 1 }, "minItems": 1, "uniqueItems": true },
+    "observationPoint": { "type": "string", "minLength": 1 },
+    "status": { "enum": ["observed", "inferred", "confirmed", "default", "requires-confirmation"] },
+    "enforcement": { "enum": ["enforceable", "advisory", "unresolved"] },
+    "dependencyEdgeIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+    "observedAt": { "type": "string", "format": "date-time" },
+    "limitedReason": { "type": ["string", "null"], "minLength": 1 }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "status": { "enum": ["inferred", "requires-confirmation"] } }, "required": ["status"] },
+      "then": { "properties": { "enforcement": { "enum": ["advisory", "unresolved"] } } }
+    },
+    {
+      "if": { "properties": { "enforcement": { "const": "unresolved" } }, "required": ["enforcement"] },
+      "then": { "properties": { "limitedReason": { "type": "string", "minLength": 1 } } }
+    }
+  ]
+}

package/contracts/source-dependency-edge-v1.schema.json

@@ -0,0 +1,37 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://forgerail.dev/schemas/source-dependency-edge-v1.json",
+  "title": "ForgeRail Source Dependency Edge v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "edgeId", "workspaceIdentityId", "declaringSourceId", "target", "requiredness", "applicabilityScope", "provenanceStatus", "observationStatus", "affectedClaimIds", "observedAt", "limitedReason"],
+  "properties": {
+    "schemaVersion": { "const": "1.0" },
+    "edgeId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "workspaceIdentityId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "declaringSourceId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "target": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["kind", "locator", "identity"],
+      "properties": {
+        "kind": { "enum": ["skill", "pack", "command", "script", "record-entry", "source", "schema", "other"] },
+        "locator": { "type": "string", "minLength": 1 },
+        "identity": { "type": ["string", "null"], "minLength": 1 }
+      }
+    },
+    "requiredness": { "enum": ["required", "optional"] },
+    "applicabilityScope": { "type": "array", "items": { "type": "string", "minLength": 1 }, "minItems": 1, "uniqueItems": true },
+    "provenanceStatus": { "enum": ["structured", "provider-declared", "confirmed", "inferred", "requires-confirmation"] },
+    "observationStatus": { "enum": ["available", "unavailable", "ambiguous", "unverified"] },
+    "affectedClaimIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+    "observedAt": { "type": "string", "format": "date-time" },
+    "limitedReason": { "type": ["string", "null"], "minLength": 1 }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "observationStatus": { "enum": ["unavailable", "ambiguous", "unverified"] } }, "required": ["observationStatus"] },
+      "then": { "properties": { "limitedReason": { "type": "string", "minLength": 1 } } }
+    }
+  ]
+}

package/contracts/task-control-revision-v1.schema.json

@@ -0,0 +1,39 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://forgerail.dev/schemas/task-control-revision-v1.json",
+  "title": "ForgeRail Task Control Revision v1",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "revisionId", "predecessorRevisionId", "taskId", "workspaceIdentityId", "profileId", "profileRevisionId", "envelopeId", "envelopeRevisionId", "subjectId", "entryMode", "phaseSliceCorrelation", "state", "operationGrantIds", "gateResultIds", "evidenceIdentityIds", "deviationEvidenceIds", "returnReceiptId", "observedAt"],
+  "properties": {
+    "schemaVersion": { "const": "1.0" },
+    "revisionId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "predecessorRevisionId": { "type": ["string", "null"], "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "taskId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "workspaceIdentityId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "profileId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "profileRevisionId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "envelopeId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "envelopeRevisionId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "subjectId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "entryMode": { "$ref": "https://forgerail.dev/schemas/entry-mode-v1.json" },
+    "phaseSliceCorrelation": { "$ref": "https://forgerail.dev/schemas/phase-slice-correlation-v1.json" },
+    "state": { "enum": ["observed", "profile_resolved", "awaiting_authorization", "ready_for_execution", "execution_finished", "verification_pending", "deviation_requires_review", "blocked", "closed"] },
+    "operationGrantIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+    "gateResultIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+    "evidenceIdentityIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+    "deviationEvidenceIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+    "returnReceiptId": { "type": ["string", "null"], "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "observedAt": { "type": "string", "format": "date-time" }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "state": { "const": "closed" } }, "required": ["state"] },
+      "then": { "properties": { "returnReceiptId": { "type": "string" }, "deviationEvidenceIds": { "maxItems": 0 } } }
+    },
+    {
+      "if": { "properties": { "state": { "const": "deviation_requires_review" } }, "required": ["state"] },
+      "then": { "properties": { "deviationEvidenceIds": { "minItems": 1 } } }
+    }
+  ]
+}

package/contracts/task-envelope-v2.schema.json

@@ -0,0 +1,67 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://forgerail.dev/schemas/task-envelope-v2.json",
+  "title": "ForgeRail Task Envelope v2",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "envelopeId", "revisionId", "taskId", "workspaceIdentityId", "profileId", "profileRevisionId", "subject", "intent", "nonGoals", "entryMode", "phaseSliceCorrelation", "operations", "prohibitedOperations", "requiredGateIds", "returnContract", "createdAt"],
+  "properties": {
+    "schemaVersion": { "const": "2.0" },
+    "envelopeId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "revisionId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "taskId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "workspaceIdentityId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "profileId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "profileRevisionId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+    "subject": { "$ref": "#/$defs/subject" },
+    "intent": { "type": "string", "minLength": 1 },
+    "nonGoals": { "type": "array", "items": { "type": "string", "minLength": 1 }, "uniqueItems": true },
+    "entryMode": { "$ref": "https://forgerail.dev/schemas/entry-mode-v1.json" },
+    "phaseSliceCorrelation": { "$ref": "https://forgerail.dev/schemas/phase-slice-correlation-v1.json" },
+    "operations": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["operationId", "operation", "target", "scope", "authorityRequirementId"],
+        "properties": {
+          "operationId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+          "operation": { "type": "string", "minLength": 1 },
+          "target": { "$ref": "#/$defs/target" },
+          "scope": { "type": "array", "items": { "type": "string", "minLength": 1 }, "minItems": 1, "uniqueItems": true },
+          "authorityRequirementId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }
+        }
+      },
+      "uniqueItems": true
+    },
+    "prohibitedOperations": { "type": "array", "items": { "type": "string", "minLength": 1 }, "uniqueItems": true },
+    "requiredGateIds": { "type": "array", "items": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" }, "uniqueItems": true },
+    "returnContract": { "const": "return-receipt-v2" },
+    "createdAt": { "type": "string", "format": "date-time" }
+  },
+  "$defs": {
+    "subject": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["subjectId", "kind", "digest", "locator"],
+      "properties": {
+        "subjectId": { "type": "string", "pattern": "^[a-zA-Z0-9][a-zA-Z0-9._:-]+$" },
+        "kind": { "enum": ["commit", "tree", "diff", "artifact", "candidate", "workspace-state", "other"] },
+        "digest": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+        "locator": { "type": ["string", "null"] }
+      }
+    },
+    "target": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["kind", "locator", "identity", "ref", "environment"],
+      "properties": {
+        "kind": { "enum": ["file", "directory", "repository", "ref", "artifact", "environment", "profile-source", "other"] },
+        "locator": { "type": "string", "minLength": 1 },
+        "identity": { "type": ["string", "null"] },
+        "ref": { "type": ["string", "null"] },
+        "environment": { "type": ["string", "null"] }
+      }
+    }
+  }
+}