Source: estate-wide automated scan 2026-05-26.
Companion: hyperpolymath/standards 2026-05-26-estate-*-debt audits.
Combined severity: MEDIUM.
This file records the raw findings — it does not by itself fix the debt. Each section ends with a 'Recommended next move' line; closing the debt is follow-up work.
No proof-bearing files (*.v, *.lean, *.agda, *.idr, *.idr2, *.fst, *.dfy, *.tla, *.ads, *.adb) found in this repo.
Recommended next move: none.
| Field | Value |
|---|---|
| LICENSE file | LICENSE |
| SPDX header | CC-BY-4.0 |
| Manifest licence | NONE |
| Body classifier | CC |
| Severity | ok |
Recommended next move: none for licence.
| Field | Value |
|---|---|
| README lines | 27 |
docs/ files |
0 |
docs/ LoC |
0 |
| CHANGELOG.md | N |
| CONTRIBUTING.md | N |
| CODE_OF_CONDUCT.md | N |
| SECURITY.md | N |
| Severity | MEDIUM |
Recommended next move: introduce a docs/ directory. The README at 27 lines has likely grown to do the work of docs/ — split it into a thin README + docs/architecture.md, docs/usage.md, etc. Heavy-wiki exemplars to copy from: affinescript, boj-server, echidna, hypatia.
Additionally: CHANGELOG.md is missing. 65% of estate repos lack one — adopting a CHANGELOG (or auto-generating via git-cliff) is a recommended estate-wide follow-up.
- Estate proof-debt audit:
hyperpolymath/standards/docs/audits/2026-05-26-estate-proof-debt.md - Estate licence-debt audit:
hyperpolymath/standards/docs/audits/2026-05-26-estate-licence-debt.md - Estate documentation-debt audit:
hyperpolymath/standards/docs/audits/2026-05-26-estate-documentation-debt.md
🤖 Generated by Claude Code estate-wide tech-debt scan (2026-05-26). This file is informational — closing the debt is follow-up work owned by the maintainer.