Rulvar API reference

---

Rulvar API reference / @rulvar/core / LeasableStore

Interface: LeasableStore

Defined in: packages/core/src/l0/spi/store.ts:280

Extends

• JournalStore

Extended by

• EffectLaneStore

Properties

Property	Modifier	Type	Description	Inherited from	Defined in
fencedWrites?	readonly	true	Fenced writes capability (the fenced run state RFC, phase 2), optional exactly like getMeta and leaseTtlMs: a store declaring fencedWrites: true PROMISES that every mutation carrying a lease (append, putMeta, delete) verifies it is the CURRENT holder for the run the mutation targets, atomically with the mutation itself, and rejects with the typed LeaseHeldError leaving nothing mutated when it is not (stale epoch, foreign owner, expired, or a lease whose runId is not the mutation's run). The engine threads the segment's lease into every one of these writes on a leased resume, so over a declaring store a superseded worker cannot overwrite run meta or delete run state, exactly as it already cannot append. A mutation carrying NO lease keeps the single-writer semantics unchanged. Stores written before this capability are unaffected: without the marker the extra argument is ignored and hosts know the surface is advisory.	JournalStore.fencedWrites	packages/core/src/l0/spi/store.ts:228
leaseTtlMs?	readonly	number	Optional TTL introspection (v1.35.0 review P2-4): the configured lease ttl in milliseconds. A store exposing it lets createWorker VERIFY at construction that the worker's renew cadence matches the store's expiry instead of trusting two config sources to agree; stores without it are accepted with the worker's own ttl.	-	packages/core/src/l0/spi/store.ts:291

Methods

acquire()

acquire(runId, owner): Promise<Lease>;

Defined in: packages/core/src/l0/spi/store.ts:281

Parameters

Parameter	Type
runId	string
owner	string

Returns

Promise<Lease>

---

append()

append(
   runId, 
   e, 
lease?): Promise<void>;

Defined in: packages/core/src/l0/spi/store.ts:206

Parameters

Parameter	Type
runId	string
e	JournalEntry
lease?	Lease

Returns

Promise<void>

Inherited from

JournalStore.append

---

delete()

delete(runId, lease?): Promise<void>;

Defined in: packages/core/src/l0/spi/store.ts:210

Parameters

Parameter	Type
runId	string
lease?	Lease

Returns

Promise<void>

Inherited from

JournalStore.delete

---

listRuns()

listRuns(f?): Promise<RunMeta[]>;

Defined in: packages/core/src/l0/spi/store.ts:209

Parameters

Parameter	Type
f?	RunFilter

Returns

Promise<RunMeta[]>

Inherited from

JournalStore.listRuns

---

load()

load(runId): Promise<JournalEntry[]>;

Defined in: packages/core/src/l0/spi/store.ts:207

Parameters

Parameter	Type
runId	string

Returns

Promise<JournalEntry[]>

Inherited from

JournalStore.load

---

putMeta()

putMeta(m, lease?): Promise<void>;

Defined in: packages/core/src/l0/spi/store.ts:208

Parameters

Parameter	Type
m	RunMeta
lease?	Lease

Returns

Promise<void>

Inherited from

JournalStore.putMeta

---

release()

release(l): Promise<void>;

Defined in: packages/core/src/l0/spi/store.ts:283

Parameters

Parameter	Type
l	Lease

Returns

Promise<void>

---

renew()

renew(l): Promise<void>;

Defined in: packages/core/src/l0/spi/store.ts:282

Parameters

Parameter	Type
l	Lease

Returns

Promise<void>