-
Notifications
You must be signed in to change notification settings - Fork 0
Home
hyperpolymath edited this page Jun 7, 2026
·
3 revisions
This wiki serves as a single-page orientation hub for the paint.type project. To prevent documentation drift, the Single Source of Truth remains the in-repo documentation.
| Document | Purpose |
|---|---|
| README.adoc | Project overview, status badges, and quick start. |
| EXPLAINME.adoc | Comprehensive repository structure guide. |
| TOPOLOGY.md | Architecture topology and component relationships. |
| ROADMAP.adoc | Milestone plan and future development phases. |
| READINESS.md | Component Readiness Grade (CRG) assessment. |
| SECURITY.md | Security policy and reporting instructions. |
| CONTRIBUTING.md | How to contribute to the project. |
| Document | Purpose |
|---|---|
| PROOF-NEEDS.md | Formally verified property requirements. |
| PROOF-STATUS.md | Current verification coverage and gap analysis. |
- Users: QUICKSTART-USER.adoc
- Developers: QUICKSTART-DEV.adoc
- Maintainers: QUICKSTART-MAINTAINER.adoc
- Native Core: src/paint_core (Rust)
- Verified ABI: src/interface (Idris2/Zig)
- Desktop Shell: third_party/gossamer (AffineScript)
Note: This page is a routing hub. If you find a broken link or outdated information, please file an issue in the main repository.