-
Notifications
You must be signed in to change notification settings - Fork 0
Home
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.
Read 0-AI-MANIFEST.a2ml first — it is the machine-readable, read-first router into everything else (status, limits, next unblocked task) and tells you what's already done so you don't redo it. Then check AFFIRMATION.adoc (below) before trusting any status claim in README/ROADMAP — it's the one document guaranteed to be a live-verified snapshot, not aspiration.
AFFIRMATION.adoc — a dated, signed, no-overclaim snapshot of exactly what was re-run and confirmed at one commit (proofs typechecked, tests passed, CI state), and what is not claimed. If README/ROADMAP/CI badges ever seem to disagree with reality, this file — re-run fresh, not this wiki page — is the tiebreaker.
| Document | Purpose |
|---|---|
| README.adoc | Project overview, status badges, and quick start. |
| EXPLAINME.adoc | Comprehensive repository structure guide. |
| TOPOLOGY.adoc | Architecture topology and component relationships. |
| ROADMAP.adoc | Milestone plan and future development phases. |
| READINESS.adoc | Component Readiness Grade (CRG) assessment. |
| SECURITY.md | Security policy and reporting instructions. |
| CONTRIBUTING.md | How to contribute to the project. |
| Document | Purpose |
|---|---|
| PROOF-NEEDS.adoc | Formally verified property requirements. |
| PROOF-STATUS.adoc | 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.