Skip to content

docs: trim the README, disclose the LLM assistance, fix the canonical URL - #11

Merged
sotashimozono merged 1 commit into
mainfrom
docs/trim-and-disclose
Sep 5, 2026
Merged

docs: trim the README, disclose the LLM assistance, fix the canonical URL#11
sotashimozono merged 1 commit into
mainfrom
docs/trim-and-disclose

Conversation

@sotashimozono

Copy link
Copy Markdown
Member

The registry's LLM policy asks for two things this package did not do, and one review item was still unfixed.

1. No disclosure of generative-AI contribution

If your package contains substantial contributions from a generative AI tool, please disclose so with details in the README.

There was none. There is now, and it separates what is the maintainer's from what is assisted.

2. The README was long, and the policy asks that it not be

Avoid lengthy, verbose, and over-selling READMEs; review and trim down any documentation generated by an LLM. Being concise is a community value.

Measured against comparable packages:

words
ExperimentalAPI (before) 1372
Documenter.jl 285
Aqua.jl 163
ExperimentalAPI (after) 419

Everything cut has a home in the deployed docs — checked section by section, not assumed:

cut from README already in
"Why this cannot be a feature of Aqua" docs/src/index.md
"What this is not" docs/src/index.md
"What the audit cannot see" docs/src/checking.md
"Release decisions" docs/src/releases.md
"Declaring" / "Querying" docs/src/declaring.md, api.md
the cost table docs/src/observing.md

The motivation paragraph is a translation of what the maintainer wrote himself, not an argument composed here — the practice the reviewer recommended: write it in Japanese, then have it translated. The runnable example is unchanged and still executed by test/test_readme.jl.

3. The canonical URL was never fixed

Reported in review; still pointing at codes.sota-shimozono.com, which does not resolve. Measured:

https://codes.sota-shimozono.com/ExperimentalAPI.jl/stable/   000
https://qatlashub.github.io/ExperimentalAPI.jl/               200
https://qatlashub.github.io/ExperimentalAPI.jl/dev/           200
https://qatlashub.github.io/ExperimentalAPI.jl/stable/        404

/stable/ 404s because gh-pages holds only dev until a version is tagged. It is still the right canonical target — it materialises on the first release, and /dev/ is a moving target that should never be canonical. The comment in make.jl records the measurement rather than leaving a reader to rediscover it.

Closes #3

The extension blind spot has a workaround this package already uses on test_surface: declare the function and its docstring in the parent, let the extension add only the method. Said next to the bullet, in both places the bullet appears.

Suite: 540 pass, 149 broken, 0 failing.

🤖 Generated with Claude Code

… URL

The registry's LLM policy asks for two things this package did not do.

**Disclose substantial generative-AI contribution in the README.** There was no disclosure at
all. There is one now, and it separates what is the maintainer's from what is assisted.

**"Avoid lengthy, verbose, and over-selling READMEs; review and trim down any documentation
generated by an LLM."** Measured against comparable packages:

  ExperimentalAPI  1372 words   ->  419
  Documenter.jl     285
  Aqua.jl           163

Everything cut has a home in the deployed docs, checked section by section: the Aqua argument,
"what this is not", the audit's blind spots, release decisions and the declaring/querying walk
are all already written in `docs/src/`. The README now carries the motivation, the example that
runs, the one-line check, install, and links.

The motivation paragraph is a translation of what the maintainer wrote himself, rather than an
argument composed here — which is the practice the reviewer recommended: write it in Japanese,
then have it translated.

**The canonical URL was never fixed.** Reported in review, still pointing at
`codes.sota-shimozono.com`, which does not resolve — measured, 000. Now the live host. Measured
there too: `/` and `/dev/` return 200, `/stable/` returns 404 because `gh-pages` holds only `dev`
until a version is tagged. `/stable/` is still the right target and the comment says why, rather
than pointing `canonical` at a moving `/dev/`.

Closes #3: the extension blind spot has a workaround this package already uses on
`test_surface` — declare the function and its docstring in the parent, let the extension add only
the method. Said next to the bullet, in both places the bullet appears.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@sotashimozono sotashimozono self-assigned this Sep 4, 2026
@github-actions github-actions Bot added the documentation Improvements or additions to documentation label Sep 4, 2026
@github-actions

github-actions Bot commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

📚 Docs preview: https://codes.sota-shimozono.com/ExperimentalAPI.jl/previews/PR11/

(updates on each push to this PR)

@codecov

codecov Bot commented Sep 4, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@sotashimozono
sotashimozono merged commit c3b5639 into main Sep 5, 2026
13 checks passed
@sotashimozono
sotashimozono deleted the docs/trim-and-disclose branch September 5, 2026 08:04
sotashimozono added a commit that referenced this pull request Sep 5, 2026
`main` moved under this branch: #11 cut the README from 1372 words to 419 for the registry's LLM
policy, and #12 replaced the four required matrix contexts with one aggregate.

Three files conflicted, and the resolution is not "keep both halves" in any of them:

  * **README.md** — `main`'s trimmed version wins wholesale. Re-adding the long sections written
    here would undo the point of #11. What is added back is two things that are now *false*
    without them: `record` and `reach` did not exist when that README was written, and the closing
    line called `test/spec/` "the specification for the propagation and profiling work that is not
    built yet". 559 words, against the 1372 that #11 cut.
  * **src/audit.jl** and **docs/src/checking.md** — the extension blind spot has a workaround #11
    documented (declare the function in the parent, let the extension add only the method) and a
    report this branch added (`Audit.extensions`). Both are true, so both are said. The
    "methods on other packages' functions" bullet keeps this branch's version, because it stopped
    being a blind spot.

`docs/make.jl` and `.github/workflows/CI.yml` merged cleanly and correctly — #11's canonical URL
with this branch's page list, and #12's `all-tests` job with this branch's corrected runtime
comment.

Verified after the merge: `test_readme.jl`, `test_dogfood.jl`, `test_audit.jl`, the formatter, and
a full docs build.

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

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

The extension blind spot has a workaround the package already uses — say so next to the bullet

1 participant