@yielded/auth-persistence 0.1.0-beta.25 → 0.1.0-beta.26

package/dist/internal/phone-composed.mjs

@@ -0,0 +1,79 @@
+import { requiredPhoneConstraints } from "./models/phone-model.mjs";
+import { makeNativePhoneServices } from "./phone-native.mjs";
+import { Effect } from "effect";
+import { PhoneOtpUnavailable, PhoneSignInTargets } from "@yielded/auth/PhoneOtp";
+import { SqlClient } from "effect/sql/SqlClient";
+//#region src/internal/phone-composed.ts
+/** Composed storage supplies sign-in; applications opt into provisioning with an explicit mapping. */
+const makeComposedPhoneTargets = Effect.fnUntraced(function* (tables, storage, proofs, modules) {
+	const sql = yield* SqlClient;
+	const s = storage.subjects;
+	const subject = tables(s.table);
+	const identifier = tables(storage.tables.identifiers);
+	const credential = tables(storage.tables.credentials);
+	const targets = /* @__PURE__ */ new Map();
+	for (const moduleId of modules) {
+		const mapping = {
+			moduleId,
+			policy: {
+				maximumEvidenceAgeMillis: 3e5,
+				requireImmediateInvalidation: true
+			},
+			constraints: requiredPhoneConstraints,
+			proofs,
+			subjectIds: {
+				toNative: s.toNative,
+				toSubject: s.toSubject
+			},
+			subject: {
+				table: s.table,
+				id: s.id,
+				securityRevision: s.securityRevision,
+				activeCondition: sql`${subject.column(s.status)} = ${subject.value(s.status, s.activeValue)}`,
+				decodeRequirement: s.requirements
+			},
+			identifier: {
+				table: storage.tables.identifiers,
+				moduleId: "moduleId",
+				credentialId: "credentialId",
+				namespace: "namespace",
+				value: "value",
+				subjectId: "subjectId",
+				revision: "revision",
+				verifiedAt: "verifiedAt",
+				status: "active",
+				activeCondition: sql`${identifier.column("active")} = ${identifier.value("active", true)}`,
+				encodeStatus: (value) => value,
+				encodeInsert: (row) => ({
+					moduleId: row.moduleId,
+					credentialId: row.credentialId,
+					namespace: "phone",
+					value: row.phoneNumber,
+					subjectId: row.subjectId,
+					revision: row.revision,
+					verifiedAt: storage.encodeInstant(row.verifiedAtMillis),
+					active: row.active
+				})
+			},
+			credential: {
+				table: storage.tables.credentials,
+				id: "credentialId",
+				subjectId: "subjectId",
+				revision: "revision",
+				status: "active",
+				activeCondition: sql`${credential.column("active")} = ${credential.value("active", true)}`,
+				encodeStatus: (value) => value,
+				encodeInsert: (row) => row
+			},
+			encodeInstant: storage.encodeInstant,
+			engineNowMillis: proofs.clock.engineNowMillis
+		};
+		const services = yield* makeNativePhoneServices(tables, mapping);
+		targets.set(moduleId, services.phoneSignInTargets);
+	}
+	return PhoneSignInTargets.of({ lookup: (input) => targets.get(input.moduleId)?.lookup(input) ?? Effect.fail(PhoneOtpUnavailable.make({})) });
+});
+//#endregion
+export { makeComposedPhoneTargets };
+
+//# sourceMappingURL=phone-composed.mjs.map

package/dist/internal/phone-composed.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"phone-composed.mjs","names":[],"sources":["../../src/internal/phone-composed.ts"],"sourcesContent":["import { PhoneSignInTargets, PhoneOtpUnavailable } from \"@yielded/auth/PhoneOtp\";\nimport { Effect } from \"effect\";\nimport { SqlClient } from \"effect/sql/SqlClient\";\n\nimport type { MappingInput } from \"./configuration\";\nimport type { AnyPhoneMapping } from \"./models/phone-model\";\nimport { requiredPhoneConstraints } from \"./models/phone-model\";\nimport type { AnyProofPersistenceMapping } from \"./models/proof-model\";\nimport type { NativeSqlTables } from \"./native-sql-table\";\nimport { makeNativePhoneServices } from \"./phone-native\";\n\n/** Composed storage supplies sign-in; applications opt into provisioning with an explicit mapping. */\nexport const makeComposedPhoneTargets = Effect.fnUntraced(function* (\n  tables: NativeSqlTables,\n  storage: MappingInput,\n  proofs: AnyProofPersistenceMapping,\n  modules: ReadonlyArray<string>,\n) {\n  const sql = yield* SqlClient;\n  const s = storage.subjects;\n  const subject = tables(s.table);\n  const identifier = tables(storage.tables.identifiers!);\n  const credential = tables(storage.tables.credentials!);\n  const targets = new Map<string, PhoneSignInTargets[\"Service\"]>();\n\n  for (const moduleId of modules) {\n    const mapping: AnyPhoneMapping = {\n      moduleId,\n      policy: { maximumEvidenceAgeMillis: 300_000, requireImmediateInvalidation: true },\n      constraints: requiredPhoneConstraints,\n      proofs,\n      subjectIds: { toNative: s.toNative, toSubject: s.toSubject },\n      subject: {\n        table: s.table,\n        id: s.id,\n        securityRevision: s.securityRevision,\n        activeCondition: sql`${subject.column(s.status)} = ${subject.value(s.status, s.activeValue)}`,\n        decodeRequirement: s.requirements,\n      },\n      identifier: {\n        table: storage.tables.identifiers!,\n        moduleId: \"moduleId\",\n        credentialId: \"credentialId\",\n        namespace: \"namespace\",\n        value: \"value\",\n        subjectId: \"subjectId\",\n        revision: \"revision\",\n        verifiedAt: \"verifiedAt\",\n        status: \"active\",\n        activeCondition: sql`${identifier.column(\"active\")} = ${identifier.value(\"active\", true)}`,\n        encodeStatus: (value) => value,\n        encodeInsert: (row) => ({\n          moduleId: row.moduleId,\n          credentialId: row.credentialId,\n          namespace: \"phone\",\n          value: row.phoneNumber,\n          subjectId: row.subjectId,\n          revision: row.revision,\n          verifiedAt: storage.encodeInstant(row.verifiedAtMillis),\n          active: row.active,\n        }),\n      },\n      credential: {\n        table: storage.tables.credentials!,\n        id: \"credentialId\",\n        subjectId: \"subjectId\",\n        revision: \"revision\",\n        status: \"active\",\n        activeCondition: sql`${credential.column(\"active\")} = ${credential.value(\"active\", true)}`,\n        encodeStatus: (value) => value,\n        encodeInsert: (row) => row,\n      },\n      encodeInstant: storage.encodeInstant,\n      engineNowMillis: proofs.clock.engineNowMillis,\n    };\n\n    const services = yield* makeNativePhoneServices(tables, mapping);\n\n    targets.set(moduleId, services.phoneSignInTargets);\n  }\n\n  return PhoneSignInTargets.of({\n    lookup: (input) =>\n      targets.get(input.moduleId)?.lookup(input) ?? Effect.fail(PhoneOtpUnavailable.make({})),\n  });\n});\n"],"mappings":";;;;;;;AAYA,MAAa,2BAA2B,OAAO,WAAW,WACxD,QACA,SACA,QACA,SACA;CACA,MAAM,MAAM,OAAO;CACnB,MAAM,IAAI,QAAQ;CAClB,MAAM,UAAU,OAAO,EAAE,KAAK;CAC9B,MAAM,aAAa,OAAO,QAAQ,OAAO,WAAY;CACrD,MAAM,aAAa,OAAO,QAAQ,OAAO,WAAY;CACrD,MAAM,0BAAU,IAAI,IAA2C;CAE/D,KAAK,MAAM,YAAY,SAAS;EAC9B,MAAM,UAA2B;GAC/B;GACA,QAAQ;IAAE,0BAA0B;IAAS,8BAA8B;GAAK;GAChF,aAAa;GACb;GACA,YAAY;IAAE,UAAU,EAAE;IAAU,WAAW,EAAE;GAAU;GAC3D,SAAS;IACP,OAAO,EAAE;IACT,IAAI,EAAE;IACN,kBAAkB,EAAE;IACpB,iBAAiB,GAAG,GAAG,QAAQ,OAAO,EAAE,MAAM,EAAE,KAAK,QAAQ,MAAM,EAAE,QAAQ,EAAE,WAAW;IAC1F,mBAAmB,EAAE;GACvB;GACA,YAAY;IACV,OAAO,QAAQ,OAAO;IACtB,UAAU;IACV,cAAc;IACd,WAAW;IACX,OAAO;IACP,WAAW;IACX,UAAU;IACV,YAAY;IACZ,QAAQ;IACR,iBAAiB,GAAG,GAAG,WAAW,OAAO,QAAQ,EAAE,KAAK,WAAW,MAAM,UAAU,IAAI;IACvF,eAAe,UAAU;IACzB,eAAe,SAAS;KACtB,UAAU,IAAI;KACd,cAAc,IAAI;KAClB,WAAW;KACX,OAAO,IAAI;KACX,WAAW,IAAI;KACf,UAAU,IAAI;KACd,YAAY,QAAQ,cAAc,IAAI,gBAAgB;KACtD,QAAQ,IAAI;IACd;GACF;GACA,YAAY;IACV,OAAO,QAAQ,OAAO;IACtB,IAAI;IACJ,WAAW;IACX,UAAU;IACV,QAAQ;IACR,iBAAiB,GAAG,GAAG,WAAW,OAAO,QAAQ,EAAE,KAAK,WAAW,MAAM,UAAU,IAAI;IACvF,eAAe,UAAU;IACzB,eAAe,QAAQ;GACzB;GACA,eAAe,QAAQ;GACvB,iBAAiB,OAAO,MAAM;EAChC;EAEA,MAAM,WAAW,OAAO,wBAAwB,QAAQ,OAAO;EAE/D,QAAQ,IAAI,UAAU,SAAS,kBAAkB;CACnD;CAEA,OAAO,mBAAmB,GAAG,EAC3B,SAAS,UACP,QAAQ,IAAI,MAAM,QAAQ,CAAC,EAAE,OAAO,KAAK,KAAK,OAAO,KAAK,oBAAoB,KAAK,CAAC,CAAC,CAAC,EAC1F,CAAC;AACH,CAAC"}

package/dist/internal/phone-native.d.mts

@@ -0,0 +1,15 @@
+import { NativeSqlTables } from "./native-sql-table.mjs";
+import { SqlBatchCommit } from "./sql-commit.mjs";
+import { AnyPhoneMapping } from "./models/phone-model.mjs";
+import { Crypto, Effect } from "effect";
+import { LifecycleHooks } from "@yielded/auth/Hooks";
+import * as P from "@yielded/auth/PhoneOtp";
+import { SqlClient } from "effect/sql/SqlClient";
+//#region src/internal/phone-native.d.ts
+/** Canonical identifier rows own phone custody, including permanent retired numbers. */
+export declare const makeNativePhoneServices: (tables: NativeSqlTables, mapping: AnyPhoneMapping) => Effect.Effect<{
+  readonly phonePersistence: P.PhonePersistence["Service"];
+  readonly phoneSignInTargets: P.PhoneSignInTargets["Service"];
+}, P.PhoneOtpUnavailable, Crypto.Crypto | LifecycleHooks | SqlBatchCommit | SqlClient>;
+//#endregion
+//# sourceMappingURL=phone-native.d.mts.map

package/dist/internal/phone-native.mjs

@@ -0,0 +1,354 @@
+import { PersistenceMappingError } from "./mapping-error.mjs";
+import { sqlBatchAssertion } from "./d1-planning.mjs";
+import { exactSqlText, executeSqlChange } from "./sql-change.mjs";
+import { passwordEvidenceSatisfiedAt } from "./password-policy.mjs";
+import { CurrentSqlCommit, SqlBatchCommit, appendSqlBatchStatement, makeSqlCommitExecutor, registerSqlBatchPostcondition, registerSqlCommitReceipt, registerSqlPostcondition } from "./sql-commit.mjs";
+import { makeNativeProofStore } from "./proof-native.mjs";
+import { randomId } from "./crypto.mjs";
+import { Crypto, DateTime, Effect, Option, Schema } from "effect";
+import { CurrentCommitJournal } from "@yielded/auth/Hooks";
+import * as P from "@yielded/auth/PhoneOtp";
+import { ProofRedemptionInput } from "@yielded/auth/Proofs";
+import { AuthenticationRequirement, AuthenticationRevision, SecurityRevision, snapshotAuthenticationEvidence } from "@yielded/auth/Sessions";
+import { SqlClient } from "effect/sql/SqlClient";
+//#region src/internal/phone-native.ts
+const unavailable = () => P.PhoneOtpUnavailable.make({});
+const ensure = (condition) => {
+	if (!condition) throw unavailable();
+};
+const resolve = (value) => Effect.isEffect(value) ? value : Effect.succeed(value);
+const targetCodec = Schema.fromJsonString(P.PhoneLifecycleTarget);
+const sameRevision = (a, b) => a.subjectId === b.subjectId && a.securityRevision === b.securityRevision && a.credentials.length === b.credentials.length && a.credentials.every((f) => b.credentials.some((g) => f.credentialId === g.credentialId && f.revision === g.revision));
+/** Canonical identifier rows own phone custody, including permanent retired numbers. */
+const makeNativePhoneServices = Effect.fnUntraced(function* (tables, mapping) {
+	const batch = yield* SqlBatchCommit;
+	const sql = (yield* SqlClient).withoutTransforms();
+	const executor = yield* makeSqlCommitExecutor(unavailable);
+	const crypto = yield* Crypto.Crypto;
+	const external = yield* Effect.serviceOption(CurrentSqlCommit);
+	const s = mapping.subject, i = mapping.identifier, c = mapping.credential;
+	const subject = tables(s.table), identifier = tables(i.table), credential = tables(c.table);
+	const now = tables.expression(mapping.engineNowMillis);
+	const activeSubject = tables.expression(s.activeCondition), activeIdentifier = tables.expression(i.activeCondition), activeCredential = tables.expression(c.activeCondition);
+	const lock = sql.onDialectOrElse({
+		sqlite: () => sql``,
+		orElse: () => sql`for update`
+	});
+	const exact = (t, key, value) => exactSqlText(sql, t.column(key), t.value(key, value));
+	const id = (t, key, value) => sql`${t.column(key)} = ${t.value(key, value)}`;
+	const numberKey = (number) => sql.and([exact(identifier, i.namespace, "phone"), exact(identifier, i.value, number)]);
+	const run = (work) => batch === void 0 ? executor.run(work.pipe(Effect.provideService(Crypto.Crypto, crypto))) : executor.batch(work.pipe(Effect.provideService(Crypto.Crypto, crypto))).pipe(Effect.provideService(SqlBatchCommit, batch));
+	const stage = Effect.fnUntraced(function* (statement) {
+		if (batch === void 0) ensure((yield* executeSqlChange(sql, statement)) === 1);
+		else {
+			yield* appendSqlBatchStatement(sql`${statement}`);
+			yield* appendSqlBatchStatement(sqlBatchAssertion(sql, sql`changes() = 1`));
+		}
+	});
+	const prepare = (decision, project) => Effect.gen(function* () {
+		const result = project(decision, yield* CurrentCommitJournal);
+		yield* registerSqlCommitReceipt(result);
+		return result;
+	});
+	const capture = Effect.fnUntraced(function* (input) {
+		ensure(input.moduleId === mapping.moduleId);
+		const numbers = input.sourcePhoneNumber === void 0 || input.sourcePhoneNumber === input.phoneNumber ? [input.phoneNumber] : [input.phoneNumber, input.sourcePhoneNumber];
+		const rows = yield* sql`select ${identifier.fields("phone_identifier_")}, case when ${activeIdentifier} then 1 else 0 end as identifier_active from ${identifier.name} where ${sql.or(numbers.map(numberKey))} limit 3`;
+		ensure(rows.length <= numbers.length);
+		const identifiers = rows.map((row) => ({
+			row: identifier.decode(row, "phone_identifier_"),
+			active: Number(row.identifier_active) === 1
+		}));
+		ensure(identifiers.every(({ row }) => row[i.namespace] === "phone" && numbers.includes(String(row[i.value]))));
+		const destination = identifiers.find(({ row }) => row[i.value] === input.phoneNumber);
+		const source = identifiers.find(({ row }) => row[i.value] === input.sourcePhoneNumber);
+		const subjectId = input.subjectId ?? (destination === void 0 ? void 0 : yield* resolve(mapping.subjectIds.toSubject(destination.row[i.subjectId])));
+		let subjectRow;
+		let revision = null;
+		const factors = [];
+		let instant;
+		if (subjectId === void 0) {
+			const clock = yield* sql`select ${now} as engine_now`;
+			instant = Number(clock[0]?.engine_now);
+		} else {
+			const native = yield* resolve(mapping.subjectIds.toNative(subjectId));
+			ensure((yield* resolve(mapping.subjectIds.toSubject(native))) === subjectId);
+			const joined = yield* sql`select ${subject.fields("phone_subject_")}, ${credential.fields("phone_factor_")}, case when ${activeSubject} then 1 else 0 end as subject_active, case when ${activeCredential} then 1 else 0 end as credential_active, ${now} as engine_now from ${subject.name} left join ${credential.name} on ${id(credential, c.subjectId, native)} and (${activeCredential} ${identifiers.length === 0 ? sql`` : sql`or ${sql.or(identifiers.map((value) => exact(credential, c.id, value.row[i.credentialId])))}`}) where ${id(subject, s.id, native)} limit 67`;
+			ensure(joined.length <= 66);
+			const first = joined[0];
+			instant = Number(first?.engine_now);
+			if (first !== void 0) {
+				subjectRow = subject.decode(first, "phone_subject_");
+				ensure((yield* resolve(mapping.subjectIds.toSubject(subjectRow[s.id]))) === subjectId);
+				for (const joinedRow of joined) {
+					const row = credential.decode(joinedRow, "phone_factor_");
+					if (row[c.id] === null || row[c.id] === void 0) continue;
+					ensure((yield* resolve(mapping.subjectIds.toSubject(row[c.subjectId]))) === subjectId);
+					ensure(!factors.some((f) => f.row[c.id] === row[c.id]));
+					factors.push({
+						row,
+						active: Number(joinedRow.credential_active) === 1
+					});
+				}
+				ensure(factors.filter((f) => f.active).length <= 64);
+				if (Number(first.subject_active) === 1) revision = yield* Schema.decodeUnknownEffect(AuthenticationRevision)({
+					subjectId,
+					securityRevision: subjectRow[s.securityRevision],
+					credentials: factors.filter((f) => f.active).map((f) => ({
+						credentialId: f.row[c.id],
+						revision: f.row[c.revision]
+					})).sort((a, b) => String(a.credentialId).localeCompare(String(b.credentialId)))
+				});
+			}
+		}
+		ensure(Number.isSafeInteger(instant));
+		const custody = Effect.fnUntraced(function* (value) {
+			if (value === void 0 || value.row[i.moduleId] !== mapping.moduleId) return null;
+			const factor = factors.find((f) => f.row[c.id] === value.row[i.credentialId]);
+			if (factor === void 0) return null;
+			const owner = yield* resolve(mapping.subjectIds.toSubject(value.row[i.subjectId]));
+			if (owner !== subjectId) return null;
+			return yield* Schema.decodeUnknownEffect(P.PhoneCustody)({
+				phoneNumber: value.row[i.value],
+				subjectId: owner,
+				credentialId: value.row[i.credentialId],
+				custodyRevision: value.row[i.revision],
+				credentialRevision: factor.row[c.revision],
+				verifiedAtMillis: value.row[i.verifiedAt] === null || value.row[i.verifiedAt] === void 0 ? null : mapping.proofs.clock.decodeInstant(value.row[i.verifiedAt]),
+				state: !value.active || !factor.active ? "retired" : value.row[i.verifiedAt] === null || value.row[i.verifiedAt] === void 0 ? "unverified" : "verified"
+			});
+		});
+		const targetCustody = yield* custody(destination);
+		const sourceCustody = yield* custody(source);
+		const eligible = input.action === "register" ? destination === void 0 : revision !== null && input.subjectId === subjectId && (destination === void 0 || targetCustody !== null && targetCustody.subjectId === subjectId && targetCustody.state === "unverified") && (input.action !== "change" || input.sourcePhoneNumber !== input.phoneNumber && sourceCustody !== null && sourceCustody.subjectId === subjectId && sourceCustody.state === "verified");
+		return {
+			target: yield* Schema.decodeEffect(P.PhoneLifecycleTarget)({
+				phoneNumber: input.phoneNumber,
+				custody: targetCustody,
+				source: sourceCustody,
+				revision,
+				eligible
+			}),
+			subjectRow,
+			destination,
+			source,
+			factors,
+			now: instant
+		};
+	});
+	return {
+		phonePersistence: {
+			target: (input) => executor.read(Effect.map(capture({ ...input }), (value) => value.target)),
+			mutate: (original, project) => run(Effect.gen(function* () {
+				const target = yield* Schema.decodeEffect(targetCodec)(yield* Schema.encodeEffect(targetCodec)(original.target));
+				const redemption = yield* Schema.decodeEffect(Schema.toCodecIso(ProofRedemptionInput))(yield* Schema.encodeEffect(Schema.toCodecIso(ProofRedemptionInput))(original.redemption.input));
+				const input = {
+					...original,
+					target,
+					redemption: {
+						input: redemption,
+						prepare: original.redemption.prepare
+					}
+				};
+				const rejected = () => prepare({ _tag: "Rejected" }, project);
+				ensure(input.moduleId === mapping.moduleId);
+				if (input.action === "register" && (mapping.subjectIds.allocate === void 0 || s.encodeInsert === void 0)) return yield* rejected();
+				const policy = yield* Schema.decodeEffect(P.PhoneLifecyclePolicy)(input.policy);
+				if (policy.maximumEvidenceAgeMillis !== mapping.policy.maximumEvidenceAgeMillis || policy.requireImmediateInvalidation !== mapping.policy.requireImmediateInvalidation) return yield* rejected();
+				if (target.revision !== null) {
+					const native = yield* resolve(mapping.subjectIds.toNative(target.revision.subjectId));
+					const rows = yield* sql`select ${subject.fields("phone_locked_")} from ${subject.name} where ${id(subject, s.id, native)} limit 2 ${batch === void 0 ? lock : sql``}`;
+					if (rows.length !== 1 || (yield* resolve(mapping.subjectIds.toSubject(subject.decode(rows[0], "phone_locked_")[s.id]))) !== target.revision.subjectId) return yield* rejected();
+				}
+				const captured = yield* capture({
+					moduleId: input.moduleId,
+					action: input.action,
+					phoneNumber: target.phoneNumber,
+					...target.revision === null ? {} : { subjectId: target.revision.subjectId },
+					...target.source === null ? {} : { sourcePhoneNumber: target.source.phoneNumber }
+				});
+				if (!captured.target.eligible || (yield* Schema.encodeEffect(targetCodec)(captured.target)) !== (yield* Schema.encodeEffect(targetCodec)(target))) return yield* rejected();
+				const binding = redemption.binding;
+				if (redemption.moduleId !== `${mapping.moduleId}/lifecycle` || redemption.purpose !== "phone-lifecycle" || binding.identifier.namespace !== "phone" || binding.identifier.value !== target.phoneNumber) return yield* rejected();
+				if (input.action === "register" ? binding._tag !== "Identifier" : binding._tag === "Identifier" || target.revision === null || !sameRevision(binding.revision, target.revision)) return yield* rejected();
+				if (input.action === "verify" && binding._tag !== "Subject" || input.action === "change" && binding._tag !== "IdentifierChange") return yield* rejected();
+				const freshness = [];
+				if (input.action !== "register") {
+					const authorization = input.authorization;
+					if (authorization === void 0 || target.revision === null || captured.subjectRow === void 0) return yield* rejected();
+					const evidence = yield* snapshotAuthenticationEvidence(authorization.evidence);
+					const challenge = authorization.challenge;
+					if (challenge.moduleId !== mapping.moduleId || challenge.action !== input.action || challenge.commandId !== input.commandId || challenge.phoneNumber !== target.phoneNumber || challenge.sourcePhoneNumber !== target.source?.phoneNumber || challenge.flowId !== binding.flowId || challenge.bindingDigest !== binding.contextDigest || challenge.flowId !== evidence.flowId || challenge.bindingDigest !== evidence.bindingDigest || !sameRevision(challenge.revision, target.revision) || !sameRevision(evidence.revision, target.revision)) return yield* rejected();
+					const requirements = [
+						authorization.requirement,
+						authorization.actionRequirement,
+						yield* resolve(s.decodeRequirement(captured.subjectRow)),
+						...s.decodeActionRequirement === void 0 ? [] : [yield* resolve(s.decodeActionRequirement(captured.subjectRow, input.action))]
+					];
+					for (const originalRequirement of requirements) {
+						const requirement = yield* Schema.decodeEffect(AuthenticationRequirement)(originalRequirement);
+						if (!passwordEvidenceSatisfiedAt(evidence, requirement, captured.now)) return yield* rejected();
+					}
+					if (evidence.proofs.length === 0) return yield* rejected();
+					for (const proof of evidence.proofs) {
+						const at = DateTime.toEpochMillis(proof.verifiedAt);
+						const age = Math.min(policy.maximumEvidenceAgeMillis, ...requirements.map((r) => r.maximumAgeMillis));
+						if (!target.revision.credentials.some((f) => f.credentialId === proof.credentialId) || at > captured.now || captured.now >= at + age) return yield* rejected();
+						freshness.push(sql`${now} >= ${at} and ${now} < ${at + age}`);
+					}
+				}
+				const result = yield* (yield* makeNativeProofStore(tables, mapping.proofs, batch !== void 0)).redeemLocked(redemption);
+				const proofReceipt = input.redemption.prepare(result.decision, yield* CurrentCommitJournal, (value) => value);
+				yield* registerSqlCommitReceipt(proofReceipt);
+				if (result.decision !== "redeemed") return yield* rejected();
+				freshness.push(result.validUntil);
+				const subjectId = input.action === "register" ? yield* resolve(mapping.subjectIds.toSubject(yield* resolve(mapping.subjectIds.allocate()))) : target.revision.subjectId;
+				const native = yield* resolve(mapping.subjectIds.toNative(subjectId));
+				ensure((yield* resolve(mapping.subjectIds.toSubject(native))) === subjectId);
+				const securityRevision = SecurityRevision.make(yield* randomId), credentialRevision = SecurityRevision.make(yield* randomId), custodyRevision = SecurityRevision.make(yield* randomId);
+				const credentialId = target.custody?.credentialId ?? (yield* randomId);
+				const factorCondition = (revision) => sql.and([sql`(select count(*) from ${credential.name} where ${id(credential, c.subjectId, native)} and ${activeCredential}) = ${revision.credentials.length}`, ...revision.credentials.map((f) => sql`exists(select 1 from ${credential.name} where ${id(credential, c.subjectId, native)} and ${exact(credential, c.id, f.credentialId)} and ${exact(credential, c.revision, f.revision)} and ${activeCredential})`)]);
+				if (target.revision !== null && batch !== void 0) yield* appendSqlBatchStatement(sqlBatchAssertion(sql, sql.and([
+					sql`exists(select 1 from ${subject.name} where ${id(subject, s.id, native)} and ${exact(subject, s.securityRevision, target.revision.securityRevision)} and ${activeSubject})`,
+					factorCondition(target.revision),
+					...freshness
+				])));
+				let subjectRow = captured.subjectRow;
+				if (input.action === "register") {
+					const inserted = s.encodeInsert({
+						id: native,
+						securityRevision,
+						phoneNumber: target.phoneNumber
+					});
+					yield* stage(subject.insert(inserted));
+					subjectRow = inserted;
+				}
+				ensure(subjectRow !== void 0);
+				const finalConditions = [...freshness];
+				if (target.source !== null) {
+					const source = target.source;
+					const retiredCustody = SecurityRevision.make(yield* randomId), retiredCredential = SecurityRevision.make(yield* randomId);
+					yield* stage(sql`${identifier.update({
+						[i.status]: i.encodeStatus(false),
+						[i.revision]: retiredCustody
+					})} where ${numberKey(source.phoneNumber)} and ${exact(identifier, i.moduleId, mapping.moduleId)} and ${exact(identifier, i.credentialId, source.credentialId)} and ${id(identifier, i.subjectId, native)} and ${exact(identifier, i.revision, source.custodyRevision)} and ${activeIdentifier}`);
+					yield* stage(sql`${credential.update({
+						[c.status]: c.encodeStatus(false),
+						[c.revision]: retiredCredential
+					})} where ${id(credential, c.subjectId, native)} and ${exact(credential, c.id, source.credentialId)} and ${exact(credential, c.revision, source.credentialRevision)} and ${activeCredential}`);
+					finalConditions.push(sql`exists(select 1 from ${identifier.name} where ${numberKey(source.phoneNumber)} and ${exact(identifier, i.moduleId, mapping.moduleId)} and ${exact(identifier, i.credentialId, source.credentialId)} and ${id(identifier, i.subjectId, native)} and ${exact(identifier, i.revision, retiredCustody)} and not (${activeIdentifier}))`, sql`exists(select 1 from ${credential.name} where ${id(credential, c.subjectId, native)} and ${exact(credential, c.id, source.credentialId)} and ${exact(credential, c.revision, retiredCredential)} and not (${activeCredential}))`);
+				}
+				const values = {
+					[i.moduleId]: mapping.moduleId,
+					[i.credentialId]: credentialId,
+					[i.namespace]: "phone",
+					[i.value]: target.phoneNumber,
+					[i.subjectId]: native,
+					[i.revision]: custodyRevision,
+					[i.verifiedAt]: mapping.encodeInstant(captured.now),
+					[i.status]: i.encodeStatus(true)
+				};
+				if (target.custody === null) {
+					yield* stage(identifier.insert({
+						...i.encodeInsert({
+							moduleId: mapping.moduleId,
+							credentialId,
+							phoneNumber: target.phoneNumber,
+							subjectId: native,
+							revision: custodyRevision,
+							verifiedAtMillis: captured.now,
+							active: true
+						}),
+						...values
+					}));
+					yield* stage(credential.insert(c.encodeInsert({
+						credentialId,
+						subjectId: native,
+						revision: credentialRevision,
+						active: true
+					})));
+				} else {
+					yield* stage(sql`${identifier.update(values)} where ${numberKey(target.phoneNumber)} and ${exact(identifier, i.moduleId, mapping.moduleId)} and ${exact(identifier, i.credentialId, credentialId)} and ${id(identifier, i.subjectId, native)} and ${exact(identifier, i.revision, target.custody.custodyRevision)} and ${identifier.column(i.verifiedAt)} is null and ${activeIdentifier}`);
+					yield* stage(sql`${credential.update({
+						[c.revision]: credentialRevision,
+						[c.status]: c.encodeStatus(true)
+					})} where ${id(credential, c.subjectId, native)} and ${exact(credential, c.id, credentialId)} and ${exact(credential, c.revision, target.custody.credentialRevision)} and ${activeCredential}`);
+				}
+				const revision = yield* Schema.decodeEffect(AuthenticationRevision)({
+					subjectId,
+					securityRevision,
+					credentials: [...(target.revision?.credentials ?? []).filter((f) => f.credentialId !== credentialId && f.credentialId !== target.source?.credentialId), {
+						credentialId,
+						revision: credentialRevision
+					}].sort((a, b) => a.credentialId.localeCompare(b.credentialId))
+				});
+				finalConditions.push(factorCondition(revision), sql`exists(select 1 from ${identifier.name} where ${numberKey(target.phoneNumber)} and ${exact(identifier, i.moduleId, mapping.moduleId)} and ${exact(identifier, i.credentialId, credentialId)} and ${id(identifier, i.subjectId, native)} and ${exact(identifier, i.revision, custodyRevision)} and ${id(identifier, i.verifiedAt, mapping.encodeInstant(captured.now))} and ${activeIdentifier})`);
+				const resultingState = sql.and(finalConditions);
+				if (input.action !== "register") {
+					ensure(target.revision !== null);
+					yield* stage(sql`${subject.update({ [s.securityRevision]: securityRevision })} where ${id(subject, s.id, native)} and ${exact(subject, s.securityRevision, target.revision.securityRevision)} and ${activeSubject} and ${resultingState}`);
+					subjectRow = {
+						...subjectRow,
+						[s.securityRevision]: securityRevision
+					};
+				}
+				finalConditions.push(sql`exists(select 1 from ${subject.name} where ${id(subject, s.id, native)} and ${exact(subject, s.securityRevision, securityRevision)} and ${activeSubject})`);
+				if (input.action === "register" && batch === void 0) {
+					const rows = yield* sql`select ${subject.fields("provisioned_")} from ${subject.name} where ${id(subject, s.id, native)} and ${exact(subject, s.securityRevision, securityRevision)} and ${activeSubject} and ${resultingState} limit 2`;
+					ensure(rows.length === 1);
+					subjectRow = subject.decode(rows[0], "provisioned_");
+				}
+				const final = sql.and(finalConditions);
+				if (batch !== void 0) yield* registerSqlBatchPostcondition({
+					name: "phone-custody-authority",
+					statement: sqlBatchAssertion(sql, final)
+				});
+				else if (Option.isSome(external)) yield* registerSqlPostcondition({
+					name: "phone-custody-authority",
+					check: Effect.gen(function* () {
+						const rows = yield* sql`select 1 as valid where ${final}`;
+						ensure(rows.length === 1);
+					}).pipe(Effect.mapError((cause) => PersistenceMappingError.make({
+						operation: "decode",
+						cause
+					})))
+				});
+				return yield* prepare({
+					_tag: "Accepted",
+					credential: {
+						moduleId: mapping.moduleId,
+						phoneNumber: target.phoneNumber,
+						custodyRevision,
+						verifiedAtMillis: captured.now,
+						credentialId,
+						credentialRevision,
+						revision,
+						requirement: yield* resolve(mapping.subject.decodeRequirement(subjectRow))
+					}
+				}, project);
+			}))
+		},
+		phoneSignInTargets: { lookup: (input) => executor.read(Effect.gen(function* () {
+			const current = yield* capture({
+				...input,
+				action: "verify"
+			});
+			const { custody, revision } = current.target;
+			if (custody === null || custody.state !== "verified" || custody.verifiedAtMillis === null || revision === null || current.subjectRow === void 0 || !revision.credentials.some((f) => f.credentialId === custody.credentialId && f.revision === custody.credentialRevision)) return Option.none();
+			return Option.some(yield* Schema.decodeEffect(P.PhoneCredentialSnapshot)({
+				moduleId: input.moduleId,
+				phoneNumber: input.phoneNumber,
+				custodyRevision: custody.custodyRevision,
+				verifiedAtMillis: custody.verifiedAtMillis,
+				credentialId: custody.credentialId,
+				credentialRevision: custody.credentialRevision,
+				revision,
+				requirement: yield* resolve(mapping.subject.decodeRequirement(current.subjectRow))
+			}));
+		})) }
+	};
+});
+//#endregion
+export { makeNativePhoneServices };
+
+//# sourceMappingURL=phone-native.mjs.map

package/dist/internal/phone-native.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"phone-native.mjs","names":[],"sources":["../../src/internal/phone-native.ts"],"sourcesContent":["import {\n  CurrentCommitJournal,\n  type LifecycleHooks,\n  type PreparedCommit,\n  type CommitJournal,\n} from \"@yielded/auth/Hooks\";\nimport * as P from \"@yielded/auth/PhoneOtp\";\nimport { ProofRedemptionInput } from \"@yielded/auth/Proofs\";\nimport {\n  AuthenticationRevision,\n  AuthenticationRequirement,\n  SecurityRevision,\n  snapshotAuthenticationEvidence,\n} from \"@yielded/auth/Sessions\";\nimport { Crypto, DateTime, Effect, Option, Schema } from \"effect\";\nimport { SqlClient } from \"effect/sql/SqlClient\";\nimport type { Fragment } from \"effect/sql/Statement\";\n\nimport { randomId } from \"./crypto\";\nimport { sqlBatchAssertion } from \"./d1-planning\";\nimport { PersistenceMappingError } from \"./mapping-error\";\nimport type { AnyPhoneMapping } from \"./models/phone-model\";\nimport type { NativeSqlTables, SqlTable } from \"./native-sql-table\";\nimport { passwordEvidenceSatisfiedAt } from \"./password-policy\";\nimport { makeNativeProofStore } from \"./proof-native\";\nimport { exactSqlText, executeSqlChange } from \"./sql-change\";\nimport {\n  appendSqlBatchStatement,\n  CurrentSqlCommit,\n  makeSqlCommitExecutor,\n  registerSqlBatchPostcondition,\n  registerSqlCommitReceipt,\n  registerSqlPostcondition,\n  SqlBatchCommit,\n} from \"./sql-commit\";\n\nconst unavailable = () => P.PhoneOtpUnavailable.make({});\n\nconst ensure: (condition: unknown) => asserts condition = (condition) => {\n  if (!condition) throw unavailable();\n};\n\nconst resolve = <A>(\n  value: A | Effect.Effect<A, PersistenceMappingError>,\n): Effect.Effect<A, PersistenceMappingError> =>\n  Effect.isEffect(value) ? value : Effect.succeed(value);\n\nconst targetCodec = Schema.fromJsonString(P.PhoneLifecycleTarget);\n\nconst sameRevision = (a: AuthenticationRevision, b: AuthenticationRevision) =>\n  a.subjectId === b.subjectId &&\n  a.securityRevision === b.securityRevision &&\n  a.credentials.length === b.credentials.length &&\n  a.credentials.every((f) =>\n    b.credentials.some((g) => f.credentialId === g.credentialId && f.revision === g.revision),\n  );\n\n/** Canonical identifier rows own phone custody, including permanent retired numbers. */\nexport const makeNativePhoneServices = Effect.fnUntraced(function* (\n  tables: NativeSqlTables,\n  mapping: AnyPhoneMapping,\n): Effect.fn.Return<\n  {\n    readonly phonePersistence: P.PhonePersistence[\"Service\"];\n    readonly phoneSignInTargets: P.PhoneSignInTargets[\"Service\"];\n  },\n  P.PhoneOtpUnavailable,\n  SqlClient | LifecycleHooks | Crypto.Crypto | SqlBatchCommit\n> {\n  const batch = yield* SqlBatchCommit;\n  const sql = (yield* SqlClient).withoutTransforms();\n  const executor = yield* makeSqlCommitExecutor(unavailable);\n  const crypto = yield* Crypto.Crypto;\n  const external = yield* Effect.serviceOption(CurrentSqlCommit);\n\n  const s = mapping.subject,\n    i = mapping.identifier,\n    c = mapping.credential;\n\n  const subject = tables(s.table),\n    identifier = tables(i.table),\n    credential = tables(c.table);\n\n  const now = tables.expression(mapping.engineNowMillis);\n\n  const activeSubject = tables.expression(s.activeCondition),\n    activeIdentifier = tables.expression(i.activeCondition),\n    activeCredential = tables.expression(c.activeCondition);\n\n  const lock = sql.onDialectOrElse({ sqlite: () => sql``, orElse: () => sql`for update` });\n\n  const exact = (t: SqlTable, key: string, value: unknown) =>\n    exactSqlText(sql, t.column(key), t.value(key, value));\n\n  const id = (t: SqlTable, key: string, value: unknown) =>\n    sql`${t.column(key)} = ${t.value(key, value)}`;\n\n  const numberKey = (number: string) =>\n    sql.and([exact(identifier, i.namespace, \"phone\"), exact(identifier, i.value, number)]);\n\n  const run = <A, E, R>(work: Effect.Effect<A, E, R>) =>\n    batch === undefined\n      ? executor.run(work.pipe(Effect.provideService(Crypto.Crypto, crypto)))\n      : executor\n          .batch(work.pipe(Effect.provideService(Crypto.Crypto, crypto)))\n          .pipe(Effect.provideService(SqlBatchCommit, batch));\n\n  const stage = Effect.fnUntraced(function* (statement: Fragment) {\n    if (batch === undefined) ensure((yield* executeSqlChange(sql, statement)) === 1);\n    else {\n      yield* appendSqlBatchStatement(sql`${statement}`);\n      yield* appendSqlBatchStatement(sqlBatchAssertion(sql, sql`changes() = 1`));\n    }\n  });\n\n  const prepare = <A>(\n    decision: P.PhoneMutationDecision,\n    project: (decision: P.PhoneMutationDecision, journal: CommitJournal) => PreparedCommit<A>,\n  ) =>\n    Effect.gen(function* () {\n      const result = project(decision, yield* CurrentCommitJournal);\n\n      yield* registerSqlCommitReceipt(result);\n\n      return result;\n    });\n\n  const capture = Effect.fnUntraced(function* (\n    input: Parameters<P.PhonePersistence[\"Service\"][\"target\"]>[0],\n  ) {\n    ensure(input.moduleId === mapping.moduleId);\n\n    const numbers =\n      input.sourcePhoneNumber === undefined || input.sourcePhoneNumber === input.phoneNumber\n        ? [input.phoneNumber]\n        : [input.phoneNumber, input.sourcePhoneNumber];\n\n    const rows =\n      yield* sql`select ${identifier.fields(\"phone_identifier_\")}, case when ${activeIdentifier} then 1 else 0 end as identifier_active from ${identifier.name} where ${sql.or(numbers.map(numberKey))} limit 3`;\n\n    ensure(rows.length <= numbers.length);\n\n    const identifiers = rows.map((row) => ({\n      row: identifier.decode(row, \"phone_identifier_\"),\n      active: Number(row.identifier_active) === 1,\n    }));\n\n    ensure(\n      identifiers.every(\n        ({ row }) => row[i.namespace] === \"phone\" && numbers.includes(String(row[i.value])),\n      ),\n    );\n    const destination = identifiers.find(({ row }) => row[i.value] === input.phoneNumber);\n    const source = identifiers.find(({ row }) => row[i.value] === input.sourcePhoneNumber);\n\n    const subjectId =\n      input.subjectId ??\n      (destination === undefined\n        ? undefined\n        : yield* resolve(mapping.subjectIds.toSubject(destination.row[i.subjectId])));\n\n    let subjectRow: Record<string, unknown> | undefined;\n    let revision: AuthenticationRevision | null = null;\n    const factors: { readonly row: Record<string, unknown>; readonly active: boolean }[] = [];\n    let instant: number;\n\n    if (subjectId === undefined) {\n      const clock = yield* sql`select ${now} as engine_now`;\n\n      instant = Number(clock[0]?.engine_now);\n    } else {\n      const native = yield* resolve(mapping.subjectIds.toNative(subjectId));\n\n      ensure((yield* resolve(mapping.subjectIds.toSubject(native))) === subjectId);\n\n      const joined =\n        yield* sql`select ${subject.fields(\"phone_subject_\")}, ${credential.fields(\"phone_factor_\")}, case when ${activeSubject} then 1 else 0 end as subject_active, case when ${activeCredential} then 1 else 0 end as credential_active, ${now} as engine_now from ${subject.name} left join ${credential.name} on ${id(credential, c.subjectId, native)} and (${activeCredential} ${identifiers.length === 0 ? sql`` : sql`or ${sql.or(identifiers.map((value) => exact(credential, c.id, value.row[i.credentialId])))}`}) where ${id(subject, s.id, native)} limit 67`;\n\n      ensure(joined.length <= 66);\n      const first = joined[0];\n\n      instant = Number(first?.engine_now);\n      if (first !== undefined) {\n        subjectRow = subject.decode(first, \"phone_subject_\");\n        ensure((yield* resolve(mapping.subjectIds.toSubject(subjectRow[s.id]))) === subjectId);\n        for (const joinedRow of joined) {\n          const row = credential.decode(joinedRow, \"phone_factor_\");\n\n          if (row[c.id] === null || row[c.id] === undefined) continue;\n          ensure((yield* resolve(mapping.subjectIds.toSubject(row[c.subjectId]))) === subjectId);\n          ensure(!factors.some((f) => f.row[c.id] === row[c.id]));\n          factors.push({ row, active: Number(joinedRow.credential_active) === 1 });\n        }\n        ensure(factors.filter((f) => f.active).length <= 64);\n        if (Number(first.subject_active) === 1)\n          revision = yield* Schema.decodeUnknownEffect(AuthenticationRevision)({\n            subjectId,\n            securityRevision: subjectRow[s.securityRevision],\n            credentials: factors\n              .filter((f) => f.active)\n              .map((f) => ({ credentialId: f.row[c.id], revision: f.row[c.revision] }))\n              .sort((a, b) => String(a.credentialId).localeCompare(String(b.credentialId))),\n          });\n      }\n    }\n    ensure(Number.isSafeInteger(instant));\n\n    const custody = Effect.fnUntraced(function* (value: typeof destination) {\n      if (value === undefined || value.row[i.moduleId] !== mapping.moduleId) return null;\n      const factor = factors.find((f) => f.row[c.id] === value.row[i.credentialId]);\n\n      if (factor === undefined) return null;\n      const owner = yield* resolve(mapping.subjectIds.toSubject(value.row[i.subjectId]));\n\n      if (owner !== subjectId) return null;\n\n      return yield* Schema.decodeUnknownEffect(P.PhoneCustody)({\n        phoneNumber: value.row[i.value],\n        subjectId: owner,\n        credentialId: value.row[i.credentialId],\n        custodyRevision: value.row[i.revision],\n        credentialRevision: factor.row[c.revision],\n        verifiedAtMillis:\n          value.row[i.verifiedAt] === null || value.row[i.verifiedAt] === undefined\n            ? null\n            : mapping.proofs.clock.decodeInstant(value.row[i.verifiedAt]),\n        state:\n          !value.active || !factor.active\n            ? \"retired\"\n            : value.row[i.verifiedAt] === null || value.row[i.verifiedAt] === undefined\n              ? \"unverified\"\n              : \"verified\",\n      });\n    });\n\n    const targetCustody = yield* custody(destination);\n    const sourceCustody = yield* custody(source);\n\n    const eligible =\n      input.action === \"register\"\n        ? destination === undefined\n        : revision !== null &&\n          input.subjectId === subjectId &&\n          (destination === undefined ||\n            (targetCustody !== null &&\n              targetCustody.subjectId === subjectId &&\n              targetCustody.state === \"unverified\")) &&\n          (input.action !== \"change\" ||\n            (input.sourcePhoneNumber !== input.phoneNumber &&\n              sourceCustody !== null &&\n              sourceCustody.subjectId === subjectId &&\n              sourceCustody.state === \"verified\"));\n\n    const target = yield* Schema.decodeEffect(P.PhoneLifecycleTarget)({\n      phoneNumber: input.phoneNumber,\n      custody: targetCustody,\n      source: sourceCustody,\n      revision,\n      eligible,\n    });\n\n    return { target, subjectRow, destination, source, factors, now: instant };\n  });\n\n  const phoneSignInTargets: P.PhoneSignInTargets[\"Service\"] = {\n    lookup: (input) =>\n      executor.read(\n        Effect.gen(function* () {\n          const current = yield* capture({ ...input, action: \"verify\" });\n          const { custody, revision } = current.target;\n\n          if (\n            custody === null ||\n            custody.state !== \"verified\" ||\n            custody.verifiedAtMillis === null ||\n            revision === null ||\n            current.subjectRow === undefined ||\n            !revision.credentials.some(\n              (f) =>\n                f.credentialId === custody.credentialId &&\n                f.revision === custody.credentialRevision,\n            )\n          )\n            return Option.none();\n\n          return Option.some(\n            yield* Schema.decodeEffect(P.PhoneCredentialSnapshot)({\n              moduleId: input.moduleId,\n              phoneNumber: input.phoneNumber,\n              custodyRevision: custody.custodyRevision,\n              verifiedAtMillis: custody.verifiedAtMillis,\n              credentialId: custody.credentialId,\n              credentialRevision: custody.credentialRevision,\n              revision,\n              requirement: yield* resolve(mapping.subject.decodeRequirement(current.subjectRow)),\n            }),\n          );\n        }),\n      ),\n  };\n\n  const phonePersistence: P.PhonePersistence[\"Service\"] = {\n    target: (input) => executor.read(Effect.map(capture({ ...input }), (value) => value.target)),\n    mutate: (original, project) =>\n      run(\n        Effect.gen(function* () {\n          const target = yield* Schema.decodeEffect(targetCodec)(\n            yield* Schema.encodeEffect(targetCodec)(original.target),\n          );\n\n          const redemption = yield* Schema.decodeEffect(Schema.toCodecIso(ProofRedemptionInput))(\n            yield* Schema.encodeEffect(Schema.toCodecIso(ProofRedemptionInput))(\n              original.redemption.input,\n            ),\n          );\n\n          const input = {\n            ...original,\n            target,\n            redemption: { input: redemption, prepare: original.redemption.prepare },\n          };\n\n          const rejected = () => prepare({ _tag: \"Rejected\" }, project);\n\n          ensure(input.moduleId === mapping.moduleId);\n          if (\n            input.action === \"register\" &&\n            (mapping.subjectIds.allocate === undefined || s.encodeInsert === undefined)\n          )\n            return yield* rejected();\n          const policy = yield* Schema.decodeEffect(P.PhoneLifecyclePolicy)(input.policy);\n\n          if (\n            policy.maximumEvidenceAgeMillis !== mapping.policy.maximumEvidenceAgeMillis ||\n            policy.requireImmediateInvalidation !== mapping.policy.requireImmediateInvalidation\n          )\n            return yield* rejected();\n          if (target.revision !== null) {\n            const native = yield* resolve(mapping.subjectIds.toNative(target.revision.subjectId));\n\n            const rows =\n              yield* sql`select ${subject.fields(\"phone_locked_\")} from ${subject.name} where ${id(subject, s.id, native)} limit 2 ${batch === undefined ? lock : sql``}`;\n\n            if (\n              rows.length !== 1 ||\n              (yield* resolve(\n                mapping.subjectIds.toSubject(subject.decode(rows[0]!, \"phone_locked_\")[s.id]),\n              )) !== target.revision.subjectId\n            )\n              return yield* rejected();\n          }\n\n          const captured = yield* capture({\n            moduleId: input.moduleId,\n            action: input.action,\n            phoneNumber: target.phoneNumber,\n            ...(target.revision === null ? {} : { subjectId: target.revision.subjectId }),\n            ...(target.source === null ? {} : { sourcePhoneNumber: target.source.phoneNumber }),\n          });\n\n          if (\n            !captured.target.eligible ||\n            (yield* Schema.encodeEffect(targetCodec)(captured.target)) !==\n              (yield* Schema.encodeEffect(targetCodec)(target))\n          )\n            return yield* rejected();\n          const binding = redemption.binding;\n\n          if (\n            redemption.moduleId !== `${mapping.moduleId}/lifecycle` ||\n            redemption.purpose !== \"phone-lifecycle\" ||\n            binding.identifier.namespace !== \"phone\" ||\n            binding.identifier.value !== target.phoneNumber\n          )\n            return yield* rejected();\n          if (\n            input.action === \"register\"\n              ? binding._tag !== \"Identifier\"\n              : binding._tag === \"Identifier\" ||\n                target.revision === null ||\n                !sameRevision(binding.revision, target.revision)\n          )\n            return yield* rejected();\n          if (\n            (input.action === \"verify\" && binding._tag !== \"Subject\") ||\n            (input.action === \"change\" && binding._tag !== \"IdentifierChange\")\n          )\n            return yield* rejected();\n          const freshness: Fragment[] = [];\n\n          if (input.action !== \"register\") {\n            const authorization = input.authorization;\n\n            if (\n              authorization === undefined ||\n              target.revision === null ||\n              captured.subjectRow === undefined\n            )\n              return yield* rejected();\n            const evidence = yield* snapshotAuthenticationEvidence(authorization.evidence);\n            const challenge = authorization.challenge;\n\n            if (\n              challenge.moduleId !== mapping.moduleId ||\n              challenge.action !== input.action ||\n              challenge.commandId !== input.commandId ||\n              challenge.phoneNumber !== target.phoneNumber ||\n              challenge.sourcePhoneNumber !== target.source?.phoneNumber ||\n              challenge.flowId !== binding.flowId ||\n              challenge.bindingDigest !== binding.contextDigest ||\n              challenge.flowId !== evidence.flowId ||\n              challenge.bindingDigest !== evidence.bindingDigest ||\n              !sameRevision(challenge.revision, target.revision) ||\n              !sameRevision(evidence.revision, target.revision)\n            )\n              return yield* rejected();\n\n            const requirements = [\n              authorization.requirement,\n              authorization.actionRequirement,\n              yield* resolve(s.decodeRequirement(captured.subjectRow)),\n              ...(s.decodeActionRequirement === undefined\n                ? []\n                : [yield* resolve(s.decodeActionRequirement(captured.subjectRow, input.action))]),\n            ];\n\n            for (const originalRequirement of requirements) {\n              const requirement =\n                yield* Schema.decodeEffect(AuthenticationRequirement)(originalRequirement);\n\n              if (!passwordEvidenceSatisfiedAt(evidence, requirement, captured.now))\n                return yield* rejected();\n            }\n            if (evidence.proofs.length === 0) return yield* rejected();\n            for (const proof of evidence.proofs) {\n              const at = DateTime.toEpochMillis(proof.verifiedAt);\n\n              const age = Math.min(\n                policy.maximumEvidenceAgeMillis,\n                ...requirements.map((r) => r.maximumAgeMillis),\n              );\n\n              if (\n                !target.revision.credentials.some((f) => f.credentialId === proof.credentialId) ||\n                at > captured.now ||\n                captured.now >= at + age\n              )\n                return yield* rejected();\n              freshness.push(sql`${now} >= ${at} and ${now} < ${at + age}`);\n            }\n          }\n          const store = yield* makeNativeProofStore(tables, mapping.proofs, batch !== undefined);\n          const result = yield* store.redeemLocked(redemption);\n\n          const proofReceipt = input.redemption.prepare(\n            result.decision,\n            yield* CurrentCommitJournal,\n            (value) => value,\n          );\n\n          yield* registerSqlCommitReceipt(proofReceipt);\n          if (result.decision !== \"redeemed\") return yield* rejected();\n          freshness.push(result.validUntil);\n\n          const subjectId =\n            input.action === \"register\"\n              ? yield* resolve(\n                  mapping.subjectIds.toSubject(yield* resolve(mapping.subjectIds.allocate!())),\n                )\n              : target.revision!.subjectId;\n\n          const native = yield* resolve(mapping.subjectIds.toNative(subjectId));\n\n          ensure((yield* resolve(mapping.subjectIds.toSubject(native))) === subjectId);\n\n          const securityRevision = SecurityRevision.make(yield* randomId),\n            credentialRevision = SecurityRevision.make(yield* randomId),\n            custodyRevision = SecurityRevision.make(yield* randomId);\n\n          const credentialId = target.custody?.credentialId ?? (yield* randomId);\n\n          const factorCondition = (revision: AuthenticationRevision) =>\n            sql.and([\n              sql`(select count(*) from ${credential.name} where ${id(credential, c.subjectId, native)} and ${activeCredential}) = ${revision.credentials.length}`,\n              ...revision.credentials.map(\n                (f) =>\n                  sql`exists(select 1 from ${credential.name} where ${id(credential, c.subjectId, native)} and ${exact(credential, c.id, f.credentialId)} and ${exact(credential, c.revision, f.revision)} and ${activeCredential})`,\n              ),\n            ]);\n\n          if (target.revision !== null && batch !== undefined)\n            yield* appendSqlBatchStatement(\n              sqlBatchAssertion(\n                sql,\n                sql.and([\n                  sql`exists(select 1 from ${subject.name} where ${id(subject, s.id, native)} and ${exact(subject, s.securityRevision, target.revision.securityRevision)} and ${activeSubject})`,\n                  factorCondition(target.revision),\n                  ...freshness,\n                ]),\n              ),\n            );\n          let subjectRow = captured.subjectRow;\n\n          if (input.action === \"register\") {\n            const inserted = s.encodeInsert!({\n              id: native,\n              securityRevision,\n              phoneNumber: target.phoneNumber,\n            });\n\n            yield* stage(subject.insert(inserted));\n            // Native provisioning decodes database defaults in the final guarded\n            // read; fixed batches require complete encoder values.\n            subjectRow = inserted;\n          }\n          ensure(subjectRow !== undefined);\n          const finalConditions: Fragment[] = [...freshness];\n\n          if (target.source !== null) {\n            const source = target.source;\n\n            const retiredCustody = SecurityRevision.make(yield* randomId),\n              retiredCredential = SecurityRevision.make(yield* randomId);\n\n            yield* stage(\n              sql`${identifier.update({ [i.status]: i.encodeStatus(false), [i.revision]: retiredCustody })} where ${numberKey(source.phoneNumber)} and ${exact(identifier, i.moduleId, mapping.moduleId)} and ${exact(identifier, i.credentialId, source.credentialId)} and ${id(identifier, i.subjectId, native)} and ${exact(identifier, i.revision, source.custodyRevision)} and ${activeIdentifier}`,\n            );\n            yield* stage(\n              sql`${credential.update({ [c.status]: c.encodeStatus(false), [c.revision]: retiredCredential })} where ${id(credential, c.subjectId, native)} and ${exact(credential, c.id, source.credentialId)} and ${exact(credential, c.revision, source.credentialRevision)} and ${activeCredential}`,\n            );\n            finalConditions.push(\n              sql`exists(select 1 from ${identifier.name} where ${numberKey(source.phoneNumber)} and ${exact(identifier, i.moduleId, mapping.moduleId)} and ${exact(identifier, i.credentialId, source.credentialId)} and ${id(identifier, i.subjectId, native)} and ${exact(identifier, i.revision, retiredCustody)} and not (${activeIdentifier}))`,\n              sql`exists(select 1 from ${credential.name} where ${id(credential, c.subjectId, native)} and ${exact(credential, c.id, source.credentialId)} and ${exact(credential, c.revision, retiredCredential)} and not (${activeCredential}))`,\n            );\n          }\n\n          const values = {\n            [i.moduleId]: mapping.moduleId,\n            [i.credentialId]: credentialId,\n            [i.namespace]: \"phone\",\n            [i.value]: target.phoneNumber,\n            [i.subjectId]: native,\n            [i.revision]: custodyRevision,\n            [i.verifiedAt]: mapping.encodeInstant(captured.now),\n            [i.status]: i.encodeStatus(true),\n          };\n\n          if (target.custody === null) {\n            yield* stage(\n              identifier.insert({\n                ...i.encodeInsert({\n                  moduleId: mapping.moduleId,\n                  credentialId,\n                  phoneNumber: target.phoneNumber,\n                  subjectId: native,\n                  revision: custodyRevision,\n                  verifiedAtMillis: captured.now,\n                  active: true,\n                }),\n                ...values,\n              }),\n            );\n            yield* stage(\n              credential.insert(\n                c.encodeInsert({\n                  credentialId,\n                  subjectId: native,\n                  revision: credentialRevision,\n                  active: true,\n                }),\n              ),\n            );\n          } else {\n            yield* stage(\n              sql`${identifier.update(values)} where ${numberKey(target.phoneNumber)} and ${exact(identifier, i.moduleId, mapping.moduleId)} and ${exact(identifier, i.credentialId, credentialId)} and ${id(identifier, i.subjectId, native)} and ${exact(identifier, i.revision, target.custody.custodyRevision)} and ${identifier.column(i.verifiedAt)} is null and ${activeIdentifier}`,\n            );\n            yield* stage(\n              sql`${credential.update({ [c.revision]: credentialRevision, [c.status]: c.encodeStatus(true) })} where ${id(credential, c.subjectId, native)} and ${exact(credential, c.id, credentialId)} and ${exact(credential, c.revision, target.custody.credentialRevision)} and ${activeCredential}`,\n            );\n          }\n\n          const revision = yield* Schema.decodeEffect(AuthenticationRevision)({\n            subjectId,\n            securityRevision,\n            credentials: [\n              ...(target.revision?.credentials ?? []).filter(\n                (f) =>\n                  f.credentialId !== credentialId && f.credentialId !== target.source?.credentialId,\n              ),\n              { credentialId, revision: credentialRevision },\n            ].sort((a, b) => a.credentialId.localeCompare(b.credentialId)),\n          });\n\n          finalConditions.push(\n            factorCondition(revision),\n            sql`exists(select 1 from ${identifier.name} where ${numberKey(target.phoneNumber)} and ${exact(identifier, i.moduleId, mapping.moduleId)} and ${exact(identifier, i.credentialId, credentialId)} and ${id(identifier, i.subjectId, native)} and ${exact(identifier, i.revision, custodyRevision)} and ${id(identifier, i.verifiedAt, mapping.encodeInstant(captured.now))} and ${activeIdentifier})`,\n          );\n          const resultingState = sql.and(finalConditions);\n\n          if (input.action !== \"register\") {\n            ensure(target.revision !== null);\n            yield* stage(\n              sql`${subject.update({ [s.securityRevision]: securityRevision })} where ${id(subject, s.id, native)} and ${exact(subject, s.securityRevision, target.revision.securityRevision)} and ${activeSubject} and ${resultingState}`,\n            );\n            subjectRow = { ...subjectRow, [s.securityRevision]: securityRevision };\n          }\n          finalConditions.push(\n            sql`exists(select 1 from ${subject.name} where ${id(subject, s.id, native)} and ${exact(subject, s.securityRevision, securityRevision)} and ${activeSubject})`,\n          );\n          if (input.action === \"register\" && batch === undefined) {\n            const rows =\n              yield* sql`select ${subject.fields(\"provisioned_\")} from ${subject.name} where ${id(subject, s.id, native)} and ${exact(subject, s.securityRevision, securityRevision)} and ${activeSubject} and ${resultingState} limit 2`;\n\n            ensure(rows.length === 1);\n            subjectRow = subject.decode(rows[0]!, \"provisioned_\");\n          }\n          const final = sql.and(finalConditions);\n\n          if (batch !== undefined)\n            yield* registerSqlBatchPostcondition({\n              name: \"phone-custody-authority\",\n              statement: sqlBatchAssertion(sql, final),\n            });\n          else if (Option.isSome(external))\n            yield* registerSqlPostcondition({\n              name: \"phone-custody-authority\",\n              check: Effect.gen(function* () {\n                const rows = yield* sql`select 1 as valid where ${final}`;\n\n                ensure(rows.length === 1);\n              }).pipe(\n                Effect.mapError((cause) =>\n                  PersistenceMappingError.make({ operation: \"decode\", cause }),\n                ),\n              ),\n            });\n\n          return yield* prepare(\n            {\n              _tag: \"Accepted\",\n              credential: {\n                moduleId: mapping.moduleId,\n                phoneNumber: target.phoneNumber,\n                custodyRevision,\n                verifiedAtMillis: captured.now,\n                credentialId,\n                credentialRevision,\n                revision,\n                requirement: yield* resolve(mapping.subject.decodeRequirement(subjectRow)),\n              },\n            },\n            project,\n          );\n        }),\n      ),\n  };\n\n  return { phonePersistence, phoneSignInTargets };\n});\n"],"mappings":";;;;;;;;;;;;;;AAoCA,MAAM,oBAAoB,EAAE,oBAAoB,KAAK,CAAC,CAAC;AAEvD,MAAM,UAAqD,cAAc;CACvE,IAAI,CAAC,WAAW,MAAM,YAAY;AACpC;AAEA,MAAM,WACJ,UAEA,OAAO,SAAS,KAAK,IAAI,QAAQ,OAAO,QAAQ,KAAK;AAEvD,MAAM,cAAc,OAAO,eAAe,EAAE,oBAAoB;AAEhE,MAAM,gBAAgB,GAA2B,MAC/C,EAAE,cAAc,EAAE,aAClB,EAAE,qBAAqB,EAAE,oBACzB,EAAE,YAAY,WAAW,EAAE,YAAY,UACvC,EAAE,YAAY,OAAO,MACnB,EAAE,YAAY,MAAM,MAAM,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,aAAa,EAAE,QAAQ,CAC1F;;AAGF,MAAa,0BAA0B,OAAO,WAAW,WACvD,QACA,SAQA;CACA,MAAM,QAAQ,OAAO;CACrB,MAAM,OAAO,OAAO,UAAA,CAAW,kBAAkB;CACjD,MAAM,WAAW,OAAO,sBAAsB,WAAW;CACzD,MAAM,SAAS,OAAO,OAAO;CAC7B,MAAM,WAAW,OAAO,OAAO,cAAc,gBAAgB;CAE7D,MAAM,IAAI,QAAQ,SAChB,IAAI,QAAQ,YACZ,IAAI,QAAQ;CAEd,MAAM,UAAU,OAAO,EAAE,KAAK,GAC5B,aAAa,OAAO,EAAE,KAAK,GAC3B,aAAa,OAAO,EAAE,KAAK;CAE7B,MAAM,MAAM,OAAO,WAAW,QAAQ,eAAe;CAErD,MAAM,gBAAgB,OAAO,WAAW,EAAE,eAAe,GACvD,mBAAmB,OAAO,WAAW,EAAE,eAAe,GACtD,mBAAmB,OAAO,WAAW,EAAE,eAAe;CAExD,MAAM,OAAO,IAAI,gBAAgB;EAAE,cAAc,GAAG;EAAI,cAAc,GAAG;CAAa,CAAC;CAEvF,MAAM,SAAS,GAAa,KAAa,UACvC,aAAa,KAAK,EAAE,OAAO,GAAG,GAAG,EAAE,MAAM,KAAK,KAAK,CAAC;CAEtD,MAAM,MAAM,GAAa,KAAa,UACpC,GAAG,GAAG,EAAE,OAAO,GAAG,EAAE,KAAK,EAAE,MAAM,KAAK,KAAK;CAE7C,MAAM,aAAa,WACjB,IAAI,IAAI,CAAC,MAAM,YAAY,EAAE,WAAW,OAAO,GAAG,MAAM,YAAY,EAAE,OAAO,MAAM,CAAC,CAAC;CAEvF,MAAM,OAAgB,SACpB,UAAU,KAAA,IACN,SAAS,IAAI,KAAK,KAAK,OAAO,eAAe,OAAO,QAAQ,MAAM,CAAC,CAAC,IACpE,SACG,MAAM,KAAK,KAAK,OAAO,eAAe,OAAO,QAAQ,MAAM,CAAC,CAAC,CAAC,CAC9D,KAAK,OAAO,eAAe,gBAAgB,KAAK,CAAC;CAE1D,MAAM,QAAQ,OAAO,WAAW,WAAW,WAAqB;EAC9D,IAAI,UAAU,KAAA,GAAW,QAAQ,OAAO,iBAAiB,KAAK,SAAS,OAAO,CAAC;OAC1E;GACH,OAAO,wBAAwB,GAAG,GAAG,WAAW;GAChD,OAAO,wBAAwB,kBAAkB,KAAK,GAAG,eAAe,CAAC;EAC3E;CACF,CAAC;CAED,MAAM,WACJ,UACA,YAEA,OAAO,IAAI,aAAa;EACtB,MAAM,SAAS,QAAQ,UAAU,OAAO,oBAAoB;EAE5D,OAAO,yBAAyB,MAAM;EAEtC,OAAO;CACT,CAAC;CAEH,MAAM,UAAU,OAAO,WAAW,WAChC,OACA;EACA,OAAO,MAAM,aAAa,QAAQ,QAAQ;EAE1C,MAAM,UACJ,MAAM,sBAAsB,KAAA,KAAa,MAAM,sBAAsB,MAAM,cACvE,CAAC,MAAM,WAAW,IAClB,CAAC,MAAM,aAAa,MAAM,iBAAiB;EAEjD,MAAM,OACJ,OAAO,GAAG,UAAU,WAAW,OAAO,mBAAmB,EAAE,cAAc,iBAAiB,+CAA+C,WAAW,KAAK,SAAS,IAAI,GAAG,QAAQ,IAAI,SAAS,CAAC,EAAE;EAEnM,OAAO,KAAK,UAAU,QAAQ,MAAM;EAEpC,MAAM,cAAc,KAAK,KAAK,SAAS;GACrC,KAAK,WAAW,OAAO,KAAK,mBAAmB;GAC/C,QAAQ,OAAO,IAAI,iBAAiB,MAAM;EAC5C,EAAE;EAEF,OACE,YAAY,OACT,EAAE,UAAU,IAAI,EAAE,eAAe,WAAW,QAAQ,SAAS,OAAO,IAAI,EAAE,MAAM,CAAC,CACpF,CACF;EACA,MAAM,cAAc,YAAY,MAAM,EAAE,UAAU,IAAI,EAAE,WAAW,MAAM,WAAW;EACpF,MAAM,SAAS,YAAY,MAAM,EAAE,UAAU,IAAI,EAAE,WAAW,MAAM,iBAAiB;EAErF,MAAM,YACJ,MAAM,cACL,gBAAgB,KAAA,IACb,KAAA,IACA,OAAO,QAAQ,QAAQ,WAAW,UAAU,YAAY,IAAI,EAAE,UAAU,CAAC;EAE/E,IAAI;EACJ,IAAI,WAA0C;EAC9C,MAAM,UAAiF,CAAC;EACxF,IAAI;EAEJ,IAAI,cAAc,KAAA,GAAW;GAC3B,MAAM,QAAQ,OAAO,GAAG,UAAU,IAAI;GAEtC,UAAU,OAAO,MAAM,EAAE,EAAE,UAAU;EACvC,OAAO;GACL,MAAM,SAAS,OAAO,QAAQ,QAAQ,WAAW,SAAS,SAAS,CAAC;GAEpE,QAAQ,OAAO,QAAQ,QAAQ,WAAW,UAAU,MAAM,CAAC,OAAO,SAAS;GAE3E,MAAM,SACJ,OAAO,GAAG,UAAU,QAAQ,OAAO,gBAAgB,EAAE,IAAI,WAAW,OAAO,eAAe,EAAE,cAAc,cAAc,kDAAkD,iBAAiB,2CAA2C,IAAI,sBAAsB,QAAQ,KAAK,aAAa,WAAW,KAAK,MAAM,GAAG,YAAY,EAAE,WAAW,MAAM,EAAE,QAAQ,iBAAiB,GAAG,YAAY,WAAW,IAAI,GAAG,KAAK,GAAG,MAAM,IAAI,GAAG,YAAY,KAAK,UAAU,MAAM,YAAY,EAAE,IAAI,MAAM,IAAI,EAAE,aAAa,CAAC,CAAC,IAAI,UAAU,GAAG,SAAS,EAAE,IAAI,MAAM,EAAE;GAE3hB,OAAO,OAAO,UAAU,EAAE;GAC1B,MAAM,QAAQ,OAAO;GAErB,UAAU,OAAO,OAAO,UAAU;GAClC,IAAI,UAAU,KAAA,GAAW;IACvB,aAAa,QAAQ,OAAO,OAAO,gBAAgB;IACnD,QAAQ,OAAO,QAAQ,QAAQ,WAAW,UAAU,WAAW,EAAE,GAAG,CAAC,OAAO,SAAS;IACrF,KAAK,MAAM,aAAa,QAAQ;KAC9B,MAAM,MAAM,WAAW,OAAO,WAAW,eAAe;KAExD,IAAI,IAAI,EAAE,QAAQ,QAAQ,IAAI,EAAE,QAAQ,KAAA,GAAW;KACnD,QAAQ,OAAO,QAAQ,QAAQ,WAAW,UAAU,IAAI,EAAE,UAAU,CAAC,OAAO,SAAS;KACrF,OAAO,CAAC,QAAQ,MAAM,MAAM,EAAE,IAAI,EAAE,QAAQ,IAAI,EAAE,GAAG,CAAC;KACtD,QAAQ,KAAK;MAAE;MAAK,QAAQ,OAAO,UAAU,iBAAiB,MAAM;KAAE,CAAC;IACzE;IACA,OAAO,QAAQ,QAAQ,MAAM,EAAE,MAAM,CAAC,CAAC,UAAU,EAAE;IACnD,IAAI,OAAO,MAAM,cAAc,MAAM,GACnC,WAAW,OAAO,OAAO,oBAAoB,sBAAsB,CAAC,CAAC;KACnE;KACA,kBAAkB,WAAW,EAAE;KAC/B,aAAa,QACV,QAAQ,MAAM,EAAE,MAAM,CAAC,CACvB,KAAK,OAAO;MAAE,cAAc,EAAE,IAAI,EAAE;MAAK,UAAU,EAAE,IAAI,EAAE;KAAU,EAAE,CAAC,CACxE,MAAM,GAAG,MAAM,OAAO,EAAE,YAAY,CAAC,CAAC,cAAc,OAAO,EAAE,YAAY,CAAC,CAAC;IAChF,CAAC;GACL;EACF;EACA,OAAO,OAAO,cAAc,OAAO,CAAC;EAEpC,MAAM,UAAU,OAAO,WAAW,WAAW,OAA2B;GACtE,IAAI,UAAU,KAAA,KAAa,MAAM,IAAI,EAAE,cAAc,QAAQ,UAAU,OAAO;GAC9E,MAAM,SAAS,QAAQ,MAAM,MAAM,EAAE,IAAI,EAAE,QAAQ,MAAM,IAAI,EAAE,aAAa;GAE5E,IAAI,WAAW,KAAA,GAAW,OAAO;GACjC,MAAM,QAAQ,OAAO,QAAQ,QAAQ,WAAW,UAAU,MAAM,IAAI,EAAE,UAAU,CAAC;GAEjF,IAAI,UAAU,WAAW,OAAO;GAEhC,OAAO,OAAO,OAAO,oBAAoB,EAAE,YAAY,CAAC,CAAC;IACvD,aAAa,MAAM,IAAI,EAAE;IACzB,WAAW;IACX,cAAc,MAAM,IAAI,EAAE;IAC1B,iBAAiB,MAAM,IAAI,EAAE;IAC7B,oBAAoB,OAAO,IAAI,EAAE;IACjC,kBACE,MAAM,IAAI,EAAE,gBAAgB,QAAQ,MAAM,IAAI,EAAE,gBAAgB,KAAA,IAC5D,OACA,QAAQ,OAAO,MAAM,cAAc,MAAM,IAAI,EAAE,WAAW;IAChE,OACE,CAAC,MAAM,UAAU,CAAC,OAAO,SACrB,YACA,MAAM,IAAI,EAAE,gBAAgB,QAAQ,MAAM,IAAI,EAAE,gBAAgB,KAAA,IAC9D,eACA;GACV,CAAC;EACH,CAAC;EAED,MAAM,gBAAgB,OAAO,QAAQ,WAAW;EAChD,MAAM,gBAAgB,OAAO,QAAQ,MAAM;EAE3C,MAAM,WACJ,MAAM,WAAW,aACb,gBAAgB,KAAA,IAChB,aAAa,QACb,MAAM,cAAc,cACnB,gBAAgB,KAAA,KACd,kBAAkB,QACjB,cAAc,cAAc,aAC5B,cAAc,UAAU,kBAC3B,MAAM,WAAW,YACf,MAAM,sBAAsB,MAAM,eACjC,kBAAkB,QAClB,cAAc,cAAc,aAC5B,cAAc,UAAU;EAUlC,OAAO;GAAE,QAAA,OARa,OAAO,aAAa,EAAE,oBAAoB,CAAC,CAAC;IAChE,aAAa,MAAM;IACnB,SAAS;IACT,QAAQ;IACR;IACA;GACF,CAAC;GAEgB;GAAY;GAAa;GAAQ;GAAS,KAAK;EAAQ;CAC1E,CAAC;CA2YD,OAAO;EAAE,kBAAA;GAnWP,SAAS,UAAU,SAAS,KAAK,OAAO,IAAI,QAAQ,EAAE,GAAG,MAAM,CAAC,IAAI,UAAU,MAAM,MAAM,CAAC;GAC3F,SAAS,UAAU,YACjB,IACE,OAAO,IAAI,aAAa;IACtB,MAAM,SAAS,OAAO,OAAO,aAAa,WAAW,CAAC,CACpD,OAAO,OAAO,aAAa,WAAW,CAAC,CAAC,SAAS,MAAM,CACzD;IAEA,MAAM,aAAa,OAAO,OAAO,aAAa,OAAO,WAAW,oBAAoB,CAAC,CAAC,CACpF,OAAO,OAAO,aAAa,OAAO,WAAW,oBAAoB,CAAC,CAAC,CACjE,SAAS,WAAW,KACtB,CACF;IAEA,MAAM,QAAQ;KACZ,GAAG;KACH;KACA,YAAY;MAAE,OAAO;MAAY,SAAS,SAAS,WAAW;KAAQ;IACxE;IAEA,MAAM,iBAAiB,QAAQ,EAAE,MAAM,WAAW,GAAG,OAAO;IAE5D,OAAO,MAAM,aAAa,QAAQ,QAAQ;IAC1C,IACE,MAAM,WAAW,eAChB,QAAQ,WAAW,aAAa,KAAA,KAAa,EAAE,iBAAiB,KAAA,IAEjE,OAAO,OAAO,SAAS;IACzB,MAAM,SAAS,OAAO,OAAO,aAAa,EAAE,oBAAoB,CAAC,CAAC,MAAM,MAAM;IAE9E,IACE,OAAO,6BAA6B,QAAQ,OAAO,4BACnD,OAAO,iCAAiC,QAAQ,OAAO,8BAEvD,OAAO,OAAO,SAAS;IACzB,IAAI,OAAO,aAAa,MAAM;KAC5B,MAAM,SAAS,OAAO,QAAQ,QAAQ,WAAW,SAAS,OAAO,SAAS,SAAS,CAAC;KAEpF,MAAM,OACJ,OAAO,GAAG,UAAU,QAAQ,OAAO,eAAe,EAAE,QAAQ,QAAQ,KAAK,SAAS,GAAG,SAAS,EAAE,IAAI,MAAM,EAAE,WAAW,UAAU,KAAA,IAAY,OAAO,GAAG;KAEzJ,IACE,KAAK,WAAW,MACf,OAAO,QACN,QAAQ,WAAW,UAAU,QAAQ,OAAO,KAAK,IAAK,eAAe,CAAC,CAAC,EAAE,GAAG,CAC9E,OAAO,OAAO,SAAS,WAEvB,OAAO,OAAO,SAAS;IAC3B;IAEA,MAAM,WAAW,OAAO,QAAQ;KAC9B,UAAU,MAAM;KAChB,QAAQ,MAAM;KACd,aAAa,OAAO;KACpB,GAAI,OAAO,aAAa,OAAO,CAAC,IAAI,EAAE,WAAW,OAAO,SAAS,UAAU;KAC3E,GAAI,OAAO,WAAW,OAAO,CAAC,IAAI,EAAE,mBAAmB,OAAO,OAAO,YAAY;IACnF,CAAC;IAED,IACE,CAAC,SAAS,OAAO,aAChB,OAAO,OAAO,aAAa,WAAW,CAAC,CAAC,SAAS,MAAM,QACrD,OAAO,OAAO,aAAa,WAAW,CAAC,CAAC,MAAM,IAEjD,OAAO,OAAO,SAAS;IACzB,MAAM,UAAU,WAAW;IAE3B,IACE,WAAW,aAAa,GAAG,QAAQ,SAAS,eAC5C,WAAW,YAAY,qBACvB,QAAQ,WAAW,cAAc,WACjC,QAAQ,WAAW,UAAU,OAAO,aAEpC,OAAO,OAAO,SAAS;IACzB,IACE,MAAM,WAAW,aACb,QAAQ,SAAS,eACjB,QAAQ,SAAS,gBACjB,OAAO,aAAa,QACpB,CAAC,aAAa,QAAQ,UAAU,OAAO,QAAQ,GAEnD,OAAO,OAAO,SAAS;IACzB,IACG,MAAM,WAAW,YAAY,QAAQ,SAAS,aAC9C,MAAM,WAAW,YAAY,QAAQ,SAAS,oBAE/C,OAAO,OAAO,SAAS;IACzB,MAAM,YAAwB,CAAC;IAE/B,IAAI,MAAM,WAAW,YAAY;KAC/B,MAAM,gBAAgB,MAAM;KAE5B,IACE,kBAAkB,KAAA,KAClB,OAAO,aAAa,QACpB,SAAS,eAAe,KAAA,GAExB,OAAO,OAAO,SAAS;KACzB,MAAM,WAAW,OAAO,+BAA+B,cAAc,QAAQ;KAC7E,MAAM,YAAY,cAAc;KAEhC,IACE,UAAU,aAAa,QAAQ,YAC/B,UAAU,WAAW,MAAM,UAC3B,UAAU,cAAc,MAAM,aAC9B,UAAU,gBAAgB,OAAO,eACjC,UAAU,sBAAsB,OAAO,QAAQ,eAC/C,UAAU,WAAW,QAAQ,UAC7B,UAAU,kBAAkB,QAAQ,iBACpC,UAAU,WAAW,SAAS,UAC9B,UAAU,kBAAkB,SAAS,iBACrC,CAAC,aAAa,UAAU,UAAU,OAAO,QAAQ,KACjD,CAAC,aAAa,SAAS,UAAU,OAAO,QAAQ,GAEhD,OAAO,OAAO,SAAS;KAEzB,MAAM,eAAe;MACnB,cAAc;MACd,cAAc;MACd,OAAO,QAAQ,EAAE,kBAAkB,SAAS,UAAU,CAAC;MACvD,GAAI,EAAE,4BAA4B,KAAA,IAC9B,CAAC,IACD,CAAC,OAAO,QAAQ,EAAE,wBAAwB,SAAS,YAAY,MAAM,MAAM,CAAC,CAAC;KACnF;KAEA,KAAK,MAAM,uBAAuB,cAAc;MAC9C,MAAM,cACJ,OAAO,OAAO,aAAa,yBAAyB,CAAC,CAAC,mBAAmB;MAE3E,IAAI,CAAC,4BAA4B,UAAU,aAAa,SAAS,GAAG,GAClE,OAAO,OAAO,SAAS;KAC3B;KACA,IAAI,SAAS,OAAO,WAAW,GAAG,OAAO,OAAO,SAAS;KACzD,KAAK,MAAM,SAAS,SAAS,QAAQ;MACnC,MAAM,KAAK,SAAS,cAAc,MAAM,UAAU;MAElD,MAAM,MAAM,KAAK,IACf,OAAO,0BACP,GAAG,aAAa,KAAK,MAAM,EAAE,gBAAgB,CAC/C;MAEA,IACE,CAAC,OAAO,SAAS,YAAY,MAAM,MAAM,EAAE,iBAAiB,MAAM,YAAY,KAC9E,KAAK,SAAS,OACd,SAAS,OAAO,KAAK,KAErB,OAAO,OAAO,SAAS;MACzB,UAAU,KAAK,GAAG,GAAG,IAAI,MAAM,GAAG,OAAO,IAAI,KAAK,KAAK,KAAK;KAC9D;IACF;IAEA,MAAM,SAAS,QAAO,OADD,qBAAqB,QAAQ,QAAQ,QAAQ,UAAU,KAAA,CAAS,EAAA,CACzD,aAAa,UAAU;IAEnD,MAAM,eAAe,MAAM,WAAW,QACpC,OAAO,UACP,OAAO,uBACN,UAAU,KACb;IAEA,OAAO,yBAAyB,YAAY;IAC5C,IAAI,OAAO,aAAa,YAAY,OAAO,OAAO,SAAS;IAC3D,UAAU,KAAK,OAAO,UAAU;IAEhC,MAAM,YACJ,MAAM,WAAW,aACb,OAAO,QACL,QAAQ,WAAW,UAAU,OAAO,QAAQ,QAAQ,WAAW,SAAU,CAAC,CAAC,CAC7E,IACA,OAAO,SAAU;IAEvB,MAAM,SAAS,OAAO,QAAQ,QAAQ,WAAW,SAAS,SAAS,CAAC;IAEpE,QAAQ,OAAO,QAAQ,QAAQ,WAAW,UAAU,MAAM,CAAC,OAAO,SAAS;IAE3E,MAAM,mBAAmB,iBAAiB,KAAK,OAAO,QAAQ,GAC5D,qBAAqB,iBAAiB,KAAK,OAAO,QAAQ,GAC1D,kBAAkB,iBAAiB,KAAK,OAAO,QAAQ;IAEzD,MAAM,eAAe,OAAO,SAAS,iBAAiB,OAAO;IAE7D,MAAM,mBAAmB,aACvB,IAAI,IAAI,CACN,GAAG,yBAAyB,WAAW,KAAK,SAAS,GAAG,YAAY,EAAE,WAAW,MAAM,EAAE,OAAO,iBAAiB,MAAM,SAAS,YAAY,UAC5I,GAAG,SAAS,YAAY,KACrB,MACC,GAAG,wBAAwB,WAAW,KAAK,SAAS,GAAG,YAAY,EAAE,WAAW,MAAM,EAAE,OAAO,MAAM,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,MAAM,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,iBAAiB,EACpN,CACF,CAAC;IAEH,IAAI,OAAO,aAAa,QAAQ,UAAU,KAAA,GACxC,OAAO,wBACL,kBACE,KACA,IAAI,IAAI;KACN,GAAG,wBAAwB,QAAQ,KAAK,SAAS,GAAG,SAAS,EAAE,IAAI,MAAM,EAAE,OAAO,MAAM,SAAS,EAAE,kBAAkB,OAAO,SAAS,gBAAgB,EAAE,OAAO,cAAc;KAC5K,gBAAgB,OAAO,QAAQ;KAC/B,GAAG;IACL,CAAC,CACH,CACF;IACF,IAAI,aAAa,SAAS;IAE1B,IAAI,MAAM,WAAW,YAAY;KAC/B,MAAM,WAAW,EAAE,aAAc;MAC/B,IAAI;MACJ;MACA,aAAa,OAAO;KACtB,CAAC;KAED,OAAO,MAAM,QAAQ,OAAO,QAAQ,CAAC;KAGrC,aAAa;IACf;IACA,OAAO,eAAe,KAAA,CAAS;IAC/B,MAAM,kBAA8B,CAAC,GAAG,SAAS;IAEjD,IAAI,OAAO,WAAW,MAAM;KAC1B,MAAM,SAAS,OAAO;KAEtB,MAAM,iBAAiB,iBAAiB,KAAK,OAAO,QAAQ,GAC1D,oBAAoB,iBAAiB,KAAK,OAAO,QAAQ;KAE3D,OAAO,MACL,GAAG,GAAG,WAAW,OAAO;OAAG,EAAE,SAAS,EAAE,aAAa,KAAK;OAAI,EAAE,WAAW;KAAe,CAAC,EAAE,SAAS,UAAU,OAAO,WAAW,EAAE,OAAO,MAAM,YAAY,EAAE,UAAU,QAAQ,QAAQ,EAAE,OAAO,MAAM,YAAY,EAAE,cAAc,OAAO,YAAY,EAAE,OAAO,GAAG,YAAY,EAAE,WAAW,MAAM,EAAE,OAAO,MAAM,YAAY,EAAE,UAAU,OAAO,eAAe,EAAE,OAAO,kBAC1W;KACA,OAAO,MACL,GAAG,GAAG,WAAW,OAAO;OAAG,EAAE,SAAS,EAAE,aAAa,KAAK;OAAI,EAAE,WAAW;KAAkB,CAAC,EAAE,SAAS,GAAG,YAAY,EAAE,WAAW,MAAM,EAAE,OAAO,MAAM,YAAY,EAAE,IAAI,OAAO,YAAY,EAAE,OAAO,MAAM,YAAY,EAAE,UAAU,OAAO,kBAAkB,EAAE,OAAO,kBAC1Q;KACA,gBAAgB,KACd,GAAG,wBAAwB,WAAW,KAAK,SAAS,UAAU,OAAO,WAAW,EAAE,OAAO,MAAM,YAAY,EAAE,UAAU,QAAQ,QAAQ,EAAE,OAAO,MAAM,YAAY,EAAE,cAAc,OAAO,YAAY,EAAE,OAAO,GAAG,YAAY,EAAE,WAAW,MAAM,EAAE,OAAO,MAAM,YAAY,EAAE,UAAU,cAAc,EAAE,YAAY,iBAAiB,KACpU,GAAG,wBAAwB,WAAW,KAAK,SAAS,GAAG,YAAY,EAAE,WAAW,MAAM,EAAE,OAAO,MAAM,YAAY,EAAE,IAAI,OAAO,YAAY,EAAE,OAAO,MAAM,YAAY,EAAE,UAAU,iBAAiB,EAAE,YAAY,iBAAiB,GACnO;IACF;IAEA,MAAM,SAAS;MACZ,EAAE,WAAW,QAAQ;MACrB,EAAE,eAAe;MACjB,EAAE,YAAY;MACd,EAAE,QAAQ,OAAO;MACjB,EAAE,YAAY;MACd,EAAE,WAAW;MACb,EAAE,aAAa,QAAQ,cAAc,SAAS,GAAG;MACjD,EAAE,SAAS,EAAE,aAAa,IAAI;IACjC;IAEA,IAAI,OAAO,YAAY,MAAM;KAC3B,OAAO,MACL,WAAW,OAAO;MAChB,GAAG,EAAE,aAAa;OAChB,UAAU,QAAQ;OAClB;OACA,aAAa,OAAO;OACpB,WAAW;OACX,UAAU;OACV,kBAAkB,SAAS;OAC3B,QAAQ;MACV,CAAC;MACD,GAAG;KACL,CAAC,CACH;KACA,OAAO,MACL,WAAW,OACT,EAAE,aAAa;MACb;MACA,WAAW;MACX,UAAU;MACV,QAAQ;KACV,CAAC,CACH,CACF;IACF,OAAO;KACL,OAAO,MACL,GAAG,GAAG,WAAW,OAAO,MAAM,EAAE,SAAS,UAAU,OAAO,WAAW,EAAE,OAAO,MAAM,YAAY,EAAE,UAAU,QAAQ,QAAQ,EAAE,OAAO,MAAM,YAAY,EAAE,cAAc,YAAY,EAAE,OAAO,GAAG,YAAY,EAAE,WAAW,MAAM,EAAE,OAAO,MAAM,YAAY,EAAE,UAAU,OAAO,QAAQ,eAAe,EAAE,OAAO,WAAW,OAAO,EAAE,UAAU,EAAE,eAAe,kBAC7V;KACA,OAAO,MACL,GAAG,GAAG,WAAW,OAAO;OAAG,EAAE,WAAW;OAAqB,EAAE,SAAS,EAAE,aAAa,IAAI;KAAE,CAAC,EAAE,SAAS,GAAG,YAAY,EAAE,WAAW,MAAM,EAAE,OAAO,MAAM,YAAY,EAAE,IAAI,YAAY,EAAE,OAAO,MAAM,YAAY,EAAE,UAAU,OAAO,QAAQ,kBAAkB,EAAE,OAAO,kBAC3Q;IACF;IAEA,MAAM,WAAW,OAAO,OAAO,aAAa,sBAAsB,CAAC,CAAC;KAClE;KACA;KACA,aAAa,CACX,IAAI,OAAO,UAAU,eAAe,CAAC,EAAA,CAAG,QACrC,MACC,EAAE,iBAAiB,gBAAgB,EAAE,iBAAiB,OAAO,QAAQ,YACzE,GACA;MAAE;MAAc,UAAU;KAAmB,CAC/C,CAAC,CAAC,MAAM,GAAG,MAAM,EAAE,aAAa,cAAc,EAAE,YAAY,CAAC;IAC/D,CAAC;IAED,gBAAgB,KACd,gBAAgB,QAAQ,GACxB,GAAG,wBAAwB,WAAW,KAAK,SAAS,UAAU,OAAO,WAAW,EAAE,OAAO,MAAM,YAAY,EAAE,UAAU,QAAQ,QAAQ,EAAE,OAAO,MAAM,YAAY,EAAE,cAAc,YAAY,EAAE,OAAO,GAAG,YAAY,EAAE,WAAW,MAAM,EAAE,OAAO,MAAM,YAAY,EAAE,UAAU,eAAe,EAAE,OAAO,GAAG,YAAY,EAAE,YAAY,QAAQ,cAAc,SAAS,GAAG,CAAC,EAAE,OAAO,iBAAiB,EACpY;IACA,MAAM,iBAAiB,IAAI,IAAI,eAAe;IAE9C,IAAI,MAAM,WAAW,YAAY;KAC/B,OAAO,OAAO,aAAa,IAAI;KAC/B,OAAO,MACL,GAAG,GAAG,QAAQ,OAAO,GAAG,EAAE,mBAAmB,iBAAiB,CAAC,EAAE,SAAS,GAAG,SAAS,EAAE,IAAI,MAAM,EAAE,OAAO,MAAM,SAAS,EAAE,kBAAkB,OAAO,SAAS,gBAAgB,EAAE,OAAO,cAAc,OAAO,gBAC9M;KACA,aAAa;MAAE,GAAG;OAAa,EAAE,mBAAmB;KAAiB;IACvE;IACA,gBAAgB,KACd,GAAG,wBAAwB,QAAQ,KAAK,SAAS,GAAG,SAAS,EAAE,IAAI,MAAM,EAAE,OAAO,MAAM,SAAS,EAAE,kBAAkB,gBAAgB,EAAE,OAAO,cAAc,EAC9J;IACA,IAAI,MAAM,WAAW,cAAc,UAAU,KAAA,GAAW;KACtD,MAAM,OACJ,OAAO,GAAG,UAAU,QAAQ,OAAO,cAAc,EAAE,QAAQ,QAAQ,KAAK,SAAS,GAAG,SAAS,EAAE,IAAI,MAAM,EAAE,OAAO,MAAM,SAAS,EAAE,kBAAkB,gBAAgB,EAAE,OAAO,cAAc,OAAO,eAAe;KAEpN,OAAO,KAAK,WAAW,CAAC;KACxB,aAAa,QAAQ,OAAO,KAAK,IAAK,cAAc;IACtD;IACA,MAAM,QAAQ,IAAI,IAAI,eAAe;IAErC,IAAI,UAAU,KAAA,GACZ,OAAO,8BAA8B;KACnC,MAAM;KACN,WAAW,kBAAkB,KAAK,KAAK;IACzC,CAAC;SACE,IAAI,OAAO,OAAO,QAAQ,GAC7B,OAAO,yBAAyB;KAC9B,MAAM;KACN,OAAO,OAAO,IAAI,aAAa;MAC7B,MAAM,OAAO,OAAO,GAAG,2BAA2B;MAElD,OAAO,KAAK,WAAW,CAAC;KAC1B,CAAC,CAAC,CAAC,KACD,OAAO,UAAU,UACf,wBAAwB,KAAK;MAAE,WAAW;MAAU;KAAM,CAAC,CAC7D,CACF;IACF,CAAC;IAEH,OAAO,OAAO,QACZ;KACE,MAAM;KACN,YAAY;MACV,UAAU,QAAQ;MAClB,aAAa,OAAO;MACpB;MACA,kBAAkB,SAAS;MAC3B;MACA;MACA;MACA,aAAa,OAAO,QAAQ,QAAQ,QAAQ,kBAAkB,UAAU,CAAC;KAC3E;IACF,GACA,OACF;GACF,CAAC,CACH;EAGoB;EAAG,oBAAA,EAxYzB,SAAS,UACP,SAAS,KACP,OAAO,IAAI,aAAa;GACtB,MAAM,UAAU,OAAO,QAAQ;IAAE,GAAG;IAAO,QAAQ;GAAS,CAAC;GAC7D,MAAM,EAAE,SAAS,aAAa,QAAQ;GAEtC,IACE,YAAY,QACZ,QAAQ,UAAU,cAClB,QAAQ,qBAAqB,QAC7B,aAAa,QACb,QAAQ,eAAe,KAAA,KACvB,CAAC,SAAS,YAAY,MACnB,MACC,EAAE,iBAAiB,QAAQ,gBAC3B,EAAE,aAAa,QAAQ,kBAC3B,GAEA,OAAO,OAAO,KAAK;GAErB,OAAO,OAAO,KACZ,OAAO,OAAO,aAAa,EAAE,uBAAuB,CAAC,CAAC;IACpD,UAAU,MAAM;IAChB,aAAa,MAAM;IACnB,iBAAiB,QAAQ;IACzB,kBAAkB,QAAQ;IAC1B,cAAc,QAAQ;IACtB,oBAAoB,QAAQ;IAC5B;IACA,aAAa,OAAO,QAAQ,QAAQ,QAAQ,kBAAkB,QAAQ,UAAU,CAAC;GACnF,CAAC,CACH;EACF,CAAC,CACH,EAuWwC;CAAE;AAChD,CAAC"}

package/dist/internal/proof-native.d.mts

@@ -0,0 +1,15 @@
+import "./mapping-error.mjs";
+import { AnyProofPersistenceMapping } from "./models/proof-model.mjs";
+import { NativeSqlTables } from "./native-sql-table.mjs";
+import { SqlBatchCommit } from "./sql-commit.mjs";
+import { Crypto, Effect, Schema } from "effect";
+import { LifecycleHooks } from "@yielded/auth/Hooks";
+import * as P from "@yielded/auth/Proofs";
+import { SqlClient } from "effect/sql/SqlClient";
+import { SqlError } from "effect/sql/SqlError";
+//#region src/internal/proof-native.d.ts
+export declare const makeNativeProofServices: (tables: NativeSqlTables, mapping: AnyProofPersistenceMapping) => Effect.Effect<{
+  readonly proofPersistence: P.ProofPersistence["Service"];
+}, P.ProofUnavailable, Crypto.Crypto | LifecycleHooks | SqlBatchCommit | SqlClient>;
+//#endregion
+//# sourceMappingURL=proof-native.d.mts.map