Skip to content

fix(ci): repair doc-truthing guard after #614's .md→.adoc migration #617

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 1 commit into from
Jun 21, 2026
+25 −16
Merged

fix(ci): repair doc-truthing guard after #614's .md→.adoc migration #617

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
23 changes: 16 additions & 7 deletions tools/check-doc-truthing.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -55,11 +55,14 @@ MATRIX="docs/CAPABILITY-MATRIX.adoc"

# Docs that historically over-claim and MUST carry a pointer back at $MATRIX
# (DOC-04). Each must mention CAPABILITY-MATRIX.adoc somewhere in its body.
# Listed as extension-less stems and resolved to whichever of .adoc/.md is
# present (.adoc preferred), so a .md<->.adoc migration (DOC-FORMAT) does not
# break this presence check the way a hard-coded extension would.
BANNERED_DOCS=(
"README.adoc"
"docs/architecture/BACKEND-IMPLEMENTATION.md"
"docs/reference/COMPILER-CAPABILITIES.md"
"docs/history/ALPHA-1-RELEASE-NOTES.md"
"README"
"docs/architecture/BACKEND-IMPLEMENTATION"
"docs/reference/COMPILER-CAPABILITIES"
"docs/history/ALPHA-1-RELEASE-NOTES"
)

# The machine-readable mirror (DOC-05): it follows the matrix, it does not
Expand Down Expand Up @@ -142,9 +145,15 @@ else
fi

# --- 2. Every over-claiming doc still points back at the matrix (DOC-04) -----
for doc in "${BANNERED_DOCS[@]}"; do
if [ ! -f "$doc" ]; then
note "ERROR: bannered doc is missing: $doc"
for stem in "${BANNERED_DOCS[@]}"; do
# Resolve the stem to whichever extension is present (.adoc preferred), so a
# .md<->.adoc migration does not trip the presence check.
doc=""
for ext in adoc md; do
if [ -f "$stem.$ext" ]; then doc="$stem.$ext"; break; fi
done
if [ -z "$doc" ]; then
note "ERROR: bannered doc is missing: $stem.{adoc,md}"
note " If it was intentionally removed, drop it from BANNERED_DOCS"
note " in this guard. Otherwise restore the file + its banner."
fail=1
Expand Down
18 changes: 9 additions & 9 deletions tools/doc-overclaims.allow
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,13 +11,13 @@
docs/ROADMAP.adoc * Production-ready toolchain
docs/ROADMAP.adoc |Production ready
docs/STATE-2026-05-26.adoc |*Phase 3 (Q3 2026)* |Production ready |*1.0* |requires Stage E (typed-wasm contract widening — cross-repo)
docs/architecture/BACKEND-IMPLEMENTATION.md > *production-ready*. One reference target (WASM); Deno-ESM/Node-CJS solid;
docs/architecture/BACKEND-IMPLEMENTATION.adoc _code-generators exist_, not _production-ready_. One reference target
docs/bindings-roadmap.adoc |Production backend default; pairs with SQLite for dev.
docs/guides/WHAT-MAKES-IT-BRILLIANT.md **Q: When will it be production-ready?**
docs/history/ALPHA-1-RELEASE-NOTES.md - Production-ready
docs/history/ALPHA-1-RELEASE-NOTES.md - Production-ready compiler
docs/history/PHASE3-ASSESSMENT.md - Row polymorphism is production-ready! ✅
docs/history/PHASE3-COMPLETE.md - **Production-ready** type system
docs/history/PHASE3-SESSION-SUMMARY.md - ✅ Row polymorphism is production-ready
docs/history/PHASE3-SESSION-SUMMARY.md | Row Polymorphism | 100% ✅ | Production ready |
docs/standards/ROADMAP.md This roadmap outlines the path from current state (lexer + parser) to a complete, production-ready language.
docs/guides/WHAT-MAKES-IT-BRILLIANT.adoc *Q: When will it be production-ready?* A: Aiming for compiler {plus}
docs/history/ALPHA-1-RELEASE-NOTES.adoc * Production-ready
docs/history/ALPHA-1-RELEASE-NOTES.adoc * Production-ready compiler
docs/history/PHASE3-ASSESSMENT.adoc *Good News:* - Row polymorphism is production-ready! ✅ - Effect
docs/history/PHASE3-COMPLETE.adoc *Lambda scope bug fixed* (bonus!) - *Production-ready* type system
docs/history/PHASE3-SESSION-SUMMARY.adoc Key accomplishments: - ✅ Row polymorphism is production-ready - ✅
docs/history/PHASE3-SESSION-SUMMARY.adoc |Row Polymorphism |100% ✅ |Production ready
docs/standards/ROADMAP.adoc to a complete, production-ready language.
Loading