Interface: LeaseDelta

Defined in: ports/lease-delta.ts:9

JSON-serializable capability lease persisted on ContinuationFrame records in LedgerStore.

Granted dynamically by .elevateLeaseWhen() on interrupt edges or returned by BranchableScope.getConflictLease() to unlock protected resources across turns and loop iterations.

Properties

Property	Modifier	Type	Description	Defined in
grantedMatchers	readonly	readonly FsGlobMatcherNode[]	Effect matcher AST nodes unlocked by this lease delta.	ports/lease-delta.ts:15
id	readonly	string	Unique identifier of the granted lease delta.	ports/lease-delta.ts:13
type	readonly	"harness:lease-delta"	Discriminant identifying a serializable capability lease delta.	ports/lease-delta.ts:11