Skip to content

Close the repository at a baseline - #6

Merged
ebt55 merged 1 commit into
mainfrom
claude/close-baseline
Sep 6, 2026
Merged

ebt55 merged 1 commit into
mainfrom
claude/close-baseline

Conversation

@ebt55

@ebt55 ebt55 commented Sep 6, 2026

Copy link
Copy Markdown
Owner

Replaces the work-in-progress banner with a closing statement: the repository was closed at a baseline on 2026-09-06 and is kept for review, the results stand with the bounds stated in the README, and any further work lands as a new version. The three bounds under the banner are unchanged, and docs/EXPLAINED.md says the same. One "until today" in the gap-correction section now names the date of that correction.

Text only. README and explainer tests green, build.py --check clean. The merge commit is the one to tag as the baseline.

🤖 Generated with Claude Code

The README's status banner no longer says the repository is a work in
progress that will change without notice. It says the repository was closed
at a baseline on 2026-09-06 and is kept for review, that the results stand
with the bounds stated in the file, and that any further work lands as a new
version. The three bounds under the banner are unchanged. One sentence in the
gap-correction section said "until today" and now names the date that
correction was made, 2026-08-27, since "today" stopped being true the day
after it was written.

docs/EXPLAINED.md says the same under "What the project is for".

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Copilot AI lite review requested due to automatic review settings September 6, 2026 13:51

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@ebt55
ebt55 merged commit 3bd5afe into main Sep 6, 2026
2 checks passed
@ebt55
ebt55 deleted the claude/close-baseline branch September 6, 2026 13:57
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.

2 participants