@kungfu-tech/buildchain 3.0.9-alpha.9 → 4.0.0-alpha.0

package/contracts/v4-canonical-contracts-v1.schema.json

@@ -0,0 +1,182 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://buildchain.libkungfu.dev/schema/v4-canonical-contracts-v1.schema.json",
+  "title": "Buildchain v4 canonical contract suite",
+  "description": "Closed provider-free contracts for canonical JSON, content roots, explicit clocks, events, receipts, and typed faults.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schemaVersion",
+    "canonicalization",
+    "root",
+    "clock",
+    "event",
+    "receipt",
+    "fault"
+  ],
+  "properties": {
+    "schemaVersion": { "const": 1 },
+    "canonicalization": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "keyPattern",
+        "minimumInteger",
+        "maximumInteger",
+        "terminator"
+      ],
+      "properties": {
+        "id": { "const": "buildchain-canonical-json/v1" },
+        "keyPattern": { "const": "^[ -~]+$" },
+        "minimumInteger": { "const": -9007199254740991 },
+        "maximumInteger": { "const": 9007199254740991 },
+        "terminator": { "const": "LF" }
+      }
+    },
+    "root": { "$ref": "#/$defs/root" },
+    "clock": { "$ref": "#/$defs/clock" },
+    "event": { "$ref": "#/$defs/event" },
+    "receipt": { "$ref": "#/$defs/receipt" },
+    "fault": { "$ref": "#/$defs/fault" }
+  },
+  "$defs": {
+    "root": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["algorithm", "encoding", "domainSeparator", "domains"],
+      "properties": {
+        "algorithm": { "const": "sha256" },
+        "encoding": { "const": "sha256:<lowercase-hex>" },
+        "domainSeparator": { "const": "domain + NUL + canonical-bytes" },
+        "domains": {
+          "const": [
+            "queue-state",
+            "candidate-identity",
+            "fencing-token",
+            "transition-receipt",
+            "observation",
+            "semantic-diff",
+            "bootstrap-evidence",
+            "stage-capsule-identity",
+            "stage-capsule",
+            "stage-capsule-availability",
+            "stage-capsule-output-manifest",
+            "stage-capsule-retention-promise",
+            "stage-capsule-retention-state",
+            "stage-capsule-transport",
+            "stage-capsule-store-receipt",
+            "stage-capsule-quarantine",
+            "stage-capsule-resume-observation",
+            "stage-capsule-resume-plan",
+            "stage-capsule-artifact-manifest",
+            "stage-capsule-artifact-content",
+            "stage-capsule-fault-campaign",
+            "stage-capsule-seed-evidence",
+            "stage-capsule-resume-evidence",
+            "stage-capsule-platform-qualification",
+            "stage-capsule-qualification",
+            "stage-capsule-wave-reconciliation",
+            "provider-operation-identity",
+            "provider-operation-intent",
+            "provider-operation-attempt",
+            "provider-operation-observation",
+            "provider-operation-confirmation",
+            "provider-operation-reconciliation",
+            "provider-operation-journal",
+            "provider-operation-journal-state"
+          ]
+        }
+      }
+    },
+    "clock": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["mode", "format", "pattern"],
+      "properties": {
+        "mode": { "const": "explicit-input-only" },
+        "format": { "const": "RFC3339 UTC with millisecond precision" },
+        "pattern": {
+          "const": "^(?!0000)\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}\\.\\d{3}Z$"
+        }
+      }
+    },
+    "sha256Root": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    },
+    "asciiToken": {
+      "type": "string",
+      "pattern": "^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$"
+    },
+    "event": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "schema",
+        "eventId",
+        "eventType",
+        "occurredAt",
+        "subjectRoot",
+        "payload"
+      ],
+      "properties": {
+        "schema": { "const": "buildchain-v4-event-envelope/v1" },
+        "eventId": { "$ref": "#/$defs/sha256Root" },
+        "eventType": { "$ref": "#/$defs/asciiToken" },
+        "occurredAt": {
+          "type": "string",
+          "pattern": "^(?!0000)\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}\\.\\d{3}Z$"
+        },
+        "subjectRoot": { "$ref": "#/$defs/sha256Root" },
+        "payload": true
+      }
+    },
+    "fault": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schema", "code", "class", "path", "message", "retry"],
+      "properties": {
+        "schema": { "const": "buildchain-v4-contract-fault/v1" },
+        "code": { "$ref": "#/$defs/asciiToken" },
+        "class": {
+          "enum": ["validation", "concurrency", "authority", "idempotence"]
+        },
+        "path": { "type": "string", "pattern": "^\\$" },
+        "message": { "type": "string", "minLength": 1 },
+        "retry": { "enum": ["stop", "reread", "redecide", "reselect"] }
+      }
+    },
+    "receipt": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "schema",
+        "receiptType",
+        "recordedAt",
+        "eventRoot",
+        "priorStateRoot",
+        "nextStateRoot",
+        "outcome",
+        "fault"
+      ],
+      "properties": {
+        "schema": { "const": "buildchain-v4-receipt-envelope/v1" },
+        "receiptType": { "$ref": "#/$defs/asciiToken" },
+        "recordedAt": {
+          "type": "string",
+          "pattern": "^(?!0000)\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}\\.\\d{3}Z$"
+        },
+        "eventRoot": { "$ref": "#/$defs/sha256Root" },
+        "priorStateRoot": {
+          "oneOf": [{ "$ref": "#/$defs/sha256Root" }, { "type": "null" }]
+        },
+        "nextStateRoot": {
+          "oneOf": [{ "$ref": "#/$defs/sha256Root" }, { "type": "null" }]
+        },
+        "outcome": { "enum": ["accepted", "rejected", "noop"] },
+        "fault": { "oneOf": [{ "$ref": "#/$defs/fault" }, { "type": "null" }] }
+      }
+    }
+  }
+}

package/contracts/v4-delivery-warrant-semantic-diff-report-v1.schema.json

@@ -0,0 +1,284 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://buildchain.libkungfu.dev/schema/v4-delivery-warrant-semantic-diff-report-v1.schema.json",
+  "title": "Buildchain v4 Delivery Warrant semantic diff report",
+  "description": "Source-bound fail-closed qualification evidence for paired TypeScript and effect-disabled Rust projections.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema",
+    "authority",
+    "rustAuthority",
+    "rustEffects",
+    "recordedAt",
+    "retainUntil",
+    "sources",
+    "contracts",
+    "coverage",
+    "cases",
+    "faultInjection",
+    "stopPolicy",
+    "retention",
+    "blockers",
+    "verdict",
+    "reportRoot"
+  ],
+  "properties": {
+    "schema": {
+      "const": "buildchain-v4-delivery-warrant-semantic-diff-report/v1"
+    },
+    "authority": { "const": "typescript-v3" },
+    "rustAuthority": { "const": "none" },
+    "rustEffects": { "const": "disabled" },
+    "recordedAt": { "$ref": "#/$defs/clock" },
+    "retainUntil": { "$ref": "#/$defs/clock" },
+    "sources": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["typescriptRevision", "rustRevision", "validatorVersion"],
+      "properties": {
+        "typescriptRevision": { "$ref": "#/$defs/revision" },
+        "rustRevision": { "$ref": "#/$defs/revision" },
+        "validatorVersion": { "$ref": "#/$defs/token" }
+      }
+    },
+    "contracts": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "trace",
+        "projection",
+        "observation",
+        "runner",
+        "traceSchemaRoot",
+        "reportSchemaRoot",
+        "runnerRoot"
+      ],
+      "properties": {
+        "trace": {
+          "const": "buildchain-v4-delivery-warrant-trace-fixture/v1"
+        },
+        "projection": {
+          "const": "buildchain-v4-delivery-warrant-semantic-projection/v1"
+        },
+        "observation": {
+          "const": "buildchain-v4-delivery-warrant-shadow-observation/v1"
+        },
+        "runner": {
+          "const": "buildchain-v4-delivery-warrant-fixture-runner/v1"
+        },
+        "traceSchemaRoot": { "$ref": "#/$defs/root" },
+        "reportSchemaRoot": { "$ref": "#/$defs/root" },
+        "runnerRoot": { "$ref": "#/$defs/root" }
+      }
+    },
+    "coverage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["required", "observed", "missing"],
+      "properties": {
+        "required": { "$ref": "#/$defs/tokens" },
+        "observed": { "$ref": "#/$defs/tokens" },
+        "missing": { "$ref": "#/$defs/tokens" }
+      }
+    },
+    "cases": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 64,
+      "items": { "$ref": "#/$defs/case" }
+    },
+    "faultInjection": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["bounded", "maximumProbes", "receipts"],
+      "properties": {
+        "bounded": { "const": true },
+        "maximumProbes": { "const": 32 },
+        "receipts": {
+          "type": "array",
+          "minItems": 1,
+          "maxItems": 32,
+          "items": { "$ref": "#/$defs/faultReceipt" }
+        }
+      }
+    },
+    "stopPolicy": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["retryBudget", "conditions"],
+      "properties": {
+        "retryBudget": { "const": 0 },
+        "conditions": { "$ref": "#/$defs/tokens" }
+      }
+    },
+    "retention": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["status", "evidenceRoot", "receiptRoot"],
+      "properties": {
+        "status": { "enum": ["retained", "failed"] },
+        "evidenceRoot": { "$ref": "#/$defs/root" },
+        "receiptRoot": {
+          "oneOf": [{ "$ref": "#/$defs/root" }, { "type": "null" }]
+        }
+      }
+    },
+    "blockers": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/blocker" }
+    },
+    "verdict": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "status",
+        "zeroUnexplainedDifferences",
+        "nextEligibleStage",
+        "v4WriteAuthorized"
+      ],
+      "properties": {
+        "status": { "enum": ["qualified", "blocked"] },
+        "zeroUnexplainedDifferences": { "type": "boolean" },
+        "nextEligibleStage": {
+          "oneOf": [
+            { "const": "legacy-authoritative-v4-read" },
+            { "type": "null" }
+          ]
+        },
+        "v4WriteAuthorized": { "const": false }
+      }
+    },
+    "reportRoot": { "$ref": "#/$defs/root" }
+  },
+  "$defs": {
+    "root": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    },
+    "revision": {
+      "type": "string",
+      "pattern": "^[0-9a-f]{40,64}$"
+    },
+    "token": {
+      "type": "string",
+      "pattern": "^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$"
+    },
+    "tokens": {
+      "type": "array",
+      "uniqueItems": true,
+      "items": { "$ref": "#/$defs/token" }
+    },
+    "clock": {
+      "type": "string",
+      "pattern": "^(?!0000)\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}\\.\\d{3}Z$"
+    },
+    "blocker": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["code", "retry"],
+      "properties": {
+        "code": { "$ref": "#/$defs/token" },
+        "retry": { "const": "stop" }
+      }
+    },
+    "difference": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "path",
+        "kind",
+        "legacyRoot",
+        "rustRoot",
+        "differenceRoot",
+        "classification"
+      ],
+      "properties": {
+        "path": { "type": "string", "pattern": "^\\$" },
+        "kind": {
+          "enum": ["missing-legacy", "missing-rust", "value-mismatch"]
+        },
+        "legacyRoot": {
+          "oneOf": [{ "$ref": "#/$defs/root" }, { "type": "null" }]
+        },
+        "rustRoot": {
+          "oneOf": [{ "$ref": "#/$defs/root" }, { "type": "null" }]
+        },
+        "differenceRoot": { "$ref": "#/$defs/root" },
+        "classification": {
+          "enum": ["unexplained", "reviewed-exclusion"]
+        },
+        "dispositionRoot": { "$ref": "#/$defs/root" },
+        "reasonCode": { "$ref": "#/$defs/token" },
+        "reviewRoot": { "$ref": "#/$defs/root" }
+      }
+    },
+    "case": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "coverage",
+        "inputRoot",
+        "observationRoot",
+        "legacyProjectionRoot",
+        "rustProjectionRoot",
+        "differences",
+        "differenceRoot",
+        "blockers",
+        "evidenceRoot",
+        "status"
+      ],
+      "properties": {
+        "id": { "$ref": "#/$defs/token" },
+        "coverage": { "$ref": "#/$defs/tokens" },
+        "inputRoot": { "$ref": "#/$defs/root" },
+        "observationRoot": {
+          "oneOf": [{ "$ref": "#/$defs/root" }, { "type": "null" }]
+        },
+        "legacyProjectionRoot": {
+          "oneOf": [{ "$ref": "#/$defs/root" }, { "type": "null" }]
+        },
+        "rustProjectionRoot": {
+          "oneOf": [{ "$ref": "#/$defs/root" }, { "type": "null" }]
+        },
+        "differences": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/difference" }
+        },
+        "differenceRoot": { "$ref": "#/$defs/root" },
+        "blockers": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/blocker" }
+        },
+        "evidenceRoot": { "$ref": "#/$defs/root" },
+        "status": { "enum": ["zero-unexplained-diff", "blocked"] }
+      }
+    },
+    "faultReceipt": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id",
+        "caseId",
+        "operation",
+        "path",
+        "detected",
+        "differenceRoots",
+        "receiptRoot"
+      ],
+      "properties": {
+        "id": { "$ref": "#/$defs/token" },
+        "caseId": { "$ref": "#/$defs/token" },
+        "operation": { "enum": ["remove", "replace"] },
+        "path": { "type": "string", "pattern": "^\\$" },
+        "detected": { "type": "boolean" },
+        "differenceRoots": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/root" }
+        },
+        "receiptRoot": { "$ref": "#/$defs/root" }
+      }
+    }
+  }
+}

package/contracts/v4-delivery-warrant-trace-v1.schema.json

@@ -0,0 +1,215 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://buildchain.libkungfu.dev/schema/v4-delivery-warrant-trace-v1.schema.json",
+  "title": "Buildchain v4 Delivery Warrant retained trace fixture",
+  "description": "Closed provider-free input for the shared JavaScript and Rust semantic projection runner.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schemaVersion",
+    "contract",
+    "runner",
+    "trace",
+    "expectedProjectionRoot"
+  ],
+  "properties": {
+    "schemaVersion": { "const": 1 },
+    "contract": {
+      "const": "buildchain-v4-delivery-warrant-trace-fixture/v1"
+    },
+    "runner": {
+      "const": "buildchain-v4-delivery-warrant-fixture-runner/v1"
+    },
+    "trace": { "$ref": "#/$defs/trace" },
+    "expectedProjectionRoot": { "$ref": "#/$defs/root" }
+  },
+  "$defs": {
+    "root": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    },
+    "token": {
+      "type": "string",
+      "pattern": "^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$"
+    },
+    "clock": {
+      "type": "string",
+      "pattern": "^(?!0000)\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}\\.\\d{3}Z$"
+    },
+    "fault": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schema", "code", "class", "path", "message", "retry"],
+      "properties": {
+        "schema": { "const": "buildchain-v4-contract-fault/v1" },
+        "code": { "$ref": "#/$defs/token" },
+        "class": {
+          "enum": ["validation", "concurrency", "authority", "idempotence"]
+        },
+        "path": { "type": "string", "pattern": "^\\$" },
+        "message": { "type": "string", "minLength": 1 },
+        "retry": { "enum": ["stop", "reread", "redecide", "reselect"] }
+      }
+    },
+    "event": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "schema",
+        "eventId",
+        "eventType",
+        "occurredAt",
+        "subjectRoot",
+        "payload"
+      ],
+      "properties": {
+        "schema": { "const": "buildchain-v4-event-envelope/v1" },
+        "eventId": { "$ref": "#/$defs/root" },
+        "eventType": { "$ref": "#/$defs/token" },
+        "occurredAt": { "$ref": "#/$defs/clock" },
+        "subjectRoot": { "$ref": "#/$defs/root" },
+        "payload": true
+      }
+    },
+    "receipt": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "schema",
+        "receiptType",
+        "recordedAt",
+        "eventRoot",
+        "priorStateRoot",
+        "nextStateRoot",
+        "outcome",
+        "fault"
+      ],
+      "properties": {
+        "schema": { "const": "buildchain-v4-receipt-envelope/v1" },
+        "receiptType": { "$ref": "#/$defs/token" },
+        "recordedAt": { "$ref": "#/$defs/clock" },
+        "eventRoot": { "$ref": "#/$defs/root" },
+        "priorStateRoot": { "$ref": "#/$defs/root" },
+        "nextStateRoot": { "$ref": "#/$defs/root" },
+        "outcome": { "enum": ["accepted", "rejected", "noop"] },
+        "fault": {
+          "oneOf": [{ "$ref": "#/$defs/fault" }, { "type": "null" }]
+        }
+      }
+    },
+    "decision": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["action", "fault"],
+      "oneOf": [
+        {
+          "properties": {
+            "action": { "$ref": "#/$defs/token" },
+            "fault": { "type": "null" }
+          }
+        },
+        {
+          "properties": {
+            "action": { "type": "null" },
+            "fault": { "$ref": "#/$defs/fault" }
+          }
+        }
+      ]
+    },
+    "orderedEntry": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["sequence", "type", "payload"],
+      "properties": {
+        "sequence": { "type": "integer", "minimum": 0 },
+        "type": { "$ref": "#/$defs/token" },
+        "payload": true
+      }
+    },
+    "state": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "schema",
+        "generation",
+        "fencingCounter",
+        "activeWarrant",
+        "candidates"
+      ],
+      "properties": {
+        "schema": { "const": "buildchain-v4-delivery-warrant-state/v1" },
+        "generation": {
+          "type": "integer",
+          "minimum": 0,
+          "maximum": 9007199254740991
+        },
+        "fencingCounter": {
+          "type": "integer",
+          "minimum": 0,
+          "maximum": 9007199254740991
+        },
+        "activeWarrant": {
+          "oneOf": [{ "type": "object" }, { "type": "null" }]
+        },
+        "candidates": {
+          "type": "array",
+          "items": { "type": "object" }
+        }
+      }
+    },
+    "step": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "sequence",
+        "id",
+        "operation",
+        "event",
+        "decision",
+        "priorStateRoot",
+        "successorState",
+        "successorRoot",
+        "effects",
+        "observations",
+        "receipt",
+        "receiptRoot"
+      ],
+      "properties": {
+        "sequence": { "type": "integer", "minimum": 0 },
+        "id": { "$ref": "#/$defs/token" },
+        "operation": { "$ref": "#/$defs/token" },
+        "event": { "$ref": "#/$defs/event" },
+        "decision": { "$ref": "#/$defs/decision" },
+        "priorStateRoot": { "$ref": "#/$defs/root" },
+        "successorState": { "$ref": "#/$defs/state" },
+        "successorRoot": { "$ref": "#/$defs/root" },
+        "effects": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/orderedEntry" }
+        },
+        "observations": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/orderedEntry" }
+        },
+        "receipt": { "$ref": "#/$defs/receipt" },
+        "receiptRoot": { "$ref": "#/$defs/root" }
+      }
+    },
+    "trace": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "initialState", "initialStateRoot", "steps"],
+      "properties": {
+        "id": { "$ref": "#/$defs/token" },
+        "kind": { "enum": ["golden", "property", "replay"] },
+        "initialState": { "$ref": "#/$defs/state" },
+        "initialStateRoot": { "$ref": "#/$defs/root" },
+        "steps": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "$ref": "#/$defs/step" }
+        }
+      }
+    }
+  }
+}