-
❏ SQLite schema finalised with Idris2 ABI proofs
-
❏ Haskell megaparsec parser: basic intent extraction (task title, deadline, priority keywords)
-
❏ Rust ingest: udev detection + local archive with SHA-256 checksums
-
❏ Manual pipeline: ingest → transcribe → parse → store (no automation)
-
❏ Basic view generation (Markdown task list from SQLite)
-
❏ systemd service for automatic ingest on recorder insertion
-
❏ Whisper/Vosk integration for offline transcription
-
❏ Confidence scoring with configurable thresholds
-
❏ Review queue for low-confidence items
-
❏ Cloud backup with retry/quarantine
-
❏ Semantic deduplication (fuzzy matching + context)
-
❏ Priority scoring formula:
urgency * 0.5 + importance * 0.3 + deadline_proximity * 0.2 -
❏ Tentative deadline resolution ("after Easter" → flag for review)
-
❏ Contradictory update detection
-
❏ Ansible playbook for full local setup
-
❏ Terraform for cloud provisioning
-
❏ Full audit trail (audio hash → transcript → parse → task)
-
❏ Privacy hardening (redaction, encrypted storage)
-
❏ Containerised deployment via Stapeln