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 | MPL-2.0 |
| Manifest licence | NONE |
| Body classifier | Palimp-MPL-2.0 |
| Severity | ok |
Recommended next move: none for licence.
| Field | Value |
|---|---|
| README lines | 424 |
docs/ files |
2 |
docs/ LoC |
531 |
| CHANGELOG.md | Y |
| CONTRIBUTING.md | Y |
| CODE_OF_CONDUCT.md | Y |
| SECURITY.md | Y |
| Severity | MEDIUM |
Recommended next move: introduce a docs/ directory. The README at 424 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.
- 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.