@hyperscale0/hsx 1.0.0 → 1.0.124
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/CHANGELOG.md +5 -256
- package/LICENSE.md +356 -0
- package/NOTICE.md +8 -0
- package/README.md +44 -44
- package/bin/hsx.ts +0 -7
- package/dist/bin/hsx.d.ts +0 -4
- package/dist/bin/hsx.d.ts.map +1 -1
- package/dist/bin/hsx.js +0 -6
- package/dist/bin/hsx.js.map +1 -1
- package/dist/src/ast.d.ts +113 -308
- package/dist/src/ast.d.ts.map +1 -1
- package/dist/src/ast.js +7 -71
- package/dist/src/ast.js.map +1 -1
- package/dist/src/attachment-economics.d.ts +5 -0
- package/dist/src/attachment-economics.d.ts.map +1 -0
- package/dist/src/attachment-economics.js +55 -0
- package/dist/src/attachment-economics.js.map +1 -0
- package/dist/src/binding-contract.d.ts +22 -0
- package/dist/src/binding-contract.d.ts.map +1 -0
- package/dist/src/binding-contract.js +74 -0
- package/dist/src/binding-contract.js.map +1 -0
- package/dist/src/cli.d.ts +4 -19
- package/dist/src/cli.d.ts.map +1 -1
- package/dist/src/cli.js +89 -276
- package/dist/src/cli.js.map +1 -1
- package/dist/src/compile.d.ts +34 -66
- package/dist/src/compile.d.ts.map +1 -1
- package/dist/src/compile.js +2949 -117
- package/dist/src/compile.js.map +1 -1
- package/dist/src/cost.d.ts +8 -75
- package/dist/src/cost.d.ts.map +1 -1
- package/dist/src/cost.js +54 -364
- package/dist/src/cost.js.map +1 -1
- package/dist/src/diagnostics.d.ts +14 -9
- package/dist/src/diagnostics.d.ts.map +1 -1
- package/dist/src/diagnostics.js +39 -416
- package/dist/src/diagnostics.js.map +1 -1
- package/dist/src/examples-bundle.d.ts +3 -0
- package/dist/src/examples-bundle.d.ts.map +1 -0
- package/dist/src/examples-bundle.js +18 -0
- package/dist/src/examples-bundle.js.map +1 -0
- package/dist/src/examples.d.ts +10 -0
- package/dist/src/examples.d.ts.map +1 -0
- package/dist/src/examples.js +2 -0
- package/dist/src/examples.js.map +1 -0
- package/dist/src/format.d.ts +8 -7
- package/dist/src/format.d.ts.map +1 -1
- package/dist/src/format.js +9 -175
- package/dist/src/format.js.map +1 -1
- package/dist/src/header-source.d.ts +3 -0
- package/dist/src/header-source.d.ts.map +1 -0
- package/dist/src/header-source.js +41 -0
- package/dist/src/header-source.js.map +1 -0
- package/dist/src/headers.d.ts +64 -0
- package/dist/src/headers.d.ts.map +1 -0
- package/dist/src/headers.js +167 -0
- package/dist/src/headers.js.map +1 -0
- package/dist/src/index.d.ts +7 -11
- package/dist/src/index.d.ts.map +1 -1
- package/dist/src/index.js +4 -9
- package/dist/src/index.js.map +1 -1
- package/dist/src/keywords.d.ts +56 -0
- package/dist/src/keywords.d.ts.map +1 -0
- package/dist/src/keywords.js +133 -0
- package/dist/src/keywords.js.map +1 -0
- package/dist/src/language.d.ts +26 -0
- package/dist/src/language.d.ts.map +1 -0
- package/dist/src/language.js +440 -0
- package/dist/src/language.js.map +1 -0
- package/dist/src/lex.d.ts +13 -28
- package/dist/src/lex.d.ts.map +1 -1
- package/dist/src/lex.js +119 -145
- package/dist/src/lex.js.map +1 -1
- package/dist/src/parse.d.ts +4 -17
- package/dist/src/parse.d.ts.map +1 -1
- package/dist/src/parse.js +484 -1036
- package/dist/src/parse.js.map +1 -1
- package/dist/src/std-bundle.d.ts.map +1 -1
- package/dist/src/std-bundle.js +11 -84
- package/dist/src/std-bundle.js.map +1 -1
- package/dist/src/std-library.d.ts +1 -1
- package/dist/src/std-library.d.ts.map +1 -1
- package/dist/src/std-library.js +1 -5
- package/dist/src/std-library.js.map +1 -1
- package/dist/src/tunables.d.ts +7 -0
- package/dist/src/tunables.d.ts.map +1 -0
- package/dist/src/tunables.js +27 -0
- package/dist/src/tunables.js.map +1 -0
- package/docs/README.md +528 -26
- package/docs/assets/brand/hsx-horizontal-white.svg +1 -0
- package/docs/assets/brand/hsx-horizontal.svg +1 -0
- package/docs/assets/brand/hsx-stacked-white.svg +1 -0
- package/docs/assets/brand/hsx-stacked.svg +1 -0
- package/docs/assets/brand/manifest.json +30 -0
- package/docs/assets/hsx.svg +11 -0
- package/examples/cards.hsx +34 -0
- package/examples/collections.hsx +37 -0
- package/examples/cost-table.json +633 -385
- package/examples/escrow.hsx +24 -0
- package/examples/financing.hsx +32 -0
- package/examples/insurance.hsx +30 -0
- package/examples/lending.hsx +57 -0
- package/examples/library.hsx +15 -0
- package/examples/marketplace.hsx +32 -0
- package/examples/money.hsx +19 -0
- package/examples/rental-deposit.hsx +60 -0
- package/examples/repair-approval.hsx +44 -0
- package/examples/reporting.hsx +28 -0
- package/examples/savings.hsx +21 -0
- package/examples/serviced.hsx +25 -0
- package/examples/wallet.hsx +24 -0
- package/package.json +25 -23
- package/src/ast.ts +83 -440
- package/src/attachment-economics.ts +103 -0
- package/src/binding-contract.ts +104 -0
- package/src/cli.ts +95 -325
- package/src/compile.ts +4063 -209
- package/src/cost.ts +71 -574
- package/src/diagnostics.ts +57 -437
- package/src/examples-bundle.ts +19 -0
- package/src/examples.ts +9 -0
- package/src/format.ts +12 -256
- package/src/header-source.ts +54 -0
- package/src/headers.ts +195 -0
- package/src/index.ts +18 -33
- package/src/keywords.ts +134 -0
- package/src/language.ts +629 -0
- package/src/lex.ts +131 -192
- package/src/parse.ts +489 -1195
- package/src/std-bundle.ts +12 -88
- package/src/std-library.ts +2 -7
- package/src/tunables.ts +36 -0
- package/std/cards.hsx +85 -0
- package/std/collections.hsx +90 -0
- package/std/escrow.hsx +73 -0
- package/std/financing.hsx +683 -0
- package/std/insurance.hsx +89 -0
- package/std/lending.hsx +138 -0
- package/std/marketplace.hsx +123 -0
- package/std/money.hsx +173 -0
- package/std/reporting.hsx +753 -0
- package/std/savings.hsx +68 -0
- package/std/wallet.hsx +57 -0
- package/LICENSE +0 -661
- package/LICENSING.md +0 -52
- package/TRADEMARKS.md +0 -35
- package/dist/src/emit.d.ts +0 -34
- package/dist/src/emit.d.ts.map +0 -1
- package/dist/src/emit.js +0 -137
- package/dist/src/emit.js.map +0 -1
- package/dist/src/entry-overrides.d.ts +0 -58
- package/dist/src/entry-overrides.d.ts.map +0 -1
- package/dist/src/entry-overrides.js +0 -284
- package/dist/src/entry-overrides.js.map +0 -1
- package/dist/src/ir.d.ts +0 -66
- package/dist/src/ir.d.ts.map +0 -1
- package/dist/src/ir.js +0 -15
- package/dist/src/ir.js.map +0 -1
- package/dist/src/limits.d.ts +0 -21
- package/dist/src/limits.d.ts.map +0 -1
- package/dist/src/limits.js +0 -21
- package/dist/src/limits.js.map +0 -1
- package/dist/src/lsp/server.d.ts +0 -32
- package/dist/src/lsp/server.d.ts.map +0 -1
- package/dist/src/lsp/server.js +0 -391
- package/dist/src/lsp/server.js.map +0 -1
- package/dist/src/modules.d.ts +0 -38
- package/dist/src/modules.d.ts.map +0 -1
- package/dist/src/modules.js +0 -368
- package/dist/src/modules.js.map +0 -1
- package/dist/src/typecheck.d.ts +0 -8
- package/dist/src/typecheck.d.ts.map +0 -1
- package/dist/src/typecheck.js +0 -2958
- package/dist/src/typecheck.js.map +0 -1
- package/dist/src/version.d.ts +0 -5
- package/dist/src/version.d.ts.map +0 -1
- package/dist/src/version.js +0 -5
- package/dist/src/version.js.map +0 -1
- package/docs/guide/01-first-program.md +0 -24
- package/docs/guide/02-money.md +0 -25
- package/docs/guide/03-instruments.md +0 -22
- package/docs/guide/04-lifecycles.md +0 -25
- package/docs/guide/05-fees-and-splits.md +0 -45
- package/docs/guide/06-schedules.md +0 -22
- package/docs/guide/07-composition.md +0 -46
- package/docs/guide/08-writing-a-module.md +0 -26
- package/docs/guide/09-cost.md +0 -24
- package/docs/guide/10-diagnostics.md +0 -27
- package/docs/llms-full.txt +0 -1739
- package/docs/llms.txt +0 -45
- package/docs/playground.md +0 -54
- package/docs/reference/cli.md +0 -35
- package/docs/reference/diagnostics.md +0 -619
- package/docs/reference/grammar.md +0 -39
- package/docs/reference/std/advance.md +0 -35
- package/docs/reference/std/cancellable_booking.md +0 -35
- package/docs/reference/std/captured_payment.md +0 -43
- package/docs/reference/std/conditional_disbursement.md +0 -33
- package/docs/reference/std/credit_facility.md +0 -35
- package/docs/reference/std/held_payment.md +0 -64
- package/docs/reference/std/instant_transfer.md +0 -30
- package/docs/reference/std/metered.md +0 -27
- package/docs/reference/std/pooled_split.md +0 -26
- package/docs/reference/std/premium_forward.md +0 -39
- package/docs/reference/std/reconciled_payout.md +0 -33
- package/docs/reference/std/recurring_collection.md +0 -25
- package/docs/reference/std/rotating_pool.md +0 -42
- package/docs/reference/std/scheduled.md +0 -51
- package/docs/reference/std/security_deposit.md +0 -46
- package/docs/reference/std/settlement_batch.md +0 -42
- package/docs/reference/std/swap.md +0 -46
- package/docs/reference/std/threshold_pool.md +0 -47
- package/docs/reference/std/weighted_distribution.md +0 -39
- package/docs/reference/types.md +0 -20
- package/docs/reference/udl-output.md +0 -13
- package/docs/sessions/2026-09-02-two-instruments.hsx +0 -21
- package/docs/sessions/2026-09-02-two-instruments.md +0 -41
- package/examples/01-first-program/README.md +0 -45
- package/examples/01-first-program/tip-jar.hsx +0 -17
- package/examples/02-imports-and-archetypes/README.md +0 -96
- package/examples/02-imports-and-archetypes/photo-booth.hsx +0 -37
- package/examples/03-diagnostics/README.md +0 -68
- package/examples/03-diagnostics/corner-shop-fixed.hsx +0 -22
- package/examples/03-diagnostics/corner-shop.hsx +0 -19
- package/examples/04-complete-product/README.md +0 -84
- package/examples/04-complete-product/study-hall.hsx +0 -67
- package/examples/05-watch-club/README.md +0 -9
- package/examples/05-watch-club/watch-club.hsx +0 -124
- package/examples/README.md +0 -18
- package/examples/advance/README.md +0 -3
- package/examples/advance/advance.hsx +0 -13
- package/examples/advance/advance.udl +0 -339
- package/examples/cancellable_booking/README.md +0 -3
- package/examples/cancellable_booking/cancellable_booking.hsx +0 -14
- package/examples/cancellable_booking/cancellable_booking.udl +0 -391
- package/examples/captured_payment/README.md +0 -3
- package/examples/captured_payment/captured_payment.hsx +0 -21
- package/examples/captured_payment/captured_payment.udl +0 -677
- package/examples/conditional_disbursement/README.md +0 -3
- package/examples/conditional_disbursement/conditional_disbursement.hsx +0 -17
- package/examples/conditional_disbursement/conditional_disbursement.udl +0 -412
- package/examples/credit_facility/README.md +0 -3
- package/examples/credit_facility/credit_facility.hsx +0 -27
- package/examples/credit_facility/credit_facility.udl +0 -1373
- package/examples/held_payment/README.md +0 -3
- package/examples/held_payment/held_payment.hsx +0 -13
- package/examples/held_payment/held_payment.udl +0 -507
- package/examples/instant_transfer/README.md +0 -3
- package/examples/instant_transfer/instant_transfer.hsx +0 -16
- package/examples/instant_transfer/instant_transfer.udl +0 -364
- package/examples/metered/README.md +0 -3
- package/examples/metered/metered.hsx +0 -13
- package/examples/metered/metered.udl +0 -247
- package/examples/pooled_split/README.md +0 -3
- package/examples/pooled_split/pooled_split.hsx +0 -15
- package/examples/pooled_split/pooled_split.udl +0 -425
- package/examples/premium_forward/README.md +0 -3
- package/examples/premium_forward/premium_forward.hsx +0 -19
- package/examples/premium_forward/premium_forward.udl +0 -594
- package/examples/reconciled_payout/README.md +0 -3
- package/examples/reconciled_payout/reconciled_payout.hsx +0 -13
- package/examples/reconciled_payout/reconciled_payout.udl +0 -303
- package/examples/recurring_collection/README.md +0 -3
- package/examples/recurring_collection/recurring_collection.hsx +0 -21
- package/examples/recurring_collection/recurring_collection.udl +0 -1130
- package/examples/rotating_pool/README.md +0 -3
- package/examples/rotating_pool/rotating_pool.hsx +0 -18
- package/examples/rotating_pool/rotating_pool.udl +0 -4352
- package/examples/scheduled/README.md +0 -3
- package/examples/scheduled/scheduled.hsx +0 -12
- package/examples/scheduled/scheduled.udl +0 -335
- package/examples/security_deposit/README.md +0 -3
- package/examples/security_deposit/security_deposit.hsx +0 -21
- package/examples/security_deposit/security_deposit.udl +0 -293
- package/examples/settlement_batch/README.md +0 -3
- package/examples/settlement_batch/settlement_batch.hsx +0 -19
- package/examples/settlement_batch/settlement_batch.udl +0 -753
- package/examples/swap/README.md +0 -3
- package/examples/swap/swap.hsx +0 -19
- package/examples/swap/swap.udl +0 -876
- package/examples/threshold_pool/README.md +0 -3
- package/examples/threshold_pool/threshold_pool.hsx +0 -16
- package/examples/threshold_pool/threshold_pool.udl +0 -667
- package/examples/weighted_distribution/README.md +0 -3
- package/examples/weighted_distribution/weighted_distribution.hsx +0 -20
- package/examples/weighted_distribution/weighted_distribution.udl +0 -337
- package/skills/hsx/SKILL.md +0 -483
- package/src/emit.ts +0 -201
- package/src/entry-overrides.ts +0 -428
- package/src/ir.ts +0 -99
- package/src/limits.ts +0 -20
- package/src/lsp/server.ts +0 -460
- package/src/modules.ts +0 -446
- package/src/typecheck.ts +0 -3876
- package/src/version.ts +0 -5
- package/std/SEMANTICS.md +0 -130
- package/std/settlements/advance.hsx +0 -177
- package/std/settlements/cancellable_booking.hsx +0 -87
- package/std/settlements/captured_payment.hsx +0 -144
- package/std/settlements/conditional_disbursement.hsx +0 -185
- package/std/settlements/credit_facility.hsx +0 -167
- package/std/settlements/held_payment.hsx +0 -578
- package/std/settlements/index.hsx +0 -3
- package/std/settlements/instant_transfer.hsx +0 -190
- package/std/settlements/metered.hsx +0 -67
- package/std/settlements/pooled_split.hsx +0 -68
- package/std/settlements/premium_forward.hsx +0 -257
- package/std/settlements/reconciled_payout.hsx +0 -77
- package/std/settlements/recurring_collection.hsx +0 -27
- package/std/settlements/rotating_pool.hsx +0 -252
- package/std/settlements/scheduled.hsx +0 -641
- package/std/settlements/security_deposit.hsx +0 -166
- package/std/settlements/settlement_batch.hsx +0 -122
- package/std/settlements/swap.hsx +0 -1114
- package/std/settlements/threshold_pool.hsx +0 -221
- package/std/settlements/weighted_distribution.hsx +0 -141
package/LICENSING.md
DELETED
|
@@ -1,52 +0,0 @@
|
|
|
1
|
-
# Licensing
|
|
2
|
-
|
|
3
|
-
The code in this repository is Copyright 2026 Hyperscale LLC and is licensed
|
|
4
|
-
under the GNU Affero General Public License version 3 only
|
|
5
|
-
(`AGPL-3.0-only`). The full text is in [`LICENSE`](./LICENSE).
|
|
6
|
-
|
|
7
|
-
## What the AGPL asks of you
|
|
8
|
-
|
|
9
|
-
Two obligations matter in practice.
|
|
10
|
-
|
|
11
|
-
**If you distribute a copy in object form**, modified or not, you make its
|
|
12
|
-
Corresponding Source available under the same license.
|
|
13
|
-
|
|
14
|
-
**If you run a modified copy as a network service**, section 13 applies: the
|
|
15
|
-
users interacting with it over the network get an offer of the source of the
|
|
16
|
-
version you are running. Compiling HSX with an unmodified copy behind your own
|
|
17
|
-
service does not trigger this. Changing the lexer, the parser, the lowering, or
|
|
18
|
-
the emitted IR and then serving that change does.
|
|
19
|
-
|
|
20
|
-
Using `@hyperscale0/hsx` as a library inside your own program is a combined
|
|
21
|
-
work under the AGPL. If that does not fit how you ship, take the commercial
|
|
22
|
-
license instead.
|
|
23
|
-
|
|
24
|
-
## Commercial license
|
|
25
|
-
|
|
26
|
-
Hyperscale LLC sells a commercial license to organisations that cannot accept
|
|
27
|
-
the AGPL, for the usual reasons: a proprietary product that links the compiler,
|
|
28
|
-
a hosted service you will not open, a procurement policy that refuses copyleft.
|
|
29
|
-
It grants the same code under ordinary commercial terms with no source
|
|
30
|
-
obligation.
|
|
31
|
-
|
|
32
|
-
Ask through <https://hyperscale0.ai>.
|
|
33
|
-
|
|
34
|
-
## The license covers code, not marks
|
|
35
|
-
|
|
36
|
-
"Hyperscale" and "HSX" are trademarks of Hyperscale LLC. A copyright license
|
|
37
|
-
says nothing about trademarks in either direction, so
|
|
38
|
-
[`TRADEMARKS.md`](./TRADEMARKS.md) draws that boundary.
|
|
39
|
-
|
|
40
|
-
## The language is not the compiler
|
|
41
|
-
|
|
42
|
-
HSX the language and its output contract are separate from this compiler. The
|
|
43
|
-
canonical UDL schema published by the UDL repository and the fixtures under
|
|
44
|
-
[`examples/`](./examples) are data describing a language, and anyone may write their own compiler,
|
|
45
|
-
formatter, or runtime against them, in any language, under any license, without
|
|
46
|
-
touching this code.
|
|
47
|
-
|
|
48
|
-
What you may then say about it is a trademark question, not a copyright one.
|
|
49
|
-
[`TRADEMARKS.md`](./TRADEMARKS.md) has the rule: claim compatibility with an
|
|
50
|
-
HSX IR version only when your implementation emits IR that validates against
|
|
51
|
-
that version's published schema, from the published example programs,
|
|
52
|
-
unmodified.
|
package/TRADEMARKS.md
DELETED
|
@@ -1,35 +0,0 @@
|
|
|
1
|
-
# Trademarks
|
|
2
|
-
|
|
3
|
-
"Hyperscale" and "HSX" are trademarks of Hyperscale LLC.
|
|
4
|
-
|
|
5
|
-
The AGPL covers the code in this repository and nothing else. It grants no
|
|
6
|
-
rights to the marks, and it never mentions them: a copyright license says
|
|
7
|
-
nothing about trademarks either way. This file draws that boundary so nobody
|
|
8
|
-
has to guess where it sits.
|
|
9
|
-
|
|
10
|
-
What that means in practice:
|
|
11
|
-
|
|
12
|
-
- **Yes.** Say your project uses HSX, compiles HSX, or reads its internal lowering record.
|
|
13
|
-
Say it in your README, your docs, your talk, and your package description.
|
|
14
|
-
Fork this repository and keep the notices intact.
|
|
15
|
-
- **Yes.** Publish an HSX implementation or tool in another language, and name
|
|
16
|
-
it in a way that describes what it does: `hsx-rs`, `hsx-lsp`, `tree-sitter-hsx`.
|
|
17
|
-
- **No.** Name your project, company, or product in a way that suggests
|
|
18
|
-
Hyperscale LLC published it or endorses it. `@hyperscale0/*` on npm and the
|
|
19
|
-
`hyperscale0` GitHub organisation are ours.
|
|
20
|
-
- **No.** Use the marks or our logo in a way that implies affiliation,
|
|
21
|
-
sponsorship, or certification we have not given.
|
|
22
|
-
|
|
23
|
-
## Claiming compatibility
|
|
24
|
-
|
|
25
|
-
An independent implementation may say it "implements HSX IR version X" only
|
|
26
|
-
while it emits canonical UDL that validates against the UDL schema published
|
|
27
|
-
for that version, from the published example programs, unmodified. The UDL
|
|
28
|
-
schema and the programs in [`examples/`](./examples) are the whole
|
|
29
|
-
test: no edited fixture, no local relaxation of the schema.
|
|
30
|
-
|
|
31
|
-
That claim is a statement about your implementation, so keep the marks out of
|
|
32
|
-
its name and off its logo, and do not present it as endorsement or
|
|
33
|
-
certification by Hyperscale LLC. We certify nothing; the schema does.
|
|
34
|
-
|
|
35
|
-
If you are unsure, open an issue and ask. Nobody has ever regretted asking.
|
package/dist/src/emit.d.ts
DELETED
|
@@ -1,34 +0,0 @@
|
|
|
1
|
-
import { type UdlDocument, type UdlIssueCode } from "@hyperscale0/udl";
|
|
2
|
-
import type { TypedInstrument, TypedProgram } from "./ir.ts";
|
|
3
|
-
export interface OriginMapEntry {
|
|
4
|
-
readonly path: string;
|
|
5
|
-
readonly span: {
|
|
6
|
-
readonly end: number;
|
|
7
|
-
readonly start: number;
|
|
8
|
-
};
|
|
9
|
-
}
|
|
10
|
-
export interface GeneralLoweringIssue {
|
|
11
|
-
readonly code: string;
|
|
12
|
-
readonly fix: string;
|
|
13
|
-
readonly message: string;
|
|
14
|
-
readonly path: string;
|
|
15
|
-
readonly span: {
|
|
16
|
-
readonly end: number;
|
|
17
|
-
readonly start: number;
|
|
18
|
-
};
|
|
19
|
-
readonly udlCode: UdlIssueCode;
|
|
20
|
-
}
|
|
21
|
-
export type GeneralLowerResult = {
|
|
22
|
-
readonly issues: readonly GeneralLoweringIssue[];
|
|
23
|
-
readonly ok: false;
|
|
24
|
-
} | {
|
|
25
|
-
readonly ok: true;
|
|
26
|
-
readonly value: {
|
|
27
|
-
readonly canonicalUdl: string;
|
|
28
|
-
readonly document: UdlDocument;
|
|
29
|
-
readonly originMap: readonly OriginMapEntry[];
|
|
30
|
-
};
|
|
31
|
-
};
|
|
32
|
-
export declare function lowerGeneralProgram(program: TypedProgram): GeneralLowerResult;
|
|
33
|
-
export declare function requiredFields(instrument: TypedInstrument): string[];
|
|
34
|
-
//# sourceMappingURL=emit.d.ts.map
|
package/dist/src/emit.d.ts.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"emit.d.ts","sourceRoot":"","sources":["../../src/emit.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,YAAY,EAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAE7D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACjE;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IAChE,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;CAChC;AAED,MAAM,MAAM,kBAAkB,GAC1B;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;CAAE,GACxE;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;QAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;KAC/C,CAAC;CACH,CAAC;AAEN,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,kBAAkB,CAoE7E;AA+CD,wBAAgB,cAAc,CAAC,UAAU,EAAE,eAAe,GAAG,MAAM,EAAE,CA4BpE"}
|
package/dist/src/emit.js
DELETED
|
@@ -1,137 +0,0 @@
|
|
|
1
|
-
import { serializeUdl, validateUdl, } from "@hyperscale0/udl";
|
|
2
|
-
export function lowerGeneralProgram(program) {
|
|
3
|
-
const candidate = {
|
|
4
|
-
instruments: program.instruments.map((instrument) => ({
|
|
5
|
-
...instrument.slots,
|
|
6
|
-
actionOrder: instrument.actions.map((action) => action.name),
|
|
7
|
-
actions: Object.fromEntries(instrument.actions.map((action) => [action.name, action.slots])),
|
|
8
|
-
fields: Object.fromEntries(instrument.fields.map((field) => [field.name, field.schema])),
|
|
9
|
-
id: instrument.id,
|
|
10
|
-
required: requiredFields(instrument),
|
|
11
|
-
})),
|
|
12
|
-
product: program.name,
|
|
13
|
-
subjects: program.subjects.map((subject) => ({
|
|
14
|
-
declaredValue: subject.declaredValue,
|
|
15
|
-
kind: subject.kind,
|
|
16
|
-
schema: subject.schema,
|
|
17
|
-
title: subject.title,
|
|
18
|
-
version: subject.version,
|
|
19
|
-
})),
|
|
20
|
-
title: program.title,
|
|
21
|
-
udl: 1,
|
|
22
|
-
version: 1,
|
|
23
|
-
};
|
|
24
|
-
const unresolved = unresolvedCompilerMarkers(candidate);
|
|
25
|
-
if (unresolved.length > 0) {
|
|
26
|
-
const origins = originMapFor(program);
|
|
27
|
-
return {
|
|
28
|
-
issues: unresolved.map(({ marker, path }) => ({
|
|
29
|
-
code: "HSX1603",
|
|
30
|
-
fix: "correct the compile-time block keys or parameter bindings",
|
|
31
|
-
message: `${path}: emitted value contains unresolved compiler marker ${marker}`,
|
|
32
|
-
path,
|
|
33
|
-
span: originForUdlPath(path, origins)?.span ?? program.origin,
|
|
34
|
-
udlCode: "UDL1003",
|
|
35
|
-
})),
|
|
36
|
-
ok: false,
|
|
37
|
-
};
|
|
38
|
-
}
|
|
39
|
-
const validation = validateUdl(candidate);
|
|
40
|
-
if (!validation.ok) {
|
|
41
|
-
const origins = originMapFor(program);
|
|
42
|
-
return {
|
|
43
|
-
issues: validation.issues.map((issue) => {
|
|
44
|
-
const origin = originForUdlPath(issue.path, origins);
|
|
45
|
-
return {
|
|
46
|
-
code: issue.category === "invalid_semantics" ? "HSX1602" : "HSX1601",
|
|
47
|
-
fix: "correct the named clause so it matches the targeted UDL definition",
|
|
48
|
-
message: `${issue.path}: ${issue.message}`,
|
|
49
|
-
path: issue.path,
|
|
50
|
-
span: origin?.span ?? program.origin,
|
|
51
|
-
udlCode: issue.code,
|
|
52
|
-
};
|
|
53
|
-
}),
|
|
54
|
-
ok: false,
|
|
55
|
-
};
|
|
56
|
-
}
|
|
57
|
-
const document = validation.value;
|
|
58
|
-
return {
|
|
59
|
-
ok: true,
|
|
60
|
-
value: {
|
|
61
|
-
canonicalUdl: serializeUdl(document),
|
|
62
|
-
document,
|
|
63
|
-
originMap: originMapFor(program),
|
|
64
|
-
},
|
|
65
|
-
};
|
|
66
|
-
}
|
|
67
|
-
const COMPILER_MARKERS = ["__hsx_none__", "invalid_compile_time_name"];
|
|
68
|
-
function unresolvedCompilerMarkers(value, path = "$") {
|
|
69
|
-
if (typeof value === "string") {
|
|
70
|
-
return COMPILER_MARKERS.filter((marker) => value.includes(marker)).map((marker) => ({ marker, path }));
|
|
71
|
-
}
|
|
72
|
-
if (Array.isArray(value)) {
|
|
73
|
-
return value.flatMap((item, index) => unresolvedCompilerMarkers(item, `${path}[${index}]`));
|
|
74
|
-
}
|
|
75
|
-
if (!value || typeof value !== "object")
|
|
76
|
-
return [];
|
|
77
|
-
return Object.entries(value).flatMap(([key, item]) => {
|
|
78
|
-
const childPath = /^[A-Za-z_][A-Za-z0-9_]*$/.test(key)
|
|
79
|
-
? `${path}.${key}`
|
|
80
|
-
: `${path}[${JSON.stringify(key)}]`;
|
|
81
|
-
const keyIssues = COMPILER_MARKERS.filter((marker) => key.includes(marker)).map((marker) => ({ marker, path: childPath }));
|
|
82
|
-
return [...keyIssues, ...unresolvedCompilerMarkers(item, childPath)];
|
|
83
|
-
});
|
|
84
|
-
}
|
|
85
|
-
function originForUdlPath(path, origins) {
|
|
86
|
-
return ([...origins]
|
|
87
|
-
.filter((entry) => path === entry.path ||
|
|
88
|
-
path.startsWith(`${entry.path}.`) ||
|
|
89
|
-
path.startsWith(`${entry.path}[`))
|
|
90
|
-
.sort((left, right) => right.path.length - left.path.length)[0] ??
|
|
91
|
-
origins.find((entry) => entry.path === "$"));
|
|
92
|
-
}
|
|
93
|
-
export function requiredFields(instrument) {
|
|
94
|
-
const explicit = instrument.slots.required;
|
|
95
|
-
if (Array.isArray(explicit) &&
|
|
96
|
-
explicit.every((field) => typeof field === "string")) {
|
|
97
|
-
return [...explicit];
|
|
98
|
-
}
|
|
99
|
-
const required = new Set(instrument.fields
|
|
100
|
-
.filter((field) => field.required)
|
|
101
|
-
.map((field) => field.name));
|
|
102
|
-
const partyFields = instrument.slots.parties &&
|
|
103
|
-
typeof instrument.slots.parties === "object" &&
|
|
104
|
-
!Array.isArray(instrument.slots.parties)
|
|
105
|
-
? Object.values(instrument.slots.parties).filter((value) => typeof value === "string" && required.has(value))
|
|
106
|
-
: [];
|
|
107
|
-
return [
|
|
108
|
-
...new Set(partyFields),
|
|
109
|
-
...instrument.fields
|
|
110
|
-
.map((field) => field.name)
|
|
111
|
-
.filter((name) => required.has(name) && !partyFields.includes(name)),
|
|
112
|
-
];
|
|
113
|
-
}
|
|
114
|
-
function originMapFor(program) {
|
|
115
|
-
const entries = [{ path: "$", span: program.origin }];
|
|
116
|
-
program.subjects.forEach((subject, index) => {
|
|
117
|
-
entries.push({ path: `$.subjects[${index}]`, span: subject.origin });
|
|
118
|
-
});
|
|
119
|
-
program.instruments.forEach((instrument, index) => {
|
|
120
|
-
const base = `$.instruments[${index}]`;
|
|
121
|
-
entries.push({ path: base, span: instrument.origin });
|
|
122
|
-
instrument.fields.forEach((field) => {
|
|
123
|
-
entries.push({
|
|
124
|
-
path: `${base}.fields.${field.name}`,
|
|
125
|
-
span: field.origin,
|
|
126
|
-
});
|
|
127
|
-
});
|
|
128
|
-
instrument.actions.forEach((action) => {
|
|
129
|
-
entries.push({
|
|
130
|
-
path: `${base}.actions.${action.name}`,
|
|
131
|
-
span: action.origin,
|
|
132
|
-
});
|
|
133
|
-
});
|
|
134
|
-
});
|
|
135
|
-
return entries;
|
|
136
|
-
}
|
|
137
|
-
//# sourceMappingURL=emit.js.map
|
package/dist/src/emit.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"emit.js","sourceRoot":"","sources":["../../src/emit.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,WAAW,GAGZ,MAAM,kBAAkB,CAAC;AA4B1B,MAAM,UAAU,mBAAmB,CAAC,OAAqB;IACvD,MAAM,SAAS,GAAG;QAChB,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACpD,GAAG,UAAU,CAAC,KAAK;YACnB,WAAW,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;YAC5D,OAAO,EAAE,MAAM,CAAC,WAAW,CACzB,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAChE;YACD,MAAM,EAAE,MAAM,CAAC,WAAW,CACxB,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAC7D;YACD,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,QAAQ,EAAE,cAAc,CAAC,UAAU,CAAC;SACrC,CAAC,CAAC;QACH,OAAO,EAAE,OAAO,CAAC,IAAI;QACrB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC3C,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,OAAO,EAAE,OAAO,CAAC,OAAO;SACzB,CAAC,CAAC;QACH,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,GAAG,EAAE,CAAC;QACN,OAAO,EAAE,CAAC;KACX,CAAC;IACF,MAAM,UAAU,GAAG,yBAAyB,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,OAAO;YACL,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC5C,IAAI,EAAE,SAAS;gBACf,GAAG,EAAE,2DAA2D;gBAChE,OAAO,EAAE,GAAG,IAAI,uDAAuD,MAAM,EAAE;gBAC/E,IAAI;gBACJ,IAAI,EAAE,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,IAAI,OAAO,CAAC,MAAM;gBAC7D,OAAO,EAAE,SAAS;aACnB,CAAC,CAAC;YACH,EAAE,EAAE,KAAK;SACV,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnB,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACtC,OAAO;YACL,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBACtC,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACrD,OAAO;oBACL,IAAI,EAAE,KAAK,CAAC,QAAQ,KAAK,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;oBACpE,GAAG,EAAE,oEAAoE;oBACzE,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE;oBAC1C,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,MAAM,EAAE,IAAI,IAAI,OAAO,CAAC,MAAM;oBACpC,OAAO,EAAE,KAAK,CAAC,IAAI;iBACpB,CAAC;YACJ,CAAC,CAAC;YACF,EAAE,EAAE,KAAK;SACV,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC;IAClC,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACL,YAAY,EAAE,YAAY,CAAC,QAAQ,CAAC;YACpC,QAAQ;YACR,SAAS,EAAE,YAAY,CAAC,OAAO,CAAC;SACjC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,gBAAgB,GAAG,CAAC,cAAc,EAAE,2BAA2B,CAAU,CAAC;AAEhF,SAAS,yBAAyB,CAChC,KAAc,EACd,IAAI,GAAG,GAAG;IAEV,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,gBAAgB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CACpE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAC/B,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACnC,yBAAyB,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CACrD,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACnD,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE;QACnD,MAAM,SAAS,GAAG,0BAA0B,CAAC,IAAI,CAAC,GAAG,CAAC;YACpD,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE;YAClB,CAAC,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;QACtC,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CACnD,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CACrB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QACjD,OAAO,CAAC,GAAG,SAAS,EAAE,GAAG,yBAAyB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAY,EACZ,OAAkC;IAElC,OAAO,CACL,CAAC,GAAG,OAAO,CAAC;SACT,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,KAAK,KAAK,CAAC,IAAI;QACnB,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC;QACjC,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CACpC;SACA,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAC5C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,UAA2B;IACxD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;IAC3C,IACE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QACvB,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,EACrE,CAAC;QACD,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,UAAU,CAAC,MAAM;SACd,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;SACjC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAC9B,CAAC;IACF,MAAM,WAAW,GACf,UAAU,CAAC,KAAK,CAAC,OAAO;QACxB,OAAO,UAAU,CAAC,KAAK,CAAC,OAAO,KAAK,QAAQ;QAC5C,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QACtC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAC5C,CAAC,KAAK,EAAmB,EAAE,CACzB,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CACnD;QACH,CAAC,CAAC,EAAE,CAAC;IACT,OAAO;QACL,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC;QACvB,GAAG,UAAU,CAAC,MAAM;aACjB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;aAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,OAAqB;IACzC,MAAM,OAAO,GAAqB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACxE,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QAC1C,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;QAChD,MAAM,IAAI,GAAG,iBAAiB,KAAK,GAAG,CAAC;QACvC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QACtD,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAClC,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,GAAG,IAAI,WAAW,KAAK,CAAC,IAAI,EAAE;gBACpC,IAAI,EAAE,KAAK,CAAC,MAAM;aACnB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;YACpC,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,GAAG,IAAI,YAAY,MAAM,CAAC,IAAI,EAAE;gBACtC,IAAI,EAAE,MAAM,CAAC,MAAM;aACpB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC"}
|
|
@@ -1,58 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Data-driven replacement of existing settlement entries. This is not syntax:
|
|
3
|
-
* callers select a slot that already exists in the parsed program, replace its
|
|
4
|
-
* literal value, then run the ordinary general compiler again.
|
|
5
|
-
*/
|
|
6
|
-
import type { Program } from "./ast.ts";
|
|
7
|
-
export type ProgramEntryOverrideValue = {
|
|
8
|
-
readonly kind: "integer";
|
|
9
|
-
readonly value: number;
|
|
10
|
-
} | {
|
|
11
|
-
readonly kind: "basis_points";
|
|
12
|
-
readonly value: number;
|
|
13
|
-
} | {
|
|
14
|
-
readonly currency: string;
|
|
15
|
-
readonly kind: "money";
|
|
16
|
-
readonly value: number;
|
|
17
|
-
} | {
|
|
18
|
-
readonly kind: "duration";
|
|
19
|
-
readonly value: string;
|
|
20
|
-
};
|
|
21
|
-
export type ProgramEntryOverrideBounds = {
|
|
22
|
-
readonly max: number;
|
|
23
|
-
readonly min: number;
|
|
24
|
-
} | {
|
|
25
|
-
readonly currency: string;
|
|
26
|
-
readonly max: number;
|
|
27
|
-
readonly min: number;
|
|
28
|
-
} | {
|
|
29
|
-
readonly max: string;
|
|
30
|
-
readonly min: string;
|
|
31
|
-
};
|
|
32
|
-
export interface ProgramEntryOverride {
|
|
33
|
-
readonly bounds: ProgramEntryOverrideBounds;
|
|
34
|
-
readonly settlement: string;
|
|
35
|
-
/** Entry keys below the settlement body, for example `["fees", "merchant"]`. */
|
|
36
|
-
readonly path: readonly [string, ...string[]];
|
|
37
|
-
readonly value: ProgramEntryOverrideValue;
|
|
38
|
-
}
|
|
39
|
-
export interface ProgramEntryOverrideIssue {
|
|
40
|
-
readonly code: "invalid_bounds" | "invalid_target" | "invalid_value" | "missing_settlement";
|
|
41
|
-
readonly message: string;
|
|
42
|
-
readonly settlement: string;
|
|
43
|
-
readonly path: readonly string[];
|
|
44
|
-
}
|
|
45
|
-
type OverrideResult = {
|
|
46
|
-
readonly ok: true;
|
|
47
|
-
readonly program: Program;
|
|
48
|
-
} | {
|
|
49
|
-
readonly issues: readonly ProgramEntryOverrideIssue[];
|
|
50
|
-
readonly ok: false;
|
|
51
|
-
};
|
|
52
|
-
/**
|
|
53
|
-
* Applies every override atomically. A missing or non-literal slot returns
|
|
54
|
-
* issues and no program, so callers never lower a partially configured shape.
|
|
55
|
-
*/
|
|
56
|
-
export declare function overrideProgramEntries(program: Program, overrides: readonly ProgramEntryOverride[]): OverrideResult;
|
|
57
|
-
export {};
|
|
58
|
-
//# sourceMappingURL=entry-overrides.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"entry-overrides.d.ts","sourceRoot":"","sources":["../../src/entry-overrides.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAKV,OAAO,EACR,MAAM,UAAU,CAAC;AAElB,MAAM,MAAM,yBAAyB,GACjC;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACzD;IACE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1D,MAAM,MAAM,0BAA0B,GAClC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC9C;IACE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,GACD;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,gFAAgF;IAChF,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,yBAAyB,CAAC;CAC3C;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EACT,gBAAgB,GAChB,gBAAgB,GAChB,eAAe,GACf,oBAAoB,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC;AAED,KAAK,cAAc,GACf;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B,GACD;IACE,QAAQ,CAAC,MAAM,EAAE,SAAS,yBAAyB,EAAE,CAAC;IACtD,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;CACpB,CAAC;AAgTN;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,OAAO,EAChB,SAAS,EAAE,SAAS,oBAAoB,EAAE,GACzC,cAAc,CAwDhB"}
|
|
@@ -1,284 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Data-driven replacement of existing settlement entries. This is not syntax:
|
|
3
|
-
* callers select a slot that already exists in the parsed program, replace its
|
|
4
|
-
* literal value, then run the ordinary general compiler again.
|
|
5
|
-
*/
|
|
6
|
-
function percentRaw(bps) {
|
|
7
|
-
const whole = Math.floor(bps / 100);
|
|
8
|
-
const fraction = bps % 100;
|
|
9
|
-
return fraction === 0
|
|
10
|
-
? `${whole}`
|
|
11
|
-
: `${whole}.${String(fraction).padStart(2, "0").replace(/0$/, "")}`;
|
|
12
|
-
}
|
|
13
|
-
function durationMagnitude(value) {
|
|
14
|
-
const match = /^P([1-9][0-9]{0,3})([DWMY])$/.exec(value);
|
|
15
|
-
if (!match)
|
|
16
|
-
return undefined;
|
|
17
|
-
const amount = Number(match[1]);
|
|
18
|
-
switch (match[2]) {
|
|
19
|
-
case "D":
|
|
20
|
-
return { amount, family: "days" };
|
|
21
|
-
case "W":
|
|
22
|
-
return { amount: amount * 7, family: "days" };
|
|
23
|
-
case "M":
|
|
24
|
-
return { amount, family: "months" };
|
|
25
|
-
case "Y":
|
|
26
|
-
return { amount: amount * 12, family: "months" };
|
|
27
|
-
default:
|
|
28
|
-
return undefined;
|
|
29
|
-
}
|
|
30
|
-
}
|
|
31
|
-
function replacementExpr(current, value) {
|
|
32
|
-
if (value.kind === "integer") {
|
|
33
|
-
return current.kind === "number"
|
|
34
|
-
? {
|
|
35
|
-
expr: {
|
|
36
|
-
kind: "number",
|
|
37
|
-
raw: String(value.value),
|
|
38
|
-
span: current.span,
|
|
39
|
-
},
|
|
40
|
-
}
|
|
41
|
-
: { issue: "target is not an integer literal" };
|
|
42
|
-
}
|
|
43
|
-
if (value.kind === "basis_points") {
|
|
44
|
-
return current.kind === "percent"
|
|
45
|
-
? {
|
|
46
|
-
expr: {
|
|
47
|
-
bps: value.value,
|
|
48
|
-
kind: "percent",
|
|
49
|
-
raw: percentRaw(value.value),
|
|
50
|
-
span: current.span,
|
|
51
|
-
},
|
|
52
|
-
}
|
|
53
|
-
: { issue: "target is not a percentage literal" };
|
|
54
|
-
}
|
|
55
|
-
if (value.kind === "duration") {
|
|
56
|
-
return current.kind === "ident" && durationMagnitude(current.name)
|
|
57
|
-
? {
|
|
58
|
-
expr: { kind: "ident", name: value.value, span: current.span },
|
|
59
|
-
}
|
|
60
|
-
: { issue: "target is not an ISO-8601 duration literal" };
|
|
61
|
-
}
|
|
62
|
-
if (current.kind !== "binding" ||
|
|
63
|
-
current.type.kind !== "call" ||
|
|
64
|
-
current.type.callee.name !== "money" ||
|
|
65
|
-
current.type.args.length !== 2 ||
|
|
66
|
-
current.type.args[0]?.kind !== "ident" ||
|
|
67
|
-
current.type.args[1]?.kind !== "number") {
|
|
68
|
-
return { issue: "target is not a fixed money literal" };
|
|
69
|
-
}
|
|
70
|
-
if (current.type.args[0].name !== value.currency) {
|
|
71
|
-
return {
|
|
72
|
-
issue: `target currency ${current.type.args[0].name} does not match ${value.currency}`,
|
|
73
|
-
};
|
|
74
|
-
}
|
|
75
|
-
return {
|
|
76
|
-
expr: {
|
|
77
|
-
...current,
|
|
78
|
-
type: {
|
|
79
|
-
...current.type,
|
|
80
|
-
args: [
|
|
81
|
-
current.type.args[0],
|
|
82
|
-
{
|
|
83
|
-
kind: "number",
|
|
84
|
-
raw: String(value.value),
|
|
85
|
-
span: current.type.args[1].span,
|
|
86
|
-
},
|
|
87
|
-
],
|
|
88
|
-
},
|
|
89
|
-
},
|
|
90
|
-
};
|
|
91
|
-
}
|
|
92
|
-
function selectedEntry(block, path) {
|
|
93
|
-
const [head, ...tail] = path;
|
|
94
|
-
const matches = block.entries
|
|
95
|
-
.map((entry, index) => ({ entry, index }))
|
|
96
|
-
.filter(({ entry }) => entry.key.name === head);
|
|
97
|
-
if (matches.length === 0)
|
|
98
|
-
return { issue: `entry ${head} does not exist` };
|
|
99
|
-
if (matches.length === 1)
|
|
100
|
-
return { match: matches[0], tail };
|
|
101
|
-
const occurrence = Number(tail[0]);
|
|
102
|
-
if (!Number.isInteger(occurrence) || occurrence < 0) {
|
|
103
|
-
return { issue: `entry ${head} is ambiguous` };
|
|
104
|
-
}
|
|
105
|
-
const match = matches[occurrence];
|
|
106
|
-
return match
|
|
107
|
-
? { match, tail: tail.slice(1) }
|
|
108
|
-
: { issue: `entry ${head} occurrence ${occurrence} does not exist` };
|
|
109
|
-
}
|
|
110
|
-
function replaceEntry(block, path, value) {
|
|
111
|
-
const selected = selectedEntry(block, path);
|
|
112
|
-
if (!("match" in selected))
|
|
113
|
-
return selected;
|
|
114
|
-
const { match, tail } = selected;
|
|
115
|
-
let nextEntry;
|
|
116
|
-
if (tail.length === 0) {
|
|
117
|
-
const replacement = replacementExpr(match.entry.value, value);
|
|
118
|
-
if (!replacement.expr)
|
|
119
|
-
return replacement;
|
|
120
|
-
nextEntry = {
|
|
121
|
-
...match.entry,
|
|
122
|
-
value: replacement.expr,
|
|
123
|
-
};
|
|
124
|
-
}
|
|
125
|
-
else if (tail.length === 1 &&
|
|
126
|
-
tail[0] === "within" &&
|
|
127
|
-
match.entry.value.kind === "port_ref" &&
|
|
128
|
-
match.entry.value.within) {
|
|
129
|
-
const replacement = replacementExpr(match.entry.value.within, value);
|
|
130
|
-
if (!replacement.expr || replacement.expr.kind !== "ident") {
|
|
131
|
-
return replacement;
|
|
132
|
-
}
|
|
133
|
-
nextEntry = {
|
|
134
|
-
...match.entry,
|
|
135
|
-
value: { ...match.entry.value, within: replacement.expr },
|
|
136
|
-
};
|
|
137
|
-
}
|
|
138
|
-
else {
|
|
139
|
-
if (match.entry.value.kind !== "block") {
|
|
140
|
-
return { issue: `entry ${match.entry.key.name} is not a block` };
|
|
141
|
-
}
|
|
142
|
-
const nested = replaceEntry(match.entry.value, tail, value);
|
|
143
|
-
if (!nested.block)
|
|
144
|
-
return nested;
|
|
145
|
-
nextEntry = { ...match.entry, value: nested.block };
|
|
146
|
-
}
|
|
147
|
-
return {
|
|
148
|
-
block: {
|
|
149
|
-
...block,
|
|
150
|
-
entries: block.entries.map((entry, index) => index === match.index ? nextEntry : entry),
|
|
151
|
-
},
|
|
152
|
-
};
|
|
153
|
-
}
|
|
154
|
-
function settlementByName(program, name) {
|
|
155
|
-
return program.decls.find((decl) => decl.kind === "instrument_apply" && decl.name.name === name);
|
|
156
|
-
}
|
|
157
|
-
function applicationBody(settlement) {
|
|
158
|
-
return {
|
|
159
|
-
entries: settlement.application.args.flatMap((argument) => argument.kind === "binding"
|
|
160
|
-
? [
|
|
161
|
-
{
|
|
162
|
-
key: argument.name,
|
|
163
|
-
qualifiers: [],
|
|
164
|
-
span: argument.span,
|
|
165
|
-
value: argument.type,
|
|
166
|
-
},
|
|
167
|
-
]
|
|
168
|
-
: []),
|
|
169
|
-
kind: "block",
|
|
170
|
-
span: settlement.application.span,
|
|
171
|
-
};
|
|
172
|
-
}
|
|
173
|
-
function validateOverride(override) {
|
|
174
|
-
const { max, min } = override.bounds;
|
|
175
|
-
if (override.value.kind === "duration") {
|
|
176
|
-
if (typeof min !== "string" || typeof max !== "string") {
|
|
177
|
-
return issue(override, "invalid_bounds", "duration bounds must be ISO-8601 durations");
|
|
178
|
-
}
|
|
179
|
-
const minDuration = durationMagnitude(min);
|
|
180
|
-
const maxDuration = durationMagnitude(max);
|
|
181
|
-
if (!minDuration ||
|
|
182
|
-
!maxDuration ||
|
|
183
|
-
minDuration.family !== maxDuration.family ||
|
|
184
|
-
minDuration.amount > maxDuration.amount) {
|
|
185
|
-
return issue(override, "invalid_bounds", `duration bounds ${min}..${max} must be valid, comparable, and ordered`);
|
|
186
|
-
}
|
|
187
|
-
const value = durationMagnitude(override.value.value);
|
|
188
|
-
if (!value ||
|
|
189
|
-
value.family !== minDuration.family ||
|
|
190
|
-
value.amount < minDuration.amount ||
|
|
191
|
-
value.amount > maxDuration.amount) {
|
|
192
|
-
return issue(override, "invalid_value", `override value ${override.value.value} is outside ${min}..${max}`);
|
|
193
|
-
}
|
|
194
|
-
return undefined;
|
|
195
|
-
}
|
|
196
|
-
if (typeof min !== "number" || typeof max !== "number") {
|
|
197
|
-
return issue(override, "invalid_bounds", "numeric bounds must be finite nonnegative integers");
|
|
198
|
-
}
|
|
199
|
-
if (!Number.isFinite(min) ||
|
|
200
|
-
!Number.isInteger(min) ||
|
|
201
|
-
min < 0 ||
|
|
202
|
-
!Number.isFinite(max) ||
|
|
203
|
-
!Number.isInteger(max) ||
|
|
204
|
-
max < min) {
|
|
205
|
-
return issue(override, "invalid_bounds", `override bounds ${min}..${max} must be finite nonnegative integers with min at most max`);
|
|
206
|
-
}
|
|
207
|
-
const { value } = override.value;
|
|
208
|
-
if (!Number.isFinite(value) || !Number.isInteger(value) || value < 0) {
|
|
209
|
-
return issue(override, "invalid_value", `override value ${value} must be a finite nonnegative integer`);
|
|
210
|
-
}
|
|
211
|
-
if (value < min || value > max) {
|
|
212
|
-
return issue(override, "invalid_value", `override value ${value} is outside ${min}..${max}`);
|
|
213
|
-
}
|
|
214
|
-
if (override.value.kind === "money") {
|
|
215
|
-
const boundsCurrency = "currency" in override.bounds ? override.bounds.currency : undefined;
|
|
216
|
-
if (!boundsCurrency || boundsCurrency !== override.value.currency) {
|
|
217
|
-
return issue(override, "invalid_bounds", `money bounds must use currency ${override.value.currency}`);
|
|
218
|
-
}
|
|
219
|
-
}
|
|
220
|
-
}
|
|
221
|
-
function issue(override, code, message) {
|
|
222
|
-
return {
|
|
223
|
-
code,
|
|
224
|
-
message,
|
|
225
|
-
path: override.path,
|
|
226
|
-
settlement: override.settlement,
|
|
227
|
-
};
|
|
228
|
-
}
|
|
229
|
-
/**
|
|
230
|
-
* Applies every override atomically. A missing or non-literal slot returns
|
|
231
|
-
* issues and no program, so callers never lower a partially configured shape.
|
|
232
|
-
*/
|
|
233
|
-
export function overrideProgramEntries(program, overrides) {
|
|
234
|
-
let current = program;
|
|
235
|
-
const issues = [];
|
|
236
|
-
for (const override of overrides) {
|
|
237
|
-
const validationIssue = validateOverride(override);
|
|
238
|
-
if (validationIssue) {
|
|
239
|
-
issues.push(validationIssue);
|
|
240
|
-
continue;
|
|
241
|
-
}
|
|
242
|
-
const settlement = settlementByName(current, override.settlement);
|
|
243
|
-
if (!settlement) {
|
|
244
|
-
issues.push({
|
|
245
|
-
code: "missing_settlement",
|
|
246
|
-
message: `settlement ${override.settlement} does not exist`,
|
|
247
|
-
path: override.path,
|
|
248
|
-
settlement: override.settlement,
|
|
249
|
-
});
|
|
250
|
-
continue;
|
|
251
|
-
}
|
|
252
|
-
const replaced = replaceEntry(applicationBody(settlement), override.path, override.value);
|
|
253
|
-
if (!replaced.block) {
|
|
254
|
-
issues.push({
|
|
255
|
-
code: "invalid_target",
|
|
256
|
-
message: replaced.issue ?? "entry override failed",
|
|
257
|
-
path: override.path,
|
|
258
|
-
settlement: override.settlement,
|
|
259
|
-
});
|
|
260
|
-
continue;
|
|
261
|
-
}
|
|
262
|
-
current = {
|
|
263
|
-
...current,
|
|
264
|
-
decls: current.decls.map((decl) => decl === settlement
|
|
265
|
-
? {
|
|
266
|
-
...settlement,
|
|
267
|
-
application: {
|
|
268
|
-
...settlement.application,
|
|
269
|
-
args: replaced.block.entries.map((entry) => ({
|
|
270
|
-
kind: "binding",
|
|
271
|
-
name: entry.key,
|
|
272
|
-
span: entry.span,
|
|
273
|
-
type: entry.value,
|
|
274
|
-
})),
|
|
275
|
-
},
|
|
276
|
-
}
|
|
277
|
-
: decl),
|
|
278
|
-
};
|
|
279
|
-
}
|
|
280
|
-
return issues.length > 0
|
|
281
|
-
? { issues, ok: false }
|
|
282
|
-
: { ok: true, program: current };
|
|
283
|
-
}
|
|
284
|
-
//# sourceMappingURL=entry-overrides.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"entry-overrides.js","sourceRoot":"","sources":["../../src/entry-overrides.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AA0DH,SAAS,UAAU,CAAC,GAAW;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,GAAG,GAAG,GAAG,CAAC;IAC3B,OAAO,QAAQ,KAAK,CAAC;QACnB,CAAC,CAAC,GAAG,KAAK,EAAE;QACZ,CAAC,CAAC,GAAG,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAa;IAEb,MAAM,KAAK,GAAG,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,QAAQ,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACjB,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACpC,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAChD,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACtC,KAAK,GAAG;YACN,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACnD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,OAAa,EACb,KAAgC;IAEhC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;YAC9B,CAAC,CAAC;gBACE,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;oBACxB,IAAI,EAAE,OAAO,CAAC,IAAI;iBACnB;aACF;YACH,CAAC,CAAC,EAAE,KAAK,EAAE,kCAAkC,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAClC,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS;YAC/B,CAAC,CAAC;gBACE,IAAI,EAAE;oBACJ,GAAG,EAAE,KAAK,CAAC,KAAK;oBAChB,IAAI,EAAE,SAAS;oBACf,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;oBAC5B,IAAI,EAAE,OAAO,CAAC,IAAI;iBACnB;aACF;YACH,CAAC,CAAC,EAAE,KAAK,EAAE,oCAAoC,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,OAAO,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC;YAChE,CAAC,CAAC;gBACE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;aAC/D;YACH,CAAC,CAAC,EAAE,KAAK,EAAE,4CAA4C,EAAE,CAAC;IAC9D,CAAC;IACD,IACE,OAAO,CAAC,IAAI,KAAK,SAAS;QAC1B,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;QACpC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO;QACtC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,QAAQ,EACvC,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,qCAAqC,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACjD,OAAO;YACL,KAAK,EAAE,mBAAmB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,mBAAmB,KAAK,CAAC,QAAQ,EAAE;SACvF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE;YACJ,GAAG,OAAO;YACV,IAAI,EAAE;gBACJ,GAAG,OAAO,CAAC,IAAI;gBACf,IAAI,EAAE;oBACJ,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;oBACpB;wBACE,IAAI,EAAE,QAAQ;wBACd,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;wBACxB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;qBAChC;iBACF;aACF;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,KAAgB,EAChB,IAAuB;IAOvB,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO;SAC1B,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,SAAS,IAAI,iBAAiB,EAAE,CAAC;IAC3E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,CAAC;IAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,KAAK,EAAE,SAAS,IAAI,eAAe,EAAE,CAAC;IACjD,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAClC,OAAO,KAAK;QACV,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QAChC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,IAAI,eAAe,UAAU,iBAAiB,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,YAAY,CACnB,KAAgB,EAChB,IAAuB,EACvB,KAAgC;IAEhC,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC5C,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;IACjC,IAAI,SAAgB,CAAC;IACrB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9D,IAAI,CAAC,WAAW,CAAC,IAAI;YAAE,OAAO,WAAW,CAAC;QAC1C,SAAS,GAAG;YACV,GAAG,KAAK,CAAC,KAAK;YACd,KAAK,EAAE,WAAW,CAAC,IAAI;SACxB,CAAC;IACJ,CAAC;SAAM,IACL,IAAI,CAAC,MAAM,KAAK,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;QACpB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;QACrC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EACxB,CAAC;QACD,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrE,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3D,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,SAAS,GAAG;YACV,GAAG,KAAK,CAAC,KAAK;YACd,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE;SAC1D,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvC,OAAO,EAAE,KAAK,EAAE,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,iBAAiB,EAAE,CAAC;QACnE,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,CAAC,KAAK;YAAE,OAAO,MAAM,CAAC;QACjC,SAAS,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACtD,CAAC;IAED,OAAO;QACL,KAAK,EAAE;YACL,GAAG,KAAK;YACR,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC1C,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAC1C;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAgB,EAChB,IAAY;IAEZ,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CACvB,CAAC,IAAI,EAA+B,EAAE,CACpC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAC9D,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,UAA+B;IACtD,OAAO;QACL,OAAO,EAAE,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CACxD,QAAQ,CAAC,IAAI,KAAK,SAAS;YACzB,CAAC,CAAC;gBACE;oBACE,GAAG,EAAE,QAAQ,CAAC,IAAI;oBAClB,UAAU,EAAE,EAAE;oBACd,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,KAAK,EAAE,QAAQ,CAAC,IAAI;iBACrB;aACF;YACH,CAAC,CAAC,EAAE,CACP;QACD,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,IAAI;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,QAA8B;IAE9B,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC;IACrC,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACvC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YACvD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,4CAA4C,CAC7C,CAAC;QACJ,CAAC;QACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAC3C,IACE,CAAC,WAAW;YACZ,CAAC,WAAW;YACZ,WAAW,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;YACzC,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EACvC,CAAC;YACD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,mBAAmB,GAAG,KAAK,GAAG,yCAAyC,CACxE,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,IACE,CAAC,KAAK;YACN,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM;YACnC,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM;YACjC,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EACjC,CAAC;YACD,OAAO,KAAK,CACV,QAAQ,EACR,eAAe,EACf,kBAAkB,QAAQ,CAAC,KAAK,CAAC,KAAK,eAAe,GAAG,KAAK,GAAG,EAAE,CACnE,CAAC;QACJ,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACvD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,IACE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;QACtB,GAAG,GAAG,CAAC;QACP,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;QACtB,GAAG,GAAG,GAAG,EACT,CAAC;QACD,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,mBAAmB,GAAG,KAAK,GAAG,2DAA2D,CAC1F,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC;IACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACrE,OAAO,KAAK,CACV,QAAQ,EACR,eAAe,EACf,kBAAkB,KAAK,uCAAuC,CAC/D,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,GAAG,GAAG,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QAC/B,OAAO,KAAK,CACV,QAAQ,EACR,eAAe,EACf,kBAAkB,KAAK,eAAe,GAAG,KAAK,GAAG,EAAE,CACpD,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpC,MAAM,cAAc,GAClB,UAAU,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,IAAI,CAAC,cAAc,IAAI,cAAc,KAAK,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YAClE,OAAO,KAAK,CACV,QAAQ,EACR,gBAAgB,EAChB,kCAAkC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,CAC5D,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CACZ,QAA8B,EAC9B,IAAuC,EACvC,OAAe;IAEf,OAAO;QACL,IAAI;QACJ,OAAO;QACP,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,SAA0C;IAE1C,IAAI,OAAO,GAAG,OAAO,CAAC;IACtB,MAAM,MAAM,GAAgC,EAAE,CAAC;IAC/C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,eAAe,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QACnD,IAAI,eAAe,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;QAClE,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,cAAc,QAAQ,CAAC,UAAU,iBAAiB;gBAC3D,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;aAChC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,YAAY,CAC3B,eAAe,CAAC,UAAU,CAAC,EAC3B,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,KAAK,CACf,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,QAAQ,CAAC,KAAK,IAAI,uBAAuB;gBAClD,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,UAAU,EAAE,QAAQ,CAAC,UAAU;aAChC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,OAAO,GAAG;YACR,GAAG,OAAO;YACV,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAChC,IAAI,KAAK,UAAU;gBACjB,CAAC,CAAC;oBACE,GAAG,UAAU;oBACb,WAAW,EAAE;wBACX,GAAG,UAAU,CAAC,WAAW;wBACzB,IAAI,EAAE,QAAQ,CAAC,KAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;4BAC5C,IAAI,EAAE,SAAkB;4BACxB,IAAI,EAAE,KAAK,CAAC,GAAG;4BACf,IAAI,EAAE,KAAK,CAAC,IAAI;4BAChB,IAAI,EAAE,KAAK,CAAC,KAAK;yBAClB,CAAC,CAAC;qBACJ;iBACF;gBACH,CAAC,CAAC,IAAI,CACT;SACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC;QACtB,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE;QACvB,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACrC,CAAC"}
|