@nakafa/aksara-contracts 0.27.0

package/dist/release/current/evidence.d.ts

@@ -0,0 +1,424 @@
+import { Schema } from "effect";
+import { type RollbackContentReleaseBundle } from "#contracts/release/lifecycle";
+/** Compares canonical signed locale lists without erasing their role. */
+export declare function hasSameAppLocales(left: readonly string[], right: readonly string[]): boolean;
+/** Exact active release retained for base selection and crash recovery. */
+export declare const ActiveContentReleaseSchema: Schema.Struct<{
+    readonly release: Schema.Struct<{
+        readonly keyId: Schema.brand<Schema.String, "@NakafaAI/AksaraSigningKeyId">;
+        readonly manifest: Schema.Struct<{
+            readonly baseActiveAppLocales: Schema.NullOr<Schema.NonEmptyArray<Schema.brand<Schema.Literals<readonly ["en", "id", "de"]>, "@NakafaAI/AksaraAppLocale">>>;
+            readonly baseManifestHash: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+            readonly baseReleaseId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraReleaseId">>;
+            readonly baseResultCount: Schema.Finite;
+            readonly baseResultDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly deleteCount: Schema.Finite;
+            readonly itemCount: Schema.Finite;
+            readonly itemsDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly origin: Schema.Union<readonly [Schema.Struct<{
+                readonly kind: Schema.Literal<"git">;
+                readonly sha: Schema.brand<Schema.String, "@NakafaAI/AksaraGitCommitSha">;
+            }>, Schema.Struct<{
+                readonly kind: Schema.Literal<"rollback">;
+                readonly releaseId: Schema.brand<Schema.String, "@NakafaAI/AksaraReleaseId">;
+            }>]>;
+            readonly projectionCount: Schema.Finite;
+            readonly projectionDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly releaseId: Schema.brand<Schema.String, "@NakafaAI/AksaraReleaseId">;
+            readonly rendererContractVersion: Schema.Literal<"1.0.0">;
+            readonly rendererManifestHash: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly resultCount: Schema.Finite;
+            readonly resultDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly rollbackCount: Schema.Finite;
+            readonly rollbackDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly routeCount: Schema.Finite;
+            readonly routeDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly scope: Schema.Struct<{
+                content: Schema.optional<Schema.$Array<Schema.Struct<{
+                    readonly artifactLocale: Schema.brand<Schema.Literals<readonly ["en", "id", "de"]>, "@NakafaAI/AksaraArtifactLocale">;
+                    readonly contentKey: Schema.brand<Schema.String, "@NakafaAI/AksaraContentKey">;
+                    readonly family: Schema.Literals<readonly ["article", "material", "page", "question"]>;
+                }>>>;
+                families: Schema.$Array<Schema.Literals<readonly ["article", "material", "page", "question"]>>;
+                snapshots: Schema.$Array<Schema.Literals<readonly ["program", "quran", "tryout"]>>;
+            }>;
+            readonly snapshots: Schema.Struct<{
+                readonly program: Schema.Struct<{
+                    readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                    readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly rowCount: Schema.Int;
+                    readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                }>;
+                readonly quran: Schema.Struct<{
+                    readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                    readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly rowCount: Schema.Int;
+                    readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                }>;
+                readonly tryout: Schema.Struct<{
+                    readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                    readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly rowCount: Schema.Int;
+                    readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                }>;
+            }>;
+            readonly upsertCount: Schema.Finite;
+            readonly activeAppLocales: Schema.NonEmptyArray<Schema.brand<Schema.Literals<readonly ["en", "id", "de"]>, "@NakafaAI/AksaraAppLocale">>;
+            readonly format: Schema.Literal<"localized-content-release">;
+        }>;
+        readonly manifestHash: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+        readonly signature: Schema.brand<Schema.String, "@NakafaAI/AksaraEd25519Signature">;
+    }>;
+    readonly rendererManifest: Schema.Struct<{
+        readonly base: Schema.Struct<{
+            authoringComponents: Schema.$Array<Schema.Struct<{
+                readonly name: Schema.String;
+                readonly version: Schema.Finite;
+            }>>;
+            supportedComponents: Schema.$Array<Schema.Struct<{
+                readonly name: Schema.String;
+                readonly version: Schema.Finite;
+            }>>;
+        }>;
+        readonly domains: Schema.$Array<Schema.Struct<{
+            readonly authoringComponents: Schema.$Array<Schema.Struct<{
+                readonly name: Schema.String;
+                readonly version: Schema.Finite;
+            }>>;
+            readonly name: Schema.Literals<readonly ["ai-ds", "biology", "chemistry", "mathematics", "physics", "politics", "site", "snbt-general", "snbt-math", "snbt-plain", "snbt-quant", "tka-math"]>;
+            readonly supportedComponents: Schema.$Array<Schema.Struct<{
+                readonly name: Schema.String;
+                readonly version: Schema.Finite;
+            }>>;
+        }>>;
+        readonly format: Schema.Literal<"nakafa-mdx-renderer-v1">;
+        readonly hash: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+        readonly publishedDomains: Schema.$Array<Schema.Literals<readonly ["ai-ds", "biology", "chemistry", "mathematics", "physics", "politics", "site", "snbt-general", "snbt-math", "snbt-plain", "snbt-quant", "tka-math"]>>;
+        readonly rendererContractVersion: Schema.Literal<"1.0.0">;
+    }>;
+    readonly receipt: Schema.Struct<{
+        readonly activatedHeads: Schema.Finite;
+        readonly activeAppLocales: Schema.NonEmptyArray<Schema.brand<Schema.Literals<readonly ["en", "id", "de"]>, "@NakafaAI/AksaraAppLocale">>;
+        readonly deletedHeads: Schema.Finite;
+        readonly manifestHash: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+        readonly projectionDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+        readonly releaseId: Schema.brand<Schema.String, "@NakafaAI/AksaraReleaseId">;
+        readonly resultCount: Schema.Finite;
+        readonly resultDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+        readonly routeDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+        readonly snapshots: Schema.Struct<{
+            readonly program: Schema.Struct<{
+                readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                readonly rowCount: Schema.Int;
+                readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            }>;
+            readonly quran: Schema.Struct<{
+                readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                readonly rowCount: Schema.Int;
+                readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            }>;
+            readonly tryout: Schema.Struct<{
+                readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                readonly rowCount: Schema.Int;
+                readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            }>;
+        }>;
+        readonly stagedArtifacts: Schema.Finite;
+        readonly stagedItems: Schema.Finite;
+        readonly stagedProjections: Schema.Finite;
+        readonly stagedRoutes: Schema.Finite;
+        readonly stagedSnapshotRows: Schema.Finite;
+    }>;
+}>;
+export type ActiveContentRelease = typeof ActiveContentReleaseSchema.Type;
+/** Completed active release known to carry rollback provenance. */
+export type ActiveRollbackContentRelease = ActiveContentRelease & RollbackContentReleaseBundle;
+/** Historical terminal release accepted only when it is a rollback. */
+export declare const ActiveRollbackContentReleaseSchema: Schema.refine<ActiveRollbackContentRelease, Schema.Struct<{
+    readonly release: Schema.Struct<{
+        readonly keyId: Schema.brand<Schema.String, "@NakafaAI/AksaraSigningKeyId">;
+        readonly manifest: Schema.Struct<{
+            readonly baseActiveAppLocales: Schema.NullOr<Schema.NonEmptyArray<Schema.brand<Schema.Literals<readonly ["en", "id", "de"]>, "@NakafaAI/AksaraAppLocale">>>;
+            readonly baseManifestHash: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+            readonly baseReleaseId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraReleaseId">>;
+            readonly baseResultCount: Schema.Finite;
+            readonly baseResultDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly deleteCount: Schema.Finite;
+            readonly itemCount: Schema.Finite;
+            readonly itemsDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly origin: Schema.Union<readonly [Schema.Struct<{
+                readonly kind: Schema.Literal<"git">;
+                readonly sha: Schema.brand<Schema.String, "@NakafaAI/AksaraGitCommitSha">;
+            }>, Schema.Struct<{
+                readonly kind: Schema.Literal<"rollback">;
+                readonly releaseId: Schema.brand<Schema.String, "@NakafaAI/AksaraReleaseId">;
+            }>]>;
+            readonly projectionCount: Schema.Finite;
+            readonly projectionDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly releaseId: Schema.brand<Schema.String, "@NakafaAI/AksaraReleaseId">;
+            readonly rendererContractVersion: Schema.Literal<"1.0.0">;
+            readonly rendererManifestHash: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly resultCount: Schema.Finite;
+            readonly resultDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly rollbackCount: Schema.Finite;
+            readonly rollbackDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly routeCount: Schema.Finite;
+            readonly routeDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly scope: Schema.Struct<{
+                content: Schema.optional<Schema.$Array<Schema.Struct<{
+                    readonly artifactLocale: Schema.brand<Schema.Literals<readonly ["en", "id", "de"]>, "@NakafaAI/AksaraArtifactLocale">;
+                    readonly contentKey: Schema.brand<Schema.String, "@NakafaAI/AksaraContentKey">;
+                    readonly family: Schema.Literals<readonly ["article", "material", "page", "question"]>;
+                }>>>;
+                families: Schema.$Array<Schema.Literals<readonly ["article", "material", "page", "question"]>>;
+                snapshots: Schema.$Array<Schema.Literals<readonly ["program", "quran", "tryout"]>>;
+            }>;
+            readonly snapshots: Schema.Struct<{
+                readonly program: Schema.Struct<{
+                    readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                    readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly rowCount: Schema.Int;
+                    readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                }>;
+                readonly quran: Schema.Struct<{
+                    readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                    readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly rowCount: Schema.Int;
+                    readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                }>;
+                readonly tryout: Schema.Struct<{
+                    readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                    readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly rowCount: Schema.Int;
+                    readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                }>;
+            }>;
+            readonly upsertCount: Schema.Finite;
+            readonly activeAppLocales: Schema.NonEmptyArray<Schema.brand<Schema.Literals<readonly ["en", "id", "de"]>, "@NakafaAI/AksaraAppLocale">>;
+            readonly format: Schema.Literal<"localized-content-release">;
+        }>;
+        readonly manifestHash: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+        readonly signature: Schema.brand<Schema.String, "@NakafaAI/AksaraEd25519Signature">;
+    }>;
+    readonly rendererManifest: Schema.Struct<{
+        readonly base: Schema.Struct<{
+            authoringComponents: Schema.$Array<Schema.Struct<{
+                readonly name: Schema.String;
+                readonly version: Schema.Finite;
+            }>>;
+            supportedComponents: Schema.$Array<Schema.Struct<{
+                readonly name: Schema.String;
+                readonly version: Schema.Finite;
+            }>>;
+        }>;
+        readonly domains: Schema.$Array<Schema.Struct<{
+            readonly authoringComponents: Schema.$Array<Schema.Struct<{
+                readonly name: Schema.String;
+                readonly version: Schema.Finite;
+            }>>;
+            readonly name: Schema.Literals<readonly ["ai-ds", "biology", "chemistry", "mathematics", "physics", "politics", "site", "snbt-general", "snbt-math", "snbt-plain", "snbt-quant", "tka-math"]>;
+            readonly supportedComponents: Schema.$Array<Schema.Struct<{
+                readonly name: Schema.String;
+                readonly version: Schema.Finite;
+            }>>;
+        }>>;
+        readonly format: Schema.Literal<"nakafa-mdx-renderer-v1">;
+        readonly hash: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+        readonly publishedDomains: Schema.$Array<Schema.Literals<readonly ["ai-ds", "biology", "chemistry", "mathematics", "physics", "politics", "site", "snbt-general", "snbt-math", "snbt-plain", "snbt-quant", "tka-math"]>>;
+        readonly rendererContractVersion: Schema.Literal<"1.0.0">;
+    }>;
+    readonly receipt: Schema.Struct<{
+        readonly activatedHeads: Schema.Finite;
+        readonly activeAppLocales: Schema.NonEmptyArray<Schema.brand<Schema.Literals<readonly ["en", "id", "de"]>, "@NakafaAI/AksaraAppLocale">>;
+        readonly deletedHeads: Schema.Finite;
+        readonly manifestHash: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+        readonly projectionDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+        readonly releaseId: Schema.brand<Schema.String, "@NakafaAI/AksaraReleaseId">;
+        readonly resultCount: Schema.Finite;
+        readonly resultDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+        readonly routeDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+        readonly snapshots: Schema.Struct<{
+            readonly program: Schema.Struct<{
+                readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                readonly rowCount: Schema.Int;
+                readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            }>;
+            readonly quran: Schema.Struct<{
+                readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                readonly rowCount: Schema.Int;
+                readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            }>;
+            readonly tryout: Schema.Struct<{
+                readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                readonly rowCount: Schema.Int;
+                readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            }>;
+        }>;
+        readonly stagedArtifacts: Schema.Finite;
+        readonly stagedItems: Schema.Finite;
+        readonly stagedProjections: Schema.Finite;
+        readonly stagedRoutes: Schema.Finite;
+        readonly stagedSnapshotRows: Schema.Finite;
+    }>;
+}>>;
+/** Historical recovery lookup used for crash-safe terminal replay. */
+export declare const RecoveryLookupSchema: Schema.Union<readonly [Schema.Struct<{
+    readonly kind: Schema.Literal<"missing">;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"completed">;
+    readonly value: Schema.refine<ActiveRollbackContentRelease, Schema.Struct<{
+        readonly release: Schema.Struct<{
+            readonly keyId: Schema.brand<Schema.String, "@NakafaAI/AksaraSigningKeyId">;
+            readonly manifest: Schema.Struct<{
+                readonly baseActiveAppLocales: Schema.NullOr<Schema.NonEmptyArray<Schema.brand<Schema.Literals<readonly ["en", "id", "de"]>, "@NakafaAI/AksaraAppLocale">>>;
+                readonly baseManifestHash: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                readonly baseReleaseId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraReleaseId">>;
+                readonly baseResultCount: Schema.Finite;
+                readonly baseResultDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                readonly deleteCount: Schema.Finite;
+                readonly itemCount: Schema.Finite;
+                readonly itemsDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                readonly origin: Schema.Union<readonly [Schema.Struct<{
+                    readonly kind: Schema.Literal<"git">;
+                    readonly sha: Schema.brand<Schema.String, "@NakafaAI/AksaraGitCommitSha">;
+                }>, Schema.Struct<{
+                    readonly kind: Schema.Literal<"rollback">;
+                    readonly releaseId: Schema.brand<Schema.String, "@NakafaAI/AksaraReleaseId">;
+                }>]>;
+                readonly projectionCount: Schema.Finite;
+                readonly projectionDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                readonly releaseId: Schema.brand<Schema.String, "@NakafaAI/AksaraReleaseId">;
+                readonly rendererContractVersion: Schema.Literal<"1.0.0">;
+                readonly rendererManifestHash: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                readonly resultCount: Schema.Finite;
+                readonly resultDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                readonly rollbackCount: Schema.Finite;
+                readonly rollbackDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                readonly routeCount: Schema.Finite;
+                readonly routeDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                readonly scope: Schema.Struct<{
+                    content: Schema.optional<Schema.$Array<Schema.Struct<{
+                        readonly artifactLocale: Schema.brand<Schema.Literals<readonly ["en", "id", "de"]>, "@NakafaAI/AksaraArtifactLocale">;
+                        readonly contentKey: Schema.brand<Schema.String, "@NakafaAI/AksaraContentKey">;
+                        readonly family: Schema.Literals<readonly ["article", "material", "page", "question"]>;
+                    }>>>;
+                    families: Schema.$Array<Schema.Literals<readonly ["article", "material", "page", "question"]>>;
+                    snapshots: Schema.$Array<Schema.Literals<readonly ["program", "quran", "tryout"]>>;
+                }>;
+                readonly snapshots: Schema.Struct<{
+                    readonly program: Schema.Struct<{
+                        readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                        readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                        readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                        readonly rowCount: Schema.Int;
+                        readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                    }>;
+                    readonly quran: Schema.Struct<{
+                        readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                        readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                        readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                        readonly rowCount: Schema.Int;
+                        readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                    }>;
+                    readonly tryout: Schema.Struct<{
+                        readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                        readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                        readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                        readonly rowCount: Schema.Int;
+                        readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                    }>;
+                }>;
+                readonly upsertCount: Schema.Finite;
+                readonly activeAppLocales: Schema.NonEmptyArray<Schema.brand<Schema.Literals<readonly ["en", "id", "de"]>, "@NakafaAI/AksaraAppLocale">>;
+                readonly format: Schema.Literal<"localized-content-release">;
+            }>;
+            readonly manifestHash: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly signature: Schema.brand<Schema.String, "@NakafaAI/AksaraEd25519Signature">;
+        }>;
+        readonly rendererManifest: Schema.Struct<{
+            readonly base: Schema.Struct<{
+                authoringComponents: Schema.$Array<Schema.Struct<{
+                    readonly name: Schema.String;
+                    readonly version: Schema.Finite;
+                }>>;
+                supportedComponents: Schema.$Array<Schema.Struct<{
+                    readonly name: Schema.String;
+                    readonly version: Schema.Finite;
+                }>>;
+            }>;
+            readonly domains: Schema.$Array<Schema.Struct<{
+                readonly authoringComponents: Schema.$Array<Schema.Struct<{
+                    readonly name: Schema.String;
+                    readonly version: Schema.Finite;
+                }>>;
+                readonly name: Schema.Literals<readonly ["ai-ds", "biology", "chemistry", "mathematics", "physics", "politics", "site", "snbt-general", "snbt-math", "snbt-plain", "snbt-quant", "tka-math"]>;
+                readonly supportedComponents: Schema.$Array<Schema.Struct<{
+                    readonly name: Schema.String;
+                    readonly version: Schema.Finite;
+                }>>;
+            }>>;
+            readonly format: Schema.Literal<"nakafa-mdx-renderer-v1">;
+            readonly hash: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly publishedDomains: Schema.$Array<Schema.Literals<readonly ["ai-ds", "biology", "chemistry", "mathematics", "physics", "politics", "site", "snbt-general", "snbt-math", "snbt-plain", "snbt-quant", "tka-math"]>>;
+            readonly rendererContractVersion: Schema.Literal<"1.0.0">;
+        }>;
+        readonly receipt: Schema.Struct<{
+            readonly activatedHeads: Schema.Finite;
+            readonly activeAppLocales: Schema.NonEmptyArray<Schema.brand<Schema.Literals<readonly ["en", "id", "de"]>, "@NakafaAI/AksaraAppLocale">>;
+            readonly deletedHeads: Schema.Finite;
+            readonly manifestHash: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly projectionDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly releaseId: Schema.brand<Schema.String, "@NakafaAI/AksaraReleaseId">;
+            readonly resultCount: Schema.Finite;
+            readonly resultDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly routeDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+            readonly snapshots: Schema.Struct<{
+                readonly program: Schema.Struct<{
+                    readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                    readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly rowCount: Schema.Int;
+                    readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                }>;
+                readonly quran: Schema.Struct<{
+                    readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                    readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly rowCount: Schema.Int;
+                    readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                }>;
+                readonly tryout: Schema.Struct<{
+                    readonly baseSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly mode: Schema.Literals<readonly ["inherit", "replace", "restore"]>;
+                    readonly resultSnapshotId: Schema.NullOr<Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">>;
+                    readonly rowCount: Schema.Int;
+                    readonly rowDigest: Schema.brand<Schema.String, "@NakafaAI/AksaraSha256Hash">;
+                }>;
+            }>;
+            readonly stagedArtifacts: Schema.Finite;
+            readonly stagedItems: Schema.Finite;
+            readonly stagedProjections: Schema.Finite;
+            readonly stagedRoutes: Schema.Finite;
+            readonly stagedSnapshotRows: Schema.Finite;
+        }>;
+    }>>;
+}>]>;
+export type RecoveryLookup = typeof RecoveryLookupSchema.Type;

package/dist/release/current/evidence.js

@@ -0,0 +1,41 @@
+import { Schema } from "effect";
+import { ContentReleaseBundleSchema, } from "#contracts/release/lifecycle";
+import { hasSameContentSnapshots, snapshotRowCount, } from "#contracts/release/snapshot/spec";
+import { PublicationReceiptSchema } from "#contracts/release/spec";
+/** Compares canonical signed locale lists without erasing their role. */
+export function hasSameAppLocales(left, right) {
+    return (left.length === right.length &&
+        left.every((locale, index) => locale === right[index]));
+}
+/** Checks terminal receipt counts against its signed immutable manifest. */
+function hasBoundCompletedReceipt(input) {
+    const { manifest } = input.release;
+    const { receipt } = input;
+    return (receipt.releaseId === manifest.releaseId &&
+        hasSameAppLocales(receipt.activeAppLocales, manifest.activeAppLocales) &&
+        receipt.manifestHash === input.release.manifestHash &&
+        receipt.stagedArtifacts === manifest.upsertCount &&
+        receipt.stagedItems === manifest.itemCount &&
+        receipt.stagedProjections === manifest.projectionCount &&
+        receipt.projectionDigest === manifest.projectionDigest &&
+        receipt.resultCount === manifest.resultCount &&
+        receipt.resultDigest === manifest.resultDigest &&
+        receipt.routeDigest === manifest.routeDigest &&
+        receipt.stagedRoutes === manifest.routeCount &&
+        hasSameContentSnapshots(receipt.snapshots, manifest.snapshots) &&
+        receipt.stagedSnapshotRows === snapshotRowCount(manifest.snapshots));
+}
+/** Exact active release retained for base selection and crash recovery. */
+export const ActiveContentReleaseSchema = ContentReleaseBundleSchema.mapFields((fields) => ({ ...fields, receipt: PublicationReceiptSchema }), { unsafePreserveChecks: true }).pipe(Schema.check(Schema.makeFilter(hasBoundCompletedReceipt, {
+    message: "Expected the active receipt to match its signed release manifest.",
+})));
+/** Historical terminal release accepted only when it is a rollback. */
+export const ActiveRollbackContentReleaseSchema = ActiveContentReleaseSchema.pipe(Schema.refine((release) => release.release.manifest.origin.kind === "rollback", { message: "Expected a completed rollback release." }));
+/** Historical recovery lookup used for crash-safe terminal replay. */
+export const RecoveryLookupSchema = Schema.Union([
+    Schema.Struct({ kind: Schema.Literal("missing") }),
+    Schema.Struct({
+        kind: Schema.Literal("completed"),
+        value: ActiveRollbackContentReleaseSchema,
+    }),
+]);

package/dist/release/current/runtime.d.ts

@@ -0,0 +1,4 @@
+import type { ActiveContentRelease } from "#contracts/release/current/evidence";
+import type { SignedTryoutRuntimeBundle } from "#contracts/tryout/runtime/spec";
+/** Accepts only the permanent runtime bound to the active try-out snapshot. */
+export declare function hasCurrentTryoutRuntimeBundle(active: ActiveContentRelease | null, bundle: SignedTryoutRuntimeBundle | null): boolean;

package/dist/release/current/runtime.js

@@ -0,0 +1,15 @@
+/** Accepts only the permanent runtime bound to the active try-out snapshot. */
+export function hasCurrentTryoutRuntimeBundle(active, bundle) {
+    if (active === null) {
+        return bundle === null;
+    }
+    const snapshotId = active.release.manifest.snapshots.tryout.resultSnapshotId;
+    if (snapshotId === null || snapshotId === undefined) {
+        return bundle === null;
+    }
+    if (bundle === null) {
+        return false;
+    }
+    return (snapshotId === bundle.payload.snapshot.snapshotId &&
+        active.rendererManifest.hash === bundle.payload.rendererManifestHash);
+}