Source Preserving Atomic SOL and WSOL Execution with Explicit Settlement Invariants

SOLs4Rent is a development implementation for temporarily using native SOL or wrapped SOL from an opted in source within an atomic execution route. Its settlement rule returns principal and exactly 99 percent of a quoted premium to the original source, with the remaining 1 percent paid to a developer recipient. This report describes the ownership boundary, integer fee calculation, source identity checks, final balance and rent floors, and treatment of temporary wrapped SOL accounts. Existing fork receipts report a 50 million lamport native SOL route through canonical Raydium CPMM operations, preservation of a 7,340,032 byte source account, and rollback of negative cases. A separate wrapped SOL receipt reports a 99 unit source premium and one unit developer payment. A deterministic scheduling model, explicitly separate from chain execution, demonstrates saturation at 512 executions over 64 modeled service windows because every execution shares a writable developer account. The evidence supports a component study of settlement and scheduling. It does not establish production profitability, permission to borrow arbitrary program accounts, or complete onchain 72 billion parameter inference, which remains outside the demonstrated result. Preparation of this report was assisted by Codex. The research programme is directed toward human agency, financial inclusion, and evidence-based accountability. Intended social benefits are distinguished from measured technical results in the manuscript. The manuscript and newly authored analysis are offered under CC BY 4.0. Any supplied source files retain the license terms stated in the supplement; the record license does not replace third-party source licenses.