@hyperscale0/hsx 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.
Files changed (80) hide show
  1. package/CHANGELOG.md +23 -0
  2. package/README.md +17 -3
  3. package/dist/src/cli.d.ts +1 -1
  4. package/dist/src/cli.d.ts.map +1 -1
  5. package/dist/src/cli.js +6 -2
  6. package/dist/src/cli.js.map +1 -1
  7. package/dist/src/compile.d.ts +2 -0
  8. package/dist/src/compile.d.ts.map +1 -1
  9. package/dist/src/compile.js +15 -2
  10. package/dist/src/compile.js.map +1 -1
  11. package/dist/src/cost.d.ts.map +1 -1
  12. package/dist/src/cost.js +22 -6
  13. package/dist/src/cost.js.map +1 -1
  14. package/dist/src/diagnostics.d.ts +2 -0
  15. package/dist/src/diagnostics.d.ts.map +1 -1
  16. package/dist/src/diagnostics.js +60 -0
  17. package/dist/src/diagnostics.js.map +1 -1
  18. package/dist/src/emit.d.ts +16 -1
  19. package/dist/src/emit.d.ts.map +1 -1
  20. package/dist/src/emit.js +49 -11
  21. package/dist/src/emit.js.map +1 -1
  22. package/dist/src/index.d.ts +2 -1
  23. package/dist/src/index.d.ts.map +1 -1
  24. package/dist/src/index.js +1 -1
  25. package/dist/src/index.js.map +1 -1
  26. package/dist/src/ir.d.ts +8 -1
  27. package/dist/src/ir.d.ts.map +1 -1
  28. package/dist/src/ir.js.map +1 -1
  29. package/dist/src/limits.d.ts +2 -0
  30. package/dist/src/limits.d.ts.map +1 -1
  31. package/dist/src/limits.js +2 -0
  32. package/dist/src/limits.js.map +1 -1
  33. package/dist/src/typecheck.d.ts.map +1 -1
  34. package/dist/src/typecheck.js +123 -15
  35. package/dist/src/typecheck.js.map +1 -1
  36. package/dist/src/version.d.ts +1 -1
  37. package/dist/src/version.js +1 -1
  38. package/docs/assets/brand/hsx-horizontal-white.svg +1 -0
  39. package/docs/assets/brand/hsx-horizontal.svg +1 -0
  40. package/docs/assets/brand/hsx-stacked-white.svg +1 -0
  41. package/docs/assets/brand/hsx-stacked.svg +1 -0
  42. package/docs/assets/brand/manifest.json +30 -0
  43. package/docs/assets/hsx.svg +8 -15
  44. package/docs/llms-full.txt +51 -3
  45. package/docs/llms.txt +2 -2
  46. package/docs/reference/cli.md +2 -2
  47. package/docs/reference/diagnostics.md +49 -1
  48. package/docs/reference/grammar.md +2 -2
  49. package/docs/reference/std/advance.md +1 -1
  50. package/docs/reference/std/cancellable_booking.md +1 -1
  51. package/docs/reference/std/captured_payment.md +1 -1
  52. package/docs/reference/std/conditional_disbursement.md +1 -1
  53. package/docs/reference/std/credit_facility.md +1 -1
  54. package/docs/reference/std/held_payment.md +1 -1
  55. package/docs/reference/std/instant_transfer.md +1 -1
  56. package/docs/reference/std/metered.md +1 -1
  57. package/docs/reference/std/pooled_split.md +1 -1
  58. package/docs/reference/std/premium_forward.md +1 -1
  59. package/docs/reference/std/reconciled_payout.md +1 -1
  60. package/docs/reference/std/recurring_collection.md +1 -1
  61. package/docs/reference/std/rotating_pool.md +1 -1
  62. package/docs/reference/std/scheduled.md +1 -1
  63. package/docs/reference/std/security_deposit.md +1 -1
  64. package/docs/reference/std/settlement_batch.md +1 -1
  65. package/docs/reference/std/swap.md +1 -1
  66. package/docs/reference/std/threshold_pool.md +1 -1
  67. package/docs/reference/std/weighted_distribution.md +1 -1
  68. package/docs/reference/types.md +1 -1
  69. package/docs/reference/udl-output.md +1 -1
  70. package/package.json +3 -3
  71. package/src/cli.ts +8 -5
  72. package/src/compile.ts +17 -2
  73. package/src/cost.ts +32 -5
  74. package/src/diagnostics.ts +67 -0
  75. package/src/emit.ts +82 -15
  76. package/src/index.ts +6 -1
  77. package/src/ir.ts +15 -1
  78. package/src/limits.ts +2 -0
  79. package/src/typecheck.ts +147 -16
  80. package/src/version.ts +1 -1
package/dist/src/version.d.ts CHANGED
@@ -1,5 +1,5 @@
1
1
  /** Package version reported by the command line. */
2
- export declare const HSX_VERSION = "2.0.3";
2
+ export declare const HSX_VERSION = "2.1.0";
3
3
  /** Canonical UDL contract version emitted by this compiler. */
4
4
  export declare const HSX_TARGET_UDL_VERSION = 1;
5
5
  //# sourceMappingURL=version.d.ts.map
package/dist/src/version.js CHANGED
@@ -1,5 +1,5 @@
1
1
  /** Package version reported by the command line. */
2
- export const HSX_VERSION = "2.0.3";
2
+ export const HSX_VERSION = "2.1.0";
3
3
  /** Canonical UDL contract version emitted by this compiler. */
4
4
  export const HSX_TARGET_UDL_VERSION = 1;
5
5
  //# sourceMappingURL=version.js.map
package/docs/assets/brand/hsx-horizontal-white.svg ADDED
@@ -0,0 +1 @@
1
+ <svg xmlns="http://www.w3.org/2000/svg" width="446.72" height="112" viewBox="0 0 446.72 112" color="#ffffff" fill="#ffffff" role="img" aria-label="Hyperscale HSX 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="M83 0V707H189V396H543V707H649V0H543V299H189V0Z"/><path transform="translate(23.424 0) scale(0.032 -0.032)" d="M342 -8Q273 -8 212.0 12.0Q151 32 109.0 77.0Q67 122 53 196H162Q175 154 204.0 130.5Q233 107 271.5 98.0Q310 89 349 89Q386 89 418.5 99.0Q451 109 472.0 132.0Q493 155 493 192Q493 220 482.0 238.0Q471 256 451.5 267.5Q432 279 405 286Q374 296 338.5 303.0Q303 310 268.5 319.0Q234 328 204 342Q179 352 155.5 366.5Q132 381 115.0 401.5Q98 422 87.5 450.0Q77 478 77 514Q77 562 92.5 596.0Q108 630 133.5 653.0Q159 676 192.5 689.5Q226 703 263.0 709.0Q300 715 335 715Q399 715 453.0 695.0Q507 675 542.5 631.5Q578 588 581 517H478Q474 555 452.5 577.5Q431 600 399.0 609.5Q367 619 331 619Q305 619 279.0 614.5Q253 610 231.5 598.5Q210 587 197.5 568.0Q185 549 185 521Q185 497 195.0 478.5Q205 460 223.5 447.5Q242 435 265 426Q307 410 357.0 401.5Q407 393 451 378Q483 368 511.0 353.5Q539 339 559.0 318.5Q579 298 590.0 270.5Q601 243 601 207Q601 148 580.0 106.5Q559 65 523.0 40.0Q487 15 440.0 3.5Q393 -8 342 -8Z"/><path transform="translate(44.384 0) scale(0.032 -0.032)" d="M11 0 243 353 18 707H147L310 437L473 707H599L375 356L607 0H479L308 271L134 0Z"/></g></g></svg>
package/docs/assets/brand/hsx-horizontal.svg ADDED
@@ -0,0 +1 @@
1
+ <svg xmlns="http://www.w3.org/2000/svg" width="446.72" height="112" viewBox="0 0 446.72 112" color="#2d4bf2" fill="#171717" role="img" aria-label="Hyperscale HSX 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="M83 0V707H189V396H543V707H649V0H543V299H189V0Z"/><path transform="translate(23.424 0) scale(0.032 -0.032)" d="M342 -8Q273 -8 212.0 12.0Q151 32 109.0 77.0Q67 122 53 196H162Q175 154 204.0 130.5Q233 107 271.5 98.0Q310 89 349 89Q386 89 418.5 99.0Q451 109 472.0 132.0Q493 155 493 192Q493 220 482.0 238.0Q471 256 451.5 267.5Q432 279 405 286Q374 296 338.5 303.0Q303 310 268.5 319.0Q234 328 204 342Q179 352 155.5 366.5Q132 381 115.0 401.5Q98 422 87.5 450.0Q77 478 77 514Q77 562 92.5 596.0Q108 630 133.5 653.0Q159 676 192.5 689.5Q226 703 263.0 709.0Q300 715 335 715Q399 715 453.0 695.0Q507 675 542.5 631.5Q578 588 581 517H478Q474 555 452.5 577.5Q431 600 399.0 609.5Q367 619 331 619Q305 619 279.0 614.5Q253 610 231.5 598.5Q210 587 197.5 568.0Q185 549 185 521Q185 497 195.0 478.5Q205 460 223.5 447.5Q242 435 265 426Q307 410 357.0 401.5Q407 393 451 378Q483 368 511.0 353.5Q539 339 559.0 318.5Q579 298 590.0 270.5Q601 243 601 207Q601 148 580.0 106.5Q559 65 523.0 40.0Q487 15 440.0 3.5Q393 -8 342 -8Z"/><path transform="translate(44.384 0) scale(0.032 -0.032)" d="M11 0 243 353 18 707H147L310 437L473 707H599L375 356L607 0H479L308 271L134 0Z"/></g></g></svg>
package/docs/assets/brand/hsx-stacked-white.svg ADDED
@@ -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 HSX 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.4 160)"><path transform="translate(0 0) scale(0.024 -0.024)" d="M83 0V707H189V396H543V707H649V0H543V299H189V0Z"/><path transform="translate(17.568 0) scale(0.024 -0.024)" d="M342 -8Q273 -8 212.0 12.0Q151 32 109.0 77.0Q67 122 53 196H162Q175 154 204.0 130.5Q233 107 271.5 98.0Q310 89 349 89Q386 89 418.5 99.0Q451 109 472.0 132.0Q493 155 493 192Q493 220 482.0 238.0Q471 256 451.5 267.5Q432 279 405 286Q374 296 338.5 303.0Q303 310 268.5 319.0Q234 328 204 342Q179 352 155.5 366.5Q132 381 115.0 401.5Q98 422 87.5 450.0Q77 478 77 514Q77 562 92.5 596.0Q108 630 133.5 653.0Q159 676 192.5 689.5Q226 703 263.0 709.0Q300 715 335 715Q399 715 453.0 695.0Q507 675 542.5 631.5Q578 588 581 517H478Q474 555 452.5 577.5Q431 600 399.0 609.5Q367 619 331 619Q305 619 279.0 614.5Q253 610 231.5 598.5Q210 587 197.5 568.0Q185 549 185 521Q185 497 195.0 478.5Q205 460 223.5 447.5Q242 435 265 426Q307 410 357.0 401.5Q407 393 451 378Q483 368 511.0 353.5Q539 339 559.0 318.5Q579 298 590.0 270.5Q601 243 601 207Q601 148 580.0 106.5Q559 65 523.0 40.0Q487 15 440.0 3.5Q393 -8 342 -8Z"/><path transform="translate(33.288 0) scale(0.024 -0.024)" d="M11 0 243 353 18 707H147L310 437L473 707H599L375 356L607 0H479L308 271L134 0Z"/></g></svg>
package/docs/assets/brand/hsx-stacked.svg ADDED
@@ -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 HSX 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.4 160)"><path transform="translate(0 0) scale(0.024 -0.024)" d="M83 0V707H189V396H543V707H649V0H543V299H189V0Z"/><path transform="translate(17.568 0) scale(0.024 -0.024)" d="M342 -8Q273 -8 212.0 12.0Q151 32 109.0 77.0Q67 122 53 196H162Q175 154 204.0 130.5Q233 107 271.5 98.0Q310 89 349 89Q386 89 418.5 99.0Q451 109 472.0 132.0Q493 155 493 192Q493 220 482.0 238.0Q471 256 451.5 267.5Q432 279 405 286Q374 296 338.5 303.0Q303 310 268.5 319.0Q234 328 204 342Q179 352 155.5 366.5Q132 381 115.0 401.5Q98 422 87.5 450.0Q77 478 77 514Q77 562 92.5 596.0Q108 630 133.5 653.0Q159 676 192.5 689.5Q226 703 263.0 709.0Q300 715 335 715Q399 715 453.0 695.0Q507 675 542.5 631.5Q578 588 581 517H478Q474 555 452.5 577.5Q431 600 399.0 609.5Q367 619 331 619Q305 619 279.0 614.5Q253 610 231.5 598.5Q210 587 197.5 568.0Q185 549 185 521Q185 497 195.0 478.5Q205 460 223.5 447.5Q242 435 265 426Q307 410 357.0 401.5Q407 393 451 378Q483 368 511.0 353.5Q539 339 559.0 318.5Q579 298 590.0 270.5Q601 243 601 207Q601 148 580.0 106.5Q559 65 523.0 40.0Q487 15 440.0 3.5Q393 -8 342 -8Z"/><path transform="translate(33.288 0) scale(0.024 -0.024)" d="M11 0 243 353 18 707H147L310 437L473 707H599L375 356L607 0H479L308 271L134 0Z"/></g></svg>
package/docs/assets/brand/manifest.json ADDED
@@ -0,0 +1,30 @@
1
+ {
2
+ "releaseRevision": "7c80d03cced6a85395be53cdcf30bd3269dbd5b6",
3
+ "tag": "v0.2.0",
4
+ "assets": [
5
+ {
6
+ "source": "assets/exports/hsx-horizontal.svg",
7
+ "destination": "hsx-horizontal.svg",
8
+ "sourceSha256": "4915004484e69ae25db996b82314fb575a31307f27e45dbd8057cd5fcc473243",
9
+ "destinationSha256": "4915004484e69ae25db996b82314fb575a31307f27e45dbd8057cd5fcc473243"
10
+ },
11
+ {
12
+ "source": "assets/exports/hsx-horizontal-white.svg",
13
+ "destination": "hsx-horizontal-white.svg",
14
+ "sourceSha256": "b30bdc6e4c718281df464b9713700480e6a807f3563466449fd2401d34d6e4a0",
15
+ "destinationSha256": "b30bdc6e4c718281df464b9713700480e6a807f3563466449fd2401d34d6e4a0"
16
+ },
17
+ {
18
+ "source": "assets/exports/hsx-stacked.svg",
19
+ "destination": "hsx-stacked.svg",
20
+ "sourceSha256": "0a20ee3bdf0a8dce2294702a9ad6ea1b4bc6701117ed87b34da5c22121304e94",
21
+ "destinationSha256": "0a20ee3bdf0a8dce2294702a9ad6ea1b4bc6701117ed87b34da5c22121304e94"
22
+ },
23
+ {
24
+ "source": "assets/exports/hsx-stacked-white.svg",
25
+ "destination": "hsx-stacked-white.svg",
26
+ "sourceSha256": "c25863b4716e224b29c91f9754e78d21b73720919bad38243eb6066b74f8f73d",
27
+ "destinationSha256": "c25863b4716e224b29c91f9754e78d21b73720919bad38243eb6066b74f8f73d"
28
+ }
29
+ ]
30
+ }
package/docs/assets/hsx.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">HSX</title>
3
- <desc id="desc">Write a financial product. Compile its contract.</desc>
4
- <rect width="1200" height="360" fill="#050505"/>
5
- <path d="M48 48H1152M48 304H1152M944 48V304" fill="none" stroke="#303030"/>
6
- <rect x="48" y="76" width="10" height="10" fill="#2f7dff"/>
7
- <g font-family="ui-monospace, SFMono-Regular, Menlo, Consolas, monospace">
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">HSX</text>
10
- <text x="48" y="243" fill="#a3a3a3" font-size="20">Write a financial product. Compile its contract.</text>
11
- <text x="48" y="334" fill="#a3a3a3" font-size="12" letter-spacing="2">LANGUAGE / STANDARD LIBRARY / COMPILER</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"/>
2
+ <title id="title">Hyperscale™ HSX documentation</title>
3
+ <desc id="desc">Language, standard library and compiler.</desc>
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">Language, standard library and compiler</text>
17
8
  </g>
9
+ <svg x="24" y="94" xmlns="http://www.w3.org/2000/svg" width="446.72" height="112" viewBox="0 0 446.72 112" color="#2d4bf2" fill="#171717" role="img" aria-label="Hyperscale HSX 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="M83 0V707H189V396H543V707H649V0H543V299H189V0Z"/><path transform="translate(23.424 0) scale(0.032 -0.032)" d="M342 -8Q273 -8 212.0 12.0Q151 32 109.0 77.0Q67 122 53 196H162Q175 154 204.0 130.5Q233 107 271.5 98.0Q310 89 349 89Q386 89 418.5 99.0Q451 109 472.0 132.0Q493 155 493 192Q493 220 482.0 238.0Q471 256 451.5 267.5Q432 279 405 286Q374 296 338.5 303.0Q303 310 268.5 319.0Q234 328 204 342Q179 352 155.5 366.5Q132 381 115.0 401.5Q98 422 87.5 450.0Q77 478 77 514Q77 562 92.5 596.0Q108 630 133.5 653.0Q159 676 192.5 689.5Q226 703 263.0 709.0Q300 715 335 715Q399 715 453.0 695.0Q507 675 542.5 631.5Q578 588 581 517H478Q474 555 452.5 577.5Q431 600 399.0 609.5Q367 619 331 619Q305 619 279.0 614.5Q253 610 231.5 598.5Q210 587 197.5 568.0Q185 549 185 521Q185 497 195.0 478.5Q205 460 223.5 447.5Q242 435 265 426Q307 410 357.0 401.5Q407 393 451 378Q483 368 511.0 353.5Q539 339 559.0 318.5Q579 298 590.0 270.5Q601 243 601 207Q601 148 580.0 106.5Q559 65 523.0 40.0Q487 15 440.0 3.5Q393 -8 342 -8Z"/><path transform="translate(44.384 0) scale(0.032 -0.032)" d="M11 0 243 353 18 707H147L310 437L473 707H599L375 356L607 0H479L308 271L134 0Z"/></g></g></svg>
10
+
18
11
  </svg>
package/docs/llms-full.txt CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # HSX full documentation
4
4
 
@@ -374,7 +374,7 @@ Exit code `0` means the command accepted the program. Exit code `1` means compil
374
374
  # CLI
375
375
 
376
376
  ```text
377
- hsx 2.0.3, the HSX compiler
377
+ hsx 2.1.0, the HSX compiler
378
378
 
379
379
  Usage:
380
380
  hsx check <file.hsx> [--strict]
@@ -1237,6 +1237,54 @@ instrument probe {
1237
1237
  }
1238
1238
  ```
1239
1239
 
1240
+ ## HSX1610: Invalid piece partition
1241
+
1242
+ Stage: `typecheck`
1243
+
1244
+ Fix: Bind immutable money and account fields to one declared partition.
1245
+
1246
+ No source-only witness exists. The shared UDL action-plan validator supplies the code and source path.
1247
+
1248
+ ## HSX1611: Invalid piece stage
1249
+
1250
+ Stage: `typecheck`
1251
+
1252
+ Fix: Use a declared piece stage and let the compiler derive pieceId.
1253
+
1254
+ No source-only witness exists. The shared UDL action-plan validator supplies the code and source path.
1255
+
1256
+ ## HSX1612: Invalid action graph
1257
+
1258
+ Stage: `typecheck`
1259
+
1260
+ Fix: Declare an acyclic action graph within the expansion bound.
1261
+
1262
+ No source-only witness exists. The shared UDL action-plan validator supplies the code and source path.
1263
+
1264
+ ## HSX1613: Invalid static call binding
1265
+
1266
+ Stage: `typecheck`
1267
+
1268
+ Fix: Bind declared typed targets with unique captures and money consumption.
1269
+
1270
+ No source-only witness exists. The shared UDL action-plan validator supplies the code and source path.
1271
+
1272
+ ## HSX1614: Incompatible action boundary
1273
+
1274
+ Stage: `typecheck`
1275
+
1276
+ Fix: Keep the parent principal, approval and recovery boundary.
1277
+
1278
+ No source-only witness exists. The shared UDL action-plan validator supplies the code and source path.
1279
+
1280
+ ## HSX1615: Invalid leaf evidence or effects
1281
+
1282
+ Stage: `typecheck`
1283
+
1284
+ Fix: Declare evidence and the exact effects of each expanded leaf.
1285
+
1286
+ No source-only witness exists. The shared UDL action-plan validator supplies the code and source path.
1287
+
1240
1288
  # Grammar vocabulary
1241
1289
 
1242
1290
  The parser is hand-written. This page records the exported lexer vocabulary, the UDL clause vocabulary it binds, and the current standard-library module names.
@@ -1251,7 +1299,7 @@ The parser is hand-written. This page records the exported lexer vocabulary, the
1251
1299
 
1252
1300
  ## Typed clause spellings
1253
1301
 
1254
- `agent description`, `capture input`, `commit`, `quote`, `decided amount`, `deadline`, `decision`, `computes distribute`, `description`, `due`, `earnable`, `event name`, `examples`, `input`, `moves`, `payout`, `port`, `principal`, `public action`, `reconcile`, `computes remainder`, `requires aggregate`, `requires checks`, `requires drained`, `requires exposure`, `requires refs`, `sandbox failure point`, `sets at`, `computes signed_sum`, `steps`, `summary`, `updates`, `notify`, `agent description`, `aggregate invariants`, `caller parked states`, `description`, `dials`, `distinct parties`, `computes derived`, `computes fees`, `id prefix`, `journeys`, `nav`, `partitions`, `subject`, `summary`, `surface visibility`, `template id`, `title`, `update`
1302
+ `action library`, `agent description`, `calls`, `capture input`, `commit`, `quote`, `decided amount`, `deadline`, `decision`, `computes distribute`, `description`, `due`, `earnable`, `event name`, `examples`, `input`, `moves`, `payout`, `piece plan`, `piece stage`, `port`, `principal`, `public action`, `reconcile`, `computes remainder`, `requires aggregate`, `requires checks`, `requires drained`, `requires exposure`, `requires refs`, `sandbox failure point`, `sets at`, `computes signed_sum`, `steps`, `summary`, `updates`, `notify`, `agent description`, `aggregate invariants`, `caller parked states`, `description`, `dials`, `distinct parties`, `computes derived`, `computes fees`, `id prefix`, `journeys`, `nav`, `partitions`, `subject`, `summary`, `surface visibility`, `template id`, `title`, `update`
1255
1303
 
1256
1304
  ## Standard-library modules
1257
1305
 
package/docs/llms.txt CHANGED
@@ -1,8 +1,8 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # HSX documentation
4
4
 
5
- > Repository guide and generated compiler reference for HSX 2.0.3.
5
+ > Repository guide and generated compiler reference for HSX 2.1.0.
6
6
 
7
7
  ## Guide
8
8
 
package/docs/reference/cli.md CHANGED
@@ -1,9 +1,9 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # CLI
4
4
 
5
5
  ```text
6
- hsx 2.0.3, the HSX compiler
6
+ hsx 2.1.0, the HSX compiler
7
7
 
8
8
  Usage:
9
9
  hsx check <file.hsx> [--strict]
package/docs/reference/diagnostics.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # Diagnostics
4
4
 
@@ -831,3 +831,51 @@ instrument probe {
831
831
  title: "__hsx_none__";
832
832
  }
833
833
  ```
834
+
835
+ ## HSX1610: Invalid piece partition
836
+
837
+ Stage: `typecheck`
838
+
839
+ Fix: Bind immutable money and account fields to one declared partition.
840
+
841
+ No source-only witness exists. The shared UDL action-plan validator supplies the code and source path.
842
+
843
+ ## HSX1611: Invalid piece stage
844
+
845
+ Stage: `typecheck`
846
+
847
+ Fix: Use a declared piece stage and let the compiler derive pieceId.
848
+
849
+ No source-only witness exists. The shared UDL action-plan validator supplies the code and source path.
850
+
851
+ ## HSX1612: Invalid action graph
852
+
853
+ Stage: `typecheck`
854
+
855
+ Fix: Declare an acyclic action graph within the expansion bound.
856
+
857
+ No source-only witness exists. The shared UDL action-plan validator supplies the code and source path.
858
+
859
+ ## HSX1613: Invalid static call binding
860
+
861
+ Stage: `typecheck`
862
+
863
+ Fix: Bind declared typed targets with unique captures and money consumption.
864
+
865
+ No source-only witness exists. The shared UDL action-plan validator supplies the code and source path.
866
+
867
+ ## HSX1614: Incompatible action boundary
868
+
869
+ Stage: `typecheck`
870
+
871
+ Fix: Keep the parent principal, approval and recovery boundary.
872
+
873
+ No source-only witness exists. The shared UDL action-plan validator supplies the code and source path.
874
+
875
+ ## HSX1615: Invalid leaf evidence or effects
876
+
877
+ Stage: `typecheck`
878
+
879
+ Fix: Declare evidence and the exact effects of each expanded leaf.
880
+
881
+ No source-only witness exists. The shared UDL action-plan validator supplies the code and source path.
package/docs/reference/grammar.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # Grammar vocabulary
4
4
 
@@ -14,7 +14,7 @@ The parser is hand-written. This page records the exported lexer vocabulary, the
14
14
 
15
15
  ## Typed clause spellings
16
16
 
17
- `agent description`, `capture input`, `commit`, `quote`, `decided amount`, `deadline`, `decision`, `computes distribute`, `description`, `due`, `earnable`, `event name`, `examples`, `input`, `moves`, `payout`, `port`, `principal`, `public action`, `reconcile`, `computes remainder`, `requires aggregate`, `requires checks`, `requires drained`, `requires exposure`, `requires refs`, `sandbox failure point`, `sets at`, `computes signed_sum`, `steps`, `summary`, `updates`, `notify`, `agent description`, `aggregate invariants`, `caller parked states`, `description`, `dials`, `distinct parties`, `computes derived`, `computes fees`, `id prefix`, `journeys`, `nav`, `partitions`, `subject`, `summary`, `surface visibility`, `template id`, `title`, `update`
17
+ `action library`, `agent description`, `calls`, `capture input`, `commit`, `quote`, `decided amount`, `deadline`, `decision`, `computes distribute`, `description`, `due`, `earnable`, `event name`, `examples`, `input`, `moves`, `payout`, `piece plan`, `piece stage`, `port`, `principal`, `public action`, `reconcile`, `computes remainder`, `requires aggregate`, `requires checks`, `requires drained`, `requires exposure`, `requires refs`, `sandbox failure point`, `sets at`, `computes signed_sum`, `steps`, `summary`, `updates`, `notify`, `agent description`, `aggregate invariants`, `caller parked states`, `description`, `dials`, `distinct parties`, `computes derived`, `computes fees`, `id prefix`, `journeys`, `nav`, `partitions`, `subject`, `summary`, `surface visibility`, `template id`, `title`, `update`
18
18
 
19
19
  ## Standard-library modules
20
20
 
package/docs/reference/std/advance.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # advance
4
4
 
package/docs/reference/std/cancellable_booking.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # cancellable_booking
4
4
 
package/docs/reference/std/captured_payment.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # captured_payment
4
4
 
package/docs/reference/std/conditional_disbursement.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # conditional_disbursement
4
4
 
package/docs/reference/std/credit_facility.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # credit_facility
4
4
 
package/docs/reference/std/held_payment.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # held_payment
4
4
 
package/docs/reference/std/instant_transfer.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # instant_transfer
4
4
 
package/docs/reference/std/metered.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # metered
4
4
 
package/docs/reference/std/pooled_split.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # pooled_split
4
4
 
package/docs/reference/std/premium_forward.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # premium_forward
4
4
 
package/docs/reference/std/reconciled_payout.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # reconciled_payout
4
4
 
package/docs/reference/std/recurring_collection.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # recurring_collection
4
4
 
package/docs/reference/std/rotating_pool.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # rotating_pool
4
4
 
package/docs/reference/std/scheduled.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # scheduled
4
4
 
package/docs/reference/std/security_deposit.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # security_deposit
4
4
 
package/docs/reference/std/settlement_batch.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # settlement_batch
4
4
 
package/docs/reference/std/swap.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # swap
4
4
 
package/docs/reference/std/threshold_pool.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # threshold_pool
4
4
 
package/docs/reference/std/weighted_distribution.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # weighted_distribution
4
4
 
package/docs/reference/types.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # Types
4
4
 
package/docs/reference/udl-output.md CHANGED
@@ -1,4 +1,4 @@
1
- <!-- Generated by scripts/docs/build.ts for HSX 2.0.3. Do not edit. -->
1
+ <!-- Generated by scripts/docs/build.ts for HSX 2.1.0. Do not edit. -->
2
2
 
3
3
  # UDL output
4
4
 
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@hyperscale0/hsx",
3
- "version": "2.0.4",
3
+ "version": "2.1.0",
4
4
  "description": "The strictly typed HSX language: compile total financial programs into canonical UDL.",
5
5
  "keywords": [
6
6
  "hsx",
@@ -85,7 +85,7 @@
85
85
  "typecheck": "tsc -p tsconfig.json"
86
86
  },
87
87
  "dependencies": {
88
- "@hyperscale0/udl": "2.0.4"
88
+ "@hyperscale0/udl": "2.1.0"
89
89
  },
90
90
  "devDependencies": {
91
91
  "bun-types": "1.4.2",
@@ -96,5 +96,5 @@
96
96
  "Amir Ayub",
97
97
  "Sara AlBakaawi"
98
98
  ],
99
- "gitHead": "26f31e276e500ee9e6e9a3e9c025c13f7b06d8d9"
99
+ "gitHead": "a62e6700e728f3ab56aa9de12ff83e669540511b"
100
100
  }
package/src/cli.ts CHANGED
@@ -116,7 +116,10 @@ export async function runCli(argv: readonly string[], io: Io): Promise<number> {
116
116
  const result = format(source);
117
117
  if (!result.ok) {
118
118
  for (const diagnostic of result.diagnostics) {
119
- io.err(`${parsed.file}:1:1: error [parse] ${diagnostic.message}`);
119
+ const codePrefix = diagnostic.code ? `${diagnostic.code}: ` : "";
120
+ io.err(
121
+ `${parsed.file}:1:1: error [parse] ${codePrefix}${diagnostic.message}`,
122
+ );
120
123
  }
121
124
  return REFUSED;
122
125
  }
@@ -321,10 +324,10 @@ function diagnosticLines(
321
324
  file: string,
322
325
  result: CompileResult,
323
326
  ): readonly string[] {
324
- return result.diagnostics.map(
325
- (diagnostic) =>
326
- `${diagnostic.file ?? file}:${diagnostic.line}:${diagnostic.column}: ${diagnostic.severity} [${diagnostic.stage}] ${diagnostic.message}`,
327
- );
327
+ return result.diagnostics.map((diagnostic) => {
328
+ const codePrefix = diagnostic.code ? `${diagnostic.code}: ` : "";
329
+ return `${diagnostic.file ?? file}:${diagnostic.line}:${diagnostic.column}: ${diagnostic.severity} [${diagnostic.stage}] ${codePrefix}${diagnostic.message}`;
330
+ });
328
331
  }
329
332
 
330
333
  function messageOf(cause: unknown): string {
package/src/compile.ts CHANGED
@@ -12,6 +12,7 @@
12
12
  */
13
13
 
14
14
  import type { UdlIssueCode } from "@hyperscale0/udl";
15
+ import type { ResolvedProgramActionPlan } from "./ir.ts";
15
16
  import { lineColIn, lineIndex } from "./ast.ts";
16
17
  import {
17
18
  buildCostManifest,
@@ -55,6 +56,7 @@ export interface CompileDiagnostic {
55
56
  }
56
57
 
57
58
  interface CompileArtifacts {
59
+ readonly actionPlans?: readonly ResolvedProgramActionPlan[];
58
60
  /** The canonical UDL document. */
59
61
  readonly document: Json;
60
62
  /** Canonical UDL paths bound to their narrowest authored source terms. */
@@ -173,7 +175,12 @@ export function compile(
173
175
  diagnostic.severity,
174
176
  diagnostic.message,
175
177
  diagnostic.span,
176
- { code: diagnostic.code, fix: diagnostic.fix },
178
+ {
179
+ code: diagnostic.code,
180
+ fix: diagnostic.fix,
181
+ ...(diagnostic.path ? { path: diagnostic.path } : {}),
182
+ ...(diagnostic.udlCode ? { udlCode: diagnostic.udlCode } : {}),
183
+ },
177
184
  moduleOrigin,
178
185
  );
179
186
  }
@@ -190,7 +197,12 @@ export function compile(
190
197
  diagnostic.severity,
191
198
  diagnostic.message,
192
199
  diagnostic.span,
193
- { code: diagnostic.code, fix: diagnostic.fix },
200
+ {
201
+ code: diagnostic.code,
202
+ fix: diagnostic.fix,
203
+ ...(diagnostic.path ? { path: diagnostic.path } : {}),
204
+ ...(diagnostic.udlCode ? { udlCode: diagnostic.udlCode } : {}),
205
+ },
194
206
  );
195
207
  }
196
208
  return { diagnostics, verdict: "invalid" };
@@ -223,6 +235,9 @@ export function compile(
223
235
  return {
224
236
  artifacts: {
225
237
  document: lowered.value.document,
238
+ ...(lowered.value.actionPlans
239
+ ? { actionPlans: lowered.value.actionPlans }
240
+ : {}),
226
241
  costManifest: cost.manifest,
227
242
  originMap: lowered.value.originMap.map(compileOrigin),
228
243
  },