@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.
- package/README.md +10 -5
- package/dist/app.d.ts +20 -20
- package/dist/app.d.ts.map +1 -1
- package/dist/app.js +44 -31
- 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 +9 -2
- package/dist/cligent-agent.d.ts.map +1 -1
- package/dist/cligent-agent.js +6 -5
- package/dist/cligent-agent.js.map +1 -1
- package/dist/compiled-execution.d.ts +44 -0
- package/dist/compiled-execution.d.ts.map +1 -0
- package/dist/compiled-execution.js +184 -0
- package/dist/compiled-execution.js.map +1 -0
- package/dist/compiled-executor.d.ts +16 -6
- package/dist/compiled-executor.d.ts.map +1 -1
- package/dist/compiled-executor.js +182 -35
- package/dist/compiled-executor.js.map +1 -1
- package/dist/config-file.d.ts +9 -6
- package/dist/config-file.d.ts.map +1 -1
- package/dist/config-file.js +27 -9
- package/dist/config-file.js.map +1 -1
- package/dist/config.d.ts +77 -24
- package/dist/config.d.ts.map +1 -1
- package/dist/config.js +128 -52
- 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/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 +13 -6
- package/dist/phase-runner.d.ts.map +1 -1
- package/dist/phase-runner.js +12 -10
- package/dist/phase-runner.js.map +1 -1
- 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 +24 -10
- 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 +49 -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 +2 -2
- package/dist/runner.d.ts.map +1 -1
- package/dist/runner.js +218 -81
- package/dist/runner.js.map +1 -1
- package/dist/runtime-contract.d.ts +17 -0
- package/dist/runtime-contract.d.ts.map +1 -0
- package/dist/runtime-contract.js +114 -0
- package/dist/runtime-contract.js.map +1 -0
- package/dist/slc.config.template.yaml +7 -2
- 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 +153 -15
- package/dist/verify.d.ts.map +1 -1
- package/dist/verify.js +707 -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,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 (
|
|
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 (
|
|
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 (
|
|
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 (
|
|
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
|
-
* (
|
|
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
|
-
* (
|
|
338
|
+
* (verification-5).
|
|
259
339
|
*/
|
|
260
|
-
export declare function deriveSubstitutions(config: MachineConfigLike, compose:
|
|
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
|
-
* (
|
|
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:
|
|
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 (
|
|
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 (
|
|
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 (
|
|
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
|
-
* (
|
|
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
|
-
* (
|
|
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
|
*
|
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;;;;;;;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"}
|