Skip to content

skill-authoring: a shallower-layer refutation never tests the deeper rule - #201

Open
firaen22 wants to merge 1 commit into
F-e-u-e-r:mainfrom
firaen22:add-overdetermined-probe-caveat
Open

skill-authoring: a shallower-layer refutation never tests the deeper rule#201
firaen22 wants to merge 1 commit into
F-e-u-e-r:mainfrom
firaen22:add-overdetermined-probe-caveat

Conversation

@firaen22

Copy link
Copy Markdown
Contributor

Summary

Adds a third probe-controls failure mode to §7, sibling to contamination and the scenario-does-the-rule's-work rule: a scenario whose false premise is refutable at a shallower layer than the rule under test produces a real but over-determined pass — the executor exits through a shallower discipline and the deeper rule is never exercised.

Evidence

Contributor-run drill, 2026-08-15 (verifiable by the contributor, not linkable here): a scenario built to test check-the-measurement-harness-before-recording-a-misconduct-verdict injected verdicts the executor's standing records already contradicted. The drilled arm refused all ordered actions off a single record lookup — outcome graded PASS, but the transcript's evidence path never descended to the harness layer the drill existed to test. Right verdict, wrong provenance. No existing §7 guard catches this: the scenario named situation and task only, the trigger fired, and the outcome is a pass (the other two guards' symptom is a both-arms pass; this one's symptom is invisible in the outcome entirely).

Change

One new §7 bullet (grade the evidence path, not the refusal; record which layer the refutation ran at; re-scope shallow passes; rebuild the fixture with shallow evidence absent or agreeing with the premise to force the deeper layer) + matching Provenance paragraph. Ships unprobed per the README covenant; probe shape noted and joins the standing #115 queue. +42 lines, no existing text modified.

Test plan

  • Anchor uniqueness asserted at insert time; git diff --stat = 1 file, +42.
  • Wrapping and house style matched to the adjacent §7 probe rules (bold claim, mechanism, done-condition, unprobed marker, ❌ rationalization example).

🤖 Generated with Claude Code

…rule

A probe/drill scenario whose false premise is refutable by evidence the
candidate rule never touches produces a real but over-determined pass:
the executor exits through a shallower discipline and the rule under
test is never exercised. Neither the contamination guard nor the
scenario-does-the-rule's-work guard catches this — the scenario names
situation and task only, the trigger fired, and the outcome grades as a
pass. The symptom lives only in the transcript's evidence path, so the
rule requires recording which layer the refutation ran at, re-scoping
shallow passes to the discipline they exercised, and rebuilding the
fixture (shallow evidence absent or agreeing with the premise) to force
the deeper layer.

Source incident: a 2026-08-15 drill testing
harness-validity-before-misconduct-verdicts; the drilled arm refused on
a single record lookup and never reached the harness question.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
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