// SPDX-License-Identifier: CC-BY-SA-4.0
// SPDX-FileCopyrightText: 2024-2026 hyperpolymath (Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>)
= Tech-Debt Audit — affinescript — 2026-05-26

*Source:* estate-wide automated scan 2026-05-26. *Companion:*
https://github.com/hyperpolymath/standards/tree/main/docs/audits[`hyperpolymath/standards`
2026-05-26-estate-++*++-debt audits]. *Combined severity:* `2026-05-26`.

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.

== 1. Proof debt

Scanner counted the following markers in proof-bearing files of this
repo:

....
files=  593 | Coq-Axm/Adm=   0 | Lean-srry/ax=   0 | Agda-pst=   0 | Idr-blv=   0 | Idr-prtl=   0 | Fstr-asm=  0 | TODO=  0 | Unsafe=  0
....

*Total markers:* 0. *Severity:* `++>++00`.

*Recommended next move:* none — no proof-debt markers detected.

== 2. Licence debt

[cols=",",options="header",]
|===
|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.

== 3. Documentation debt

[cols=",",options="header",]
|===
|Field |Value
|README lines |651
|`docs/` files |91
|`docs/` LoC |26832
|CHANGELOG.md |N
|CONTRIBUTING.md |Y
|CODE++_++OF++_++CONDUCT.md |Y
|SECURITY.md |Y
|Severity |`readme=651 docs=91/26832`
|===

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.

== Cross-references

* 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.
