@hyperscale0/udl 2.0.4 → 2.1.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/CHANGELOG.md +16 -0
- package/README.md +15 -1
- package/conformance/invalid/call-binds-results.expected.json +10 -0
- package/conformance/invalid/call-binds-results.udl +314 -0
- package/conformance/invalid/call-unknown-action.expected.json +10 -0
- package/conformance/invalid/call-unknown-action.udl +314 -0
- package/conformance/invalid/leaf-effect-mismatch.expected.json +10 -0
- package/conformance/invalid/leaf-effect-mismatch.udl +314 -0
- package/conformance/invalid/piece-plan-without-partition.expected.json +10 -0
- package/conformance/invalid/piece-plan-without-partition.udl +305 -0
- package/conformance/invalid/private-action-independent-approval.expected.json +10 -0
- package/conformance/invalid/private-action-independent-approval.udl +314 -0
- package/conformance/invalid/unfund-order-not-reversed.expected.json +10 -0
- package/conformance/invalid/unfund-order-not-reversed.udl +314 -0
- package/conformance/valid/piece-plan-calls.expected.json +6 -0
- package/conformance/valid/piece-plan-calls.udl +314 -0
- package/dist/diagnostics.d.ts +36 -0
- package/dist/diagnostics.d.ts.map +1 -1
- package/dist/diagnostics.js +36 -0
- package/dist/diagnostics.js.map +1 -1
- package/dist/effects.d.ts +24 -3
- package/dist/effects.d.ts.map +1 -1
- package/dist/effects.js +906 -8
- package/dist/effects.js.map +1 -1
- package/dist/index.d.ts +2 -2
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -1
- package/dist/index.js.map +1 -1
- package/dist/limits.d.ts +2 -0
- package/dist/limits.d.ts.map +1 -1
- package/dist/limits.js +2 -0
- package/dist/limits.js.map +1 -1
- package/dist/schema.d.ts +594 -11
- package/dist/schema.d.ts.map +1 -1
- package/dist/schema.js +111 -1
- package/dist/schema.js.map +1 -1
- package/dist/validation.d.ts.map +1 -1
- package/dist/validation.js +289 -4
- package/dist/validation.js.map +1 -1
- package/docs/assets/brand/manifest.json +30 -0
- package/docs/assets/brand/udl-horizontal-white.svg +1 -0
- package/docs/assets/brand/udl-horizontal.svg +1 -0
- package/docs/assets/brand/udl-stacked-white.svg +1 -0
- package/docs/assets/brand/udl-stacked.svg +1 -0
- package/docs/assets/udl.svg +7 -14
- package/docs/llms-full.txt +199 -32
- package/docs/llms.txt +1 -1
- package/docs/reference/clauses.md +162 -1
- package/docs/reference/cli.md +1 -1
- package/docs/reference/diagnostics.md +38 -32
- package/package.json +2 -2
- package/spec/udl.schema.json +321 -1
- package/src/diagnostics.ts +36 -0
- package/src/effects.ts +1603 -9
- package/src/index.ts +15 -0
- package/src/limits.ts +2 -0
- package/src/schema.ts +149 -2
- package/src/validation.ts +469 -4
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
{
|
|
2
|
+
"releaseRevision": "7c80d03cced6a85395be53cdcf30bd3269dbd5b6",
|
|
3
|
+
"tag": "v0.2.0",
|
|
4
|
+
"assets": [
|
|
5
|
+
{
|
|
6
|
+
"source": "assets/exports/udl-horizontal.svg",
|
|
7
|
+
"destination": "udl-horizontal.svg",
|
|
8
|
+
"sourceSha256": "1b6715c8cbc809a0f881bfef033e55936b9ef1457eb7ea38999b1bb1f754300e",
|
|
9
|
+
"destinationSha256": "1b6715c8cbc809a0f881bfef033e55936b9ef1457eb7ea38999b1bb1f754300e"
|
|
10
|
+
},
|
|
11
|
+
{
|
|
12
|
+
"source": "assets/exports/udl-horizontal-white.svg",
|
|
13
|
+
"destination": "udl-horizontal-white.svg",
|
|
14
|
+
"sourceSha256": "385184bc72ac0c3708477b8048397b85821a9feb0319ee2772d21a2132920e13",
|
|
15
|
+
"destinationSha256": "385184bc72ac0c3708477b8048397b85821a9feb0319ee2772d21a2132920e13"
|
|
16
|
+
},
|
|
17
|
+
{
|
|
18
|
+
"source": "assets/exports/udl-stacked.svg",
|
|
19
|
+
"destination": "udl-stacked.svg",
|
|
20
|
+
"sourceSha256": "d72af2cc15c4979bc752157359713018790d8886cb8ad4680cf1d9eba5aaaf99",
|
|
21
|
+
"destinationSha256": "d72af2cc15c4979bc752157359713018790d8886cb8ad4680cf1d9eba5aaaf99"
|
|
22
|
+
},
|
|
23
|
+
{
|
|
24
|
+
"source": "assets/exports/udl-stacked-white.svg",
|
|
25
|
+
"destination": "udl-stacked-white.svg",
|
|
26
|
+
"sourceSha256": "2543b10e6cbe0a71194f93c216f98600ac63222f2f4402ceaddb4f316adca609",
|
|
27
|
+
"destinationSha256": "2543b10e6cbe0a71194f93c216f98600ac63222f2f4402ceaddb4f316adca609"
|
|
28
|
+
}
|
|
29
|
+
]
|
|
30
|
+
}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
<svg xmlns="http://www.w3.org/2000/svg" width="447.648" height="112" viewBox="0 0 447.648 112" color="#ffffff" fill="#ffffff" role="img" aria-label="Hyperscale UDL horizontal lockup"><g transform="translate(24 24) scale(2)" fill="none" stroke="#ffffff" stroke-width="0.8200000000000001" stroke-linecap="round" stroke-linejoin="round"><path d="M16 3.5L28.5 9.75V22.25L16 28.5L3.5 22.25V9.75Z"/><path d="M3.5 9.75L16 16L28.5 9.75"/><path d="M16 16V28.5"/><path d="M16 5L24 9V17L16 21L8 17V9Z"/><path d="M8 9L16 13L24 9"/><path d="M16 13V21"/><path d="M16 7L20 9V13L16 15L12 13V9Z"/><path d="M12 9L16 11L20 9"/><path d="M16 11V15"/></g><g transform="translate(104 68)"><path transform="translate(0 0) scale(0.032 -0.032)" d="M91 0V707H148V372H578V707H635V0H578V321H148V0Z"/><path transform="translate(24.992 0) scale(0.032 -0.032)" d="M269 0V266L18 707H86L298 324L510 707H575L326 267V0Z"/><path transform="translate(45.728 0) scale(0.032 -0.032)" d="M91 0V707H329Q406 707 460.5 682.5Q515 658 544.0 607.0Q573 556 573 477Q573 399 538.5 347.5Q504 296 444.5 270.0Q385 244 310 244H148V0ZM148 295H307Q400 295 457.0 339.5Q514 384 514 481Q514 573 464.0 614.0Q414 655 324 655H148Z"/><path transform="translate(67.52 0) scale(0.032 -0.032)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(88.64 0) scale(0.032 -0.032)" d="M91 0V707H351Q407 707 452.5 695.5Q498 684 530.5 659.0Q563 634 580.5 592.5Q598 551 598 492Q598 437 578.0 396.0Q558 355 520.0 328.0Q482 301 430 289L584 0H521L371 279H148V0ZM148 330H323Q365 330 404.0 336.5Q443 343 473.5 361.0Q504 379 521.5 411.5Q539 444 539 495Q540 557 514.5 592.0Q489 627 444.5 641.0Q400 655 341 655H148Z"/><path transform="translate(111.36 0) scale(0.032 -0.032)" d="M337 -8Q276 -8 219.5 8.0Q163 24 121.0 61.5Q79 99 61 161H123Q142 117 176.0 91.0Q210 65 252.5 53.5Q295 42 337 42Q384 42 427.0 56.5Q470 71 497.0 101.0Q524 131 524 180Q524 219 508.5 243.0Q493 267 466.5 281.5Q440 296 405 306Q379 314 352.0 320.5Q325 327 299.5 334.0Q274 341 251 349Q220 358 189.5 371.0Q159 384 135.5 404.0Q112 424 97.5 453.0Q83 482 83 524Q83 567 96.0 599.0Q109 631 133.0 653.0Q157 675 188.0 688.5Q219 702 254.5 708.5Q290 715 327 715Q384 715 433.5 699.0Q483 683 518.0 647.0Q553 611 562 550H504Q494 593 466.5 618.0Q439 643 402.0 654.0Q365 665 326 665Q295 665 263.0 658.5Q231 652 204.0 637.0Q177 622 160.0 596.5Q143 571 143 532Q143 493 159.5 468.0Q176 443 202.5 428.0Q229 413 262 402Q306 388 353.0 377.5Q400 367 442 353Q472 344 498.0 329.5Q524 315 543.0 295.0Q562 275 573.0 249.5Q584 224 584 192Q584 137 563.5 99.0Q543 61 508.0 37.0Q473 13 429.0 2.5Q385 -8 337 -8Z"/><path transform="translate(133.792 0) scale(0.032 -0.032)" d="M375 -8Q265 -8 193.5 39.0Q122 86 87.0 167.5Q52 249 52 353Q52 456 87.5 537.5Q123 619 195.5 667.0Q268 715 378 715Q442 715 495.5 696.0Q549 677 586.5 640.0Q624 603 642 546H583Q559 605 504.5 635.0Q450 665 379 665Q286 665 226.5 622.0Q167 579 138.5 509.0Q110 439 110 355Q110 271 138.0 199.5Q166 128 225.5 85.0Q285 42 377 42Q423 42 466.0 55.0Q509 68 542.0 95.0Q575 122 590 161H655Q635 106 593.5 68.0Q552 30 496.0 11.0Q440 -8 375 -8Z"/><path transform="translate(157.984 0) scale(0.032 -0.032)" d="M14 0 287 707H360L635 0H571L509 159H138L77 0ZM157 210H490L324 648Z"/><path transform="translate(180.512 0) scale(0.032 -0.032)" d="M91 0V707H148V52H553V0Z"/><path transform="translate(200.512 0) scale(0.032 -0.032)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(222.432 -7.68) scale(0.024 -0.024)" d="M318 445V707H414L466 592L518 707H613V445H550V643L484 499H447L381 643V445ZM144 445V648H59V707H294V648H208V445Z"/><g transform="translate(254.56 0)"><path transform="translate(0 0) scale(0.032 -0.032)" d="M365 -8Q265 -8 201.5 32.5Q138 73 108.0 144.0Q78 215 78 309V707H184V308Q184 249 201.0 199.0Q218 149 258.0 119.0Q298 89 366 89Q435 89 474.0 119.0Q513 149 529.0 199.0Q545 249 545 308V707H652V309Q652 216 622.0 144.5Q592 73 529.0 32.5Q466 -8 365 -8Z"/><path transform="translate(23.36 0) scale(0.032 -0.032)" d="M83 0V707H339Q450 707 525.5 663.5Q601 620 639.5 540.5Q678 461 678 353Q678 246 640.0 166.5Q602 87 526.5 43.5Q451 0 340 0ZM189 96H335Q417 96 469.0 129.0Q521 162 546.0 219.5Q571 277 571 353Q571 427 546.5 485.0Q522 543 470.5 577.0Q419 611 338 611H189Z"/><path transform="translate(46.496 0) scale(0.032 -0.032)" d="M83 0V707H189V97H567V0Z"/></g></g></svg>
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
<svg xmlns="http://www.w3.org/2000/svg" width="447.648" height="112" viewBox="0 0 447.648 112" color="#2d4bf2" fill="#171717" role="img" aria-label="Hyperscale UDL horizontal lockup"><g transform="translate(24 24) scale(2)" fill="none" stroke="#2d4bf2" stroke-width="0.8200000000000001" stroke-linecap="round" stroke-linejoin="round"><path d="M16 3.5L28.5 9.75V22.25L16 28.5L3.5 22.25V9.75Z"/><path d="M3.5 9.75L16 16L28.5 9.75"/><path d="M16 16V28.5"/><path d="M16 5L24 9V17L16 21L8 17V9Z"/><path d="M8 9L16 13L24 9"/><path d="M16 13V21"/><path d="M16 7L20 9V13L16 15L12 13V9Z"/><path d="M12 9L16 11L20 9"/><path d="M16 11V15"/></g><g transform="translate(104 68)"><path transform="translate(0 0) scale(0.032 -0.032)" d="M91 0V707H148V372H578V707H635V0H578V321H148V0Z"/><path transform="translate(24.992 0) scale(0.032 -0.032)" d="M269 0V266L18 707H86L298 324L510 707H575L326 267V0Z"/><path transform="translate(45.728 0) scale(0.032 -0.032)" d="M91 0V707H329Q406 707 460.5 682.5Q515 658 544.0 607.0Q573 556 573 477Q573 399 538.5 347.5Q504 296 444.5 270.0Q385 244 310 244H148V0ZM148 295H307Q400 295 457.0 339.5Q514 384 514 481Q514 573 464.0 614.0Q414 655 324 655H148Z"/><path transform="translate(67.52 0) scale(0.032 -0.032)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(88.64 0) scale(0.032 -0.032)" d="M91 0V707H351Q407 707 452.5 695.5Q498 684 530.5 659.0Q563 634 580.5 592.5Q598 551 598 492Q598 437 578.0 396.0Q558 355 520.0 328.0Q482 301 430 289L584 0H521L371 279H148V0ZM148 330H323Q365 330 404.0 336.5Q443 343 473.5 361.0Q504 379 521.5 411.5Q539 444 539 495Q540 557 514.5 592.0Q489 627 444.5 641.0Q400 655 341 655H148Z"/><path transform="translate(111.36 0) scale(0.032 -0.032)" d="M337 -8Q276 -8 219.5 8.0Q163 24 121.0 61.5Q79 99 61 161H123Q142 117 176.0 91.0Q210 65 252.5 53.5Q295 42 337 42Q384 42 427.0 56.5Q470 71 497.0 101.0Q524 131 524 180Q524 219 508.5 243.0Q493 267 466.5 281.5Q440 296 405 306Q379 314 352.0 320.5Q325 327 299.5 334.0Q274 341 251 349Q220 358 189.5 371.0Q159 384 135.5 404.0Q112 424 97.5 453.0Q83 482 83 524Q83 567 96.0 599.0Q109 631 133.0 653.0Q157 675 188.0 688.5Q219 702 254.5 708.5Q290 715 327 715Q384 715 433.5 699.0Q483 683 518.0 647.0Q553 611 562 550H504Q494 593 466.5 618.0Q439 643 402.0 654.0Q365 665 326 665Q295 665 263.0 658.5Q231 652 204.0 637.0Q177 622 160.0 596.5Q143 571 143 532Q143 493 159.5 468.0Q176 443 202.5 428.0Q229 413 262 402Q306 388 353.0 377.5Q400 367 442 353Q472 344 498.0 329.5Q524 315 543.0 295.0Q562 275 573.0 249.5Q584 224 584 192Q584 137 563.5 99.0Q543 61 508.0 37.0Q473 13 429.0 2.5Q385 -8 337 -8Z"/><path transform="translate(133.792 0) scale(0.032 -0.032)" d="M375 -8Q265 -8 193.5 39.0Q122 86 87.0 167.5Q52 249 52 353Q52 456 87.5 537.5Q123 619 195.5 667.0Q268 715 378 715Q442 715 495.5 696.0Q549 677 586.5 640.0Q624 603 642 546H583Q559 605 504.5 635.0Q450 665 379 665Q286 665 226.5 622.0Q167 579 138.5 509.0Q110 439 110 355Q110 271 138.0 199.5Q166 128 225.5 85.0Q285 42 377 42Q423 42 466.0 55.0Q509 68 542.0 95.0Q575 122 590 161H655Q635 106 593.5 68.0Q552 30 496.0 11.0Q440 -8 375 -8Z"/><path transform="translate(157.984 0) scale(0.032 -0.032)" d="M14 0 287 707H360L635 0H571L509 159H138L77 0ZM157 210H490L324 648Z"/><path transform="translate(180.512 0) scale(0.032 -0.032)" d="M91 0V707H148V52H553V0Z"/><path transform="translate(200.512 0) scale(0.032 -0.032)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(222.432 -7.68) scale(0.024 -0.024)" d="M318 445V707H414L466 592L518 707H613V445H550V643L484 499H447L381 643V445ZM144 445V648H59V707H294V648H208V445Z"/><g transform="translate(254.56 0)"><path transform="translate(0 0) scale(0.032 -0.032)" d="M365 -8Q265 -8 201.5 32.5Q138 73 108.0 144.0Q78 215 78 309V707H184V308Q184 249 201.0 199.0Q218 149 258.0 119.0Q298 89 366 89Q435 89 474.0 119.0Q513 149 529.0 199.0Q545 249 545 308V707H652V309Q652 216 622.0 144.5Q592 73 529.0 32.5Q466 -8 365 -8Z"/><path transform="translate(23.36 0) scale(0.032 -0.032)" d="M83 0V707H339Q450 707 525.5 663.5Q601 620 639.5 540.5Q678 461 678 353Q678 246 640.0 166.5Q602 87 526.5 43.5Q451 0 340 0ZM189 96H335Q417 96 469.0 129.0Q521 162 546.0 219.5Q571 277 571 353Q571 427 546.5 485.0Q522 543 470.5 577.0Q419 611 338 611H189Z"/><path transform="translate(46.496 0) scale(0.032 -0.032)" d="M83 0V707H189V97H567V0Z"/></g></g></svg>
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
<svg xmlns="http://www.w3.org/2000/svg" width="226.92" height="184" viewBox="0 0 226.92 184" color="#ffffff" fill="#ffffff" role="img" aria-label="Hyperscale UDL stacked lockup"><g transform="translate(81.46 24) scale(2)" fill="none" stroke="#ffffff" stroke-width="0.8200000000000001" stroke-linecap="round" stroke-linejoin="round"><path d="M16 3.5L28.5 9.75V22.25L16 28.5L3.5 22.25V9.75Z"/><path d="M3.5 9.75L16 16L28.5 9.75"/><path d="M16 16V28.5"/><path d="M16 5L24 9V17L16 21L8 17V9Z"/><path d="M8 9L16 13L24 9"/><path d="M16 13V21"/><path d="M16 7L20 9V13L16 15L12 13V9Z"/><path d="M12 9L16 11L20 9"/><path d="M16 11V15"/></g><g transform="translate(24 128)"><path transform="translate(0 0) scale(0.024 -0.024)" d="M91 0V707H148V372H578V707H635V0H578V321H148V0Z"/><path transform="translate(18.744 0) scale(0.024 -0.024)" d="M269 0V266L18 707H86L298 324L510 707H575L326 267V0Z"/><path transform="translate(34.296 0) scale(0.024 -0.024)" d="M91 0V707H329Q406 707 460.5 682.5Q515 658 544.0 607.0Q573 556 573 477Q573 399 538.5 347.5Q504 296 444.5 270.0Q385 244 310 244H148V0ZM148 295H307Q400 295 457.0 339.5Q514 384 514 481Q514 573 464.0 614.0Q414 655 324 655H148Z"/><path transform="translate(50.64 0) scale(0.024 -0.024)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(66.48 0) scale(0.024 -0.024)" d="M91 0V707H351Q407 707 452.5 695.5Q498 684 530.5 659.0Q563 634 580.5 592.5Q598 551 598 492Q598 437 578.0 396.0Q558 355 520.0 328.0Q482 301 430 289L584 0H521L371 279H148V0ZM148 330H323Q365 330 404.0 336.5Q443 343 473.5 361.0Q504 379 521.5 411.5Q539 444 539 495Q540 557 514.5 592.0Q489 627 444.5 641.0Q400 655 341 655H148Z"/><path transform="translate(83.52 0) scale(0.024 -0.024)" d="M337 -8Q276 -8 219.5 8.0Q163 24 121.0 61.5Q79 99 61 161H123Q142 117 176.0 91.0Q210 65 252.5 53.5Q295 42 337 42Q384 42 427.0 56.5Q470 71 497.0 101.0Q524 131 524 180Q524 219 508.5 243.0Q493 267 466.5 281.5Q440 296 405 306Q379 314 352.0 320.5Q325 327 299.5 334.0Q274 341 251 349Q220 358 189.5 371.0Q159 384 135.5 404.0Q112 424 97.5 453.0Q83 482 83 524Q83 567 96.0 599.0Q109 631 133.0 653.0Q157 675 188.0 688.5Q219 702 254.5 708.5Q290 715 327 715Q384 715 433.5 699.0Q483 683 518.0 647.0Q553 611 562 550H504Q494 593 466.5 618.0Q439 643 402.0 654.0Q365 665 326 665Q295 665 263.0 658.5Q231 652 204.0 637.0Q177 622 160.0 596.5Q143 571 143 532Q143 493 159.5 468.0Q176 443 202.5 428.0Q229 413 262 402Q306 388 353.0 377.5Q400 367 442 353Q472 344 498.0 329.5Q524 315 543.0 295.0Q562 275 573.0 249.5Q584 224 584 192Q584 137 563.5 99.0Q543 61 508.0 37.0Q473 13 429.0 2.5Q385 -8 337 -8Z"/><path transform="translate(100.344 0) scale(0.024 -0.024)" d="M375 -8Q265 -8 193.5 39.0Q122 86 87.0 167.5Q52 249 52 353Q52 456 87.5 537.5Q123 619 195.5 667.0Q268 715 378 715Q442 715 495.5 696.0Q549 677 586.5 640.0Q624 603 642 546H583Q559 605 504.5 635.0Q450 665 379 665Q286 665 226.5 622.0Q167 579 138.5 509.0Q110 439 110 355Q110 271 138.0 199.5Q166 128 225.5 85.0Q285 42 377 42Q423 42 466.0 55.0Q509 68 542.0 95.0Q575 122 590 161H655Q635 106 593.5 68.0Q552 30 496.0 11.0Q440 -8 375 -8Z"/><path transform="translate(118.488 0) scale(0.024 -0.024)" d="M14 0 287 707H360L635 0H571L509 159H138L77 0ZM157 210H490L324 648Z"/><path transform="translate(135.384 0) scale(0.024 -0.024)" d="M91 0V707H148V52H553V0Z"/><path transform="translate(150.384 0) scale(0.024 -0.024)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(166.824 -5.76) scale(0.018 -0.018)" d="M318 445V707H414L466 592L518 707H613V445H550V643L484 499H447L381 643V445ZM144 445V648H59V707H294V648H208V445Z"/></g><g transform="translate(89.052 160)"><path transform="translate(0 0) scale(0.024 -0.024)" d="M365 -8Q265 -8 201.5 32.5Q138 73 108.0 144.0Q78 215 78 309V707H184V308Q184 249 201.0 199.0Q218 149 258.0 119.0Q298 89 366 89Q435 89 474.0 119.0Q513 149 529.0 199.0Q545 249 545 308V707H652V309Q652 216 622.0 144.5Q592 73 529.0 32.5Q466 -8 365 -8Z"/><path transform="translate(17.52 0) scale(0.024 -0.024)" d="M83 0V707H339Q450 707 525.5 663.5Q601 620 639.5 540.5Q678 461 678 353Q678 246 640.0 166.5Q602 87 526.5 43.5Q451 0 340 0ZM189 96H335Q417 96 469.0 129.0Q521 162 546.0 219.5Q571 277 571 353Q571 427 546.5 485.0Q522 543 470.5 577.0Q419 611 338 611H189Z"/><path transform="translate(34.872 0) scale(0.024 -0.024)" d="M83 0V707H189V97H567V0Z"/></g></svg>
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
<svg xmlns="http://www.w3.org/2000/svg" width="226.92" height="184" viewBox="0 0 226.92 184" color="#2d4bf2" fill="#171717" role="img" aria-label="Hyperscale UDL stacked lockup"><g transform="translate(81.46 24) scale(2)" fill="none" stroke="#2d4bf2" stroke-width="0.8200000000000001" stroke-linecap="round" stroke-linejoin="round"><path d="M16 3.5L28.5 9.75V22.25L16 28.5L3.5 22.25V9.75Z"/><path d="M3.5 9.75L16 16L28.5 9.75"/><path d="M16 16V28.5"/><path d="M16 5L24 9V17L16 21L8 17V9Z"/><path d="M8 9L16 13L24 9"/><path d="M16 13V21"/><path d="M16 7L20 9V13L16 15L12 13V9Z"/><path d="M12 9L16 11L20 9"/><path d="M16 11V15"/></g><g transform="translate(24 128)"><path transform="translate(0 0) scale(0.024 -0.024)" d="M91 0V707H148V372H578V707H635V0H578V321H148V0Z"/><path transform="translate(18.744 0) scale(0.024 -0.024)" d="M269 0V266L18 707H86L298 324L510 707H575L326 267V0Z"/><path transform="translate(34.296 0) scale(0.024 -0.024)" d="M91 0V707H329Q406 707 460.5 682.5Q515 658 544.0 607.0Q573 556 573 477Q573 399 538.5 347.5Q504 296 444.5 270.0Q385 244 310 244H148V0ZM148 295H307Q400 295 457.0 339.5Q514 384 514 481Q514 573 464.0 614.0Q414 655 324 655H148Z"/><path transform="translate(50.64 0) scale(0.024 -0.024)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(66.48 0) scale(0.024 -0.024)" d="M91 0V707H351Q407 707 452.5 695.5Q498 684 530.5 659.0Q563 634 580.5 592.5Q598 551 598 492Q598 437 578.0 396.0Q558 355 520.0 328.0Q482 301 430 289L584 0H521L371 279H148V0ZM148 330H323Q365 330 404.0 336.5Q443 343 473.5 361.0Q504 379 521.5 411.5Q539 444 539 495Q540 557 514.5 592.0Q489 627 444.5 641.0Q400 655 341 655H148Z"/><path transform="translate(83.52 0) scale(0.024 -0.024)" d="M337 -8Q276 -8 219.5 8.0Q163 24 121.0 61.5Q79 99 61 161H123Q142 117 176.0 91.0Q210 65 252.5 53.5Q295 42 337 42Q384 42 427.0 56.5Q470 71 497.0 101.0Q524 131 524 180Q524 219 508.5 243.0Q493 267 466.5 281.5Q440 296 405 306Q379 314 352.0 320.5Q325 327 299.5 334.0Q274 341 251 349Q220 358 189.5 371.0Q159 384 135.5 404.0Q112 424 97.5 453.0Q83 482 83 524Q83 567 96.0 599.0Q109 631 133.0 653.0Q157 675 188.0 688.5Q219 702 254.5 708.5Q290 715 327 715Q384 715 433.5 699.0Q483 683 518.0 647.0Q553 611 562 550H504Q494 593 466.5 618.0Q439 643 402.0 654.0Q365 665 326 665Q295 665 263.0 658.5Q231 652 204.0 637.0Q177 622 160.0 596.5Q143 571 143 532Q143 493 159.5 468.0Q176 443 202.5 428.0Q229 413 262 402Q306 388 353.0 377.5Q400 367 442 353Q472 344 498.0 329.5Q524 315 543.0 295.0Q562 275 573.0 249.5Q584 224 584 192Q584 137 563.5 99.0Q543 61 508.0 37.0Q473 13 429.0 2.5Q385 -8 337 -8Z"/><path transform="translate(100.344 0) scale(0.024 -0.024)" d="M375 -8Q265 -8 193.5 39.0Q122 86 87.0 167.5Q52 249 52 353Q52 456 87.5 537.5Q123 619 195.5 667.0Q268 715 378 715Q442 715 495.5 696.0Q549 677 586.5 640.0Q624 603 642 546H583Q559 605 504.5 635.0Q450 665 379 665Q286 665 226.5 622.0Q167 579 138.5 509.0Q110 439 110 355Q110 271 138.0 199.5Q166 128 225.5 85.0Q285 42 377 42Q423 42 466.0 55.0Q509 68 542.0 95.0Q575 122 590 161H655Q635 106 593.5 68.0Q552 30 496.0 11.0Q440 -8 375 -8Z"/><path transform="translate(118.488 0) scale(0.024 -0.024)" d="M14 0 287 707H360L635 0H571L509 159H138L77 0ZM157 210H490L324 648Z"/><path transform="translate(135.384 0) scale(0.024 -0.024)" d="M91 0V707H148V52H553V0Z"/><path transform="translate(150.384 0) scale(0.024 -0.024)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(166.824 -5.76) scale(0.018 -0.018)" d="M318 445V707H414L466 592L518 707H613V445H550V643L484 499H447L381 643V445ZM144 445V648H59V707H294V648H208V445Z"/></g><g transform="translate(89.052 160)"><path transform="translate(0 0) scale(0.024 -0.024)" d="M365 -8Q265 -8 201.5 32.5Q138 73 108.0 144.0Q78 215 78 309V707H184V308Q184 249 201.0 199.0Q218 149 258.0 119.0Q298 89 366 89Q435 89 474.0 119.0Q513 149 529.0 199.0Q545 249 545 308V707H652V309Q652 216 622.0 144.5Q592 73 529.0 32.5Q466 -8 365 -8Z"/><path transform="translate(17.52 0) scale(0.024 -0.024)" d="M83 0V707H339Q450 707 525.5 663.5Q601 620 639.5 540.5Q678 461 678 353Q678 246 640.0 166.5Q602 87 526.5 43.5Q451 0 340 0ZM189 96H335Q417 96 469.0 129.0Q521 162 546.0 219.5Q571 277 571 353Q571 427 546.5 485.0Q522 543 470.5 577.0Q419 611 338 611H189Z"/><path transform="translate(34.872 0) scale(0.024 -0.024)" d="M83 0V707H189V97H567V0Z"/></g></svg>
|
package/docs/assets/udl.svg
CHANGED
|
@@ -1,18 +1,11 @@
|
|
|
1
1
|
<svg xmlns="http://www.w3.org/2000/svg" width="1200" height="360" viewBox="0 0 1200 360" role="img" aria-labelledby="title desc">
|
|
2
|
-
<title id="title">UDL</title>
|
|
2
|
+
<title id="title">Hyperscale™ UDL documentation</title>
|
|
3
3
|
<desc id="desc">The contract between a product and its engine.</desc>
|
|
4
|
-
<rect width="1200" height="360" fill="#
|
|
5
|
-
<
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
<text x="72" y="86" fill="#a3a3a3" font-size="14" letter-spacing="2">HYPERSCALE / DOCUMENTATION</text>
|
|
9
|
-
<text x="44" y="194" fill="#ffffff" font-size="76" letter-spacing="-4">UDL</text>
|
|
10
|
-
<text x="48" y="243" fill="#a3a3a3" font-size="20">The contract between a product and its engine.</text>
|
|
11
|
-
<text x="48" y="334" fill="#a3a3a3" font-size="12" letter-spacing="2">SUBJECTS / INSTRUMENTS / MONEY</text>
|
|
12
|
-
<text x="991" y="279" fill="#a3a3a3" font-size="12">SOURCE → CONTRACT</text>
|
|
13
|
-
</g>
|
|
14
|
-
<g fill="none" stroke="#2f7dff" stroke-width="2">
|
|
15
|
-
<path d="M990 110H1058V178H1126V246H1058V178H990Z"/>
|
|
16
|
-
<path d="M1058 110H1126V178H1058"/>
|
|
4
|
+
<rect width="1200" height="360" fill="#ffffff"/>
|
|
5
|
+
<g fill="#171717" font-family="Arial, Helvetica, sans-serif">
|
|
6
|
+
<text x="48" y="62" font-size="20">Technical documentation</text>
|
|
7
|
+
<text x="48" y="280" font-size="28">The contract between a product and its engine</text>
|
|
17
8
|
</g>
|
|
9
|
+
<svg x="24" y="94" xmlns="http://www.w3.org/2000/svg" width="447.648" height="112" viewBox="0 0 447.648 112" color="#2d4bf2" fill="#171717" role="img" aria-label="Hyperscale UDL horizontal lockup"><g transform="translate(24 24) scale(2)" fill="none" stroke="#2d4bf2" stroke-width="0.8200000000000001" stroke-linecap="round" stroke-linejoin="round"><path d="M16 3.5L28.5 9.75V22.25L16 28.5L3.5 22.25V9.75Z"/><path d="M3.5 9.75L16 16L28.5 9.75"/><path d="M16 16V28.5"/><path d="M16 5L24 9V17L16 21L8 17V9Z"/><path d="M8 9L16 13L24 9"/><path d="M16 13V21"/><path d="M16 7L20 9V13L16 15L12 13V9Z"/><path d="M12 9L16 11L20 9"/><path d="M16 11V15"/></g><g transform="translate(104 68)"><path transform="translate(0 0) scale(0.032 -0.032)" d="M91 0V707H148V372H578V707H635V0H578V321H148V0Z"/><path transform="translate(24.992 0) scale(0.032 -0.032)" d="M269 0V266L18 707H86L298 324L510 707H575L326 267V0Z"/><path transform="translate(45.728 0) scale(0.032 -0.032)" d="M91 0V707H329Q406 707 460.5 682.5Q515 658 544.0 607.0Q573 556 573 477Q573 399 538.5 347.5Q504 296 444.5 270.0Q385 244 310 244H148V0ZM148 295H307Q400 295 457.0 339.5Q514 384 514 481Q514 573 464.0 614.0Q414 655 324 655H148Z"/><path transform="translate(67.52 0) scale(0.032 -0.032)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(88.64 0) scale(0.032 -0.032)" d="M91 0V707H351Q407 707 452.5 695.5Q498 684 530.5 659.0Q563 634 580.5 592.5Q598 551 598 492Q598 437 578.0 396.0Q558 355 520.0 328.0Q482 301 430 289L584 0H521L371 279H148V0ZM148 330H323Q365 330 404.0 336.5Q443 343 473.5 361.0Q504 379 521.5 411.5Q539 444 539 495Q540 557 514.5 592.0Q489 627 444.5 641.0Q400 655 341 655H148Z"/><path transform="translate(111.36 0) scale(0.032 -0.032)" d="M337 -8Q276 -8 219.5 8.0Q163 24 121.0 61.5Q79 99 61 161H123Q142 117 176.0 91.0Q210 65 252.5 53.5Q295 42 337 42Q384 42 427.0 56.5Q470 71 497.0 101.0Q524 131 524 180Q524 219 508.5 243.0Q493 267 466.5 281.5Q440 296 405 306Q379 314 352.0 320.5Q325 327 299.5 334.0Q274 341 251 349Q220 358 189.5 371.0Q159 384 135.5 404.0Q112 424 97.5 453.0Q83 482 83 524Q83 567 96.0 599.0Q109 631 133.0 653.0Q157 675 188.0 688.5Q219 702 254.5 708.5Q290 715 327 715Q384 715 433.5 699.0Q483 683 518.0 647.0Q553 611 562 550H504Q494 593 466.5 618.0Q439 643 402.0 654.0Q365 665 326 665Q295 665 263.0 658.5Q231 652 204.0 637.0Q177 622 160.0 596.5Q143 571 143 532Q143 493 159.5 468.0Q176 443 202.5 428.0Q229 413 262 402Q306 388 353.0 377.5Q400 367 442 353Q472 344 498.0 329.5Q524 315 543.0 295.0Q562 275 573.0 249.5Q584 224 584 192Q584 137 563.5 99.0Q543 61 508.0 37.0Q473 13 429.0 2.5Q385 -8 337 -8Z"/><path transform="translate(133.792 0) scale(0.032 -0.032)" d="M375 -8Q265 -8 193.5 39.0Q122 86 87.0 167.5Q52 249 52 353Q52 456 87.5 537.5Q123 619 195.5 667.0Q268 715 378 715Q442 715 495.5 696.0Q549 677 586.5 640.0Q624 603 642 546H583Q559 605 504.5 635.0Q450 665 379 665Q286 665 226.5 622.0Q167 579 138.5 509.0Q110 439 110 355Q110 271 138.0 199.5Q166 128 225.5 85.0Q285 42 377 42Q423 42 466.0 55.0Q509 68 542.0 95.0Q575 122 590 161H655Q635 106 593.5 68.0Q552 30 496.0 11.0Q440 -8 375 -8Z"/><path transform="translate(157.984 0) scale(0.032 -0.032)" d="M14 0 287 707H360L635 0H571L509 159H138L77 0ZM157 210H490L324 648Z"/><path transform="translate(180.512 0) scale(0.032 -0.032)" d="M91 0V707H148V52H553V0Z"/><path transform="translate(200.512 0) scale(0.032 -0.032)" d="M91 0V707H553V655H148V377H512V325H148V52H553V0Z"/><path transform="translate(222.432 -7.68) scale(0.024 -0.024)" d="M318 445V707H414L466 592L518 707H613V445H550V643L484 499H447L381 643V445ZM144 445V648H59V707H294V648H208V445Z"/><g transform="translate(254.56 0)"><path transform="translate(0 0) scale(0.032 -0.032)" d="M365 -8Q265 -8 201.5 32.5Q138 73 108.0 144.0Q78 215 78 309V707H184V308Q184 249 201.0 199.0Q218 149 258.0 119.0Q298 89 366 89Q435 89 474.0 119.0Q513 149 529.0 199.0Q545 249 545 308V707H652V309Q652 216 622.0 144.5Q592 73 529.0 32.5Q466 -8 365 -8Z"/><path transform="translate(23.36 0) scale(0.032 -0.032)" d="M83 0V707H339Q450 707 525.5 663.5Q601 620 639.5 540.5Q678 461 678 353Q678 246 640.0 166.5Q602 87 526.5 43.5Q451 0 340 0ZM189 96H335Q417 96 469.0 129.0Q521 162 546.0 219.5Q571 277 571 353Q571 427 546.5 485.0Q522 543 470.5 577.0Q419 611 338 611H189Z"/><path transform="translate(46.496 0) scale(0.032 -0.032)" d="M83 0V707H189V97H567V0Z"/></g></g></svg>
|
|
10
|
+
|
|
18
11
|
</svg>
|
package/docs/llms-full.txt
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
<!-- Generated by scripts/docs/build.ts from @hyperscale0/udl 2.0.
|
|
1
|
+
<!-- Generated by scripts/docs/build.ts from @hyperscale0/udl 2.1.0. Edit the source, not llms-full.txt. -->
|
|
2
2
|
|
|
3
3
|
# UDL complete reference
|
|
4
4
|
|
|
@@ -224,6 +224,92 @@ An admitted UDL document has one canonical byte sequence.
|
|
|
224
224
|
|
|
225
225
|
This page lists every entry in `udlClauseVocabulary`. The examples are copied from admitted documents under `conformance/valid`.
|
|
226
226
|
|
|
227
|
+
## action library
|
|
228
|
+
|
|
229
|
+
- Scope: instrument
|
|
230
|
+
- UDL target: `actionLibrary`
|
|
231
|
+
- Cardinality: one
|
|
232
|
+
- Linear outputs: none
|
|
233
|
+
- Effects: none
|
|
234
|
+
- Law: Requirements-as-data law and closure law
|
|
235
|
+
- Conformance source: `piece-plan-calls.udl`
|
|
236
|
+
|
|
237
|
+
```json
|
|
238
|
+
{
|
|
239
|
+
"transfers": {
|
|
240
|
+
"actionOrder": ["execute_fund", "execute_release"],
|
|
241
|
+
"actions": {
|
|
242
|
+
"execute_fund": {
|
|
243
|
+
"approval": "inherit",
|
|
244
|
+
"calls": [],
|
|
245
|
+
"leaves": [
|
|
246
|
+
{
|
|
247
|
+
"bind": {
|
|
248
|
+
"amount": "$p.amount",
|
|
249
|
+
"destinationAccountId": "$p.release_to",
|
|
250
|
+
"sourceAccountId": "$inst.fields.buyerAccount"
|
|
251
|
+
},
|
|
252
|
+
"effects": [
|
|
253
|
+
{
|
|
254
|
+
"kind": "moves",
|
|
255
|
+
"signature": "moves.transfer.internal"
|
|
256
|
+
}
|
|
257
|
+
],
|
|
258
|
+
"evidence": "bank transfer confirmation receipt",
|
|
259
|
+
"id": "leaf_fund",
|
|
260
|
+
"operation": "internal_transfer.create"
|
|
261
|
+
}
|
|
262
|
+
],
|
|
263
|
+
"order": ["leaf_fund"],
|
|
264
|
+
"parameters": {
|
|
265
|
+
"inst": {
|
|
266
|
+
"kind": "instance"
|
|
267
|
+
},
|
|
268
|
+
"p": {
|
|
269
|
+
"kind": "piece"
|
|
270
|
+
}
|
|
271
|
+
},
|
|
272
|
+
"principal": "api_key",
|
|
273
|
+
"recovery": "local"
|
|
274
|
+
},
|
|
275
|
+
"execute_release": {
|
|
276
|
+
"approval": "inherit",
|
|
277
|
+
"calls": [],
|
|
278
|
+
"leaves": [
|
|
279
|
+
{
|
|
280
|
+
"bind": {
|
|
281
|
+
"amount": "$p.amount",
|
|
282
|
+
"destinationAccountId": "$p.release_to",
|
|
283
|
+
"sourceAccountId": "$inst.fields.escrowAccount"
|
|
284
|
+
},
|
|
285
|
+
"effects": [
|
|
286
|
+
{
|
|
287
|
+
"kind": "moves",
|
|
288
|
+
"signature": "moves.transfer.internal"
|
|
289
|
+
}
|
|
290
|
+
],
|
|
291
|
+
"evidence": "release to payee confirmation",
|
|
292
|
+
"id": "leaf_rel",
|
|
293
|
+
"operation": "internal_transfer.create"
|
|
294
|
+
}
|
|
295
|
+
],
|
|
296
|
+
"order": ["leaf_rel"],
|
|
297
|
+
"parameters": {
|
|
298
|
+
"inst": {
|
|
299
|
+
"kind": "instance"
|
|
300
|
+
},
|
|
301
|
+
"p": {
|
|
302
|
+
"kind": "piece"
|
|
303
|
+
}
|
|
304
|
+
},
|
|
305
|
+
"principal": "api_key",
|
|
306
|
+
"recovery": "local"
|
|
307
|
+
}
|
|
308
|
+
}
|
|
309
|
+
}
|
|
310
|
+
}
|
|
311
|
+
```
|
|
312
|
+
|
|
227
313
|
## agent description
|
|
228
314
|
|
|
229
315
|
- Scope: action
|
|
@@ -238,6 +324,29 @@ This page lists every entry in `udlClauseVocabulary`. The examples are copied fr
|
|
|
238
324
|
"Close a note that has already been filed. Takes the note id and nothing else, and moves no money."
|
|
239
325
|
```
|
|
240
326
|
|
|
327
|
+
## calls
|
|
328
|
+
|
|
329
|
+
- Scope: action
|
|
330
|
+
- UDL target: `calls`
|
|
331
|
+
- Cardinality: many
|
|
332
|
+
- Linear outputs: none
|
|
333
|
+
- Effects: none
|
|
334
|
+
- Law: Requirements-as-data law and closure law
|
|
335
|
+
- Conformance source: `piece-plan-calls.udl`
|
|
336
|
+
|
|
337
|
+
```json
|
|
338
|
+
[
|
|
339
|
+
{
|
|
340
|
+
"action": "transfers.execute_fund",
|
|
341
|
+
"bind": {
|
|
342
|
+
"inst": "$instance",
|
|
343
|
+
"p": "$piece"
|
|
344
|
+
},
|
|
345
|
+
"id": "call_fund"
|
|
346
|
+
}
|
|
347
|
+
]
|
|
348
|
+
```
|
|
349
|
+
|
|
241
350
|
## capture input
|
|
242
351
|
|
|
243
352
|
- Scope: action
|
|
@@ -515,6 +624,58 @@ true
|
|
|
515
624
|
}
|
|
516
625
|
```
|
|
517
626
|
|
|
627
|
+
## piece plan
|
|
628
|
+
|
|
629
|
+
- Scope: instrument
|
|
630
|
+
- UDL target: `piecePlan`
|
|
631
|
+
- Cardinality: one
|
|
632
|
+
- Linear outputs: none
|
|
633
|
+
- Effects: none
|
|
634
|
+
- Law: Requirements-as-data law and closure law
|
|
635
|
+
- Conformance source: `piece-plan-calls.udl`
|
|
636
|
+
|
|
637
|
+
```json
|
|
638
|
+
{
|
|
639
|
+
"fund_order": ["p1", "p2"],
|
|
640
|
+
"id": "split_plan",
|
|
641
|
+
"pieces": [
|
|
642
|
+
{
|
|
643
|
+
"amount": "p1Amount",
|
|
644
|
+
"id": "p1",
|
|
645
|
+
"refund_to": "p1Refund",
|
|
646
|
+
"release_to": "p1Release"
|
|
647
|
+
},
|
|
648
|
+
{
|
|
649
|
+
"amount": "p2Amount",
|
|
650
|
+
"id": "p2",
|
|
651
|
+
"refund_to": "p2Refund",
|
|
652
|
+
"release_to": "p2Release"
|
|
653
|
+
}
|
|
654
|
+
],
|
|
655
|
+
"refund_order": ["p1"],
|
|
656
|
+
"release_order": ["p1", "p2"],
|
|
657
|
+
"total": "totalAmount",
|
|
658
|
+
"unfund_order": ["p2", "p1"]
|
|
659
|
+
}
|
|
660
|
+
```
|
|
661
|
+
|
|
662
|
+
## piece stage
|
|
663
|
+
|
|
664
|
+
- Scope: action
|
|
665
|
+
- UDL target: `pieceStage`
|
|
666
|
+
- Cardinality: one
|
|
667
|
+
- Linear outputs: none
|
|
668
|
+
- Effects: none
|
|
669
|
+
- Law: Requirements-as-data law and closure law
|
|
670
|
+
- Conformance source: `piece-plan-calls.udl`
|
|
671
|
+
|
|
672
|
+
```json
|
|
673
|
+
{
|
|
674
|
+
"plan": "split_plan",
|
|
675
|
+
"stage": "fund"
|
|
676
|
+
}
|
|
677
|
+
```
|
|
678
|
+
|
|
518
679
|
## port
|
|
519
680
|
|
|
520
681
|
- Scope: action
|
|
@@ -1239,37 +1400,43 @@ true
|
|
|
1239
1400
|
|
|
1240
1401
|
Codes are stable. Titles and messages may become clearer without changing the code. Apply the listed fix, then validate the whole document again.
|
|
1241
1402
|
|
|
1242
|
-
| Code | Family | Category | Title | Fix
|
|
1243
|
-
| ---------------------------- | --------- | ----------------- | ------------------------------------------------------- |
|
|
1244
|
-
| `journey_duplicate_step_id` | journey | invalid_semantics | Journey step id is duplicated | Give every named step in the journey a unique id.
|
|
1245
|
-
| `journey_invalid_transition` | journey | invalid_semantics | Journey lifecycle transition is invalid | Order the steps so each action starts from the state produced by earlier steps.
|
|
1246
|
-
| `journey_unbound_reference` | journey | invalid_semantics | Journey reference is unbound or has the wrong kind | Bind every reference input to an earlier step that creates the required kind.
|
|
1247
|
-
| `journey_unknown_example` | journey | invalid_semantics | Journey example does not exist | Name an authored example on the journey operation.
|
|
1248
|
-
| `journey_unknown_operation` | journey | invalid_semantics | Journey operation is not in the composition | Name an operation in the composition closure.
|
|
1249
|
-
| `UDL1001` | admission | invalid_utf8 | Invalid UTF-8 | Encode the document as valid UTF-8.
|
|
1250
|
-
| `UDL1002` | admission | invalid_json | Invalid JSON | Repair the JSON syntax before validation.
|
|
1251
|
-
| `UDL1003` | admission | invalid_shape | Invalid document shape | Match the published UDL JSON Schema.
|
|
1252
|
-
| `UDL1004` | admission | resource_limit | Resource limit exceeded | Reduce the source size, nesting, values, strings, references, or financial paths named by the message.
|
|
1253
|
-
| `UDL2001` | document | invalid_semantics | Duplicate declaration | Give each declaration a unique name.
|
|
1254
|
-
| `UDL2002` | document | invalid_semantics | Document law violation | Repair the declaration, subject contract, or derived effects named by the message.
|
|
1255
|
-
| `UDL2005` | document | invalid_semantics | Derived effects mismatch | Regenerate the action effects from its clauses.
|
|
1256
|
-
| `
|
|
1257
|
-
| `
|
|
1258
|
-
| `
|
|
1259
|
-
| `
|
|
1260
|
-
| `
|
|
1261
|
-
| `
|
|
1262
|
-
| `
|
|
1263
|
-
| `
|
|
1264
|
-
| `
|
|
1265
|
-
| `
|
|
1266
|
-
| `
|
|
1267
|
-
| `
|
|
1268
|
-
| `
|
|
1269
|
-
| `
|
|
1270
|
-
| `
|
|
1271
|
-
| `
|
|
1272
|
-
| `
|
|
1403
|
+
| Code | Family | Category | Title | Fix |
|
|
1404
|
+
| ---------------------------- | --------- | ----------------- | ------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------ |
|
|
1405
|
+
| `journey_duplicate_step_id` | journey | invalid_semantics | Journey step id is duplicated | Give every named step in the journey a unique id. |
|
|
1406
|
+
| `journey_invalid_transition` | journey | invalid_semantics | Journey lifecycle transition is invalid | Order the steps so each action starts from the state produced by earlier steps. |
|
|
1407
|
+
| `journey_unbound_reference` | journey | invalid_semantics | Journey reference is unbound or has the wrong kind | Bind every reference input to an earlier step that creates the required kind. |
|
|
1408
|
+
| `journey_unknown_example` | journey | invalid_semantics | Journey example does not exist | Name an authored example on the journey operation. |
|
|
1409
|
+
| `journey_unknown_operation` | journey | invalid_semantics | Journey operation is not in the composition | Name an operation in the composition closure. |
|
|
1410
|
+
| `UDL1001` | admission | invalid_utf8 | Invalid UTF-8 | Encode the document as valid UTF-8. |
|
|
1411
|
+
| `UDL1002` | admission | invalid_json | Invalid JSON | Repair the JSON syntax before validation. |
|
|
1412
|
+
| `UDL1003` | admission | invalid_shape | Invalid document shape | Match the published UDL JSON Schema. |
|
|
1413
|
+
| `UDL1004` | admission | resource_limit | Resource limit exceeded | Reduce the source size, nesting, values, strings, references, or financial paths named by the message. |
|
|
1414
|
+
| `UDL2001` | document | invalid_semantics | Duplicate declaration | Give each declaration a unique name. |
|
|
1415
|
+
| `UDL2002` | document | invalid_semantics | Document law violation | Repair the declaration, subject contract, or derived effects named by the message. |
|
|
1416
|
+
| `UDL2005` | document | invalid_semantics | Derived effects mismatch | Regenerate the action effects from its clauses. |
|
|
1417
|
+
| `UDL2010` | document | invalid_semantics | Action graph violation | Order all actions and calls without cycles or collisions, within depth and count limits. |
|
|
1418
|
+
| `UDL2011` | document | invalid_semantics | Action binding violation | Bind parameters to declared instance, piece, or caller variables without forward references or duplicate captures. |
|
|
1419
|
+
| `UDL2012` | document | invalid_semantics | Action authority violation | Match principal, approval, and recovery policies and keep field paths within tenant boundary. |
|
|
1420
|
+
| `UDL2013` | document | invalid_semantics | Action effect or evidence violation | Provide valid effect kind, matching effect signature, and non-empty evidence for every leaf. |
|
|
1421
|
+
| `UDL3001` | lifecycle | invalid_semantics | Lifecycle is not closed | Declare every state and action transition, and make every state reachable. |
|
|
1422
|
+
| `UDL4001` | finance | invalid_semantics | Money graph violation | Balance every funded amount and close every hold on each lifecycle path. |
|
|
1423
|
+
| `UDL4002` | finance | invalid_semantics | Piece partition violation | Match piece plan total, amounts, and payees to required immutable fields and declared partition. |
|
|
1424
|
+
| `UDL5001` | gates | invalid_semantics | Reference gate violation | Point the gate at a declared instrument, action, state, field, and reference. |
|
|
1425
|
+
| `UDL5002` | gates | invalid_semantics | Check requirement violation | Use a declared check with compatible evidence and recurrence. |
|
|
1426
|
+
| `UDL5003` | gates | invalid_semantics | Exposure gate violation | Use declared account and money fields for the exposure gate. |
|
|
1427
|
+
| `UDL5004` | gates | invalid_semantics | Aggregate law violation | Point the aggregate at compatible parent and child fields. |
|
|
1428
|
+
| `UDL5005` | gates | invalid_semantics | Settlement or payout violation | Use a declared settlement account and a compatible payout statement line. |
|
|
1429
|
+
| `UDL5006` | gates | invalid_semantics | Quote and commit violation | Declare one complete quote freeze set and one matching commit action. |
|
|
1430
|
+
| `UDL5007` | gates | invalid_semantics | Reconcile exception child violation | Name a declared child whose reference points back to this instrument. |
|
|
1431
|
+
| `UDL5008` | gates | invalid_semantics | Action clause violation | Repair the clause fields and keep incompatible clauses separate. |
|
|
1432
|
+
| `UDL5009` | gates | invalid_semantics | Reconcile exception amount field is missing or optional | Name the exception child's required money field in amountField. |
|
|
1433
|
+
| `UDL5010` | gates | invalid_semantics | Reconcile exception amount field has the wrong type | Point amountField at a money field declared by the exception child. |
|
|
1434
|
+
| `UDL5011` | gates | invalid_semantics | Reconcile exception reason field is missing or optional | Name the exception child's required text field in reasonField. |
|
|
1435
|
+
| `UDL5012` | gates | invalid_semantics | Reconcile exception reason field has the wrong type | Point reasonField at a required plain text field declared by the exception child. |
|
|
1436
|
+
| `UDL5013` | gates | invalid_semantics | Piece stage violation | Reference a declared piece plan and stage in the containing instrument. |
|
|
1437
|
+
| `UDL6001` | schema | invalid_semantics | Unsupported JSON Schema | Use only the sealed UDL JSON Schema subset. |
|
|
1438
|
+
| `UDL7001` | evolution | invalid_evolution | Stored contract changed | Keep stored identities and contracts unchanged, and add only allowed optional declarations. |
|
|
1439
|
+
| `UDL7002` | evolution | invalid_evolution | Version was not increased | Increase the product version for every semantic change. |
|
|
1273
1440
|
|
|
1274
1441
|
<!-- source: reference/cli.md -->
|
|
1275
1442
|
|
package/docs/llms.txt
CHANGED
|
@@ -1,9 +1,95 @@
|
|
|
1
|
-
<!-- Generated by scripts/docs/build.ts from @hyperscale0/udl 2.0.
|
|
1
|
+
<!-- Generated by scripts/docs/build.ts from @hyperscale0/udl 2.1.0. Edit the source, not clauses.md. -->
|
|
2
2
|
|
|
3
3
|
# Clause reference
|
|
4
4
|
|
|
5
5
|
This page lists every entry in `udlClauseVocabulary`. The examples are copied from admitted documents under `conformance/valid`.
|
|
6
6
|
|
|
7
|
+
## action library
|
|
8
|
+
|
|
9
|
+
- Scope: instrument
|
|
10
|
+
- UDL target: `actionLibrary`
|
|
11
|
+
- Cardinality: one
|
|
12
|
+
- Linear outputs: none
|
|
13
|
+
- Effects: none
|
|
14
|
+
- Law: Requirements-as-data law and closure law
|
|
15
|
+
- Conformance source: `piece-plan-calls.udl`
|
|
16
|
+
|
|
17
|
+
```json
|
|
18
|
+
{
|
|
19
|
+
"transfers": {
|
|
20
|
+
"actionOrder": ["execute_fund", "execute_release"],
|
|
21
|
+
"actions": {
|
|
22
|
+
"execute_fund": {
|
|
23
|
+
"approval": "inherit",
|
|
24
|
+
"calls": [],
|
|
25
|
+
"leaves": [
|
|
26
|
+
{
|
|
27
|
+
"bind": {
|
|
28
|
+
"amount": "$p.amount",
|
|
29
|
+
"destinationAccountId": "$p.release_to",
|
|
30
|
+
"sourceAccountId": "$inst.fields.buyerAccount"
|
|
31
|
+
},
|
|
32
|
+
"effects": [
|
|
33
|
+
{
|
|
34
|
+
"kind": "moves",
|
|
35
|
+
"signature": "moves.transfer.internal"
|
|
36
|
+
}
|
|
37
|
+
],
|
|
38
|
+
"evidence": "bank transfer confirmation receipt",
|
|
39
|
+
"id": "leaf_fund",
|
|
40
|
+
"operation": "internal_transfer.create"
|
|
41
|
+
}
|
|
42
|
+
],
|
|
43
|
+
"order": ["leaf_fund"],
|
|
44
|
+
"parameters": {
|
|
45
|
+
"inst": {
|
|
46
|
+
"kind": "instance"
|
|
47
|
+
},
|
|
48
|
+
"p": {
|
|
49
|
+
"kind": "piece"
|
|
50
|
+
}
|
|
51
|
+
},
|
|
52
|
+
"principal": "api_key",
|
|
53
|
+
"recovery": "local"
|
|
54
|
+
},
|
|
55
|
+
"execute_release": {
|
|
56
|
+
"approval": "inherit",
|
|
57
|
+
"calls": [],
|
|
58
|
+
"leaves": [
|
|
59
|
+
{
|
|
60
|
+
"bind": {
|
|
61
|
+
"amount": "$p.amount",
|
|
62
|
+
"destinationAccountId": "$p.release_to",
|
|
63
|
+
"sourceAccountId": "$inst.fields.escrowAccount"
|
|
64
|
+
},
|
|
65
|
+
"effects": [
|
|
66
|
+
{
|
|
67
|
+
"kind": "moves",
|
|
68
|
+
"signature": "moves.transfer.internal"
|
|
69
|
+
}
|
|
70
|
+
],
|
|
71
|
+
"evidence": "release to payee confirmation",
|
|
72
|
+
"id": "leaf_rel",
|
|
73
|
+
"operation": "internal_transfer.create"
|
|
74
|
+
}
|
|
75
|
+
],
|
|
76
|
+
"order": ["leaf_rel"],
|
|
77
|
+
"parameters": {
|
|
78
|
+
"inst": {
|
|
79
|
+
"kind": "instance"
|
|
80
|
+
},
|
|
81
|
+
"p": {
|
|
82
|
+
"kind": "piece"
|
|
83
|
+
}
|
|
84
|
+
},
|
|
85
|
+
"principal": "api_key",
|
|
86
|
+
"recovery": "local"
|
|
87
|
+
}
|
|
88
|
+
}
|
|
89
|
+
}
|
|
90
|
+
}
|
|
91
|
+
```
|
|
92
|
+
|
|
7
93
|
## agent description
|
|
8
94
|
|
|
9
95
|
- Scope: action
|
|
@@ -18,6 +104,29 @@ This page lists every entry in `udlClauseVocabulary`. The examples are copied fr
|
|
|
18
104
|
"Close a note that has already been filed. Takes the note id and nothing else, and moves no money."
|
|
19
105
|
```
|
|
20
106
|
|
|
107
|
+
## calls
|
|
108
|
+
|
|
109
|
+
- Scope: action
|
|
110
|
+
- UDL target: `calls`
|
|
111
|
+
- Cardinality: many
|
|
112
|
+
- Linear outputs: none
|
|
113
|
+
- Effects: none
|
|
114
|
+
- Law: Requirements-as-data law and closure law
|
|
115
|
+
- Conformance source: `piece-plan-calls.udl`
|
|
116
|
+
|
|
117
|
+
```json
|
|
118
|
+
[
|
|
119
|
+
{
|
|
120
|
+
"action": "transfers.execute_fund",
|
|
121
|
+
"bind": {
|
|
122
|
+
"inst": "$instance",
|
|
123
|
+
"p": "$piece"
|
|
124
|
+
},
|
|
125
|
+
"id": "call_fund"
|
|
126
|
+
}
|
|
127
|
+
]
|
|
128
|
+
```
|
|
129
|
+
|
|
21
130
|
## capture input
|
|
22
131
|
|
|
23
132
|
- Scope: action
|
|
@@ -295,6 +404,58 @@ true
|
|
|
295
404
|
}
|
|
296
405
|
```
|
|
297
406
|
|
|
407
|
+
## piece plan
|
|
408
|
+
|
|
409
|
+
- Scope: instrument
|
|
410
|
+
- UDL target: `piecePlan`
|
|
411
|
+
- Cardinality: one
|
|
412
|
+
- Linear outputs: none
|
|
413
|
+
- Effects: none
|
|
414
|
+
- Law: Requirements-as-data law and closure law
|
|
415
|
+
- Conformance source: `piece-plan-calls.udl`
|
|
416
|
+
|
|
417
|
+
```json
|
|
418
|
+
{
|
|
419
|
+
"fund_order": ["p1", "p2"],
|
|
420
|
+
"id": "split_plan",
|
|
421
|
+
"pieces": [
|
|
422
|
+
{
|
|
423
|
+
"amount": "p1Amount",
|
|
424
|
+
"id": "p1",
|
|
425
|
+
"refund_to": "p1Refund",
|
|
426
|
+
"release_to": "p1Release"
|
|
427
|
+
},
|
|
428
|
+
{
|
|
429
|
+
"amount": "p2Amount",
|
|
430
|
+
"id": "p2",
|
|
431
|
+
"refund_to": "p2Refund",
|
|
432
|
+
"release_to": "p2Release"
|
|
433
|
+
}
|
|
434
|
+
],
|
|
435
|
+
"refund_order": ["p1"],
|
|
436
|
+
"release_order": ["p1", "p2"],
|
|
437
|
+
"total": "totalAmount",
|
|
438
|
+
"unfund_order": ["p2", "p1"]
|
|
439
|
+
}
|
|
440
|
+
```
|
|
441
|
+
|
|
442
|
+
## piece stage
|
|
443
|
+
|
|
444
|
+
- Scope: action
|
|
445
|
+
- UDL target: `pieceStage`
|
|
446
|
+
- Cardinality: one
|
|
447
|
+
- Linear outputs: none
|
|
448
|
+
- Effects: none
|
|
449
|
+
- Law: Requirements-as-data law and closure law
|
|
450
|
+
- Conformance source: `piece-plan-calls.udl`
|
|
451
|
+
|
|
452
|
+
```json
|
|
453
|
+
{
|
|
454
|
+
"plan": "split_plan",
|
|
455
|
+
"stage": "fund"
|
|
456
|
+
}
|
|
457
|
+
```
|
|
458
|
+
|
|
298
459
|
## port
|
|
299
460
|
|
|
300
461
|
- Scope: action
|
package/docs/reference/cli.md
CHANGED