@ixo/topic-protocol 0.8.0 → 1.0.0-rc.1
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 +6 -1
- package/dist/schemas/decision-to-pay-template-v2.schema.json +301 -0
- package/dist/schemas/payable-obligation-v2.schema.json +319 -0
- package/dist/schemas/payment-terms-v2.schema.json +238 -0
- package/dist/schemas/topic-contract-body.schema.json +66 -0
- package/dist/schemas/topic-contract-state.schema.json +63 -295
- package/dist/schemas/topic-recipe.schema.json +19 -0
- package/dist/schemas/topic-root.schema.json +17 -1
- package/dist/schemas/topic-shape.schema.json +79 -0
- package/dist/src/contracts/schemas.d.ts +3417 -1822
- package/dist/src/contracts/schemas.js +12 -0
- package/dist/src/contracts/schemas.js.map +1 -1
- package/dist/src/contracts/topic-contract.d.ts +30 -5
- package/dist/src/contracts/topic-contract.js +3 -1
- package/dist/src/contracts/topic-contract.js.map +1 -1
- package/dist/src/errors.d.ts +1 -1
- package/dist/src/errors.js.map +1 -1
- package/dist/src/index.d.ts +10 -2
- package/dist/src/index.js +9 -1
- package/dist/src/index.js.map +1 -1
- package/dist/src/projector/types.d.ts +9 -1
- package/dist/src/projector/types.js.map +1 -1
- package/dist/src/shapes/canonical.d.ts +2 -0
- package/dist/src/shapes/canonical.js +20 -0
- package/dist/src/shapes/canonical.js.map +1 -0
- package/dist/src/shapes/claims.d.ts +12 -0
- package/dist/src/shapes/claims.js +20 -0
- package/dist/src/shapes/claims.js.map +1 -0
- package/dist/src/shapes/now.d.ts +2 -0
- package/dist/src/shapes/now.js +42 -0
- package/dist/src/shapes/now.js.map +1 -0
- package/dist/src/shapes/progress.d.ts +3 -0
- package/dist/src/shapes/progress.js +176 -0
- package/dist/src/shapes/progress.js.map +1 -0
- package/dist/src/shapes/recipes.d.ts +5 -0
- package/dist/src/shapes/recipes.js +337 -0
- package/dist/src/shapes/recipes.js.map +1 -0
- package/dist/src/shapes/resolver.d.ts +14 -0
- package/dist/src/shapes/resolver.js +111 -0
- package/dist/src/shapes/resolver.js.map +1 -0
- package/dist/src/shapes/state.d.ts +53 -0
- package/dist/src/shapes/state.js +2 -0
- package/dist/src/shapes/state.js.map +1 -0
- package/dist/src/shapes/types.d.ts +241 -0
- package/dist/src/shapes/types.js +42 -0
- package/dist/src/shapes/types.js.map +1 -0
- package/package.json +3 -1
- package/recipes/README.md +12 -0
- package/recipes/agent-delivery.json +607 -0
- package/recipes/registry.json +41 -0
- package/recipes/research-brief.json +460 -0
- package/recipes/verified-work-payment.json +663 -0
- package/templates/decision-to-pay/README.md +27 -19
- package/templates/decision-to-pay/verified-work-payment.v0.2.template.json +319 -0
|
@@ -0,0 +1,176 @@
|
|
|
1
|
+
import { SHAPE_PHASES } from "./types.js";
|
|
2
|
+
const CONDITION_PRIORITY = {
|
|
3
|
+
disputed: 700,
|
|
4
|
+
failed: 650,
|
|
5
|
+
blocked: 600,
|
|
6
|
+
waiting: 500,
|
|
7
|
+
"needs-input": 400,
|
|
8
|
+
"needs-acceptance": 350,
|
|
9
|
+
"on-track": 0,
|
|
10
|
+
};
|
|
11
|
+
function terminal(axis, state) {
|
|
12
|
+
return axis.states.some((candidate) => candidate.code === state && candidate.terminal === true);
|
|
13
|
+
}
|
|
14
|
+
function phaseIndex(phase) {
|
|
15
|
+
return SHAPE_PHASES.indexOf(phase);
|
|
16
|
+
}
|
|
17
|
+
function activePhase(input) {
|
|
18
|
+
if (input.status === "archived" || input.status === "redirected")
|
|
19
|
+
return "dormant";
|
|
20
|
+
const axes = [...(input.shape?.shape.axes ?? [])].sort((left, right) => phaseIndex(left.phase) - phaseIndex(right.phase));
|
|
21
|
+
const incomplete = axes.find((axis) => axis.required && !terminal(axis, input.axisStates[axis.code]));
|
|
22
|
+
return incomplete?.phase ?? "complete";
|
|
23
|
+
}
|
|
24
|
+
function sourceMatches(source, kind, type, status) {
|
|
25
|
+
if (source.kind !== kind || source.type !== type)
|
|
26
|
+
return false;
|
|
27
|
+
return status === undefined || source.status === status;
|
|
28
|
+
}
|
|
29
|
+
function gateSatisfied(gate, input) {
|
|
30
|
+
if (gate.kind === "axis")
|
|
31
|
+
return gate.states.includes(input.axisStates[gate.axis] ?? "");
|
|
32
|
+
if (gate.kind === "field") {
|
|
33
|
+
const fields = gate.predicate === "accepted" ? input.acceptedFields : input.presentFields;
|
|
34
|
+
return fields?.includes(gate.path) === true;
|
|
35
|
+
}
|
|
36
|
+
if (gate.kind === "field-any") {
|
|
37
|
+
const fields = gate.predicate === "accepted" ? input.acceptedFields : input.presentFields;
|
|
38
|
+
return gate.paths.some((path) => fields?.includes(path) === true);
|
|
39
|
+
}
|
|
40
|
+
if (gate.kind === "binding")
|
|
41
|
+
return input.bindings?.includes(gate.type) === true;
|
|
42
|
+
if (gate.kind === "condition")
|
|
43
|
+
return input.block !== undefined && gate.states.includes(input.block.condition);
|
|
44
|
+
return input.sources.some((source) => sourceMatches(source, gate.kind, gate.type, gate.status));
|
|
45
|
+
}
|
|
46
|
+
function transitionCandidate(transition, input) {
|
|
47
|
+
const gateStatus = transition.gates.map((gate) => ({ gate, satisfied: gateSatisfied(gate, input) }));
|
|
48
|
+
const actors = transition.assignedTo.kind === "role" ? input.actorAssignments?.[transition.assignedTo.value] : [transition.assignedTo.value];
|
|
49
|
+
return {
|
|
50
|
+
transition,
|
|
51
|
+
...(actors?.[0] === undefined ? {} : { assignedActor: actors[0] }),
|
|
52
|
+
gateStatus,
|
|
53
|
+
};
|
|
54
|
+
}
|
|
55
|
+
function matchingTransitions(input, phase) {
|
|
56
|
+
const transitions = input.shape?.shape.transitions ?? [];
|
|
57
|
+
const recovery = transitions.filter(({ gates }) => gates.some(({ kind }) => kind === "condition"));
|
|
58
|
+
const available = input.block === undefined ? transitions.filter(({ gates }) => gates.every(({ kind }) => kind !== "condition")) : recovery;
|
|
59
|
+
return available
|
|
60
|
+
.filter(({ predecessor, phase: transitionPhase }) => (input.block !== undefined || transitionPhase === phase) && input.axisStates[predecessor.axis] === predecessor.state)
|
|
61
|
+
.map((transition) => transitionCandidate(transition, input));
|
|
62
|
+
}
|
|
63
|
+
function sourceCondition(input) {
|
|
64
|
+
if (input.sources.some(({ status }) => status === "disputed"))
|
|
65
|
+
return "disputed";
|
|
66
|
+
if (input.sources.some(({ status }) => status === "failed"))
|
|
67
|
+
return "failed";
|
|
68
|
+
return undefined;
|
|
69
|
+
}
|
|
70
|
+
function deriveCondition(input, phase, matches) {
|
|
71
|
+
if (input.shape === undefined || !input.historyCompatible)
|
|
72
|
+
return "degraded";
|
|
73
|
+
const conditions = [];
|
|
74
|
+
const observed = sourceCondition(input);
|
|
75
|
+
if (observed !== undefined)
|
|
76
|
+
conditions.push(observed);
|
|
77
|
+
if (input.block !== undefined)
|
|
78
|
+
conditions.push(input.block.condition);
|
|
79
|
+
if (conditions.length > 0)
|
|
80
|
+
return conditions.sort((left, right) => CONDITION_PRIORITY[right] - CONDITION_PRIORITY[left])[0] ?? "on-track";
|
|
81
|
+
if (matches.some(({ gateStatus }) => gateStatus.some(({ gate, satisfied }) => (gate.kind === "field" || gate.kind === "field-any") && !satisfied)))
|
|
82
|
+
return "needs-input";
|
|
83
|
+
if (phase === "forming")
|
|
84
|
+
return "needs-acceptance";
|
|
85
|
+
return "on-track";
|
|
86
|
+
}
|
|
87
|
+
function phaseTag(input, phase) {
|
|
88
|
+
const axis = input.shape?.shape.axes.find((candidate) => candidate.phase === phase);
|
|
89
|
+
return {
|
|
90
|
+
code: `phase:${phase}`,
|
|
91
|
+
source: axis === undefined
|
|
92
|
+
? { progressRule: `phase:${phase}` }
|
|
93
|
+
: { axis: axis.code, state: input.axisStates[axis.code] ?? axis.initialState },
|
|
94
|
+
priority: 100,
|
|
95
|
+
tone: phase === "complete" ? "positive" : "neutral",
|
|
96
|
+
provenance: input.sources.map(({ id }) => id),
|
|
97
|
+
};
|
|
98
|
+
}
|
|
99
|
+
function conditionTone(condition) {
|
|
100
|
+
if (condition === "disputed" || condition === "failed")
|
|
101
|
+
return "critical";
|
|
102
|
+
if (condition === "blocked" || condition === "degraded")
|
|
103
|
+
return "warning";
|
|
104
|
+
if (condition === "waiting")
|
|
105
|
+
return "info";
|
|
106
|
+
if (condition === "needs-input" || condition === "needs-acceptance")
|
|
107
|
+
return "attention";
|
|
108
|
+
return "neutral";
|
|
109
|
+
}
|
|
110
|
+
function stateTags(input, phase, condition) {
|
|
111
|
+
const tags = [phaseTag(input, phase)];
|
|
112
|
+
if (condition === "on-track")
|
|
113
|
+
return tags;
|
|
114
|
+
return [...tags, {
|
|
115
|
+
code: `condition:${condition}`,
|
|
116
|
+
source: { progressRule: `condition:${condition}` },
|
|
117
|
+
priority: condition === "degraded" ? 800 : CONDITION_PRIORITY[condition],
|
|
118
|
+
tone: conditionTone(condition),
|
|
119
|
+
provenance: input.block === undefined ? input.sources.map(({ id }) => id) : [input.block.sourceId],
|
|
120
|
+
}];
|
|
121
|
+
}
|
|
122
|
+
function reasonCode(phase, condition, candidates) {
|
|
123
|
+
if (phase === "dormant")
|
|
124
|
+
return "topic-dormant";
|
|
125
|
+
if (condition !== "on-track")
|
|
126
|
+
return `topic-${condition}`;
|
|
127
|
+
if (phase === "complete")
|
|
128
|
+
return candidates.some(({ transition }) => transition.completesTopic === true)
|
|
129
|
+
? "topic-completion-required"
|
|
130
|
+
: "topic-complete";
|
|
131
|
+
return `topic-${phase}`;
|
|
132
|
+
}
|
|
133
|
+
export function projectTopicProgress(input) {
|
|
134
|
+
const phase = activePhase(input);
|
|
135
|
+
const matches = phase === "dormant" ? [] : matchingTransitions(input, phase);
|
|
136
|
+
const condition = deriveCondition(input, phase, matches);
|
|
137
|
+
const suppress = phase === "dormant" || condition === "degraded";
|
|
138
|
+
const candidates = suppress ? [] : matches.filter(({ gateStatus }) => gateStatus.every(({ satisfied }) => satisfied));
|
|
139
|
+
return {
|
|
140
|
+
version: 1,
|
|
141
|
+
topicId: input.topicId,
|
|
142
|
+
topicRevision: input.topicRevision,
|
|
143
|
+
contractRevision: input.contractRevision,
|
|
144
|
+
shapeDigest: input.shape?.digest ?? "sha256:0000000000000000000000000000000000000000000000000000000000000000",
|
|
145
|
+
phase,
|
|
146
|
+
condition,
|
|
147
|
+
reasonCode: reasonCode(phase, condition, candidates),
|
|
148
|
+
axisStates: input.axisStates,
|
|
149
|
+
stateTags: stateTags(input, phase, condition),
|
|
150
|
+
candidates,
|
|
151
|
+
provenance: input.sources.map(({ id }) => id),
|
|
152
|
+
...(input.block === undefined ? {} : { block: input.block }),
|
|
153
|
+
};
|
|
154
|
+
}
|
|
155
|
+
function evidenceMatches(source, transition) {
|
|
156
|
+
const evidence = transition.evidence;
|
|
157
|
+
if (source.kind !== evidence.kind || source.type !== evidence.type)
|
|
158
|
+
return false;
|
|
159
|
+
if (evidence.finality === undefined)
|
|
160
|
+
return true;
|
|
161
|
+
return source.finality === evidence.finality;
|
|
162
|
+
}
|
|
163
|
+
export function replayTopicShape(input, initialAxisStates = {}) {
|
|
164
|
+
const axes = input.shape?.shape.axes ?? [];
|
|
165
|
+
let states = Object.fromEntries(axes.map((axis) => [axis.code, initialAxisStates[axis.code] ?? axis.initialState]));
|
|
166
|
+
for (const source of input.sources) {
|
|
167
|
+
const replayInput = { ...input, axisStates: states };
|
|
168
|
+
const transition = input.shape?.shape.transitions.find((candidate) => states[candidate.predecessor.axis] === candidate.predecessor.state
|
|
169
|
+
&& evidenceMatches(source, candidate)
|
|
170
|
+
&& candidate.gates.every((gate) => gateSatisfied(gate, replayInput)));
|
|
171
|
+
if (transition !== undefined)
|
|
172
|
+
states = { ...states, [transition.target.axis]: transition.target.state };
|
|
173
|
+
}
|
|
174
|
+
return states;
|
|
175
|
+
}
|
|
176
|
+
//# sourceMappingURL=progress.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"progress.js","sourceRoot":"","sources":["../../../src/shapes/progress.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,MAAM,kBAAkB,GAAG;IACzB,QAAQ,EAAE,GAAG;IACb,MAAM,EAAE,GAAG;IACX,OAAO,EAAE,GAAG;IACZ,OAAO,EAAE,GAAG;IACZ,aAAa,EAAE,GAAG;IAClB,kBAAkB,EAAE,GAAG;IACvB,UAAU,EAAE,CAAC;CACL,CAAC;AAEX,SAAS,QAAQ,CAAC,IAAsB,EAAE,KAAyB;IACjE,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,KAAK,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,UAAU,CAAC,KAAmB;IACrC,OAAO,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,WAAW,CAAC,KAA2B;IAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IACnF,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1H,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtG,OAAO,UAAU,EAAE,KAAK,IAAI,UAAU,CAAC;AACzC,CAAC;AAED,SAAS,aAAa,CAAC,MAA6B,EAAE,IAAY,EAAE,IAAY,EAAE,MAAe;IAC/F,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC/D,OAAO,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC;AAC1D,CAAC;AAED,SAAS,aAAa,CAAC,IAAiB,EAAE,KAA2B;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACzF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;QAC1F,OAAO,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;IAC9C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;QAC1F,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;IACjF,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC/G,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,mBAAmB,CAAC,UAA6B,EAAE,KAA2B;IACrF,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACrG,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC7I,OAAO;QACL,UAAU;QACV,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,UAAU;KACX,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA2B,EAAE,KAAmB;IAC3E,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC;IACzD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC;IACnG,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC5I,OAAO,SAAS;SACb,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,eAAe,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,KAAK,CAAC;SACzK,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,mBAAmB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,eAAe,CAAC,KAA2B;IAClD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACjF,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC7E,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CACtB,KAA2B,EAC3B,KAAmB,EACnB,OAA8C;IAE9C,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,iBAAiB;QAAE,OAAO,UAAU,CAAC;IAC7E,MAAM,UAAU,GAAyD,EAAE,CAAC;IAC5E,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,QAAQ,KAAK,SAAS;QAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACtE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC;IAC1I,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAAE,OAAO,aAAa,CAAC;IACzK,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,kBAAkB,CAAC;IACnD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,QAAQ,CAAC,KAA2B,EAAE,KAAmB;IAChE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IACpF,OAAO;QACL,IAAI,EAAE,SAAS,KAAK,EAAE;QACtB,MAAM,EAAE,IAAI,KAAK,SAAS;YACxB,CAAC,CAAC,EAAE,YAAY,EAAE,SAAS,KAAK,EAAE,EAAE;YACpC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE;QAChF,QAAQ,EAAE,GAAG;QACb,IAAI,EAAE,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;QACnD,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,SAAiD;IACtE,IAAI,SAAS,KAAK,UAAU,IAAI,SAAS,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC;IAC1E,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAC1E,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAC3C,IAAI,SAAS,KAAK,aAAa,IAAI,SAAS,KAAK,kBAAkB;QAAE,OAAO,WAAW,CAAC;IACxF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAChB,KAA2B,EAC3B,KAAmB,EACnB,SAAiD;IAEjD,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACtC,IAAI,SAAS,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAC1C,OAAO,CAAC,GAAG,IAAI,EAAE;YACf,IAAI,EAAE,aAAa,SAAS,EAAE;YAC9B,MAAM,EAAE,EAAE,YAAY,EAAE,aAAa,SAAS,EAAE,EAAE;YAClD,QAAQ,EAAE,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,kBAAkB,CAAC,SAAS,CAAC;YACxE,IAAI,EAAE,aAAa,CAAC,SAAS,CAAC;YAC9B,UAAU,EAAE,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC;SACnG,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CACjB,KAAmB,EACnB,SAAiD,EACjD,UAAiD;IAEjD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,eAAe,CAAC;IAChD,IAAI,SAAS,KAAK,UAAU;QAAE,OAAO,SAAS,SAAS,EAAE,CAAC;IAC1D,IAAI,KAAK,KAAK,UAAU;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,KAAK,IAAI,CAAC;YACtG,CAAC,CAAC,2BAA2B;YAC7B,CAAC,CAAC,gBAAgB,CAAC;IACrB,OAAO,SAAS,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAA2B;IAC9D,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,KAAK,KAAK,SAAS,IAAI,SAAS,KAAK,UAAU,CAAC;IACjE,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IACtH,OAAO;QACL,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,WAAW,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,IAAI,yEAAyE;QAC7G,KAAK;QACL,SAAS;QACT,UAAU,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC;QACpD,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC;QAC7C,UAAU;QACV,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;QAC7C,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,MAA6B,EAAE,UAA6B;IACnF,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;IACrC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACjF,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACjD,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,KAA+C,EAC/C,oBAAsD,EAAE;IAExD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;IAC3C,IAAI,MAAM,GAAqC,MAAM,CAAC,WAAW,CAC/D,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC,CACnF,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,MAAM,WAAW,GAAyB,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;QAC3E,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACnE,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,WAAW,CAAC,KAAK;eAC/D,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC;eAClC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;QACxE,IAAI,UAAU,KAAK,SAAS;YAAE,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IAC1G,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
|
|
@@ -0,0 +1,5 @@
|
|
|
1
|
+
import type { BaseRecipeCodeV1, TopicRecipeV1, TopicShapeOverlayV1, TopicShapeV1 } from "./types.js";
|
|
2
|
+
import type { PersistedTopicKind } from "../contracts/topic-contract.js";
|
|
3
|
+
export declare const KIND_SHAPE_REGISTRY: Readonly<Record<PersistedTopicKind, TopicShapeOverlayV1>>;
|
|
4
|
+
export declare const BASE_RECIPE_REGISTRY: Readonly<Record<BaseRecipeCodeV1, TopicShapeV1>>;
|
|
5
|
+
export declare const TOPIC_RECIPE_REGISTRY: Readonly<Record<TopicRecipeV1["code"], TopicRecipeV1>>;
|
|
@@ -0,0 +1,337 @@
|
|
|
1
|
+
function transition(input) {
|
|
2
|
+
return {
|
|
3
|
+
code: input.code,
|
|
4
|
+
phase: input.phase,
|
|
5
|
+
predecessor: { axis: input.from[0], state: input.from[1] },
|
|
6
|
+
target: { axis: input.to[0], state: input.to[1] },
|
|
7
|
+
command: input.command,
|
|
8
|
+
requiredAbility: input.ability,
|
|
9
|
+
assignedTo: { kind: input.assignee[0], value: input.assignee[1] },
|
|
10
|
+
gates: input.gates ?? [],
|
|
11
|
+
confirmation: input.confirmation ?? "none",
|
|
12
|
+
consequence: input.consequence ?? "shared-state",
|
|
13
|
+
evidence: input.evidence,
|
|
14
|
+
...(input.completesTopic === undefined ? {} : { completesTopic: input.completesTopic }),
|
|
15
|
+
...(input.handoff === undefined ? {} : { handoff: input.handoff }),
|
|
16
|
+
presentation: { reasonCode: input.reasonCode ?? input.code },
|
|
17
|
+
};
|
|
18
|
+
}
|
|
19
|
+
function axis(code, phase, initialState, terminalState, intermediateStates = []) {
|
|
20
|
+
return {
|
|
21
|
+
code,
|
|
22
|
+
phase,
|
|
23
|
+
required: true,
|
|
24
|
+
initialState,
|
|
25
|
+
states: [
|
|
26
|
+
{ code: initialState },
|
|
27
|
+
...intermediateStates.map((state) => ({ code: state })),
|
|
28
|
+
{ code: terminalState, terminal: true },
|
|
29
|
+
],
|
|
30
|
+
};
|
|
31
|
+
}
|
|
32
|
+
const OPERATION = (type) => ({ kind: "operation", type });
|
|
33
|
+
const RECORD = (type) => ({ kind: "record", type, finality: "accepted" });
|
|
34
|
+
const RECEIPT = (type) => ({ kind: "receipt", type, finality: "final" });
|
|
35
|
+
const CONTRACT_AXIS = axis("contract", "forming", "draft", "accepted");
|
|
36
|
+
const WORK_AXIS = axis("work", "working", "pending", "submitted", ["in-progress"]);
|
|
37
|
+
const TOPIC_AXIS = axis("topic", "complete", "open", "complete");
|
|
38
|
+
const VERIFY_AXIS = axis("verification", "verifying", "pending", "verified");
|
|
39
|
+
const DECISION_AXIS = axis("decision", "deciding", "pending", "approved");
|
|
40
|
+
const EFFECT_AXIS = axis("effect", "effecting", "pending", "confirmed", ["requested"]);
|
|
41
|
+
const SETTLEMENT_AXIS = axis("settlement", "settling", "pending", "final");
|
|
42
|
+
const CORE_TRANSITIONS = [
|
|
43
|
+
transition({
|
|
44
|
+
code: "edit-terms",
|
|
45
|
+
phase: "forming",
|
|
46
|
+
from: ["contract", "draft"],
|
|
47
|
+
to: ["contract", "draft"],
|
|
48
|
+
command: "topic.edit-terms",
|
|
49
|
+
ability: "topic/write",
|
|
50
|
+
assignee: ["role", "contract-acceptor"],
|
|
51
|
+
evidence: OPERATION("update-contract"),
|
|
52
|
+
reasonCode: "terms-need-input",
|
|
53
|
+
}),
|
|
54
|
+
transition({
|
|
55
|
+
code: "accept-terms",
|
|
56
|
+
phase: "forming",
|
|
57
|
+
from: ["contract", "draft"],
|
|
58
|
+
to: ["contract", "accepted"],
|
|
59
|
+
command: "topic.accept-terms",
|
|
60
|
+
ability: "topic/accept-contract",
|
|
61
|
+
assignee: ["role", "contract-acceptor"],
|
|
62
|
+
evidence: OPERATION("accept-contract"),
|
|
63
|
+
confirmation: "viewer",
|
|
64
|
+
reasonCode: "terms-await-acceptance",
|
|
65
|
+
}),
|
|
66
|
+
transition({
|
|
67
|
+
code: "start-work",
|
|
68
|
+
phase: "working",
|
|
69
|
+
from: ["work", "pending"],
|
|
70
|
+
to: ["work", "in-progress"],
|
|
71
|
+
command: "topic.start-work",
|
|
72
|
+
ability: "topic/write",
|
|
73
|
+
assignee: ["role", "worker"],
|
|
74
|
+
evidence: OPERATION("change-progress"),
|
|
75
|
+
gates: [{ kind: "axis", axis: "contract", states: ["accepted"] }],
|
|
76
|
+
}),
|
|
77
|
+
transition({
|
|
78
|
+
code: "answer-question",
|
|
79
|
+
phase: "working",
|
|
80
|
+
from: ["work", "in-progress"],
|
|
81
|
+
to: ["work", "in-progress"],
|
|
82
|
+
command: "topic.answer-question",
|
|
83
|
+
ability: "topic/write",
|
|
84
|
+
assignee: ["role", "worker"],
|
|
85
|
+
evidence: OPERATION("answer-question"),
|
|
86
|
+
gates: [{ kind: "field", path: "/questions/open", predicate: "present" }],
|
|
87
|
+
reasonCode: "question-awaits-answer",
|
|
88
|
+
}),
|
|
89
|
+
transition({
|
|
90
|
+
code: "change-due-date",
|
|
91
|
+
phase: "working",
|
|
92
|
+
from: ["work", "in-progress"],
|
|
93
|
+
to: ["work", "in-progress"],
|
|
94
|
+
command: "topic.change-due-date",
|
|
95
|
+
ability: "topic/write",
|
|
96
|
+
assignee: ["role", "worker"],
|
|
97
|
+
evidence: OPERATION("change-due-date"),
|
|
98
|
+
gates: [{ kind: "field", path: "/outcome/target/value", predicate: "present" }],
|
|
99
|
+
reasonCode: "due-date-review",
|
|
100
|
+
}),
|
|
101
|
+
transition({
|
|
102
|
+
code: "unblock-topic",
|
|
103
|
+
phase: "working",
|
|
104
|
+
from: ["topic", "open"],
|
|
105
|
+
to: ["topic", "open"],
|
|
106
|
+
command: "topic.unblock",
|
|
107
|
+
ability: "topic/unblock",
|
|
108
|
+
assignee: ["role", "block-resolver"],
|
|
109
|
+
evidence: OPERATION("unblock-topic"),
|
|
110
|
+
gates: [{ kind: "condition", states: ["blocked"] }],
|
|
111
|
+
reasonCode: "topic-blocked",
|
|
112
|
+
}),
|
|
113
|
+
transition({
|
|
114
|
+
code: "submit-work",
|
|
115
|
+
phase: "working",
|
|
116
|
+
from: ["work", "in-progress"],
|
|
117
|
+
to: ["work", "submitted"],
|
|
118
|
+
command: "topic.record-outcome",
|
|
119
|
+
ability: "topic/record-outcome",
|
|
120
|
+
assignee: ["role", "worker"],
|
|
121
|
+
evidence: RECORD("ixo.topic.work-submission"),
|
|
122
|
+
}),
|
|
123
|
+
transition({
|
|
124
|
+
code: "complete-topic",
|
|
125
|
+
phase: "complete",
|
|
126
|
+
from: ["topic", "open"],
|
|
127
|
+
to: ["topic", "complete"],
|
|
128
|
+
command: "topic.complete",
|
|
129
|
+
ability: "topic/confirm-completion",
|
|
130
|
+
assignee: ["role", "completion-authority"],
|
|
131
|
+
evidence: OPERATION("complete-topic"),
|
|
132
|
+
confirmation: "authority",
|
|
133
|
+
completesTopic: true,
|
|
134
|
+
gates: [{ kind: "axis", axis: "work", states: ["submitted"] }],
|
|
135
|
+
}),
|
|
136
|
+
];
|
|
137
|
+
const TASK_ACCEPTANCE_FIELDS = [
|
|
138
|
+
{ kind: "field", path: "/title", predicate: "present" },
|
|
139
|
+
{ kind: "field", path: "/intent", predicate: "present" },
|
|
140
|
+
{ kind: "field", path: "/outcome/statement", predicate: "present" },
|
|
141
|
+
{ kind: "field", path: "/ownerId", predicate: "present" },
|
|
142
|
+
];
|
|
143
|
+
const ACCEPTANCE_FIELDS = {
|
|
144
|
+
task: TASK_ACCEPTANCE_FIELDS,
|
|
145
|
+
agent_task: TASK_ACCEPTANCE_FIELDS,
|
|
146
|
+
proposal: [
|
|
147
|
+
{ kind: "field", path: "/title", predicate: "present" },
|
|
148
|
+
{ kind: "field", path: "/intent", predicate: "present" },
|
|
149
|
+
{ kind: "field", path: "/outcome/statement", predicate: "present" },
|
|
150
|
+
{ kind: "field", path: "/decision/governanceProposal", predicate: "present" },
|
|
151
|
+
],
|
|
152
|
+
evaluation: [
|
|
153
|
+
{ kind: "field", path: "/title", predicate: "present" },
|
|
154
|
+
{ kind: "field", path: "/intent", predicate: "present" },
|
|
155
|
+
{ kind: "field", path: "/outcome/statement", predicate: "present" },
|
|
156
|
+
{ kind: "field", path: "/decision", predicate: "present" },
|
|
157
|
+
],
|
|
158
|
+
claims: [
|
|
159
|
+
{ kind: "field", path: "/title", predicate: "present" },
|
|
160
|
+
{ kind: "field", path: "/intent", predicate: "present" },
|
|
161
|
+
{ kind: "field", path: "/outcome/statement", predicate: "present" },
|
|
162
|
+
{ kind: "field", path: "/claimBinding/entityDid", predicate: "present" },
|
|
163
|
+
{ kind: "field", path: "/claimBinding/collectionId", predicate: "present" },
|
|
164
|
+
],
|
|
165
|
+
question: [
|
|
166
|
+
{ kind: "field", path: "/title", predicate: "present" },
|
|
167
|
+
{ kind: "field", path: "/intent", predicate: "present" },
|
|
168
|
+
{ kind: "field", path: "/outcome/statement", predicate: "present" },
|
|
169
|
+
{ kind: "field", path: "/completion/acceptanceAuthorityIds", predicate: "present" },
|
|
170
|
+
],
|
|
171
|
+
discussion: [
|
|
172
|
+
{ kind: "field", path: "/title", predicate: "present" },
|
|
173
|
+
{ kind: "field", path: "/intent", predicate: "present" },
|
|
174
|
+
{ kind: "field-any", paths: ["/temporalMode", "/completion/definition"], predicate: "present" },
|
|
175
|
+
],
|
|
176
|
+
incident: [
|
|
177
|
+
{ kind: "field", path: "/title", predicate: "present" },
|
|
178
|
+
{ kind: "field", path: "/intent", predicate: "present" },
|
|
179
|
+
{ kind: "field", path: "/ownerId", predicate: "present" },
|
|
180
|
+
{ kind: "field", path: "/completion/definition", predicate: "present" },
|
|
181
|
+
],
|
|
182
|
+
};
|
|
183
|
+
function kindShape(kind) {
|
|
184
|
+
const accept = CORE_TRANSITIONS.find(({ code }) => code === "accept-terms");
|
|
185
|
+
if (accept === undefined)
|
|
186
|
+
throw new Error("Core Shape must define accept-terms");
|
|
187
|
+
return {
|
|
188
|
+
version: 1,
|
|
189
|
+
code: `kind/${kind}`,
|
|
190
|
+
transitions: [{ ...accept, gates: ACCEPTANCE_FIELDS[kind] }],
|
|
191
|
+
inferredRecordPolicy: { autoAccept: [], neverAutoAccept: [] },
|
|
192
|
+
};
|
|
193
|
+
}
|
|
194
|
+
export const KIND_SHAPE_REGISTRY = Object.freeze({
|
|
195
|
+
task: kindShape("task"),
|
|
196
|
+
agent_task: kindShape("agent_task"),
|
|
197
|
+
proposal: kindShape("proposal"),
|
|
198
|
+
evaluation: kindShape("evaluation"),
|
|
199
|
+
claims: kindShape("claims"),
|
|
200
|
+
question: kindShape("question"),
|
|
201
|
+
discussion: kindShape("discussion"),
|
|
202
|
+
incident: kindShape("incident"),
|
|
203
|
+
});
|
|
204
|
+
const PROGRESS_RULES = [
|
|
205
|
+
{ code: "disputed", condition: "disputed", priority: 700, source: { kind: "record", value: "ixo.topic.dispute" } },
|
|
206
|
+
{ code: "failed", condition: "failed", priority: 650, source: { kind: "receipt", value: "failed" } },
|
|
207
|
+
{ code: "blocked", condition: "blocked", priority: 600, source: { kind: "topic", value: "blocked" }, requiresTarget: true },
|
|
208
|
+
{ code: "waiting", condition: "waiting", priority: 500, source: { kind: "topic", value: "waiting" }, requiresTarget: true },
|
|
209
|
+
{ code: "needs-input", condition: "needs-input", priority: 400, source: { kind: "record", value: "ixo.topic.question" } },
|
|
210
|
+
{ code: "needs-acceptance", condition: "needs-acceptance", priority: 350, source: { kind: "axis", value: "contract" }, states: ["draft"] },
|
|
211
|
+
];
|
|
212
|
+
function shape(code, axes, transitions) {
|
|
213
|
+
return {
|
|
214
|
+
version: 1,
|
|
215
|
+
code,
|
|
216
|
+
axes,
|
|
217
|
+
transitions,
|
|
218
|
+
progressRules: PROGRESS_RULES,
|
|
219
|
+
inferredRecordPolicy: {
|
|
220
|
+
autoAccept: ["ixo.topic.fact", "ixo.topic.summary", "ixo.topic.classification"],
|
|
221
|
+
neverAutoAccept: ["ixo.topic.contract", "ixo.topic.outcome", "ixo.topic.authority", "ixo.topic.action", "ixo.claim", "ixo.evaluation", "ixo.settlement"],
|
|
222
|
+
},
|
|
223
|
+
};
|
|
224
|
+
}
|
|
225
|
+
const PROJECT_SHAPE = shape("base/project", [CONTRACT_AXIS, WORK_AXIS, TOPIC_AXIS], CORE_TRANSITIONS);
|
|
226
|
+
export const BASE_RECIPE_REGISTRY = Object.freeze({
|
|
227
|
+
project: PROJECT_SHAPE,
|
|
228
|
+
flow: PROJECT_SHAPE,
|
|
229
|
+
proposal: PROJECT_SHAPE,
|
|
230
|
+
evaluation: shape("base/evaluation", [CONTRACT_AXIS, WORK_AXIS, VERIFY_AXIS, TOPIC_AXIS], CORE_TRANSITIONS),
|
|
231
|
+
claims: shape("base/claims", [CONTRACT_AXIS, WORK_AXIS, VERIFY_AXIS, DECISION_AXIS, TOPIC_AXIS], CORE_TRANSITIONS),
|
|
232
|
+
research: PROJECT_SHAPE,
|
|
233
|
+
discussion: PROJECT_SHAPE,
|
|
234
|
+
incident: PROJECT_SHAPE,
|
|
235
|
+
});
|
|
236
|
+
const VERIFY_TRANSITION = transition({
|
|
237
|
+
code: "record-verification",
|
|
238
|
+
phase: "verifying",
|
|
239
|
+
from: ["verification", "pending"],
|
|
240
|
+
to: ["verification", "verified"],
|
|
241
|
+
command: "topic.record-verification",
|
|
242
|
+
ability: "claim/evaluate",
|
|
243
|
+
assignee: ["role", "evaluator"],
|
|
244
|
+
evidence: RECORD("ixo.evaluation"),
|
|
245
|
+
gates: [{ kind: "axis", axis: "work", states: ["submitted"] }],
|
|
246
|
+
handoff: { kind: "flow", binding: "evaluation" },
|
|
247
|
+
reasonCode: "verification-required",
|
|
248
|
+
});
|
|
249
|
+
const DECIDE_TRANSITION = transition({
|
|
250
|
+
code: "record-decision",
|
|
251
|
+
phase: "deciding",
|
|
252
|
+
from: ["decision", "pending"],
|
|
253
|
+
to: ["decision", "approved"],
|
|
254
|
+
command: "topic.record-decision",
|
|
255
|
+
ability: "claim/decide",
|
|
256
|
+
assignee: ["role", "decision-authority"],
|
|
257
|
+
evidence: RECORD("ixo.decision"),
|
|
258
|
+
gates: [{ kind: "axis", axis: "verification", states: ["verified"] }],
|
|
259
|
+
confirmation: "authority",
|
|
260
|
+
reasonCode: "decision-required",
|
|
261
|
+
});
|
|
262
|
+
const EFFECT_TRANSITIONS = [
|
|
263
|
+
transition({
|
|
264
|
+
code: "request-action",
|
|
265
|
+
phase: "effecting",
|
|
266
|
+
from: ["effect", "pending"],
|
|
267
|
+
to: ["effect", "requested"],
|
|
268
|
+
command: "topic.request-action",
|
|
269
|
+
ability: "topic/request-action",
|
|
270
|
+
assignee: ["role", "action-requester"],
|
|
271
|
+
evidence: OPERATION("request-action"),
|
|
272
|
+
gates: [{ kind: "axis", axis: "decision", states: ["approved"] }, { kind: "binding", type: "flow" }],
|
|
273
|
+
confirmation: "viewer",
|
|
274
|
+
consequence: "external-effect",
|
|
275
|
+
handoff: { kind: "flow", binding: "action" },
|
|
276
|
+
reasonCode: "action-request-required",
|
|
277
|
+
}),
|
|
278
|
+
transition({
|
|
279
|
+
code: "confirm-action",
|
|
280
|
+
phase: "effecting",
|
|
281
|
+
from: ["effect", "requested"],
|
|
282
|
+
to: ["effect", "confirmed"],
|
|
283
|
+
command: "topic.confirm-action",
|
|
284
|
+
ability: "topic/record-action",
|
|
285
|
+
assignee: ["role", "action-confirmer"],
|
|
286
|
+
evidence: RECEIPT("ixo.action-receipt"),
|
|
287
|
+
confirmation: "authority",
|
|
288
|
+
consequence: "external-effect",
|
|
289
|
+
handoff: { kind: "flow", binding: "action" },
|
|
290
|
+
reasonCode: "action-confirmation-required",
|
|
291
|
+
}),
|
|
292
|
+
];
|
|
293
|
+
const SETTLE_TRANSITION = transition({
|
|
294
|
+
code: "record-settlement",
|
|
295
|
+
phase: "settling",
|
|
296
|
+
from: ["settlement", "pending"],
|
|
297
|
+
to: ["settlement", "final"],
|
|
298
|
+
command: "topic.record-settlement",
|
|
299
|
+
ability: "settlement/record",
|
|
300
|
+
assignee: ["role", "settlement-controller"],
|
|
301
|
+
evidence: RECEIPT("ixo.settlement-receipt"),
|
|
302
|
+
gates: [{ kind: "axis", axis: "effect", states: ["confirmed"] }],
|
|
303
|
+
confirmation: "authority",
|
|
304
|
+
consequence: "settlement",
|
|
305
|
+
handoff: { kind: "flow", binding: "settlement" },
|
|
306
|
+
reasonCode: "settlement-required",
|
|
307
|
+
});
|
|
308
|
+
function topicRecipe(code, label, description, recipeShape) {
|
|
309
|
+
return {
|
|
310
|
+
version: 1,
|
|
311
|
+
code,
|
|
312
|
+
id: `https://topic-protocol.ixo.world/recipes/${code}`,
|
|
313
|
+
recipeVersion: "1.0.0-rc.1",
|
|
314
|
+
label,
|
|
315
|
+
description,
|
|
316
|
+
baseRecipe: code === "research-brief" ? "research" : code === "agent-delivery" ? "flow" : "claims",
|
|
317
|
+
creates: "draft",
|
|
318
|
+
shape: recipeShape,
|
|
319
|
+
};
|
|
320
|
+
}
|
|
321
|
+
export const TOPIC_RECIPE_REGISTRY = Object.freeze({
|
|
322
|
+
"research-brief": topicRecipe("research-brief", "Research brief", "Frame a question, do the research, verify the sources, and close the brief explicitly.", shape("recipe/research-brief", [CONTRACT_AXIS, WORK_AXIS, VERIFY_AXIS, TOPIC_AXIS], [...CORE_TRANSITIONS, VERIFY_TRANSITION])),
|
|
323
|
+
"agent-delivery": topicRecipe("agent-delivery", "Agent delivery", "Commission agent work, review its delivery, and explicitly confirm any external Action.", shape("recipe/agent-delivery", [CONTRACT_AXIS, WORK_AXIS, VERIFY_AXIS, DECISION_AXIS, EFFECT_AXIS, TOPIC_AXIS], [
|
|
324
|
+
...CORE_TRANSITIONS,
|
|
325
|
+
VERIFY_TRANSITION,
|
|
326
|
+
DECIDE_TRANSITION,
|
|
327
|
+
...EFFECT_TRANSITIONS,
|
|
328
|
+
])),
|
|
329
|
+
"verified-work-payment": topicRecipe("verified-work-payment", "Verified work payment", "Bind one entity and claim collection, verify work, decide, execute through Flow, and observe settlement finality.", shape("recipe/verified-work-payment", [CONTRACT_AXIS, WORK_AXIS, VERIFY_AXIS, DECISION_AXIS, EFFECT_AXIS, SETTLEMENT_AXIS, TOPIC_AXIS], [
|
|
330
|
+
...CORE_TRANSITIONS,
|
|
331
|
+
VERIFY_TRANSITION,
|
|
332
|
+
DECIDE_TRANSITION,
|
|
333
|
+
...EFFECT_TRANSITIONS,
|
|
334
|
+
SETTLE_TRANSITION,
|
|
335
|
+
])),
|
|
336
|
+
});
|
|
337
|
+
//# sourceMappingURL=recipes.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"recipes.js","sourceRoot":"","sources":["../../../src/shapes/recipes.ts"],"names":[],"mappings":"AAgCA,SAAS,UAAU,CAAC,KAAsB;IACxC,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,WAAW,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;QAC1D,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QACjD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,eAAe,EAAE,KAAK,CAAC,OAAO;QAC9B,UAAU,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;QACjE,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,EAAE;QACxB,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,MAAM;QAC1C,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,cAAc;QAChD,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,GAAG,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC;QACvF,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QAClE,YAAY,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,IAAI,EAAE;KAC7D,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CACX,IAAY,EACZ,KAAmB,EACnB,YAAoB,EACpB,aAAqB,EACrB,qBAAwC,EAAE;IAE1C,OAAO;QACL,IAAI;QACJ,KAAK;QACL,QAAQ,EAAE,IAAI;QACd,YAAY;QACZ,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,YAAY,EAAE;YACtB,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACvD,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;SACxC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,IAAY,EAA8B,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9F,MAAM,MAAM,GAAG,CAAC,IAAY,EAA8B,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC;AAC9G,MAAM,OAAO,GAAG,CAAC,IAAY,EAA8B,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAE7G,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;AACvE,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;AACnF,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AACjE,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;AAC7E,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;AAC1E,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;AACvF,MAAM,eAAe,GAAG,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;AAE3E,MAAM,gBAAgB,GAAiC;IACrD,UAAU,CAAC;QACT,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC;QAC3B,EAAE,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC;QACzB,OAAO,EAAE,kBAAkB;QAC3B,OAAO,EAAE,aAAa;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,mBAAmB,CAAC;QACvC,QAAQ,EAAE,SAAS,CAAC,iBAAiB,CAAC;QACtC,UAAU,EAAE,kBAAkB;KAC/B,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,cAAc;QACpB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC;QAC3B,EAAE,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;QAC5B,OAAO,EAAE,oBAAoB;QAC7B,OAAO,EAAE,uBAAuB;QAChC,QAAQ,EAAE,CAAC,MAAM,EAAE,mBAAmB,CAAC;QACvC,QAAQ,EAAE,SAAS,CAAC,iBAAiB,CAAC;QACtC,YAAY,EAAE,QAAQ;QACtB,UAAU,EAAE,wBAAwB;KACrC,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;QACzB,EAAE,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC3B,OAAO,EAAE,kBAAkB;QAC3B,OAAO,EAAE,aAAa;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5B,QAAQ,EAAE,SAAS,CAAC,iBAAiB,CAAC;QACtC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;KAClE,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,iBAAiB;QACvB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,EAAE,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC3B,OAAO,EAAE,uBAAuB;QAChC,OAAO,EAAE,aAAa;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5B,QAAQ,EAAE,SAAS,CAAC,iBAAiB,CAAC;QACtC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;QACzE,UAAU,EAAE,wBAAwB;KACrC,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,iBAAiB;QACvB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,EAAE,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC3B,OAAO,EAAE,uBAAuB;QAChC,OAAO,EAAE,aAAa;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5B,QAAQ,EAAE,SAAS,CAAC,iBAAiB,CAAC;QACtC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,uBAAuB,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;QAC/E,UAAU,EAAE,iBAAiB;KAC9B,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,eAAe;QACrB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;QACvB,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;QACrB,OAAO,EAAE,eAAe;QACxB,OAAO,EAAE,eAAe;QACxB,QAAQ,EAAE,CAAC,MAAM,EAAE,gBAAgB,CAAC;QACpC,QAAQ,EAAE,SAAS,CAAC,eAAe,CAAC;QACpC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;QACnD,UAAU,EAAE,eAAe;KAC5B,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,aAAa;QACnB,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,EAAE,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC;QACzB,OAAO,EAAE,sBAAsB;QAC/B,OAAO,EAAE,sBAAsB;QAC/B,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5B,QAAQ,EAAE,MAAM,CAAC,2BAA2B,CAAC;KAC9C,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;QACvB,EAAE,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC;QACzB,OAAO,EAAE,gBAAgB;QACzB,OAAO,EAAE,0BAA0B;QACnC,QAAQ,EAAE,CAAC,MAAM,EAAE,sBAAsB,CAAC;QAC1C,QAAQ,EAAE,SAAS,CAAC,gBAAgB,CAAC;QACrC,YAAY,EAAE,WAAW;QACzB,cAAc,EAAE,IAAI;QACpB,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;KAC/D,CAAC;CACH,CAAC;AAEF,MAAM,sBAAsB,GAA2B;IACrD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;IACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;IACxD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,EAAE;IACnE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE;CAC1D,CAAC;AAEF,MAAM,iBAAiB,GAAiE;IACtF,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE,sBAAsB;IAClC,QAAQ,EAAE;QACR,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;QACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;QACxD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,EAAE;QACnE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,8BAA8B,EAAE,SAAS,EAAE,SAAS,EAAE;KAC9E;IACD,UAAU,EAAE;QACV,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;QACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;QACxD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,EAAE;QACnE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE;KAC3D;IACD,MAAM,EAAE;QACN,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;QACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;QACxD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,EAAE;QACnE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,yBAAyB,EAAE,SAAS,EAAE,SAAS,EAAE;QACxE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,4BAA4B,EAAE,SAAS,EAAE,SAAS,EAAE;KAC5E;IACD,QAAQ,EAAE;QACR,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;QACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;QACxD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,EAAE;QACnE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,oCAAoC,EAAE,SAAS,EAAE,SAAS,EAAE;KACpF;IACD,UAAU,EAAE;QACV,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;QACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;QACxD,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE;KAChG;IACD,QAAQ,EAAE;QACR,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;QACvD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE;QACxD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE;QACzD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,SAAS,EAAE,SAAS,EAAE;KACxE;CACF,CAAC;AAEF,SAAS,SAAS,CAAC,IAAwB;IACzC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC;IAC5E,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACjF,OAAO;QACL,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,QAAQ,IAAI,EAAE;QACpB,WAAW,EAAE,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5D,oBAAoB,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE;KAC9D,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAA8D,MAAM,CAAC,MAAM,CAAC;IAC1G,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC;IACvB,UAAU,EAAE,SAAS,CAAC,YAAY,CAAC;IACnC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC;IAC/B,UAAU,EAAE,SAAS,CAAC,YAAY,CAAC;IACnC,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC;IAC3B,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC;IAC/B,UAAU,EAAE,SAAS,CAAC,YAAY,CAAC;IACnC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC;CAChC,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG;IACrB,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,mBAAmB,EAAE,EAAE;IAClH,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;IACpG,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE;IAC3H,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE;IAC3H,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,oBAAoB,EAAE,EAAE;IACzH,EAAE,IAAI,EAAE,kBAAkB,EAAE,SAAS,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE;CAClI,CAAC;AAEX,SAAS,KAAK,CAAC,IAAY,EAAE,IAAiC,EAAE,WAAyC;IACvG,OAAO;QACL,OAAO,EAAE,CAAC;QACV,IAAI;QACJ,IAAI;QACJ,WAAW;QACX,aAAa,EAAE,cAAc;QAC7B,oBAAoB,EAAE;YACpB,UAAU,EAAE,CAAC,gBAAgB,EAAE,mBAAmB,EAAE,0BAA0B,CAAC;YAC/E,eAAe,EAAE,CAAC,oBAAoB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,WAAW,EAAE,gBAAgB,EAAE,gBAAgB,CAAC;SACzJ;KACF,CAAC;AACJ,CAAC;AAED,MAAM,aAAa,GAAG,KAAK,CAAC,cAAc,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,UAAU,CAAC,EAAE,gBAAgB,CAAC,CAAC;AAEtG,MAAM,CAAC,MAAM,oBAAoB,GAAqD,MAAM,CAAC,MAAM,CAAC;IAClG,OAAO,EAAE,aAAa;IACtB,IAAI,EAAE,aAAa;IACnB,QAAQ,EAAE,aAAa;IACvB,UAAU,EAAE,KAAK,CAAC,iBAAiB,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC3G,MAAM,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAClH,QAAQ,EAAE,aAAa;IACvB,UAAU,EAAE,aAAa;IACzB,QAAQ,EAAE,aAAa;CACxB,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,UAAU,CAAC;IACnC,IAAI,EAAE,qBAAqB;IAC3B,KAAK,EAAE,WAAW;IAClB,IAAI,EAAE,CAAC,cAAc,EAAE,SAAS,CAAC;IACjC,EAAE,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC;IAChC,OAAO,EAAE,2BAA2B;IACpC,OAAO,EAAE,gBAAgB;IACzB,QAAQ,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC;IAC/B,QAAQ,EAAE,MAAM,CAAC,gBAAgB,CAAC;IAClC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;IAC9D,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE;IAChD,UAAU,EAAE,uBAAuB;CACpC,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,UAAU,CAAC;IACnC,IAAI,EAAE,iBAAiB;IACvB,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC;IAC7B,EAAE,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;IAC5B,OAAO,EAAE,uBAAuB;IAChC,OAAO,EAAE,cAAc;IACvB,QAAQ,EAAE,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACxC,QAAQ,EAAE,MAAM,CAAC,cAAc,CAAC;IAChC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;IACrE,YAAY,EAAE,WAAW;IACzB,UAAU,EAAE,mBAAmB;CAChC,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG;IACzB,UAAU,CAAC;QACT,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,WAAW;QAClB,IAAI,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;QAC3B,EAAE,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC;QAC3B,OAAO,EAAE,sBAAsB;QAC/B,OAAO,EAAE,sBAAsB;QAC/B,QAAQ,EAAE,CAAC,MAAM,EAAE,kBAAkB,CAAC;QACtC,QAAQ,EAAE,SAAS,CAAC,gBAAgB,CAAC;QACrC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACpG,YAAY,EAAE,QAAQ;QACtB,WAAW,EAAE,iBAAiB;QAC9B,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE;QAC5C,UAAU,EAAE,yBAAyB;KACtC,CAAC;IACF,UAAU,CAAC;QACT,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,WAAW;QAClB,IAAI,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC;QAC7B,EAAE,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC;QAC3B,OAAO,EAAE,sBAAsB;QAC/B,OAAO,EAAE,qBAAqB;QAC9B,QAAQ,EAAE,CAAC,MAAM,EAAE,kBAAkB,CAAC;QACtC,QAAQ,EAAE,OAAO,CAAC,oBAAoB,CAAC;QACvC,YAAY,EAAE,WAAW;QACzB,WAAW,EAAE,iBAAiB;QAC9B,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE;QAC5C,UAAU,EAAE,8BAA8B;KAC3C,CAAC;CACM,CAAC;AAEX,MAAM,iBAAiB,GAAG,UAAU,CAAC;IACnC,IAAI,EAAE,mBAAmB;IACzB,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,CAAC,YAAY,EAAE,SAAS,CAAC;IAC/B,EAAE,EAAE,CAAC,YAAY,EAAE,OAAO,CAAC;IAC3B,OAAO,EAAE,yBAAyB;IAClC,OAAO,EAAE,mBAAmB;IAC5B,QAAQ,EAAE,CAAC,MAAM,EAAE,uBAAuB,CAAC;IAC3C,QAAQ,EAAE,OAAO,CAAC,wBAAwB,CAAC;IAC3C,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;IAChE,YAAY,EAAE,WAAW;IACzB,WAAW,EAAE,YAAY;IACzB,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE;IAChD,UAAU,EAAE,qBAAqB;CAClC,CAAC,CAAC;AAEH,SAAS,WAAW,CAClB,IAA2B,EAC3B,KAAa,EACb,WAAmB,EACnB,WAAyB;IAEzB,OAAO;QACL,OAAO,EAAE,CAAC;QACV,IAAI;QACJ,EAAE,EAAE,4CAA4C,IAAI,EAAE;QACtD,aAAa,EAAE,YAAY;QAC3B,KAAK;QACL,WAAW;QACX,UAAU,EAAE,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;QAClG,OAAO,EAAE,OAAO;QAChB,KAAK,EAAE,WAAW;KACnB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,qBAAqB,GAA2D,MAAM,CAAC,MAAM,CAAC;IACzG,gBAAgB,EAAE,WAAW,CAC3B,gBAAgB,EAChB,gBAAgB,EAChB,wFAAwF,EACxF,KAAK,CAAC,uBAAuB,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC,GAAG,gBAAgB,EAAE,iBAAiB,CAAC,CAAC,CAC9H;IACD,gBAAgB,EAAE,WAAW,CAC3B,gBAAgB,EAChB,gBAAgB,EAChB,yFAAyF,EACzF,KAAK,CAAC,uBAAuB,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE;QAC9G,GAAG,gBAAgB;QACnB,iBAAiB;QACjB,iBAAiB;QACjB,GAAG,kBAAkB;KACtB,CAAC,CACH;IACD,uBAAuB,EAAE,WAAW,CAClC,uBAAuB,EACvB,uBAAuB,EACvB,mHAAmH,EACnH,KAAK,CAAC,8BAA8B,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,eAAe,EAAE,UAAU,CAAC,EAAE;QACtI,GAAG,gBAAgB;QACnB,iBAAiB;QACjB,iBAAiB;QACjB,GAAG,kBAAkB;QACrB,iBAAiB;KAClB,CAAC,CACH;CACF,CAAC,CAAC"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import { type PersistedTopicKind } from "../contracts/topic-contract.js";
|
|
2
|
+
import type { BaseRecipeCodeV1, EffectiveTopicShapeV1, TopicRecipeRefV1, TopicRecipeV1, TopicShapeOverlayV1, TopicShapeSourceRefV1 } from "./types.js";
|
|
3
|
+
export interface ResolveEffectiveTopicShapeInputV1 {
|
|
4
|
+
readonly baseRecipe: BaseRecipeCodeV1;
|
|
5
|
+
readonly kind?: PersistedTopicKind;
|
|
6
|
+
readonly topicRecipeRef?: TopicRecipeRefV1;
|
|
7
|
+
readonly recipeRegistry?: Readonly<Record<string, TopicRecipeV1>>;
|
|
8
|
+
readonly overlays?: readonly {
|
|
9
|
+
readonly source: TopicShapeSourceRefV1;
|
|
10
|
+
readonly shape: TopicShapeOverlayV1;
|
|
11
|
+
}[];
|
|
12
|
+
}
|
|
13
|
+
export declare function resolveEffectiveTopicShape(input: ResolveEffectiveTopicShapeInputV1): EffectiveTopicShapeV1;
|
|
14
|
+
export declare function topicRecipeRef(recipe: TopicRecipeV1): TopicRecipeRefV1;
|