Skip to content

Commit ff1a077

Browse files
committed
fix(docs): resolve the dangling references and the code-scanning alert on this PR
Remaining CI failures on this PR, triaged to source rather than to name. "HYPATIA" IS NOT A WORKFLOW Triaged first because it looked like one. No workflow or job in this repository is named `Hypatia`; the check-run comes from the GitHub Advanced Security app, i.e. it is the code-scanning gate, and it failed because the SARIF upload from this PR contained **1 new alert in code changed by this pull request**: .machine_readable/rsr-profile.a2ml warning: doc references `src/interface/` but no such directory exists in the tree (likely surviving a directory rename) A true positive against my own new file, not a false one. The directory really is absent (0 tracked files under src/interface/ in the canon), and the sentence was declaring *that absence* — "no C-ABI seam and no formally specified ABI; src/interface/ absent" — but written so that it read as a live path reference. Reworded to state the same fact without the bare path token. The alert was not dismissed and no scanning config was touched: the text is simply unambiguous now about what it means. TWO MORE DANGLING REFERENCES, FOUND WHILE LOOKING Chasing that alert meant checking every path this PR's files point at, and two pointed at a document that was never committed — `docs/binding/04-EXECUTION-*` does not exist, and neither does `docs/binding/`: .machine_readable/rsr-profile.a2ml:37 "see docs/binding/04-EXECUTION-PLAN.md, ruling R-B" docs/AFFIRMATION.adoc:54 link:../binding/04-EXECUTION-PLAN.md[...] scripts/check-canon-lockstep.sh:98 "# See docs/binding/04-EXECUTION-PLAN.md." These were references to a plan that existed only in conversation. A document that cites a non-existent authority is worse than one that cites none: it reads as though the argument has been made somewhere. Repointed at what actually exists and actually says it: * the dialect note -> docs/AUDIT.adoc finding F3, which records that the law is authored in a superseded dialect while DEED is itself an unratified DRAFT * the ordering rule -> canon.lock [canon.lockstep], which is where "spine-adopts-then-canon-releases" is actually stated * AFFIRMATION's "We intend" list -> docs/AUDIT.adoc, which enumerates the release conditions those actions serve A scan of every cross-reference in every .adoc and .a2ml this PR touches now resolves; earlier it did not. NO LOCK BUMP REQUIRED `.machine_readable/rsr-profile.a2ml` is not named in canon.lock [canon.artifacts] (criteria, gates, applicability, lifecycle, constitution), so a comment edit in it is not a canon change and Gate A assertion 2 stays satisfied. GATES AFTER Gate A, --canon standards -> passed 8 failed 0 skipped 2 GATE A PASSED Gate A, --canon . -> passed 8 failed 0 skipped 2 GATE A PASSED check-rsr-profile.sh . -> OK — scaffold matches declared capabilities check-standards-map.sh -> GATE D PASSED, entry_count = 120 (cherry picked from commit 236fcb8)
1 parent 41a6d7b commit ff1a077

3 files changed

Lines changed: 7 additions & 5 deletions

File tree

‎.machine_readable/rsr-profile.a2ml‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,8 @@
3434
// Dialect note: authored in the a2ml record dialect to match the shape
3535
// rsr-template-repo ships, because check-rsr-profile.sh's parser accepts it.
3636
// The .a2ml -> .deed conversion is estate task #64 and is deliberately NOT
37-
// attempted here; see docs/binding/04-EXECUTION-PLAN.md, ruling R-B.
37+
// attempted here; see docs/AUDIT.adoc — finding F3 records that the law is
38+
// authored in a superseded dialect while DEED is itself an unratified DRAFT.
3839
// ---------------------------------------------------------------------------
3940

4041
[rsr-profile]
@@ -93,7 +94,8 @@ omitted-rationale = "The canon defines conformance; it is not an instance of it.
9394
// — nothing consumes the canon as a library; it is consumed as a DOCUMENT
9495
// and as a pin (canon.lock), which is not the `library` capability
9596
// ffi / abi
96-
// — no C-ABI seam and no formally specified ABI; src/interface/ absent
97+
// — no C-ABI seam and no formally specified ABI; the interface directory
98+
// is absent from this tree
9799
// api-service
98100
// — no network daemon; the reusable workflows RUN on GitHub's runners,
99101
// they are not served BY this repo

‎docs/AFFIRMATION.adoc‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -50,8 +50,8 @@ Binding now. Each item is checkable against the anchor below.
5050

5151
== We intend
5252

53-
Committed next actions. **Not yet true.** Listed in execution order; see
54-
link:../binding/04-EXECUTION-PLAN.md[04-EXECUTION-PLAN.md].
53+
Committed next actions. **Not yet true.** Listed in execution order below; the
54+
release conditions they serve are enumerated in link:AUDIT.adoc[AUDIT.adoc].
5555

5656
. Resolve ruling *R-A*: `machine-readable/` or `.machine_readable/`. This repo
5757
uses the dotted form in 97 files; the spine's `root-allow.txt` and this

‎scripts/check-canon-lockstep.sh‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -95,7 +95,7 @@ skip() {
9595
# 1. land the canon change with 3/4/5 informational -> releases canon.lock
9696
# 2. land the spine's adoption against the released hashes
9797
# 3. turn --strict on, so drift is a hard failure from then on
98-
# See docs/binding/04-EXECUTION-PLAN.md.
98+
# See the [canon.lockstep] section of canon.lock, which states the order.
9999
#
100100
# softfail() — a REAL deviation. Promoted to a failure by --strict.
101101
softfail() {

0 commit comments

Comments
 (0)