@sublang/slc 0.5.0 → 0.6.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/README.md +4 -4
- package/dist/app.d.ts +20 -20
- package/dist/app.js +29 -29
- package/dist/app.js.map +1 -1
- package/dist/artifacts.d.ts +6 -6
- package/dist/artifacts.d.ts.map +1 -1
- package/dist/artifacts.js +9 -9
- package/dist/artifacts.js.map +1 -1
- package/dist/cli.js +3 -3
- package/dist/cligent-agent.d.ts +1 -1
- package/dist/cligent-agent.js +5 -5
- package/dist/compiled-executor.d.ts +14 -6
- package/dist/compiled-executor.d.ts.map +1 -1
- package/dist/compiled-executor.js +133 -31
- package/dist/compiled-executor.js.map +1 -1
- package/dist/config-file.d.ts +6 -6
- package/dist/config-file.js +5 -5
- package/dist/config.d.ts +17 -15
- package/dist/config.d.ts.map +1 -1
- package/dist/config.js +26 -16
- package/dist/config.js.map +1 -1
- package/dist/emitted-imports.d.ts +14 -0
- package/dist/emitted-imports.d.ts.map +1 -1
- package/dist/emitted-imports.js +63 -7
- package/dist/emitted-imports.js.map +1 -1
- package/dist/entry-module.d.ts +5 -3
- package/dist/entry-module.d.ts.map +1 -1
- package/dist/entry-module.js +41 -13
- package/dist/entry-module.js.map +1 -1
- package/dist/execution.d.ts +10 -10
- package/dist/execution.d.ts.map +1 -1
- package/dist/execution.js +13 -13
- package/dist/execution.js.map +1 -1
- package/dist/hash.js +2 -2
- package/dist/host-capabilities.d.ts +115 -0
- package/dist/host-capabilities.d.ts.map +1 -0
- package/dist/host-capabilities.js +507 -0
- package/dist/host-capabilities.js.map +1 -0
- package/dist/interpreter.d.ts +2 -2
- package/dist/interpreter.d.ts.map +1 -1
- package/dist/interpreter.js +7 -7
- package/dist/invocation.d.ts +6 -6
- package/dist/invocation.d.ts.map +1 -1
- package/dist/invocation.js +1 -1
- package/dist/link.d.ts +4 -4
- package/dist/link.d.ts.map +1 -1
- package/dist/link.js +11 -11
- package/dist/link.js.map +1 -1
- package/dist/phase-runner.d.ts +4 -4
- package/dist/phase-runner.js +9 -9
- package/dist/phase.d.ts +4 -4
- package/dist/phase.d.ts.map +1 -1
- package/dist/phase.js +7 -7
- package/dist/phase.js.map +1 -1
- package/dist/pin-closure.d.ts +35 -7
- package/dist/pin-closure.d.ts.map +1 -1
- package/dist/pin-closure.js +135 -21
- package/dist/pin-closure.js.map +1 -1
- package/dist/pin-currency.d.ts +9 -4
- package/dist/pin-currency.d.ts.map +1 -1
- package/dist/pin-currency.js +57 -20
- package/dist/pin-currency.js.map +1 -1
- package/dist/pin-generate.d.ts +7 -7
- package/dist/pin-generate.d.ts.map +1 -1
- package/dist/pin-generate.js +14 -8
- package/dist/pin-generate.js.map +1 -1
- package/dist/pin-inputs.d.ts +41 -0
- package/dist/pin-inputs.d.ts.map +1 -0
- package/dist/pin-inputs.js +179 -0
- package/dist/pin-inputs.js.map +1 -0
- package/dist/pin-paths.d.ts +1 -1
- package/dist/pin-paths.js +4 -4
- package/dist/pin-paths.js.map +1 -1
- package/dist/pins.d.ts +4 -4
- package/dist/pins.d.ts.map +1 -1
- package/dist/pins.js +5 -5
- package/dist/pins.js.map +1 -1
- package/dist/pipeline.d.ts +5 -5
- package/dist/pipeline.js +10 -10
- package/dist/playbook-contract.d.ts +53 -5
- package/dist/playbook-contract.d.ts.map +1 -1
- package/dist/playbook-contract.js +70 -21
- package/dist/playbook-contract.js.map +1 -1
- package/dist/playbook-ports.d.ts +9 -9
- package/dist/playbook-ports.d.ts.map +1 -1
- package/dist/playbook-ports.js +3 -3
- package/dist/playbook-ports.js.map +1 -1
- package/dist/progress.d.ts +8 -9
- package/dist/progress.d.ts.map +1 -1
- package/dist/progress.js +3 -3
- package/dist/progress.js.map +1 -1
- package/dist/resolver.d.ts +9 -9
- package/dist/resolver.d.ts.map +1 -1
- package/dist/resolver.js +12 -12
- package/dist/resolver.js.map +1 -1
- package/dist/runner.d.ts +1 -1
- package/dist/runner.d.ts.map +1 -1
- package/dist/runner.js +195 -80
- package/dist/runner.js.map +1 -1
- package/dist/verify-coverage.d.ts +4 -3
- package/dist/verify-coverage.d.ts.map +1 -1
- package/dist/verify-coverage.js +509 -71
- package/dist/verify-coverage.js.map +1 -1
- package/dist/verify.d.ts +111 -15
- package/dist/verify.d.ts.map +1 -1
- package/dist/verify.js +656 -59
- package/dist/verify.js.map +1 -1
- package/package.json +3 -3
package/dist/verify.d.ts
CHANGED
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
/** A GEARS spec item with its acting prompt and optional source-owned results. */
|
|
2
2
|
export interface GearsItem {
|
|
3
3
|
id: string;
|
|
4
|
+
/** Source-spelled delegated participant; schema 3 canonicalizes it as a role. */
|
|
4
5
|
player: string;
|
|
5
6
|
prompt: string;
|
|
6
7
|
/**
|
|
@@ -14,6 +15,8 @@ export interface GearsItem {
|
|
|
14
15
|
playbookIdContext?: string;
|
|
15
16
|
/** Context field supplying a dynamic nested-playbook input. */
|
|
16
17
|
textContext?: string;
|
|
18
|
+
/** Source-declared parallel group, when this item is a concurrent member. */
|
|
19
|
+
parallelGroup?: string;
|
|
17
20
|
/** Ordered source-owned domain guard contract, when explicitly declared. */
|
|
18
21
|
result?: Record<string, string>;
|
|
19
22
|
/** Malformed result-metadata details retained for fail-closed reporting. */
|
|
@@ -29,7 +32,10 @@ export interface CaptainState {
|
|
|
29
32
|
* never in captain-binding enumeration or pins.
|
|
30
33
|
*/
|
|
31
34
|
actor: 'captain' | 'player' | 'script';
|
|
35
|
+
/** Immutable schema-1 delegated-player binding. */
|
|
32
36
|
player: string;
|
|
37
|
+
/** Canonical schema-3 local-role binding. */
|
|
38
|
+
role?: string;
|
|
33
39
|
prompt: string;
|
|
34
40
|
/** The state's per-state guard contract: result key to description. */
|
|
35
41
|
result: Record<string, string>;
|
|
@@ -75,6 +81,14 @@ export interface PlaybookInvocationState {
|
|
|
75
81
|
*/
|
|
76
82
|
export declare const NEEDS_BOSS_REPLY = "needsBossReply";
|
|
77
83
|
export declare const BOSS_QUESTION_MARKER = "Output shall include `question:";
|
|
84
|
+
/** Artifact schema selected only by a complete reviewed Playbook provenance. */
|
|
85
|
+
export declare function artifactSchemaForPlaybookProvenance(provenance: unknown): 1 | 3 | undefined;
|
|
86
|
+
/**
|
|
87
|
+
* Returns the Playbook package provenance that owns an invocation's concrete
|
|
88
|
+
* link target. The first package manifest above the target owns the file; a
|
|
89
|
+
* parent workspace manifest must not lend its identity to a nested local file.
|
|
90
|
+
*/
|
|
91
|
+
export declare function playbookProvenanceForLinkTarget(linkTarget: string): Promise<string | undefined>;
|
|
78
92
|
/** The minimal XState machine-config shape the introspector walks (`machine.config`). */
|
|
79
93
|
export interface MachineConfigLike {
|
|
80
94
|
initial?: string;
|
|
@@ -114,6 +128,18 @@ interface StateLike {
|
|
|
114
128
|
* blockquoted acting prompt, and optional ordered `Results:` metadata.
|
|
115
129
|
*/
|
|
116
130
|
export declare function parseGearsItems(gears: string): GearsItem[];
|
|
131
|
+
/** The source generation and canonical role/cohort declaration of one GEARS artifact. */
|
|
132
|
+
export interface GearsRoleContract {
|
|
133
|
+
generation: 'schema-1' | 'schema-3' | 'unspecified';
|
|
134
|
+
names: string[];
|
|
135
|
+
roleIds: string[];
|
|
136
|
+
concurrentRoleSets: string[][];
|
|
137
|
+
findings: string[];
|
|
138
|
+
}
|
|
139
|
+
/** Canonical lowercase local-role id used by schema-3 artifacts. */
|
|
140
|
+
export declare function canonicalRoleId(name: string): string;
|
|
141
|
+
/** Parses Roles/Players plus source-derived concurrent role sets without host bindings. */
|
|
142
|
+
export declare function inspectGearsRoleContract(gears: string): GearsRoleContract;
|
|
117
143
|
/**
|
|
118
144
|
* Enumerates a machine's direct-Captain and delegated-player states, reading
|
|
119
145
|
* `invoke.input` under a stub context to recover the static source binding.
|
|
@@ -128,14 +154,33 @@ export declare function enumeratePlaybookStates(config: MachineConfigLike): Play
|
|
|
128
154
|
* is not agent-invoking, so `needsBossReply` in its result map is malformed.
|
|
129
155
|
*/
|
|
130
156
|
export declare function enumerateScriptStates(config: MachineConfigLike): ScriptInvocationState[];
|
|
157
|
+
/** Module-level schema-3 declarations needed beside the machine config. */
|
|
158
|
+
export interface GearsFsmConformanceOptions {
|
|
159
|
+
concurrentRoleSets?: unknown;
|
|
160
|
+
/** Reviewed artifact schema for roleless non-controller machines. */
|
|
161
|
+
artifactSchema?: 1 | 3;
|
|
162
|
+
}
|
|
163
|
+
/** Exact action guards of Playbook 10's controller decision result. */
|
|
164
|
+
export declare const CONTROLLER_ACTION_GUARDS: readonly ["respond", "resume", "start", "switch", "dismiss", "deliver", "runtime"];
|
|
165
|
+
/** Whether a result map has the exact Playbook 10 controller domain union. */
|
|
166
|
+
export declare function isControllerDecisionResult(result: unknown): boolean;
|
|
167
|
+
/** A single missing or extra key against Playbook 10's controller domain. */
|
|
168
|
+
export declare function controllerDecisionNearMiss(result: unknown): {
|
|
169
|
+
missing: string[];
|
|
170
|
+
extra: string[];
|
|
171
|
+
} | undefined;
|
|
172
|
+
/** Whether a machine contains Playbook 10's grounded controller decision state. */
|
|
173
|
+
export declare function isControllerMachine(config: MachineConfigLike): boolean;
|
|
174
|
+
/** Whether an explicit direct-Captain result is one key from the controller domain. */
|
|
175
|
+
export declare function hasControllerDecisionNearMiss(config: MachineConfigLike): boolean;
|
|
131
176
|
/**
|
|
132
177
|
* Checks GEARS↔FSM conformance and returns human-readable findings (empty when
|
|
133
178
|
* conformant): every GEARS item maps to one state with the same player and the
|
|
134
179
|
* prompt verbatim, every captain state references a known item, and every
|
|
135
180
|
* captain state's `result` map declares the Boss-reply suspension key with its
|
|
136
|
-
* adjudicator contract (
|
|
181
|
+
* adjudicator contract (verification-1, verification-3; DR-009).
|
|
137
182
|
*/
|
|
138
|
-
export declare function checkGearsFsmConformance(gears: string, config: MachineConfigLike): string[];
|
|
183
|
+
export declare function checkGearsFsmConformance(gears: string, config: MachineConfigLike, options?: GearsFsmConformanceOptions): string[];
|
|
139
184
|
/** The `gears2fsm`-mandated root pre-emption event name. */
|
|
140
185
|
export declare const INTERRUPT_EVENT = "BOSS_INTERRUPT";
|
|
141
186
|
/** The `gears2fsm`-mandated Boss-reply event and wait-state names. */
|
|
@@ -165,7 +210,7 @@ export interface StructuredStatePin {
|
|
|
165
210
|
onError: TransitionArm[];
|
|
166
211
|
on: EventArms;
|
|
167
212
|
}
|
|
168
|
-
/** The structural facts {@link pinIntrospection} pins for a machine (
|
|
213
|
+
/** The structural facts {@link pinIntrospection} pins for a machine (verification-4). */
|
|
169
214
|
export interface IntrospectionPins {
|
|
170
215
|
initial: string | null;
|
|
171
216
|
/** Captain-invoking states, in declaration order. */
|
|
@@ -175,6 +220,8 @@ export interface IntrospectionPins {
|
|
|
175
220
|
actor?: 'captain' | 'player';
|
|
176
221
|
sourceItem: string;
|
|
177
222
|
player: string;
|
|
223
|
+
/** Canonical schema-3 role; absent for historical schema-1 pins. */
|
|
224
|
+
role?: string;
|
|
178
225
|
resultKeys: string[];
|
|
179
226
|
onDone: TransitionArm[];
|
|
180
227
|
onError: TransitionArm[];
|
|
@@ -215,7 +262,7 @@ export interface IntrospectionPins {
|
|
|
215
262
|
export declare function normalizeArms(raw: unknown): TransitionArm[];
|
|
216
263
|
/**
|
|
217
264
|
* Reduces a machine config to the structural facts the emitted introspection
|
|
218
|
-
* test pins (
|
|
265
|
+
* test pins (verification-4): captain bindings with result keys and every transition
|
|
219
266
|
* arm, the quiescent states' event surfaces, the root event surface, and the
|
|
220
267
|
* `BOSS_INTERRUPT` jumpable set.
|
|
221
268
|
*/
|
|
@@ -224,11 +271,13 @@ export declare function pinIntrospection(config: MachineConfigLike): Introspecti
|
|
|
224
271
|
export declare const CONTINUATION_PREAMBLE = "You previously paused this task to ask Boss a question; Boss has now replied. Continue the same task using the reply below.";
|
|
225
272
|
export declare const BOSS_QUESTION_LABEL = "Boss question:";
|
|
226
273
|
export declare const BOSS_REPLY_LABEL = "Boss reply:";
|
|
227
|
-
/** One captain state's derived prompt contract (
|
|
274
|
+
/** One captain state's derived prompt contract (verification-5). */
|
|
228
275
|
export interface PromptContractRow {
|
|
229
276
|
state: string;
|
|
230
277
|
sourceItem: string;
|
|
231
278
|
player: string;
|
|
279
|
+
/** Canonical schema-3 role; absent for historical schema-1 rows. */
|
|
280
|
+
role?: string;
|
|
232
281
|
/** Context fields the state's input thunk reads. */
|
|
233
282
|
reads: string[];
|
|
234
283
|
/** Input fields carrying a read context field's value, by sentinel tracing. */
|
|
@@ -247,7 +296,7 @@ export declare function probeContextReads(inputFn: (arg: {
|
|
|
247
296
|
}) => unknown): string[];
|
|
248
297
|
/**
|
|
249
298
|
* Derives every captain state's prompt contract from the machine config
|
|
250
|
-
* (
|
|
299
|
+
* (verification-5): traced context reads, sentinel-traced input wiring, and the
|
|
251
300
|
* prompt body's placeholder tokens.
|
|
252
301
|
*/
|
|
253
302
|
export declare function capturePromptContract(config: MachineConfigLike): PromptContractRow[];
|
|
@@ -255,12 +304,12 @@ export declare function capturePromptContract(config: MachineConfigLike): Prompt
|
|
|
255
304
|
* Derives, per captain state, which of its prompt's placeholder tokens the
|
|
256
305
|
* linked composer substitutes when the wired context is present — pinned into
|
|
257
306
|
* the emitted test so a token that later leaks unsubstituted fails it
|
|
258
|
-
* (
|
|
307
|
+
* (verification-5).
|
|
259
308
|
*/
|
|
260
|
-
export declare function deriveSubstitutions(config: MachineConfigLike, compose:
|
|
309
|
+
export declare function deriveSubstitutions(config: MachineConfigLike, compose: PromptComposer, actor?: CaptainState['actor']): Record<string, string[]>;
|
|
261
310
|
/**
|
|
262
311
|
* Checks the linked composer against the link contract for every captain state
|
|
263
|
-
* (
|
|
312
|
+
* (verification-5), returning findings (empty when conformant): the prompt body is
|
|
264
313
|
* preserved modulo substituted placeholders, the adjudicator-facing Boss-reply
|
|
265
314
|
* contract never leaks into a player prompt, no continuation appears on an
|
|
266
315
|
* ordinary turn, and a Boss-reply continuation turn opens with the exact
|
|
@@ -268,10 +317,14 @@ export declare function deriveSubstitutions(config: MachineConfigLike, compose:
|
|
|
268
317
|
*/
|
|
269
318
|
export declare function checkPromptComposition(opts: {
|
|
270
319
|
config: MachineConfigLike;
|
|
271
|
-
compose:
|
|
320
|
+
compose: PromptComposer;
|
|
272
321
|
/** Restricts the check to the states served by the matching composer. */
|
|
273
322
|
actor?: CaptainState['actor'];
|
|
323
|
+
/** Grounded linked-artifact schema for otherwise ambiguous direct Captain states. */
|
|
324
|
+
artifactSchema?: 1 | 3;
|
|
274
325
|
}): string[];
|
|
326
|
+
type PromptIdentity = (roleId: string) => string;
|
|
327
|
+
type PromptComposer = (input: unknown, promptIdentity: PromptIdentity) => string;
|
|
275
328
|
/**
|
|
276
329
|
* Package-export default for direct emitter callers. Full reserved-pipeline
|
|
277
330
|
* runs override it with the artifact-local verifier support module.
|
|
@@ -285,6 +338,8 @@ export declare const VERIFY_MODULE = "@sublang/slc/verify";
|
|
|
285
338
|
* @throws when the module exports no such machine.
|
|
286
339
|
*/
|
|
287
340
|
export declare function findMachineConfig(fsmModule: unknown): MachineConfigLike;
|
|
341
|
+
/** Reads the schema-3 cohort declaration from an imported FSM module. */
|
|
342
|
+
export declare function findConcurrentRoleSets(fsmModule: unknown): unknown;
|
|
288
343
|
/**
|
|
289
344
|
* Builds a per-artifact vitest module that fails when the compiled FSM drifts
|
|
290
345
|
* from its GEARS source: it reads the artifact's `gears` file and the machine its
|
|
@@ -300,12 +355,16 @@ export declare function generateGearsFsmConformanceTest(opts: {
|
|
|
300
355
|
gearsFile: string;
|
|
301
356
|
/** Import specifier for this checker, relative to the test. */
|
|
302
357
|
verifyModule: string;
|
|
358
|
+
/** Reviewed schema baked into roleless artifact checks when available. */
|
|
359
|
+
artifactSchema?: 1 | 3;
|
|
360
|
+
/** Emission-time schema evidence that must remain empty for a valid artifact. */
|
|
361
|
+
schemaFindings?: readonly string[];
|
|
303
362
|
}): string;
|
|
304
363
|
/**
|
|
305
364
|
* Emits the GEARS↔FSM conformance test as `slc` output beside a compiled
|
|
306
365
|
* `playbook` artifact: writes `<basename>.gears-fsm.test.ts` into the artifact
|
|
307
366
|
* directory (`<basename>.playbook/`), wiring the artifact's `gears` file and its
|
|
308
|
-
* `fsm` module's machine to the checker, and returns the written path (
|
|
367
|
+
* `fsm` module's machine to the checker, and returns the written path (verification-2;
|
|
309
368
|
* [DR-009](../decisions/009-slc-playbook-pipeline-compilation.md)).
|
|
310
369
|
*/
|
|
311
370
|
export declare function emitGearsFsmConformanceTest(opts: {
|
|
@@ -315,6 +374,10 @@ export declare function emitGearsFsmConformanceTest(opts: {
|
|
|
315
374
|
basename: string;
|
|
316
375
|
/** Checker import specifier; defaults to {@link VERIFY_MODULE}. */
|
|
317
376
|
verifyModule?: string;
|
|
377
|
+
/** Reviewed schema baked into roleless artifact checks when available. */
|
|
378
|
+
artifactSchema?: 1 | 3;
|
|
379
|
+
/** Emission-time schema evidence that must remain empty for a valid artifact. */
|
|
380
|
+
schemaFindings?: readonly string[];
|
|
318
381
|
}): Promise<string>;
|
|
319
382
|
/**
|
|
320
383
|
* Imports a produced `fsm` artifact module for emission-time derivation. The
|
|
@@ -325,9 +388,22 @@ export declare function emitGearsFsmConformanceTest(opts: {
|
|
|
325
388
|
* module cache.
|
|
326
389
|
*/
|
|
327
390
|
export declare function loadFsmModule(fsmPath: string): Promise<unknown>;
|
|
391
|
+
/**
|
|
392
|
+
* Imports generated linked TypeScript for emission-time, standalone, or
|
|
393
|
+
* equivalence review before its sibling FSM has been built to JavaScript.
|
|
394
|
+
* NodeNext source correctly names the runtime-safe `./<basename>.fsm.js` edge,
|
|
395
|
+
* but review may run while only `./<basename>.fsm.ts` exists. Stage a
|
|
396
|
+
* same-directory copy whose one generated module specifier points at the
|
|
397
|
+
* hashed TypeScript artifact, import that copy, and remove it without changing
|
|
398
|
+
* the linked source or its production import.
|
|
399
|
+
*/
|
|
400
|
+
export declare function loadLinkedModuleForVerification(opts: {
|
|
401
|
+
linkedPath: string;
|
|
402
|
+
fsmPath: string;
|
|
403
|
+
}): Promise<unknown>;
|
|
328
404
|
/**
|
|
329
405
|
* Builds a per-artifact vitest module that fails when the machine's structure
|
|
330
|
-
* drifts from the topology pinned at build time (
|
|
406
|
+
* drifts from the topology pinned at build time (verification-4).
|
|
331
407
|
*/
|
|
332
408
|
export declare function generateFsmIntrospectionTest(opts: {
|
|
333
409
|
basename: string;
|
|
@@ -337,7 +413,7 @@ export declare function generateFsmIntrospectionTest(opts: {
|
|
|
337
413
|
}): string;
|
|
338
414
|
/**
|
|
339
415
|
* Builds a per-artifact vitest module pinning the prompt contract derived from
|
|
340
|
-
* the artifacts at build time (
|
|
416
|
+
* the artifacts at build time (verification-5): the per-state context reads, input
|
|
341
417
|
* wiring, and placeholders always; and, when the linked module exposes its
|
|
342
418
|
* matching Captain/player composers, the composition checks and pinned
|
|
343
419
|
* substitution maps.
|
|
@@ -347,6 +423,10 @@ export declare function generatePromptContractTest(opts: {
|
|
|
347
423
|
fsmModule: string;
|
|
348
424
|
verifyModule: string;
|
|
349
425
|
rows: PromptContractRow[];
|
|
426
|
+
/** Grounded artifact schema baked into continuation probes when available. */
|
|
427
|
+
artifactSchema?: 1 | 3;
|
|
428
|
+
/** Emission-time schema evidence that must remain empty for a valid artifact. */
|
|
429
|
+
schemaFindings?: readonly string[];
|
|
350
430
|
/** Present when the linked module beside the artifacts exposes its composer. */
|
|
351
431
|
composer?: {
|
|
352
432
|
playbookModule: string;
|
|
@@ -354,9 +434,21 @@ export declare function generatePromptContractTest(opts: {
|
|
|
354
434
|
player?: Record<string, string[]>;
|
|
355
435
|
};
|
|
356
436
|
}): string;
|
|
437
|
+
/** Schema decision shared by generated and standalone artifact verification. */
|
|
438
|
+
export declare function resolveArtifactSchemaForVerification(opts: {
|
|
439
|
+
artifactSchema?: 1 | 3;
|
|
440
|
+
provenance?: unknown;
|
|
441
|
+
config?: MachineConfigLike;
|
|
442
|
+
linked?: {
|
|
443
|
+
default?: unknown;
|
|
444
|
+
};
|
|
445
|
+
}): {
|
|
446
|
+
artifactSchema?: 1 | 3;
|
|
447
|
+
findings: string[];
|
|
448
|
+
};
|
|
357
449
|
/**
|
|
358
450
|
* Emits the prompt-contract test beside a compiled `playbook` artifact
|
|
359
|
-
* (
|
|
451
|
+
* (verification-5): derives and pins the per-state contract from the physical
|
|
360
452
|
* `<basename>.fsm.ts` artifact, then emits NodeNext `.js` imports for that FSM
|
|
361
453
|
* and any linked `<basename>.playbook.ts` module. When the linked module
|
|
362
454
|
* exposes the `_internal` composer matching each state actor —
|
|
@@ -372,13 +464,17 @@ export declare function emitPromptContractTest(opts: {
|
|
|
372
464
|
artifactDir: string;
|
|
373
465
|
basename: string;
|
|
374
466
|
verifyModule?: string;
|
|
467
|
+
/** Reviewed schema when the FSM shape alone cannot distinguish generations. */
|
|
468
|
+
artifactSchema?: 1 | 3;
|
|
469
|
+
/** Actual reviewed full-link target provenance, when the caller has it. */
|
|
470
|
+
provenance?: unknown;
|
|
375
471
|
}): Promise<{
|
|
376
472
|
path: string;
|
|
377
473
|
diagnostics: string[];
|
|
378
474
|
}>;
|
|
379
475
|
/**
|
|
380
476
|
* Emits the introspection test beside a compiled `playbook` artifact
|
|
381
|
-
* (
|
|
477
|
+
* (verification-4): derives topology pins from the physical `<basename>.fsm.ts`,
|
|
382
478
|
* emits a NodeNext `.js` import for that sibling source, and writes
|
|
383
479
|
* `<basename>.fsm.introspect.test.ts` into the artifact directory.
|
|
384
480
|
*
|
package/dist/verify.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AA8BA,kFAAkF;AAClF,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,KAAK,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACxC,8EAA8E;IAC9E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gEAAgE;IAChE,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,+DAA+D;IAC/D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,4EAA4E;IAC5E,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,4EAA4E;IAC5E,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,0EAA0E;AAC1E,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB;;;;OAIG;IACH,KAAK,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACvC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,uEAAuE;IACvE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gFAAgF;IAChF,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,sEAAsE;AACtE,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,qDAAqD;IACrD,OAAO,EAAE,MAAM,CAAC;IAChB,4DAA4D;IAC5D,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gFAAgF;IAChF,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,+DAA+D;AAC/D,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,8EAA8E;IAC9E,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,wEAAwE;IACxE,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,8EAA8E;IAC9E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gFAAgF;IAChF,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,mBAAmB,CAAC;AACjD,eAAO,MAAM,oBAAoB,oCAAoC,CAAC;AAEtE,yFAAyF;AACzF,MAAM,WAAW,iBAAiB;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC9B;AAED,UAAU,UAAU;IAClB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,KAAK,OAAO,CAAC;IAC/D,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAID,UAAU,eAAgB,SAAQ,aAAa,CAAC,UAAU,CAAC;IACzD,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,KAAK,OAAO,CAAC;IAC/D,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,UAAU,SAAS;IACjB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IAClC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnC,MAAM,CAAC,EAAE,UAAU,GAAG,eAAe,CAAC;IACtC,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AA4BD;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,EAAE,CA8L1D;AAyQD;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,iBAAiB,GACxB,YAAY,EAAE,CAEhB;AAkID,8EAA8E;AAC9E,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,iBAAiB,GACxB,uBAAuB,EAAE,CAE3B;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,iBAAiB,GACxB,qBAAqB,EAAE,CAiFzB;AAiFD;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,iBAAiB,GACxB,MAAM,EAAE,CAwSV;AAYD,4DAA4D;AAC5D,eAAO,MAAM,eAAe,mBAAmB,CAAC;AAChD,sEAAsE;AACtE,eAAO,MAAM,gBAAgB,eAAe,CAAC;AAC7C,eAAO,MAAM,sBAAsB,mBAAmB,CAAC;AAEvD,+EAA+E;AAC/E,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,qFAAqF;IACrF,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,oDAAoD;AACpD,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;AAExD,+EAA+E;AAC/E,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,aAAa,EAAE,CAAC;IACxB,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,EAAE,EAAE,SAAS,CAAC;CACf;AAED,mFAAmF;AACnF,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,qDAAqD;IACrD,OAAO,EAAE;QACP,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,SAAS,GAAG,QAAQ,CAAC;QAC7B,UAAU,EAAE,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC;QACf,UAAU,EAAE,MAAM,EAAE,CAAC;QACrB,MAAM,EAAE,aAAa,EAAE,CAAC;QACxB,OAAO,EAAE,aAAa,EAAE,CAAC;QACzB,EAAE,EAAE,SAAS,CAAC;KACf,EAAE,CAAC;IACJ,sDAAsD;IACtD,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,OAAO,CAAC;QAAC,EAAE,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;IAC9D,gCAAgC;IAChC,MAAM,EAAE,SAAS,CAAC;IAClB,qEAAqE;IACrE,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,qEAAqE;IACrE,QAAQ,CAAC,EAAE;QACT,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,iBAAiB,CAAC,EAAE,MAAM,CAAC;QAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,aAAa,EAAE,CAAC;QACxB,OAAO,EAAE,aAAa,EAAE,CAAC;QACzB,EAAE,EAAE,SAAS,CAAC;KACf,EAAE,CAAC;IACJ,sEAAsE;IACtE,UAAU,CAAC,EAAE;QAAE,MAAM,EAAE,kBAAkB,EAAE,CAAA;KAAE,CAAC;CAC/C;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,aAAa,EAAE,CAiB3D;AAkCD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,iBAAiB,GAAG,iBAAiB,CA6F7E;AAaD,4EAA4E;AAC5E,eAAO,MAAM,qBAAqB,gIAC6F,CAAC;AAChI,eAAO,MAAM,mBAAmB,mBAAmB,CAAC;AACpD,eAAO,MAAM,gBAAgB,gBAAgB,CAAC;AAW9C,8DAA8D;AAC9D,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,+EAA+E;IAC/E,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAChC,6EAA6E;IAC7E,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAID,gFAAgF;AAChF,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAMvD;AAID;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,CAAC,GAAG,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,KAAK,OAAO,GAC9D,MAAM,EAAE,CAiBV;AA6BD;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,iBAAiB,GACxB,iBAAiB,EAAE,CA8BrB;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,iBAAiB,EACzB,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,MAAM,EACnC,KAAK,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,GAC5B,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAiC1B;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE;IAC3C,MAAM,EAAE,iBAAiB,CAAC;IAC1B,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,MAAM,CAAC;IACpC,yEAAyE;IACzE,KAAK,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;CAC/B,GAAG,MAAM,EAAE,CAwIX;AA0LD;;;GAGG;AACH,eAAO,MAAM,aAAa,wBAAwB,CAAC;AAEnD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,OAAO,GAAG,iBAAiB,CAkBvE;AAED;;;;;GAKG;AACH,wBAAgB,+BAA+B,CAAC,IAAI,EAAE;IACpD,sDAAsD;IACtD,QAAQ,EAAE,MAAM,CAAC;IACjB,4EAA4E;IAC5E,SAAS,EAAE,MAAM,CAAC;IAClB,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAClB,+DAA+D;IAC/D,YAAY,EAAE,MAAM,CAAC;CACtB,GAAG,MAAM,CAuBT;AAED;;;;;;GAMG;AACH,wBAAsB,2BAA2B,CAAC,IAAI,EAAE;IACtD,6EAA6E;IAC7E,WAAW,EAAE,MAAM,CAAC;IACpB,sDAAsD;IACtD,QAAQ,EAAE,MAAM,CAAC;IACjB,mEAAmE;IACnE,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,GAAG,OAAO,CAAC,MAAM,CAAC,CAalB;AAED;;;;;;;GAOG;AACH,wBAAsB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAKrE;AA8CD;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,IAAI,EAAE;IACjD,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,iBAAiB,CAAC;CACzB,GAAG,MAAM,CAoBT;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE;IAC/C,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,iBAAiB,EAAE,CAAC;IAC1B,gFAAgF;IAChF,QAAQ,CAAC,EAAE;QACT,cAAc,EAAE,MAAM,CAAC;QACvB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACnC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;KACnC,CAAC;CACH,GAAG,MAAM,CAwET;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,sBAAsB,CAAC,IAAI,EAAE;IACjD,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,GAAG,OAAO,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,CAoFnD;AAED;;;;;;;GAOG;AACH,wBAAsB,wBAAwB,CAAC,IAAI,EAAE;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,GAAG,OAAO,CAAC,MAAM,CAAC,CAkBlB;AAKD,cAAc,sBAAsB,CAAC"}
|
|
1
|
+
{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AA8BA,kFAAkF;AAClF,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,iFAAiF;IACjF,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,KAAK,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACxC,8EAA8E;IAC9E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gEAAgE;IAChE,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,+DAA+D;IAC/D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6EAA6E;IAC7E,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,4EAA4E;IAC5E,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,4EAA4E;IAC5E,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,0EAA0E;AAC1E,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB;;;;OAIG;IACH,KAAK,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACvC,mDAAmD;IACnD,MAAM,EAAE,MAAM,CAAC;IACf,6CAA6C;IAC7C,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,uEAAuE;IACvE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gFAAgF;IAChF,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,sEAAsE;AACtE,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,qDAAqD;IACrD,OAAO,EAAE,MAAM,CAAC;IAChB,4DAA4D;IAC5D,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gFAAgF;IAChF,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,+DAA+D;AAC/D,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,8EAA8E;IAC9E,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,wEAAwE;IACxE,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,8EAA8E;IAC9E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gFAAgF;IAChF,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,mBAAmB,CAAC;AACjD,eAAO,MAAM,oBAAoB,oCAAoC,CAAC;AAEtE,gFAAgF;AAChF,wBAAgB,mCAAmC,CACjD,UAAU,EAAE,OAAO,GAClB,CAAC,GAAG,CAAC,GAAG,SAAS,CAanB;AAED;;;;GAIG;AACH,wBAAsB,+BAA+B,CACnD,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAuB7B;AAED,yFAAyF;AACzF,MAAM,WAAW,iBAAiB;IAChC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC9B;AAED,UAAU,UAAU;IAClB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,KAAK,OAAO,CAAC;IAC/D,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAID,UAAU,eAAgB,SAAQ,aAAa,CAAC,UAAU,CAAC;IACzD,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,KAAK,OAAO,CAAC;IAC/D,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,UAAU,SAAS;IACjB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IAClC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnC,MAAM,CAAC,EAAE,UAAU,GAAG,eAAe,CAAC;IACtC,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AA6BD;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,EAAE,CAuM1D;AAED,yFAAyF;AACzF,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,UAAU,GAAG,UAAU,GAAG,aAAa,CAAC;IACpD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,kBAAkB,EAAE,MAAM,EAAE,EAAE,CAAC;IAC/B,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAID,oEAAoE;AACpE,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEpD;AAOD,2FAA2F;AAC3F,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,MAAM,GAAG,iBAAiB,CAyJzE;AAyTD;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,iBAAiB,GACxB,YAAY,EAAE,CAEhB;AAkID,8EAA8E;AAC9E,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,iBAAiB,GACxB,uBAAuB,EAAE,CAE3B;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,iBAAiB,GACxB,qBAAqB,EAAE,CAiFzB;AAiFD,2EAA2E;AAC3E,MAAM,WAAW,0BAA0B;IACzC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,qEAAqE;IACrE,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;CACxB;AAED,uEAAuE;AACvE,eAAO,MAAM,wBAAwB,oFAQ3B,CAAC;AAEX,8EAA8E;AAC9E,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAOnE;AAED,6EAA6E;AAC7E,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,OAAO,GACd;IAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,SAAS,CAQpD;AAED,mFAAmF;AACnF,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,iBAAiB,GAAG,OAAO,CAYtE;AAED,uFAAuF;AACvF,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,iBAAiB,GACxB,OAAO,CAQT;AAiBD;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,iBAAiB,EACzB,OAAO,GAAE,0BAA+B,GACvC,MAAM,EAAE,CAkXV;AAYD,4DAA4D;AAC5D,eAAO,MAAM,eAAe,mBAAmB,CAAC;AAChD,sEAAsE;AACtE,eAAO,MAAM,gBAAgB,eAAe,CAAC;AAC7C,eAAO,MAAM,sBAAsB,mBAAmB,CAAC;AAEvD,+EAA+E;AAC/E,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,qFAAqF;IACrF,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,oDAAoD;AACpD,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;AAExD,+EAA+E;AAC/E,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAClB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,aAAa,EAAE,CAAC;IACxB,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,EAAE,EAAE,SAAS,CAAC;CACf;AAED,yFAAyF;AACzF,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,qDAAqD;IACrD,OAAO,EAAE;QACP,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,SAAS,GAAG,QAAQ,CAAC;QAC7B,UAAU,EAAE,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC;QACf,oEAAoE;QACpE,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,UAAU,EAAE,MAAM,EAAE,CAAC;QACrB,MAAM,EAAE,aAAa,EAAE,CAAC;QACxB,OAAO,EAAE,aAAa,EAAE,CAAC;QACzB,EAAE,EAAE,SAAS,CAAC;KACf,EAAE,CAAC;IACJ,sDAAsD;IACtD,SAAS,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,OAAO,CAAC;QAAC,EAAE,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;IAC9D,gCAAgC;IAChC,MAAM,EAAE,SAAS,CAAC;IAClB,qEAAqE;IACrE,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,qEAAqE;IACrE,QAAQ,CAAC,EAAE;QACT,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,iBAAiB,CAAC,EAAE,MAAM,CAAC;QAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,aAAa,EAAE,CAAC;QACxB,OAAO,EAAE,aAAa,EAAE,CAAC;QACzB,EAAE,EAAE,SAAS,CAAC;KACf,EAAE,CAAC;IACJ,sEAAsE;IACtE,UAAU,CAAC,EAAE;QAAE,MAAM,EAAE,kBAAkB,EAAE,CAAA;KAAE,CAAC;CAC/C;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,aAAa,EAAE,CAiB3D;AAkCD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,iBAAiB,GAAG,iBAAiB,CA8F7E;AAaD,4EAA4E;AAC5E,eAAO,MAAM,qBAAqB,gIAC6F,CAAC;AAChI,eAAO,MAAM,mBAAmB,mBAAmB,CAAC;AACpD,eAAO,MAAM,gBAAgB,gBAAgB,CAAC;AAa9C,oEAAoE;AACpE,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,oEAAoE;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,oDAAoD;IACpD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,+EAA+E;IAC/E,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAChC,6EAA6E;IAC7E,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAID,gFAAgF;AAChF,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAMvD;AAID;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,CAAC,GAAG,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,KAAK,OAAO,GAC9D,MAAM,EAAE,CAiBV;AA6BD;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,iBAAiB,GACxB,iBAAiB,EAAE,CA+BrB;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,iBAAiB,EACzB,OAAO,EAAE,cAAc,EACvB,KAAK,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,GAC5B,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAsC1B;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE;IAC3C,MAAM,EAAE,iBAAiB,CAAC;IAC1B,OAAO,EAAE,cAAc,CAAC;IACxB,yEAAyE;IACzE,KAAK,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;IAC9B,qFAAqF;IACrF,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;CACxB,GAAG,MAAM,EAAE,CAmLX;AAED,KAAK,cAAc,GAAG,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;AACjD,KAAK,cAAc,GAAG,CACpB,KAAK,EAAE,OAAO,EACd,cAAc,EAAE,cAAc,KAC3B,MAAM,CAAC;AAkPZ;;;GAGG;AACH,eAAO,MAAM,aAAa,wBAAwB,CAAC;AAEnD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,OAAO,GAAG,iBAAiB,CAkBvE;AAED,yEAAyE;AACzE,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAGlE;AAED;;;;;GAKG;AACH,wBAAgB,+BAA+B,CAAC,IAAI,EAAE;IACpD,sDAAsD;IACtD,QAAQ,EAAE,MAAM,CAAC;IACjB,4EAA4E;IAC5E,SAAS,EAAE,MAAM,CAAC;IAClB,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAClB,+DAA+D;IAC/D,YAAY,EAAE,MAAM,CAAC;IACrB,0EAA0E;IAC1E,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACvB,iFAAiF;IACjF,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,GAAG,MAAM,CAsCT;AAED;;;;;;GAMG;AACH,wBAAsB,2BAA2B,CAAC,IAAI,EAAE;IACtD,6EAA6E;IAC7E,WAAW,EAAE,MAAM,CAAC;IACpB,sDAAsD;IACtD,QAAQ,EAAE,MAAM,CAAC;IACjB,mEAAmE;IACnE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,0EAA0E;IAC1E,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACvB,iFAAiF;IACjF,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,GAAG,OAAO,CAAC,MAAM,CAAC,CAiBlB;AAED;;;;;;;GAOG;AACH,wBAAsB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAKrE;AAED;;;;;;;;GAQG;AACH,wBAAsB,+BAA+B,CAAC,IAAI,EAAE;IAC1D,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB,GAAG,OAAO,CAAC,OAAO,CAAC,CA+BnB;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,IAAI,EAAE;IACjD,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,iBAAiB,CAAC;CACzB,GAAG,MAAM,CAoBT;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE;IAC/C,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,iBAAiB,EAAE,CAAC;IAC1B,8EAA8E;IAC9E,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACvB,iFAAiF;IACjF,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,gFAAgF;IAChF,QAAQ,CAAC,EAAE;QACT,cAAc,EAAE,MAAM,CAAC;QACvB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACnC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;KACnC,CAAC;CACH,GAAG,MAAM,CAkFT;AA4ED,gFAAgF;AAChF,wBAAgB,oCAAoC,CAAC,IAAI,EAAE;IACzD,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACvB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,MAAM,CAAC,EAAE,iBAAiB,CAAC;IAC3B,MAAM,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CAChC,GAAG;IAAE,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CA+EjD;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,sBAAsB,CAAC,IAAI,EAAE;IACjD,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,+EAA+E;IAC/E,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACvB,2EAA2E;IAC3E,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB,GAAG,OAAO,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,CAiHnD;AAED;;;;;;;GAOG;AACH,wBAAsB,wBAAwB,CAAC,IAAI,EAAE;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,GAAG,OAAO,CAAC,MAAM,CAAC,CAkBlB;AAKD,cAAc,sBAAsB,CAAC"}
|