@hyperscale0/udl 3.2.0 → 4.1.0

package/CHANGELOG.md

@@ -1,3 +1,11 @@
+# UDL 4.1.0
+
+Second-person approval is deleted: approval requirements, distinct-member rules and their diagnostics leave the schema, the object contract and validation. A document that still declares them is rejected. Permissions are unchanged. Recreate development estates.
+
+# UDL 4.0.0
+
+UDL 4 adds objects, attachment role bindings, action subject requirements, frozen adapter snapshots and typed object references. UDL 3 is rejected, the vehicles header is deleted from HSX, and public instrument create actions are gone. Object creation accepts optional metadata without entering an agreement; exposed attachment actions collect requirements when invoked. Recreate development estates; there is no migration reader.
+
 # UDL 3.2.0
 
 UDL adds a state-preserving transition target (`to: preserve`), an invoke comparison guard (`guard: { kind: compare, ... }`), an optional per-action `expansionLimit` of 8192 actions, reporting definitions, and a clock `localDay` clause (days, direction, hour, timezone).

package/README.md

@@ -1,4 +1,4 @@
-# UDL 3
+# UDL 4
 
 Read the [language reference](docs/README.md).
 

package/dist/diagnostics.d.ts

@@ -1,4 +1,4 @@
-export type UdlIssueCode = "UDL1001" | "UDL1002" | "UDL1003" | "UDL1004" | "UDL2001" | "UDL2002" | "UDL2010" | "UDL3001" | "UDL4001" | "UDL5001" | "UDL7001" | "UDL7002";
+export type UdlIssueCode = "subject_field_conflict" | "subject_field_unknown" | "subject_requirement_missing" | "subject_adapter_unbound" | "subject_party_unbound" | "party_name_reserved" | "party_kind_mismatch" | "staff_role_unknown" | "product_party_unbound" | "product_party_invalid" | "UDL1001" | "UDL1002" | "UDL1003" | "UDL1004" | "UDL2001" | "UDL2002" | "UDL2010" | "UDL3001" | "UDL4001" | "UDL5001" | "UDL7001" | "UDL7002";
 export interface UdlIssue {
     code: UdlIssueCode;
     path: string;

package/dist/diagnostics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,YAAY,GACpB,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,CAAC;AACd,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;CAClB;AAgBD,wBAAgB,KAAK,CACnB,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,QAAQ,CAaV;AACD,eAAO,MAAM,cAAc;;;;;;GAMxB,CAAC;AACJ,eAAO,MAAM,aAAa,SAAU,MAAM;;;;;;aACG,CAAC"}
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,YAAY,GACpB,wBAAwB,GACxB,uBAAuB,GACvB,6BAA6B,GAC7B,yBAAyB,GACzB,uBAAuB,GACvB,qBAAqB,GACrB,qBAAqB,GACrB,oBAAoB,GACpB,uBAAuB,GACvB,uBAAuB,GACvB,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,CAAC;AACd,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;CAClB;AAgCD,wBAAgB,KAAK,CACnB,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,QAAQ,CAaV;AACD,eAAO,MAAM,cAAc;;;;;;GAMxB,CAAC;AACJ,eAAO,MAAM,aAAa,SAAU,MAAM;;;;;;aACG,CAAC"}

package/dist/diagnostics.js

@@ -1,7 +1,17 @@
 const fixes = {
+    subject_field_conflict: "Rename the field or use matching types and constraints.",
+    subject_field_unknown: "Name a declared subject requirement or object field.",
+    subject_requirement_missing: "Supply the required action field.",
+    subject_adapter_unbound: "Bind the required adapter declaration.",
+    subject_party_unbound: "Bind the parameter to a subject role or declared party.",
+    party_name_reserved: "Choose a party name other than owner, actor or operator.",
+    party_kind_mismatch: "Use a business or subject role for money.",
+    staff_role_unknown: "Use a registered staff permission role.",
+    product_party_unbound: "Supply the consumed business in the Build party bindings.",
+    product_party_invalid: "Bind a business participant in the same tenant and environment.",
     UDL1001: "Encode the source as UTF-8.",
     UDL1002: "Repair JSON syntax.",
-    UDL1003: "Use the UDL 3 typed grammar.",
+    UDL1003: "Use the UDL 4 typed grammar.",
     UDL1004: "Reduce the declared structure or expansion.",
     UDL2001: "Give each declaration a distinct name.",
     UDL2002: "Repair the named type or declaration.",

package/dist/diagnostics.js.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAoBA,MAAM,KAAK,GAAiC;IAC1C,OAAO,EAAE,6BAA6B;IACtC,OAAO,EAAE,qBAAqB;IAC9B,OAAO,EAAE,8BAA8B;IACvC,OAAO,EAAE,6CAA6C;IACtD,OAAO,EAAE,wCAAwC;IACjD,OAAO,EAAE,uCAAuC;IAChD,OAAO,EAAE,sDAAsD;IAC/D,OAAO,EAAE,yDAAyD;IAClE,OAAO,EACL,wEAAwE;IAC1E,OAAO,EAAE,gDAAgD;IACzD,OAAO,EAAE,4DAA4D;IACrE,OAAO,EAAE,gCAAgC;CAC1C,CAAC;AACF,MAAM,UAAU,KAAK,CACnB,IAAkB,EAClB,IAAY,EACZ,OAAe;IAEf,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,OAAO;QACP,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;QAChB,QAAQ,EACN,IAAI,KAAK,SAAS;YAChB,CAAC,CAAC,eAAe;YACjB,CAAC,CAAC,IAAI,KAAK,SAAS;gBAClB,CAAC,CAAC,gBAAgB;gBAClB,CAAC,CAAC,mBAAmB;KAC5B,CAAC;AACJ,CAAC;AACD,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACxE,IAAI;IACJ,GAAG;IACH,KAAK,EAAE,GAAG;IACV,QAAQ,EAAE,mBAAmB;IAC7B,MAAM,EAAE,UAAU;CACnB,CAAC,CAAC,CAAC;AACJ,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,EAAE,CAC5C,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC"}
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AA8BA,MAAM,KAAK,GAAiC;IAC1C,sBAAsB,EACpB,yDAAyD;IAC3D,qBAAqB,EAAE,sDAAsD;IAC7E,2BAA2B,EAAE,mCAAmC;IAChE,uBAAuB,EAAE,wCAAwC;IACjE,qBAAqB,EACnB,yDAAyD;IAC3D,mBAAmB,EACjB,0DAA0D;IAC5D,mBAAmB,EAAE,2CAA2C;IAChE,kBAAkB,EAAE,yCAAyC;IAC7D,qBAAqB,EACnB,2DAA2D;IAC7D,qBAAqB,EACnB,iEAAiE;IAEnE,OAAO,EAAE,6BAA6B;IACtC,OAAO,EAAE,qBAAqB;IAC9B,OAAO,EAAE,8BAA8B;IACvC,OAAO,EAAE,6CAA6C;IACtD,OAAO,EAAE,wCAAwC;IACjD,OAAO,EAAE,uCAAuC;IAChD,OAAO,EAAE,sDAAsD;IAC/D,OAAO,EAAE,yDAAyD;IAClE,OAAO,EACL,wEAAwE;IAC1E,OAAO,EAAE,gDAAgD;IACzD,OAAO,EAAE,4DAA4D;IACrE,OAAO,EAAE,gCAAgC;CAC1C,CAAC;AACF,MAAM,UAAU,KAAK,CACnB,IAAkB,EAClB,IAAY,EACZ,OAAe;IAEf,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,OAAO;QACP,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;QAChB,QAAQ,EACN,IAAI,KAAK,SAAS;YAChB,CAAC,CAAC,eAAe;YACjB,CAAC,CAAC,IAAI,KAAK,SAAS;gBAClB,CAAC,CAAC,gBAAgB;gBAClB,CAAC,CAAC,mBAAmB;KAC5B,CAAC;AACJ,CAAC;AACD,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACxE,IAAI;IACJ,GAAG;IACH,KAAK,EAAE,GAAG;IACV,QAAQ,EAAE,mBAAmB;IAC7B,MAAM,EAAE,UAAU;CACnB,CAAC,CAAC,CAAC;AACJ,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,EAAE,CAC5C,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC"}

package/dist/evolution.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evolution.d.ts","sourceRoot":"","sources":["../src/evolution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAS,KAAK,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAgBxD,wFAAwF;AACxF,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,WAAW,EACjB,IAAI,EAAE,WAAW,GAChB,QAAQ,EAAE,CA0BZ"}
+{"version":3,"file":"evolution.d.ts","sourceRoot":"","sources":["../src/evolution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAS,KAAK,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAgBxD,wFAAwF;AACxF,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,WAAW,EACjB,IAAI,EAAE,WAAW,GAChB,QAAQ,EAAE,CAkCZ"}

package/dist/evolution.js

@@ -20,6 +20,11 @@ export function diffValidatedUdlEvolution(live, next) {
     for (const [name, party] of Object.entries(live.parties))
         if (stable(party) !== stable(next.parties[name]))
             refuse(`$.parties.${name}`, "a live party cannot change or disappear");
+    for (const object of live.objects) {
+        const updated = next.objects.find((o) => o.id === object.id);
+        if (!updated || stable(object) !== stable(updated))
+            refuse(`$.objects.${object.id}`, "a live object kind cannot change or disappear; recreate development estates");
+    }
     for (const instrument of live.instruments) {
         const updated = next.instruments.find((i) => i.id === instrument.id);
         if (!updated || stable(instrument) !== stable(updated))

package/dist/evolution.js.map

@@ -1 +1 @@
-{"version":3,"file":"evolution.js","sourceRoot":"","sources":["../src/evolution.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAiB,MAAM,kBAAkB,CAAC;AAExD,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IACzE,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QACpC,OAAO,CACL,GAAG;YACH,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;iBAClB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBAChD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;iBAChE,IAAI,CAAC,GAAG,CAAC;YACZ,GAAG,CACJ,CAAC;IACJ,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC;AAC9C,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,yBAAyB,CACvC,IAAiB,EACjB,IAAiB;IAEjB,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,EAAE,CAC/C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/C,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ;QAClE,MAAM,CAAC,GAAG,EAAE,6CAA6C,CAAC,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;QACtD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,CAAC,aAAa,IAAI,EAAE,EAAE,yCAAyC,CAAC,CAAC;IAC3E,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC;YACpD,MAAM,CACJ,iBAAiB,UAAU,CAAC,EAAE,EAAE,EAChC,4EAA4E,CAC7E,CAAC;IACN,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO;QAC/D,MAAM,CAAC,IAAI,CACT,KAAK,CACH,SAAS,EACT,WAAW,EACX,2CAA2C,CAC5C,CACF,CAAC;IACJ,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"evolution.js","sourceRoot":"","sources":["../src/evolution.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAiB,MAAM,kBAAkB,CAAC;AAExD,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IACzE,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QACpC,OAAO,CACL,GAAG;YACH,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;iBAClB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBAChD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;iBAChE,IAAI,CAAC,GAAG,CAAC;YACZ,GAAG,CACJ,CAAC;IACJ,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC;AAC9C,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,yBAAyB,CACvC,IAAiB,EACjB,IAAiB;IAEjB,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,EAAE,CAC/C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/C,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ;QAClE,MAAM,CAAC,GAAG,EAAE,6CAA6C,CAAC,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;QACtD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,CAAC,aAAa,IAAI,EAAE,EAAE,yCAAyC,CAAC,CAAC;IAC3E,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC;QAC7D,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC;YAChD,MAAM,CACJ,aAAa,MAAM,CAAC,EAAE,EAAE,EACxB,6EAA6E,CAC9E,CAAC;IACN,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC;YACpD,MAAM,CACJ,iBAAiB,UAAU,CAAC,EAAE,EAAE,EAChC,4EAA4E,CAC7E,CAAC;IACN,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO;QAC/D,MAAM,CAAC,IAAI,CACT,KAAK,CACH,SAAS,EACT,WAAW,EACX,2CAA2C,CAC5C,CACF,CAAC;IACJ,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/index.d.ts

@@ -1,7 +1,7 @@
 export * from "./schema.js";
 export { parseUdl, canonicalizeUdl } from "./parser.js";
 export { serializeUdl, canonicalDigest } from "./canonical.js";
-export { validateUdl, assertValidUdl, resolveField, UdlError, type UdlValidationResult, } from "./validation.js";
+export { validateUdl, RESERVED_OBJECT_NAMES, assertValidUdl, resolveField, resolveSubjectRequirement, UdlError, type UdlValidationResult, } from "./validation.js";
 export { issue, udlDiagnostic, udlDiagnostics, type UdlIssue, type UdlIssueCode, } from "./diagnostics.js";
 export { analyzeInstrumentFinance, type FinanceIssue } from "./finance.js";
 export { mapUdlInstrumentReferences, referencedUdlInstrumentIds, } from "./instrument-references.js";
@@ -9,4 +9,5 @@ export { diffValidatedUdlEvolution } from "./evolution.js";
 export { fixedIsoDurationMs } from "./duration.js";
 export * from "./reporting.js";
 export { validateReportDefinition, reportExpressionTypes, } from "./reporting-validation.js";
+export * from "./object-contract.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EACL,WAAW,EACX,cAAc,EACd,YAAY,EACZ,QAAQ,EACR,KAAK,mBAAmB,GACzB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,KAAK,EACL,aAAa,EACb,cAAc,EACd,KAAK,QAAQ,EACb,KAAK,YAAY,GAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,wBAAwB,EAAE,KAAK,YAAY,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EACL,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEnD,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EACL,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,2BAA2B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EACL,WAAW,EACX,qBAAqB,EACrB,cAAc,EACd,YAAY,EACZ,yBAAyB,EACzB,QAAQ,EACR,KAAK,mBAAmB,GACzB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,KAAK,EACL,aAAa,EACb,cAAc,EACd,KAAK,QAAQ,EACb,KAAK,YAAY,GAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,wBAAwB,EAAE,KAAK,YAAY,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EACL,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEnD,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EACL,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,cAAc,sBAAsB,CAAC"}

package/dist/index.js

@@ -1,7 +1,7 @@
 export * from "./schema.js";
 export { parseUdl, canonicalizeUdl } from "./parser.js";
 export { serializeUdl, canonicalDigest } from "./canonical.js";
-export { validateUdl, assertValidUdl, resolveField, UdlError, } from "./validation.js";
+export { validateUdl, RESERVED_OBJECT_NAMES, assertValidUdl, resolveField, resolveSubjectRequirement, UdlError, } from "./validation.js";
 export { issue, udlDiagnostic, udlDiagnostics, } from "./diagnostics.js";
 export { analyzeInstrumentFinance } from "./finance.js";
 export { mapUdlInstrumentReferences, referencedUdlInstrumentIds, } from "./instrument-references.js";
@@ -9,4 +9,5 @@ export { diffValidatedUdlEvolution } from "./evolution.js";
 export { fixedIsoDurationMs } from "./duration.js";
 export * from "./reporting.js";
 export { validateReportDefinition, reportExpressionTypes, } from "./reporting-validation.js";
+export * from "./object-contract.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EACL,WAAW,EACX,cAAc,EACd,YAAY,EACZ,QAAQ,GAET,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,KAAK,EACL,aAAa,EACb,cAAc,GAGf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,wBAAwB,EAAqB,MAAM,cAAc,CAAC;AAC3E,OAAO,EACL,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEnD,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EACL,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,2BAA2B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EACL,WAAW,EACX,qBAAqB,EACrB,cAAc,EACd,YAAY,EACZ,yBAAyB,EACzB,QAAQ,GAET,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,KAAK,EACL,aAAa,EACb,cAAc,GAGf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,wBAAwB,EAAqB,MAAM,cAAc,CAAC;AAC3E,OAAO,EACL,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEnD,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EACL,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AACnC,cAAc,sBAAsB,CAAC"}

package/dist/instrument-references.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"instrument-references.d.ts","sourceRoot":"","sources":["../src/instrument-references.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,WAAW,EAChB,KAAK,aAAa,EACnB,MAAM,aAAa,CAAC;AAOrB,iFAAiF;AACjF,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,WAAW,EACrB,GAAG,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,GAC1B,WAAW,CA2Db;AAED,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,aAAa,GACxB,SAAS,MAAM,EAAE,CAmBnB"}
+{"version":3,"file":"instrument-references.d.ts","sourceRoot":"","sources":["../src/instrument-references.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,WAAW,EAChB,KAAK,aAAa,EACnB,MAAM,aAAa,CAAC;AAOrB,iFAAiF;AACjF,wBAAgB,0BAA0B,CACxC,QAAQ,EAAE,WAAW,EACrB,GAAG,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,GAC1B,WAAW,CAkFb;AAED,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,aAAa,GACxB,SAAS,MAAM,EAAE,CAoBnB"}

package/dist/instrument-references.js

@@ -33,6 +33,25 @@ export function mapUdlInstrumentReferences(document, map) {
         }
         else if (object(value)) {
             const properties = object(schema.properties) ? schema.properties : {};
+            const discriminator = object(properties.type)
+                ? properties.type.const
+                : undefined;
+            if ((discriminator === "ref" || discriminator === "list") &&
+                value.type === discriminator &&
+                value.targetKind === "instrument") {
+                if (typeof value.target === "string")
+                    locations.set(JSON.stringify([...path, "target"]), {
+                        parent: value,
+                        key: "target",
+                        kind: "instrument",
+                    });
+                else if (Array.isArray(value.target))
+                    value.target.forEach((_, index) => locations.set(JSON.stringify([...path, "target", index]), {
+                        parent: value.target,
+                        key: index,
+                        kind: "instrument",
+                    }));
+            }
             for (const [name, entry] of Object.entries(value))
                 visit(properties[name] ?? schema.additionalProperties, entry, value, name, [...path, name]);
         }
@@ -53,12 +72,13 @@ export function mapUdlInstrumentReferences(document, map) {
 export function referencedUdlInstrumentIds(instrument) {
     const found = new Set();
     mapUdlInstrumentReferences({
-        udl: 3,
+        udl: 4,
         version: 1,
         product: "references",
         title: "References",
         currency: "SAR",
         parties: {},
+        objects: [],
         instruments: [instrument],
     }, (id) => {
         found.add(id);

package/dist/instrument-references.js.map

@@ -1 +1 @@
-{"version":3,"file":"instrument-references.js","sourceRoot":"","sources":["../src/instrument-references.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EACL,iBAAiB,GAGlB,MAAM,aAAa,CAAC;AAGrB,MAAM,MAAM,GAAG,CAAC,KAAc,EAAmB,EAAE,CACjD,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACvE,IAAI,cAAkC,CAAC;AAEvC,iFAAiF;AACjF,MAAM,UAAU,0BAA0B,CACxC,QAAqB,EACrB,GAA2B;IAE3B,MAAM,IAAI,GAAG,CAAC,cAAc,KAAK,CAAC,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,IAAI,GAAG,EAGtB,CAAC;IACJ,SAAS,KAAK,CACZ,MAAe,EACf,KAAc,EACd,MAA0B,EAC1B,GAAoB,EACpB,IAAkC;QAElC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YAAE,OAAO;QAC5B,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACpC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;gBAC/B,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;YACxD,IAAI,MAAM,GAAY,IAAI,CAAC;YAC3B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnD,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;oBACrB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;oBAC1D,CAAC,CAAC,SAAS,CAAC;YAChB,CAAC;YACD,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;QACvC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;YACvD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC;YAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBACtB,KAAK,MAAM,MAAM,IAAI,KAAK;oBAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACxE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC7B,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAC3D,CAAC;QACJ,CAAC;aAAM,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;gBAC/C,KAAK,CACH,UAAU,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,oBAAoB,EAC/C,KAAK,EACL,KAAK,EACL,IAAI,EACJ,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAChB,CAAC;QACN,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACrC,KAAK,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACvD,MAAM,MAAM,GAAG,MAA0C,CAAC;QAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAW,CAAC;QACpC,IAAI,IAAI,KAAK,YAAY;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;aAC/C,IAAI,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACrC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACrC,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,UAAyB;IAEzB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,0BAA0B,CACxB;QACE,GAAG,EAAE,CAAC;QACN,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,YAAY;QACnB,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,EAAE;QACX,WAAW,EAAE,CAAC,UAAU,CAAC;KAC1B,EACD,CAAC,EAAE,EAAE,EAAE;QACL,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACd,OAAO,EAAE,CAAC;IACZ,CAAC,CACF,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC"}
+{"version":3,"file":"instrument-references.js","sourceRoot":"","sources":["../src/instrument-references.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EACL,iBAAiB,GAGlB,MAAM,aAAa,CAAC;AAGrB,MAAM,MAAM,GAAG,CAAC,KAAc,EAAmB,EAAE,CACjD,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACvE,IAAI,cAAkC,CAAC;AAEvC,iFAAiF;AACjF,MAAM,UAAU,0BAA0B,CACxC,QAAqB,EACrB,GAA2B;IAE3B,MAAM,IAAI,GAAG,CAAC,cAAc,KAAK,CAAC,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,IAAI,GAAG,EAGtB,CAAC;IACJ,SAAS,KAAK,CACZ,MAAe,EACf,KAAc,EACd,MAA0B,EAC1B,GAAoB,EACpB,IAAkC;QAElC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YAAE,OAAO;QAC5B,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACpC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;gBAC/B,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;YACxD,IAAI,MAAM,GAAY,IAAI,CAAC;YAC3B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnD,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;oBACrB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;oBAC1D,CAAC,CAAC,SAAS,CAAC;YAChB,CAAC;YACD,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;QACvC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ;YACvD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC;YAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBACtB,KAAK,MAAM,MAAM,IAAI,KAAK;oBAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACxE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC7B,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAC3D,CAAC;QACJ,CAAC;aAAM,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YACtE,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC;gBAC3C,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK;gBACvB,CAAC,CAAC,SAAS,CAAC;YACd,IACE,CAAC,aAAa,KAAK,KAAK,IAAI,aAAa,KAAK,MAAM,CAAC;gBACrD,KAAK,CAAC,IAAI,KAAK,aAAa;gBAC5B,KAAK,CAAC,UAAU,KAAK,YAAY,EACjC,CAAC;gBACD,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;oBAClC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE;wBACjD,MAAM,EAAE,KAAK;wBACb,GAAG,EAAE,QAAQ;wBACb,IAAI,EAAE,YAAY;qBACnB,CAAC,CAAC;qBACA,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;oBAClC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAChC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,EAAE;wBACxD,MAAM,EAAE,KAAK,CAAC,MAAmB;wBACjC,GAAG,EAAE,KAAK;wBACV,IAAI,EAAE,YAAY;qBACnB,CAAC,CACH,CAAC;YACN,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;gBAC/C,KAAK,CACH,UAAU,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,oBAAoB,EAC/C,KAAK,EACL,KAAK,EACL,IAAI,EACJ,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAChB,CAAC;QACN,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACrC,KAAK,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACvD,MAAM,MAAM,GAAG,MAA0C,CAAC;QAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAW,CAAC;QACpC,IAAI,IAAI,KAAK,YAAY;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;aAC/C,IAAI,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACrC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACrC,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,UAAyB;IAEzB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,0BAA0B,CACxB;QACE,GAAG,EAAE,CAAC;QACN,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,YAAY;QACnB,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,EAAE;QACX,WAAW,EAAE,CAAC,UAAU,CAAC;KAC1B,EACD,CAAC,EAAE,EAAE,EAAE;QACL,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACd,OAAO,EAAE,CAAC;IACZ,CAAC,CACF,CAAC;IACF,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC"}

package/dist/object-contract.d.ts

@@ -0,0 +1,144 @@
+import * as z from "zod";
+import { type UdlDocument, type UdlField, type UdlObjectField, type UdlObjectKind } from "./schema.js";
+export declare const requestAttributionSchema: z.ZodUnion<readonly [z.ZodObject<{
+    kind: z.ZodLiteral<"human">;
+    principalId: z.ZodString;
+    humanId: z.ZodString;
+    source: z.ZodEnum<{
+        customer_session: "customer_session";
+        staff_session: "staff_session";
+    }>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"machine">;
+    principalId: z.ZodString;
+    source: z.ZodEnum<{
+        api_key: "api_key";
+        system: "system";
+    }>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"machine">;
+    principalId: z.ZodString;
+    humanId: z.ZodString;
+    source: z.ZodLiteral<"api_key_delegate">;
+}, z.core.$strict>]>;
+export type RequestAttribution = z.infer<typeof requestAttributionSchema>;
+export type JsonSchemaDocument = z.core.JSONSchema.BaseSchema;
+export interface ObjectKindDiscovery {
+    creation: true;
+    kind: string;
+    title: string;
+    fields: readonly UdlObjectField[];
+    authoredFields: readonly string[];
+    columns: readonly string[];
+    createSchema: JsonSchemaDocument;
+    actions: readonly ObjectActionDiscovery[];
+}
+export type ObjectActionTarget = {
+    kind: "attachment";
+    attachment: string;
+} | {
+    kind: "instance";
+    attachment: string;
+    instanceId: string;
+};
+export interface ObjectActionContext {
+    productBuildId: string;
+    digest: string;
+    target: ObjectActionTarget;
+}
+export interface ObjectActionDiscovery extends ObjectActionContext {
+    name: string;
+    title: string;
+    instrument: string;
+    action: string;
+    requirements: readonly UdlObjectField[];
+    creationRequirements?: readonly UdlObjectField[];
+    creationOnlyNames?: readonly string[];
+    inputSchema: JsonSchemaDocument;
+    fieldsSchema: JsonSchemaDocument;
+    availability: {
+        status: "available";
+    } | {
+        status: "unavailable";
+        code: string;
+        message: string;
+    };
+}
+export type EvidenceState = "missing" | "pending" | "satisfied" | "refused" | "stale";
+export interface ObjectEvidenceSummary {
+    requirementId: string;
+    subjectId: string;
+    protectedInputDigest: string;
+    adapter: string;
+    declarationDigest: string;
+    productBuildId: string;
+    state: EvidenceState;
+    reference?: string;
+    observedAt?: string;
+    reasonCode?: string;
+}
+export interface ObjectActionState extends ObjectActionDiscovery {
+    requiredNow: readonly string[];
+    evidence?: readonly ObjectEvidenceSummary[];
+}
+/** GET /v1/products/{productId}/objects. Core supplies the frozen Build identity. */
+export type RetainedObjectKind = Pick<ObjectKindDiscovery, "kind" | "title" | "fields" | "authoredFields" | "columns"> & {
+    productBuildId: string;
+    digest: string;
+    creation: false;
+};
+export interface ObjectDiscovery {
+    retainedKinds: readonly RetainedObjectKind[];
+    productBuildId: string;
+    digest: string;
+    kinds: readonly ObjectKindDiscovery[];
+}
+export interface ObjectActionsResponse {
+    objectId: string;
+    revision: number;
+    actions: readonly ObjectActionState[];
+    evidence: readonly ObjectEvidenceSummary[];
+}
+export interface ObjectInstance {
+    objectId: string;
+    kind: string;
+    revision: number;
+    externalId?: string;
+    fields: Record<string, unknown>;
+    productBuildId: string;
+}
+export interface ObjectListResponse {
+    items: ObjectInstance[];
+    nextCursor?: string;
+}
+export interface ObjectActionResponse {
+    object: ObjectInstance;
+    outcome: {
+        instrument: string;
+        instanceId: string;
+        state: string;
+    } | null;
+    evidence: readonly ObjectEvidenceSummary[];
+}
+/** Values, rather than declarations. The same validator feeds forms and admission. */
+export declare function udlFieldValueSchema(field: UdlField): z.ZodType;
+/** Creation accepts the full metadata union, with every value optional. */
+export declare function objectCreateSchema(kind: UdlObjectKind): z.ZodObject;
+/** Canonical UDL supplies meaning; core adds authority, lifecycle and readiness. */
+export declare function projectObjectDiscovery(document: UdlDocument, build: Pick<ObjectDiscovery, "productBuildId" | "digest">): ObjectDiscovery;
+/** Object-specific values determine missing fields; global discovery cannot. */
+export declare function objectActionState(action: ObjectActionDiscovery, fields: Readonly<Record<string, unknown>>, options?: {
+    attached?: boolean;
+} | boolean): ObjectActionState;
+export interface SubjectRequirementIssue {
+    code: "subject_requirement_missing" | "subject_field_unknown" | "subject_adapter_unbound";
+    action: string;
+    field?: string;
+    origin: string;
+    message: string;
+}
+/** Check merged metadata before dispatch. Runtime guards add their active child requirements. */
+export declare function validateObjectActionSubject(action: ObjectActionDiscovery, storedFields: Readonly<Record<string, unknown>>, submittedFields: Readonly<Record<string, unknown>>, options?: {
+    attached?: boolean;
+} | boolean): readonly SubjectRequirementIssue[];
+//# sourceMappingURL=object-contract.d.ts.map

package/dist/object-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-contract.d.ts","sourceRoot":"","sources":["../src/object-contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAGL,KAAK,WAAW,EAChB,KAAK,QAAQ,EACb,KAAK,cAAc,EACnB,KAAK,aAAa,EACnB,MAAM,aAAa,CAAC;AAErB,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;oBAkBnC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;AAE9D,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,IAAI,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAClC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,YAAY,EAAE,kBAAkB,CAAC;IACjC,OAAO,EAAE,SAAS,qBAAqB,EAAE,CAAC;CAC3C;AACD,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC;AACjE,MAAM,WAAW,mBAAmB;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,kBAAkB,CAAC;CAC5B;AACD,MAAM,WAAW,qBAAsB,SAAQ,mBAAmB;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,SAAS,cAAc,EAAE,CAAC;IACxC,oBAAoB,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACjD,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,WAAW,EAAE,kBAAkB,CAAC;IAChC,YAAY,EAAE,kBAAkB,CAAC;IACjC,YAAY,EACR;QAAE,MAAM,EAAE,WAAW,CAAA;KAAE,GACvB;QAAE,MAAM,EAAE,aAAa,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAC9D;AACD,MAAM,MAAM,aAAa,GACrB,SAAS,GACT,SAAS,GACT,WAAW,GACX,SAAS,GACT,OAAO,CAAC;AAEZ,MAAM,WAAW,qBAAqB;IACpC,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,aAAa,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,iBAAkB,SAAQ,qBAAqB;IAC9D,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,CAAC,EAAE,SAAS,qBAAqB,EAAE,CAAC;CAC7C;AACD,qFAAqF;AACrF,MAAM,MAAM,kBAAkB,GAAG,IAAI,CACnC,mBAAmB,EACnB,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,gBAAgB,GAAG,SAAS,CAC3D,GAAG;IACF,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,KAAK,CAAC;CACjB,CAAC;AACF,MAAM,WAAW,eAAe;IAC9B,aAAa,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC7C,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACvC;AACD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACtC,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAC;CAC5C;AACD,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,cAAc,EAAE,MAAM,CAAC;CACxB;AACD,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AACD,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAC1E,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAC;CAC5C;AAKD,sFAAsF;AACtF,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,QAAQ,GAAG,CAAC,CAAC,OAAO,CA+E9D;AACD,2EAA2E;AAC3E,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,aAAa,GAAG,CAAC,CAAC,SAAS,CAcnE;AAED,oFAAoF;AACpF,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,WAAW,EACrB,KAAK,EAAE,IAAI,CAAC,eAAe,EAAE,gBAAgB,GAAG,QAAQ,CAAC,GACxD,eAAe,CAiJjB;AAED,gFAAgF;AAChF,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,qBAAqB,EAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,OAAO,CAAC,EAAE;IAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,GACzC,iBAAiB,CAkBnB;AACD,MAAM,WAAW,uBAAuB;IACtC,IAAI,EACA,6BAA6B,GAC7B,uBAAuB,GACvB,yBAAyB,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,iGAAiG;AACjG,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,qBAAqB,EAC7B,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC/C,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAClD,OAAO,CAAC,EAAE;IAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,GACzC,SAAS,uBAAuB,EAAE,CA0CpC"}

package/dist/object-contract.js

@@ -0,0 +1,279 @@
+import * as z from "zod";
+import { udlExternalIdSchema, udlObjectIdSchema, } from "./schema.js";
+export const requestAttributionSchema = z.union([
+    z.strictObject({
+        kind: z.literal("human"),
+        principalId: z.string().min(1),
+        humanId: z.string().min(1),
+        source: z.enum(["staff_session", "customer_session"]),
+    }),
+    z.strictObject({
+        kind: z.literal("machine"),
+        principalId: z.string().min(1),
+        source: z.enum(["api_key", "system"]),
+    }),
+    z.strictObject({
+        kind: z.literal("machine"),
+        principalId: z.string().min(1),
+        humanId: z.string().min(1),
+        source: z.literal("api_key_delegate"),
+    }),
+]);
+const amount = z.string().regex(/^(0|[1-9][0-9]{0,17})$/);
+const text = z.string().min(1).max(2048);
+/** Values, rather than declarations. The same validator feeds forms and admission. */
+export function udlFieldValueSchema(field) {
+    let schema;
+    switch (field.type) {
+        case "money":
+            schema = amount
+                .refine((value) => /^(0|[1-9][0-9]{0,17})$/.test(value) &&
+                (field.minimum === undefined ||
+                    BigInt(value) >= BigInt(field.minimum)) &&
+                (field.maximum === undefined ||
+                    BigInt(value) <= BigInt(field.maximum)), "Money is outside its declared bounds")
+                .meta({
+                ...(field.minimum !== undefined
+                    ? { "x-udl-minimum": field.minimum }
+                    : {}),
+                ...(field.maximum !== undefined
+                    ? { "x-udl-maximum": field.maximum }
+                    : {}),
+            });
+            break;
+        case "account":
+            schema = text;
+            break;
+        case "ref":
+            schema = field.targetKind === "object" ? udlObjectIdSchema : text;
+            break;
+        case "date":
+            schema = z.iso.datetime({ offset: true });
+            break;
+        case "duration":
+            schema = z.number().int().safe().positive();
+            break;
+        case "text": {
+            let value = z
+                .string()
+                .min(field.minLength ?? 1)
+                .max(field.maxLength ?? 2048);
+            if (field.pattern)
+                value = value.regex(new RegExp(field.pattern));
+            schema = value;
+            break;
+        }
+        case "integer": {
+            let value = z.number().int().safe();
+            if (field.minimum !== undefined)
+                value = value.min(field.minimum);
+            if (field.maximum !== undefined)
+                value = value.max(field.maximum);
+            schema = value;
+            break;
+        }
+        case "percent":
+            schema = z.number().int().min(0).max(10000);
+            break;
+        case "boolean":
+            schema = z.boolean();
+            break;
+        case "enum":
+            schema = z.enum(field.values);
+            break;
+        case "list": {
+            const item = field.item === "money"
+                ? amount
+                : field.item === "date"
+                    ? z.iso.datetime({ offset: true })
+                    : field.item === "integer"
+                        ? z.number().int().safe()
+                        : field.item === "ref" && field.targetKind === "object"
+                            ? udlObjectIdSchema
+                            : text;
+            schema = z.array(item).max(field.maxItems);
+            break;
+        }
+    }
+    if ("value" in field && field.value !== undefined)
+        schema = z.literal(field.value);
+    if (field.description)
+        schema = schema.describe(field.description);
+    return schema;
+}
+/** Creation accepts the full metadata union, with every value optional. */
+export function objectCreateSchema(kind) {
+    return z.strictObject({
+        externalId: udlExternalIdSchema.optional(),
+        fields: z
+            .strictObject(Object.fromEntries(kind.fields.map((field) => [
+            field.name,
+            udlFieldValueSchema(field).optional(),
+        ])))
+            .optional(),
+    });
+}
+/** Canonical UDL supplies meaning; core adds authority, lifecycle and readiness. */
+export function projectObjectDiscovery(document, build) {
+    return {
+        ...build,
+        retainedKinds: [],
+        kinds: document.objects.map((kind) => ({
+            creation: true,
+            kind: kind.id,
+            title: kind.title,
+            fields: kind.fields,
+            authoredFields: kind.authoredFields,
+            columns: kind.columns,
+            createSchema: z.toJSONSchema(objectCreateSchema(kind), { io: "input" }),
+            actions: document.instruments
+                .filter((instrument) => instrument.subject === kind.id)
+                .flatMap((instrument) => {
+                const createHidden = !!instrument.actions.create &&
+                    !instrument.actions.create.publicAction;
+                const attachmentRefListFields = instrument.fields.filter((field) => field.type === "list" &&
+                    field.item === "ref" &&
+                    field.targetKind !== "object");
+                return instrument.actionOrder.flatMap((name) => {
+                    const action = instrument.actions[name];
+                    if (!action.publicAction)
+                        return [];
+                    const transition = instrument.lifecycle.transitions[name];
+                    const canStartFromInitial = Boolean(transition?.from.includes(instrument.lifecycle.initial));
+                    const isCreationAction = name === "create" || (createHidden && canStartFromInitial);
+                    const rawCreateReqs = isCreationAction
+                        ? [
+                            ...(instrument.actions.create?.subject?.requirements ?? []),
+                            ...attachmentRefListFields.map((field) => ({ field })),
+                        ]
+                        : [];
+                    const actionReqs = action.subject?.requirements ?? [];
+                    const actionReqNames = new Set(actionReqs.map((r) => r.objectField ?? r.field.name));
+                    const mergedReqs = [...actionReqs];
+                    for (const req of rawCreateReqs) {
+                        const reqName = req.objectField ?? req.field.name;
+                        if (!mergedReqs.some((r) => (r.objectField ?? r.field.name) === reqName)) {
+                            mergedReqs.push(req);
+                        }
+                    }
+                    const unbound = [
+                        ...(action.subject?.adapters ?? []),
+                        ...(isCreationAction
+                            ? (instrument.actions.create?.subject?.adapters ?? [])
+                            : []),
+                    ].find((adapter) => adapter.snapshot === null);
+                    const seenCreation = new Set();
+                    const creationRequirements = [];
+                    for (const requirement of rawCreateReqs) {
+                        const name = requirement.objectField ?? requirement.field.name;
+                        if (!seenCreation.has(name)) {
+                            seenCreation.add(name);
+                            creationRequirements.push({
+                                ...requirement.field,
+                                name,
+                            });
+                        }
+                    }
+                    const creationOnlyNames = creationRequirements
+                        .map((field) => field.name)
+                        .filter((name) => !actionReqNames.has(name));
+                    return [
+                        {
+                            ...build,
+                            target: {
+                                kind: "attachment",
+                                attachment: kind.attachments.find((attachment) => attachment.instrument === instrument.id).name,
+                            },
+                            name: action.publicAction,
+                            title: action.summary,
+                            instrument: instrument.id,
+                            action: name,
+                            requirements: mergedReqs.map((requirement) => ({
+                                ...requirement.field,
+                                name: requirement.objectField ?? requirement.field.name,
+                            })),
+                            ...(creationRequirements.length > 0
+                                ? { creationRequirements }
+                                : {}),
+                            ...(creationRequirements.length > 0
+                                ? { creationOnlyNames }
+                                : {}),
+                            fieldsSchema: z.toJSONSchema(z.strictObject(Object.fromEntries(mergedReqs.map((requirement) => [
+                                requirement.objectField ?? requirement.field.name,
+                                udlFieldValueSchema(requirement.field).optional(),
+                            ]))), { io: "input" }),
+                            inputSchema: z.toJSONSchema(z.strictObject(Object.fromEntries(action.input.map((field) => [
+                                field.name,
+                                field.optional
+                                    ? udlFieldValueSchema(field).optional()
+                                    : udlFieldValueSchema(field),
+                            ]))), { io: "input" }),
+                            availability: unbound
+                                ? {
+                                    status: "unavailable",
+                                    code: "subject_adapter_unbound",
+                                    message: `Adapter declaration ${unbound.binding} is unavailable`,
+                                }
+                                : { status: "available" },
+                        },
+                    ];
+                });
+            }),
+        })),
+    };
+}
+/** Object-specific values determine missing fields; global discovery cannot. */
+export function objectActionState(action, fields, options) {
+    const attached = typeof options === "boolean" ? options : (options?.attached ?? false);
+    const creationFilter = new Set(action.creationOnlyNames ?? []);
+    return {
+        ...action,
+        requiredNow: action.requirements
+            .filter((field) => {
+            const value = fields[field.name];
+            const optional = field.optional || (attached && creationFilter.has(field.name));
+            return (!(optional && value === undefined) &&
+                !udlFieldValueSchema(field).safeParse(value).success);
+        })
+            .map((field) => field.name),
+    };
+}
+/** Check merged metadata before dispatch. Runtime guards add their active child requirements. */
+export function validateObjectActionSubject(action, storedFields, submittedFields, options) {
+    const origin = `${action.instrument}.${action.action}.subject`;
+    const issues = [];
+    if (action.availability.status === "unavailable" &&
+        action.availability.code === "subject_adapter_unbound") {
+        issues.push({
+            code: "subject_adapter_unbound",
+            action: action.name,
+            origin,
+            message: action.availability.message,
+        });
+    }
+    const admitted = new Set(action.requirements.map((field) => field.name));
+    for (const field of Object.keys(submittedFields)) {
+        if (!admitted.has(field))
+            issues.push({
+                code: "subject_field_unknown",
+                action: action.name,
+                field,
+                origin,
+                message: `${field} is not admitted by ${action.name}`,
+            });
+    }
+    for (const field of objectActionState(action, {
+        ...storedFields,
+        ...submittedFields,
+    }, options).requiredNow) {
+        issues.push({
+            code: "subject_requirement_missing",
+            action: action.name,
+            field,
+            origin: `${origin}.${field}`,
+            message: `${action.name} requires a valid ${field}`,
+        });
+    }
+    return issues;
+}
+//# sourceMappingURL=object-contract.js.map