@actuarial-ts/data 0.6.0 → 0.7.0

package/dist/diagnosticPreparedReview.d.ts

@@ -1,13 +1,13 @@
-import { type DiagnosticDeepReadonly, type DiagnosticReviewRuleEvaluation, type PreparedDiagnosticData } from "@actuarial-ts/core";
+import { type DiagnosticIdentityDocument, type DiagnosticIdentityProjection, type DiagnosticDeepReadonly, type DiagnosticReviewRuleEvaluation, type DiagnosticSourceLocation, type PreparedDiagnosticData, type CompactPreparedDiagnosticData, type CompactDiagnosticReviewEvaluations, type DiagnosticReviewPage } from "@actuarial-ts/core";
 import { type DataCheck, type DataFinding, type DataReviewReport } from "./review.js";
 export interface DiagnosticGroupingAssignment {
     readonly key: string;
     readonly group: string;
-    readonly source?: import("@actuarial-ts/core").DiagnosticSourceLocation;
+    readonly source?: DiagnosticSourceLocation;
 }
 export interface DiagnosticCachedFormulaEvidence {
     readonly id: string;
-    readonly source?: import("@actuarial-ts/core").DiagnosticSourceLocation;
+    readonly source?: DiagnosticSourceLocation;
     readonly formula?: string;
     readonly cachedValue?: number | null;
     readonly declaredFormulaSource: boolean;
@@ -19,16 +19,18 @@ export interface DiagnosticReviewEvidence {
 export interface DiagnosticReviewIdentityBody {
     readonly definitionIntegrity: string;
     readonly preparationFingerprint: string;
-    readonly evidence: DiagnosticDeepReadonly<DiagnosticReviewEvidence> | null;
+    readonly evidence: DiagnosticIdentityProjection<DiagnosticReviewEvidence> | null;
     readonly checks: readonly {
         readonly id: string;
         readonly status: DataCheck["status"];
-        readonly findings: readonly DataFinding[];
+        readonly findings: readonly DiagnosticIdentityProjection<DataFinding>[];
     }[];
     readonly summary: DataReviewReport["summary"];
-    readonly evaluations: readonly DiagnosticReviewRuleEvaluation[];
+    readonly evaluations: readonly DiagnosticIdentityProjection<DiagnosticReviewRuleEvaluation>[];
 }
 export interface DiagnosticReviewReceipt {
+    readonly definitionIntegrity: string;
+    readonly preparationFingerprint: string;
     readonly report: DiagnosticDeepReadonly<DataReviewReport>;
     readonly evaluations: readonly DiagnosticReviewRuleEvaluation[];
     readonly evidence: DiagnosticDeepReadonly<DiagnosticReviewEvidence> | null;
@@ -39,5 +41,69 @@ export interface ReviewPreparedDiagnosticDataInput {
     readonly prepared: PreparedDiagnosticData;
     readonly evidence: DiagnosticReviewEvidence | null;
 }
+export interface CompactDiagnosticReviewCheck {
+    readonly id: string;
+    readonly description: string;
+    readonly status: DataCheck["status"];
+    readonly details: readonly string[];
+    readonly findingCount: number;
+}
+declare const compactFindingsBrand: unique symbol;
+export interface CompactDiagnosticReviewFindings {
+    readonly [compactFindingsBrand]: true;
+    readonly count: number;
+}
+export interface CompactDiagnosticReviewReceipt {
+    readonly definitionIntegrity: string;
+    readonly report: {
+        readonly checks: readonly CompactDiagnosticReviewCheck[];
+        readonly summary: DiagnosticDeepReadonly<DataReviewReport["summary"]>;
+    };
+    readonly evaluations: CompactDiagnosticReviewEvaluations;
+    readonly findings: CompactDiagnosticReviewFindings;
+    readonly evidence: DiagnosticDeepReadonly<DiagnosticReviewEvidence> | null;
+}
+export interface ReviewPreparedDiagnosticDataCompactInput {
+    readonly prepared: CompactPreparedDiagnosticData;
+    readonly evidence: DiagnosticReviewEvidence | null;
+}
+export declare function validateDiagnosticReviewEvidence(value: unknown, root?: string): DiagnosticDeepReadonly<DiagnosticReviewEvidence>;
 export declare function reviewPreparedDiagnosticData(input: ReviewPreparedDiagnosticDataInput): DiagnosticReviewReceipt;
+export declare function assertCompactDiagnosticReviewReceipt(value: unknown): asserts value is CompactDiagnosticReviewReceipt;
+export interface DiagnosticReviewFindingEntry {
+    readonly index: number;
+    readonly checkId: string;
+    readonly finding: DiagnosticDeepReadonly<DataFinding>;
+}
+type WithoutSources<T> = T extends readonly (infer V)[] ? readonly WithoutSources<V>[] : T extends object ? {
+    readonly [K in keyof T as K extends "sources" ? "sourceCount" : K]: K extends "sources" ? number : WithoutSources<T[K]>;
+} : T;
+export interface DiagnosticReviewFindingSummary {
+    readonly index: number;
+    readonly checkId: string;
+    readonly finding: WithoutSources<DataFinding>;
+}
+export interface DiagnosticReviewFindingQuery {
+    readonly checkId?: string;
+    readonly offset?: number;
+    readonly limit?: number;
+}
+export interface DiagnosticReviewFindingSourceQuery {
+    readonly location?: "context" | "scope";
+    readonly offset?: number;
+    readonly limit?: number;
+}
+export declare function getDiagnosticReviewFinding(store: CompactDiagnosticReviewFindings, index: number): DiagnosticReviewFindingEntry;
+/** Full ordered evidence, including every finding's source lists. */
+export declare function iterateDiagnosticReviewFindings(store: CompactDiagnosticReviewFindings): IterableIterator<DiagnosticReviewFindingEntry>;
+/** Summary pages never expand source lists, including high-fanout control totals. */
+export declare function pageDiagnosticReviewFindings(store: CompactDiagnosticReviewFindings, query?: DiagnosticReviewFindingQuery): DiagnosticReviewPage<DiagnosticReviewFindingSummary>;
+export declare function pageDiagnosticReviewFindingSources(store: CompactDiagnosticReviewFindings, index: number, query?: DiagnosticReviewFindingSourceQuery): DiagnosticReviewPage<DiagnosticSourceLocation>;
+/** Compact owner receipt; identity projection/hash are deliberately deferred. */
+export declare function reviewPreparedDiagnosticDataCompact(input: ReviewPreparedDiagnosticDataCompactInput): CompactDiagnosticReviewReceipt;
+/** Exact legacy review identity, available only from an authentic immutable owner. */
+export declare function getCompactDiagnosticReviewReceiptIdentityDocument(receipt: CompactDiagnosticReviewReceipt): DiagnosticIdentityDocument;
+/** Explicit evidence operation; caches only the small immutable-owner fingerprint. */
+export declare function getCompactDiagnosticReviewReceiptFingerprint(receipt: CompactDiagnosticReviewReceipt): string;
+export {};
 //# sourceMappingURL=diagnosticPreparedReview.d.ts.map

package/dist/diagnosticPreparedReview.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnosticPreparedReview.d.ts","sourceRoot":"","sources":["../src/diagnosticPreparedReview.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyD,KAAK,sBAAsB,EAAE,KAAK,8BAA8B,EAAE,KAAK,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC1L,OAAO,EAA+E,KAAK,SAAS,EAAE,KAAK,WAAW,EAAE,KAAK,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAEnK,MAAM,WAAW,4BAA4B;IAAG,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,oBAAoB,EAAE,wBAAwB,CAAA;CAAE;AACvK,MAAM,WAAW,+BAA+B;IAAG,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,oBAAoB,EAAE,wBAAwB,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAC,IAAI,CAAC;IAAC,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAA;CAAE;AACzP,MAAM,WAAW,wBAAwB;IAAG,QAAQ,CAAC,mBAAmB,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,+BAA+B,EAAE,CAAA;CAAE;AACxL,MAAM,WAAW,4BAA4B;IAAG,QAAQ,CAAC,mBAAmB,EAAC,MAAM,CAAC;IAAC,QAAQ,CAAC,sBAAsB,EAAC,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAC,sBAAsB,CAAC,wBAAwB,CAAC,GAAC,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAC,SAAS;QAAC,QAAQ,CAAC,EAAE,EAAC,MAAM,CAAC;QAAA,QAAQ,CAAC,MAAM,EAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAAA,QAAQ,CAAC,QAAQ,EAAC,SAAS,WAAW,EAAE,CAAA;KAAC,EAAE,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAC,SAAS,8BAA8B,EAAE,CAAA;CAAE;AAClb,MAAM,WAAW,uBAAuB;IAAG,QAAQ,CAAC,MAAM,EAAC,sBAAsB,CAAC,gBAAgB,CAAC,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAC,SAAS,8BAA8B,EAAE,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAC,sBAAsB,CAAC,wBAAwB,CAAC,GAAC,IAAI,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAC,sBAAsB,CAAC,4BAA4B,CAAC,CAAC;IAAC,QAAQ,CAAC,iBAAiB,EAAC,MAAM,CAAA;CAAE;AAC7V,MAAM,WAAW,iCAAiC;IAAG,QAAQ,CAAC,QAAQ,EAAC,sBAAsB,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAC,wBAAwB,GAAC,IAAI,CAAA;CAAE;AAkBhJ,wBAAgB,4BAA4B,CAAC,KAAK,EAAC,iCAAiC,GAAE,uBAAuB,CAY5G"}
+{"version":3,"file":"diagnosticPreparedReview.d.ts","sourceRoot":"","sources":["../src/diagnosticPreparedReview.ts"],"names":[],"mappings":"AAAA,OAAO,EAeL,KAAK,0BAA0B,EAQ/B,KAAK,4BAA4B,EACjC,KAAK,sBAAsB,EAE3B,KAAK,8BAA8B,EACnC,KAAK,wBAAwB,EAC7B,KAAK,sBAAsB,EAE3B,KAAK,6BAA6B,EAClC,KAAK,kCAAkC,EACvC,KAAK,oBAAoB,EAC1B,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAIL,KAAK,SAAS,EACd,KAAK,WAAW,EAEhB,KAAK,gBAAgB,EACtB,MAAM,aAAa,CAAC;AAErB,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,wBAAwB,CAAC;CAC5C;AAED,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,CAAC,EAAE,wBAAwB,CAAC;IAC3C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;CACzC;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,mBAAmB,EAAE,SAAS,4BAA4B,EAAE,CAAC;IACtE,QAAQ,CAAC,cAAc,EAAE,SAAS,+BAA+B,EAAE,CAAC;CACrE;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,4BAA4B,CAAC,wBAAwB,CAAC,GAAG,IAAI,CAAC;IACjF,QAAQ,CAAC,MAAM,EAAE,SAAS;QACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;QACrC,QAAQ,CAAC,QAAQ,EAAE,SAAS,4BAA4B,CAAC,WAAW,CAAC,EAAE,CAAC;KACzE,EAAE,CAAC;IACJ,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,SAAS,4BAA4B,CAAC,8BAA8B,CAAC,EAAE,CAAC;CAC/F;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC,gBAAgB,CAAC,CAAC;IAC1D,QAAQ,CAAC,WAAW,EAAE,SAAS,8BAA8B,EAAE,CAAC;IAChE,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC,wBAAwB,CAAC,GAAG,IAAI,CAAC;IAC3E,QAAQ,CAAC,YAAY,EAAE,sBAAsB,CAAC,4BAA4B,CAAC,CAAC;IAC5E,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC;AAED,MAAM,WAAW,iCAAiC;IAChD,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,GAAG,IAAI,CAAC;CACpD;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AACD,OAAO,CAAC,MAAM,oBAAoB,EAAE,OAAO,MAAM,CAAC;AAClD,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,CAAC,oBAAoB,CAAC,EAAE,IAAI,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AACD,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,MAAM,EAAE,SAAS,4BAA4B,EAAE,CAAC;QACzD,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC;KACvE,CAAC;IACF,QAAQ,CAAC,WAAW,EAAE,kCAAkC,CAAC;IACzD,QAAQ,CAAC,QAAQ,EAAE,+BAA+B,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC,wBAAwB,CAAC,GAAG,IAAI,CAAC;CAC5E;AACD,MAAM,WAAW,wCAAwC;IACvD,QAAQ,CAAC,QAAQ,EAAE,6BAA6B,CAAC;IACjD,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,GAAG,IAAI,CAAC;CACpD;AA6RD,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,OAAO,EACd,IAAI,SAAe,GAClB,sBAAsB,CAAC,wBAAwB,CAAC,CA0ElD;AA2LD,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,iCAAiC,GACvC,uBAAuB,CA0DzB;AA2BD,wBAAgB,oCAAoC,CAClD,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,KAAK,IAAI,8BAA8B,CAOjD;AAiBD,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC,WAAW,CAAC,CAAC;CACvD;AACD,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GACnD,SAAS,cAAc,CAAC,CAAC,CAAC,EAAE,GAC5B,CAAC,SAAS,MAAM,GACd;IACE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,SAAS,GACzC,aAAa,GACb,CAAC,GAAG,CAAC,SAAS,SAAS,GAAG,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5D,GACD,CAAC,CAAC;AACR,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,WAAW,CAAC,CAAC;CAC/C;AACD,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AACD,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AA2BD,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,+BAA+B,EACtC,KAAK,EAAE,MAAM,GACZ,4BAA4B,CAQ9B;AACD,qEAAqE;AACrE,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,+BAA+B,GACrC,gBAAgB,CAAC,4BAA4B,CAAC,CAMhD;AACD,qFAAqF;AACrF,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,+BAA+B,EACtC,KAAK,GAAE,4BAAiC,GACvC,oBAAoB,CAAC,8BAA8B,CAAC,CAiCtD;AACD,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,+BAA+B,EACtC,KAAK,EAAE,MAAM,EACb,KAAK,GAAE,kCAAuC,GAC7C,oBAAoB,CAAC,wBAAwB,CAAC,CA2BhD;AAED,iFAAiF;AACjF,wBAAgB,mCAAmC,CACjD,KAAK,EAAE,wCAAwC,GAC9C,8BAA8B,CAgNhC;AAED,sFAAsF;AACtF,wBAAgB,iDAAiD,CAC/D,OAAO,EAAE,8BAA8B,GACtC,0BAA0B,CA+B5B;AACD,sFAAsF;AACtF,wBAAgB,4CAA4C,CAC1D,OAAO,EAAE,8BAA8B,GACtC,MAAM,CAWR"}