storage_capacity_errors.v1.json (1352B)
1 { 2 "schema": "radroots.storage-capacity-errors.v1", 3 "status": "approved", 4 "scope": "Backend-neutral capacity diagnosis for canonical SQLite SPI operations", 5 "error": "SpaceInsufficient", 6 "classification": "Numeric primary or extended SQLITE_FULL, or SQLx I/O StorageFull/QuotaExceeded; other SQL errors retain BackendUnavailable. Raw database and I/O sources are never exposed.", 7 "uncertainty": "A capacity error can arise at commit or after earlier effects. It is not a rollback or no-effect receipt. Retain original requests, IDs, drafts and ambiguous receipts; reconcile existing state before retry.", 8 "ownership": "Only the existing storage owner performs SQL and transactions. No raw handle, SQL escape hatch, global fault control, second owner or application cleanup policy is introduced.", 9 "compatibility": "The non-exhaustive error enum gains one variant. Schema, persisted bytes, transaction order, durability policy, limits and successful receipts are unchanged. Open, migration, backup and restore capability errors remain their separate contracts.", 10 "verification": [ 11 "real bounded SQLITE_FULL draft retention and exact retry", 12 "real atomic submission capacity retention", 13 "numeric/extended and typed I/O classification, redaction and generic fallback", 14 "unchanged coverage and package/release gates" 15 ] 16 }