@hyperscale0/hsx 2.0.5 → 2.1.0

package/dist/src/index.d.ts

@@ -6,9 +6,10 @@ export { format, type FormatResult } from "./format.ts";
 export { KEYWORDS } from "./lex.ts";
 export { overrideProgramEntries, type ProgramEntryOverride, type ProgramEntryOverrideIssue, type ProgramEntryOverrideValue, } from "./entry-overrides.ts";
 export { type OriginMapEntry } from "./emit.ts";
-export { lowerGeneralProgram, originForUdlPath } from "./emit.ts";
+export { lowerGeneralProgram, originForUdlPath, emitUdlClause, } from "./emit.ts";
 export { parseProgram } from "./parse.ts";
 export { checkGeneralProgram, type GeneralCheckOptions } from "./typecheck.ts";
 export { byteOffsetToCodeUnit, type BlockExpr, type ExposeDecl, type Program, type ProgramDecl, type UseDecl, } from "./ast.ts";
 export { bundledStandardLibrary, type StandardLibrary } from "./std-library.ts";
+export type { ResolvedActionPlan, ResolvedProgramActionPlan } from "./ir.ts";
 //# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,GACnB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,uBAAuB,EACvB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,aAAa,GACnB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,cAAc,EACd,KAAK,yBAAyB,GAC/B,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,MAAM,EAAE,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EACL,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,yBAAyB,EAC9B,KAAK,yBAAyB,GAC/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAAE,KAAK,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC/E,OAAO,EACL,oBAAoB,EACpB,KAAK,SAAS,EACd,KAAK,UAAU,EACf,KAAK,OAAO,EACZ,KAAK,WAAW,EAChB,KAAK,OAAO,GACb,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,sBAAsB,EAAE,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,GACnB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,uBAAuB,EACvB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,aAAa,GACnB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,cAAc,EACd,KAAK,yBAAyB,GAC/B,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,MAAM,EAAE,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EACL,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,yBAAyB,EAC9B,KAAK,yBAAyB,GAC/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,aAAa,GACd,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAAE,KAAK,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAC/E,OAAO,EACL,oBAAoB,EACpB,KAAK,SAAS,EACd,KAAK,UAAU,EACf,KAAK,OAAO,EACZ,KAAK,WAAW,EAChB,KAAK,OAAO,GACb,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,sBAAsB,EAAE,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAChF,YAAY,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,SAAS,CAAC"}

package/dist/src/index.js

@@ -5,7 +5,7 @@ export { format } from "./format.js";
 export { KEYWORDS } from "./lex.js";
 export { overrideProgramEntries, } from "./entry-overrides.js";
 export {} from "./emit.js";
-export { lowerGeneralProgram, originForUdlPath } from "./emit.js";
+export { lowerGeneralProgram, originForUdlPath, emitUdlClause, } from "./emit.js";
 export { parseProgram } from "./parse.js";
 export { checkGeneralProgram } from "./typecheck.js";
 export { byteOffsetToCodeUnit, } from "./ast.js";

package/dist/src/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,GAKR,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,uBAAuB,GAKxB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,cAAc,GAEf,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,MAAM,EAAqB,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EACL,sBAAsB,GAIvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAuB,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAA4B,MAAM,gBAAgB,CAAC;AAC/E,OAAO,EACL,oBAAoB,GAMrB,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,sBAAsB,EAAwB,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,GAKR,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,uBAAuB,GAKxB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,cAAc,GAEf,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,MAAM,EAAqB,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EACL,sBAAsB,GAIvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAuB,MAAM,WAAW,CAAC;AAChD,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,aAAa,GACd,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAA4B,MAAM,gBAAgB,CAAC;AAC/E,OAAO,EACL,oBAAoB,GAMrB,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,sBAAsB,EAAwB,MAAM,kBAAkB,CAAC"}

package/dist/src/ir.d.ts

@@ -1,5 +1,5 @@
 import type { Span } from "./ast.ts";
-import type { UdlEffectKind } from "@hyperscale0/udl";
+import type { resolveUdlActionPlans, UdlEffectKind, UdlIssueCode } from "@hyperscale0/udl";
 export type JsonValue = boolean | number | string | null | readonly JsonValue[] | {
     readonly [key: string]: JsonValue;
 };
@@ -29,7 +29,12 @@ export interface TypedAction {
     readonly origin: Span;
     readonly slots: Readonly<Record<string, JsonValue>>;
 }
+export type ResolvedActionPlan = ReturnType<typeof resolveUdlActionPlans>["plans"][number];
+export type ResolvedProgramActionPlan = ResolvedActionPlan & {
+    readonly instrument: string;
+};
 export interface TypedInstrument {
+    readonly actionPlans?: readonly ResolvedActionPlan[];
     readonly actions: readonly TypedAction[];
     readonly fields: readonly TypedField[];
     readonly id: string;
@@ -53,6 +58,8 @@ export interface TypedProgram {
     readonly title: string;
 }
 export interface GeneralDiagnostic {
+    readonly path?: string;
+    readonly udlCode?: UdlIssueCode;
     readonly code: string;
     readonly fix: string;
     readonly message: string;

package/dist/src/ir.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/ir.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEtD,MAAM,MAAM,SAAS,GACjB,OAAO,GACP,MAAM,GACN,MAAM,GACN,IAAI,GACJ,SAAS,SAAS,EAAE,GACpB;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAE1C,eAAO,MAAM,cAAc,YACzB,SAAS,EACT,SAAS,EACT,KAAK,EACL,WAAW,EACX,MAAM,EACN,SAAS,EACT,OAAO,EACP,OAAO,EACP,SAAS,EACT,KAAK,EACL,MAAM,EACN,SAAS,CACD,CAAC;AAEX,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,qEAAqE;IACrE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CACxB,OAAO,CACL,MAAM,CACJ,aAAa,EACb,SAAS;QACP,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;KACxB,EAAE,CACJ,CACF,CACF,CAAC;IACF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,UAAU,GAAG,UAAU,CAAC;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC;CACjC"}
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/ir.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,KAAK,EACV,qBAAqB,EACrB,aAAa,EACb,YAAY,EACb,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,SAAS,GACjB,OAAO,GACP,MAAM,GACN,MAAM,GACN,IAAI,GACJ,SAAS,SAAS,EAAE,GACpB;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAE1C,eAAO,MAAM,cAAc,YACzB,SAAS,EACT,SAAS,EACT,KAAK,EACL,WAAW,EACX,MAAM,EACN,SAAS,EACT,OAAO,EACP,OAAO,EACP,SAAS,EACT,KAAK,EACL,MAAM,EACN,SAAS,CACD,CAAC;AAEX,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,qEAAqE;IACrE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CACxB,OAAO,CACL,MAAM,CACJ,aAAa,EACb,SAAS;QACP,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;KACxB,EAAE,CACJ,CACF,CACF,CAAC;IACF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CACrD;AAED,MAAM,MAAM,kBAAkB,GAAG,UAAU,CACzC,OAAO,qBAAqB,CAC7B,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC;AACnB,MAAM,MAAM,yBAAyB,GAAG,kBAAkB,GAAG;IAC3D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACrD,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,UAAU,GAAG,UAAU,CAAC;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC;CACjC"}

package/dist/src/ir.js.map

@@ -1 +1 @@
-{"version":3,"file":"ir.js","sourceRoot":"","sources":["../../src/ir.ts"],"names":[],"mappings":"AAWA,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,SAAS;IACT,SAAS;IACT,KAAK;IACL,WAAW;IACX,MAAM;IACN,SAAS;IACT,OAAO;IACP,OAAO;IACP,SAAS;IACT,KAAK;IACL,MAAM;IACN,SAAS;CACD,CAAC"}
+{"version":3,"file":"ir.js","sourceRoot":"","sources":["../../src/ir.ts"],"names":[],"mappings":"AAeA,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,SAAS;IACT,SAAS;IACT,KAAK;IACL,WAAW;IACX,MAAM;IACN,SAAS;IACT,OAAO;IACP,OAAO;IACP,SAAS;IACT,KAAK;IACL,MAAM;IACN,SAAS;CACD,CAAC"}

package/dist/src/limits.d.ts

@@ -6,6 +6,8 @@
  * on. The deepest nests 5 levels; the largest is 13,934 bytes.
  */
 export declare const HSX_LIMITS: Readonly<{
+    /** Shared ceiling for finite comprehensions and action-call expansion. */
+    maxExpansions: 256;
     /**
      * How deep the recursive-descent productions may nest. Measured on this
      * machine, the parser exhausted the call stack at 9,217 nested blocks and

package/dist/src/limits.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"limits.d.ts","sourceRoot":"","sources":["../../src/limits.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,eAAO,MAAM,UAAU;IACrB;;;;;;;OAOG;;IAEH,wCAAwC;;EAExC,CAAC"}
+{"version":3,"file":"limits.d.ts","sourceRoot":"","sources":["../../src/limits.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,eAAO,MAAM,UAAU;IACrB,0EAA0E;;IAE1E;;;;;;;OAOG;;IAEH,wCAAwC;;EAExC,CAAC"}

package/dist/src/limits.js

@@ -6,6 +6,8 @@
  * on. The deepest nests 5 levels; the largest is 13,934 bytes.
  */
 export const HSX_LIMITS = Object.freeze({
+    /** Shared ceiling for finite comprehensions and action-call expansion. */
+    maxExpansions: 256,
     /**
      * How deep the recursive-descent productions may nest. Measured on this
      * machine, the parser exhausted the call stack at 9,217 nested blocks and

package/dist/src/limits.js.map

@@ -1 +1 @@
-{"version":3,"file":"limits.js","sourceRoot":"","sources":["../../src/limits.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC;;;;;;;OAOG;IACH,eAAe,EAAE,EAAE;IACnB,wCAAwC;IACxC,cAAc,EAAE,GAAG,GAAG,KAAK;CAC5B,CAAC,CAAC"}
+{"version":3,"file":"limits.js","sourceRoot":"","sources":["../../src/limits.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,0EAA0E;IAC1E,aAAa,EAAE,GAAG;IAClB;;;;;;;OAOG;IACH,eAAe,EAAE,EAAE;IACnB,wCAAwC;IACxC,cAAc,EAAE,GAAG,GAAG,KAAK;CAC5B,CAAC,CAAC"}

package/dist/src/typecheck.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typecheck.d.ts","sourceRoot":"","sources":["../../src/typecheck.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,WAAW,EAEjB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAaV,OAAO,EAKR,MAAM,UAAU,CAAC;AAElB,OAAO,KAAK,EACV,kBAAkB,EASnB,MAAM,SAAS,CAAC;AAWjB,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,WAAW,CAAC;CACzC;AAkCD,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,mBAAwB,GAChC,kBAAkB,CAibpB"}
+{"version":3,"file":"typecheck.d.ts","sourceRoot":"","sources":["../../src/typecheck.ts"],"names":[],"mappings":"AAAA,OAAO,EAML,KAAK,WAAW,EAEjB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAaV,OAAO,EAKR,MAAM,UAAU,CAAC;AASlB,OAAO,KAAK,EACV,kBAAkB,EASnB,MAAM,SAAS,CAAC;AAWjB,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,WAAW,CAAC;CACzC;AAkCD,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,mBAAwB,GAChC,kBAAkB,CAibpB"}

package/dist/src/typecheck.js

@@ -1,12 +1,13 @@
-import { deriveUdlActionEffects, udlClauseVocabulary, } from "@hyperscale0/udl";
-import { requiredFields } from "./emit.js";
+import { deriveUdlActionEffects, resolveUdlActionPlans, udlDocumentSchema, udlClauseVocabulary, } from "@hyperscale0/udl";
+import { requiredFields, generalInstrumentValue, hasActionPlanClauses, lowerGeneralProgram, } from "./emit.js";
+import { hsxClauseDiagnosticCode } from "./diagnostics.js";
+import { HSX_LIMITS } from "./limits.js";
 const SNAKE_CASE = /^[a-z][a-z0-9]*(?:_[a-z0-9]+)*$/;
 const CAMEL_CASE = /^[a-z][A-Za-z0-9]*$/;
 const CURRENCY = /^[A-Z]{3}$/;
 const MONEY_PATTERN = "^[1-9][0-9]{0,17}$";
 const OPTIONAL_MONEY_PATTERN = "^(0|[1-9][0-9]{0,17})$";
 const ACCOUNT_PATTERN = "^acct_(sandbox|live)_[a-z0-9]{8,64}$";
-const MAX_COMPREHENSION_EXPANSIONS = 256;
 const NONE_SENTINEL = "__hsx_none__";
 const actionClauseBySpelling = new Map(udlClauseVocabulary
     .filter((definition) => definition.scope === "action")
@@ -287,7 +288,7 @@ export function checkGeneralProgram(program, options = {}) {
         subjects,
         title: header?.title?.value ?? sentenceCase(name),
     };
-    return { diagnostics, program: typed };
+    return prepareActionPlanProgram(typed, diagnostics);
 }
 function checkPublishedProgram(program, catalog, header, authoredSubjects, authoredInstruments, diagnostics, report) {
     const compositionDeclarations = program.decls.filter((decl) => decl.kind === "use" || decl.kind === "expose");
@@ -417,7 +418,7 @@ function checkPublishedProgram(program, catalog, header, authoredSubjects, autho
         ],
         title: header?.title?.value ?? sentenceCase(name),
     };
-    return { diagnostics, program: typed };
+    return prepareActionPlanProgram(typed, diagnostics);
 }
 function projectedPublishedInstrument(source, exposures) {
     const publicNameByAction = new Map(exposures
@@ -2284,11 +2285,11 @@ function expandComprehensions(block, diagnostics, values = new Map(), dependenci
                 });
                 continue;
             }
-            if (budget.used + values.length > MAX_COMPREHENSION_EXPANSIONS) {
+            if (budget.used + values.length > HSX_LIMITS.maxExpansions) {
                 diagnostics.push({
                     code: "HSX1404",
-                    fix: `reduce the fixed expansion to at most ${MAX_COMPREHENSION_EXPANSIONS} rows`,
-                    message: `bounded comprehensions expand past the ${MAX_COMPREHENSION_EXPANSIONS}-row compiler limit`,
+                    fix: `reduce the fixed expansion to at most ${HSX_LIMITS.maxExpansions} rows`,
+                    message: `bounded comprehensions expand past the ${HSX_LIMITS.maxExpansions}-row compiler limit`,
                     severity: "error",
                     span: bound.span,
                 });
@@ -2675,7 +2676,7 @@ function checkInstrument(name, body, parties, ports, aliases, diagnostics) {
             ...new Set([...slots.required, ...inferredDecisionFields]),
         ];
     }
-    return { actions, fields, id: name.name, origin: name.span, slots };
+    return derivePieceInputs({ actions, fields, id: name.name, origin: name.span, slots }, diagnostics);
 }
 // Mirrors the catalog law agent_description_required: every action a caller
 // can reach becomes an agent tool whose description is authored, never
@@ -3634,7 +3635,7 @@ function stringSlot(block, ...names) {
         return found.name;
     return undefined;
 }
-function blockToObject(block, substitutions, diagnostics) {
+function blockToObject(block, substitutions, diagnostics, literalKeys = false) {
     if (!block)
         return {};
     const result = {};
@@ -3650,7 +3651,8 @@ function blockToObject(block, substitutions, diagnostics) {
             });
             continue;
         }
-        result[row.key.quoted ? row.key.name : camel(row.key.name)] = exprToJson(value, diagnostics);
+        result[literalKeys || row.key.quoted ? row.key.name : camel(row.key.name)] =
+            exprToJson(value, diagnostics, literalKeys);
     }
     return result;
 }
@@ -3670,9 +3672,13 @@ function exprToJsonForUdlSlot(expr, slot, diagnostics) {
             exprToJson(row.value, diagnostics),
         ]));
     }
-    return exprToJson(expr, diagnostics);
+    // Declaration maps retain their authored keys; field-spelling aliases still normalize.
+    const literalKeys = udlClauseVocabulary.some((clause) => clause.target === slot &&
+        "literalKeys" in clause &&
+        clause.literalKeys === true);
+    return exprToJson(expr, diagnostics, literalKeys);
 }
-function exprToJson(expr, diagnostics) {
+function exprToJson(expr, diagnostics, literalKeys = false) {
     switch (expr.kind) {
         case "boolean":
             return expr.value;
@@ -3714,9 +3720,9 @@ function exprToJson(expr, diagnostics) {
         case "settlement_ref":
             return `${expr.owner.name}.${expr.member.name}`;
         case "list":
-            return expr.items.map((item) => exprToJson(item, diagnostics));
+            return expr.items.map((item) => exprToJson(item, diagnostics, literalKeys));
         case "block":
-            return blockToObject(expr, new Map(), diagnostics);
+            return blockToObject(expr, new Map(), diagnostics, literalKeys);
         case "call":
             return `${expr.callee.name}(${expr.args.map((arg) => String(exprToJson(arg, diagnostics))).join(",")})`;
         case "type_apply":
@@ -3867,4 +3873,106 @@ function sentenceCase(value) {
     const words = value.replaceAll("_", " ");
     return `${words[0]?.toUpperCase() ?? ""}${words.slice(1)}`;
 }
+function prepareActionPlanProgram(program, diagnostics) {
+    if (!program.instruments.some(hasActionPlanClauses))
+        return { diagnostics, program };
+    const instruments = program.instruments.map((instrument) => {
+        if (!hasActionPlanClauses(instrument))
+            return instrument;
+        const parsed = udlDocumentSchema.shape.instruments.element.safeParse(generalInstrumentValue(instrument));
+        if (!parsed.success) {
+            for (const issue of parsed.error.issues)
+                diagnostics.push({
+                    code: "HSX1601",
+                    severity: "error",
+                    span: instrument.origin,
+                    message: `${instrument.id}.${issue.path.join(".")}: ${issue.message}`,
+                    fix: "match the typed UDL clause declaration",
+                });
+            return instrument;
+        }
+        const resolved = resolveUdlActionPlans(parsed.data);
+        for (const issue of resolved.issues)
+            diagnostics.push({
+                code: hsxClauseDiagnosticCode(issue.code),
+                severity: "error",
+                span: instrument.origin,
+                message: `${instrument.id}${issue.path}: ${issue.message}`,
+                udlCode: issue.code,
+                path: issue.path,
+                fix: issue.fix,
+            });
+        return {
+            ...instrument,
+            actionPlans: resolved.plans,
+            actions: instrument.actions.map((action) => {
+                if (!action.slots.calls)
+                    return action;
+                const plan = resolved.plans.find((plan) => plan.action === action.name);
+                if (!plan)
+                    return action;
+                const effects = plan.effects;
+                return {
+                    ...action,
+                    effects,
+                    slots: { ...action.slots, effects: effects },
+                };
+            }),
+        };
+    });
+    if (diagnostics.some((issue) => issue.severity === "error"))
+        return { diagnostics };
+    const prepared = { ...program, instruments };
+    const lowered = lowerGeneralProgram(prepared);
+    if (!lowered.ok) {
+        for (const issue of lowered.issues)
+            diagnostics.push({
+                code: issue.code,
+                fix: issue.fix,
+                message: issue.message,
+                udlCode: issue.udlCode,
+                path: issue.path,
+                severity: "error",
+                span: issue.span,
+            });
+        return { diagnostics };
+    }
+    return { diagnostics, program: prepared };
+}
+function derivePieceInputs(instrument, diagnostics) {
+    return {
+        ...instrument,
+        actions: instrument.actions.map((action) => {
+            const stage = jsonObject(action.slots.pieceStage);
+            if (!stage)
+                return action;
+            if (action.slots.input !== undefined) {
+                diagnostics.push({
+                    code: "HSX1611",
+                    severity: "error",
+                    span: action.origin,
+                    message: `action ${action.name} overrides its compiler-derived pieceId input`,
+                    fix: "remove input; piece_stage derives the strict pieceId enum",
+                });
+                return action;
+            }
+            const plan = jsonObject(instrument.slots.piecePlan);
+            const order = plan?.[`${stage.stage}_order`];
+            if (!Array.isArray(order) || order.length === 0)
+                return action;
+            return {
+                ...action,
+                slots: {
+                    ...action.slots,
+                    input: {
+                        type: "object",
+                        additionalProperties: false,
+                        required: ["pieceId"],
+                        properties: { pieceId: { type: "string", enum: order } },
+                    },
+                },
+            };
+        }),
+    };
+}
 //# sourceMappingURL=typecheck.js.map