treeship-core 0.30.0

Portable trust receipts for agent workflows - core library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://treeship.dev/schemas/workflow.v1.json",
  "title": "workflow.v1",
  "description": "A signed declaration of the path an agent workflow is allowed to take. Treeship verifies conformance over captured evidence; it does not execute or enforce the workflow.",
  "type": "object",
  "additionalProperties": false,
  "required": ["kind", "schema_version", "workflow_id", "authority", "entry_node", "terminal_nodes", "nodes", "edges"],
  "properties": {
    "kind": { "const": "workflow.v1" },
    "schema_version": { "const": "1" },
    "workflow_id": { "type": "string", "minLength": 1 },
    "authority": { "type": "string", "minLength": 1 },
    "entry_node": { "type": "string", "minLength": 1 },
    "terminal_nodes": {
      "type": "array",
      "minItems": 1,
      "items": { "type": "string", "minLength": 1 },
      "uniqueItems": true
    },
    "nodes": {
      "type": "array",
      "minItems": 1,
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": ["id", "executor", "allowed_tools"],
        "properties": {
          "id": { "type": "string", "minLength": 1 },
          "executor": {
            "type": "object",
            "additionalProperties": false,
            "properties": {
              "actor": { "type": "string", "minLength": 1 },
              "capability": { "type": "string", "minLength": 1 }
            },
            "oneOf": [
              { "required": ["actor"], "not": { "required": ["capability"] } },
              { "required": ["capability"], "not": { "required": ["actor"] } }
            ]
          },
          "allowed_tools": {
            "type": "array",
            "items": { "type": "string", "minLength": 1 },
            "uniqueItems": true
          }
        }
      }
    },
    "edges": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": ["from", "to", "when"],
        "properties": {
          "from": { "type": "string", "minLength": 1 },
          "to": { "type": "string", "minLength": 1 },
          "when": { "enum": ["always", "on_pass", "on_fail", "on_refused"] }
        }
      }
    },
    "loops": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": ["id", "back_edge", "max_iterations"],
        "properties": {
          "id": { "type": "string", "minLength": 1 },
          "back_edge": {
            "type": "object",
            "additionalProperties": false,
            "required": ["from", "to"],
            "properties": {
              "from": { "type": "string", "minLength": 1 },
              "to": { "type": "string", "minLength": 1 }
            }
          },
          "max_iterations": { "type": "integer", "minimum": 1 },
          "budget": {
            "type": "object",
            "additionalProperties": false,
            "properties": {
              "max_actions": { "type": "integer", "minimum": 1 }
            }
          }
        }
      }
    }
  }
}