@titan-design/hitl 0.4.0 → 0.7.0
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/NOTICE +216 -0
- package/README.md +66 -2
- package/dist/{base-store-BrVibYRJ.d.ts → base-store-imx8181g.d.ts} +62 -4
- package/dist/{chunk-PMEJTMSE.js → chunk-GZ6IE2SD.js} +171 -16
- package/dist/chunk-GZ6IE2SD.js.map +1 -0
- package/dist/index.d.ts +35 -4
- package/dist/index.js +15 -3
- package/dist/index.js.map +1 -1
- package/dist/sqlite.d.ts +15 -8
- package/dist/sqlite.js +53 -29
- package/dist/sqlite.js.map +1 -1
- package/package.json +5 -4
- package/dist/chunk-PMEJTMSE.js.map +0 -1
|
@@ -74,12 +74,107 @@ var GateRuleInvalid = class extends GateError {
|
|
|
74
74
|
}
|
|
75
75
|
reason;
|
|
76
76
|
};
|
|
77
|
+
var GateBriefInvalid = class extends GateError {
|
|
78
|
+
constructor(gateId, issues) {
|
|
79
|
+
super(`gate ${gateId} brief is invalid: ${issues.join("; ")}`, gateId);
|
|
80
|
+
this.issues = issues;
|
|
81
|
+
}
|
|
82
|
+
issues;
|
|
83
|
+
};
|
|
77
84
|
var GateAuthorizeInvalid = class extends GateError {
|
|
78
85
|
constructor(gateId) {
|
|
79
86
|
super(`authorize for gate ${gateId} must return a decision { allowed: boolean } synchronously`, gateId);
|
|
80
87
|
}
|
|
81
88
|
};
|
|
82
89
|
|
|
90
|
+
// src/gate-brief.ts
|
|
91
|
+
var MAX_SUMMARY = 280;
|
|
92
|
+
var MAX_EVIDENCE_REF = 500;
|
|
93
|
+
var MAX_QUESTIONS = 4;
|
|
94
|
+
var MIN_OPTIONS = 2;
|
|
95
|
+
var MAX_OPTIONS = 4;
|
|
96
|
+
var MAX_OPTION_LABEL = 75;
|
|
97
|
+
var MAX_QUESTION_TEXT = 500;
|
|
98
|
+
var ID_PATTERN = /^[A-Za-z0-9_-]{1,40}$/;
|
|
99
|
+
var ID_RULE = 'id must be 1-40 letters, digits, "-" or "_"';
|
|
100
|
+
var CONTROL_CHAR = /[\u0000-\u001f\u007f]/;
|
|
101
|
+
function snapshotBrief(gateId, raw, required) {
|
|
102
|
+
const { summary, evidenceRef, questions } = raw ?? {};
|
|
103
|
+
const issues = [
|
|
104
|
+
...lineIssues("summary", summary, MAX_SUMMARY, required),
|
|
105
|
+
...lineIssues("evidenceRef", evidenceRef, MAX_EVIDENCE_REF, required)
|
|
106
|
+
];
|
|
107
|
+
const questionIssue = questions === void 0 ? void 0 : questionsIssue(questions);
|
|
108
|
+
if (questionIssue) issues.push(questionIssue);
|
|
109
|
+
if (issues.length > 0) throw new GateBriefInvalid(gateId, issues);
|
|
110
|
+
return Object.freeze({
|
|
111
|
+
summary,
|
|
112
|
+
evidenceRef,
|
|
113
|
+
questions: questions === void 0 ? void 0 : copyQuestions(questions)
|
|
114
|
+
});
|
|
115
|
+
}
|
|
116
|
+
function lineIssues(field, value, max, required) {
|
|
117
|
+
if (value === void 0) return required ? [`${field} is required`] : [];
|
|
118
|
+
if (typeof value !== "string") return [`${field} must be a string`];
|
|
119
|
+
if (value.trim() === "") return [`${field} is blank`];
|
|
120
|
+
if (value.length > max) return [`${field} is over ${max} characters`];
|
|
121
|
+
if (CONTROL_CHAR.test(value)) return [`${field} must be one line with no control characters`];
|
|
122
|
+
return [];
|
|
123
|
+
}
|
|
124
|
+
function questionsIssue(value) {
|
|
125
|
+
if (!Array.isArray(value)) return "questions must be an array";
|
|
126
|
+
if (value.length < 1 || value.length > MAX_QUESTIONS) return `ask 1 to ${MAX_QUESTIONS} questions (got ${value.length})`;
|
|
127
|
+
const ids = /* @__PURE__ */ new Set();
|
|
128
|
+
for (const [index, raw] of value.entries()) {
|
|
129
|
+
const question = raw ?? {};
|
|
130
|
+
const where = `question ${index + 1}`;
|
|
131
|
+
if (typeof question.id !== "string" || !ID_PATTERN.test(question.id)) return `${where}: ${ID_RULE}`;
|
|
132
|
+
if (ids.has(question.id)) return `${where}: duplicate question id "${question.id}"`;
|
|
133
|
+
ids.add(question.id);
|
|
134
|
+
const issue = questionTextIssue(question.question) ?? optionsIssue(question.options);
|
|
135
|
+
if (issue) return `${where}: ${issue}`;
|
|
136
|
+
}
|
|
137
|
+
return void 0;
|
|
138
|
+
}
|
|
139
|
+
function questionTextIssue(text) {
|
|
140
|
+
if (typeof text !== "string" || text.trim() === "") return "question text is required";
|
|
141
|
+
if (text.length > MAX_QUESTION_TEXT) return `question text is over ${MAX_QUESTION_TEXT} characters`;
|
|
142
|
+
return void 0;
|
|
143
|
+
}
|
|
144
|
+
function optionsIssue(options) {
|
|
145
|
+
if (!Array.isArray(options) || options.length < MIN_OPTIONS || options.length > MAX_OPTIONS) {
|
|
146
|
+
return `give ${MIN_OPTIONS} to ${MAX_OPTIONS} options`;
|
|
147
|
+
}
|
|
148
|
+
const ids = /* @__PURE__ */ new Set();
|
|
149
|
+
let recommended = 0;
|
|
150
|
+
for (const [index, raw] of options.entries()) {
|
|
151
|
+
const option = raw ?? {};
|
|
152
|
+
const issue = optionIssue(option, ids);
|
|
153
|
+
if (issue) return `option ${index + 1}: ${issue}`;
|
|
154
|
+
ids.add(option.id);
|
|
155
|
+
if (option.recommended === true) recommended++;
|
|
156
|
+
}
|
|
157
|
+
return recommended > 1 ? "mark at most one option as recommended" : void 0;
|
|
158
|
+
}
|
|
159
|
+
function optionIssue(option, seen) {
|
|
160
|
+
if (typeof option.id !== "string" || !ID_PATTERN.test(option.id)) return ID_RULE;
|
|
161
|
+
if (seen.has(option.id)) return `duplicate option id "${option.id}"`;
|
|
162
|
+
if (typeof option.label !== "string" || option.label.trim() === "") return "label is required";
|
|
163
|
+
if (option.label.length > MAX_OPTION_LABEL) return `label is over ${MAX_OPTION_LABEL} characters`;
|
|
164
|
+
if (option.recommended !== void 0 && typeof option.recommended !== "boolean") return "recommended must be true or false";
|
|
165
|
+
return void 0;
|
|
166
|
+
}
|
|
167
|
+
function copyQuestions(questions) {
|
|
168
|
+
return questions.map((question) => ({
|
|
169
|
+
id: question.id,
|
|
170
|
+
question: question.question,
|
|
171
|
+
options: question.options.map(copyOption)
|
|
172
|
+
}));
|
|
173
|
+
}
|
|
174
|
+
function copyOption(option) {
|
|
175
|
+
return option.recommended === true ? { id: option.id, label: option.label, recommended: true } : { id: option.id, label: option.label };
|
|
176
|
+
}
|
|
177
|
+
|
|
83
178
|
// src/json-schema.ts
|
|
84
179
|
function checkAgainstJsonSchema(schema, value, path = "$") {
|
|
85
180
|
const issues = [];
|
|
@@ -157,6 +252,35 @@ function defaultResolverRefusal(resolver) {
|
|
|
157
252
|
if (RESOLVER_CLASSES.includes(resolver.class)) return void 0;
|
|
158
253
|
return `actor class ${resolver.class} may not resolve a gate`;
|
|
159
254
|
}
|
|
255
|
+
function snapshotAllowances(raw) {
|
|
256
|
+
return Object.freeze(
|
|
257
|
+
(raw ?? []).map(
|
|
258
|
+
({ resolverClass, stepId, payload }) => Object.freeze({ resolverClass, stepId, payload: Object.freeze(structuredClone(payload)) })
|
|
259
|
+
)
|
|
260
|
+
);
|
|
261
|
+
}
|
|
262
|
+
function resolverRefusal(gateId, resolver, payload, allowances) {
|
|
263
|
+
const refusal = defaultResolverRefusal(resolver);
|
|
264
|
+
if (refusal === void 0) return void 0;
|
|
265
|
+
if (!matchesAllowance(allowances, gateId, resolver, payload)) return refusal;
|
|
266
|
+
return resolver.id.trim() === "" ? `actor class ${resolver.class} must name itself to resolve this gate` : void 0;
|
|
267
|
+
}
|
|
268
|
+
function matchesAllowance(allowances, gateId, resolver, payload) {
|
|
269
|
+
return allowances.some((a) => a.resolverClass === resolver.class && stepOf(gateId) === a.stepId && jsonEqual(payload, a.payload));
|
|
270
|
+
}
|
|
271
|
+
function jsonEqual(a, b) {
|
|
272
|
+
if (a === b) return true;
|
|
273
|
+
if (typeof a !== "object" || typeof b !== "object" || a === null || b === null) return false;
|
|
274
|
+
if (Array.isArray(a) !== Array.isArray(b)) return false;
|
|
275
|
+
const proto = Object.getPrototypeOf(a);
|
|
276
|
+
if (proto !== Object.getPrototypeOf(b) || proto !== Object.prototype && proto !== Array.prototype && proto !== null) return false;
|
|
277
|
+
const keys = Object.keys(a);
|
|
278
|
+
if (keys.length !== Object.keys(b).length) return false;
|
|
279
|
+
return keys.every((key) => Object.hasOwn(b, key) && jsonEqual(a[key], b[key]));
|
|
280
|
+
}
|
|
281
|
+
function stepOf(gateId) {
|
|
282
|
+
return gateId.slice(gateId.lastIndexOf("/") + 1).replace(/:\d+$/, "");
|
|
283
|
+
}
|
|
160
284
|
function ruleResolverRefusal(record, resolver) {
|
|
161
285
|
if (!record.rule) return void 0;
|
|
162
286
|
if (record.rule.resolvers.includes(resolver.class)) return void 0;
|
|
@@ -210,15 +334,20 @@ function isActorClass(value) {
|
|
|
210
334
|
|
|
211
335
|
// src/base-store.ts
|
|
212
336
|
var BaseGateStore = class {
|
|
213
|
-
constructor(clock, authorize) {
|
|
337
|
+
constructor(clock, authorize, requireBrief = false, allowances) {
|
|
214
338
|
this.clock = clock;
|
|
215
339
|
this.authorize = authorize;
|
|
340
|
+
this.requireBrief = requireBrief;
|
|
341
|
+
this.allowances = snapshotAllowances(allowances);
|
|
216
342
|
}
|
|
217
343
|
clock;
|
|
218
344
|
authorize;
|
|
345
|
+
requireBrief;
|
|
346
|
+
allowances;
|
|
219
347
|
create(input) {
|
|
220
348
|
const id = input.id ?? globalThis.crypto.randomUUID();
|
|
221
349
|
const rule = input.rule === void 0 ? void 0 : snapshotRule(id, input.rule);
|
|
350
|
+
const brief = snapshotBrief(id, input, this.requireBrief);
|
|
222
351
|
if (this.read(id)) throw new GateAlreadyExists(id);
|
|
223
352
|
const record = {
|
|
224
353
|
id,
|
|
@@ -231,7 +360,8 @@ var BaseGateStore = class {
|
|
|
231
360
|
resolvedAt: void 0,
|
|
232
361
|
expiresAt: toIso(input.expiresAt),
|
|
233
362
|
resolvedBy: void 0,
|
|
234
|
-
rule
|
|
363
|
+
rule,
|
|
364
|
+
...brief
|
|
235
365
|
};
|
|
236
366
|
this.insert(record);
|
|
237
367
|
return record;
|
|
@@ -244,34 +374,40 @@ var BaseGateStore = class {
|
|
|
244
374
|
if (!resolvedBy) throw new GateResolverRefused(id, void 0, "a resolver is required");
|
|
245
375
|
const resolver = snapshotResolver(id, resolvedBy);
|
|
246
376
|
const record = this.requirePending(id);
|
|
247
|
-
this.requireAuthorized(record, resolver);
|
|
377
|
+
this.requireAuthorized(record, resolver, payload);
|
|
248
378
|
if (record.schema) {
|
|
249
379
|
const issues = checkAgainstJsonSchema(record.schema, payload);
|
|
250
380
|
if (issues.length > 0) throw new GatePayloadInvalid(id, issues);
|
|
251
381
|
}
|
|
252
382
|
const resolved = { ...record, status: "resolved", payload, resolvedAt: this.nowIso(), resolvedBy: resolver };
|
|
253
|
-
this.
|
|
254
|
-
return resolved;
|
|
383
|
+
return this.settle(resolved);
|
|
255
384
|
}
|
|
256
385
|
cancel(id, reason) {
|
|
257
386
|
const record = this.requirePending(id);
|
|
258
387
|
const cancelled = { ...record, status: "cancelled", reason, resolvedAt: this.nowIso() };
|
|
259
|
-
this.
|
|
260
|
-
return cancelled;
|
|
388
|
+
return this.settle(cancelled);
|
|
261
389
|
}
|
|
262
390
|
listPending() {
|
|
263
391
|
return this.readByStatus("pending").map((record) => this.lapseIfExpired(record)).filter((record) => record.status === "pending").sort((a, b) => a.createdAt.localeCompare(b.createdAt));
|
|
264
392
|
}
|
|
265
393
|
requirePending(id) {
|
|
266
394
|
const record = this.get(id);
|
|
267
|
-
if (
|
|
268
|
-
if (record.status === "expired") throw new GateExpired(id);
|
|
269
|
-
if (record.status !== "pending") throw new GateAlreadySettled(id, record.status);
|
|
395
|
+
if (record?.status !== "pending") throw notPending(id, record);
|
|
270
396
|
return record;
|
|
271
397
|
}
|
|
272
|
-
/**
|
|
273
|
-
|
|
274
|
-
|
|
398
|
+
/**
|
|
399
|
+
* `authorize` runs between the pending check and the write, and another store may settle the row in that gap.
|
|
400
|
+
* A writer that got there first with this same answer is a retry, not a conflict, so its row comes back.
|
|
401
|
+
*/
|
|
402
|
+
settle(record) {
|
|
403
|
+
if (this.update(record)) return record;
|
|
404
|
+
const current = this.read(record.id);
|
|
405
|
+
if (current && sameAnswer(current, record)) return current;
|
|
406
|
+
throw notPending(record.id, current);
|
|
407
|
+
}
|
|
408
|
+
/** The default check (or a listed allowance) runs first, the gate's rule second and `authorize` last, so each can only narrow who may resolve. */
|
|
409
|
+
requireAuthorized(record, resolver, payload) {
|
|
410
|
+
const refusal = resolverRefusal(record.id, resolver, payload, this.allowances);
|
|
275
411
|
if (refusal) throw new GateResolverRefused(record.id, resolver.class, refusal);
|
|
276
412
|
const ruleRefusal = ruleResolverRefusal(record, resolver);
|
|
277
413
|
if (ruleRefusal) throw new GateResolverRefused(record.id, resolver.class, ruleRefusal);
|
|
@@ -284,13 +420,20 @@ var BaseGateStore = class {
|
|
|
284
420
|
if (record.status !== "pending" || !record.expiresAt) return record;
|
|
285
421
|
if (Date.parse(record.expiresAt) > this.clock()) return record;
|
|
286
422
|
const expired = { ...record, status: "expired", resolvedAt: this.nowIso() };
|
|
287
|
-
this.update(expired);
|
|
288
|
-
return expired;
|
|
423
|
+
return this.update(expired) ? expired : this.read(record.id) ?? expired;
|
|
289
424
|
}
|
|
290
425
|
nowIso() {
|
|
291
426
|
return new Date(this.clock()).toISOString();
|
|
292
427
|
}
|
|
293
428
|
};
|
|
429
|
+
function sameAnswer(stored, attempted) {
|
|
430
|
+
return stored.status === attempted.status && stored.reason === attempted.reason && jsonEqual(stored.payload, attempted.payload);
|
|
431
|
+
}
|
|
432
|
+
function notPending(id, record) {
|
|
433
|
+
if (!record) return new GateNotFound(id);
|
|
434
|
+
if (record.status === "expired") return new GateExpired(id);
|
|
435
|
+
return new GateAlreadySettled(id, record.status);
|
|
436
|
+
}
|
|
294
437
|
function toIso(value) {
|
|
295
438
|
if (value === void 0) return void 0;
|
|
296
439
|
return typeof value === "string" ? value : value.toISOString();
|
|
@@ -308,11 +451,23 @@ export {
|
|
|
308
451
|
GateResolverRefused,
|
|
309
452
|
GateStoreSchemaOutdated,
|
|
310
453
|
GateRuleInvalid,
|
|
454
|
+
GateBriefInvalid,
|
|
311
455
|
GateAuthorizeInvalid,
|
|
456
|
+
snapshotBrief,
|
|
312
457
|
checkAgainstJsonSchema,
|
|
313
458
|
defaultResolverRefusal,
|
|
459
|
+
matchesAllowance,
|
|
314
460
|
ruleResolverRefusal,
|
|
315
461
|
snapshotResolver,
|
|
316
462
|
BaseGateStore
|
|
317
463
|
};
|
|
318
|
-
|
|
464
|
+
/*!
|
|
465
|
+
* The question bounds and `questionsIssue` are adapted from openrig,
|
|
466
|
+
* https://github.com/mvschwarz/openrig, packages/daemon/src/domain/human-questions.ts
|
|
467
|
+
* (parseHumanQuestions). Copyright 2026 Mike Schwarz, licensed under the Apache License 2.0,
|
|
468
|
+
* http://www.apache.org/licenses/LICENSE-2.0.
|
|
469
|
+
* Changed here: the checks report through GateBriefInvalid instead of a result union, and
|
|
470
|
+
* `recommended` keeps only `true`.
|
|
471
|
+
* @license Apache-2.0
|
|
472
|
+
*/
|
|
473
|
+
//# sourceMappingURL=chunk-GZ6IE2SD.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../src/types.ts","../src/gate-brief.ts","../src/json-schema.ts","../src/resolver-policy.ts","../src/base-store.ts"],"sourcesContent":["import type { ActorClass, ResolverClass } from \"@titan-design/authority\";\n\n/** A gate is a row, never a promise: pending work survives the process that opened it. */\nexport type GateStatus = \"pending\" | \"resolved\" | \"cancelled\" | \"expired\";\n\n/** A JSON Schema document, stored so any process can validate a payload without the original zod schema. */\nexport type JsonSchema = Record<string, unknown>;\n\nexport interface GateRecord {\n id: string;\n prompt: string;\n schema: JsonSchema | undefined;\n status: GateStatus;\n payload: unknown;\n /** Why the gate was cancelled; unset for every other status. */\n reason: string | undefined;\n /** ISO-8601 with milliseconds, the shape store-sqlite writes and any surface can send as-is. */\n createdAt: string;\n resolvedAt: string | undefined;\n expiresAt: string | undefined;\n /** Who resolved the gate, as claimed by the caller; unset for gates resolved before stores recorded it. */\n resolvedBy: GateResolver | undefined;\n /** The authority rule that opened the gate; unset for a gate no rule governs. */\n rule: GateRule | undefined;\n /** One line for the owner: the decision and the recommendation. Unset for a gate opened without a brief. */\n summary: string | undefined;\n /** Where the owner checks the facts: an https URL, an absolute path, or `$ <command>`. */\n evidenceRef: string | undefined;\n /** A fixed menu a surface can render as buttons; the gate's `schema` still validates the answer. */\n questions: GateQuestion[] | undefined;\n}\n\nexport interface GateQuestionOption {\n /** 1-40 letters, digits, `-` or `_`; unique within its question. */\n id: string;\n /** 1-75 characters, the Slack button limit. */\n label: string;\n /** At most one option per question; omitted means false. */\n recommended?: true;\n}\n\nexport interface GateQuestion {\n /** 1-40 letters, digits, `-` or `_`; unique within the gate. */\n id: string;\n /** 1-500 characters. */\n question: string;\n /** 2-4 options. */\n options: GateQuestionOption[];\n}\n\n/** What the owner reads instead of the machine-facing prompt. A store with `requireBrief` refuses a gate without one. */\nexport interface GateBrief {\n /** 1-280 characters on one line. */\n summary: string;\n /** 1-500 characters on one line. */\n evidenceRef: string;\n /** 1-4 questions; absent means the gate's schema alone defines the answer. */\n questions?: GateQuestion[];\n}\n\n/** Binds a gate to the authority rule that opened it, so only that rule's resolver classes may answer. */\nexport interface GateRule {\n table: string;\n version: string;\n ruleId: string;\n resolvers: ResolverClass[];\n}\n\n/** A claim about who answered a gate. hitl records it and checks its class; it cannot prove it. */\nexport interface GateResolver {\n class: ActorClass;\n id: string;\n channel: string;\n /** The channel's own id for the confirming event, such as a chat reaction. */\n confirmEvent?: string;\n}\n\nexport type GateAuthorization = { allowed: true } | { allowed: false; reason: string };\n\n/**\n * Runs after the default resolver-class check, so it can refuse a resolver but\n * never admit one the default refused. Must return synchronously.\n */\nexport type GateAuthorize = (gate: Readonly<GateRecord>, resolver: Readonly<GateResolver>) => GateAuthorization;\n\n/**\n * One answer a non-owner class may give, declared by the product when it builds the store.\n * It admits exactly: `resolverClass`, a gate whose step is `stepId` (a bare id or `<id>:<n>` after\n * the last `/`), and a payload deep-equal to `payload`. Evaluated in place of the default refusal for\n * those gates only; the gate's rule and `authorize` still run after it. The resolver's id must be non-blank.\n */\nexport interface GateAnswerAllowance {\n resolverClass: ActorClass;\n stepId: string;\n payload: Readonly<Record<string, unknown>>;\n}\n\nexport interface GateInput {\n /** Defaults to a random UUID. Supply one to make the gate addressable by a name you already own. */\n id?: string;\n prompt: string;\n schema?: JsonSchema;\n expiresAt?: Date | string;\n rule?: GateRule;\n /** Required, with `evidenceRef`, when the store has `requireBrief`. */\n summary?: string;\n evidenceRef?: string;\n questions?: GateQuestion[];\n}\n\n/**\n * Synchronous on purpose: both implementations are local (a Map, and\n * better-sqlite3), and `wait` is the only thing that needs to be async.\n */\nexport interface GateStore {\n create(input: GateInput): GateRecord;\n get(id: string): GateRecord | undefined;\n resolve(id: string, payload: unknown, resolvedBy: GateResolver): GateRecord;\n cancel(id: string, reason: string): GateRecord;\n listPending(): GateRecord[];\n}\n\nexport class GateError extends Error {\n constructor(\n message: string,\n readonly gateId: string,\n ) {\n super(message);\n this.name = new.target.name;\n }\n}\n\nexport class GateNotFound extends GateError {\n constructor(gateId: string) {\n super(`no gate with id ${gateId}`, gateId);\n }\n}\n\nexport class GateAlreadyExists extends GateError {\n constructor(gateId: string) {\n super(`a gate with id ${gateId} already exists`, gateId);\n }\n}\n\nexport class GateAlreadySettled extends GateError {\n constructor(\n gateId: string,\n readonly status: GateStatus,\n ) {\n super(`gate ${gateId} is already ${status}`, gateId);\n }\n}\n\nexport class GateCancelled extends GateError {\n constructor(\n gateId: string,\n readonly reason: string,\n ) {\n super(`gate ${gateId} was cancelled: ${reason}`, gateId);\n }\n}\n\nexport class GateExpired extends GateError {\n constructor(gateId: string) {\n super(`gate ${gateId} expired before anyone resolved it`, gateId);\n }\n}\n\nexport class GatePayloadInvalid extends GateError {\n constructor(\n gateId: string,\n readonly issues: string[],\n ) {\n super(`payload for gate ${gateId} does not match its schema: ${issues.join(\"; \")}`, gateId);\n }\n}\n\nexport class GateAborted extends GateError {\n constructor(gateId: string, reason: string) {\n super(`stopped waiting on gate ${gateId}: ${reason}`, gateId);\n }\n}\n\nexport class GateResolverRefused extends GateError {\n constructor(\n gateId: string,\n readonly actorClass: string | undefined,\n readonly reason: string,\n ) {\n super(`gate ${gateId} refused a resolution by ${actorClass ?? \"an unnamed resolver\"}: ${reason}`, gateId);\n }\n}\n\n/**\n * The store cannot record a resolver or a rule because its table predates the migration that adds the column.\n * `gateId` is empty when the store refuses at construction, before any gate is named.\n */\nexport class GateStoreSchemaOutdated extends GateError {\n constructor(\n gateId: string,\n readonly table: string,\n readonly migration: string,\n ) {\n const message =\n gateId === \"\"\n ? `cannot open a gate store on table ${table}: it needs ${migration}`\n : `gate ${gateId} cannot be recorded: table ${table} needs ${migration}`;\n super(message, gateId);\n }\n}\n\nexport class GateRuleInvalid extends GateError {\n constructor(\n gateId: string,\n readonly reason: string,\n ) {\n super(`gate ${gateId} has an invalid rule: ${reason}`, gateId);\n }\n}\n\nexport class GateBriefInvalid extends GateError {\n constructor(\n gateId: string,\n readonly issues: string[],\n ) {\n super(`gate ${gateId} brief is invalid: ${issues.join(\"; \")}`, gateId);\n }\n}\n\nexport class GateAuthorizeInvalid extends GateError {\n constructor(gateId: string) {\n super(`authorize for gate ${gateId} must return a decision { allowed: boolean } synchronously`, gateId);\n }\n}\n","/*!\n * The question bounds and `questionsIssue` are adapted from openrig,\n * https://github.com/mvschwarz/openrig, packages/daemon/src/domain/human-questions.ts\n * (parseHumanQuestions). Copyright 2026 Mike Schwarz, licensed under the Apache License 2.0,\n * http://www.apache.org/licenses/LICENSE-2.0.\n * Changed here: the checks report through GateBriefInvalid instead of a result union, and\n * `recommended` keeps only `true`.\n * @license Apache-2.0\n */\nimport { GateBriefInvalid, type GateQuestion, type GateQuestionOption } from \"./types.js\";\n\nconst MAX_SUMMARY = 280;\nconst MAX_EVIDENCE_REF = 500;\nconst MAX_QUESTIONS = 4;\nconst MIN_OPTIONS = 2;\nconst MAX_OPTIONS = 4;\n/** Slack's button text limit, so every option fits on a button. */\nconst MAX_OPTION_LABEL = 75;\nconst MAX_QUESTION_TEXT = 500;\n\nconst ID_PATTERN = /^[A-Za-z0-9_-]{1,40}$/;\nconst ID_RULE = 'id must be 1-40 letters, digits, \"-\" or \"_\"';\n// eslint-disable-next-line no-control-regex -- a control character is exactly what a one-line field refuses\nconst CONTROL_CHAR = /[\\u0000-\\u001f\\u007f]/;\n\nexport interface GateBriefSnapshot {\n summary: string | undefined;\n evidenceRef: string | undefined;\n questions: GateQuestion[] | undefined;\n}\n\n/**\n * Checks the brief fields and returns a copy holding only the declared ones, so a caller\n * cannot change the stored questions after `create`. `required` makes `summary` and `evidenceRef` mandatory; without it they are still checked when present.\n */\nexport function snapshotBrief(gateId: string, raw: unknown, required: boolean): Readonly<GateBriefSnapshot> {\n const { summary, evidenceRef, questions } = (raw ?? {}) as Record<string, unknown>;\n const issues = [\n ...lineIssues(\"summary\", summary, MAX_SUMMARY, required),\n ...lineIssues(\"evidenceRef\", evidenceRef, MAX_EVIDENCE_REF, required),\n ];\n const questionIssue = questions === undefined ? undefined : questionsIssue(questions);\n if (questionIssue) issues.push(questionIssue);\n if (issues.length > 0) throw new GateBriefInvalid(gateId, issues);\n return Object.freeze({\n summary: summary as string | undefined,\n evidenceRef: evidenceRef as string | undefined,\n questions: questions === undefined ? undefined : copyQuestions(questions as GateQuestion[]),\n });\n}\n\nfunction lineIssues(field: string, value: unknown, max: number, required: boolean): string[] {\n if (value === undefined) return required ? [`${field} is required`] : [];\n if (typeof value !== \"string\") return [`${field} must be a string`];\n if (value.trim() === \"\") return [`${field} is blank`];\n if (value.length > max) return [`${field} is over ${max} characters`];\n if (CONTROL_CHAR.test(value)) return [`${field} must be one line with no control characters`];\n return [];\n}\n\nfunction questionsIssue(value: unknown): string | undefined {\n if (!Array.isArray(value)) return \"questions must be an array\";\n if (value.length < 1 || value.length > MAX_QUESTIONS) return `ask 1 to ${MAX_QUESTIONS} questions (got ${value.length})`;\n const ids = new Set<string>();\n for (const [index, raw] of value.entries()) {\n const question = (raw ?? {}) as Record<string, unknown>;\n const where = `question ${index + 1}`;\n if (typeof question.id !== \"string\" || !ID_PATTERN.test(question.id)) return `${where}: ${ID_RULE}`;\n if (ids.has(question.id)) return `${where}: duplicate question id \"${question.id}\"`;\n ids.add(question.id);\n const issue = questionTextIssue(question.question) ?? optionsIssue(question.options);\n if (issue) return `${where}: ${issue}`;\n }\n return undefined;\n}\n\nfunction questionTextIssue(text: unknown): string | undefined {\n if (typeof text !== \"string\" || text.trim() === \"\") return \"question text is required\";\n if (text.length > MAX_QUESTION_TEXT) return `question text is over ${MAX_QUESTION_TEXT} characters`;\n return undefined;\n}\n\nfunction optionsIssue(options: unknown): string | undefined {\n if (!Array.isArray(options) || options.length < MIN_OPTIONS || options.length > MAX_OPTIONS) {\n return `give ${MIN_OPTIONS} to ${MAX_OPTIONS} options`;\n }\n const ids = new Set<string>();\n let recommended = 0;\n for (const [index, raw] of options.entries()) {\n const option = (raw ?? {}) as Record<string, unknown>;\n const issue = optionIssue(option, ids);\n if (issue) return `option ${index + 1}: ${issue}`;\n ids.add(option.id as string);\n if (option.recommended === true) recommended++;\n }\n return recommended > 1 ? \"mark at most one option as recommended\" : undefined;\n}\n\nfunction optionIssue(option: Record<string, unknown>, seen: ReadonlySet<string>): string | undefined {\n if (typeof option.id !== \"string\" || !ID_PATTERN.test(option.id)) return ID_RULE;\n if (seen.has(option.id)) return `duplicate option id \"${option.id}\"`;\n if (typeof option.label !== \"string\" || option.label.trim() === \"\") return \"label is required\";\n if (option.label.length > MAX_OPTION_LABEL) return `label is over ${MAX_OPTION_LABEL} characters`;\n if (option.recommended !== undefined && typeof option.recommended !== \"boolean\") return \"recommended must be true or false\";\n return undefined;\n}\n\n/** Keeps only the declared fields, so nothing a caller attached rides along into the row. */\nfunction copyQuestions(questions: readonly GateQuestion[]): GateQuestion[] {\n return questions.map((question) => ({\n id: question.id,\n question: question.question,\n options: question.options.map(copyOption),\n }));\n}\n\nfunction copyOption(option: GateQuestionOption): GateQuestionOption {\n return option.recommended === true ? { id: option.id, label: option.label, recommended: true } : { id: option.id, label: option.label };\n}\n","import type { JsonSchema } from \"./types.js\";\n\n/**\n * A deliberately small structural check over the JSON Schema subset `z.toJSONSchema`\n * emits. It exists so the process that resolves a gate can reject a bad payload\n * without holding the original zod schema, which by definition lives in another\n * process. The waiter still re-validates with the real zod schema, so this is the\n * boundary check, not the type guarantee.\n */\nexport function checkAgainstJsonSchema(schema: JsonSchema, value: unknown, path = \"$\"): string[] {\n const issues: string[] = [];\n collect(schema, value, path, issues);\n return issues;\n}\n\nfunction collect(schema: JsonSchema, value: unknown, path: string, issues: string[]): void {\n if (Array.isArray(schema.anyOf) || Array.isArray(schema.oneOf)) {\n checkUnion((schema.anyOf ?? schema.oneOf) as JsonSchema[], value, path, issues);\n return;\n }\n if (\"const\" in schema && !Object.is(schema.const, value)) {\n issues.push(`${path}: expected ${JSON.stringify(schema.const)}`);\n return;\n }\n if (Array.isArray(schema.enum) && !schema.enum.some((option) => Object.is(option, value))) {\n issues.push(`${path}: expected one of ${JSON.stringify(schema.enum)}`);\n return;\n }\n if (typeof schema.type !== \"string\") return;\n if (!matchesType(schema.type, value)) {\n issues.push(`${path}: expected ${schema.type}, received ${describe(value)}`);\n return;\n }\n if (schema.type === \"object\") checkObject(schema, value as Record<string, unknown>, path, issues);\n if (schema.type === \"array\") checkArray(schema, value as unknown[], path, issues);\n}\n\nfunction checkUnion(branches: JsonSchema[], value: unknown, path: string, issues: string[]): void {\n const matched = branches.some((branch) => checkAgainstJsonSchema(branch, value, path).length === 0);\n if (!matched) issues.push(`${path}: matched none of the ${branches.length} allowed shapes`);\n}\n\nfunction checkObject(schema: JsonSchema, value: Record<string, unknown>, path: string, issues: string[]): void {\n const properties = (schema.properties ?? {}) as Record<string, JsonSchema>;\n for (const key of (schema.required ?? []) as string[]) {\n if (!(key in value)) issues.push(`${path}.${key}: required`);\n }\n if (schema.additionalProperties === false) {\n for (const key of Object.keys(value)) {\n if (!(key in properties)) issues.push(`${path}.${key}: unexpected property`);\n }\n }\n for (const [key, sub] of Object.entries(properties)) {\n if (key in value) collect(sub, value[key], `${path}.${key}`, issues);\n }\n}\n\nfunction checkArray(schema: JsonSchema, value: unknown[], path: string, issues: string[]): void {\n const items = schema.items as JsonSchema | undefined;\n if (!items) return;\n value.forEach((entry, index) => collect(items, entry, `${path}[${index}]`, issues));\n}\n\nfunction matchesType(type: string, value: unknown): boolean {\n switch (type) {\n case \"object\":\n return typeof value === \"object\" && value !== null && !Array.isArray(value);\n case \"array\":\n return Array.isArray(value);\n case \"integer\":\n return Number.isInteger(value);\n case \"number\":\n return typeof value === \"number\" && Number.isFinite(value);\n case \"null\":\n return value === null;\n default:\n return typeof value === type;\n }\n}\n\nfunction describe(value: unknown): string {\n if (value === null) return \"null\";\n return Array.isArray(value) ? \"array\" : typeof value;\n}\n","import { ACTOR_CLASSES, RESOLVER_CLASSES, type ActorClass, type ResolverClass } from \"@titan-design/authority\";\nimport {\n GateAuthorizeInvalid,\n GateResolverRefused,\n GateRuleInvalid,\n type GateAnswerAllowance,\n type GateAuthorization,\n type GateRecord,\n type GateResolver,\n type GateRule,\n} from \"./types.js\";\n\n/**\n * The default refusal: only an owner class may resolve a gate, so an agent or\n * automation never answers its own gate. Every store applies it before `authorize`.\n */\nexport function defaultResolverRefusal(resolver: GateResolver): string | undefined {\n if ((RESOLVER_CLASSES as readonly string[]).includes(resolver.class)) return undefined;\n return `actor class ${resolver.class} may not resolve a gate`;\n}\n\n/** Reads each allowance once into a frozen deep copy, so a caller cannot widen the list after the store is built. */\nexport function snapshotAllowances(raw: readonly GateAnswerAllowance[] | undefined): readonly GateAnswerAllowance[] {\n return Object.freeze(\n (raw ?? []).map(({ resolverClass, stepId, payload }) =>\n Object.freeze({ resolverClass, stepId, payload: Object.freeze(structuredClone(payload)) }),\n ),\n );\n}\n\n/**\n * Like `defaultResolverRefusal`, but a listed (class, step, payload) triple is admitted. Anything not\n * listed gets the default refusal unchanged.\n */\nexport function resolverRefusal(\n gateId: string,\n resolver: GateResolver,\n payload: unknown,\n allowances: readonly GateAnswerAllowance[],\n): string | undefined {\n const refusal = defaultResolverRefusal(resolver);\n if (refusal === undefined) return undefined;\n if (!matchesAllowance(allowances, gateId, resolver, payload)) return refusal;\n return resolver.id.trim() === \"\" ? `actor class ${resolver.class} must name itself to resolve this gate` : undefined;\n}\n\n/** True when an allowance names this resolver's class, the gate's step and exactly this payload. The store and its callers share this test. */\nexport function matchesAllowance(allowances: readonly GateAnswerAllowance[], gateId: string, resolver: GateResolver, payload: unknown): boolean {\n return allowances.some((a) => a.resolverClass === resolver.class && stepOf(gateId) === a.stepId && jsonEqual(payload, a.payload));\n}\n\n/** Deep equality over plain JSON data (objects, arrays, primitives); anything else, such as a class instance, is unequal. */\nexport function jsonEqual(a: unknown, b: unknown): boolean {\n if (a === b) return true;\n if (typeof a !== \"object\" || typeof b !== \"object\" || a === null || b === null) return false;\n if (Array.isArray(a) !== Array.isArray(b)) return false;\n const proto = Object.getPrototypeOf(a) as unknown;\n if (proto !== Object.getPrototypeOf(b) || (proto !== Object.prototype && proto !== Array.prototype && proto !== null)) return false;\n const keys = Object.keys(a);\n if (keys.length !== Object.keys(b).length) return false;\n return keys.every((key) => Object.hasOwn(b, key) && jsonEqual((a as Record<string, unknown>)[key], (b as Record<string, unknown>)[key]));\n}\n\n/** The step id of a gate id: the text after the last `/`, without a repeat suffix `:<n>`. */\nfunction stepOf(gateId: string): string {\n return gateId.slice(gateId.lastIndexOf(\"/\") + 1).replace(/:\\d+$/, \"\");\n}\n\n/** A rule-bound gate admits only its rule's resolver classes. Runs after the default refusal, so it only narrows. */\nexport function ruleResolverRefusal(record: GateRecord, resolver: GateResolver): string | undefined {\n if (!record.rule) return undefined;\n if ((record.rule.resolvers as readonly string[]).includes(resolver.class)) return undefined;\n return `rule ${record.rule.ruleId} does not let ${resolver.class} resolve this gate`;\n}\n\n/** Reads each declared rule field once into a frozen copy, so a caller cannot widen the rule after `create`. */\nexport function snapshotRule(gateId: string, raw: unknown): Readonly<GateRule> {\n if (typeof raw !== \"object\" || raw === null) throw new GateRuleInvalid(gateId, \"the rule is not an object\");\n const { table, version, ruleId, resolvers } = raw as Record<string, unknown>;\n if (typeof table !== \"string\" || typeof version !== \"string\" || typeof ruleId !== \"string\") {\n throw new GateRuleInvalid(gateId, \"the rule's table, version and ruleId must be strings\");\n }\n const classes = Array.isArray(resolvers) ? [...(resolvers as unknown[])] : [];\n if (classes.length === 0 || !classes.every(isResolverClass)) {\n throw new GateRuleInvalid(gateId, \"the rule's resolvers must be a non-empty list of resolver classes\");\n }\n return Object.freeze({ table, version, ruleId, resolvers: Object.freeze(classes) as ResolverClass[] });\n}\n\n/**\n * Reads each declared field exactly once into a frozen plain object, so the\n * checks and the stored row see the same resolver and nothing undeclared is kept.\n */\nexport function snapshotResolver(gateId: string, raw: unknown): Readonly<GateResolver> {\n if (typeof raw !== \"object\" || raw === null) throw new GateResolverRefused(gateId, undefined, \"the resolver is not an object\");\n const { class: actorClass, id, channel, confirmEvent } = raw as Record<string, unknown>;\n if (!isActorClass(actorClass)) {\n throw new GateResolverRefused(gateId, undefined, \"the resolver's class is not a known actor class\");\n }\n if (typeof id !== \"string\" || typeof channel !== \"string\") {\n throw new GateResolverRefused(gateId, actorClass, \"the resolver's id and channel must be strings\");\n }\n if (confirmEvent === undefined) return Object.freeze({ class: actorClass, id, channel });\n if (typeof confirmEvent !== \"string\") {\n throw new GateResolverRefused(gateId, actorClass, \"the resolver's confirmEvent must be a string\");\n }\n return Object.freeze({ class: actorClass, id, channel, confirmEvent });\n}\n\n/** Accepts only a synchronous `{ allowed: boolean }`; a promise is refused because the row cannot wait on it. */\nexport function readDecision(gateId: string, decision: unknown): GateAuthorization {\n if (typeof decision !== \"object\" || decision === null) throw new GateAuthorizeInvalid(gateId);\n const { then, allowed, reason } = decision as Record<string, unknown>;\n if (typeof then === \"function\") {\n (then as (onFulfilled: undefined, onRejected: () => void) => unknown).call(decision, undefined, () => {});\n throw new GateAuthorizeInvalid(gateId);\n }\n if (typeof allowed !== \"boolean\") throw new GateAuthorizeInvalid(gateId);\n if (allowed) return { allowed: true };\n return { allowed: false, reason: typeof reason === \"string\" ? reason : \"authorize refused the resolver\" };\n}\n\nfunction isResolverClass(value: unknown): value is ResolverClass {\n return typeof value === \"string\" && (RESOLVER_CLASSES as readonly string[]).includes(value);\n}\n\nfunction isActorClass(value: unknown): value is ActorClass {\n return typeof value === \"string\" && (ACTOR_CLASSES as readonly string[]).includes(value);\n}\n","import { snapshotBrief } from \"./gate-brief.js\";\nimport { checkAgainstJsonSchema } from \"./json-schema.js\";\nimport { jsonEqual, readDecision, resolverRefusal, ruleResolverRefusal, snapshotAllowances, snapshotResolver, snapshotRule } from \"./resolver-policy.js\";\nimport {\n GateAlreadyExists,\n GateAlreadySettled,\n GateExpired,\n GateNotFound,\n GatePayloadInvalid,\n GateResolverRefused,\n type GateAnswerAllowance,\n type GateAuthorize,\n type GateInput,\n type GateRecord,\n type GateResolver,\n type GateStore,\n} from \"./types.js\";\n\n/**\n * Every settle rule lives here so the memory and SQLite stores cannot drift\n * apart. Subclasses only move rows.\n */\nexport abstract class BaseGateStore implements GateStore {\n protected constructor(\n protected readonly clock: () => number,\n private readonly authorize?: GateAuthorize,\n private readonly requireBrief = false,\n allowances?: readonly GateAnswerAllowance[],\n ) {\n this.allowances = snapshotAllowances(allowances);\n }\n\n private readonly allowances: readonly GateAnswerAllowance[];\n\n protected abstract insert(record: GateRecord): void;\n protected abstract read(id: string): GateRecord | undefined;\n /** Writes only while the stored row is still pending; false means another writer settled it first. */\n protected abstract update(record: GateRecord): boolean;\n protected abstract readByStatus(status: GateRecord[\"status\"]): GateRecord[];\n\n create(input: GateInput): GateRecord {\n const id = input.id ?? globalThis.crypto.randomUUID();\n const rule = input.rule === undefined ? undefined : snapshotRule(id, input.rule);\n const brief = snapshotBrief(id, input, this.requireBrief);\n if (this.read(id)) throw new GateAlreadyExists(id);\n const record: GateRecord = {\n id,\n prompt: input.prompt,\n schema: input.schema,\n status: \"pending\",\n payload: undefined,\n reason: undefined,\n createdAt: this.nowIso(),\n resolvedAt: undefined,\n expiresAt: toIso(input.expiresAt),\n resolvedBy: undefined,\n rule,\n ...brief,\n };\n this.insert(record);\n return record;\n }\n\n get(id: string): GateRecord | undefined {\n const record = this.read(id);\n return record ? this.lapseIfExpired(record) : undefined;\n }\n\n resolve(id: string, payload: unknown, resolvedBy: GateResolver): GateRecord {\n if (!resolvedBy) throw new GateResolverRefused(id, undefined, \"a resolver is required\");\n const resolver = snapshotResolver(id, resolvedBy);\n const record = this.requirePending(id);\n this.requireAuthorized(record, resolver, payload);\n if (record.schema) {\n const issues = checkAgainstJsonSchema(record.schema, payload);\n if (issues.length > 0) throw new GatePayloadInvalid(id, issues);\n }\n const resolved: GateRecord = { ...record, status: \"resolved\", payload, resolvedAt: this.nowIso(), resolvedBy: resolver };\n return this.settle(resolved);\n }\n\n cancel(id: string, reason: string): GateRecord {\n const record = this.requirePending(id);\n const cancelled: GateRecord = { ...record, status: \"cancelled\", reason, resolvedAt: this.nowIso() };\n return this.settle(cancelled);\n }\n\n listPending(): GateRecord[] {\n return this.readByStatus(\"pending\")\n .map((record) => this.lapseIfExpired(record))\n .filter((record) => record.status === \"pending\")\n .sort((a, b) => a.createdAt.localeCompare(b.createdAt));\n }\n\n private requirePending(id: string): GateRecord {\n const record = this.get(id);\n if (record?.status !== \"pending\") throw notPending(id, record);\n return record;\n }\n\n /**\n * `authorize` runs between the pending check and the write, and another store may settle the row in that gap.\n * A writer that got there first with this same answer is a retry, not a conflict, so its row comes back.\n */\n private settle(record: GateRecord): GateRecord {\n if (this.update(record)) return record;\n const current = this.read(record.id);\n if (current && sameAnswer(current, record)) return current;\n throw notPending(record.id, current);\n }\n\n /** The default check (or a listed allowance) runs first, the gate's rule second and `authorize` last, so each can only narrow who may resolve. */\n private requireAuthorized(record: GateRecord, resolver: Readonly<GateResolver>, payload: unknown): void {\n const refusal = resolverRefusal(record.id, resolver, payload, this.allowances);\n if (refusal) throw new GateResolverRefused(record.id, resolver.class, refusal);\n const ruleRefusal = ruleResolverRefusal(record, resolver);\n if (ruleRefusal) throw new GateResolverRefused(record.id, resolver.class, ruleRefusal);\n if (!this.authorize) return;\n const decision = readDecision(record.id, this.authorize(Object.freeze({ ...record }), resolver));\n if (!decision.allowed) throw new GateResolverRefused(record.id, resolver.class, decision.reason);\n }\n\n /** Expiry is lazy: nothing sweeps the table, so a read is what notices the deadline passed. */\n private lapseIfExpired(record: GateRecord): GateRecord {\n if (record.status !== \"pending\" || !record.expiresAt) return record;\n if (Date.parse(record.expiresAt) > this.clock()) return record;\n const expired: GateRecord = { ...record, status: \"expired\", resolvedAt: this.nowIso() };\n return this.update(expired) ? expired : (this.read(record.id) ?? expired);\n }\n\n protected nowIso(): string {\n return new Date(this.clock()).toISOString();\n }\n}\n\nfunction sameAnswer(stored: GateRecord, attempted: GateRecord): boolean {\n return stored.status === attempted.status && stored.reason === attempted.reason && jsonEqual(stored.payload, attempted.payload);\n}\n\nfunction notPending(id: string, record: GateRecord | undefined): Error {\n if (!record) return new GateNotFound(id);\n if (record.status === \"expired\") return new GateExpired(id);\n return new GateAlreadySettled(id, record.status);\n}\n\nfunction toIso(value: Date | string | undefined): string | undefined {\n if (value === undefined) return undefined;\n return typeof value === \"string\" ? value : value.toISOString();\n}\n"],"mappings":";AA0HO,IAAM,YAAN,cAAwB,MAAM;AAAA,EACnC,YACE,SACS,QACT;AACA,UAAM,OAAO;AAFJ;AAGT,SAAK,OAAO,WAAW;AAAA,EACzB;AAAA,EAJW;AAKb;AAEO,IAAM,eAAN,cAA2B,UAAU;AAAA,EAC1C,YAAY,QAAgB;AAC1B,UAAM,mBAAmB,MAAM,IAAI,MAAM;AAAA,EAC3C;AACF;AAEO,IAAM,oBAAN,cAAgC,UAAU;AAAA,EAC/C,YAAY,QAAgB;AAC1B,UAAM,kBAAkB,MAAM,mBAAmB,MAAM;AAAA,EACzD;AACF;AAEO,IAAM,qBAAN,cAAiC,UAAU;AAAA,EAChD,YACE,QACS,QACT;AACA,UAAM,QAAQ,MAAM,eAAe,MAAM,IAAI,MAAM;AAF1C;AAAA,EAGX;AAAA,EAHW;AAIb;AAEO,IAAM,gBAAN,cAA4B,UAAU;AAAA,EAC3C,YACE,QACS,QACT;AACA,UAAM,QAAQ,MAAM,mBAAmB,MAAM,IAAI,MAAM;AAF9C;AAAA,EAGX;AAAA,EAHW;AAIb;AAEO,IAAM,cAAN,cAA0B,UAAU;AAAA,EACzC,YAAY,QAAgB;AAC1B,UAAM,QAAQ,MAAM,sCAAsC,MAAM;AAAA,EAClE;AACF;AAEO,IAAM,qBAAN,cAAiC,UAAU;AAAA,EAChD,YACE,QACS,QACT;AACA,UAAM,oBAAoB,MAAM,+BAA+B,OAAO,KAAK,IAAI,CAAC,IAAI,MAAM;AAFjF;AAAA,EAGX;AAAA,EAHW;AAIb;AAEO,IAAM,cAAN,cAA0B,UAAU;AAAA,EACzC,YAAY,QAAgB,QAAgB;AAC1C,UAAM,2BAA2B,MAAM,KAAK,MAAM,IAAI,MAAM;AAAA,EAC9D;AACF;AAEO,IAAM,sBAAN,cAAkC,UAAU;AAAA,EACjD,YACE,QACS,YACA,QACT;AACA,UAAM,QAAQ,MAAM,4BAA4B,cAAc,qBAAqB,KAAK,MAAM,IAAI,MAAM;AAH/F;AACA;AAAA,EAGX;AAAA,EAJW;AAAA,EACA;AAIb;AAMO,IAAM,0BAAN,cAAsC,UAAU;AAAA,EACrD,YACE,QACS,OACA,WACT;AACA,UAAM,UACJ,WAAW,KACP,qCAAqC,KAAK,cAAc,SAAS,KACjE,QAAQ,MAAM,8BAA8B,KAAK,UAAU,SAAS;AAC1E,UAAM,SAAS,MAAM;AAPZ;AACA;AAAA,EAOX;AAAA,EARW;AAAA,EACA;AAQb;AAEO,IAAM,kBAAN,cAA8B,UAAU;AAAA,EAC7C,YACE,QACS,QACT;AACA,UAAM,QAAQ,MAAM,yBAAyB,MAAM,IAAI,MAAM;AAFpD;AAAA,EAGX;AAAA,EAHW;AAIb;AAEO,IAAM,mBAAN,cAA+B,UAAU;AAAA,EAC9C,YACE,QACS,QACT;AACA,UAAM,QAAQ,MAAM,sBAAsB,OAAO,KAAK,IAAI,CAAC,IAAI,MAAM;AAF5D;AAAA,EAGX;AAAA,EAHW;AAIb;AAEO,IAAM,uBAAN,cAAmC,UAAU;AAAA,EAClD,YAAY,QAAgB;AAC1B,UAAM,sBAAsB,MAAM,8DAA8D,MAAM;AAAA,EACxG;AACF;;;AC9NA,IAAM,cAAc;AACpB,IAAM,mBAAmB;AACzB,IAAM,gBAAgB;AACtB,IAAM,cAAc;AACpB,IAAM,cAAc;AAEpB,IAAM,mBAAmB;AACzB,IAAM,oBAAoB;AAE1B,IAAM,aAAa;AACnB,IAAM,UAAU;AAEhB,IAAM,eAAe;AAYd,SAAS,cAAc,QAAgB,KAAc,UAAgD;AAC1G,QAAM,EAAE,SAAS,aAAa,UAAU,IAAK,OAAO,CAAC;AACrD,QAAM,SAAS;AAAA,IACb,GAAG,WAAW,WAAW,SAAS,aAAa,QAAQ;AAAA,IACvD,GAAG,WAAW,eAAe,aAAa,kBAAkB,QAAQ;AAAA,EACtE;AACA,QAAM,gBAAgB,cAAc,SAAY,SAAY,eAAe,SAAS;AACpF,MAAI,cAAe,QAAO,KAAK,aAAa;AAC5C,MAAI,OAAO,SAAS,EAAG,OAAM,IAAI,iBAAiB,QAAQ,MAAM;AAChE,SAAO,OAAO,OAAO;AAAA,IACnB;AAAA,IACA;AAAA,IACA,WAAW,cAAc,SAAY,SAAY,cAAc,SAA2B;AAAA,EAC5F,CAAC;AACH;AAEA,SAAS,WAAW,OAAe,OAAgB,KAAa,UAA6B;AAC3F,MAAI,UAAU,OAAW,QAAO,WAAW,CAAC,GAAG,KAAK,cAAc,IAAI,CAAC;AACvE,MAAI,OAAO,UAAU,SAAU,QAAO,CAAC,GAAG,KAAK,mBAAmB;AAClE,MAAI,MAAM,KAAK,MAAM,GAAI,QAAO,CAAC,GAAG,KAAK,WAAW;AACpD,MAAI,MAAM,SAAS,IAAK,QAAO,CAAC,GAAG,KAAK,YAAY,GAAG,aAAa;AACpE,MAAI,aAAa,KAAK,KAAK,EAAG,QAAO,CAAC,GAAG,KAAK,8CAA8C;AAC5F,SAAO,CAAC;AACV;AAEA,SAAS,eAAe,OAAoC;AAC1D,MAAI,CAAC,MAAM,QAAQ,KAAK,EAAG,QAAO;AAClC,MAAI,MAAM,SAAS,KAAK,MAAM,SAAS,cAAe,QAAO,YAAY,aAAa,mBAAmB,MAAM,MAAM;AACrH,QAAM,MAAM,oBAAI,IAAY;AAC5B,aAAW,CAAC,OAAO,GAAG,KAAK,MAAM,QAAQ,GAAG;AAC1C,UAAM,WAAY,OAAO,CAAC;AAC1B,UAAM,QAAQ,YAAY,QAAQ,CAAC;AACnC,QAAI,OAAO,SAAS,OAAO,YAAY,CAAC,WAAW,KAAK,SAAS,EAAE,EAAG,QAAO,GAAG,KAAK,KAAK,OAAO;AACjG,QAAI,IAAI,IAAI,SAAS,EAAE,EAAG,QAAO,GAAG,KAAK,4BAA4B,SAAS,EAAE;AAChF,QAAI,IAAI,SAAS,EAAE;AACnB,UAAM,QAAQ,kBAAkB,SAAS,QAAQ,KAAK,aAAa,SAAS,OAAO;AACnF,QAAI,MAAO,QAAO,GAAG,KAAK,KAAK,KAAK;AAAA,EACtC;AACA,SAAO;AACT;AAEA,SAAS,kBAAkB,MAAmC;AAC5D,MAAI,OAAO,SAAS,YAAY,KAAK,KAAK,MAAM,GAAI,QAAO;AAC3D,MAAI,KAAK,SAAS,kBAAmB,QAAO,yBAAyB,iBAAiB;AACtF,SAAO;AACT;AAEA,SAAS,aAAa,SAAsC;AAC1D,MAAI,CAAC,MAAM,QAAQ,OAAO,KAAK,QAAQ,SAAS,eAAe,QAAQ,SAAS,aAAa;AAC3F,WAAO,QAAQ,WAAW,OAAO,WAAW;AAAA,EAC9C;AACA,QAAM,MAAM,oBAAI,IAAY;AAC5B,MAAI,cAAc;AAClB,aAAW,CAAC,OAAO,GAAG,KAAK,QAAQ,QAAQ,GAAG;AAC5C,UAAM,SAAU,OAAO,CAAC;AACxB,UAAM,QAAQ,YAAY,QAAQ,GAAG;AACrC,QAAI,MAAO,QAAO,UAAU,QAAQ,CAAC,KAAK,KAAK;AAC/C,QAAI,IAAI,OAAO,EAAY;AAC3B,QAAI,OAAO,gBAAgB,KAAM;AAAA,EACnC;AACA,SAAO,cAAc,IAAI,2CAA2C;AACtE;AAEA,SAAS,YAAY,QAAiC,MAA+C;AACnG,MAAI,OAAO,OAAO,OAAO,YAAY,CAAC,WAAW,KAAK,OAAO,EAAE,EAAG,QAAO;AACzE,MAAI,KAAK,IAAI,OAAO,EAAE,EAAG,QAAO,wBAAwB,OAAO,EAAE;AACjE,MAAI,OAAO,OAAO,UAAU,YAAY,OAAO,MAAM,KAAK,MAAM,GAAI,QAAO;AAC3E,MAAI,OAAO,MAAM,SAAS,iBAAkB,QAAO,iBAAiB,gBAAgB;AACpF,MAAI,OAAO,gBAAgB,UAAa,OAAO,OAAO,gBAAgB,UAAW,QAAO;AACxF,SAAO;AACT;AAGA,SAAS,cAAc,WAAoD;AACzE,SAAO,UAAU,IAAI,CAAC,cAAc;AAAA,IAClC,IAAI,SAAS;AAAA,IACb,UAAU,SAAS;AAAA,IACnB,SAAS,SAAS,QAAQ,IAAI,UAAU;AAAA,EAC1C,EAAE;AACJ;AAEA,SAAS,WAAW,QAAgD;AAClE,SAAO,OAAO,gBAAgB,OAAO,EAAE,IAAI,OAAO,IAAI,OAAO,OAAO,OAAO,aAAa,KAAK,IAAI,EAAE,IAAI,OAAO,IAAI,OAAO,OAAO,MAAM;AACxI;;;AC7GO,SAAS,uBAAuB,QAAoB,OAAgB,OAAO,KAAe;AAC/F,QAAM,SAAmB,CAAC;AAC1B,UAAQ,QAAQ,OAAO,MAAM,MAAM;AACnC,SAAO;AACT;AAEA,SAAS,QAAQ,QAAoB,OAAgB,MAAc,QAAwB;AACzF,MAAI,MAAM,QAAQ,OAAO,KAAK,KAAK,MAAM,QAAQ,OAAO,KAAK,GAAG;AAC9D,eAAY,OAAO,SAAS,OAAO,OAAwB,OAAO,MAAM,MAAM;AAC9E;AAAA,EACF;AACA,MAAI,WAAW,UAAU,CAAC,OAAO,GAAG,OAAO,OAAO,KAAK,GAAG;AACxD,WAAO,KAAK,GAAG,IAAI,cAAc,KAAK,UAAU,OAAO,KAAK,CAAC,EAAE;AAC/D;AAAA,EACF;AACA,MAAI,MAAM,QAAQ,OAAO,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,WAAW,OAAO,GAAG,QAAQ,KAAK,CAAC,GAAG;AACzF,WAAO,KAAK,GAAG,IAAI,qBAAqB,KAAK,UAAU,OAAO,IAAI,CAAC,EAAE;AACrE;AAAA,EACF;AACA,MAAI,OAAO,OAAO,SAAS,SAAU;AACrC,MAAI,CAAC,YAAY,OAAO,MAAM,KAAK,GAAG;AACpC,WAAO,KAAK,GAAG,IAAI,cAAc,OAAO,IAAI,cAAc,SAAS,KAAK,CAAC,EAAE;AAC3E;AAAA,EACF;AACA,MAAI,OAAO,SAAS,SAAU,aAAY,QAAQ,OAAkC,MAAM,MAAM;AAChG,MAAI,OAAO,SAAS,QAAS,YAAW,QAAQ,OAAoB,MAAM,MAAM;AAClF;AAEA,SAAS,WAAW,UAAwB,OAAgB,MAAc,QAAwB;AAChG,QAAM,UAAU,SAAS,KAAK,CAAC,WAAW,uBAAuB,QAAQ,OAAO,IAAI,EAAE,WAAW,CAAC;AAClG,MAAI,CAAC,QAAS,QAAO,KAAK,GAAG,IAAI,yBAAyB,SAAS,MAAM,iBAAiB;AAC5F;AAEA,SAAS,YAAY,QAAoB,OAAgC,MAAc,QAAwB;AAC7G,QAAM,aAAc,OAAO,cAAc,CAAC;AAC1C,aAAW,OAAQ,OAAO,YAAY,CAAC,GAAgB;AACrD,QAAI,EAAE,OAAO,OAAQ,QAAO,KAAK,GAAG,IAAI,IAAI,GAAG,YAAY;AAAA,EAC7D;AACA,MAAI,OAAO,yBAAyB,OAAO;AACzC,eAAW,OAAO,OAAO,KAAK,KAAK,GAAG;AACpC,UAAI,EAAE,OAAO,YAAa,QAAO,KAAK,GAAG,IAAI,IAAI,GAAG,uBAAuB;AAAA,IAC7E;AAAA,EACF;AACA,aAAW,CAAC,KAAK,GAAG,KAAK,OAAO,QAAQ,UAAU,GAAG;AACnD,QAAI,OAAO,MAAO,SAAQ,KAAK,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,GAAG,IAAI,MAAM;AAAA,EACrE;AACF;AAEA,SAAS,WAAW,QAAoB,OAAkB,MAAc,QAAwB;AAC9F,QAAM,QAAQ,OAAO;AACrB,MAAI,CAAC,MAAO;AACZ,QAAM,QAAQ,CAAC,OAAO,UAAU,QAAQ,OAAO,OAAO,GAAG,IAAI,IAAI,KAAK,KAAK,MAAM,CAAC;AACpF;AAEA,SAAS,YAAY,MAAc,OAAyB;AAC1D,UAAQ,MAAM;AAAA,IACZ,KAAK;AACH,aAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,KAAK;AAAA,IAC5E,KAAK;AACH,aAAO,MAAM,QAAQ,KAAK;AAAA,IAC5B,KAAK;AACH,aAAO,OAAO,UAAU,KAAK;AAAA,IAC/B,KAAK;AACH,aAAO,OAAO,UAAU,YAAY,OAAO,SAAS,KAAK;AAAA,IAC3D,KAAK;AACH,aAAO,UAAU;AAAA,IACnB;AACE,aAAO,OAAO,UAAU;AAAA,EAC5B;AACF;AAEA,SAAS,SAAS,OAAwB;AACxC,MAAI,UAAU,KAAM,QAAO;AAC3B,SAAO,MAAM,QAAQ,KAAK,IAAI,UAAU,OAAO;AACjD;;;ACnFA,SAAS,eAAe,wBAA6D;AAgB9E,SAAS,uBAAuB,UAA4C;AACjF,MAAK,iBAAuC,SAAS,SAAS,KAAK,EAAG,QAAO;AAC7E,SAAO,eAAe,SAAS,KAAK;AACtC;AAGO,SAAS,mBAAmB,KAAiF;AAClH,SAAO,OAAO;AAAA,KACX,OAAO,CAAC,GAAG;AAAA,MAAI,CAAC,EAAE,eAAe,QAAQ,QAAQ,MAChD,OAAO,OAAO,EAAE,eAAe,QAAQ,SAAS,OAAO,OAAO,gBAAgB,OAAO,CAAC,EAAE,CAAC;AAAA,IAC3F;AAAA,EACF;AACF;AAMO,SAAS,gBACd,QACA,UACA,SACA,YACoB;AACpB,QAAM,UAAU,uBAAuB,QAAQ;AAC/C,MAAI,YAAY,OAAW,QAAO;AAClC,MAAI,CAAC,iBAAiB,YAAY,QAAQ,UAAU,OAAO,EAAG,QAAO;AACrE,SAAO,SAAS,GAAG,KAAK,MAAM,KAAK,eAAe,SAAS,KAAK,2CAA2C;AAC7G;AAGO,SAAS,iBAAiB,YAA4C,QAAgB,UAAwB,SAA2B;AAC9I,SAAO,WAAW,KAAK,CAAC,MAAM,EAAE,kBAAkB,SAAS,SAAS,OAAO,MAAM,MAAM,EAAE,UAAU,UAAU,SAAS,EAAE,OAAO,CAAC;AAClI;AAGO,SAAS,UAAU,GAAY,GAAqB;AACzD,MAAI,MAAM,EAAG,QAAO;AACpB,MAAI,OAAO,MAAM,YAAY,OAAO,MAAM,YAAY,MAAM,QAAQ,MAAM,KAAM,QAAO;AACvF,MAAI,MAAM,QAAQ,CAAC,MAAM,MAAM,QAAQ,CAAC,EAAG,QAAO;AAClD,QAAM,QAAQ,OAAO,eAAe,CAAC;AACrC,MAAI,UAAU,OAAO,eAAe,CAAC,KAAM,UAAU,OAAO,aAAa,UAAU,MAAM,aAAa,UAAU,KAAO,QAAO;AAC9H,QAAM,OAAO,OAAO,KAAK,CAAC;AAC1B,MAAI,KAAK,WAAW,OAAO,KAAK,CAAC,EAAE,OAAQ,QAAO;AAClD,SAAO,KAAK,MAAM,CAAC,QAAQ,OAAO,OAAO,GAAG,GAAG,KAAK,UAAW,EAA8B,GAAG,GAAI,EAA8B,GAAG,CAAC,CAAC;AACzI;AAGA,SAAS,OAAO,QAAwB;AACtC,SAAO,OAAO,MAAM,OAAO,YAAY,GAAG,IAAI,CAAC,EAAE,QAAQ,SAAS,EAAE;AACtE;AAGO,SAAS,oBAAoB,QAAoB,UAA4C;AAClG,MAAI,CAAC,OAAO,KAAM,QAAO;AACzB,MAAK,OAAO,KAAK,UAAgC,SAAS,SAAS,KAAK,EAAG,QAAO;AAClF,SAAO,QAAQ,OAAO,KAAK,MAAM,iBAAiB,SAAS,KAAK;AAClE;AAGO,SAAS,aAAa,QAAgB,KAAkC;AAC7E,MAAI,OAAO,QAAQ,YAAY,QAAQ,KAAM,OAAM,IAAI,gBAAgB,QAAQ,2BAA2B;AAC1G,QAAM,EAAE,OAAO,SAAS,QAAQ,UAAU,IAAI;AAC9C,MAAI,OAAO,UAAU,YAAY,OAAO,YAAY,YAAY,OAAO,WAAW,UAAU;AAC1F,UAAM,IAAI,gBAAgB,QAAQ,sDAAsD;AAAA,EAC1F;AACA,QAAM,UAAU,MAAM,QAAQ,SAAS,IAAI,CAAC,GAAI,SAAuB,IAAI,CAAC;AAC5E,MAAI,QAAQ,WAAW,KAAK,CAAC,QAAQ,MAAM,eAAe,GAAG;AAC3D,UAAM,IAAI,gBAAgB,QAAQ,mEAAmE;AAAA,EACvG;AACA,SAAO,OAAO,OAAO,EAAE,OAAO,SAAS,QAAQ,WAAW,OAAO,OAAO,OAAO,EAAqB,CAAC;AACvG;AAMO,SAAS,iBAAiB,QAAgB,KAAsC;AACrF,MAAI,OAAO,QAAQ,YAAY,QAAQ,KAAM,OAAM,IAAI,oBAAoB,QAAQ,QAAW,+BAA+B;AAC7H,QAAM,EAAE,OAAO,YAAY,IAAI,SAAS,aAAa,IAAI;AACzD,MAAI,CAAC,aAAa,UAAU,GAAG;AAC7B,UAAM,IAAI,oBAAoB,QAAQ,QAAW,iDAAiD;AAAA,EACpG;AACA,MAAI,OAAO,OAAO,YAAY,OAAO,YAAY,UAAU;AACzD,UAAM,IAAI,oBAAoB,QAAQ,YAAY,+CAA+C;AAAA,EACnG;AACA,MAAI,iBAAiB,OAAW,QAAO,OAAO,OAAO,EAAE,OAAO,YAAY,IAAI,QAAQ,CAAC;AACvF,MAAI,OAAO,iBAAiB,UAAU;AACpC,UAAM,IAAI,oBAAoB,QAAQ,YAAY,8CAA8C;AAAA,EAClG;AACA,SAAO,OAAO,OAAO,EAAE,OAAO,YAAY,IAAI,SAAS,aAAa,CAAC;AACvE;AAGO,SAAS,aAAa,QAAgB,UAAsC;AACjF,MAAI,OAAO,aAAa,YAAY,aAAa,KAAM,OAAM,IAAI,qBAAqB,MAAM;AAC5F,QAAM,EAAE,MAAM,SAAS,OAAO,IAAI;AAClC,MAAI,OAAO,SAAS,YAAY;AAC9B,IAAC,KAAqE,KAAK,UAAU,QAAW,MAAM;AAAA,IAAC,CAAC;AACxG,UAAM,IAAI,qBAAqB,MAAM;AAAA,EACvC;AACA,MAAI,OAAO,YAAY,UAAW,OAAM,IAAI,qBAAqB,MAAM;AACvE,MAAI,QAAS,QAAO,EAAE,SAAS,KAAK;AACpC,SAAO,EAAE,SAAS,OAAO,QAAQ,OAAO,WAAW,WAAW,SAAS,iCAAiC;AAC1G;AAEA,SAAS,gBAAgB,OAAwC;AAC/D,SAAO,OAAO,UAAU,YAAa,iBAAuC,SAAS,KAAK;AAC5F;AAEA,SAAS,aAAa,OAAqC;AACzD,SAAO,OAAO,UAAU,YAAa,cAAoC,SAAS,KAAK;AACzF;;;AC1GO,IAAe,gBAAf,MAAkD;AAAA,EAC7C,YACW,OACF,WACA,eAAe,OAChC,YACA;AAJmB;AACF;AACA;AAGjB,SAAK,aAAa,mBAAmB,UAAU;AAAA,EACjD;AAAA,EANqB;AAAA,EACF;AAAA,EACA;AAAA,EAMF;AAAA,EAQjB,OAAO,OAA8B;AACnC,UAAM,KAAK,MAAM,MAAM,WAAW,OAAO,WAAW;AACpD,UAAM,OAAO,MAAM,SAAS,SAAY,SAAY,aAAa,IAAI,MAAM,IAAI;AAC/E,UAAM,QAAQ,cAAc,IAAI,OAAO,KAAK,YAAY;AACxD,QAAI,KAAK,KAAK,EAAE,EAAG,OAAM,IAAI,kBAAkB,EAAE;AACjD,UAAM,SAAqB;AAAA,MACzB;AAAA,MACA,QAAQ,MAAM;AAAA,MACd,QAAQ,MAAM;AAAA,MACd,QAAQ;AAAA,MACR,SAAS;AAAA,MACT,QAAQ;AAAA,MACR,WAAW,KAAK,OAAO;AAAA,MACvB,YAAY;AAAA,MACZ,WAAW,MAAM,MAAM,SAAS;AAAA,MAChC,YAAY;AAAA,MACZ;AAAA,MACA,GAAG;AAAA,IACL;AACA,SAAK,OAAO,MAAM;AAClB,WAAO;AAAA,EACT;AAAA,EAEA,IAAI,IAAoC;AACtC,UAAM,SAAS,KAAK,KAAK,EAAE;AAC3B,WAAO,SAAS,KAAK,eAAe,MAAM,IAAI;AAAA,EAChD;AAAA,EAEA,QAAQ,IAAY,SAAkB,YAAsC;AAC1E,QAAI,CAAC,WAAY,OAAM,IAAI,oBAAoB,IAAI,QAAW,wBAAwB;AACtF,UAAM,WAAW,iBAAiB,IAAI,UAAU;AAChD,UAAM,SAAS,KAAK,eAAe,EAAE;AACrC,SAAK,kBAAkB,QAAQ,UAAU,OAAO;AAChD,QAAI,OAAO,QAAQ;AACjB,YAAM,SAAS,uBAAuB,OAAO,QAAQ,OAAO;AAC5D,UAAI,OAAO,SAAS,EAAG,OAAM,IAAI,mBAAmB,IAAI,MAAM;AAAA,IAChE;AACA,UAAM,WAAuB,EAAE,GAAG,QAAQ,QAAQ,YAAY,SAAS,YAAY,KAAK,OAAO,GAAG,YAAY,SAAS;AACvH,WAAO,KAAK,OAAO,QAAQ;AAAA,EAC7B;AAAA,EAEA,OAAO,IAAY,QAA4B;AAC7C,UAAM,SAAS,KAAK,eAAe,EAAE;AACrC,UAAM,YAAwB,EAAE,GAAG,QAAQ,QAAQ,aAAa,QAAQ,YAAY,KAAK,OAAO,EAAE;AAClG,WAAO,KAAK,OAAO,SAAS;AAAA,EAC9B;AAAA,EAEA,cAA4B;AAC1B,WAAO,KAAK,aAAa,SAAS,EAC/B,IAAI,CAAC,WAAW,KAAK,eAAe,MAAM,CAAC,EAC3C,OAAO,CAAC,WAAW,OAAO,WAAW,SAAS,EAC9C,KAAK,CAAC,GAAG,MAAM,EAAE,UAAU,cAAc,EAAE,SAAS,CAAC;AAAA,EAC1D;AAAA,EAEQ,eAAe,IAAwB;AAC7C,UAAM,SAAS,KAAK,IAAI,EAAE;AAC1B,QAAI,QAAQ,WAAW,UAAW,OAAM,WAAW,IAAI,MAAM;AAC7D,WAAO;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA,EAMQ,OAAO,QAAgC;AAC7C,QAAI,KAAK,OAAO,MAAM,EAAG,QAAO;AAChC,UAAM,UAAU,KAAK,KAAK,OAAO,EAAE;AACnC,QAAI,WAAW,WAAW,SAAS,MAAM,EAAG,QAAO;AACnD,UAAM,WAAW,OAAO,IAAI,OAAO;AAAA,EACrC;AAAA;AAAA,EAGQ,kBAAkB,QAAoB,UAAkC,SAAwB;AACtG,UAAM,UAAU,gBAAgB,OAAO,IAAI,UAAU,SAAS,KAAK,UAAU;AAC7E,QAAI,QAAS,OAAM,IAAI,oBAAoB,OAAO,IAAI,SAAS,OAAO,OAAO;AAC7E,UAAM,cAAc,oBAAoB,QAAQ,QAAQ;AACxD,QAAI,YAAa,OAAM,IAAI,oBAAoB,OAAO,IAAI,SAAS,OAAO,WAAW;AACrF,QAAI,CAAC,KAAK,UAAW;AACrB,UAAM,WAAW,aAAa,OAAO,IAAI,KAAK,UAAU,OAAO,OAAO,EAAE,GAAG,OAAO,CAAC,GAAG,QAAQ,CAAC;AAC/F,QAAI,CAAC,SAAS,QAAS,OAAM,IAAI,oBAAoB,OAAO,IAAI,SAAS,OAAO,SAAS,MAAM;AAAA,EACjG;AAAA;AAAA,EAGQ,eAAe,QAAgC;AACrD,QAAI,OAAO,WAAW,aAAa,CAAC,OAAO,UAAW,QAAO;AAC7D,QAAI,KAAK,MAAM,OAAO,SAAS,IAAI,KAAK,MAAM,EAAG,QAAO;AACxD,UAAM,UAAsB,EAAE,GAAG,QAAQ,QAAQ,WAAW,YAAY,KAAK,OAAO,EAAE;AACtF,WAAO,KAAK,OAAO,OAAO,IAAI,UAAW,KAAK,KAAK,OAAO,EAAE,KAAK;AAAA,EACnE;AAAA,EAEU,SAAiB;AACzB,WAAO,IAAI,KAAK,KAAK,MAAM,CAAC,EAAE,YAAY;AAAA,EAC5C;AACF;AAEA,SAAS,WAAW,QAAoB,WAAgC;AACtE,SAAO,OAAO,WAAW,UAAU,UAAU,OAAO,WAAW,UAAU,UAAU,UAAU,OAAO,SAAS,UAAU,OAAO;AAChI;AAEA,SAAS,WAAW,IAAY,QAAuC;AACrE,MAAI,CAAC,OAAQ,QAAO,IAAI,aAAa,EAAE;AACvC,MAAI,OAAO,WAAW,UAAW,QAAO,IAAI,YAAY,EAAE;AAC1D,SAAO,IAAI,mBAAmB,IAAI,OAAO,MAAM;AACjD;AAEA,SAAS,MAAM,OAAsD;AACnE,MAAI,UAAU,OAAW,QAAO;AAChC,SAAO,OAAO,UAAU,WAAW,QAAQ,MAAM,YAAY;AAC/D;","names":[]}
|
package/dist/index.d.ts
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import { ZodType } from 'zod';
|
|
2
|
-
import { G as GateRecord, a as
|
|
3
|
-
export {
|
|
2
|
+
import { G as GateRecord, a as GateQuestion, b as GateStore, c as GateResolver, B as BaseGateStore, d as GateAuthorize, e as GateAnswerAllowance, J as JsonSchema } from './base-store-imx8181g.js';
|
|
3
|
+
export { f as GateAborted, g as GateAlreadyExists, h as GateAlreadySettled, i as GateAuthorization, j as GateAuthorizeInvalid, k as GateBrief, l as GateBriefInvalid, m as GateCancelled, n as GateError, o as GateExpired, p as GateInput, q as GateNotFound, r as GatePayloadInvalid, s as GateQuestionOption, t as GateResolverRefused, u as GateRule, v as GateRuleInvalid, w as GateStatus, x as GateStoreSchemaOutdated } from './base-store-imx8181g.js';
|
|
4
4
|
import '@titan-design/authority';
|
|
5
5
|
|
|
6
6
|
declare const DEFAULT_POLL_MS = 250;
|
|
@@ -10,6 +10,10 @@ interface OpenGateOptions<T> {
|
|
|
10
10
|
/** Stored as JSON Schema so the resolving process can validate without it, and reused here to type the answer. */
|
|
11
11
|
schema?: ZodType<T>;
|
|
12
12
|
expiresAt?: Date | string;
|
|
13
|
+
/** Required, with `evidenceRef`, when the store has `requireBrief`. */
|
|
14
|
+
summary?: string;
|
|
15
|
+
evidenceRef?: string;
|
|
16
|
+
questions?: GateQuestion[];
|
|
13
17
|
}
|
|
14
18
|
interface WaitOptions<T> {
|
|
15
19
|
pollMs?: number;
|
|
@@ -42,6 +46,10 @@ interface MemoryGateStoreOptions {
|
|
|
42
46
|
now?: () => number;
|
|
43
47
|
/** Refuses resolvers beyond the default class check; it cannot admit one the default refused. */
|
|
44
48
|
authorize?: GateAuthorize;
|
|
49
|
+
/** Refuse `create` without a `summary` and an `evidenceRef`. Off by default. */
|
|
50
|
+
requireBrief?: boolean;
|
|
51
|
+
/** Answers a non-owner class may give, each exact in class, step and payload. Nothing else widens the default class check. */
|
|
52
|
+
allowances?: readonly GateAnswerAllowance[];
|
|
45
53
|
}
|
|
46
54
|
/**
|
|
47
55
|
* In-process gates. Right for tests and for a single-process product that only
|
|
@@ -53,7 +61,7 @@ declare class MemoryGateStore extends BaseGateStore {
|
|
|
53
61
|
constructor(options?: MemoryGateStoreOptions);
|
|
54
62
|
protected insert(record: GateRecord): void;
|
|
55
63
|
protected read(id: string): GateRecord | undefined;
|
|
56
|
-
protected update(record: GateRecord):
|
|
64
|
+
protected update(record: GateRecord): boolean;
|
|
57
65
|
protected readByStatus(status: GateRecord["status"]): GateRecord[];
|
|
58
66
|
}
|
|
59
67
|
|
|
@@ -62,6 +70,8 @@ declare class MemoryGateStore extends BaseGateStore {
|
|
|
62
70
|
* automation never answers its own gate. Every store applies it before `authorize`.
|
|
63
71
|
*/
|
|
64
72
|
declare function defaultResolverRefusal(resolver: GateResolver): string | undefined;
|
|
73
|
+
/** True when an allowance names this resolver's class, the gate's step and exactly this payload. The store and its callers share this test. */
|
|
74
|
+
declare function matchesAllowance(allowances: readonly GateAnswerAllowance[], gateId: string, resolver: GateResolver, payload: unknown): boolean;
|
|
65
75
|
/** A rule-bound gate admits only its rule's resolver classes. Runs after the default refusal, so it only narrows. */
|
|
66
76
|
declare function ruleResolverRefusal(record: GateRecord, resolver: GateResolver): string | undefined;
|
|
67
77
|
/**
|
|
@@ -70,6 +80,27 @@ declare function ruleResolverRefusal(record: GateRecord, resolver: GateResolver)
|
|
|
70
80
|
*/
|
|
71
81
|
declare function snapshotResolver(gateId: string, raw: unknown): Readonly<GateResolver>;
|
|
72
82
|
|
|
83
|
+
/*!
|
|
84
|
+
* The question bounds and `questionsIssue` are adapted from openrig,
|
|
85
|
+
* https://github.com/mvschwarz/openrig, packages/daemon/src/domain/human-questions.ts
|
|
86
|
+
* (parseHumanQuestions). Copyright 2026 Mike Schwarz, licensed under the Apache License 2.0,
|
|
87
|
+
* http://www.apache.org/licenses/LICENSE-2.0.
|
|
88
|
+
* Changed here: the checks report through GateBriefInvalid instead of a result union, and
|
|
89
|
+
* `recommended` keeps only `true`.
|
|
90
|
+
* @license Apache-2.0
|
|
91
|
+
*/
|
|
92
|
+
|
|
93
|
+
interface GateBriefSnapshot {
|
|
94
|
+
summary: string | undefined;
|
|
95
|
+
evidenceRef: string | undefined;
|
|
96
|
+
questions: GateQuestion[] | undefined;
|
|
97
|
+
}
|
|
98
|
+
/**
|
|
99
|
+
* Checks the brief fields and returns a copy holding only the declared ones, so a caller
|
|
100
|
+
* cannot change the stored questions after `create`. `required` makes `summary` and `evidenceRef` mandatory; without it they are still checked when present.
|
|
101
|
+
*/
|
|
102
|
+
declare function snapshotBrief(gateId: string, raw: unknown, required: boolean): Readonly<GateBriefSnapshot>;
|
|
103
|
+
|
|
73
104
|
/**
|
|
74
105
|
* A deliberately small structural check over the JSON Schema subset `z.toJSONSchema`
|
|
75
106
|
* emits. It exists so the process that resolves a gate can reject a bad payload
|
|
@@ -79,4 +110,4 @@ declare function snapshotResolver(gateId: string, raw: unknown): Readonly<GateRe
|
|
|
79
110
|
*/
|
|
80
111
|
declare function checkAgainstJsonSchema(schema: JsonSchema, value: unknown, path?: string): string[];
|
|
81
112
|
|
|
82
|
-
export { BaseGateStore, DEFAULT_POLL_MS, GateAuthorize, type GateHandle, GateRecord, GateResolver, GateStore, JsonSchema, MemoryGateStore, type MemoryGateStoreOptions, type OpenGateOptions, type WaitOptions, cancelGate, checkAgainstJsonSchema, defaultResolverRefusal, openGate, resolveGate, ruleResolverRefusal, snapshotResolver, waitForGate };
|
|
113
|
+
export { BaseGateStore, DEFAULT_POLL_MS, GateAnswerAllowance, GateAuthorize, type GateBriefSnapshot, type GateHandle, GateQuestion, GateRecord, GateResolver, GateStore, JsonSchema, MemoryGateStore, type MemoryGateStoreOptions, type OpenGateOptions, type WaitOptions, cancelGate, checkAgainstJsonSchema, defaultResolverRefusal, matchesAllowance, openGate, resolveGate, ruleResolverRefusal, snapshotBrief, snapshotResolver, waitForGate };
|
package/dist/index.js
CHANGED
|
@@ -4,6 +4,7 @@ import {
|
|
|
4
4
|
GateAlreadyExists,
|
|
5
5
|
GateAlreadySettled,
|
|
6
6
|
GateAuthorizeInvalid,
|
|
7
|
+
GateBriefInvalid,
|
|
7
8
|
GateCancelled,
|
|
8
9
|
GateError,
|
|
9
10
|
GateExpired,
|
|
@@ -14,9 +15,11 @@ import {
|
|
|
14
15
|
GateStoreSchemaOutdated,
|
|
15
16
|
checkAgainstJsonSchema,
|
|
16
17
|
defaultResolverRefusal,
|
|
18
|
+
matchesAllowance,
|
|
17
19
|
ruleResolverRefusal,
|
|
20
|
+
snapshotBrief,
|
|
18
21
|
snapshotResolver
|
|
19
|
-
} from "./chunk-
|
|
22
|
+
} from "./chunk-GZ6IE2SD.js";
|
|
20
23
|
|
|
21
24
|
// src/gate.ts
|
|
22
25
|
import { toJSONSchema } from "zod";
|
|
@@ -25,6 +28,9 @@ function openGate(store, options) {
|
|
|
25
28
|
const input = { prompt: options.prompt };
|
|
26
29
|
if (options.id !== void 0) input.id = options.id;
|
|
27
30
|
if (options.expiresAt !== void 0) input.expiresAt = options.expiresAt;
|
|
31
|
+
if (options.summary !== void 0) input.summary = options.summary;
|
|
32
|
+
if (options.evidenceRef !== void 0) input.evidenceRef = options.evidenceRef;
|
|
33
|
+
if (options.questions !== void 0) input.questions = options.questions;
|
|
28
34
|
if (options.schema) input.schema = toJSONSchema(options.schema);
|
|
29
35
|
const record = store.create(input);
|
|
30
36
|
return {
|
|
@@ -83,7 +89,7 @@ function sleep(ms, signal) {
|
|
|
83
89
|
var MemoryGateStore = class extends BaseGateStore {
|
|
84
90
|
rows = /* @__PURE__ */ new Map();
|
|
85
91
|
constructor(options = {}) {
|
|
86
|
-
super(options.now ?? Date.now, options.authorize);
|
|
92
|
+
super(options.now ?? Date.now, options.authorize, options.requireBrief, options.allowances);
|
|
87
93
|
}
|
|
88
94
|
insert(record) {
|
|
89
95
|
this.rows.set(record.id, copy(record));
|
|
@@ -93,7 +99,9 @@ var MemoryGateStore = class extends BaseGateStore {
|
|
|
93
99
|
return row ? copy(row) : void 0;
|
|
94
100
|
}
|
|
95
101
|
update(record) {
|
|
102
|
+
if (this.rows.get(record.id)?.status !== "pending") return false;
|
|
96
103
|
this.rows.set(record.id, copy(record));
|
|
104
|
+
return true;
|
|
97
105
|
}
|
|
98
106
|
readByStatus(status) {
|
|
99
107
|
return [...this.rows.values()].filter((row) => row.status === status).map(copy);
|
|
@@ -103,7 +111,8 @@ function copy(record) {
|
|
|
103
111
|
return {
|
|
104
112
|
...record,
|
|
105
113
|
resolvedBy: record.resolvedBy && { ...record.resolvedBy },
|
|
106
|
-
rule: record.rule && { ...record.rule, resolvers: [...record.rule.resolvers] }
|
|
114
|
+
rule: record.rule && { ...record.rule, resolvers: [...record.rule.resolvers] },
|
|
115
|
+
questions: record.questions?.map((question) => ({ ...question, options: question.options.map((option) => ({ ...option })) }))
|
|
107
116
|
};
|
|
108
117
|
}
|
|
109
118
|
export {
|
|
@@ -113,6 +122,7 @@ export {
|
|
|
113
122
|
GateAlreadyExists,
|
|
114
123
|
GateAlreadySettled,
|
|
115
124
|
GateAuthorizeInvalid,
|
|
125
|
+
GateBriefInvalid,
|
|
116
126
|
GateCancelled,
|
|
117
127
|
GateError,
|
|
118
128
|
GateExpired,
|
|
@@ -125,9 +135,11 @@ export {
|
|
|
125
135
|
cancelGate,
|
|
126
136
|
checkAgainstJsonSchema,
|
|
127
137
|
defaultResolverRefusal,
|
|
138
|
+
matchesAllowance,
|
|
128
139
|
openGate,
|
|
129
140
|
resolveGate,
|
|
130
141
|
ruleResolverRefusal,
|
|
142
|
+
snapshotBrief,
|
|
131
143
|
snapshotResolver,
|
|
132
144
|
waitForGate
|
|
133
145
|
};
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../src/gate.ts","../src/memory-store.ts"],"sourcesContent":["import { toJSONSchema, type ZodType } from \"zod\";\nimport {\n GateAborted,\n GateCancelled,\n GateExpired,\n GateNotFound,\n GatePayloadInvalid,\n type GateRecord,\n type GateResolver,\n type GateStore,\n} from \"./types.js\";\n\nexport const DEFAULT_POLL_MS = 250;\n\nexport interface OpenGateOptions<T> {\n id?: string;\n prompt: string;\n /** Stored as JSON Schema so the resolving process can validate without it, and reused here to type the answer. */\n schema?: ZodType<T>;\n expiresAt?: Date | string;\n}\n\nexport interface WaitOptions<T> {\n pollMs?: number;\n signal?: AbortSignal;\n /** Needed only when re-attaching to a gate this process did not open. */\n schema?: ZodType<T>;\n}\n\nexport interface GateHandle<T> {\n id: string;\n record: GateRecord;\n wait(options?: Omit<WaitOptions<T>, \"schema\">): Promise<T>;\n}\n\n/**\n * Open a gate and hand back something to await. The row exists before this\n * returns, so a crash here leaves a resolvable gate rather than a lost one.\n */\nexport function openGate<T = unknown>(store: GateStore, options: OpenGateOptions<T>): GateHandle<T> {\n const input: Parameters<GateStore[\"create\"]>[0] = { prompt: options.prompt };\n if (options.id !== undefined) input.id = options.id;\n if (options.expiresAt !== undefined) input.expiresAt = options.expiresAt;\n if (options.schema) input.schema = toJSONSchema(options.schema) as Record<string, unknown>;\n\n const record = store.create(input);\n return {\n id: record.id,\n record,\n wait: (waitOptions = {}) => {\n const merged: WaitOptions<T> = { ...waitOptions };\n if (options.schema) merged.schema = options.schema;\n return waitForGate<T>(store, record.id, merged);\n },\n };\n}\n\n/**\n * Await a gate by id from any process, including one that restarted after the\n * gate was opened. Polls rather than subscribes because the resolver may be a\n * different process writing the same SQLite file.\n */\nexport async function waitForGate<T = unknown>(\n store: GateStore,\n id: string,\n options: WaitOptions<T> = {},\n): Promise<T> {\n const pollMs = options.pollMs ?? DEFAULT_POLL_MS;\n for (;;) {\n throwIfAborted(id, options.signal);\n const record = store.get(id);\n if (!record) throw new GateNotFound(id);\n if (record.status === \"resolved\") return validate(record, options.schema);\n if (record.status === \"cancelled\") throw new GateCancelled(id, record.reason ?? \"no reason given\");\n if (record.status === \"expired\") throw new GateExpired(id);\n await sleep(pollMs, options.signal);\n }\n}\n\n/** Resolve a gate from wherever the human answered: a CLI, an MCP tool, a dashboard route. */\nexport function resolveGate(store: GateStore, id: string, payload: unknown, resolvedBy: GateResolver): GateRecord {\n return store.resolve(id, payload, resolvedBy);\n}\n\nexport function cancelGate(store: GateStore, id: string, reason: string): GateRecord {\n return store.cancel(id, reason);\n}\n\nfunction validate<T>(record: GateRecord, schema: ZodType<T> | undefined): T {\n if (!schema) return record.payload as T;\n const parsed = schema.safeParse(record.payload);\n if (parsed.success) return parsed.data;\n throw new GatePayloadInvalid(\n record.id,\n parsed.error.issues.map((issue) => `${issue.path.join(\".\") || \"$\"}: ${issue.message}`),\n );\n}\n\nfunction throwIfAborted(id: string, signal: AbortSignal | undefined): void {\n if (signal?.aborted) throw new GateAborted(id, String(signal.reason ?? \"aborted\"));\n}\n\nfunction sleep(ms: number, signal: AbortSignal | undefined): Promise<void> {\n return new Promise((resolve) => {\n const timer = setTimeout(finish, ms);\n signal?.addEventListener(\"abort\", finish, { once: true });\n function finish(): void {\n clearTimeout(timer);\n signal?.removeEventListener(\"abort\", finish);\n resolve();\n }\n });\n}\n","import { BaseGateStore } from \"./base-store.js\";\nimport type { GateAuthorize, GateRecord } from \"./types.js\";\n\nexport interface MemoryGateStoreOptions {\n /** Epoch-millis clock, injectable so expiry is testable without waiting. */\n now?: () => number;\n /** Refuses resolvers beyond the default class check; it cannot admit one the default refused. */\n authorize?: GateAuthorize;\n}\n\n/**\n * In-process gates. Right for tests and for a single-process product that only\n * needs the pause, not the durability; anything that must survive a restart\n * wants `SqliteGateStore`.\n */\nexport class MemoryGateStore extends BaseGateStore {\n private readonly rows = new Map<string, GateRecord>();\n\n constructor(options: MemoryGateStoreOptions = {}) {\n super(options.now ?? Date.now, options.authorize);\n }\n\n protected insert(record: GateRecord): void {\n this.rows.set(record.id, copy(record));\n }\n\n protected read(id: string): GateRecord | undefined {\n const row = this.rows.get(id);\n return row ? copy(row) : undefined;\n }\n\n protected update(record: GateRecord):
|
|
1
|
+
{"version":3,"sources":["../src/gate.ts","../src/memory-store.ts"],"sourcesContent":["import { toJSONSchema, type ZodType } from \"zod\";\nimport {\n GateAborted,\n GateCancelled,\n GateExpired,\n GateNotFound,\n GatePayloadInvalid,\n type GateQuestion,\n type GateRecord,\n type GateResolver,\n type GateStore,\n} from \"./types.js\";\n\nexport const DEFAULT_POLL_MS = 250;\n\nexport interface OpenGateOptions<T> {\n id?: string;\n prompt: string;\n /** Stored as JSON Schema so the resolving process can validate without it, and reused here to type the answer. */\n schema?: ZodType<T>;\n expiresAt?: Date | string;\n /** Required, with `evidenceRef`, when the store has `requireBrief`. */\n summary?: string;\n evidenceRef?: string;\n questions?: GateQuestion[];\n}\n\nexport interface WaitOptions<T> {\n pollMs?: number;\n signal?: AbortSignal;\n /** Needed only when re-attaching to a gate this process did not open. */\n schema?: ZodType<T>;\n}\n\nexport interface GateHandle<T> {\n id: string;\n record: GateRecord;\n wait(options?: Omit<WaitOptions<T>, \"schema\">): Promise<T>;\n}\n\n/**\n * Open a gate and hand back something to await. The row exists before this\n * returns, so a crash here leaves a resolvable gate rather than a lost one.\n */\nexport function openGate<T = unknown>(store: GateStore, options: OpenGateOptions<T>): GateHandle<T> {\n const input: Parameters<GateStore[\"create\"]>[0] = { prompt: options.prompt };\n if (options.id !== undefined) input.id = options.id;\n if (options.expiresAt !== undefined) input.expiresAt = options.expiresAt;\n if (options.summary !== undefined) input.summary = options.summary;\n if (options.evidenceRef !== undefined) input.evidenceRef = options.evidenceRef;\n if (options.questions !== undefined) input.questions = options.questions;\n if (options.schema) input.schema = toJSONSchema(options.schema) as Record<string, unknown>;\n\n const record = store.create(input);\n return {\n id: record.id,\n record,\n wait: (waitOptions = {}) => {\n const merged: WaitOptions<T> = { ...waitOptions };\n if (options.schema) merged.schema = options.schema;\n return waitForGate<T>(store, record.id, merged);\n },\n };\n}\n\n/**\n * Await a gate by id from any process, including one that restarted after the\n * gate was opened. Polls rather than subscribes because the resolver may be a\n * different process writing the same SQLite file.\n */\nexport async function waitForGate<T = unknown>(\n store: GateStore,\n id: string,\n options: WaitOptions<T> = {},\n): Promise<T> {\n const pollMs = options.pollMs ?? DEFAULT_POLL_MS;\n for (;;) {\n throwIfAborted(id, options.signal);\n const record = store.get(id);\n if (!record) throw new GateNotFound(id);\n if (record.status === \"resolved\") return validate(record, options.schema);\n if (record.status === \"cancelled\") throw new GateCancelled(id, record.reason ?? \"no reason given\");\n if (record.status === \"expired\") throw new GateExpired(id);\n await sleep(pollMs, options.signal);\n }\n}\n\n/** Resolve a gate from wherever the human answered: a CLI, an MCP tool, a dashboard route. */\nexport function resolveGate(store: GateStore, id: string, payload: unknown, resolvedBy: GateResolver): GateRecord {\n return store.resolve(id, payload, resolvedBy);\n}\n\nexport function cancelGate(store: GateStore, id: string, reason: string): GateRecord {\n return store.cancel(id, reason);\n}\n\nfunction validate<T>(record: GateRecord, schema: ZodType<T> | undefined): T {\n if (!schema) return record.payload as T;\n const parsed = schema.safeParse(record.payload);\n if (parsed.success) return parsed.data;\n throw new GatePayloadInvalid(\n record.id,\n parsed.error.issues.map((issue) => `${issue.path.join(\".\") || \"$\"}: ${issue.message}`),\n );\n}\n\nfunction throwIfAborted(id: string, signal: AbortSignal | undefined): void {\n if (signal?.aborted) throw new GateAborted(id, String(signal.reason ?? \"aborted\"));\n}\n\nfunction sleep(ms: number, signal: AbortSignal | undefined): Promise<void> {\n return new Promise((resolve) => {\n const timer = setTimeout(finish, ms);\n signal?.addEventListener(\"abort\", finish, { once: true });\n function finish(): void {\n clearTimeout(timer);\n signal?.removeEventListener(\"abort\", finish);\n resolve();\n }\n });\n}\n","import { BaseGateStore } from \"./base-store.js\";\nimport type { GateAnswerAllowance, GateAuthorize, GateRecord } from \"./types.js\";\n\nexport interface MemoryGateStoreOptions {\n /** Epoch-millis clock, injectable so expiry is testable without waiting. */\n now?: () => number;\n /** Refuses resolvers beyond the default class check; it cannot admit one the default refused. */\n authorize?: GateAuthorize;\n /** Refuse `create` without a `summary` and an `evidenceRef`. Off by default. */\n requireBrief?: boolean;\n /** Answers a non-owner class may give, each exact in class, step and payload. Nothing else widens the default class check. */\n allowances?: readonly GateAnswerAllowance[];\n}\n\n/**\n * In-process gates. Right for tests and for a single-process product that only\n * needs the pause, not the durability; anything that must survive a restart\n * wants `SqliteGateStore`.\n */\nexport class MemoryGateStore extends BaseGateStore {\n private readonly rows = new Map<string, GateRecord>();\n\n constructor(options: MemoryGateStoreOptions = {}) {\n super(options.now ?? Date.now, options.authorize, options.requireBrief, options.allowances);\n }\n\n protected insert(record: GateRecord): void {\n this.rows.set(record.id, copy(record));\n }\n\n protected read(id: string): GateRecord | undefined {\n const row = this.rows.get(id);\n return row ? copy(row) : undefined;\n }\n\n protected update(record: GateRecord): boolean {\n if (this.rows.get(record.id)?.status !== \"pending\") return false;\n this.rows.set(record.id, copy(record));\n return true;\n }\n\n protected readByStatus(status: GateRecord[\"status\"]): GateRecord[] {\n return [...this.rows.values()].filter((row) => row.status === status).map(copy);\n }\n}\n\n/** `resolvedBy`, `rule` and `questions` are nested, so a shallow spread would let a caller rewrite what the store holds. */\nfunction copy(record: GateRecord): GateRecord {\n return {\n ...record,\n resolvedBy: record.resolvedBy && { ...record.resolvedBy },\n rule: record.rule && { ...record.rule, resolvers: [...record.rule.resolvers] },\n questions: record.questions?.map((question) => ({ ...question, options: question.options.map((option) => ({ ...option })) })),\n };\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;AAAA,SAAS,oBAAkC;AAapC,IAAM,kBAAkB;AA+BxB,SAAS,SAAsB,OAAkB,SAA4C;AAClG,QAAM,QAA4C,EAAE,QAAQ,QAAQ,OAAO;AAC3E,MAAI,QAAQ,OAAO,OAAW,OAAM,KAAK,QAAQ;AACjD,MAAI,QAAQ,cAAc,OAAW,OAAM,YAAY,QAAQ;AAC/D,MAAI,QAAQ,YAAY,OAAW,OAAM,UAAU,QAAQ;AAC3D,MAAI,QAAQ,gBAAgB,OAAW,OAAM,cAAc,QAAQ;AACnE,MAAI,QAAQ,cAAc,OAAW,OAAM,YAAY,QAAQ;AAC/D,MAAI,QAAQ,OAAQ,OAAM,SAAS,aAAa,QAAQ,MAAM;AAE9D,QAAM,SAAS,MAAM,OAAO,KAAK;AACjC,SAAO;AAAA,IACL,IAAI,OAAO;AAAA,IACX;AAAA,IACA,MAAM,CAAC,cAAc,CAAC,MAAM;AAC1B,YAAM,SAAyB,EAAE,GAAG,YAAY;AAChD,UAAI,QAAQ,OAAQ,QAAO,SAAS,QAAQ;AAC5C,aAAO,YAAe,OAAO,OAAO,IAAI,MAAM;AAAA,IAChD;AAAA,EACF;AACF;AAOA,eAAsB,YACpB,OACA,IACA,UAA0B,CAAC,GACf;AACZ,QAAM,SAAS,QAAQ,UAAU;AACjC,aAAS;AACP,mBAAe,IAAI,QAAQ,MAAM;AACjC,UAAM,SAAS,MAAM,IAAI,EAAE;AAC3B,QAAI,CAAC,OAAQ,OAAM,IAAI,aAAa,EAAE;AACtC,QAAI,OAAO,WAAW,WAAY,QAAO,SAAS,QAAQ,QAAQ,MAAM;AACxE,QAAI,OAAO,WAAW,YAAa,OAAM,IAAI,cAAc,IAAI,OAAO,UAAU,iBAAiB;AACjG,QAAI,OAAO,WAAW,UAAW,OAAM,IAAI,YAAY,EAAE;AACzD,UAAM,MAAM,QAAQ,QAAQ,MAAM;AAAA,EACpC;AACF;AAGO,SAAS,YAAY,OAAkB,IAAY,SAAkB,YAAsC;AAChH,SAAO,MAAM,QAAQ,IAAI,SAAS,UAAU;AAC9C;AAEO,SAAS,WAAW,OAAkB,IAAY,QAA4B;AACnF,SAAO,MAAM,OAAO,IAAI,MAAM;AAChC;AAEA,SAAS,SAAY,QAAoB,QAAmC;AAC1E,MAAI,CAAC,OAAQ,QAAO,OAAO;AAC3B,QAAM,SAAS,OAAO,UAAU,OAAO,OAAO;AAC9C,MAAI,OAAO,QAAS,QAAO,OAAO;AAClC,QAAM,IAAI;AAAA,IACR,OAAO;AAAA,IACP,OAAO,MAAM,OAAO,IAAI,CAAC,UAAU,GAAG,MAAM,KAAK,KAAK,GAAG,KAAK,GAAG,KAAK,MAAM,OAAO,EAAE;AAAA,EACvF;AACF;AAEA,SAAS,eAAe,IAAY,QAAuC;AACzE,MAAI,QAAQ,QAAS,OAAM,IAAI,YAAY,IAAI,OAAO,OAAO,UAAU,SAAS,CAAC;AACnF;AAEA,SAAS,MAAM,IAAY,QAAgD;AACzE,SAAO,IAAI,QAAQ,CAAC,YAAY;AAC9B,UAAM,QAAQ,WAAW,QAAQ,EAAE;AACnC,YAAQ,iBAAiB,SAAS,QAAQ,EAAE,MAAM,KAAK,CAAC;AACxD,aAAS,SAAe;AACtB,mBAAa,KAAK;AAClB,cAAQ,oBAAoB,SAAS,MAAM;AAC3C,cAAQ;AAAA,IACV;AAAA,EACF,CAAC;AACH;;;ACrGO,IAAM,kBAAN,cAA8B,cAAc;AAAA,EAChC,OAAO,oBAAI,IAAwB;AAAA,EAEpD,YAAY,UAAkC,CAAC,GAAG;AAChD,UAAM,QAAQ,OAAO,KAAK,KAAK,QAAQ,WAAW,QAAQ,cAAc,QAAQ,UAAU;AAAA,EAC5F;AAAA,EAEU,OAAO,QAA0B;AACzC,SAAK,KAAK,IAAI,OAAO,IAAI,KAAK,MAAM,CAAC;AAAA,EACvC;AAAA,EAEU,KAAK,IAAoC;AACjD,UAAM,MAAM,KAAK,KAAK,IAAI,EAAE;AAC5B,WAAO,MAAM,KAAK,GAAG,IAAI;AAAA,EAC3B;AAAA,EAEU,OAAO,QAA6B;AAC5C,QAAI,KAAK,KAAK,IAAI,OAAO,EAAE,GAAG,WAAW,UAAW,QAAO;AAC3D,SAAK,KAAK,IAAI,OAAO,IAAI,KAAK,MAAM,CAAC;AACrC,WAAO;AAAA,EACT;AAAA,EAEU,aAAa,QAA4C;AACjE,WAAO,CAAC,GAAG,KAAK,KAAK,OAAO,CAAC,EAAE,OAAO,CAAC,QAAQ,IAAI,WAAW,MAAM,EAAE,IAAI,IAAI;AAAA,EAChF;AACF;AAGA,SAAS,KAAK,QAAgC;AAC5C,SAAO;AAAA,IACL,GAAG;AAAA,IACH,YAAY,OAAO,cAAc,EAAE,GAAG,OAAO,WAAW;AAAA,IACxD,MAAM,OAAO,QAAQ,EAAE,GAAG,OAAO,MAAM,WAAW,CAAC,GAAG,OAAO,KAAK,SAAS,EAAE;AAAA,IAC7E,WAAW,OAAO,WAAW,IAAI,CAAC,cAAc,EAAE,GAAG,UAAU,SAAS,SAAS,QAAQ,IAAI,CAAC,YAAY,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE;AAAA,EAC9H;AACF;","names":[]}
|
package/dist/sqlite.d.ts
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { Db, Migration } from '@titan-design/store-sqlite';
|
|
2
|
-
import { B as BaseGateStore,
|
|
2
|
+
import { B as BaseGateStore, d as GateAuthorize, e as GateAnswerAllowance, G as GateRecord, w as GateStatus } from './base-store-imx8181g.js';
|
|
3
3
|
import '@titan-design/authority';
|
|
4
4
|
|
|
5
5
|
declare const DEFAULT_GATE_TABLE = "hitl_gate";
|
|
@@ -18,13 +18,19 @@ declare function resolverRequiredTriggerDdl(name?: string): string;
|
|
|
18
18
|
declare function gateResolverMigration(version: number, name?: string): Migration;
|
|
19
19
|
/** Adds `rule` and its trigger. Idempotent and backfill-free: gates opened before it carry no rule. */
|
|
20
20
|
declare function gateRuleMigration(version: number, name?: string): Migration;
|
|
21
|
+
/** Adds `summary`, `evidence_ref` and `questions`. Idempotent and backfill-free: gates opened before it carry no brief. */
|
|
22
|
+
declare function gateBriefMigration(version: number, name?: string): Migration;
|
|
21
23
|
interface SqliteGateStoreOptions {
|
|
22
24
|
table?: string;
|
|
23
|
-
/** Run `gateMigration`, `gateResolverMigration` and `
|
|
25
|
+
/** Run `gateMigration`, `gateResolverMigration`, `gateRuleMigration` and `gateBriefMigration` on construction. Off when the product owns its migration list. */
|
|
24
26
|
migrate?: boolean;
|
|
25
27
|
now?: () => number;
|
|
26
28
|
/** Refuses resolvers beyond the default class check; it cannot admit one the default refused. */
|
|
27
29
|
authorize?: GateAuthorize;
|
|
30
|
+
/** Refuse `create` without a `summary` and an `evidenceRef`. Off by default; needs `gateBriefMigration`. */
|
|
31
|
+
requireBrief?: boolean;
|
|
32
|
+
/** Answers a non-owner class may give, each exact in class, step and payload. Nothing else widens the default class check. */
|
|
33
|
+
allowances?: readonly GateAnswerAllowance[];
|
|
28
34
|
}
|
|
29
35
|
/**
|
|
30
36
|
* Durable gates. Two instances on the same file are two processes as far as the
|
|
@@ -34,15 +40,16 @@ interface SqliteGateStoreOptions {
|
|
|
34
40
|
declare class SqliteGateStore extends BaseGateStore {
|
|
35
41
|
private readonly db;
|
|
36
42
|
private readonly table;
|
|
37
|
-
private
|
|
43
|
+
private readonly columnsSeen;
|
|
38
44
|
constructor(db: Db, options?: SqliteGateStoreOptions);
|
|
45
|
+
/** Refuses rather than dropping a rule or a brief when the table has no column to hold it. */
|
|
39
46
|
protected insert(record: GateRecord): void;
|
|
40
|
-
|
|
41
|
-
private insertWithRule;
|
|
47
|
+
private optionalColumns;
|
|
42
48
|
protected read(id: string): GateRecord | undefined;
|
|
43
|
-
protected update(record: GateRecord):
|
|
44
|
-
|
|
49
|
+
protected update(record: GateRecord): boolean;
|
|
50
|
+
/** Only a present column is cached: a migration can add one while the store is open, never remove one. */
|
|
51
|
+
private requireColumn;
|
|
45
52
|
protected readByStatus(status: GateStatus): GateRecord[];
|
|
46
53
|
}
|
|
47
54
|
|
|
48
|
-
export { DEFAULT_GATE_TABLE, SqliteGateStore, type SqliteGateStoreOptions, gateMigration, gateResolverMigration, gateRuleMigration, gateTableDdl, resolverRequiredTriggerDdl };
|
|
55
|
+
export { DEFAULT_GATE_TABLE, SqliteGateStore, type SqliteGateStoreOptions, gateBriefMigration, gateMigration, gateResolverMigration, gateRuleMigration, gateTableDdl, resolverRequiredTriggerDdl };
|