@actuarial-ts/compliance 0.5.0 → 0.6.1

package/dist/diagnosticRun.d.ts

@@ -0,0 +1,106 @@
+import { type DiagnosticDeepReadonly, type CompiledDiagnosticDefinition, type JsonValue as CoreDiagnosticJsonValue, type NormalizedDiagnosticDefinitionIdentity, type NormalizedDiagnosticPreparationIdentity, type MetricDiagnosticsResult } from "@actuarial-ts/core";
+import { type CompletedValidatedMetricDiagnosticsRun, type DiagnosticReviewIdentityBody, type DiagnosticReviewReceipt } from "@actuarial-ts/data";
+export interface DiagnosticArtifactDigestBase {
+    readonly id: string;
+    readonly value: string;
+    readonly scope: "input" | "preparation";
+}
+export type DiagnosticArtifactDigest = DiagnosticArtifactDigestBase & ({
+    readonly assurance: "sdk-computed";
+    readonly algorithm: "sha256";
+    readonly byteLength: number;
+} | {
+    readonly assurance: "caller-declared";
+    readonly algorithm: string;
+});
+export type DiagnosticArtifactEvidence = {
+    readonly id: string;
+    readonly scope: "input" | "preparation";
+    readonly assurance: "sdk-computed";
+    readonly bytes: Uint8Array;
+} | {
+    readonly id: string;
+    readonly scope: "input" | "preparation";
+    readonly assurance: "caller-declared";
+    readonly algorithm: string;
+    readonly value: string;
+};
+export interface DiagnosticPreparationLineage {
+    readonly outputArtifactId: string;
+    readonly inputArtifactIds: readonly string[];
+    readonly transformationArtifactIds: readonly string[];
+}
+export interface DiagnosticRunManifest {
+    readonly definitionIntegrity: string;
+    readonly runPresetId: string | null;
+    readonly datasetArtifactId: string | null;
+    readonly preparationFingerprint: string;
+    readonly inputArtifacts: readonly DiagnosticArtifactDigest[];
+    readonly preparationArtifacts: readonly DiagnosticArtifactDigest[];
+    readonly preparationLineage: readonly DiagnosticPreparationLineage[];
+    readonly inputAudit: DiagnosticDeepReadonly<NormalizedDiagnosticPreparationIdentity["inputAudit"]>;
+    readonly filter: DiagnosticDeepReadonly<NormalizedDiagnosticPreparationIdentity["filter"]>;
+    readonly groupMap: Readonly<Record<string, string>>;
+    readonly groupDimensions: Readonly<Record<string, CoreDiagnosticJsonValue>>;
+    readonly completePeriodCutoffs: DiagnosticDeepReadonly<NormalizedDiagnosticPreparationIdentity["completePeriodCutoffs"]>;
+    readonly expectedCellGridFingerprint: string | null;
+    readonly executionPolicy: {
+        readonly review: DiagnosticReviewReceipt;
+        readonly gate: CompletedValidatedMetricDiagnosticsRun["gate"];
+    };
+    readonly engine: {
+        readonly packages: {
+            readonly core: string;
+            readonly data: string;
+            readonly compliance: string;
+        };
+        readonly algorithmVersion: "diagnostics-1";
+    };
+}
+export type NormalizedDiagnosticRunManifestIdentity = DiagnosticDeepReadonly<Omit<DiagnosticRunManifest, "executionPolicy"> & {
+    readonly executionPolicy: {
+        readonly review: {
+            readonly body: DiagnosticReviewIdentityBody;
+            readonly reportFingerprint: string;
+        };
+        readonly gate: DiagnosticRunManifest["executionPolicy"]["gate"];
+    };
+}>;
+export interface DiagnosticRunIdentity {
+    readonly runFingerprint: string;
+    readonly resultFingerprint: string;
+    readonly runResultFingerprint: string;
+}
+export interface DiagnosticRunProvenance extends DiagnosticRunIdentity {
+    readonly definition: {
+        readonly definition: DiagnosticDeepReadonly<NormalizedDiagnosticDefinitionIdentity>;
+        readonly identities: {
+            readonly algorithm: "fnv1a64-jcs-v1";
+            readonly formulaById: Readonly<Record<string, string>>;
+            readonly calculationByInstanceId: Readonly<Record<string, string>>;
+            readonly definition: string;
+        };
+    };
+    readonly manifest: DiagnosticDeepReadonly<DiagnosticRunManifest>;
+    readonly review: DiagnosticReviewReceipt;
+    readonly result: DiagnosticDeepReadonly<MetricDiagnosticsResult>;
+}
+declare const verifiedDiagnosticRunProvenanceBrand: unique symbol;
+export interface VerifiedDiagnosticRunProvenance extends DiagnosticRunProvenance {
+    readonly [verifiedDiagnosticRunProvenanceBrand]: true;
+}
+export interface CreateDiagnosticRunIdentityInput {
+    readonly completedRun: CompletedValidatedMetricDiagnosticsRun;
+    readonly inputArtifacts: readonly DiagnosticArtifactEvidence[];
+    readonly preparationArtifacts: readonly DiagnosticArtifactEvidence[];
+    readonly preparationLineage: readonly DiagnosticPreparationLineage[];
+}
+export declare function createDiagnosticRunIdentity(input: CreateDiagnosticRunIdentityInput): Promise<VerifiedDiagnosticRunProvenance>;
+export declare function assertVerifiedDiagnosticRunProvenance(value: unknown): asserts value is VerifiedDiagnosticRunProvenance;
+/** Verify serialized evidence by replaying the owning core/data public workflows. */
+export declare function serializedDiagnosticRunMismatch(value: unknown, path?: string): string | null;
+/** @internal Bundle authoring uses owner state rather than trusting the public snapshot. */
+export declare function verifiedDefinitionForBundle(value: VerifiedDiagnosticRunProvenance): CompiledDiagnosticDefinition;
+export declare function verifyDiagnosticRunIdentity(candidate: unknown, input: CreateDiagnosticRunIdentityInput): Promise<VerifiedDiagnosticRunProvenance>;
+export {};
+//# sourceMappingURL=diagnosticRun.d.ts.map

package/dist/diagnosticRun.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnosticRun.d.ts","sourceRoot":"","sources":["../src/diagnosticRun.ts"],"names":[],"mappings":"AAAA,OAAO,EAUL,KAAK,sBAAsB,EAC3B,KAAK,4BAA4B,EAEjC,KAAK,SAAS,IAAI,uBAAuB,EACzC,KAAK,sCAAsC,EAC3C,KAAK,uCAAuC,EAE5C,KAAK,uBAAuB,EAC7B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAML,KAAK,sCAAsC,EAC3C,KAAK,4BAA4B,EACjC,KAAK,uBAAuB,EAC7B,MAAM,oBAAoB,CAAC;AAI5B,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAAC;CACzC;AACD,MAAM,MAAM,wBAAwB,GAAG,4BAA4B,GACjE,CACI;IACE,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GACD;IAAE,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CACxE,CAAC;AACJ,MAAM,MAAM,0BAA0B,GAClC;IACE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AACN,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,yBAAyB,EAAE,SAAS,MAAM,EAAE,CAAC;CACvD;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,cAAc,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC7D,QAAQ,CAAC,oBAAoB,EAAE,SAAS,wBAAwB,EAAE,CAAC;IACnE,QAAQ,CAAC,kBAAkB,EAAE,SAAS,4BAA4B,EAAE,CAAC;IACrE,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CACzC,uCAAuC,CAAC,YAAY,CAAC,CACtD,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CACrC,uCAAuC,CAAC,QAAQ,CAAC,CAClD,CAAC;IACF,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC,CAAC;IAC5E,QAAQ,CAAC,qBAAqB,EAAE,sBAAsB,CACpD,uCAAuC,CAAC,uBAAuB,CAAC,CACjE,CAAC;IACF,QAAQ,CAAC,2BAA2B,EAAE,MAAM,GAAG,IAAI,CAAC;IACpD,QAAQ,CAAC,eAAe,EAAE;QACxB,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;QACzC,QAAQ,CAAC,IAAI,EAAE,sCAAsC,CAAC,MAAM,CAAC,CAAC;KAC/D,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,QAAQ,EAAE;YACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;YACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;YACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;SAC7B,CAAC;QACF,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAC;KAC5C,CAAC;CACH;AACD,MAAM,MAAM,uCAAuC,GAAG,sBAAsB,CAC1E,IAAI,CAAC,qBAAqB,EAAE,iBAAiB,CAAC,GAAG;IAC/C,QAAQ,CAAC,eAAe,EAAE;QACxB,QAAQ,CAAC,MAAM,EAAE;YACf,QAAQ,CAAC,IAAI,EAAE,4BAA4B,CAAC;YAC5C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;SACpC,CAAC;QACF,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;KACjE,CAAC;CACH,CACF,CAAC;AAEF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;CACvC;AACD,MAAM,WAAW,uBAAwB,SAAQ,qBAAqB;IACpE,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAC,sCAAsC,CAAC,CAAC;QACpF,QAAQ,CAAC,UAAU,EAAE;YACnB,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;YACrC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YACvD,QAAQ,CAAC,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YACnE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;SAC7B,CAAC;KACH,CAAC;IACF,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC,qBAAqB,CAAC,CAAC;IACjE,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC,uBAAuB,CAAC,CAAC;CAClE;AACD,OAAO,CAAC,MAAM,oCAAoC,EAAE,OAAO,MAAM,CAAC;AAClE,MAAM,WAAW,+BACf,SAAQ,uBAAuB;IAC/B,QAAQ,CAAC,CAAC,oCAAoC,CAAC,EAAE,IAAI,CAAC;CACvD;AACD,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,YAAY,EAAE,sCAAsC,CAAC;IAC9D,QAAQ,CAAC,cAAc,EAAE,SAAS,0BAA0B,EAAE,CAAC;IAC/D,QAAQ,CAAC,oBAAoB,EAAE,SAAS,0BAA0B,EAAE,CAAC;IACrE,QAAQ,CAAC,kBAAkB,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACtE;AAooBD,wBAAsB,2BAA2B,CAC/C,KAAK,EAAE,gCAAgC,GACtC,OAAO,CAAC,+BAA+B,CAAC,CAqF1C;AAED,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,KAAK,IAAI,+BAA+B,CAOlD;AA8VD,qFAAqF;AACrF,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,OAAO,EACd,IAAI,SAAwB,GAC3B,MAAM,GAAG,IAAI,CAwIf;AAED,4FAA4F;AAC5F,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,+BAA+B,GACrC,4BAA4B,CAG9B;AAED,wBAAsB,2BAA2B,CAC/C,SAAS,EAAE,OAAO,EAClB,KAAK,EAAE,gCAAgC,GACtC,OAAO,CAAC,+BAA+B,CAAC,CAuB1C"}