whipplescript-parser 0.5.5

Parser and static checks for WhippleScript workflow source
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
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184

{
  "schema": "whipplescript.package_manifest.v0",
  "package_id": "std.messaging",
  "name": "std.messaging",
  "version": "0.1.0",
  "libraries": [
    {
      "id": "std.messaging",
      "version": "0.1.0",
      "effect_contracts": [
        {
          "id": "messaging.send",
          "effect_kind": "capability.call",
          "source_forms": ["send"],
          "input_schema": {
            "channel": "string",
            "text": "string"
          },
          "output_schema": {
            "message_id": "string",
            "channel": "string",
            "provider": "string",
            "status": "string",
            "provider_message_id": "string",
            "thread_id": "string",
            "destination": "string",
            "accepted_at": "string"
          },
          "required_capabilities": ["messaging.send"],
          "provider_kinds": ["messaging"],
          "projected_facts": ["effect.output"],
          "validation": "runtime_boundary"
        }
      ],
      "constructs": [
        {
          "id": "messaging.send",
          "construct_family": "effect_operation",
          "keyword": "send",
          "scope": "rule_body",
          "grammar": {
            "shape": "effect_operation",
            "keyword": "send",
            "slots": [
              { "name": "channel", "kind": "identifier", "connective": "via" }
            ],
            "payload": {
              "fields": [
                { "name": "text", "kind": "expression", "required": true },
                { "name": "markdown", "kind": "expression", "required": false },
                { "name": "thread_id", "kind": "expression", "required": false }
              ]
            },
            "binding": "required",
            "target_capability": "messaging.send"
          },
          "requires": [
            {
              "kind": "Capability",
              "name": "messaging.send"
            }
          ],
          "provides": [
            {
              "kind": "EffectHandle",
              "type": "MessageSendReceipt"
            }
          ],
          "lowering_target": "capability_call",
          "target_capability": "messaging.send"
        }
      ]
    }
  ],
  "capabilities": [
    {
      "id": "messaging.send",
      "description": "Send an outbound message via a declared channel.",
      "schema": {
        "input": {
          "text": "string"
        }
      }
    }
  ],
  "providers": [
    {
      "id": "provider-messaging-fixture",
      "provider_kind": "fixture",
      "capability": "messaging.send",
      "config": {}
    },
    {
      "id": "provider-messaging-local",
      "provider_kind": "std.messaging.local",
      "capability": "messaging.send",
      "config": {}
    },
    {
      "id": "provider-messaging-desktop",
      "provider_kind": "std.messaging.desktop",
      "capability": "messaging.send",
      "config": {}
    },
    {
      "id": "provider-messaging-stdio",
      "provider_kind": "std.messaging.stdio",
      "capability": "messaging.send",
      "config": {}
    }
  ],
  "profiles": [
    {
      "id": "profile-messaging-user",
      "name": "messaging-user",
      "description": "Allow outbound messaging sends over declared channels.",
      "enforcement_mode": "enforce",
      "allowed_capabilities": ["messaging.send"],
      "config": {}
    }
  ],
  "bindings": [
    {
      "id": "binding-messaging-send-fixture",
      "program_id": null,
      "capability": "messaging.send",
      "provider": "fixture",
      "config": {
        "report": {
          "direction": "bidirectional",
          "identity": "claimed_actor",
          "interactions": ["buttons", "reactions"],
          "content": ["text", "markdown"],
          "delivery_receipts": ["accepted", "failed"]
        }
      }
    },
    {
      "id": "binding-messaging-send-local",
      "program_id": null,
      "capability": "messaging.send",
      "provider": "std.messaging.local",
      "config": {
        "report": {
          "direction": "bidirectional",
          "identity": "claimed_actor",
          "interactions": ["buttons", "reactions"],
          "content": ["text", "markdown"],
          "delivery_receipts": ["accepted", "failed"]
        }
      }
    },
    {
      "id": "binding-messaging-send-desktop",
      "program_id": null,
      "capability": "messaging.send",
      "provider": "std.messaging.desktop",
      "config": {
        "report": {
          "direction": "outbound_only",
          "identity": "anonymous",
          "interactions": [],
          "content": ["text"],
          "delivery_receipts": ["accepted", "failed"]
        }
      }
    },
    {
      "id": "binding-messaging-send-stdio",
      "program_id": null,
      "capability": "messaging.send",
      "provider": "std.messaging.stdio",
      "config": {
        "report": {
          "direction": "bidirectional",
          "identity": "claimed_actor",
          "interactions": ["buttons"],
          "content": ["text", "markdown"],
          "delivery_receipts": ["accepted", "failed"]
        }
      }
    }
  ]
}