Skip to main content

Module lease

Module lease 

Source
Expand description

SQLite dialect-forked queries for lease lifecycle (renew / reclaim).

Populated in Phase 2a.3 per RFC-023 §4.1. The SQL strings are module-level consts so backend.rs call sites reference them by name and cross-dialect review lines them up against the PG reference at ff-backend-postgres/src/attempt.rs statement-by- statement.

§Fence-triple contract

Same as queries/attempt.rs: BEGIN IMMEDIATE on SQLite escalates the txn to RESERVED for the full read-modify-write window; the fence CAS is a plain SELECT of ff_attempt.lease_epoch (see queries/attempt.rs::SELECT_ATTEMPT_EPOCH_SQL).