Retire the serena tooling without retiring what the runs saw - #515
Merged
Conversation
The owner no longer uses the serena agent tooling, so the configuration that existed for it goes with it: the .gitignore entry, the manifest-test guard, and the task-YAML comments that named its noise. Where prose states a rule for future runs, the rule now names the class — agent tooling that drops files into a workspace — rather than one tool. The evidence keeps naming the directory. bench/results/ is untouched: the transcripts carry `.serena` because that is what was on disk when those runs ran. bench/PREREGISTRATION.md and bench/README.md keep reporting it where they report what a run saw, with a note that the tooling was retired on 2026-08-11 — rewriting them around a directory no recorded run encountered would make the preregistration describe a run that never happened, which is the defect class docs/SELF-AUDIT.md catalogues (#514). The released CHANGELOG entry is unchanged; a new one records the retirement. r-strayserena justified the ignore entry by the directory coming back in every worktree the server was pointed at. The server is no longer pointed at any, so the record no longer carries its weight and is superseded rather than edited. Supersedes: r-strayserena Ruled-out: rewriting the evidence documents to match the retirement | the transcripts and the preregistration report what the recorded runs saw, and a published claim the evidence does not support is the defect class docs/SELF-AUDIT.md exists to catalogue Ruled-out: keeping the ignore entry and the test guard as cheap insurance | the record that justified them said the directory comes back while the tool runs; it no longer runs, and a guard for a tool nobody uses guards nothing Ruled-out: editing r-strayserena in place | a record lives in the commit that declared it; retirement is a new record that names the old one Limit: the preregistration fixes claims before numbers exist, so what it says about the calibration cannot move to match later tree state Warn: bench/results/ and the historical prose in bench/README.md and bench/PREREGISTRATION.md name `.serena` on purpose -- that is what the recorded runs saw; do not clean those mentions up Blast: local Undo: easy Certainty: firm Record-Id: r-retireserena Verified: both tsconfigs typecheck clean; the second build leaves dist/ unchanged; bench/verify.mjs passes; the manifest, readme and readme-order suites pass 65/65 Verified: git grep finds `.serena` only under bench/results/ and in historical prose; nothing operational references it
CommitLore — record lintTrailers: clean — 1 commit in Active constraints for the paths this PR touchesLimits (46)
Ruled out (113)
Warnings (44)
Trailer violations fail this check. Active constraints are informational — they are what the repository already decided, not a verdict on this PR. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #514. The owner no longer uses the serena agent tooling, so its configuration comes out of the repository.
Two kinds of mention, handled differently on purpose.
Removed — configuration for a tool that is gone
.gitignoreentries, two benchmark task fixtures, and the guard intest/manifest.test.ts. Nothing here describes anything that happened; it describes what the repository expects to find, and it no longer expects to find it.Kept — what the recorded runs actually saw
bench/results/is untouched: 58 files still name.serena, because that is what was on disk during those runs.bench/PREREGISTRATION.mdandbench/README.mdkeep it too, where they report what a run encountered — with the retirement and its date noted beside them. A preregistration exists to fix claims before the numbers exist. Rewriting it to describe a noise-immunity check against a directory no recorded run ever met would make it describe a run that never happened, which is exactly the defect classdocs/SELF-AUDIT.mdcatalogues.Where the prose states a rule for future runs, it is generalised. That rule was never about serena specifically — it was about agent tooling dropping files into a workspace, which the next tool will do too.
The record
r-strayserenawas not edited. A record lives in the commit that declared it; retirement is a new record that names the old one and supersedes it.Verification
Package and bench typechecks clean,
bench/verify.mjspasses,distunchanged, 65 cases pass across the manifest and README suites.