@agenticprimitives/ontology 1.0.0-alpha.26 → 1.0.0-alpha.27

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (80) hide show
  1. package/cbox/judgment-shapes.shacl.ttl +83 -0
  2. package/cbox/run-measures-shapes.shacl.ttl +59 -0
  3. package/cbox/run-provenance-shapes.shacl.ttl +92 -0
  4. package/dist/artifacts.d.ts +6 -2
  5. package/dist/artifacts.d.ts.map +1 -1
  6. package/dist/artifacts.js +17 -0
  7. package/dist/artifacts.js.map +1 -1
  8. package/dist/evaluation-context.d.ts +134 -0
  9. package/dist/evaluation-context.d.ts.map +1 -0
  10. package/dist/evaluation-context.js +136 -0
  11. package/dist/evaluation-context.js.map +1 -0
  12. package/dist/governance.d.ts +84 -0
  13. package/dist/governance.d.ts.map +1 -0
  14. package/dist/governance.js +88 -0
  15. package/dist/governance.js.map +1 -0
  16. package/dist/index.d.ts +9 -0
  17. package/dist/index.d.ts.map +1 -1
  18. package/dist/index.js +14 -0
  19. package/dist/index.js.map +1 -1
  20. package/dist/outcomes.d.ts +47 -0
  21. package/dist/outcomes.d.ts.map +1 -0
  22. package/dist/outcomes.js +40 -0
  23. package/dist/outcomes.js.map +1 -0
  24. package/dist/party-roles.d.ts +5 -4
  25. package/dist/party-roles.d.ts.map +1 -1
  26. package/dist/party-roles.js +23 -5
  27. package/dist/party-roles.js.map +1 -1
  28. package/dist/payload-classes.d.ts +22 -0
  29. package/dist/payload-classes.d.ts.map +1 -0
  30. package/dist/payload-classes.js +30 -0
  31. package/dist/payload-classes.js.map +1 -0
  32. package/dist/principles.generated.d.ts +11 -0
  33. package/dist/principles.generated.d.ts.map +1 -0
  34. package/dist/principles.generated.js +293 -0
  35. package/dist/principles.generated.js.map +1 -0
  36. package/dist/published-works.d.ts +13 -0
  37. package/dist/published-works.d.ts.map +1 -0
  38. package/dist/published-works.js +18 -0
  39. package/dist/published-works.js.map +1 -0
  40. package/dist/run-measures-context.d.ts +74 -0
  41. package/dist/run-measures-context.d.ts.map +1 -0
  42. package/dist/run-measures-context.js +77 -0
  43. package/dist/run-measures-context.js.map +1 -0
  44. package/dist/run-provenance-context.d.ts +104 -0
  45. package/dist/run-provenance-context.d.ts.map +1 -1
  46. package/dist/run-provenance-context.js +105 -1
  47. package/dist/run-provenance-context.js.map +1 -1
  48. package/dist/transitions.d.ts +42 -0
  49. package/dist/transitions.d.ts.map +1 -0
  50. package/dist/transitions.js +100 -0
  51. package/dist/transitions.js.map +1 -0
  52. package/dist/vault-records.d.ts.map +1 -1
  53. package/dist/vault-records.js +127 -0
  54. package/dist/vault-records.js.map +1 -1
  55. package/dist/versions.generated.d.ts +247 -0
  56. package/dist/versions.generated.d.ts.map +1 -0
  57. package/dist/versions.generated.js +300 -0
  58. package/dist/versions.generated.js.map +1 -0
  59. package/evaluation.jsonld +133 -0
  60. package/package.json +7 -3
  61. package/run-measures.jsonld +34 -0
  62. package/run-provenance.jsonld +247 -39
  63. package/tbox/content.ttl +23 -0
  64. package/tbox/context.ttl +11 -7
  65. package/tbox/core.ttl +17 -1
  66. package/tbox/dcat-imports.ttl +19 -0
  67. package/tbox/dqv-imports.ttl +29 -0
  68. package/tbox/earl-imports.ttl +31 -0
  69. package/tbox/evaluation.ttl +234 -0
  70. package/tbox/execution.ttl +293 -1
  71. package/tbox/governance.ttl +67 -0
  72. package/tbox/identity.ttl +5 -0
  73. package/tbox/intents.ttl +39 -0
  74. package/tbox/payload.ttl +94 -0
  75. package/tbox/principles.ttl +212 -0
  76. package/tbox/prov-imports.ttl +4 -1
  77. package/tbox/skos-imports.ttl +54 -0
  78. package/tbox/transition.ttl +63 -0
  79. package/tbox/verification-receipt.ttl +7 -0
  80. package/versions.adoption.json +113 -0
@@ -0,0 +1,77 @@
1
+ // THE RUN-MEASURES CONTEXT, AS A CONSTANT — spec 414 A2. The published artifact is `run-measures.jsonld` at the
2
+ // package root; this is the same object for a Worker (no filesystem). The ontology suite asserts the two are equal and
3
+ // that every term maps to a declared T-box IRI (`tbox/evaluation.ttl`, `dqv-imports.ttl`, `prov-imports.ttl`).
4
+ export const RUN_MEASURES_CONTEXT = {
5
+ "@context": {
6
+ "@version": 1.1,
7
+ "@base": "urn:ap:prov:",
8
+ "prov": "http://www.w3.org/ns/prov#",
9
+ "dqv": "http://www.w3.org/ns/dqv#",
10
+ "apeval": "https://agenticprimitives.dev/ns/evaluation#",
11
+ "xsd": "http://www.w3.org/2001/XMLSchema#",
12
+ "id": "@id",
13
+ "type": "@type",
14
+ "graph": "@graph",
15
+ "used": {
16
+ "@id": "prov:used",
17
+ "@type": "@id",
18
+ "@container": "@set"
19
+ },
20
+ "generated": {
21
+ "@id": "prov:generated",
22
+ "@type": "@id",
23
+ "@container": "@set"
24
+ },
25
+ "wasAssociatedWith": {
26
+ "@id": "prov:wasAssociatedWith",
27
+ "@type": "@id"
28
+ },
29
+ "wasAttributedTo": {
30
+ "@id": "prov:wasAttributedTo",
31
+ "@type": "@id"
32
+ },
33
+ "wasDerivedFrom": {
34
+ "@id": "prov:wasDerivedFrom",
35
+ "@type": "@id"
36
+ },
37
+ "wasGeneratedBy": {
38
+ "@id": "prov:wasGeneratedBy",
39
+ "@type": "@id"
40
+ },
41
+ "startedAtTime": {
42
+ "@id": "prov:startedAtTime",
43
+ "@type": "xsd:dateTime"
44
+ },
45
+ "endedAtTime": {
46
+ "@id": "prov:endedAtTime",
47
+ "@type": "xsd:dateTime"
48
+ },
49
+ "computedOn": {
50
+ "@id": "dqv:computedOn",
51
+ "@type": "@id"
52
+ },
53
+ "isMeasurementOf": {
54
+ "@id": "dqv:isMeasurementOf",
55
+ "@type": "@id"
56
+ },
57
+ "value": {
58
+ "@id": "dqv:value",
59
+ "@type": "xsd:decimal"
60
+ },
61
+ "unit": "apeval:unit",
62
+ "hasMeasurement": {
63
+ "@id": "apeval:hasMeasurement",
64
+ "@type": "@id",
65
+ "@container": "@set"
66
+ },
67
+ "Entity": "prov:Entity",
68
+ "Activity": "prov:Activity",
69
+ "Bundle": "prov:Bundle",
70
+ "QualityMeasurement": "dqv:QualityMeasurement",
71
+ "QualityMeasurementDataset": "dqv:QualityMeasurementDataset",
72
+ "RunMeasures": "apeval:RunMeasures",
73
+ "RunMeasurement": "apeval:RunMeasurement",
74
+ "Measuring": "apeval:Measuring"
75
+ }
76
+ };
77
+ //# sourceMappingURL=run-measures-context.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"run-measures-context.js","sourceRoot":"","sources":["../src/run-measures-context.ts"],"names":[],"mappings":"AAAA,gHAAgH;AAChH,uHAAuH;AACvH,+GAA+G;AAC/G,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,UAAU,EAAE;QACV,UAAU,EAAE,GAAG;QACf,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,4BAA4B;QACpC,KAAK,EAAE,2BAA2B;QAClC,QAAQ,EAAE,8CAA8C;QACxD,KAAK,EAAE,mCAAmC;QAC1C,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,OAAO;QACf,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE;YACN,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,WAAW,EAAE;YACX,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,mBAAmB,EAAE;YACnB,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,KAAK;SACf;QACD,iBAAiB,EAAE;YACjB,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,KAAK;SACf;QACD,gBAAgB,EAAE;YAChB,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,gBAAgB,EAAE;YAChB,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,eAAe,EAAE;YACf,KAAK,EAAE,oBAAoB;YAC3B,OAAO,EAAE,cAAc;SACxB;QACD,aAAa,EAAE;YACb,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE,cAAc;SACxB;QACD,YAAY,EAAE;YACZ,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,KAAK;SACf;QACD,iBAAiB,EAAE;YACjB,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,OAAO,EAAE;YACP,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,aAAa;SACvB;QACD,MAAM,EAAE,aAAa;QACrB,gBAAgB,EAAE;YAChB,KAAK,EAAE,uBAAuB;YAC9B,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,QAAQ,EAAE,aAAa;QACvB,UAAU,EAAE,eAAe;QAC3B,QAAQ,EAAE,aAAa;QACvB,oBAAoB,EAAE,wBAAwB;QAC9C,2BAA2B,EAAE,+BAA+B;QAC5D,aAAa,EAAE,oBAAoB;QACnC,gBAAgB,EAAE,uBAAuB;QACzC,WAAW,EAAE,kBAAkB;KAChC;CACO,CAAC"}
@@ -146,8 +146,18 @@ export declare const RUN_PROVENANCE_CONTEXT: {
146
146
  readonly "@type": "@id";
147
147
  };
148
148
  readonly errorClass: "apexec:errorClass";
149
+ readonly observedOutcome: {
150
+ readonly "@id": "apexec:observedOutcome";
151
+ readonly "@type": "@vocab";
152
+ };
153
+ readonly providerRef: "apexec:providerRef";
154
+ readonly observedAt: {
155
+ readonly "@id": "apexec:observedAt";
156
+ readonly "@type": "xsd:dateTime";
157
+ };
149
158
  readonly traceId: "apexec:traceId";
150
159
  readonly spanId: "apexec:spanId";
160
+ readonly estate: "apexec:estate";
151
161
  readonly effectProduces: "apexec:effectProduces";
152
162
  readonly effectSucceeded: {
153
163
  readonly "@id": "apexec:effectSucceeded";
@@ -172,6 +182,91 @@ export declare const RUN_PROVENANCE_CONTEXT: {
172
182
  readonly "@id": "apactor:rootPrincipal";
173
183
  readonly "@type": "@id";
174
184
  };
185
+ readonly arrivedBy: {
186
+ readonly "@id": "apexec:arrivedBy";
187
+ readonly "@type": "@id";
188
+ };
189
+ readonly doorKind: "apexec:doorKind";
190
+ readonly a2aMessageId: "apexec:a2aMessageId";
191
+ readonly a2aContextId: "apexec:a2aContextId";
192
+ readonly a2aTaskId: "apexec:a2aTaskId";
193
+ readonly hasModelInvocation: {
194
+ readonly "@id": "apexec:hasModelInvocation";
195
+ readonly "@type": "@id";
196
+ readonly "@container": "@set";
197
+ };
198
+ readonly invocationRole: "apexec:invocationRole";
199
+ readonly modelId: "apexec:modelId";
200
+ readonly modelProvider: "apexec:modelProvider";
201
+ readonly promptTemplateDigest: "apexec:promptTemplateDigest";
202
+ readonly tokensIn: {
203
+ readonly "@id": "apexec:tokensIn";
204
+ readonly "@type": "xsd:integer";
205
+ };
206
+ readonly tokensOut: {
207
+ readonly "@id": "apexec:tokensOut";
208
+ readonly "@type": "xsd:integer";
209
+ };
210
+ readonly routeReason: "apexec:routeReason";
211
+ readonly underVariant: {
212
+ readonly "@id": "apexec:underVariant";
213
+ readonly "@type": "@id";
214
+ };
215
+ readonly variantDigest: "apexec:variantDigest";
216
+ readonly plannerKind: "apexec:plannerKind";
217
+ readonly routePolicy: "apexec:routePolicy";
218
+ readonly harnessBuild: "apexec:harnessBuild";
219
+ readonly capabilityToggle: {
220
+ readonly "@id": "apexec:capabilityToggle";
221
+ readonly "@container": "@set";
222
+ };
223
+ readonly fromStartingState: {
224
+ readonly "@id": "apexec:fromStartingState";
225
+ readonly "@type": "@id";
226
+ };
227
+ readonly startingStateDigest: "apexec:startingStateDigest";
228
+ readonly governedBySkill: {
229
+ readonly "@id": "apexec:governedBySkill";
230
+ readonly "@type": "@id";
231
+ };
232
+ readonly hasEngagement: {
233
+ readonly "@id": "apexec:hasEngagement";
234
+ readonly "@type": "@id";
235
+ readonly "@container": "@set";
236
+ };
237
+ readonly ofCapability: {
238
+ readonly "@id": "apexec:ofCapability";
239
+ readonly "@type": "@id";
240
+ };
241
+ readonly engagementEffect: {
242
+ readonly "@id": "apexec:engagementEffect";
243
+ readonly "@type": "@id";
244
+ };
245
+ readonly capabilityVersion: "apexec:capabilityVersion";
246
+ readonly offeredCandidate: {
247
+ readonly "@id": "apexec:offeredCandidate";
248
+ readonly "@type": "@id";
249
+ readonly "@container": "@set";
250
+ };
251
+ readonly chose: {
252
+ readonly "@id": "apexec:chose";
253
+ readonly "@type": "@id";
254
+ readonly "@container": "@set";
255
+ };
256
+ readonly rejectedNeighbour: {
257
+ readonly "@id": "apexec:rejectedNeighbour";
258
+ readonly "@type": "@id";
259
+ readonly "@container": "@set";
260
+ };
261
+ readonly inferredRequest: {
262
+ readonly "@id": "apexec:inferredRequest";
263
+ readonly "@type": "@id";
264
+ };
265
+ readonly inferredAbout: {
266
+ readonly "@id": "apexec:inferredAbout";
267
+ readonly "@type": "@id";
268
+ readonly "@container": "@set";
269
+ };
175
270
  readonly Agent: "ap:Agent";
176
271
  readonly SoftwareAgent: "prov:SoftwareAgent";
177
272
  readonly Person: "prov:Person";
@@ -201,11 +296,20 @@ export declare const RUN_PROVENANCE_CONTEXT: {
201
296
  readonly OrchestratedTask: "apix:OrchestratedTask";
202
297
  readonly CoordinationPlan: "apcoord:CoordinationPlan";
203
298
  readonly PlanStep: "apcoord:PlanStep";
299
+ readonly Door: "apexec:Door";
300
+ readonly ModelInvocation: "apexec:ModelInvocation";
301
+ readonly Variant: "apexec:Variant";
302
+ readonly StartingState: "apexec:StartingState";
303
+ readonly CapabilityEngagement: "apexec:CapabilityEngagement";
204
304
  readonly Completed: "apexec:Completed";
205
305
  readonly Failed: "apexec:Failed";
206
306
  readonly Refused: "apexec:Refused";
207
307
  readonly Skipped: "apexec:Skipped";
208
308
  readonly Suspended: "apexec:Suspended";
309
+ readonly attempted: "apexec:attempted";
310
+ readonly accepted: "apexec:accepted";
311
+ readonly committed: "apexec:committed";
312
+ readonly confirmed: "apexec:confirmed";
209
313
  };
210
314
  };
211
315
  //# sourceMappingURL=run-provenance-context.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"run-provenance-context.d.ts","sourceRoot":"","sources":["../src/run-provenance-context.ts"],"names":[],"mappings":"AAQA,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiNzB,CAAC"}
1
+ {"version":3,"file":"run-provenance-context.d.ts","sourceRoot":"","sources":["../src/run-provenance-context.ts"],"names":[],"mappings":"AAQA,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAyTzB,CAAC"}
@@ -154,8 +154,18 @@ export const RUN_PROVENANCE_CONTEXT = {
154
154
  "@type": "@id"
155
155
  },
156
156
  "errorClass": "apexec:errorClass",
157
+ "observedOutcome": {
158
+ "@id": "apexec:observedOutcome",
159
+ "@type": "@vocab"
160
+ },
161
+ "providerRef": "apexec:providerRef",
162
+ "observedAt": {
163
+ "@id": "apexec:observedAt",
164
+ "@type": "xsd:dateTime"
165
+ },
157
166
  "traceId": "apexec:traceId",
158
167
  "spanId": "apexec:spanId",
168
+ "estate": "apexec:estate",
159
169
  "effectProduces": "apexec:effectProduces",
160
170
  "effectSucceeded": {
161
171
  "@id": "apexec:effectSucceeded",
@@ -180,6 +190,91 @@ export const RUN_PROVENANCE_CONTEXT = {
180
190
  "@id": "apactor:rootPrincipal",
181
191
  "@type": "@id"
182
192
  },
193
+ "arrivedBy": {
194
+ "@id": "apexec:arrivedBy",
195
+ "@type": "@id"
196
+ },
197
+ "doorKind": "apexec:doorKind",
198
+ "a2aMessageId": "apexec:a2aMessageId",
199
+ "a2aContextId": "apexec:a2aContextId",
200
+ "a2aTaskId": "apexec:a2aTaskId",
201
+ "hasModelInvocation": {
202
+ "@id": "apexec:hasModelInvocation",
203
+ "@type": "@id",
204
+ "@container": "@set"
205
+ },
206
+ "invocationRole": "apexec:invocationRole",
207
+ "modelId": "apexec:modelId",
208
+ "modelProvider": "apexec:modelProvider",
209
+ "promptTemplateDigest": "apexec:promptTemplateDigest",
210
+ "tokensIn": {
211
+ "@id": "apexec:tokensIn",
212
+ "@type": "xsd:integer"
213
+ },
214
+ "tokensOut": {
215
+ "@id": "apexec:tokensOut",
216
+ "@type": "xsd:integer"
217
+ },
218
+ "routeReason": "apexec:routeReason",
219
+ "underVariant": {
220
+ "@id": "apexec:underVariant",
221
+ "@type": "@id"
222
+ },
223
+ "variantDigest": "apexec:variantDigest",
224
+ "plannerKind": "apexec:plannerKind",
225
+ "routePolicy": "apexec:routePolicy",
226
+ "harnessBuild": "apexec:harnessBuild",
227
+ "capabilityToggle": {
228
+ "@id": "apexec:capabilityToggle",
229
+ "@container": "@set"
230
+ },
231
+ "fromStartingState": {
232
+ "@id": "apexec:fromStartingState",
233
+ "@type": "@id"
234
+ },
235
+ "startingStateDigest": "apexec:startingStateDigest",
236
+ "governedBySkill": {
237
+ "@id": "apexec:governedBySkill",
238
+ "@type": "@id"
239
+ },
240
+ "hasEngagement": {
241
+ "@id": "apexec:hasEngagement",
242
+ "@type": "@id",
243
+ "@container": "@set"
244
+ },
245
+ "ofCapability": {
246
+ "@id": "apexec:ofCapability",
247
+ "@type": "@id"
248
+ },
249
+ "engagementEffect": {
250
+ "@id": "apexec:engagementEffect",
251
+ "@type": "@id"
252
+ },
253
+ "capabilityVersion": "apexec:capabilityVersion",
254
+ "offeredCandidate": {
255
+ "@id": "apexec:offeredCandidate",
256
+ "@type": "@id",
257
+ "@container": "@set"
258
+ },
259
+ "chose": {
260
+ "@id": "apexec:chose",
261
+ "@type": "@id",
262
+ "@container": "@set"
263
+ },
264
+ "rejectedNeighbour": {
265
+ "@id": "apexec:rejectedNeighbour",
266
+ "@type": "@id",
267
+ "@container": "@set"
268
+ },
269
+ "inferredRequest": {
270
+ "@id": "apexec:inferredRequest",
271
+ "@type": "@id"
272
+ },
273
+ "inferredAbout": {
274
+ "@id": "apexec:inferredAbout",
275
+ "@type": "@id",
276
+ "@container": "@set"
277
+ },
183
278
  "Agent": "ap:Agent",
184
279
  "SoftwareAgent": "prov:SoftwareAgent",
185
280
  "Person": "prov:Person",
@@ -209,11 +304,20 @@ export const RUN_PROVENANCE_CONTEXT = {
209
304
  "OrchestratedTask": "apix:OrchestratedTask",
210
305
  "CoordinationPlan": "apcoord:CoordinationPlan",
211
306
  "PlanStep": "apcoord:PlanStep",
307
+ "Door": "apexec:Door",
308
+ "ModelInvocation": "apexec:ModelInvocation",
309
+ "Variant": "apexec:Variant",
310
+ "StartingState": "apexec:StartingState",
311
+ "CapabilityEngagement": "apexec:CapabilityEngagement",
212
312
  "Completed": "apexec:Completed",
213
313
  "Failed": "apexec:Failed",
214
314
  "Refused": "apexec:Refused",
215
315
  "Skipped": "apexec:Skipped",
216
- "Suspended": "apexec:Suspended"
316
+ "Suspended": "apexec:Suspended",
317
+ "attempted": "apexec:attempted",
318
+ "accepted": "apexec:accepted",
319
+ "committed": "apexec:committed",
320
+ "confirmed": "apexec:confirmed"
217
321
  }
218
322
  };
219
323
  //# sourceMappingURL=run-provenance-context.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"run-provenance-context.js","sourceRoot":"","sources":["../src/run-provenance-context.ts"],"names":[],"mappings":"AAAA,0GAA0G;AAC1G,wGAAwG;AACxG,yGAAyG;AACzG,uEAAuE;AACvE,EAAE;AACF,8FAA8F;AAC9F,uGAAuG;AACvG,iEAAiE;AACjE,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,UAAU,EAAE;QACV,UAAU,EAAE,GAAG;QACf,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,4BAA4B;QACpC,QAAQ,EAAE,6BAA6B;QACvC,SAAS,EAAE,2BAA2B;QACtC,KAAK,EAAE,mCAAmC;QAC1C,IAAI,EAAE,wCAAwC;QAC9C,QAAQ,EAAE,6CAA6C;QACvD,SAAS,EAAE,yCAAyC;QACpD,SAAS,EAAE,4CAA4C;QACvD,OAAO,EAAE,8CAA8C;QACvD,MAAM,EAAE,wDAAwD;QAChE,SAAS,EAAE,gDAAgD;QAC3D,MAAM,EAAE,+CAA+C;QACvD,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,OAAO;QACf,OAAO,EAAE,QAAQ;QACjB,eAAe,EAAE;YACf,KAAK,EAAE,oBAAoB;YAC3B,OAAO,EAAE,cAAc;SACxB;QACD,aAAa,EAAE;YACb,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE,cAAc;SACxB;QACD,SAAS,EAAE;YACT,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,cAAc;SACxB;QACD,mBAAmB,EAAE;YACnB,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,KAAK;SACf;QACD,iBAAiB,EAAE;YACjB,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,KAAK;SACf;QACD,iBAAiB,EAAE;YACjB,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,KAAK;SACf;QACD,MAAM,EAAE;YACN,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,gBAAgB,EAAE;YAChB,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,WAAW,EAAE;YACX,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,gBAAgB,EAAE;YAChB,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,eAAe,EAAE;YACf,KAAK,EAAE,oBAAoB;YAC3B,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,gBAAgB,EAAE;YAChB,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,eAAe,EAAE;YACf,KAAK,EAAE,oBAAoB;YAC3B,OAAO,EAAE,KAAK;SACf;QACD,sBAAsB,EAAE;YACtB,KAAK,EAAE,2BAA2B;YAClC,YAAY,EAAE,MAAM;SACrB;QACD,OAAO,EAAE;YACP,KAAK,EAAE,YAAY;YACnB,OAAO,EAAE,KAAK;SACf;QACD,SAAS,EAAE;YACT,KAAK,EAAE,cAAc;YACrB,OAAO,EAAE,KAAK;SACf;QACD,SAAS,EAAE;YACT,KAAK,EAAE,cAAc;YACrB,OAAO,EAAE,KAAK;SACf;QACD,iBAAiB,EAAE;YACjB,KAAK,EAAE,yBAAyB;YAChC,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,cAAc,EAAE;YACd,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,cAAc,EAAE;YACd,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,mBAAmB,EAAE;YACnB,KAAK,EAAE,0BAA0B;YACjC,OAAO,EAAE,KAAK;SACf;QACD,oBAAoB,EAAE;YACpB,KAAK,EAAE,4BAA4B;YACnC,OAAO,EAAE,KAAK;SACf;QACD,SAAS,EAAE;YACT,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,QAAQ,EAAE,eAAe;QACzB,cAAc,EAAE,qBAAqB;QACrC,iBAAiB,EAAE;YACjB,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,QAAQ;SAClB;QACD,eAAe,EAAE,sBAAsB;QACvC,qBAAqB,EAAE,4BAA4B;QACnD,oBAAoB,EAAE;YACpB,KAAK,EAAE,2BAA2B;YAClC,OAAO,EAAE,KAAK;SACf;QACD,mBAAmB,EAAE,0BAA0B;QAC/C,eAAe,EAAE;YACf,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,aAAa;SACvB;QACD,aAAa,EAAE,oBAAoB;QACnC,oBAAoB,EAAE;YACpB,KAAK,EAAE,2BAA2B;YAClC,OAAO,EAAE,KAAK;SACf;QACD,cAAc,EAAE;YACd,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,yBAAyB;YAChC,OAAO,EAAE,KAAK;SACf;QACD,YAAY,EAAE,mBAAmB;QACjC,SAAS,EAAE,gBAAgB;QAC3B,QAAQ,EAAE,eAAe;QACzB,gBAAgB,EAAE,uBAAuB;QACzC,iBAAiB,EAAE;YACjB,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,aAAa;SACvB;QACD,eAAe,EAAE,sBAAsB;QACvC,cAAc,EAAE,qBAAqB;QACrC,eAAe,EAAE;YACf,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,aAAa;SACvB;QACD,gBAAgB,EAAE,uBAAuB;QACzC,aAAa,EAAE;YACb,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,0BAA0B;YACjC,OAAO,EAAE,KAAK;SACf;QACD,eAAe,EAAE;YACf,KAAK,EAAE,uBAAuB;YAC9B,OAAO,EAAE,KAAK;SACf;QACD,OAAO,EAAE,UAAU;QACnB,eAAe,EAAE,oBAAoB;QACrC,QAAQ,EAAE,aAAa;QACvB,cAAc,EAAE,mBAAmB;QACnC,cAAc,EAAE,qBAAqB;QACrC,UAAU,EAAE,eAAe;QAC3B,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE,aAAa;QACrB,MAAM,EAAE,aAAa;QACrB,QAAQ,EAAE,aAAa;QACvB,aAAa,EAAE,kBAAkB;QACjC,sBAAsB,EAAE,8BAA8B;QACtD,gBAAgB,EAAE,wBAAwB;QAC1C,kBAAkB,EAAE,yBAAyB;QAC7C,gBAAgB,EAAE,uBAAuB;QACzC,eAAe,EAAE,sBAAsB;QACvC,mBAAmB,EAAE,2BAA2B;QAChD,YAAY,EAAE,kBAAkB;QAChC,aAAa,EAAE,oBAAoB;QACnC,kBAAkB,EAAE,yBAAyB;QAC7C,QAAQ,EAAE,eAAe;QACzB,gBAAgB,EAAE,uBAAuB;QACzC,aAAa,EAAE,oBAAoB;QACnC,cAAc,EAAE,sBAAsB;QACtC,uBAAuB,EAAE,4BAA4B;QACrD,kBAAkB,EAAE,uBAAuB;QAC3C,kBAAkB,EAAE,uBAAuB;QAC3C,kBAAkB,EAAE,0BAA0B;QAC9C,UAAU,EAAE,kBAAkB;QAC9B,WAAW,EAAE,kBAAkB;QAC/B,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,gBAAgB;QAC3B,SAAS,EAAE,gBAAgB;QAC3B,WAAW,EAAE,kBAAkB;KAChC;CACO,CAAC"}
1
+ {"version":3,"file":"run-provenance-context.js","sourceRoot":"","sources":["../src/run-provenance-context.ts"],"names":[],"mappings":"AAAA,0GAA0G;AAC1G,wGAAwG;AACxG,yGAAyG;AACzG,uEAAuE;AACvE,EAAE;AACF,8FAA8F;AAC9F,uGAAuG;AACvG,iEAAiE;AACjE,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,UAAU,EAAE;QACV,UAAU,EAAE,GAAG;QACf,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,4BAA4B;QACpC,QAAQ,EAAE,6BAA6B;QACvC,SAAS,EAAE,2BAA2B;QACtC,KAAK,EAAE,mCAAmC;QAC1C,IAAI,EAAE,wCAAwC;QAC9C,QAAQ,EAAE,6CAA6C;QACvD,SAAS,EAAE,yCAAyC;QACpD,SAAS,EAAE,4CAA4C;QACvD,OAAO,EAAE,8CAA8C;QACvD,MAAM,EAAE,wDAAwD;QAChE,SAAS,EAAE,gDAAgD;QAC3D,MAAM,EAAE,+CAA+C;QACvD,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,OAAO;QACf,OAAO,EAAE,QAAQ;QACjB,eAAe,EAAE;YACf,KAAK,EAAE,oBAAoB;YAC3B,OAAO,EAAE,cAAc;SACxB;QACD,aAAa,EAAE;YACb,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE,cAAc;SACxB;QACD,SAAS,EAAE;YACT,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,cAAc;SACxB;QACD,mBAAmB,EAAE;YACnB,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,KAAK;SACf;QACD,iBAAiB,EAAE;YACjB,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,KAAK;SACf;QACD,iBAAiB,EAAE;YACjB,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,KAAK;SACf;QACD,MAAM,EAAE;YACN,KAAK,EAAE,WAAW;YAClB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,gBAAgB,EAAE;YAChB,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,WAAW,EAAE;YACX,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,gBAAgB,EAAE;YAChB,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,eAAe,EAAE;YACf,KAAK,EAAE,oBAAoB;YAC3B,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,gBAAgB,EAAE;YAChB,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,eAAe,EAAE;YACf,KAAK,EAAE,oBAAoB;YAC3B,OAAO,EAAE,KAAK;SACf;QACD,sBAAsB,EAAE;YACtB,KAAK,EAAE,2BAA2B;YAClC,YAAY,EAAE,MAAM;SACrB;QACD,OAAO,EAAE;YACP,KAAK,EAAE,YAAY;YACnB,OAAO,EAAE,KAAK;SACf;QACD,SAAS,EAAE;YACT,KAAK,EAAE,cAAc;YACrB,OAAO,EAAE,KAAK;SACf;QACD,SAAS,EAAE;YACT,KAAK,EAAE,cAAc;YACrB,OAAO,EAAE,KAAK;SACf;QACD,iBAAiB,EAAE;YACjB,KAAK,EAAE,yBAAyB;YAChC,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,cAAc,EAAE;YACd,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,cAAc,EAAE;YACd,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,mBAAmB,EAAE;YACnB,KAAK,EAAE,0BAA0B;YACjC,OAAO,EAAE,KAAK;SACf;QACD,oBAAoB,EAAE;YACpB,KAAK,EAAE,4BAA4B;YACnC,OAAO,EAAE,KAAK;SACf;QACD,SAAS,EAAE;YACT,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,QAAQ,EAAE,eAAe;QACzB,cAAc,EAAE,qBAAqB;QACrC,iBAAiB,EAAE;YACjB,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,QAAQ;SAClB;QACD,eAAe,EAAE,sBAAsB;QACvC,qBAAqB,EAAE,4BAA4B;QACnD,oBAAoB,EAAE;YACpB,KAAK,EAAE,2BAA2B;YAClC,OAAO,EAAE,KAAK;SACf;QACD,mBAAmB,EAAE,0BAA0B;QAC/C,eAAe,EAAE;YACf,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,aAAa;SACvB;QACD,aAAa,EAAE,oBAAoB;QACnC,oBAAoB,EAAE;YACpB,KAAK,EAAE,2BAA2B;YAClC,OAAO,EAAE,KAAK;SACf;QACD,cAAc,EAAE;YACd,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,yBAAyB;YAChC,OAAO,EAAE,KAAK;SACf;QACD,YAAY,EAAE,mBAAmB;QACjC,iBAAiB,EAAE;YACjB,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,QAAQ;SAClB;QACD,aAAa,EAAE,oBAAoB;QACnC,YAAY,EAAE;YACZ,KAAK,EAAE,mBAAmB;YAC1B,OAAO,EAAE,cAAc;SACxB;QACD,SAAS,EAAE,gBAAgB;QAC3B,QAAQ,EAAE,eAAe;QACzB,QAAQ,EAAE,eAAe;QACzB,gBAAgB,EAAE,uBAAuB;QACzC,iBAAiB,EAAE;YACjB,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,aAAa;SACvB;QACD,eAAe,EAAE,sBAAsB;QACvC,cAAc,EAAE,qBAAqB;QACrC,eAAe,EAAE;YACf,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,aAAa;SACvB;QACD,gBAAgB,EAAE,uBAAuB;QACzC,aAAa,EAAE;YACb,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,0BAA0B;YACjC,OAAO,EAAE,KAAK;SACf;QACD,eAAe,EAAE;YACf,KAAK,EAAE,uBAAuB;YAC9B,OAAO,EAAE,KAAK;SACf;QACD,WAAW,EAAE;YACX,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE,KAAK;SACf;QACD,UAAU,EAAE,iBAAiB;QAC7B,cAAc,EAAE,qBAAqB;QACrC,cAAc,EAAE,qBAAqB;QACrC,WAAW,EAAE,kBAAkB;QAC/B,oBAAoB,EAAE;YACpB,KAAK,EAAE,2BAA2B;YAClC,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,gBAAgB,EAAE,uBAAuB;QACzC,SAAS,EAAE,gBAAgB;QAC3B,eAAe,EAAE,sBAAsB;QACvC,sBAAsB,EAAE,6BAA6B;QACrD,UAAU,EAAE;YACV,KAAK,EAAE,iBAAiB;YACxB,OAAO,EAAE,aAAa;SACvB;QACD,WAAW,EAAE;YACX,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE,aAAa;SACvB;QACD,aAAa,EAAE,oBAAoB;QACnC,cAAc,EAAE;YACd,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,eAAe,EAAE,sBAAsB;QACvC,aAAa,EAAE,oBAAoB;QACnC,aAAa,EAAE,oBAAoB;QACnC,cAAc,EAAE,qBAAqB;QACrC,kBAAkB,EAAE;YAClB,KAAK,EAAE,yBAAyB;YAChC,YAAY,EAAE,MAAM;SACrB;QACD,mBAAmB,EAAE;YACnB,KAAK,EAAE,0BAA0B;YACjC,OAAO,EAAE,KAAK;SACf;QACD,qBAAqB,EAAE,4BAA4B;QACnD,iBAAiB,EAAE;YACjB,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,KAAK;SACf;QACD,eAAe,EAAE;YACf,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,cAAc,EAAE;YACd,KAAK,EAAE,qBAAqB;YAC5B,OAAO,EAAE,KAAK;SACf;QACD,kBAAkB,EAAE;YAClB,KAAK,EAAE,yBAAyB;YAChC,OAAO,EAAE,KAAK;SACf;QACD,mBAAmB,EAAE,0BAA0B;QAC/C,kBAAkB,EAAE;YAClB,KAAK,EAAE,yBAAyB;YAChC,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,OAAO,EAAE;YACP,KAAK,EAAE,cAAc;YACrB,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,mBAAmB,EAAE;YACnB,KAAK,EAAE,0BAA0B;YACjC,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,iBAAiB,EAAE;YACjB,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,KAAK;SACf;QACD,eAAe,EAAE;YACf,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,KAAK;YACd,YAAY,EAAE,MAAM;SACrB;QACD,OAAO,EAAE,UAAU;QACnB,eAAe,EAAE,oBAAoB;QACrC,QAAQ,EAAE,aAAa;QACvB,cAAc,EAAE,mBAAmB;QACnC,cAAc,EAAE,qBAAqB;QACrC,UAAU,EAAE,eAAe;QAC3B,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE,aAAa;QACrB,MAAM,EAAE,aAAa;QACrB,QAAQ,EAAE,aAAa;QACvB,aAAa,EAAE,kBAAkB;QACjC,sBAAsB,EAAE,8BAA8B;QACtD,gBAAgB,EAAE,wBAAwB;QAC1C,kBAAkB,EAAE,yBAAyB;QAC7C,gBAAgB,EAAE,uBAAuB;QACzC,eAAe,EAAE,sBAAsB;QACvC,mBAAmB,EAAE,2BAA2B;QAChD,YAAY,EAAE,kBAAkB;QAChC,aAAa,EAAE,oBAAoB;QACnC,kBAAkB,EAAE,yBAAyB;QAC7C,QAAQ,EAAE,eAAe;QACzB,gBAAgB,EAAE,uBAAuB;QACzC,aAAa,EAAE,oBAAoB;QACnC,cAAc,EAAE,sBAAsB;QACtC,uBAAuB,EAAE,4BAA4B;QACrD,kBAAkB,EAAE,uBAAuB;QAC3C,kBAAkB,EAAE,uBAAuB;QAC3C,kBAAkB,EAAE,0BAA0B;QAC9C,UAAU,EAAE,kBAAkB;QAC9B,MAAM,EAAE,aAAa;QACrB,iBAAiB,EAAE,wBAAwB;QAC3C,SAAS,EAAE,gBAAgB;QAC3B,eAAe,EAAE,sBAAsB;QACvC,sBAAsB,EAAE,6BAA6B;QACrD,WAAW,EAAE,kBAAkB;QAC/B,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,gBAAgB;QAC3B,SAAS,EAAE,gBAAgB;QAC3B,WAAW,EAAE,kBAAkB;QAC/B,WAAW,EAAE,kBAAkB;QAC/B,UAAU,EAAE,iBAAiB;QAC7B,WAAW,EAAE,kBAAkB;QAC/B,WAAW,EAAE,kBAAkB;KAChC;CACO,CAAC"}
@@ -0,0 +1,42 @@
1
+ export declare const SITUATION: {
2
+ readonly OrganizationMembership: "https://agenticprimitives.dev/ns/org#OrganizationMembership";
3
+ readonly MembershipInvitation: "https://agenticprimitives.dev/ns/org#MembershipInvitation";
4
+ readonly HouseholdMembership: "https://agenticprimitives.dev/ns/household#HouseholdMembership";
5
+ readonly MessageEvent: "https://agenticprimitives.dev/ns/messaging#MessageEvent";
6
+ readonly PaymentReceipt: "https://agenticprimitives.dev/ns/payment#PaymentReceipt";
7
+ };
8
+ export type StandingNeeded = 'self' | 'steward' | 'member';
9
+ export type PreconditionV1 =
10
+ /** A situation present (or, `absent`, NOT present) between the parties the named arguments resolve to. `in` is the
11
+ * situation's context party (the organization a membership is in); `of` the subject (the member). */
12
+ {
13
+ situation: string;
14
+ of: string;
15
+ in?: string;
16
+ absent?: true;
17
+ readBy: string;
18
+ }
19
+ /** The asker's derived standing at the agent `at` names (`room` = the agent being asked). */
20
+ | {
21
+ standing: StandingNeeded;
22
+ at: string | 'room';
23
+ };
24
+ export interface CapabilityTransitionV1 {
25
+ capability: string;
26
+ /** The situation established (a T-box class IRI), and which argument fills which of its roles. For a CHARTER the
27
+ * "situation" is the derived agent class chartered (ap:TeamAgent …) under `roles.parent`. */
28
+ establishes: {
29
+ situation: string;
30
+ roles: Readonly<Record<string, string>>;
31
+ outcomeClass: 'submission' | 'authoritative';
32
+ };
33
+ requires: readonly PreconditionV1[];
34
+ /** Whose authority the act spends — the argument (PARTY_ROLES side `acting`), or `self` for a self-acting write. */
35
+ authority: string | 'self';
36
+ evidence: 'chain-edge' | 'countersigned-credential' | 'receipt' | 'transfer' | 'own-record';
37
+ }
38
+ export declare const CAPABILITY_TRANSITIONS: readonly CapabilityTransitionV1[];
39
+ export declare const transitionOf: (capability: string) => CapabilityTransitionV1 | undefined;
40
+ /** The transitions that ESTABLISH a situation — what goal regression walks back through. */
41
+ export declare const establishersOf: (situation: string) => readonly CapabilityTransitionV1[];
42
+ //# sourceMappingURL=transitions.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"transitions.d.ts","sourceRoot":"","sources":["../src/transitions.ts"],"names":[],"mappings":"AAmBA,eAAO,MAAM,SAAS;;;;;;CAMZ,CAAC;AAEX,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,SAAS,GAAG,QAAQ,CAAC;AAE3D,MAAM,MAAM,cAAc;AACxB;sGACsG;AACpG;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AAC/E,6FAA6F;GAC3F;IAAE,QAAQ,EAAE,cAAc,CAAC;IAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,CAAC;AAEtD,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,MAAM,CAAC;IACnB;kGAC8F;IAC9F,WAAW,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAAC,YAAY,EAAE,YAAY,GAAG,eAAe,CAAA;KAAE,CAAC;IAC1H,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IACpC,oHAAoH;IACpH,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,QAAQ,EAAE,YAAY,GAAG,0BAA0B,GAAG,SAAS,GAAG,UAAU,GAAG,YAAY,CAAC;CAC7F;AAED,eAAO,MAAM,sBAAsB,EAAE,SAAS,sBAAsB,EAwEnE,CAAC;AAEF,eAAO,MAAM,YAAY,eAAgB,MAAM,KAAG,sBAAsB,GAAG,SAA4E,CAAC;AACxJ,4FAA4F;AAC5F,eAAO,MAAM,cAAc,cAAe,MAAM,KAAG,SAAS,sBAAsB,EAAiF,CAAC"}
@@ -0,0 +1,100 @@
1
+ // CAPABILITY TRANSITIONS — spec 420 §2. Each act capability as a typed transition between SITUATIONS: what must hold before
2
+ // it, the situation it ESTABLISHES (and whether that is a submission or the outcome itself), whose authority it spends, and
3
+ // what EVIDENCE proves it landed. Bound by IRI to `tbox/transition.ttl` + the situation classes (`situation.ttl`, `org.ttl`,
4
+ // `household.ttl`, `core.ttl`), held by `check:ontology-bindings`.
5
+ //
6
+ // This is what goal regression plans over (`orchestration/regression.ts`): from the situation a person wants, back through the
7
+ // transitions that establish it, until every precondition is already true, askable, or authorizable by the asker's standing —
8
+ // or the gap is NAMED. Behaviour, never authority (ADR-0041): no verifier reads this table; the mandate is judged per step.
9
+ //
10
+ // A DOMAIN CLAIM LIVES HERE, not in a prompt: "you cannot invite someone who is already a member", "an invitation is a
11
+ // submission — the membership is the invitee's to bring about", "a charter needs the parent's steward".
12
+ import { AGENT_CLASS } from './party-roles.js';
13
+ const APORG = 'https://agenticprimitives.dev/ns/org#';
14
+ const APHH = 'https://agenticprimitives.dev/ns/household#';
15
+ const APMSG = 'https://agenticprimitives.dev/ns/messaging#';
16
+ const APPAY = 'https://agenticprimitives.dev/ns/payment#';
17
+ export const SITUATION = {
18
+ OrganizationMembership: `${APORG}OrganizationMembership`,
19
+ MembershipInvitation: `${APORG}MembershipInvitation`,
20
+ HouseholdMembership: `${APHH}HouseholdMembership`,
21
+ MessageEvent: `${APMSG}MessageEvent`,
22
+ PaymentReceipt: `${APPAY}PaymentReceipt`,
23
+ };
24
+ export const CAPABILITY_TRANSITIONS = [
25
+ {
26
+ capability: 'organization.membership.invite',
27
+ establishes: { situation: SITUATION.MembershipInvitation, roles: { org: 'organizationAgent', invitee: 'inviteeAgent' }, outcomeClass: 'submission' },
28
+ requires: [
29
+ { situation: SITUATION.OrganizationMembership, of: 'invitee', in: 'org', absent: true, readBy: 'organization.membership.list' },
30
+ { standing: 'steward', at: 'org' },
31
+ ],
32
+ authority: 'org',
33
+ evidence: 'countersigned-credential',
34
+ },
35
+ // Spec 421 — ACCEPTING: the invitee's own consent establishes the membership (she signs member→organization and countersigns
36
+ // the organization's credential). The invitation it needs is in HER inbox — a precondition regression cannot read at the
37
+ // room — so the invoker enforces it from her own records (no invitation from that organization ⇒ refused, said so).
38
+ {
39
+ capability: 'organization.membership.accept',
40
+ establishes: { situation: SITUATION.OrganizationMembership, roles: { invitedTo: 'organizationAgent' }, outcomeClass: 'authoritative' },
41
+ requires: [],
42
+ authority: 'self',
43
+ evidence: 'countersigned-credential',
44
+ },
45
+ {
46
+ capability: 'treasury.payment.execute',
47
+ establishes: { situation: SITUATION.PaymentReceipt, roles: { payer: 'payer', payee: 'payee' }, outcomeClass: 'authoritative' },
48
+ requires: [{ standing: 'steward', at: 'payer' }],
49
+ authority: 'payer',
50
+ evidence: 'transfer',
51
+ },
52
+ {
53
+ capability: 'treasury.fund',
54
+ establishes: { situation: SITUATION.PaymentReceipt, roles: { treasury: 'payee' }, outcomeClass: 'authoritative' },
55
+ requires: [{ standing: 'steward', at: 'treasury' }],
56
+ authority: 'funder',
57
+ evidence: 'transfer',
58
+ },
59
+ {
60
+ capability: 'organization.team.create',
61
+ establishes: { situation: AGENT_CLASS.TeamAgent, roles: { parent: 'charteredUnder' }, outcomeClass: 'authoritative' },
62
+ requires: [{ standing: 'steward', at: 'parent' }],
63
+ authority: 'parent',
64
+ evidence: 'chain-edge',
65
+ },
66
+ {
67
+ capability: 'treasury.create',
68
+ establishes: { situation: AGENT_CLASS.Treasury, roles: { parent: 'charteredUnder' }, outcomeClass: 'authoritative' },
69
+ requires: [{ standing: 'steward', at: 'parent' }],
70
+ authority: 'parent',
71
+ evidence: 'chain-edge',
72
+ },
73
+ {
74
+ capability: 'household.create',
75
+ establishes: { situation: AGENT_CLASS.HouseholdAgent, roles: { parent: 'charteredUnder' }, outcomeClass: 'authoritative' },
76
+ requires: [{ standing: 'self', at: 'parent' }],
77
+ authority: 'parent',
78
+ evidence: 'chain-edge',
79
+ },
80
+ {
81
+ capability: 'household.member.record',
82
+ establishes: { situation: SITUATION.HouseholdMembership, roles: { member: 'memberAgent' }, outcomeClass: 'authoritative' },
83
+ requires: [{ standing: 'self', at: 'room' }],
84
+ authority: 'self',
85
+ evidence: 'own-record',
86
+ },
87
+ {
88
+ capability: 'messaging.direct.send',
89
+ establishes: { situation: SITUATION.MessageEvent, roles: { sender: 'sender', recipient: 'recipient' }, outcomeClass: 'authoritative' },
90
+ // A person sends as herself; an organization sends under its steward's standing (the first act laboratory run on set 6
91
+ // refused every message at the organization because this said `self` — a steward may send as the room).
92
+ requires: [{ standing: 'steward', at: 'sender' }],
93
+ authority: 'sender',
94
+ evidence: 'receipt',
95
+ },
96
+ ];
97
+ export const transitionOf = (capability) => CAPABILITY_TRANSITIONS.find((t) => t.capability === capability);
98
+ /** The transitions that ESTABLISH a situation — what goal regression walks back through. */
99
+ export const establishersOf = (situation) => CAPABILITY_TRANSITIONS.filter((t) => t.establishes.situation === situation);
100
+ //# sourceMappingURL=transitions.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"transitions.js","sourceRoot":"","sources":["../src/transitions.ts"],"names":[],"mappings":"AAAA,4HAA4H;AAC5H,4HAA4H;AAC5H,6HAA6H;AAC7H,mEAAmE;AACnE,EAAE;AACF,+HAA+H;AAC/H,8HAA8H;AAC9H,4HAA4H;AAC5H,EAAE;AACF,uHAAuH;AACvH,wGAAwG;AAExG,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,MAAM,KAAK,GAAG,uCAAuC,CAAC;AACtD,MAAM,IAAI,GAAG,6CAA6C,CAAC;AAC3D,MAAM,KAAK,GAAG,6CAA6C,CAAC;AAC5D,MAAM,KAAK,GAAG,2CAA2C,CAAC;AAE1D,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,sBAAsB,EAAE,GAAG,KAAK,wBAAwB;IACxD,oBAAoB,EAAE,GAAG,KAAK,sBAAsB;IACpD,mBAAmB,EAAE,GAAG,IAAI,qBAAqB;IACjD,YAAY,EAAE,GAAG,KAAK,cAAc;IACpC,cAAc,EAAE,GAAG,KAAK,gBAAgB;CAChC,CAAC;AAsBX,MAAM,CAAC,MAAM,sBAAsB,GAAsC;IACvE;QACE,UAAU,EAAE,gCAAgC;QAC5C,WAAW,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,oBAAoB,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,mBAAmB,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,YAAY,EAAE,YAAY,EAAE;QACpJ,QAAQ,EAAE;YACR,EAAE,SAAS,EAAE,SAAS,CAAC,sBAAsB,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,8BAA8B,EAAE;YAC/H,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE;SACnC;QACD,SAAS,EAAE,KAAK;QAChB,QAAQ,EAAE,0BAA0B;KACrC;IACD,6HAA6H;IAC7H,yHAAyH;IACzH,oHAAoH;IACpH;QACE,UAAU,EAAE,gCAAgC;QAC5C,WAAW,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,sBAAsB,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,mBAAmB,EAAE,EAAE,YAAY,EAAE,eAAe,EAAE;QACtI,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,MAAM;QACjB,QAAQ,EAAE,0BAA0B;KACrC;IACD;QACE,UAAU,EAAE,0BAA0B;QACtC,WAAW,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,YAAY,EAAE,eAAe,EAAE;QAC9H,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;QAChD,SAAS,EAAE,OAAO;QAClB,QAAQ,EAAE,UAAU;KACrB;IACD;QACE,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,YAAY,EAAE,eAAe,EAAE;QACjH,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC;QACnD,SAAS,EAAE,QAAQ;QACnB,QAAQ,EAAE,UAAU;KACrB;IACD;QACE,UAAU,EAAE,0BAA0B;QACtC,WAAW,EAAE,EAAE,SAAS,EAAE,WAAW,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,EAAE,YAAY,EAAE,eAAe,EAAE;QACrH,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;QACjD,SAAS,EAAE,QAAQ;QACnB,QAAQ,EAAE,YAAY;KACvB;IACD;QACE,UAAU,EAAE,iBAAiB;QAC7B,WAAW,EAAE,EAAE,SAAS,EAAE,WAAW,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,EAAE,YAAY,EAAE,eAAe,EAAE;QACpH,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;QACjD,SAAS,EAAE,QAAQ;QACnB,QAAQ,EAAE,YAAY;KACvB;IACD;QACE,UAAU,EAAE,kBAAkB;QAC9B,WAAW,EAAE,EAAE,SAAS,EAAE,WAAW,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,EAAE,YAAY,EAAE,eAAe,EAAE;QAC1H,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;QAC9C,SAAS,EAAE,QAAQ;QACnB,QAAQ,EAAE,YAAY;KACvB;IACD;QACE,UAAU,EAAE,yBAAyB;QACrC,WAAW,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,mBAAmB,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,YAAY,EAAE,eAAe,EAAE;QAC1H,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;QAC5C,SAAS,EAAE,MAAM;QACjB,QAAQ,EAAE,YAAY;KACvB;IACD;QACE,UAAU,EAAE,uBAAuB;QACnC,WAAW,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,YAAY,EAAE,eAAe,EAAE;QACtI,uHAAuH;QACvH,wGAAwG;QACxG,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;QACjD,SAAS,EAAE,QAAQ;QACnB,QAAQ,EAAE,SAAS;KACpB;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,UAAkB,EAAsC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;AACxJ,4FAA4F;AAC5F,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,SAAiB,EAAqC,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"vault-records.d.ts","sourceRoot":"","sources":["../src/vault-records.ts"],"names":[],"mappings":"AA0CA;yCACyC;AACzC,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,cAAc,GAAG,QAAQ,CAAC;AAEpE;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEjD,MAAM,WAAW,kBAAkB;IACjC,4GAA4G;IAC5G,KAAK,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,yGAAyG;IACzG,KAAK,EAAE,MAAM,CAAC;IACd,qGAAqG;IACrG,KAAK,EAAE,MAAM,CAAC;IACd,qEAAqE;IACrE,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,gBAAgB,CAAC;IAC1B,kGAAkG;IAClG,IAAI,CAAC,EAAE,eAAe,CAAC;IACvB;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACrC;AAED;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,SAAS,kBAAkB,EA6Y9D,CAAC;AAEF;2GAC2G;AAC3G,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS,CAOvF;AAED,2GAA2G;AAC3G,wBAAgB,kBAAkB,IAAI,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAU5F;AAED,2FAA2F;AAC3F,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,kBAAkB,EAAE,CAE1E"}
1
+ {"version":3,"file":"vault-records.d.ts","sourceRoot":"","sources":["../src/vault-records.ts"],"names":[],"mappings":"AA+CA;yCACyC;AACzC,MAAM,MAAM,gBAAgB,GAAG,QAAQ,GAAG,cAAc,GAAG,QAAQ,CAAC;AAEpE;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEjD,MAAM,WAAW,kBAAkB;IACjC,4GAA4G;IAC5G,KAAK,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,yGAAyG;IACzG,KAAK,EAAE,MAAM,CAAC;IACd,qGAAqG;IACrG,KAAK,EAAE,MAAM,CAAC;IACd,qEAAqE;IACrE,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,gBAAgB,CAAC;IAC1B,kGAAkG;IAClG,IAAI,CAAC,EAAE,eAAe,CAAC;IACvB;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACrC;AAED;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,SAAS,kBAAkB,EA0gB9D,CAAC;AAEF;2GAC2G;AAC3G,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS,CAOvF;AAED,2GAA2G;AAC3G,wBAAgB,kBAAkB,IAAI,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAU5F;AAED,2FAA2F;AAC3F,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,kBAAkB,EAAE,CAE1E"}