@humain/humain-code-contracts 0.3.2 → 0.4.0

package/dist/trace-payload.d.ts

@@ -37,6 +37,29 @@ export declare const DH_LOCAL_CANCELLATION_DIAGNOSTICS: readonly ["cancelled_bef
 export type DhLocalCancellationDiagnostic = (typeof DH_LOCAL_CANCELLATION_DIAGNOSTICS)[number];
 /** Payload schema ids accepted on a kind (empty for kinds that only carry legacy freeform payloads). */
 export declare function dhPayloadSchemaIdsForKind(kind: DhEventKind): readonly DhPayloadSchemaId[];
+/** Unknown is explicit (`state: unknown`); an absent count is unknown, never zero; price is known-with-provenance or unknown. */
+declare const measurement: () => Type.TUnion<[Type.TObject<{
+    readonly state: Type.TLiteral<"unknown">;
+}>, Type.TObject<{
+    readonly state: Type.TLiteral<"reported">;
+    readonly input: Type.TOptional<Type.TInteger>;
+    readonly output: Type.TOptional<Type.TInteger>;
+    readonly cacheRead: Type.TOptional<Type.TInteger>;
+    readonly cacheWrite: Type.TOptional<Type.TInteger>;
+    readonly reasoning: Type.TOptional<Type.TInteger>;
+    readonly totalTokens: Type.TOptional<Type.TInteger>;
+    readonly durationMs: Type.TOptional<Type.TInteger>;
+    readonly cost: Type.TUnion<[Type.TObject<{
+        readonly state: Type.TLiteral<"unknown">;
+    }>, Type.TObject<{
+        readonly state: Type.TLiteral<"known">;
+        readonly amount: Type.TNumber;
+        readonly currency: Type.TString;
+        readonly priceProvenance: Type.TString;
+    }>]>;
+}>]>;
+type Measurement = Static<ReturnType<typeof measurement>>;
+declare function assertMeasurement(id: string, value: Measurement): void;
 declare function modelSubmissionSchema(): Type.TObject<{
     readonly schema: Type.TLiteral<"dh.payload.model-submission/1">;
     readonly requestId: Type.TString;
@@ -421,5 +444,6 @@ interface DhControlObserved {
     readonly consumingEventId?: string;
 }
 export declare function assertDhAppliedControlEvidence(target: DhControlEvidenceTarget, action: "retry" | "continue", observed: DhControlObserved, events: readonly DhEventV1[]): void;
-export {};
+/** Shared with trace-records.ts so the usage response/correction DTOs cannot drift from dh.payload.usage/1. */
+export { assertMeasurement as assertDhUsageMeasurement, measurement as dhUsageMeasurementSchema };
 //# sourceMappingURL=trace-payload.d.ts.map

package/dist/trace-payload.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"trace-payload.d.ts","sourceRoot":"","sources":["../src/trace-payload.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAgB,IAAI,EAAE,MAAM,SAAS,CAAC;AAC1D,OAAO,EAON,KAAK,YAAY,EAGjB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,mBAAmB,EAExB,MAAM,YAAY,CAAC;AAuBpB,eAAO,MAAM,qBAAqB;4BAClB,6BAA6B;yBAChC,0BAA0B;wBAC3B,wBAAwB;+BACjB,gCAAgC;4BACnC,6BAA6B;mCACtB,oCAAoC;iCACtC,kCAAkC;2BACxC,4BAA4B;2BAC5B,4BAA4B;gCACvB,iCAAiC;4BACrC,6BAA6B;8BAC3B,+BAA+B;uBACtC,wBAAwB;yBACtB,0BAA0B;oBAC/B,oBAAoB;EACjB,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,OAAO,qBAAqB,CAAC,CAAC;AAEnG,mGAAmG;AACnG,eAAO,MAAM,gCAAgC,EAAE,SAAS,WAAW,EAgBjE,CAAC;AAEH,2EAA2E;AAC3E,eAAO,MAAM,yBAAyB,EAAE,SAAS,WAAW,EAI1D,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,YACrC,sBAAsB,EACtB,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,CACd,CAAC;AACX,MAAM,MAAM,sBAAsB,GAAG,CAAC,OAAO,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEhF,4GAA4G;AAC5G,eAAO,MAAM,wBAAwB,YACpC,YAAY,EACZ,mBAAmB,EACnB,UAAU,EACV,gBAAgB,EAChB,UAAU,CACD,CAAC;AACX,MAAM,MAAM,qBAAqB,GAAG,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9E,6GAA6G;AAC7G,eAAO,MAAM,iCAAiC,YAC7C,wBAAwB,EACxB,+BAA+B,EAC/B,6BAA6B,CACpB,CAAC;AACX,MAAM,MAAM,6BAA6B,GAAG,CAAC,OAAO,iCAAiC,CAAC,CAAC,MAAM,CAAC,CAAC;AAsB/F,wGAAwG;AACxG,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,WAAW,GAAG,SAAS,iBAAiB,EAAE,CAEzF;AAqJD,iBAAS,qBAAqB;;;;;;;;;;;;;;;;;;;GAiB7B;AACD,MAAM,MAAM,wBAAwB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC;AAExF,iBAAS,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiB3B;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC;AAIpF;;;;;GAKG;AACH,iBAAS,cAAc;;;;;;;;;;IAOrB,oGAAoG;;;GAIrG;AACD,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,cAAc,CAAC,CAAC,CAAC;AAI1E,iBAAS,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;GAkBxB;AACD,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAAC,CAAC;AAI9E,iBAAS,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkC1B;AACD,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAAC;AAIlF,iBAAS,gBAAgB;;;;;;;;;;;GAUxB;AACD,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAAC,CAAC;AAE9E,uHAAuH;AACvH,iBAAS,mBAAmB;;;;;;;GAS3B;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC;AAQpF,iBAAS,sBAAsB;;;;;;;;;;;;GAc9B;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,sBAAsB,CAAC,CAAC,CAAC;AAI1F,iBAAS,kBAAkB;;;;;;IAOzB,mFAAmF;;;;;;;;;;;;;;;;;;;;;;GAkBpF;AACD,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAAC;AAElF;;;;;GAKG;AACH,iBAAS,0BAA0B;;;;;;;;;;GASlC;AACD,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,0BAA0B,CAAC,CAAC,CAAC;AAIlG,iBAAS,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAOnB;AACD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC;AAEpE,iBAAS,mBAAmB;;;;;;;;;;;;;;;;;;;;GAqB3B;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC;AAEpF,iBAAS,wBAAwB;;;;;;;;;;;;;GAiBhC;AACD,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAAC;AAE9F,4FAA4F;AAC5F,iBAAS,uBAAuB;;;;;;;;;;GAY/B;AACD,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC,CAAC;AAE5F,iBAAS,eAAe;;;;;;;;;;;;;;;GAUvB;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,eAAe,CAAC,CAAC,CAAC;AA0a5E;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAgB3D;AA6FD;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CACrC,MAAM,EAAE,SAAS,SAAS,EAAE,EAC5B,SAAS,CAAC,EAAE,SAAS,YAAY,EAAE,EACnC,SAAS,CAAC,EAAE,mBAAmB,GAC7B,MAAM,EAAE,CAudV;AAED,UAAU,uBAAuB;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC5B;AACD,UAAU,iBAAiB;IAC1B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACnC;AA+DD,wBAAgB,8BAA8B,CAC7C,MAAM,EAAE,uBAAuB,EAC/B,MAAM,EAAE,OAAO,GAAG,UAAU,EAC5B,QAAQ,EAAE,iBAAiB,EAC3B,MAAM,EAAE,SAAS,SAAS,EAAE,GAC1B,IAAI,CAWN"}
+{"version":3,"file":"trace-payload.d.ts","sourceRoot":"","sources":["../src/trace-payload.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAgB,IAAI,EAAE,MAAM,SAAS,CAAC;AAC1D,OAAO,EAON,KAAK,YAAY,EAGjB,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,mBAAmB,EAExB,MAAM,YAAY,CAAC;AAuBpB,eAAO,MAAM,qBAAqB;4BAClB,6BAA6B;yBAChC,0BAA0B;wBAC3B,wBAAwB;+BACjB,gCAAgC;4BACnC,6BAA6B;mCACtB,oCAAoC;iCACtC,kCAAkC;2BACxC,4BAA4B;2BAC5B,4BAA4B;gCACvB,iCAAiC;4BACrC,6BAA6B;8BAC3B,+BAA+B;uBACtC,wBAAwB;yBACtB,0BAA0B;oBAC/B,oBAAoB;EACjB,CAAC;AACZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,OAAO,qBAAqB,CAAC,CAAC;AAEnG,mGAAmG;AACnG,eAAO,MAAM,gCAAgC,EAAE,SAAS,WAAW,EAgBjE,CAAC;AAEH,2EAA2E;AAC3E,eAAO,MAAM,yBAAyB,EAAE,SAAS,WAAW,EAI1D,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,YACrC,sBAAsB,EACtB,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,CACd,CAAC;AACX,MAAM,MAAM,sBAAsB,GAAG,CAAC,OAAO,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEhF,4GAA4G;AAC5G,eAAO,MAAM,wBAAwB,YACpC,YAAY,EACZ,mBAAmB,EACnB,UAAU,EACV,gBAAgB,EAChB,UAAU,CACD,CAAC;AACX,MAAM,MAAM,qBAAqB,GAAG,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9E,6GAA6G;AAC7G,eAAO,MAAM,iCAAiC,YAC7C,wBAAwB,EACxB,+BAA+B,EAC/B,6BAA6B,CACpB,CAAC;AACX,MAAM,MAAM,6BAA6B,GAAG,CAAC,OAAO,iCAAiC,CAAC,CAAC,MAAM,CAAC,CAAC;AAsB/F,wGAAwG;AACxG,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,WAAW,GAAG,SAAS,iBAAiB,EAAE,CAEzF;AAsCD,iIAAiI;AACjI,QAAA,MAAM,WAAW;;;;;;;;;;;;;;;;;;;IAsBd,CAAC;AAkDJ,KAAK,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC;AAC1D,iBAAS,iBAAiB,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,GAAG,IAAI,CAM/D;AA+BD,iBAAS,qBAAqB;;;;;;;;;;;;;;;;;;;GAiB7B;AACD,MAAM,MAAM,wBAAwB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC;AAExF,iBAAS,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiB3B;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC;AAIpF;;;;;GAKG;AACH,iBAAS,cAAc;;;;;;;;;;IAOrB,oGAAoG;;;GAIrG;AACD,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,cAAc,CAAC,CAAC,CAAC;AAI1E,iBAAS,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;GAkBxB;AACD,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAAC,CAAC;AAI9E,iBAAS,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkC1B;AACD,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAAC;AAIlF,iBAAS,gBAAgB;;;;;;;;;;;GAUxB;AACD,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAAC,CAAC;AAE9E,uHAAuH;AACvH,iBAAS,mBAAmB;;;;;;;GAS3B;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC;AAQpF,iBAAS,sBAAsB;;;;;;;;;;;;GAc9B;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,sBAAsB,CAAC,CAAC,CAAC;AAI1F,iBAAS,kBAAkB;;;;;;IAOzB,mFAAmF;;;;;;;;;;;;;;;;;;;;;;GAkBpF;AACD,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAAC;AAElF;;;;;GAKG;AACH,iBAAS,0BAA0B;;;;;;;;;;GASlC;AACD,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,0BAA0B,CAAC,CAAC,CAAC;AAIlG,iBAAS,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAOnB;AACD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC;AAEpE,iBAAS,mBAAmB;;;;;;;;;;;;;;;;;;;;GAqB3B;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC;AAEpF,iBAAS,wBAAwB;;;;;;;;;;;;;GAiBhC;AACD,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAAC;AAE9F,4FAA4F;AAC5F,iBAAS,uBAAuB;;;;;;;;;;GAY/B;AACD,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC,CAAC;AAE5F,iBAAS,eAAe;;;;;;;;;;;;;;;GAUvB;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,eAAe,CAAC,CAAC,CAAC;AA0a5E;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAgB3D;AA6FD;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CACrC,MAAM,EAAE,SAAS,SAAS,EAAE,EAC5B,SAAS,CAAC,EAAE,SAAS,YAAY,EAAE,EACnC,SAAS,CAAC,EAAE,mBAAmB,GAC7B,MAAM,EAAE,CAudV;AAED,UAAU,uBAAuB;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC5B;AACD,UAAU,iBAAiB;IAC1B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACnC;AA+DD,wBAAgB,8BAA8B,CAC7C,MAAM,EAAE,uBAAuB,EAC/B,MAAM,EAAE,OAAO,GAAG,UAAU,EAC5B,QAAQ,EAAE,iBAAiB,EAC3B,MAAM,EAAE,SAAS,SAAS,EAAE,GAC1B,IAAI,CAWN;AAED,+GAA+G;AAC/G,OAAO,EAAE,iBAAiB,IAAI,wBAAwB,EAAE,WAAW,IAAI,wBAAwB,EAAE,CAAC"}

package/dist/trace-payload.js

@@ -1516,4 +1516,6 @@ export function assertDhAppliedControlEvidence(target, action, observed, events)
     if (dhAppliedControlEvidenceError(target, action, observed, { attemptStarts, relationsByAgent, byId }))
         throw new DhContractError("not_eligible");
 }
+/** Shared with trace-records.ts so the usage response/correction DTOs cannot drift from dh.payload.usage/1. */
+export { assertMeasurement as assertDhUsageMeasurement, measurement as dhUsageMeasurementSchema };
 //# sourceMappingURL=trace-payload.js.map