@nakafa/aksara-contracts 0.27.0

package/dist/release/snapshot/verify.d.ts

@@ -0,0 +1,710 @@
+import { Effect, Schema, Stream } from "effect";
+import { type ContentSnapshotSet } from "#contracts/release/snapshot/spec";
+declare const SnapshotManifestDecodeError_base: Schema.Class<SnapshotManifestDecodeError, Schema.TaggedStruct<"SnapshotManifestDecodeError", {
+    readonly manifestIndex: Schema.Int;
+}>, import("effect/Cause").YieldableError>;
+/** One replacement manifest failed strict wire decoding. */
+export declare class SnapshotManifestDecodeError extends SnapshotManifestDecodeError_base {
+}
+declare const SnapshotManifestOrderError_base: Schema.Class<SnapshotManifestOrderError, Schema.TaggedStruct<"SnapshotManifestOrderError", {
+    readonly actualFamily: Schema.Literals<readonly ["program", "quran", "tryout"]>;
+    readonly manifestIndex: Schema.Int;
+    readonly previousFamily: Schema.Literals<readonly ["program", "quran", "tryout"]>;
+}>, import("effect/Cause").YieldableError>;
+/** Replacement manifests are duplicated or outside canonical family order. */
+export declare class SnapshotManifestOrderError extends SnapshotManifestOrderError_base {
+}
+declare const SnapshotRowDecodeError_base: Schema.Class<SnapshotRowDecodeError, Schema.TaggedStruct<"SnapshotRowDecodeError", {
+    readonly rowIndex: Schema.Int;
+}>, import("effect/Cause").YieldableError>;
+/** One structured snapshot row failed strict wire decoding. */
+export declare class SnapshotRowDecodeError extends SnapshotRowDecodeError_base {
+}
+declare const SnapshotRowFamilyError_base: Schema.Class<SnapshotRowFamilyError, Schema.TaggedStruct<"SnapshotRowFamilyError", {
+    readonly family: Schema.Literals<readonly ["program", "quran", "tryout"]>;
+    readonly rowIndex: Schema.Int;
+}>, import("effect/Cause").YieldableError>;
+/** A staged row belongs to a family this release does not replace. */
+export declare class SnapshotRowFamilyError extends SnapshotRowFamilyError_base {
+}
+declare const SnapshotTransitionError_base: Schema.Class<SnapshotTransitionError, Schema.TaggedStruct<"SnapshotTransitionError", {
+    readonly family: Schema.Literals<readonly ["program", "quran", "tryout"]>;
+}>, import("effect/Cause").YieldableError>;
+/** A replacement manifest cannot form a coherent forward transition. */
+export declare class SnapshotTransitionError extends SnapshotTransitionError_base {
+}
+declare const SnapshotStagedCountError_base: Schema.Class<SnapshotStagedCountError, Schema.TaggedStruct<"SnapshotStagedCountError", {
+    readonly actualCount: Schema.Int;
+    readonly expectedCount: Schema.Int;
+    readonly verifiedCount: Schema.Int;
+}>, import("effect/Cause").YieldableError>;
+/** The staged row stream count differs from all signed family evidence. */
+export declare class SnapshotStagedCountError extends SnapshotStagedCountError_base {
+}
+/** Fixed verified snapshot state selected by one global release. */
+export interface VerifiedContentSnapshots {
+    readonly snapshots: ContentSnapshotSet;
+    readonly stagedRows: number;
+}
+/** Strictly decodes replayable replacement manifests in canonical order. */
+export declare function decodeContentSnapshotManifests<E, R>(manifests: Stream.Stream<unknown, E, R>): Stream.Stream<{
+    readonly family: "program";
+    readonly manifest: {
+        readonly curriculumRowCount: number;
+        readonly programRowCount: number;
+        readonly rowCount: number;
+        readonly sitemapCount: number;
+        readonly slugCount: number;
+        readonly activeAppLocales: readonly [("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">, ...(("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">)[]];
+        readonly rowDigest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+        readonly format: "localized-program-snapshot";
+        readonly snapshotId: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+    };
+} | {
+    readonly family: "quran";
+    readonly manifest: {
+        readonly activeAppLocales: readonly [("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">, ...(("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">)[]];
+        readonly attributionCount: number;
+        readonly chunkCount: number;
+        readonly projectionCount: number;
+        readonly projectionDigest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+        readonly provenanceDigest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+        readonly provenanceStatus: "approved" | "blocked";
+        readonly runtimeCount: number;
+        readonly runtimeDigest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+        readonly searchCount: number;
+        readonly searchDigest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+        readonly sourceBytes: number;
+        readonly sourceDigest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+        readonly sourceFileCount: number;
+        readonly surahCount: number;
+        readonly tafsirLocales: readonly "id"[];
+        readonly verseCount: number;
+        readonly format: "localized-quran-snapshot";
+        readonly snapshotId: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+    };
+} | {
+    readonly family: "tryout";
+    readonly manifest: {
+        readonly activeAppLocales: readonly [("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">, ...(("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">)[]];
+        readonly catalogDigest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+        readonly counts: {
+            readonly country: number;
+            readonly exam: number;
+            readonly section: number;
+            readonly set: number;
+            readonly track: number;
+        };
+        readonly placementCount: number;
+        readonly placementDigest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+        readonly routeCount: number;
+        readonly format: "localized-tryout-snapshot";
+        readonly snapshotId: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+    };
+}, E | SnapshotManifestDecodeError | SnapshotManifestOrderError, R>;
+/** Strictly decodes replayable structured rows without retaining bodies. */
+export declare function decodeContentSnapshotRows<E, R>(rows: Stream.Stream<unknown, E, R>): Stream.Stream<{
+    readonly family: "program";
+    readonly record: {
+        readonly kind: "program";
+        readonly row: {
+            readonly defaultCoverageStatus: "archived" | "available" | "hidden" | "partial" | "planned";
+            readonly displayOrder: number;
+            readonly iconKey: "advanced" | "assessment" | "certificate" | "course" | "diploma" | "early-years" | "global-education" | "grade-1" | "grade-10" | "grade-11" | "grade-12" | "grade-2" | "grade-3" | "grade-4" | "grade-5" | "grade-6" | "grade-7" | "grade-8" | "grade-9" | "high-school" | "mathematics" | "middle-school" | "primary-school" | "school" | "science" | "standards" | "state";
+            readonly key: string & import("effect/Brand").Brand<"@NakafaAI/AksaraLearningProgramKey">;
+            readonly kind: "admission-exam" | "assessment" | "custom-program" | "institution-program" | "school-curriculum";
+            readonly navigation: {
+                readonly levels: readonly ["class" | "course" | "domain" | "lesson" | "phase" | "section" | "set" | "stage" | "subject" | "topic" | "track" | "unit", ...("class" | "course" | "domain" | "lesson" | "phase" | "section" | "set" | "stage" | "subject" | "topic" | "track" | "unit")[]];
+                readonly model: "course-unit-lesson" | "curriculum-tree" | "exam-domain-set" | "track-topic";
+            };
+            readonly provider: {
+                readonly homeCountry?: string | undefined;
+                readonly kind: "institution" | "learner" | "nakafa" | "official";
+                readonly name: string;
+            };
+            readonly recommendedCountry?: string | undefined;
+            readonly sources: readonly [{
+                readonly label: string;
+                readonly retrievedAt: string;
+                readonly reviewAfter?: string | undefined;
+                readonly type: "institution-document" | "nakafa-editorial" | "official-blueprint" | "official-policy" | "official-portal";
+                readonly url: string;
+            }, ...{
+                readonly label: string;
+                readonly retrievedAt: string;
+                readonly reviewAfter?: string | undefined;
+                readonly type: "institution-document" | "nakafa-editorial" | "official-blueprint" | "official-policy" | "official-portal";
+                readonly url: string;
+            }[]];
+            readonly translations: readonly [{
+                readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                readonly publicSlug: string;
+                readonly title: string;
+            }, ...{
+                readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                readonly publicSlug: string;
+                readonly title: string;
+            }[]];
+            readonly version: {
+                readonly endsAt?: string | undefined;
+                readonly label: string;
+                readonly startsAt?: string | undefined;
+            };
+        };
+        readonly rowHash: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+    } | {
+        readonly kind: "curriculum";
+        readonly row: {
+            readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+            readonly canonicalPath?: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraPublicPath">) | undefined;
+            readonly displayGroupIconKey?: "advanced" | "assessment" | "certificate" | "course" | "diploma" | "early-years" | "global-education" | "grade-1" | "grade-10" | "grade-11" | "grade-12" | "grade-2" | "grade-3" | "grade-4" | "grade-5" | "grade-6" | "grade-7" | "grade-8" | "grade-9" | "high-school" | "mathematics" | "middle-school" | "primary-school" | "school" | "science" | "standards" | "state" | undefined;
+            readonly displayGroupTitle?: string | undefined;
+            readonly iconKey: "advanced" | "assessment" | "certificate" | "course" | "diploma" | "early-years" | "global-education" | "grade-1" | "grade-10" | "grade-11" | "grade-12" | "grade-2" | "grade-3" | "grade-4" | "grade-5" | "grade-6" | "grade-7" | "grade-8" | "grade-9" | "high-school" | "mathematics" | "middle-school" | "primary-school" | "school" | "science" | "standards" | "state";
+            readonly kind: "curriculum-context";
+            readonly level: "class" | "course" | "domain" | "lesson" | "phase" | "section" | "set" | "stage" | "subject" | "topic" | "track" | "unit";
+            readonly materialCardDescription?: string | undefined;
+            readonly materialCardTitle?: string | undefined;
+            readonly materialContextNodeKey?: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraCurriculumNodeKey">) | undefined;
+            readonly materialContextParentPath?: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraPublicPath">) | undefined;
+            readonly materialContextPublicPath?: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraPublicPath">) | undefined;
+            readonly materialDomain?: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraMaterialDomain">) | undefined;
+            readonly materialKey?: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraMaterialKey">) | undefined;
+            readonly nodeKey: string;
+            readonly order: number;
+            readonly parentPath?: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraPublicPath">) | undefined;
+            readonly programKey: string & import("effect/Brand").Brand<"@NakafaAI/AksaraLearningProgramKey">;
+            readonly publicPath: string & import("effect/Brand").Brand<"@NakafaAI/AksaraPublicPath">;
+            readonly sitemap: boolean;
+            readonly sourcePath: string & import("effect/Brand").Brand<"@NakafaAI/AksaraCorpusSourcePath">;
+            readonly title: string;
+        };
+        readonly rowHash: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+    };
+} | {
+    readonly family: "quran";
+    readonly record: {
+        readonly payload: {
+            readonly activeAppLocales: readonly [("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">, ...(("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">)[]];
+            readonly kind: "quran-attribution";
+            readonly sources: readonly [{
+                readonly copy: readonly [{
+                    readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                    readonly notice: string;
+                    readonly title: string;
+                }, ...{
+                    readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                    readonly notice: string;
+                    readonly title: string;
+                }[]];
+                readonly publisher: string;
+                readonly retrievedAt: string;
+                readonly sourceUrl: string;
+                readonly updateUrl: string;
+                readonly version: string;
+                readonly artifact: {
+                    readonly byteCount: number;
+                    readonly digest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+                    readonly fileCount: number;
+                };
+                readonly id: "bubenheim-names" | "kemenag-names" | "quranenc-english" | "quranenc-german" | "quranenc-indonesian" | "quranenc-tafsir" | "tanzil-metadata" | "tanzil-text";
+                readonly kind: "embedded";
+                readonly terms: {
+                    readonly artifact: {
+                        readonly byteCount: number;
+                        readonly digest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+                        readonly fileCount: number;
+                    };
+                    readonly url: string;
+                };
+            } | {
+                readonly copy: readonly [{
+                    readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                    readonly notice: string;
+                    readonly title: string;
+                }, ...{
+                    readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                    readonly notice: string;
+                    readonly title: string;
+                }[]];
+                readonly publisher: string;
+                readonly retrievedAt: string;
+                readonly sourceUrl: string;
+                readonly updateUrl: string;
+                readonly version: string;
+                readonly id: "mokhtasar-english" | "mokhtasar-german";
+                readonly kind: "external";
+                readonly terms: {
+                    readonly access: "link-only";
+                    readonly url: string;
+                };
+            }, ...({
+                readonly copy: readonly [{
+                    readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                    readonly notice: string;
+                    readonly title: string;
+                }, ...{
+                    readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                    readonly notice: string;
+                    readonly title: string;
+                }[]];
+                readonly publisher: string;
+                readonly retrievedAt: string;
+                readonly sourceUrl: string;
+                readonly updateUrl: string;
+                readonly version: string;
+                readonly artifact: {
+                    readonly byteCount: number;
+                    readonly digest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+                    readonly fileCount: number;
+                };
+                readonly id: "bubenheim-names" | "kemenag-names" | "quranenc-english" | "quranenc-german" | "quranenc-indonesian" | "quranenc-tafsir" | "tanzil-metadata" | "tanzil-text";
+                readonly kind: "embedded";
+                readonly terms: {
+                    readonly artifact: {
+                        readonly byteCount: number;
+                        readonly digest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+                        readonly fileCount: number;
+                    };
+                    readonly url: string;
+                };
+            } | {
+                readonly copy: readonly [{
+                    readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                    readonly notice: string;
+                    readonly title: string;
+                }, ...{
+                    readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                    readonly notice: string;
+                    readonly title: string;
+                }[]];
+                readonly publisher: string;
+                readonly retrievedAt: string;
+                readonly sourceUrl: string;
+                readonly updateUrl: string;
+                readonly version: string;
+                readonly id: "mokhtasar-english" | "mokhtasar-german";
+                readonly kind: "external";
+                readonly terms: {
+                    readonly access: "link-only";
+                    readonly url: string;
+                };
+            })[]];
+            readonly tafsirAccess: readonly [{
+                readonly appLocale: "en" & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                readonly kind: "external";
+                readonly notice: string;
+                readonly sourceId: "mokhtasar-english";
+            } | {
+                readonly appLocale: "id" & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                readonly kind: "embedded";
+                readonly notice: string;
+                readonly sourceId: "quranenc-tafsir";
+            } | {
+                readonly appLocale: "de" & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                readonly kind: "external";
+                readonly notice: string;
+                readonly sourceId: "mokhtasar-german";
+            }, ...({
+                readonly appLocale: "en" & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                readonly kind: "external";
+                readonly notice: string;
+                readonly sourceId: "mokhtasar-english";
+            } | {
+                readonly appLocale: "id" & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                readonly kind: "embedded";
+                readonly notice: string;
+                readonly sourceId: "quranenc-tafsir";
+            } | {
+                readonly appLocale: "de" & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                readonly kind: "external";
+                readonly notice: string;
+                readonly sourceId: "mokhtasar-german";
+            })[]];
+        } | {
+            readonly firstQuranNumber: number;
+            readonly firstVerse: number;
+            readonly kind: "quran-chunk";
+            readonly lastVerse: number;
+            readonly surahNumber: number;
+            readonly verses: readonly [{
+                readonly meta: {
+                    readonly hizbQuarter: number;
+                    readonly juz: number;
+                    readonly manzil: number;
+                    readonly page: number;
+                    readonly ruku: number;
+                    readonly sajda: "obligatory" | "recommended" | null;
+                };
+                readonly number: {
+                    readonly inQuran: number;
+                    readonly inSurah: number;
+                };
+                readonly tafsir: readonly {
+                    readonly appLocale: "id";
+                    readonly footnotes: string | null;
+                    readonly text: string;
+                }[];
+                readonly text: {
+                    readonly arabic: string;
+                };
+                readonly translations: readonly [{
+                    readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                    readonly value: {
+                        readonly footnotes: string;
+                        readonly text: string;
+                    };
+                }, ...{
+                    readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                    readonly value: {
+                        readonly footnotes: string;
+                        readonly text: string;
+                    };
+                }[]];
+            }, ...{
+                readonly meta: {
+                    readonly hizbQuarter: number;
+                    readonly juz: number;
+                    readonly manzil: number;
+                    readonly page: number;
+                    readonly ruku: number;
+                    readonly sajda: "obligatory" | "recommended" | null;
+                };
+                readonly number: {
+                    readonly inQuran: number;
+                    readonly inSurah: number;
+                };
+                readonly tafsir: readonly {
+                    readonly appLocale: "id";
+                    readonly footnotes: string | null;
+                    readonly text: string;
+                }[];
+                readonly text: {
+                    readonly arabic: string;
+                };
+                readonly translations: readonly [{
+                    readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                    readonly value: {
+                        readonly footnotes: string;
+                        readonly text: string;
+                    };
+                }, ...{
+                    readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+                    readonly value: {
+                        readonly footnotes: string;
+                        readonly text: string;
+                    };
+                }[]];
+            }[]];
+        } | {
+            readonly name: {
+                readonly arabic: string;
+                readonly meaning: {
+                    readonly de: string;
+                    readonly en: string;
+                    readonly id: string;
+                };
+                readonly transliteration: string;
+            };
+            readonly number: number;
+            readonly numberOfVerses: number;
+            readonly revelation: {
+                readonly order: number;
+                readonly place: "Meccan" | "Medinan";
+            };
+            readonly kind: "quran-surah";
+        } | {
+            readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+            readonly graph: {
+                readonly alignmentId: string;
+                readonly assetId: string;
+                readonly conceptId: string;
+                readonly learningObjectId: string;
+                readonly lensId: string;
+            };
+            readonly kind: "quran-search";
+            readonly route: string & import("effect/Brand").Brand<"@NakafaAI/AksaraPublicPath">;
+            readonly surahNumber: number;
+            readonly text: string;
+            readonly title: string;
+        };
+        readonly rowHash: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+        readonly snapshotId: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+    };
+} | {
+    readonly family: "tryout";
+    readonly record: {
+        readonly row: {
+            readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+            readonly description?: string | undefined;
+            readonly graph: {
+                readonly alignmentId: string;
+                readonly assetId: string;
+                readonly conceptId: string;
+                readonly learningObjectId: string;
+                readonly lensId: string;
+            };
+            readonly sourceRevision: string;
+            readonly title: string;
+            readonly countryKey: string;
+            readonly examKey: string;
+            readonly kind: "track";
+            readonly order: number;
+            readonly publicPath: string & import("effect/Brand").Brand<"@NakafaAI/AksaraPublicPath">;
+            readonly questionCount: number;
+            readonly sectionCount: number;
+            readonly setCount: number;
+            readonly trackKey: string;
+            readonly trackKind: "subject" | "year";
+            readonly visibleSectionCount: number;
+        } | {
+            readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+            readonly description?: string | undefined;
+            readonly graph: {
+                readonly alignmentId: string;
+                readonly assetId: string;
+                readonly conceptId: string;
+                readonly learningObjectId: string;
+                readonly lensId: string;
+            };
+            readonly sourceRevision: string;
+            readonly title: string;
+            readonly countryKey: string;
+            readonly examKey: string;
+            readonly internalEntrySectionKey?: string | undefined;
+            readonly kind: "set";
+            readonly order: number;
+            readonly publicPath: string & import("effect/Brand").Brand<"@NakafaAI/AksaraPublicPath">;
+            readonly questionCount: number;
+            readonly scoringStrategy: "irt" | "raw";
+            readonly sectionCount: number;
+            readonly setKey: string;
+            readonly trackKey: string;
+            readonly visibleSectionCount: number;
+        } | {
+            readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+            readonly description?: string | undefined;
+            readonly graph: {
+                readonly alignmentId: string;
+                readonly assetId: string;
+                readonly conceptId: string;
+                readonly learningObjectId: string;
+                readonly lensId: string;
+            };
+            readonly sourceRevision: string;
+            readonly title: string;
+            readonly countryKey: string;
+            readonly examKey: string;
+            readonly kind: "section";
+            readonly order: number;
+            readonly publicPath?: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraPublicPath">) | undefined;
+            readonly questionCount: number;
+            readonly questionSourcePath: string & import("effect/Brand").Brand<"@NakafaAI/AksaraCorpusSourcePath">;
+            readonly sectionKey: string;
+            readonly setKey: string;
+            readonly timeLimitSeconds: number;
+            readonly trackKey: string;
+            readonly visibility: "internal-entry" | "visible";
+        } | {
+            readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+            readonly description?: string | undefined;
+            readonly graph: {
+                readonly alignmentId: string;
+                readonly assetId: string;
+                readonly conceptId: string;
+                readonly learningObjectId: string;
+                readonly lensId: string;
+            };
+            readonly sourceRevision: string;
+            readonly title: string;
+            readonly countryCode: string;
+            readonly countryKey: string;
+            readonly kind: "country";
+            readonly order: number;
+            readonly publicPath: string & import("effect/Brand").Brand<"@NakafaAI/AksaraPublicPath">;
+        } | {
+            readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+            readonly description?: string | undefined;
+            readonly graph: {
+                readonly alignmentId: string;
+                readonly assetId: string;
+                readonly conceptId: string;
+                readonly learningObjectId: string;
+                readonly lensId: string;
+            };
+            readonly sourceRevision: string;
+            readonly title: string;
+            readonly countryKey: string;
+            readonly examKey: string;
+            readonly kind: "exam";
+            readonly order: number;
+            readonly publicPath: string & import("effect/Brand").Brand<"@NakafaAI/AksaraPublicPath">;
+            readonly scoringStrategy: "irt" | "raw";
+        };
+        readonly rowHash: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+    };
+    readonly rowKind: "catalog";
+} | {
+    readonly family: "tryout";
+    readonly record: {
+        readonly row: {
+            readonly answerArtifactLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraArtifactLocale">;
+            readonly answerContentKey: string & import("effect/Brand").Brand<"@NakafaAI/AksaraContentKey">;
+            readonly appLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraAppLocale">;
+            readonly blueprint?: {
+                readonly cognitiveLevel: string;
+                readonly contentDomain: string;
+                readonly topic: string;
+            };
+            readonly countryKey: string;
+            readonly deliveryLanguage: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraDeliveryLanguage">;
+            readonly examKey: string;
+            readonly languagePolicy: {
+                readonly kind: "app-locale";
+            } | {
+                readonly kind: "fixed";
+                readonly language: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraDeliveryLanguage">;
+            };
+            readonly questionArtifactLocale: ("de" | "en" | "id") & import("effect/Brand").Brand<"@NakafaAI/AksaraArtifactLocale">;
+            readonly questionContentKey: string & import("effect/Brand").Brand<"@NakafaAI/AksaraContentKey">;
+            readonly questionOrder: number;
+            readonly questionSourcePath: string & import("effect/Brand").Brand<"@NakafaAI/AksaraCorpusSourcePath">;
+            readonly rendererDomain: "ai-ds" | "biology" | "chemistry" | "mathematics" | "physics" | "politics" | "site" | "snbt-general" | "snbt-math" | "snbt-plain" | "snbt-quant" | "tka-math";
+            readonly response: {
+                readonly categories: readonly {
+                    readonly categoryKey: string;
+                    readonly label: readonly [{
+                        readonly display: "block" | "inline";
+                        readonly kind: "math";
+                        readonly math: string;
+                    } | {
+                        readonly kind: "text";
+                        readonly text: string;
+                    }, ...({
+                        readonly display: "block" | "inline";
+                        readonly kind: "math";
+                        readonly math: string;
+                    } | {
+                        readonly kind: "text";
+                        readonly text: string;
+                    })[]];
+                    readonly order: number;
+                }[];
+                readonly kind: "category";
+                readonly statements: readonly {
+                    readonly correctCategoryKey: string;
+                    readonly label: readonly [{
+                        readonly display: "block" | "inline";
+                        readonly kind: "math";
+                        readonly math: string;
+                    } | {
+                        readonly kind: "text";
+                        readonly text: string;
+                    }, ...({
+                        readonly display: "block" | "inline";
+                        readonly kind: "math";
+                        readonly math: string;
+                    } | {
+                        readonly kind: "text";
+                        readonly text: string;
+                    })[]];
+                    readonly order: number;
+                    readonly statementKey: string;
+                }[];
+            } | {
+                readonly kind: "multiple-choice";
+                readonly options: readonly {
+                    readonly isCorrect: boolean;
+                    readonly label: readonly [{
+                        readonly display: "block" | "inline";
+                        readonly kind: "math";
+                        readonly math: string;
+                    } | {
+                        readonly kind: "text";
+                        readonly text: string;
+                    }, ...({
+                        readonly display: "block" | "inline";
+                        readonly kind: "math";
+                        readonly math: string;
+                    } | {
+                        readonly kind: "text";
+                        readonly text: string;
+                    })[]];
+                    readonly optionKey: string;
+                    readonly order: number;
+                }[];
+            } | {
+                readonly kind: "single-choice";
+                readonly options: readonly {
+                    readonly isCorrect: boolean;
+                    readonly label: readonly [{
+                        readonly display: "block" | "inline";
+                        readonly kind: "math";
+                        readonly math: string;
+                    } | {
+                        readonly kind: "text";
+                        readonly text: string;
+                    }, ...({
+                        readonly display: "block" | "inline";
+                        readonly kind: "math";
+                        readonly math: string;
+                    } | {
+                        readonly kind: "text";
+                        readonly text: string;
+                    })[]];
+                    readonly optionKey: string;
+                    readonly order: number;
+                }[];
+            };
+            readonly scope: "server";
+            readonly sectionKey: string;
+            readonly setKey: string;
+            readonly sourceRevision: string;
+            readonly stimulusKey?: string;
+            readonly trackKey: string;
+            readonly answerArtifactHash: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+            readonly contentHash: string & import("effect/Brand").Brand<"@NakafaAI/AksaraTryoutContentHash">;
+            readonly questionArtifactHash: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+        };
+        readonly rowHash: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+    };
+    readonly rowKind: "placement";
+}, E | SnapshotRowDecodeError, R>;
+/** Confirms all replay passes agree with signed staged-row evidence. */
+export declare function verifyStagedSnapshotRows(actualRows: number, verifiedRows: number, expectedRows: number): Effect.Effect<void, never, never> | Effect.Effect<never, SnapshotStagedCountError, never>;
+/**
+ * Authenticates every replacement through replayable Stream values.
+ * Global rows may interleave families; each filtered family order stays signed.
+ */
+export declare const verifyContentSnapshots: <ManifestError, ManifestContext, RowError, RowContext>(input: {
+    readonly previousSnapshots: ContentSnapshotSet | null;
+    /** Replays canonical replacement manifests. */
+    readonly manifests: Stream.Stream<unknown, ManifestError, ManifestContext>;
+    /** Replays structured rows for every verification pass. */
+    readonly rows: Stream.Stream<unknown, RowError, RowContext>;
+}) => Effect.Effect<{
+    snapshots: {
+        readonly program: {
+            readonly baseSnapshotId: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">) | null;
+            readonly mode: "inherit" | "replace" | "restore";
+            readonly resultSnapshotId: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">) | null;
+            readonly rowCount: number;
+            readonly rowDigest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+        };
+        readonly quran: {
+            readonly baseSnapshotId: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">) | null;
+            readonly mode: "inherit" | "replace" | "restore";
+            readonly resultSnapshotId: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">) | null;
+            readonly rowCount: number;
+            readonly rowDigest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+        };
+        readonly tryout: {
+            readonly baseSnapshotId: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">) | null;
+            readonly mode: "inherit" | "replace" | "restore";
+            readonly resultSnapshotId: (string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">) | null;
+            readonly rowCount: number;
+            readonly rowDigest: string & import("effect/Brand").Brand<"@NakafaAI/AksaraSha256Hash">;
+        };
+    };
+    stagedRows: number;
+}, ManifestError | RowError | import("../../program/snapshot/digest.js").ProgramDigestError | import("../../program/snapshot/row-hash.js").ProgramRowHashError | import("../../program/snapshot/hash.js").ProgramSnapshotHashError | import("../../quran/snapshot/row/hash.js").QuranRowHashError | import("../../quran/snapshot/digest.js").QuranRowIntegrityError | import("../../quran/snapshot/digest.js").QuranRowOrderError | import("../../quran/snapshot/hash.js").QuranSnapshotHashError | import("./evidence-requirement.js").SnapshotEvidenceError | SnapshotManifestDecodeError | SnapshotManifestOrderError | SnapshotRowDecodeError | SnapshotRowFamilyError | SnapshotStagedCountError | SnapshotTransitionError | import("../../tryout/locale-closure.js").TryoutClosureError | import("../../tryout/row-hash.js").TryoutDigestError, ManifestContext | RowContext>;
+export {};