@sublang/slc 0.5.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.
Files changed (120) hide show
  1. package/README.md +10 -5
  2. package/dist/app.d.ts +20 -20
  3. package/dist/app.d.ts.map +1 -1
  4. package/dist/app.js +44 -31
  5. package/dist/app.js.map +1 -1
  6. package/dist/artifacts.d.ts +6 -6
  7. package/dist/artifacts.d.ts.map +1 -1
  8. package/dist/artifacts.js +9 -9
  9. package/dist/artifacts.js.map +1 -1
  10. package/dist/cli.js +3 -3
  11. package/dist/cligent-agent.d.ts +9 -2
  12. package/dist/cligent-agent.d.ts.map +1 -1
  13. package/dist/cligent-agent.js +6 -5
  14. package/dist/cligent-agent.js.map +1 -1
  15. package/dist/compiled-execution.d.ts +44 -0
  16. package/dist/compiled-execution.d.ts.map +1 -0
  17. package/dist/compiled-execution.js +184 -0
  18. package/dist/compiled-execution.js.map +1 -0
  19. package/dist/compiled-executor.d.ts +16 -6
  20. package/dist/compiled-executor.d.ts.map +1 -1
  21. package/dist/compiled-executor.js +182 -35
  22. package/dist/compiled-executor.js.map +1 -1
  23. package/dist/config-file.d.ts +9 -6
  24. package/dist/config-file.d.ts.map +1 -1
  25. package/dist/config-file.js +27 -9
  26. package/dist/config-file.js.map +1 -1
  27. package/dist/config.d.ts +77 -24
  28. package/dist/config.d.ts.map +1 -1
  29. package/dist/config.js +128 -52
  30. package/dist/config.js.map +1 -1
  31. package/dist/emitted-imports.d.ts +14 -0
  32. package/dist/emitted-imports.d.ts.map +1 -1
  33. package/dist/emitted-imports.js +63 -7
  34. package/dist/emitted-imports.js.map +1 -1
  35. package/dist/entry-module.d.ts +5 -3
  36. package/dist/entry-module.d.ts.map +1 -1
  37. package/dist/entry-module.js +41 -13
  38. package/dist/entry-module.js.map +1 -1
  39. package/dist/execution.d.ts +10 -10
  40. package/dist/execution.d.ts.map +1 -1
  41. package/dist/execution.js +13 -13
  42. package/dist/execution.js.map +1 -1
  43. package/dist/hash.js +2 -2
  44. package/dist/interpreter.d.ts +2 -2
  45. package/dist/interpreter.d.ts.map +1 -1
  46. package/dist/interpreter.js +7 -7
  47. package/dist/invocation.d.ts +6 -6
  48. package/dist/invocation.d.ts.map +1 -1
  49. package/dist/invocation.js +1 -1
  50. package/dist/link.d.ts +4 -4
  51. package/dist/link.d.ts.map +1 -1
  52. package/dist/link.js +11 -11
  53. package/dist/link.js.map +1 -1
  54. package/dist/phase-runner.d.ts +13 -6
  55. package/dist/phase-runner.d.ts.map +1 -1
  56. package/dist/phase-runner.js +12 -10
  57. package/dist/phase-runner.js.map +1 -1
  58. package/dist/phase.d.ts +4 -4
  59. package/dist/phase.d.ts.map +1 -1
  60. package/dist/phase.js +7 -7
  61. package/dist/phase.js.map +1 -1
  62. package/dist/pin-closure.d.ts +35 -7
  63. package/dist/pin-closure.d.ts.map +1 -1
  64. package/dist/pin-closure.js +135 -21
  65. package/dist/pin-closure.js.map +1 -1
  66. package/dist/pin-currency.d.ts +9 -4
  67. package/dist/pin-currency.d.ts.map +1 -1
  68. package/dist/pin-currency.js +57 -20
  69. package/dist/pin-currency.js.map +1 -1
  70. package/dist/pin-generate.d.ts +7 -7
  71. package/dist/pin-generate.d.ts.map +1 -1
  72. package/dist/pin-generate.js +24 -10
  73. package/dist/pin-generate.js.map +1 -1
  74. package/dist/pin-inputs.d.ts +41 -0
  75. package/dist/pin-inputs.d.ts.map +1 -0
  76. package/dist/pin-inputs.js +179 -0
  77. package/dist/pin-inputs.js.map +1 -0
  78. package/dist/pin-paths.d.ts +1 -1
  79. package/dist/pin-paths.js +4 -4
  80. package/dist/pin-paths.js.map +1 -1
  81. package/dist/pins.d.ts +4 -4
  82. package/dist/pins.d.ts.map +1 -1
  83. package/dist/pins.js +5 -5
  84. package/dist/pins.js.map +1 -1
  85. package/dist/pipeline.d.ts +5 -5
  86. package/dist/pipeline.js +10 -10
  87. package/dist/playbook-contract.d.ts +49 -5
  88. package/dist/playbook-contract.d.ts.map +1 -1
  89. package/dist/playbook-contract.js +70 -21
  90. package/dist/playbook-contract.js.map +1 -1
  91. package/dist/playbook-ports.d.ts +9 -9
  92. package/dist/playbook-ports.d.ts.map +1 -1
  93. package/dist/playbook-ports.js +3 -3
  94. package/dist/playbook-ports.js.map +1 -1
  95. package/dist/progress.d.ts +8 -9
  96. package/dist/progress.d.ts.map +1 -1
  97. package/dist/progress.js +3 -3
  98. package/dist/progress.js.map +1 -1
  99. package/dist/resolver.d.ts +9 -9
  100. package/dist/resolver.d.ts.map +1 -1
  101. package/dist/resolver.js +12 -12
  102. package/dist/resolver.js.map +1 -1
  103. package/dist/runner.d.ts +2 -2
  104. package/dist/runner.d.ts.map +1 -1
  105. package/dist/runner.js +218 -81
  106. package/dist/runner.js.map +1 -1
  107. package/dist/runtime-contract.d.ts +17 -0
  108. package/dist/runtime-contract.d.ts.map +1 -0
  109. package/dist/runtime-contract.js +114 -0
  110. package/dist/runtime-contract.js.map +1 -0
  111. package/dist/slc.config.template.yaml +7 -2
  112. package/dist/verify-coverage.d.ts +4 -3
  113. package/dist/verify-coverage.d.ts.map +1 -1
  114. package/dist/verify-coverage.js +509 -71
  115. package/dist/verify-coverage.js.map +1 -1
  116. package/dist/verify.d.ts +153 -15
  117. package/dist/verify.d.ts.map +1 -1
  118. package/dist/verify.js +707 -59
  119. package/dist/verify.js.map +1 -1
  120. 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,45 @@ 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
+ /**
85
+ * A Playbook engine's raw compatibility self-report — `RUNTIME_ABI` and
86
+ * `SUPPORTED_ARTIFACT_SCHEMAS` on its `@sublang/playbook/xstate-runtime`
87
+ * surface — read from the installed package owning a link target
88
+ * (verification-21, phase-execution-30; DR-028). The reader lives in
89
+ * `runtime-contract.ts`; the predicates stay here so the artifact-local
90
+ * verifier copy (verification-12) carries the schema decision whole.
91
+ */
92
+ export interface PlaybookRuntimeDeclaration {
93
+ /** `@sublang/playbook@<version>` of the owning installed package. */
94
+ provenance: string;
95
+ /** Lexical root of the owning package. */
96
+ packageRoot: string;
97
+ /** The exported `RUNTIME_ABI`, or `undefined` when the engine exports none. */
98
+ runtimeAbi: unknown;
99
+ /** The exported `SUPPORTED_ARTIFACT_SCHEMAS`, or `undefined` when absent. */
100
+ supportedArtifactSchemas: unknown;
101
+ }
102
+ /**
103
+ * True when the declaration admits the roleless schema-3 `composed-v3`
104
+ * generation: `RUNTIME_ABI` is exactly `1` and `SUPPORTED_ARTIFACT_SCHEMAS`
105
+ * contains `3` (DR-028).
106
+ */
107
+ export declare function declaresComposedV3(declaration: PlaybookRuntimeDeclaration): boolean;
108
+ /** Names a declaration for fail-closed diagnostics. */
109
+ export declare function describeRuntimeDeclaration(declaration: PlaybookRuntimeDeclaration): string;
110
+ /**
111
+ * Artifact schema recorded for an exact reviewed Playbook provenance: the
112
+ * historical map kept as recorded (DR-028). A later release supplies its
113
+ * schema through the installed engine's declaration instead
114
+ * ({@link resolveArtifactSchemaForVerification}).
115
+ */
116
+ export declare function artifactSchemaForPlaybookProvenance(provenance: unknown): 1 | 3 | undefined;
117
+ /**
118
+ * Returns the Playbook package provenance that owns an invocation's concrete
119
+ * link target. The first package manifest above the target owns the file; a
120
+ * parent workspace manifest must not lend its identity to a nested local file.
121
+ */
122
+ export declare function playbookProvenanceForLinkTarget(linkTarget: string): Promise<string | undefined>;
78
123
  /** The minimal XState machine-config shape the introspector walks (`machine.config`). */
79
124
  export interface MachineConfigLike {
80
125
  initial?: string;
@@ -114,6 +159,18 @@ interface StateLike {
114
159
  * blockquoted acting prompt, and optional ordered `Results:` metadata.
115
160
  */
116
161
  export declare function parseGearsItems(gears: string): GearsItem[];
162
+ /** The source generation and canonical role/cohort declaration of one GEARS artifact. */
163
+ export interface GearsRoleContract {
164
+ generation: 'schema-1' | 'schema-3' | 'unspecified';
165
+ names: string[];
166
+ roleIds: string[];
167
+ concurrentRoleSets: string[][];
168
+ findings: string[];
169
+ }
170
+ /** Canonical lowercase local-role id used by schema-3 artifacts. */
171
+ export declare function canonicalRoleId(name: string): string;
172
+ /** Parses Roles/Players plus source-derived concurrent role sets without host bindings. */
173
+ export declare function inspectGearsRoleContract(gears: string): GearsRoleContract;
117
174
  /**
118
175
  * Enumerates a machine's direct-Captain and delegated-player states, reading
119
176
  * `invoke.input` under a stub context to recover the static source binding.
@@ -128,14 +185,33 @@ export declare function enumeratePlaybookStates(config: MachineConfigLike): Play
128
185
  * is not agent-invoking, so `needsBossReply` in its result map is malformed.
129
186
  */
130
187
  export declare function enumerateScriptStates(config: MachineConfigLike): ScriptInvocationState[];
188
+ /** Module-level schema-3 declarations needed beside the machine config. */
189
+ export interface GearsFsmConformanceOptions {
190
+ concurrentRoleSets?: unknown;
191
+ /** Reviewed artifact schema for roleless non-controller machines. */
192
+ artifactSchema?: 1 | 3;
193
+ }
194
+ /** Exact action guards of Playbook 10's controller decision result. */
195
+ export declare const CONTROLLER_ACTION_GUARDS: readonly ["respond", "resume", "start", "switch", "dismiss", "deliver", "runtime"];
196
+ /** Whether a result map has the exact Playbook 10 controller domain union. */
197
+ export declare function isControllerDecisionResult(result: unknown): boolean;
198
+ /** A single missing or extra key against Playbook 10's controller domain. */
199
+ export declare function controllerDecisionNearMiss(result: unknown): {
200
+ missing: string[];
201
+ extra: string[];
202
+ } | undefined;
203
+ /** Whether a machine contains Playbook 10's grounded controller decision state. */
204
+ export declare function isControllerMachine(config: MachineConfigLike): boolean;
205
+ /** Whether an explicit direct-Captain result is one key from the controller domain. */
206
+ export declare function hasControllerDecisionNearMiss(config: MachineConfigLike): boolean;
131
207
  /**
132
208
  * Checks GEARS↔FSM conformance and returns human-readable findings (empty when
133
209
  * conformant): every GEARS item maps to one state with the same player and the
134
210
  * prompt verbatim, every captain state references a known item, and every
135
211
  * captain state's `result` map declares the Boss-reply suspension key with its
136
- * adjudicator contract (VERIFY-1, VERIFY-3; DR-009).
212
+ * adjudicator contract (verification-1, verification-3; DR-009).
137
213
  */
138
- export declare function checkGearsFsmConformance(gears: string, config: MachineConfigLike): string[];
214
+ export declare function checkGearsFsmConformance(gears: string, config: MachineConfigLike, options?: GearsFsmConformanceOptions): string[];
139
215
  /** The `gears2fsm`-mandated root pre-emption event name. */
140
216
  export declare const INTERRUPT_EVENT = "BOSS_INTERRUPT";
141
217
  /** The `gears2fsm`-mandated Boss-reply event and wait-state names. */
@@ -165,7 +241,7 @@ export interface StructuredStatePin {
165
241
  onError: TransitionArm[];
166
242
  on: EventArms;
167
243
  }
168
- /** The structural facts {@link pinIntrospection} pins for a machine (VERIFY-4). */
244
+ /** The structural facts {@link pinIntrospection} pins for a machine (verification-4). */
169
245
  export interface IntrospectionPins {
170
246
  initial: string | null;
171
247
  /** Captain-invoking states, in declaration order. */
@@ -175,6 +251,8 @@ export interface IntrospectionPins {
175
251
  actor?: 'captain' | 'player';
176
252
  sourceItem: string;
177
253
  player: string;
254
+ /** Canonical schema-3 role; absent for historical schema-1 pins. */
255
+ role?: string;
178
256
  resultKeys: string[];
179
257
  onDone: TransitionArm[];
180
258
  onError: TransitionArm[];
@@ -215,7 +293,7 @@ export interface IntrospectionPins {
215
293
  export declare function normalizeArms(raw: unknown): TransitionArm[];
216
294
  /**
217
295
  * Reduces a machine config to the structural facts the emitted introspection
218
- * test pins (VERIFY-4): captain bindings with result keys and every transition
296
+ * test pins (verification-4): captain bindings with result keys and every transition
219
297
  * arm, the quiescent states' event surfaces, the root event surface, and the
220
298
  * `BOSS_INTERRUPT` jumpable set.
221
299
  */
@@ -224,11 +302,13 @@ export declare function pinIntrospection(config: MachineConfigLike): Introspecti
224
302
  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
303
  export declare const BOSS_QUESTION_LABEL = "Boss question:";
226
304
  export declare const BOSS_REPLY_LABEL = "Boss reply:";
227
- /** One captain state's derived prompt contract (VERIFY-5). */
305
+ /** One captain state's derived prompt contract (verification-5). */
228
306
  export interface PromptContractRow {
229
307
  state: string;
230
308
  sourceItem: string;
231
309
  player: string;
310
+ /** Canonical schema-3 role; absent for historical schema-1 rows. */
311
+ role?: string;
232
312
  /** Context fields the state's input thunk reads. */
233
313
  reads: string[];
234
314
  /** Input fields carrying a read context field's value, by sentinel tracing. */
@@ -247,7 +327,7 @@ export declare function probeContextReads(inputFn: (arg: {
247
327
  }) => unknown): string[];
248
328
  /**
249
329
  * Derives every captain state's prompt contract from the machine config
250
- * (VERIFY-5): traced context reads, sentinel-traced input wiring, and the
330
+ * (verification-5): traced context reads, sentinel-traced input wiring, and the
251
331
  * prompt body's placeholder tokens.
252
332
  */
253
333
  export declare function capturePromptContract(config: MachineConfigLike): PromptContractRow[];
@@ -255,12 +335,12 @@ export declare function capturePromptContract(config: MachineConfigLike): Prompt
255
335
  * Derives, per captain state, which of its prompt's placeholder tokens the
256
336
  * linked composer substitutes when the wired context is present — pinned into
257
337
  * the emitted test so a token that later leaks unsubstituted fails it
258
- * (VERIFY-5).
338
+ * (verification-5).
259
339
  */
260
- export declare function deriveSubstitutions(config: MachineConfigLike, compose: (input: unknown) => string, actor?: CaptainState['actor']): Record<string, string[]>;
340
+ export declare function deriveSubstitutions(config: MachineConfigLike, compose: PromptComposer, actor?: CaptainState['actor']): Record<string, string[]>;
261
341
  /**
262
342
  * Checks the linked composer against the link contract for every captain state
263
- * (VERIFY-5), returning findings (empty when conformant): the prompt body is
343
+ * (verification-5), returning findings (empty when conformant): the prompt body is
264
344
  * preserved modulo substituted placeholders, the adjudicator-facing Boss-reply
265
345
  * contract never leaks into a player prompt, no continuation appears on an
266
346
  * ordinary turn, and a Boss-reply continuation turn opens with the exact
@@ -268,10 +348,14 @@ export declare function deriveSubstitutions(config: MachineConfigLike, compose:
268
348
  */
269
349
  export declare function checkPromptComposition(opts: {
270
350
  config: MachineConfigLike;
271
- compose: (input: unknown) => string;
351
+ compose: PromptComposer;
272
352
  /** Restricts the check to the states served by the matching composer. */
273
353
  actor?: CaptainState['actor'];
354
+ /** Grounded linked-artifact schema for otherwise ambiguous direct Captain states. */
355
+ artifactSchema?: 1 | 3;
274
356
  }): string[];
357
+ type PromptIdentity = (roleId: string) => string;
358
+ type PromptComposer = (input: unknown, promptIdentity: PromptIdentity) => string;
275
359
  /**
276
360
  * Package-export default for direct emitter callers. Full reserved-pipeline
277
361
  * runs override it with the artifact-local verifier support module.
@@ -285,6 +369,8 @@ export declare const VERIFY_MODULE = "@sublang/slc/verify";
285
369
  * @throws when the module exports no such machine.
286
370
  */
287
371
  export declare function findMachineConfig(fsmModule: unknown): MachineConfigLike;
372
+ /** Reads the schema-3 cohort declaration from an imported FSM module. */
373
+ export declare function findConcurrentRoleSets(fsmModule: unknown): unknown;
288
374
  /**
289
375
  * Builds a per-artifact vitest module that fails when the compiled FSM drifts
290
376
  * from its GEARS source: it reads the artifact's `gears` file and the machine its
@@ -300,12 +386,16 @@ export declare function generateGearsFsmConformanceTest(opts: {
300
386
  gearsFile: string;
301
387
  /** Import specifier for this checker, relative to the test. */
302
388
  verifyModule: string;
389
+ /** Reviewed schema baked into roleless artifact checks when available. */
390
+ artifactSchema?: 1 | 3;
391
+ /** Emission-time schema evidence that must remain empty for a valid artifact. */
392
+ schemaFindings?: readonly string[];
303
393
  }): string;
304
394
  /**
305
395
  * Emits the GEARS↔FSM conformance test as `slc` output beside a compiled
306
396
  * `playbook` artifact: writes `<basename>.gears-fsm.test.ts` into the artifact
307
397
  * directory (`<basename>.playbook/`), wiring the artifact's `gears` file and its
308
- * `fsm` module's machine to the checker, and returns the written path (VERIFY-2;
398
+ * `fsm` module's machine to the checker, and returns the written path (verification-2;
309
399
  * [DR-009](../decisions/009-slc-playbook-pipeline-compilation.md)).
310
400
  */
311
401
  export declare function emitGearsFsmConformanceTest(opts: {
@@ -315,6 +405,10 @@ export declare function emitGearsFsmConformanceTest(opts: {
315
405
  basename: string;
316
406
  /** Checker import specifier; defaults to {@link VERIFY_MODULE}. */
317
407
  verifyModule?: string;
408
+ /** Reviewed schema baked into roleless artifact checks when available. */
409
+ artifactSchema?: 1 | 3;
410
+ /** Emission-time schema evidence that must remain empty for a valid artifact. */
411
+ schemaFindings?: readonly string[];
318
412
  }): Promise<string>;
319
413
  /**
320
414
  * Imports a produced `fsm` artifact module for emission-time derivation. The
@@ -325,9 +419,22 @@ export declare function emitGearsFsmConformanceTest(opts: {
325
419
  * module cache.
326
420
  */
327
421
  export declare function loadFsmModule(fsmPath: string): Promise<unknown>;
422
+ /**
423
+ * Imports generated linked TypeScript for emission-time, standalone, or
424
+ * equivalence review before its sibling FSM has been built to JavaScript.
425
+ * NodeNext source correctly names the runtime-safe `./<basename>.fsm.js` edge,
426
+ * but review may run while only `./<basename>.fsm.ts` exists. Stage a
427
+ * same-directory copy whose one generated module specifier points at the
428
+ * hashed TypeScript artifact, import that copy, and remove it without changing
429
+ * the linked source or its production import.
430
+ */
431
+ export declare function loadLinkedModuleForVerification(opts: {
432
+ linkedPath: string;
433
+ fsmPath: string;
434
+ }): Promise<unknown>;
328
435
  /**
329
436
  * Builds a per-artifact vitest module that fails when the machine's structure
330
- * drifts from the topology pinned at build time (VERIFY-4).
437
+ * drifts from the topology pinned at build time (verification-4).
331
438
  */
332
439
  export declare function generateFsmIntrospectionTest(opts: {
333
440
  basename: string;
@@ -337,7 +444,7 @@ export declare function generateFsmIntrospectionTest(opts: {
337
444
  }): string;
338
445
  /**
339
446
  * Builds a per-artifact vitest module pinning the prompt contract derived from
340
- * the artifacts at build time (VERIFY-5): the per-state context reads, input
447
+ * the artifacts at build time (verification-5): the per-state context reads, input
341
448
  * wiring, and placeholders always; and, when the linked module exposes its
342
449
  * matching Captain/player composers, the composition checks and pinned
343
450
  * substitution maps.
@@ -347,6 +454,10 @@ export declare function generatePromptContractTest(opts: {
347
454
  fsmModule: string;
348
455
  verifyModule: string;
349
456
  rows: PromptContractRow[];
457
+ /** Grounded artifact schema baked into continuation probes when available. */
458
+ artifactSchema?: 1 | 3;
459
+ /** Emission-time schema evidence that must remain empty for a valid artifact. */
460
+ schemaFindings?: readonly string[];
350
461
  /** Present when the linked module beside the artifacts exposes its composer. */
351
462
  composer?: {
352
463
  playbookModule: string;
@@ -354,9 +465,30 @@ export declare function generatePromptContractTest(opts: {
354
465
  player?: Record<string, string[]>;
355
466
  };
356
467
  }): string;
468
+ /**
469
+ * Schema decision shared by generated and standalone artifact verification
470
+ * (verification-21). Reviewed provenance is evidence through its exact
471
+ * historical map; any other provenance is evidence only through the engine
472
+ * declaration read from the link target's installed package — `RUNTIME_ABI`
473
+ * `1` with artifact schema `3` — and is otherwise reported unsupported
474
+ * (DR-028).
475
+ */
476
+ export declare function resolveArtifactSchemaForVerification(opts: {
477
+ artifactSchema?: 1 | 3;
478
+ provenance?: unknown;
479
+ /** The link target's installed engine declaration, when the caller read it. */
480
+ runtimeDeclaration?: PlaybookRuntimeDeclaration;
481
+ config?: MachineConfigLike;
482
+ linked?: {
483
+ default?: unknown;
484
+ };
485
+ }): {
486
+ artifactSchema?: 1 | 3;
487
+ findings: string[];
488
+ };
357
489
  /**
358
490
  * Emits the prompt-contract test beside a compiled `playbook` artifact
359
- * (VERIFY-5): derives and pins the per-state contract from the physical
491
+ * (verification-5): derives and pins the per-state contract from the physical
360
492
  * `<basename>.fsm.ts` artifact, then emits NodeNext `.js` imports for that FSM
361
493
  * and any linked `<basename>.playbook.ts` module. When the linked module
362
494
  * exposes the `_internal` composer matching each state actor —
@@ -372,13 +504,19 @@ export declare function emitPromptContractTest(opts: {
372
504
  artifactDir: string;
373
505
  basename: string;
374
506
  verifyModule?: string;
507
+ /** Reviewed schema when the FSM shape alone cannot distinguish generations. */
508
+ artifactSchema?: 1 | 3;
509
+ /** Actual reviewed full-link target provenance, when the caller has it. */
510
+ provenance?: unknown;
511
+ /** The full-link target's installed engine declaration, when read (DR-028). */
512
+ runtimeDeclaration?: PlaybookRuntimeDeclaration;
375
513
  }): Promise<{
376
514
  path: string;
377
515
  diagnostics: string[];
378
516
  }>;
379
517
  /**
380
518
  * Emits the introspection test beside a compiled `playbook` artifact
381
- * (VERIFY-4): derives topology pins from the physical `<basename>.fsm.ts`,
519
+ * (verification-4): derives topology pins from the physical `<basename>.fsm.ts`,
382
520
  * emits a NodeNext `.js` import for that sibling source, and writes
383
521
  * `<basename>.fsm.introspect.test.ts` into the artifact directory.
384
522
  *
@@ -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;;;;;;;GAOG;AACH,MAAM,WAAW,0BAA0B;IACzC,qEAAqE;IACrE,UAAU,EAAE,MAAM,CAAC;IACnB,0CAA0C;IAC1C,WAAW,EAAE,MAAM,CAAC;IACpB,+EAA+E;IAC/E,UAAU,EAAE,OAAO,CAAC;IACpB,6EAA6E;IAC7E,wBAAwB,EAAE,OAAO,CAAC;CACnC;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,0BAA0B,GACtC,OAAO,CAMT;AAED,uDAAuD;AACvD,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,0BAA0B,GACtC,MAAM,CAUR;AAWD;;;;;GAKG;AACH,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;;;;;;;GAOG;AACH,wBAAgB,oCAAoC,CAAC,IAAI,EAAE;IACzD,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACvB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,+EAA+E;IAC/E,kBAAkB,CAAC,EAAE,0BAA0B,CAAC;IAChD,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,CAuFjD;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;IACrB,+EAA+E;IAC/E,kBAAkB,CAAC,EAAE,0BAA0B,CAAC;CACjD,GAAG,OAAO,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,CAkHnD;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"}