Skip to content

Commit bdef9a0

Browse files
chore: remove nested duplicate trees (#76)
## Summary This removes two tracked duplicate trees, each nested inside the directory it copies: `verification/verification/` and `www/.well-known/.well-known/`. The removal was first part of the licence PR #74. It moved here so that #74 contains only the licence change and stays under CodeRabbit's 100-file review limit. The two PRs change no file in common, so they can merge in either order. ## Changes - **Deleted `verification/verification/`** (28 files), a copy of `verification/`. - **Deleted `www/.well-known/.well-known/`** (3 files), a copy of `www/.well-known/`. - Nothing else changes. 30 of the 31 files match their outer copy line for line, apart from SPDX and copyright lines. 15 of them carry the retired PMPL header. The 31st, `verification/verification/README.adoc`, also has a title line, `= Verification Pillar`. #74 adds that title and the copyright line to the outer `verification/README.adoc`. If this PR merges first, the outer README simply lacks the title until #74 lands; no content is lost. ## 📌 New pins - **Head SHA: `31fd364ba67f7497c715599b47cbb518357c76bb`** - None. No action `uses:`, `actions.lock`, lockfile or container digest is added or changed. ## RSR Quality Checklist ### Required - [ ] Tests pass: n/a. Only duplicate copies are deleted; no source, proof or test that is built or run changes. - [ ] Code is formatted: n/a, nothing is added. - [x] Linter is clean: no file is added or edited. - [x] No banned language patterns: nothing is added. - [ ] No `unsafe` blocks: n/a, no Rust changed. - [ ] No banned functions: n/a, no source or proofs added. - [ ] SPDX license headers: n/a, the PR only deletes files. - [x] No secrets or credentials. ### As Applicable - [ ] `.machine_readable/*.a2ml` updated: no. A2ML is retired. 9 of the deleted files are `.a2ml` duplicates (`verification/verification/0.1-AI-MANIFEST.a2ml` and one `0.2-AI-MANIFEST.a2ml` in each of its 8 subdirectories). Their outer copies are unchanged. - [ ] Documentation updated: n/a, no document refers to the deleted paths except the signed historical record below. - [ ] `TOPOLOGY.md`: n/a. - [ ] `CHANGELOG`: not updated, since only duplicates are removed. - [ ] New dependencies: none. - [ ] ABI/FFI: n/a. ## Testing - **Each deleted file was compared with its outer copy**, ignoring SPDX lines, copyright lines and bare `<!--` / `-->` lines. Result: 30 files have no difference. `verification/verification/README.adoc` differs only by its title line, which is described above. - Positive control: a copy of `verification/verification/proofs/0.2-AI-MANIFEST.a2ml` with one planted line reported 1 differing line. - Limit: the comparison is line-based. It shows that the outer copy keeps every non-licence line of the inner one. It says nothing about which licence header is correct, which is #74's subject. - **No dangling references:** `git grep -nE 'verification/verification|\.well-known/\.well-known' origin/main` matches only `docs/AFFIRMATION.adoc:213-214`, the signed affirmation that records this duplicate. It is left unchanged. - **No overlap with #74:** `comm -12` of the two PRs' file lists is empty. ## Red checks on this head - `governance / Actions lockfile verify` is red on `main` (`589e1be`) as well. It is fixed by #73 together with hyperpolymath/standards#1209, and this PR does not touch it. 🤖 Generated with [Claude Code](https://claude.com/claude-code) https://claude.ai/code/session_01GpUzjdhWFi26k6s7AWxYcf Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
1 parent 589e1be commit bdef9a0

31 files changed

Lines changed: 0 additions & 790 deletions

‎verification/verification/0.1-AI-MANIFEST.a2ml‎

Lines changed: 0 additions & 27 deletions
This file was deleted.

‎verification/verification/README.adoc‎

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎verification/verification/benchmarks/0.2-AI-MANIFEST.a2ml‎

Lines changed: 0 additions & 11 deletions
This file was deleted.

‎verification/verification/benchmarks/README.adoc‎

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎verification/verification/coverage/0.2-AI-MANIFEST.a2ml‎

Lines changed: 0 additions & 12 deletions
This file was deleted.

‎verification/verification/coverage/README.adoc‎

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎verification/verification/fuzzing/0.2-AI-MANIFEST.a2ml‎

Lines changed: 0 additions & 11 deletions
This file was deleted.

‎verification/verification/fuzzing/README.adoc‎

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎verification/verification/proofs/0.2-AI-MANIFEST.a2ml‎

Lines changed: 0 additions & 11 deletions
This file was deleted.

‎verification/verification/proofs/README.adoc‎

Lines changed: 0 additions & 60 deletions
This file was deleted.

0 commit comments

Comments
 (0)