Skip to content

docs: retire STATUS.md overclaim; drop stray AGPL licence text - #72

Merged
hyperpolymath merged 1 commit into
mainfrom
worktree-jtv-lang-status-fix
Jul 27, 2026
Merged

docs: retire STATUS.md overclaim; drop stray AGPL licence text#72
hyperpolymath merged 1 commit into
mainfrom
worktree-jtv-lang-status-fix

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

What

Two documentation/licensing corrections found during a JtV sitrep. No functional or proof changes.

1. Remove STATUS.md

It claimed "100% Complete — Production Ready" and pointed readers at README_COMPLETE.mda file that does not exist in the repository.

It also directly contradicted STATUS.adoc, which reports the accurate position: Alpha, self-graded B-, "verification chain still incomplete", 8 enumerated gaps.

This is not a new discovery by me — the repo already knew:

  • ROADMAP.adoc flags that "some documentation overstates implementation completeness (being corrected)".
  • ALIGNMENT-AFFINESCRIPT.adoc:79 names it: "The main gap. STATUS.md claims '100% Complete – Production Ready'".
  • The file itself was headed ⚠️ THIS FILE IS DEPRECATED.

Removing rather than editing, so STATUS.adoc is unambiguously canonical. CLAUDE.md's must-read list is repointed to STATUS.adoc so agent navigation doesn't break.

2. Remove LICENSES/AGPL-3.0-or-later.txt

Introduced by an estate sweep (sweep3: add license files and SPDX identifiers). It is unused and contradicts declared policy:

  • Cargo.tomllicense = "MPL-2.0"
  • LICENSING.md documents the canonical MPL-2.0 (code) / CC-BY-SA-4.0 (prose) pair
  • Zero files in the repo declare AGPL
  • .machine_readable/6a2/AGENTIC.a2ml states verbatim: "no AGPL (JtV code is MPL-2.0, docs CC-BY-SA-4.0)"

To be explicit: this is a stray licence text file, not a mis-stamp. No source file's licence changed, and no licence body was clobbered.

Verification

  • grep -rIn "STATUS\.md" — remaining hits are CHANGELOG.adoc (historical entry, correctly left alone) and ALIGNMENT-AFFINESCRIPT.adoc (prose analysing this very defect). The only live pointer, in CLAUDE.md, is updated.
  • grep -rIn "AGPL-3.0-or-later.txt" — no references.
  • No .rs, .lean, .idr, workflow, or manifest file touched.

Context: dev-notes/jtv-sitrep-2026-07-27.md.

🤖 Generated with Claude Code

STATUS.md claimed "100% Complete - Production Ready" and directed readers
to README_COMPLETE.md, which does not exist in the repository. It also
contradicted STATUS.adoc, which reports the accurate position (Alpha,
self-graded B-, verification chain incomplete, 8 known gaps).

ROADMAP.adoc already flags that "some documentation overstates
implementation completeness (being corrected)", and
ALIGNMENT-AFFINESCRIPT.adoc names this file as "the main gap". The file
self-labelled DEPRECATED. Removing it rather than editing it, so
STATUS.adoc is unambiguously canonical, and repointing the CLAUDE.md
must-read list accordingly.

Also removes LICENSES/AGPL-3.0-or-later.txt, introduced by an estate
sweep. No file in the repository declares AGPL; Cargo.toml declares
MPL-2.0 and LICENSING.md documents the MPL-2.0 (code) / CC-BY-SA-4.0
(prose) pair. The repo's own policy in .machine_readable/6a2/AGENTIC.a2ml
states "no AGPL (JtV code is MPL-2.0, docs CC-BY-SA-4.0)", so the file
contradicted declared policy.

No functional or proof changes.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@hyperpolymath

Copy link
Copy Markdown
Owner Author

Note on the two red checks — pre-existing, not caused by this PR.

Validate A2ML manifests and Validate K9 contracts fail because the actions they reference no longer exist:

.github/workflows/dogfood-gate.yml:42  hyperpolymath/a2ml-validate-action@5468b7f
.github/workflows/dogfood-gate.yml:91  hyperpolymath/k9-validate-action@08958c9
$ gh repo view hyperpolymath/k9-validate-action
GraphQL: Could not resolve to a Repository with the name 'hyperpolymath/k9-validate-action'.
$ gh repo view hyperpolymath/a2ml-validate-action
GraphQL: Could not resolve to a Repository ...

Four independent reasons this is not attributable to the changes here:

  1. Both jobs fail at the Set up job step — before any repository content is checked out or examined.
  2. It reproduces on main: Dogfood Gate run 30217176551 (2026-07-26) failed, predating this branch. History on main is success 07-21, success 07-23, failure 07-26.
  3. No manifest references either removed file — grep over *.a2ml, *.ncl, *.scm for STATUS.md / AGPL-3.0-or-later returns nothing.
  4. This PR touches only CLAUDE.md, STATUS.md, LICENSES/AGPL-3.0-or-later.txt — no workflow, manifest, or source file.

The fix is upstream (restore/rename the two action repos, or retire the two jobs) and is deliberately out of scope here.

Everything else on this PR is green, including Hypatia, Governance, test, and Check/Test on ubuntu + macos.

@hyperpolymath
hyperpolymath marked this pull request as ready for review July 27, 2026 13:32
@hyperpolymath
hyperpolymath merged commit 493e360 into main Jul 27, 2026
28 of 30 checks passed
@hyperpolymath
hyperpolymath deleted the worktree-jtv-lang-status-fix branch July 27, 2026 13:32
hyperpolymath added a commit that referenced this pull request Jul 28, 2026
Follow-up to #72, same class of defect.

`CLAUDE.md`'s must-read list pointed at **`README_JTV.md`, which does
not exist**. The main README is `README.adoc`.

## Full sweep of that list

I swept every backtick-quoted path in the must-read list rather than
fixing just the one I tripped over:

| Entry | Status |
|---|---|
| `README_JTV.md` | **DEAD** → fixed to `README.adoc` |
| `STATUS.adoc` | OK (fixed in #72) |
| `docs/GRAMMAR_EVOLUTION.md` | OK |
| `docs/QUANTUM_VISION.md` | OK |
| `Justfile` | OK |
| `Cargo.lock` | OK |
| `target/` | build directory — expected absent until a build runs, not
a defect |

Relative markdown links in `README.adoc`, `LICENSING.md` and
`CONTRIBUTING.md` were also swept: no dead links.

One line changed. No source, proof, workflow, or manifest files touched.

Context: `dev-notes/jtv-sitrep-2026-07-27.md`.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-authored-by: Claude Opus 5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant