Releases: hyperpolymath/presswerk
Releases · hyperpolymath/presswerk
Presswerk v0.1.0 — Initial Release
Presswerk v0.1.0 — High-Assurance Local Print Router/Server
First release of Presswerk, a cross-platform mobile app (iOS + Android) that discovers network printers, manages print jobs, processes documents, and exposes your phone as a network print server.
Highlights
- Full IPP/1.1 Server — 2,170-line RFC 8010/8011 compliant implementation with mDNS/DNS-SD advertisement
- IPP Client — Print-Job, Get-Printer-Attributes, Get-Jobs, Cancel-Job operations
- mDNS Printer Discovery — Browse for
_ipp._tcp.local.and_ipps._tcp.local.printers - Document Processing — PDF read/merge/split/rotate/crop, image resize/enhance, scan-to-PDF with OCR
- Scanning Pipeline — Canny edge detection, Hough lines, perspective correction, binarisation, pure-Rust OCR (ocrs)
- Encrypted Storage — age (X25519) encryption at rest for all local data
- Audit Trail — Append-only encrypted SQLite log of every operation
- Formal Verification — 5 Idris2 ABI proofs (0 Admitted, 0 believe_me) + Zig FFI
- Dioxus 0.7 UI — 10-page mobile app with bottom tab navigation
Stats
| Metric | Value |
|---|---|
| Rust files | 46 |
| Rust lines | 10,749 |
| Unit tests | 68 |
| Benchmarks | 7 (criterion) |
| Workflows | 21 (GitHub Actions) |
| Clippy warnings | 0 |
| Audit vulnerabilities | 0 |
| Critical findings | 0 |
Architecture
6-crate Rust workspace: presswerk-core → presswerk-security → presswerk-document → presswerk-print → presswerk-bridge → presswerk-app
Container
podman build -f Containerfile -t presswerk:latest .
podman run --rm -p 631:631 -v presswerk-data:/var/lib/presswerk presswerk:latest
selur seal presswerk:latest
cerro-torre sign presswerk:latestSecurity
- Hyperpolymath Security Standard v1.0 Trustfile (7-step verification)
- All
unsafeblocks document the Idris2 proof that justifies them - No banned patterns (Admitted, believe_me, transmute, unsafePerformIO)
- Content-addressed document storage (SHA-256 deduplication)