@agenticprimitives/ontology 1.0.0-alpha.4 → 1.0.0-alpha.40
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.
- package/README.md +59 -21
- package/cbox/agent-facet-shapes.shacl.ttl +130 -0
- package/cbox/capability-catalog-shapes.shacl.ttl +284 -0
- package/cbox/card-projection-shapes.shacl.ttl +216 -0
- package/cbox/consultation-shapes.shacl.ttl +85 -0
- package/cbox/content-vocabulary.ttl +52 -0
- package/cbox/controlled-vocabularies.ttl +224 -4
- package/cbox/discovery-graph-shapes.shacl.ttl +284 -0
- package/cbox/familyoffice-shapes.shacl.ttl +92 -0
- package/cbox/familyoffice-vocabulary.ttl +48 -0
- package/cbox/geo-vocabulary.ttl +36 -0
- package/cbox/guidance-vocabulary.ttl +22 -0
- package/cbox/interaction-shapes.shacl.ttl +218 -0
- package/cbox/interaction-vocabulary.ttl +159 -0
- package/cbox/judgment-shapes.shacl.ttl +83 -0
- package/cbox/naming-registry-shapes.shacl.ttl +272 -0
- package/cbox/org-team-shapes.shacl.ttl +184 -0
- package/cbox/privacy-credential-shapes.shacl.ttl +187 -0
- package/cbox/profile-facet-vocabulary.ttl +50 -0
- package/cbox/registry-vocabulary.ttl +86 -0
- package/cbox/run-measures-shapes.shacl.ttl +59 -0
- package/cbox/run-provenance-shapes.shacl.ttl +264 -0
- package/cbox/scope-vocabulary.ttl +112 -0
- package/cbox/skill-grounding-vocabulary.ttl +18 -0
- package/cbox/skill-vocabulary.ttl +50 -0
- package/context.jsonld +37 -1
- package/dist/arg-types.d.ts +60 -0
- package/dist/arg-types.d.ts.map +1 -0
- package/dist/arg-types.js +143 -0
- package/dist/arg-types.js.map +1 -0
- package/dist/artifacts.d.ts +9 -2
- package/dist/artifacts.d.ts.map +1 -1
- package/dist/artifacts.js +153 -2
- package/dist/artifacts.js.map +1 -1
- package/dist/contact-fields.d.ts +28 -0
- package/dist/contact-fields.d.ts.map +1 -0
- package/dist/contact-fields.js +38 -0
- package/dist/contact-fields.js.map +1 -0
- package/dist/decisions.d.ts +69 -0
- package/dist/decisions.d.ts.map +1 -0
- package/dist/decisions.js +98 -0
- package/dist/decisions.js.map +1 -0
- package/dist/evaluation-context.d.ts +134 -0
- package/dist/evaluation-context.d.ts.map +1 -0
- package/dist/evaluation-context.js +136 -0
- package/dist/evaluation-context.js.map +1 -0
- package/dist/governance.d.ts +84 -0
- package/dist/governance.d.ts.map +1 -0
- package/dist/governance.js +88 -0
- package/dist/governance.js.map +1 -0
- package/dist/grounded-vocabulary.d.ts +29 -0
- package/dist/grounded-vocabulary.d.ts.map +1 -0
- package/dist/grounded-vocabulary.js +110 -0
- package/dist/grounded-vocabulary.js.map +1 -0
- package/dist/household.d.ts +19 -0
- package/dist/household.d.ts.map +1 -0
- package/dist/household.js +41 -0
- package/dist/household.js.map +1 -0
- package/dist/index.d.ts +1091 -3
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1323 -5
- package/dist/index.js.map +1 -1
- package/dist/outcomes.d.ts +47 -0
- package/dist/outcomes.d.ts.map +1 -0
- package/dist/outcomes.js +40 -0
- package/dist/outcomes.js.map +1 -0
- package/dist/participant-vocabulary.d.ts +57 -0
- package/dist/participant-vocabulary.d.ts.map +1 -0
- package/dist/participant-vocabulary.js +66 -0
- package/dist/participant-vocabulary.js.map +1 -0
- package/dist/party-roles.d.ts +115 -0
- package/dist/party-roles.d.ts.map +1 -0
- package/dist/party-roles.js +343 -0
- package/dist/party-roles.js.map +1 -0
- package/dist/payload-classes.d.ts +22 -0
- package/dist/payload-classes.d.ts.map +1 -0
- package/dist/payload-classes.js +30 -0
- package/dist/payload-classes.js.map +1 -0
- package/dist/plan-shapes.d.ts +18 -0
- package/dist/plan-shapes.d.ts.map +1 -0
- package/dist/plan-shapes.js +38 -0
- package/dist/plan-shapes.js.map +1 -0
- package/dist/principles.generated.d.ts +11 -0
- package/dist/principles.generated.d.ts.map +1 -0
- package/dist/principles.generated.js +293 -0
- package/dist/principles.generated.js.map +1 -0
- package/dist/published-works.d.ts +13 -0
- package/dist/published-works.d.ts.map +1 -0
- package/dist/published-works.js +18 -0
- package/dist/published-works.js.map +1 -0
- package/dist/relations.d.ts +44 -0
- package/dist/relations.d.ts.map +1 -0
- package/dist/relations.js +104 -0
- package/dist/relations.js.map +1 -0
- package/dist/run-measures-context.d.ts +74 -0
- package/dist/run-measures-context.d.ts.map +1 -0
- package/dist/run-measures-context.js +77 -0
- package/dist/run-measures-context.js.map +1 -0
- package/dist/run-provenance-context.d.ts +315 -0
- package/dist/run-provenance-context.d.ts.map +1 -0
- package/dist/run-provenance-context.js +323 -0
- package/dist/run-provenance-context.js.map +1 -0
- package/dist/transitions.d.ts +42 -0
- package/dist/transitions.d.ts.map +1 -0
- package/dist/transitions.js +100 -0
- package/dist/transitions.js.map +1 -0
- package/dist/vault-records.d.ts +74 -0
- package/dist/vault-records.d.ts.map +1 -0
- package/dist/vault-records.js +777 -0
- package/dist/vault-records.js.map +1 -0
- package/dist/versions.generated.d.ts +262 -0
- package/dist/versions.generated.d.ts.map +1 -0
- package/dist/versions.generated.js +318 -0
- package/dist/versions.generated.js.map +1 -0
- package/evaluation.jsonld +133 -0
- package/mappings/actor-context-standards.ttl +89 -0
- package/mappings/agent-discovery-standards.ttl +127 -0
- package/mappings/collaboration-crosswalk-actors.ttl +30 -0
- package/mappings/collaboration-crosswalk-authority.ttl +31 -0
- package/mappings/collaboration-crosswalk-guidance.ttl +29 -0
- package/mappings/collaboration-crosswalk-intent.ttl +29 -0
- package/mappings/collaboration-crosswalk-messaging.ttl +37 -0
- package/mappings/collaboration-crosswalk-organization.ttl +66 -0
- package/mappings/collaboration-crosswalk-protocols.ttl +49 -0
- package/mappings/collaboration-crosswalk-skills.ttl +50 -0
- package/mappings/collaboration-profile.ttl +82 -0
- package/mappings/commerce-engagement-crosswalk.ttl +83 -0
- package/mappings/spine-standards.ttl +83 -0
- package/package.json +31 -9
- package/run-measures.jsonld +34 -0
- package/run-provenance.jsonld +314 -0
- package/tbox/actor-context.ttl +145 -0
- package/tbox/agent-resolution.ttl +308 -0
- package/tbox/agreement.ttl +77 -0
- package/tbox/attestation.ttl +156 -0
- package/tbox/card-projection.ttl +350 -0
- package/tbox/constraints.ttl +150 -0
- package/tbox/contact.ttl +61 -0
- package/tbox/content.ttl +76 -0
- package/tbox/context.ttl +508 -0
- package/tbox/coordination.ttl +263 -0
- package/tbox/core.ttl +325 -7
- package/tbox/dcat-imports.ttl +19 -0
- package/tbox/discovery.ttl +273 -0
- package/tbox/dqv-imports.ttl +29 -0
- package/tbox/earl-imports.ttl +32 -0
- package/tbox/engagement.ttl +349 -0
- package/tbox/entitlement.ttl +41 -0
- package/tbox/estate.ttl +78 -0
- package/tbox/evaluation.ttl +330 -0
- package/tbox/execution.ttl +720 -0
- package/tbox/familyoffice.ttl +87 -0
- package/tbox/fulfillment.ttl +140 -0
- package/tbox/geo.ttl +28 -0
- package/tbox/governance.ttl +67 -0
- package/tbox/guidance.ttl +40 -0
- package/tbox/household.ttl +142 -0
- package/tbox/identity.ttl +133 -6
- package/tbox/inference.ttl +177 -0
- package/tbox/intents.ttl +241 -0
- package/tbox/interaction.ttl +297 -0
- package/tbox/messaging.ttl +244 -0
- package/tbox/naming.ttl +114 -0
- package/tbox/org.ttl +410 -0
- package/tbox/payload.ttl +94 -0
- package/tbox/payment.ttl +124 -0
- package/tbox/plan.ttl +169 -0
- package/tbox/principles.ttl +212 -0
- package/tbox/privacy-credential.ttl +436 -0
- package/tbox/profile.ttl +107 -0
- package/tbox/prov-imports.ttl +73 -0
- package/tbox/registry.ttl +382 -0
- package/tbox/resolution.ttl +108 -0
- package/tbox/scope.ttl +59 -0
- package/tbox/security-exposure.ttl +102 -0
- package/tbox/situation.ttl +56 -0
- package/tbox/skills.ttl +316 -0
- package/tbox/skos-imports.ttl +54 -0
- package/tbox/transition.ttl +63 -0
- package/tbox/trust.ttl +210 -0
- package/tbox/values.ttl +81 -0
- package/tbox/verification-receipt.ttl +134 -0
- package/versions.adoption.json +173 -0
|
@@ -0,0 +1,323 @@
|
|
|
1
|
+
// THE RUN-PROVENANCE CONTEXT, AS A CONSTANT — spec 389. The published artifact is `run-provenance.jsonld`
|
|
2
|
+
// at the package root (a stock JSON-LD processor loads it); this is the same object for a Worker, which
|
|
3
|
+
// has no filesystem. `test/unit/run-provenance-graph.test.ts` asserts the two are byte-for-byte the same
|
|
4
|
+
// document, so there is one context, not a file and a copy that drift.
|
|
5
|
+
//
|
|
6
|
+
// Every term here maps to a T-box IRI (`tbox/execution.ttl`, `plan.ttl`, `actor-context.ttl`,
|
|
7
|
+
// `verification-receipt.ttl`, `guidance.ttl`), and the same test checks each against the T-box: a term
|
|
8
|
+
// the ontology does not declare cannot be a field of the record.
|
|
9
|
+
export const RUN_PROVENANCE_CONTEXT = {
|
|
10
|
+
"@context": {
|
|
11
|
+
"@version": 1.1,
|
|
12
|
+
"@base": "urn:ap:prov:",
|
|
13
|
+
"prov": "http://www.w3.org/ns/prov#",
|
|
14
|
+
"p-plan": "http://purl.org/net/p-plan#",
|
|
15
|
+
"ep-plan": "https://w3id.org/ep-plan#",
|
|
16
|
+
"xsd": "http://www.w3.org/2001/XMLSchema#",
|
|
17
|
+
"ap": "https://agenticprimitives.dev/ns/core#",
|
|
18
|
+
"apexec": "https://agenticprimitives.dev/ns/execution#",
|
|
19
|
+
"apactor": "https://agenticprimitives.dev/ns/actor#",
|
|
20
|
+
"apguide": "https://agenticprimitives.dev/ns/guidance#",
|
|
21
|
+
"apdel": "https://agenticprimitives.dev/ns/delegation#",
|
|
22
|
+
"apvr": "https://agenticprimitives.dev/ns/verification-receipt#",
|
|
23
|
+
"apcoord": "https://agenticprimitives.dev/ns/coordination#",
|
|
24
|
+
"apix": "https://agenticprimitives.dev/ns/interaction#",
|
|
25
|
+
"id": "@id",
|
|
26
|
+
"type": "@type",
|
|
27
|
+
"graph": "@graph",
|
|
28
|
+
"startedAtTime": {
|
|
29
|
+
"@id": "prov:startedAtTime",
|
|
30
|
+
"@type": "xsd:dateTime"
|
|
31
|
+
},
|
|
32
|
+
"endedAtTime": {
|
|
33
|
+
"@id": "prov:endedAtTime",
|
|
34
|
+
"@type": "xsd:dateTime"
|
|
35
|
+
},
|
|
36
|
+
"endedAt": {
|
|
37
|
+
"@id": "apexec:endedAt",
|
|
38
|
+
"@type": "xsd:dateTime"
|
|
39
|
+
},
|
|
40
|
+
"wasAssociatedWith": {
|
|
41
|
+
"@id": "prov:wasAssociatedWith",
|
|
42
|
+
"@type": "@id"
|
|
43
|
+
},
|
|
44
|
+
"actedOnBehalfOf": {
|
|
45
|
+
"@id": "prov:actedOnBehalfOf",
|
|
46
|
+
"@type": "@id"
|
|
47
|
+
},
|
|
48
|
+
"wasAttributedTo": {
|
|
49
|
+
"@id": "prov:wasAttributedTo",
|
|
50
|
+
"@type": "@id"
|
|
51
|
+
},
|
|
52
|
+
"used": {
|
|
53
|
+
"@id": "prov:used",
|
|
54
|
+
"@type": "@id",
|
|
55
|
+
"@container": "@set"
|
|
56
|
+
},
|
|
57
|
+
"usedDelegation": {
|
|
58
|
+
"@id": "apvr:usedDelegation",
|
|
59
|
+
"@type": "@id"
|
|
60
|
+
},
|
|
61
|
+
"generated": {
|
|
62
|
+
"@id": "prov:generated",
|
|
63
|
+
"@type": "@id",
|
|
64
|
+
"@container": "@set"
|
|
65
|
+
},
|
|
66
|
+
"wasGeneratedBy": {
|
|
67
|
+
"@id": "prov:wasGeneratedBy",
|
|
68
|
+
"@type": "@id"
|
|
69
|
+
},
|
|
70
|
+
"wasInformedBy": {
|
|
71
|
+
"@id": "prov:wasInformedBy",
|
|
72
|
+
"@type": "@id",
|
|
73
|
+
"@container": "@set"
|
|
74
|
+
},
|
|
75
|
+
"wasDerivedFrom": {
|
|
76
|
+
"@id": "prov:wasDerivedFrom",
|
|
77
|
+
"@type": "@id",
|
|
78
|
+
"@container": "@set"
|
|
79
|
+
},
|
|
80
|
+
"wasRevisionOf": {
|
|
81
|
+
"@id": "prov:wasRevisionOf",
|
|
82
|
+
"@type": "@id"
|
|
83
|
+
},
|
|
84
|
+
"qualifiedAssociation": {
|
|
85
|
+
"@id": "prov:qualifiedAssociation",
|
|
86
|
+
"@container": "@set"
|
|
87
|
+
},
|
|
88
|
+
"agent": {
|
|
89
|
+
"@id": "prov:agent",
|
|
90
|
+
"@type": "@id"
|
|
91
|
+
},
|
|
92
|
+
"hadPlan": {
|
|
93
|
+
"@id": "prov:hadPlan",
|
|
94
|
+
"@type": "@id"
|
|
95
|
+
},
|
|
96
|
+
"hadRole": {
|
|
97
|
+
"@id": "prov:hadRole",
|
|
98
|
+
"@type": "@id"
|
|
99
|
+
},
|
|
100
|
+
"hasTraceElement": {
|
|
101
|
+
"@id": "ep-plan:hasTraceElement",
|
|
102
|
+
"@type": "@id",
|
|
103
|
+
"@container": "@set"
|
|
104
|
+
},
|
|
105
|
+
"isStepOfPlan": {
|
|
106
|
+
"@id": "p-plan:isStepOfPlan",
|
|
107
|
+
"@type": "@id"
|
|
108
|
+
},
|
|
109
|
+
"isPrecededBy": {
|
|
110
|
+
"@id": "p-plan:isPrecededBy",
|
|
111
|
+
"@type": "@id"
|
|
112
|
+
},
|
|
113
|
+
"correspondsToStep": {
|
|
114
|
+
"@id": "p-plan:correspondsToStep",
|
|
115
|
+
"@type": "@id"
|
|
116
|
+
},
|
|
117
|
+
"isDecomposedAsPlan": {
|
|
118
|
+
"@id": "ep-plan:isDecomposedAsPlan",
|
|
119
|
+
"@type": "@id"
|
|
120
|
+
},
|
|
121
|
+
"hasStep": {
|
|
122
|
+
"@id": "apexec:hasStep",
|
|
123
|
+
"@type": "@id",
|
|
124
|
+
"@container": "@set"
|
|
125
|
+
},
|
|
126
|
+
"runRef": "apexec:runRef",
|
|
127
|
+
"intentDigest": "apexec:intentDigest",
|
|
128
|
+
"completionState": {
|
|
129
|
+
"@id": "apexec:completionState",
|
|
130
|
+
"@type": "@vocab"
|
|
131
|
+
},
|
|
132
|
+
"receiptDigest": "apexec:receiptDigest",
|
|
133
|
+
"usedPlanContentHash": "apexec:usedPlanContentHash",
|
|
134
|
+
"realizesCapability": {
|
|
135
|
+
"@id": "apexec:realizesCapability",
|
|
136
|
+
"@type": "@id"
|
|
137
|
+
},
|
|
138
|
+
"authorityDecision": "apexec:authorityDecision",
|
|
139
|
+
"afterApproval": {
|
|
140
|
+
"@id": "apexec:afterApproval",
|
|
141
|
+
"@type": "xsd:boolean"
|
|
142
|
+
},
|
|
143
|
+
"chainDigest": "apexec:chainDigest",
|
|
144
|
+
"accountabilityRoot": {
|
|
145
|
+
"@id": "apexec:accountabilityRoot",
|
|
146
|
+
"@type": "@id"
|
|
147
|
+
},
|
|
148
|
+
"actorContext": {
|
|
149
|
+
"@id": "apexec:actorContext",
|
|
150
|
+
"@type": "@id"
|
|
151
|
+
},
|
|
152
|
+
"delegatedToAgent": {
|
|
153
|
+
"@id": "apexec:delegatedToAgent",
|
|
154
|
+
"@type": "@id"
|
|
155
|
+
},
|
|
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
|
+
},
|
|
166
|
+
"traceId": "apexec:traceId",
|
|
167
|
+
"spanId": "apexec:spanId",
|
|
168
|
+
"estate": "apexec:estate",
|
|
169
|
+
"effectProduces": "apexec:effectProduces",
|
|
170
|
+
"effectSucceeded": {
|
|
171
|
+
"@id": "apexec:effectSucceeded",
|
|
172
|
+
"@type": "xsd:boolean"
|
|
173
|
+
},
|
|
174
|
+
"decisionPoint": "apexec:decisionPoint",
|
|
175
|
+
"decisionRule": "apexec:decisionRule",
|
|
176
|
+
"artifactBytes": {
|
|
177
|
+
"@id": "apexec:artifactBytes",
|
|
178
|
+
"@type": "xsd:integer"
|
|
179
|
+
},
|
|
180
|
+
"artifactDigest": "apexec:artifactDigest",
|
|
181
|
+
"actingAgent": {
|
|
182
|
+
"@id": "apactor:actingAgent",
|
|
183
|
+
"@type": "@id"
|
|
184
|
+
},
|
|
185
|
+
"originatingAgent": {
|
|
186
|
+
"@id": "apactor:originatingAgent",
|
|
187
|
+
"@type": "@id"
|
|
188
|
+
},
|
|
189
|
+
"rootPrincipal": {
|
|
190
|
+
"@id": "apactor:rootPrincipal",
|
|
191
|
+
"@type": "@id"
|
|
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
|
+
},
|
|
278
|
+
"Agent": "ap:Agent",
|
|
279
|
+
"SoftwareAgent": "prov:SoftwareAgent",
|
|
280
|
+
"Person": "prov:Person",
|
|
281
|
+
"Organization": "prov:Organization",
|
|
282
|
+
"AgentRuntime": "apexec:AgentRuntime",
|
|
283
|
+
"Activity": "prov:Activity",
|
|
284
|
+
"Entity": "prov:Entity",
|
|
285
|
+
"Plan": "p-plan:Plan",
|
|
286
|
+
"Step": "p-plan:Step",
|
|
287
|
+
"Bundle": "prov:Bundle",
|
|
288
|
+
"Association": "prov:Association",
|
|
289
|
+
"ExecutionTraceBundle": "ep-plan:ExecutionTraceBundle",
|
|
290
|
+
"FailedActivity": "ep-plan:FailedActivity",
|
|
291
|
+
"ServiceExecution": "apexec:ServiceExecution",
|
|
292
|
+
"SkillExecution": "apexec:SkillExecution",
|
|
293
|
+
"ExecutionPlan": "apexec:ExecutionPlan",
|
|
294
|
+
"AgentSkillPackage": "apguide:AgentSkillPackage",
|
|
295
|
+
"Delegation": "apdel:Delegation",
|
|
296
|
+
"StepReceipt": "apexec:StepReceipt",
|
|
297
|
+
"ChainTransaction": "apexec:ChainTransaction",
|
|
298
|
+
"Effect": "apexec:Effect",
|
|
299
|
+
"DecisionRecord": "apexec:DecisionRecord",
|
|
300
|
+
"RunArtifact": "apexec:RunArtifact",
|
|
301
|
+
"ActorContext": "apactor:ActorContext",
|
|
302
|
+
"CommunicationDelivery": "apix:CommunicationDelivery",
|
|
303
|
+
"IntentInvocation": "apix:IntentInvocation",
|
|
304
|
+
"OrchestratedTask": "apix:OrchestratedTask",
|
|
305
|
+
"CoordinationPlan": "apcoord:CoordinationPlan",
|
|
306
|
+
"PlanStep": "apcoord:PlanStep",
|
|
307
|
+
"Door": "apexec:Door",
|
|
308
|
+
"ModelInvocation": "apexec:ModelInvocation",
|
|
309
|
+
"Variant": "apexec:Variant",
|
|
310
|
+
"StartingState": "apexec:StartingState",
|
|
311
|
+
"CapabilityEngagement": "apexec:CapabilityEngagement",
|
|
312
|
+
"Completed": "apexec:Completed",
|
|
313
|
+
"Failed": "apexec:Failed",
|
|
314
|
+
"Refused": "apexec:Refused",
|
|
315
|
+
"Skipped": "apexec:Skipped",
|
|
316
|
+
"Suspended": "apexec:Suspended",
|
|
317
|
+
"attempted": "apexec:attempted",
|
|
318
|
+
"accepted": "apexec:accepted",
|
|
319
|
+
"committed": "apexec:committed",
|
|
320
|
+
"confirmed": "apexec:confirmed"
|
|
321
|
+
}
|
|
322
|
+
};
|
|
323
|
+
//# sourceMappingURL=run-provenance-context.js.map
|
|
@@ -0,0 +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,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"}
|
|
@@ -0,0 +1,74 @@
|
|
|
1
|
+
/** Whose vault a record of this kind normally lives in. Narrows which subjects are worth READING for a
|
|
2
|
+
* question; never who may read them. */
|
|
3
|
+
export type VaultRecordOwner = 'person' | 'organization' | 'either';
|
|
4
|
+
/**
|
|
5
|
+
* WHAT A RECORD IS FOR — and the reason "unbound" needed to stop being one word for two things.
|
|
6
|
+
*
|
|
7
|
+
* `entity` — a THING the ontology describes. A question may reach it, because asking "what endeavors
|
|
8
|
+
* do I have" and reading `coordination.endeavor:*` are the same act.
|
|
9
|
+
* `index` — a PROJECTION over entities: an index, a cursor, a name map, an event log. Deliberately
|
|
10
|
+
* not askable. Binding one would let a question be answered from a cache rather than from
|
|
11
|
+
* the records, and the cache is exactly the thing that goes stale (ADR-0055).
|
|
12
|
+
*
|
|
13
|
+
* A record type that appears in neither list is UNCLASSIFIED, which is a gap rather than a decision —
|
|
14
|
+
* `scripts/vault-ontology-coverage.mts` prints those, and they are the work queue.
|
|
15
|
+
*/
|
|
16
|
+
export type VaultRecordRole = 'entity' | 'index';
|
|
17
|
+
export interface VaultRecordBinding {
|
|
18
|
+
/** The record-type key. `exact` for a singleton, `prefix` for a keyed family (`coordination.endeavor:`). */
|
|
19
|
+
match: {
|
|
20
|
+
exact?: string;
|
|
21
|
+
prefix?: string;
|
|
22
|
+
};
|
|
23
|
+
/** What a record of this kind IS — an `owl:Class` the T-box declares. Bound by IRI, checked at build. */
|
|
24
|
+
class: string;
|
|
25
|
+
/** The words a person would use for it. Rendered INTO a planner's grounding, never written there. */
|
|
26
|
+
label: string;
|
|
27
|
+
/** Plural, for the sentence an answer is made of ("3 endeavors"). */
|
|
28
|
+
plural: string;
|
|
29
|
+
ownedBy: VaultRecordOwner;
|
|
30
|
+
/** Default `entity`. An `index` is never offered as something a question can be answered from. */
|
|
31
|
+
role?: VaultRecordRole;
|
|
32
|
+
/**
|
|
33
|
+
* FIELD → T-BOX PROPERTY, for records this repo authors.
|
|
34
|
+
*
|
|
35
|
+
* The point of the whole exercise: a record should be readable BY the ontology rather than interpreted
|
|
36
|
+
* INTO it. When the field names ARE the property names, "who are the members" is a lookup; when they
|
|
37
|
+
* are not, something has to know that `orgAgent` here means the member and there means the org — and
|
|
38
|
+
* that something is a person reading code, or a model guessing.
|
|
39
|
+
*
|
|
40
|
+
* PATHS. `a.b` is a nested field; `[]` is the element of an array; `{}` is the KEY of a map — that last
|
|
41
|
+
* one matters, because `relationships.data` keys its entries BY the organization's address, and a
|
|
42
|
+
* reader that does not know the key is the org has to be told, somewhere, by someone.
|
|
43
|
+
*
|
|
44
|
+
* MAP ONLY WHAT GENUINELY CORRESPONDS. A field mapped to a property that means something slightly
|
|
45
|
+
* different is worse than an unmapped field: unmapped is honest, and a plausible wrong mapping is
|
|
46
|
+
* believed. Where a record's fields correspond to nothing the T-box declares, it carries no map and
|
|
47
|
+
* `scripts/vault-ontology-coverage.mts` counts it — that gap is the work queue, and closing it means
|
|
48
|
+
* either declaring the property or reshaping the record on its next write.
|
|
49
|
+
*
|
|
50
|
+
* `check:ontology-bindings` verifies every IRI exists in the T-box, so a mapping cannot invent a
|
|
51
|
+
* property any more than a binding can invent a class.
|
|
52
|
+
*/
|
|
53
|
+
properties?: Record<string, string>;
|
|
54
|
+
}
|
|
55
|
+
/**
|
|
56
|
+
* The record kinds this substrate stores, each bound to what it IS.
|
|
57
|
+
*
|
|
58
|
+
* Deliberately not exhaustive over every key a vault may hold: an unbound key is UNCLASSIFIED, which is an
|
|
59
|
+
* honest state and the one that keeps this table from becoming a place to invent meanings. A question over
|
|
60
|
+
* an unbound kind is refused by name (spec 356 §2.3), never answered from a guess.
|
|
61
|
+
*/
|
|
62
|
+
export declare const VAULT_RECORD_BINDINGS: readonly VaultRecordBinding[];
|
|
63
|
+
/** What this record key IS, or `undefined` when nothing binds it. Longest match first, so a family and the
|
|
64
|
+
* narrower family inside it (`…endeavor:` and `…endeavor:events:`) cannot be confused for one another. */
|
|
65
|
+
export declare function bindingForRecordType(recordType: string): VaultRecordBinding | undefined;
|
|
66
|
+
/** The kinds a question may be ASKED about — label → class. The askable set is this, never the model's. */
|
|
67
|
+
export declare function askableRecordKinds(): Array<{
|
|
68
|
+
label: string;
|
|
69
|
+
plural: string;
|
|
70
|
+
class: string;
|
|
71
|
+
}>;
|
|
72
|
+
/** Every record type bound to this class — what a query over a kind must actually read. */
|
|
73
|
+
export declare function recordTypesForClass(classIri: string): VaultRecordBinding[];
|
|
74
|
+
//# sourceMappingURL=vault-records.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"vault-records.d.ts","sourceRoot":"","sources":["../src/vault-records.ts"],"names":[],"mappings":"AAmDA;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,EAysB9D,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"}
|