@taifoon/jev 0.1.0

package/workflows/0.1.0/schemas/delivery.json

@@ -0,0 +1,233 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://www.taifoon.io/schemas/coordination/v1/delivery.json",
+  "title": "DELIVERY — what came back, and the digest that seals it",
+  "description": "The work product: the reply held off-chain (handshake dispatch) or the digest / memo the seller submitted on chain. digest.value is the evidenceDigest submit(jobId, evidenceDigest) seals — the reply the buyer read and the digest on chain are one thing.",
+  "type": "object",
+  "properties": {
+    "schema": {
+      "const": "taifoon.delivery.v1",
+      "x-stage": "L",
+      "x-source": "this contract",
+      "description": "which canonical entity this record is; fixed per schema"
+    },
+    "job": {
+      "$ref": "common.json#/$defs/job_ref",
+      "x-stage": "S1",
+      "x-source": "the hire it answers"
+    },
+    "handshake_id": {
+      "type": [
+        "string",
+        "null"
+      ],
+      "pattern": "^hs_[0-9a-f]{24}$",
+      "x-stage": "L",
+      "x-source": "coordd dlv:<hs>"
+    },
+    "delivered": {
+      "type": "boolean",
+      "x-stage": "S1",
+      "x-source": "a reply was held (status ready + digest) or JobSubmitted / memo phase EVALUATION / hook Submitted exists"
+    },
+    "transport": {
+      "enum": [
+        "mcp.tools/call",
+        "mcp.initialize",
+        "a2a.message/send",
+        "a2a.tasks/send",
+        "x402.wall",
+        "webhook",
+        "erc8183.submit",
+        "hook.submit",
+        "memo-acp.memo",
+        "olas.subgraph",
+        "grid.probe",
+        "none"
+      ],
+      "x-stage": "L",
+      "x-source": "wire-client protocol + tool; or the on-chain submit"
+    },
+    "status": {
+      "enum": [
+        "ready",
+        "x402",
+        "silent",
+        "unreachable",
+        "submitted",
+        "none"
+      ],
+      "x-stage": "L",
+      "x-source": "wire-client WireStatus; submitted = on-chain submission; none = nothing"
+    },
+    "digest": {
+      "type": "object",
+      "properties": {
+        "value": {
+          "anyOf": [
+            {
+              "$ref": "common.json#/$defs/bytes32"
+            },
+            {
+              "type": "null"
+            }
+          ]
+        },
+        "algo": {
+          "enum": [
+            "keccak256-utf8",
+            "bytes32-onchain",
+            "none"
+          ]
+        }
+      },
+      "required": [
+        "value",
+        "algo"
+      ],
+      "additionalProperties": false,
+      "x-stage": "S1",
+      "x-source": "keccak256(reply text) (wire-client replyDigest) = hook Submitted.evidenceDigest; ERC-8183 JobSubmitted.deliverable"
+    },
+    "content": {
+      "type": "object",
+      "properties": {
+        "head": {
+          "type": [
+            "string",
+            "null"
+          ]
+        },
+        "chars": {
+          "type": [
+            "integer",
+            "null"
+          ]
+        },
+        "url": {
+          "type": [
+            "string",
+            "null"
+          ]
+        },
+        "full_available": {
+          "type": "boolean"
+        }
+      },
+      "required": [
+        "head",
+        "chars",
+        "url",
+        "full_available"
+      ],
+      "additionalProperties": false,
+      "x-stage": "L",
+      "x-source": "reply_head (≤400) · reply_chars · memo deliverable URL (acpx memo-contents) · whether the full text is held (coordd, ≤100 kB)"
+    },
+    "tool": {
+      "type": [
+        "string",
+        "null"
+      ],
+      "x-stage": "L",
+      "x-source": "MCP tool called"
+    },
+    "reason": {
+      "type": [
+        "string",
+        "null"
+      ],
+      "x-stage": "L",
+      "x-source": "wire-client reason: why nothing came back, or a reply flag (the tool reported isError)"
+    },
+    "request": {
+      "type": [
+        "object",
+        "null"
+      ],
+      "x-stage": "L",
+      "x-source": "the request as sent: tool + args (MCP) or text (A2A)"
+    },
+    "submitted_at": {
+      "anyOf": [
+        {
+          "$ref": "common.json#/$defs/unix_s"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "x-stage": "S1",
+      "x-source": "JobSubmitted block ts / delivery at"
+    },
+    "latency_ms": {
+      "type": [
+        "integer",
+        "null"
+      ],
+      "x-stage": "L",
+      "x-source": "wire round trip"
+    },
+    "attestation": {
+      "type": [
+        "object",
+        "null"
+      ],
+      "properties": {
+        "required": {
+          "type": "boolean"
+        },
+        "served": {
+          "type": "boolean"
+        },
+        "verified": {
+          "type": "boolean"
+        },
+        "source": {
+          "type": "string"
+        }
+      },
+      "required": [
+        "required",
+        "served",
+        "verified",
+        "source"
+      ],
+      "additionalProperties": false,
+      "x-stage": "S8",
+      "x-source": "the seller enclave as the registry knew it at dispatch (Delivery.attestation)"
+    },
+    "anchors": {
+      "type": "array",
+      "items": {
+        "$ref": "common.json#/$defs/anchor"
+      },
+      "x-stage": "S1",
+      "x-source": "JobSubmitted / Submitted tx; coordd dlv:<hs>"
+    },
+    "source": {
+      "$ref": "common.json#/$defs/source",
+      "x-stage": "L",
+      "x-source": "the mapper"
+    }
+  },
+  "required": [
+    "schema",
+    "job",
+    "handshake_id",
+    "delivered",
+    "transport",
+    "status",
+    "digest",
+    "content",
+    "tool",
+    "reason",
+    "request",
+    "submitted_at",
+    "latency_ms",
+    "attestation",
+    "anchors",
+    "source"
+  ],
+  "additionalProperties": false
+}

package/workflows/0.1.0/schemas/facts.json

@@ -0,0 +1,225 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://www.taifoon.io/schemas/coordination/v1/facts.json",
+  "title": "FACTS — what code establishes before anyone is asked",
+  "description": "Deterministic: delivered or not, every check that could be made, the ending the events already decide, and the labelled facts + gaps of the evidence pack. A failed check is a hard fail — reject, and Jev is never asked (judge-compose.compose). GRADEABLE.md is the rule that turns HIRE + DELIVERY + FACTS into what Jev reads.",
+  "type": "object",
+  "properties": {
+    "schema": {
+      "const": "taifoon.facts.v1",
+      "x-stage": "L",
+      "x-source": "this contract",
+      "description": "which canonical entity this record is; fixed per schema"
+    },
+    "subject": {
+      "$ref": "common.json#/$defs/job_key",
+      "x-stage": "L",
+      "x-source": "what the facts are about: the job key (hs:… for a handshake subject)"
+    },
+    "job": {
+      "$ref": "common.json#/$defs/job_ref",
+      "x-stage": "S1",
+      "x-source": "the hire"
+    },
+    "delivered": {
+      "type": "boolean",
+      "x-stage": "S4",
+      "x-source": "judge-facts factsOf.delivered: reply digest held / JobSubmitted seen / Olas delivery"
+    },
+    "checks": {
+      "type": "object",
+      "additionalProperties": {
+        "type": [
+          "boolean",
+          "null"
+        ]
+      },
+      "x-stage": "S4",
+      "x-source": "judge-facts checks{}: reply_held, funded, submitted, inclusion (proof.verify.v5 DET), delivered; null = could not be checked"
+    },
+    "checks_ok": {
+      "type": [
+        "boolean",
+        "null"
+      ],
+      "x-stage": "S4",
+      "x-source": "every check made passed; null = none could be made"
+    },
+    "det": {
+      "type": [
+        "object",
+        "null"
+      ],
+      "properties": {
+        "class": {
+          "type": "string"
+        },
+        "why": {
+          "type": "string"
+        }
+      },
+      "required": [
+        "class",
+        "why"
+      ],
+      "additionalProperties": false,
+      "x-stage": "S4",
+      "x-source": "the class DET that ran (proof.verify.v5 inclusion)"
+    },
+    "ending": {
+      "anyOf": [
+        {
+          "$ref": "common.json#/$defs/ending"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "x-stage": "S2",
+      "x-source": "observatory ending when the subject is a job"
+    },
+    "det_value": {
+      "anyOf": [
+        {
+          "$ref": "common.json#/$defs/ref_value"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "x-stage": "S4",
+      "x-source": "DET from events (jev-pad detFromEvents): completed → delivered_as_specified · rejected+submitted → delivered_with_defects · no submission → not_delivered · expired+submitted → cannot_determine"
+    },
+    "verdict_class": {
+      "anyOf": [
+        {
+          "$ref": "common.json#/$defs/verdict_class"
+        },
+        {
+          "type": "null"
+        }
+      ],
+      "x-stage": "S2",
+      "x-source": "the seller-verdict rule on this job (trails.mjs verdictOf)"
+    },
+    "reason_on_chain": {
+      "type": [
+        "string",
+        "null"
+      ],
+      "x-stage": "S1",
+      "x-source": "JobRejected reason (ascii) ?? the rejecting memo — what a party SAID on chain, quoted, never inferred"
+    },
+    "pair": {
+      "type": [
+        "object",
+        "null"
+      ],
+      "properties": {
+        "jobs": {
+          "type": "integer"
+        },
+        "endings": {
+          "type": "object",
+          "additionalProperties": {
+            "type": "integer"
+          }
+        }
+      },
+      "required": [
+        "jobs",
+        "endings"
+      ],
+      "additionalProperties": false,
+      "x-stage": "S2",
+      "x-source": "every job between this buyer and this seller (observatory pair)"
+    },
+    "price_usdc": {
+      "type": [
+        "number",
+        "null"
+      ],
+      "x-stage": "S4",
+      "x-source": "the price when it is in USDC (auto-complete cap check)"
+    },
+    "pack": {
+      "type": [
+        "object",
+        "null"
+      ],
+      "properties": {
+        "facts": {
+          "type": "array",
+          "items": {
+            "type": "array",
+            "prefixItems": [
+              {
+                "type": "string"
+              },
+              {
+                "type": "string"
+              }
+            ],
+            "minItems": 2,
+            "maxItems": 2,
+            "items": {
+              "type": "string"
+            }
+          }
+        },
+        "gaps": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "state": {
+          "type": [
+            "string",
+            "null"
+          ]
+        }
+      },
+      "required": [
+        "facts",
+        "gaps",
+        "state"
+      ],
+      "additionalProperties": false,
+      "x-stage": "S4",
+      "x-source": "job-evidence buildEvidence / delivery-evidence buildDeliveryEvidence: [label, value][], gaps[], the state text"
+    },
+    "anchors": {
+      "type": "array",
+      "items": {
+        "$ref": "common.json#/$defs/anchor"
+      },
+      "x-stage": "S4",
+      "x-source": "the events the facts were read from; the evidence route"
+    },
+    "source": {
+      "$ref": "common.json#/$defs/source",
+      "x-stage": "L",
+      "x-source": "the mapper"
+    }
+  },
+  "required": [
+    "schema",
+    "subject",
+    "job",
+    "delivered",
+    "checks",
+    "checks_ok",
+    "det",
+    "ending",
+    "det_value",
+    "verdict_class",
+    "reason_on_chain",
+    "pair",
+    "price_usdc",
+    "pack",
+    "anchors",
+    "source"
+  ],
+  "additionalProperties": false
+}