Skip to content

harness: fix what you find, read the kernel source, check the running core, read the commit - #798

Merged
lneto merged 2 commits into
masterfrom
claude_harness_defects
Sep 8, 2026
Merged

lneto merged 2 commits into
masterfrom
claude_harness_defects

Conversation

@lneto

@lneto lneto commented Sep 6, 2026 •

Copy link
Copy Markdown
Contributor

Four lessons from the percpu round. Two pre-existing defects of an example were reported and left for the maintainer to decide on; a question about which CPU a hook runs on was answered by measuring rather than by reading the kernel source; a kernel thread left behind by a test pinned the core, so a reload kept the old one and an A/B answered for code that was never loaded; and debug instrumentation committed by accident reached a pull request.

AGENTS.md says a defect found on the way is fixed, that kernel behaviour is read in the source, how to tell whether the running core is the one just built, and that the commit itself is read before pushing.

@lneto lneto changed the title harness: a defect found on the way is fixed, and kernel behaviour is read in the source harness: fix what you find, read the kernel source, check the running core, read the commit Sep 6, 2026
@lneto
lneto force-pushed the claude_harness_defects branch from 2600f54 to 9fe3436 Compare September 7, 2026 14:19
lneto and others added 2 commits September 7, 2026 11:27
…d in the source

Two pre-existing defects of an example were reported and left for the
maintainer to decide on, who answered that defects are always fixed; and
a question about which CPU a hook runs on was answered by measuring
instead of by reading NF_HOOK's callers and the receive path.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
…it before pushing

A kernel thread left by a test pinned the core, so reload kept the old
one and an A/B answered for code that was never loaded; srcversion says
whether the running core is the built one. In the same round, debug
instrumentation committed by accident reached a pull request, because
only the working tree had been read.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@lneto
lneto force-pushed the claude_harness_defects branch from 9fe3436 to 214949e Compare September 7, 2026 14:28
@lneto
lneto merged commit 7973985 into master Sep 8, 2026
4 checks passed
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