┌─────────────────────────────────────────┐
│ MOBILE USER │
│ (iOS / Android / Desktop) │
└───────────────────┬─────────────────────┘
│
▼
┌─────────────────────────────────────────┐
│ DIOXUS APP LAYER │
│ (Pure Rust UI, 10 Pages, State) │
└──────────┬───────────────────┬──────────┘
│ │
▼ ▼
┌───────────────────────┐ ┌────────────────────────────────┐
│ CORE SERVICES (RUST) │ │ SECURITY & VERIF │
│ - Print (IPP/LPR) │ │ - Idris2 ABI (Proofs) │
│ - Document (PDF/OCR) │ │ - Encrypted Storage (age) │
│ - Bridge (iOS/Android)│ │ - Audit Trail (SQLite) │
└──────────┬────────────┘ └──────────┬─────────────────────┘
│ │
└────────────┬─────────────┘
▼
┌─────────────────────────────────────────┐
│ INTERFACE LAYER (FFI) │
│ ┌───────────┐ ┌───────────────────┐ │
│ │ Zig FFI │ │ C ABI Bridge │ │
│ │ (System) │ │ (Shared Libs) │ │
│ └─────┬─────┘ └────────┬──────────┘ │
└────────│─────────────────│──────────────┘
│ │
▼ ▼
┌─────────────────────────────────────────┐
│ NETWORK PRINTERS │
│ (mDNS, SNMP, IPP, LPR, TCP) │
└─────────────────────────────────────────┘
┌─────────────────────────────────────────┐
│ REPO INFRASTRUCTURE │
│ Justfile Automation .machine_readable/ │
│ Cargo Workspace 0-AI-MANIFEST.a2ml │
│ Groove Protocol .well-known/groove/ │
└─────────────────────────────────────────┘
COMPONENT STATUS NOTES ───────────────────────────────── ────────────────── ───────────────────────────────── CORE APP (DIOXUS) Dioxus UI (presswerk-app) ██████████ 100% 10 pages, mobile-native stable Print Engine (presswerk-print) ██████████ 100% RFC 8010/8011 client active Document Ops (presswerk-doc) ██████████ 100% PDF/Image/OCR stable Bridge (iOS objc2 / Android JNI) ██████████ 100% Native FFI verified SECURITY & PROOFS Idris2 ABI (5 Proof Files) ██████████ 100% 0 Admitted, 0 believe_me Encrypted Storage (age) ██████████ 100% X25519 at rest stable Audit Trail (Append-only) ██████████ 100% Encrypted SQLite verified Zig FFI Bridge ██████████ 100% C-compatible implementation REPO INFRASTRUCTURE Justfile Automation ██████████ 100% Standard build/verify tasks .machine_readable/ ██████████ 100% STATE tracking active Test Suite (68 passing) ██████████ 100% High core logic coverage ───────────────────────────────────────────────────────────────────────────── OVERALL: ██████████ 100% v1.0.0 Production Ready
Idris2 ABI ──────► Zig FFI Bridge ──────► Rust Bridge ──────► Native UI
│ │ │ │
▼ ▼ ▼ ▼
Protocol Proof ──► Print Engine ───────► Discovery ────────► Network
This file is maintained by both humans and AI agents. When updating:
-
After completing a component: Change its bar and percentage
-
After adding a component: Add a new row in the appropriate section
-
After architectural changes: Update the ASCII diagram
-
Date: Update the
Last updatedcomment at the top of this file
Progress bars use: █ (filled) and ░ (empty), 10 characters wide.
Percentages: 0%, 10%, 20%, … 100% (in 10% increments).