Discovery & Verification

Codebase & Feature Coverage

Verification mapping of source files and architectural mechanics to their corresponding developer documentation pages.

📂 Codebase Inventory

All core source files in the client and server codebases have been audited and documented.

Core Framework & State Management
Cryptography & Database Systems
UI & Custom Components
  • [✓] wiltkey_client/lib/core/custom_emoji.dart → Custom Emojis
  • [✓] wiltkey_client/lib/core/theme/wiltkey_tokens.dart → Themes & Tokens
  • [✓] wiltkey_client/lib/core/theme/wiltkey_components.dart → Themes & Tokens
  • [✓] wiltkey_client/lib/core/theme/theme_registry.dart → Themes & Tokens
Networking & Background Services
  • [✓] wiltkey_client/lib/core/notifications/background_handler.dart → Notifications & BG
  • [✓] wiltkey_client/lib/core/notifications/notification_service.dart → Notifications & BG
  • [✓] wiltkey_client/lib/core/notifications/pending_inbox.dart → Notifications & BG
  • [✓] wiltkey_client/lib/core/localization/locale_controller.dart → Localization
  • [✓] wiltkey_client/lib/features/proximity/controllers/ble_pairing_manager.dart → BLE Sync & Pairing
Go Relay Server

🛠️ Feature Mapping & Mechanics

Validation status of key protocol mechanics and custom app requirements.

Protocol & Logic Coverage Checkpoints
  • [✓] OTP Counter Math: Counters, seed hashing, SHA-256 counter mode pad expansion (128KB chunks) → Encryption & OTP
  • [✓] Forward Secrecy: Absolute keystream offset markers stashed within envelopes → Encryption & OTP
  • [✓] Reuse Invariant: Prevention of pad byte reuse and forward-only tracking → Encryption & OTP
  • [✓] Lanes Model: 1-on-1 partitioned incoming/outgoing lanes → 1-on-1 Lanes
  • [✓] Optimistic UI: Pending message bubble rendering with unique client-generated txIds → 1-on-1 Lanes
  • [✓] Failed-Send Rollback: Auto-refunding offset values during send failures → 1-on-1 Lanes
  • [✓] Byte Borrowing: KEystream borrowing via disjoint multi-range grants → 1-on-1 Lanes
  • [✓] Group Geometry: Shared pad geometry (Info Lane at offset 0, Member Lanes at 1MB+) → Group Shared Pad
  • [✓] Slot Assignment: Group slot allocation distributed over BLE handshake → Group Shared Pad
  • [✓] Full-Mesh Delivery: Spoke-to-spoke individual envelope encryption and resync → Group Shared Pad
  • [✓] BLE Handshake: Advertising, scanning, pairing challenge-responses → BLE Sync & Pairing
  • [✓] Streaming Modes: Instant (WebSocket stream) vs Low Power (polling signatures) → Notifications & BG
  • [✓] Pending Inbox buffering: Flat JSONL buffering to bypass database locks in background → Notifications & BG
  • [✓] Lock Cryptography: PBKDF-like SHA-256 key derivation with 5000 iterations → PIN & Security Lock
  • [✓] Biometric key stash: Fingerprint master key decryption → PIN & Security Lock
  • [✓] Android secure flag: Blocking screenshot captures → PIN & Security Lock
  • [✓] Nukes sequences: Local wipe, remote 1-on-1 nuke, full-mesh group nuke → Chat Lifecycle