Skip to content

Correct the no-CI claim in AGENTS.md, and document 0.2.0 and the check - #2

Merged
aarora79 merged 1 commit into
mainfrom
docs-ci-and-020
Sep 20, 2026
Merged

aarora79 merged 1 commit into
mainfrom
docs-ci-and-020

Conversation

@aarora79

Copy link
Copy Markdown
Owner

AGENTS.md said the repo has no CI, which stopped being true with #1. The Testing instructions section now names the check, its bar and what it fails on.

Fixing that sentence moved the score, five runs before and after: test_commands 0.732 to 0.904, testing 1.6 / 2 at confidence 0.46 to 1.80 / 2 at confidence 0.69, readiness 0.9193 to 0.9402. Spread across repeat runs is 0.01 on readiness, so this is signal.

The check below scores the edited file, which makes this pull request its own evidence.

AGENTS.md said "The repo has no test suite and no CI", which stopped being true
when the workflow landed. The Testing instructions section now names the check,
the bar and what it fails on, and the closing line says CI covers that and
nothing else.

That sentence was the file's weakest point, and fixing it moved the numbers.
Five runs before and after, same binary:

- test_commands 0.732 -> 0.904
- testing 1.6 / 2 at confidence 0.46 -> 1.80 / 2 at confidence 0.69
- readiness 0.9193 -> 0.9402

The within-side spread is 0.01 on readiness and 0.06 on a Noul, so these are
real, unlike the key-placeholder edit that moved nothing. The ambiguity was in
the file: it listed five commands and then said there was no CI.

Docs also catch up with the release:

- go/README.md points at 0.2.0 everywhere, records that it came from 2d28560 in
  a clean clone, and says why the minor version moved (0.1.0 has no deadband).
- Both READMEs carry the workflow as the worked example, with the measured run:
  checksum ok, readiness 0.93, 3,109 input tokens, 641 ms on a GitHub runner,
  and exit code 2 with "readiness 0.92 is under the 0.99 bar" when a throwaway
  commit raised the bar.
@aarora79
aarora79 merged commit aa9dad1 into main Sep 20, 2026
1 check passed
@aarora79
aarora79 deleted the docs-ci-and-020 branch September 20, 2026 00:29
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