Skip to content

docs: anchor contradictions to controls, and record what Phase 15b read today - #138

Merged
sindredg merged 2 commits into
mainfrom
docs/anchored-contradictions
Sep 22, 2026
Merged

sindredg merged 2 commits into
mainfrom
docs/anchored-contradictions

Conversation

@sindredg

Copy link
Copy Markdown
Owner

Two things.

1. Restores #135. That pull request was stacked on #133's branch. #133 was squash-merged into main first, so #135 then merged into the old branch and never reached main. Its commit is cherry-picked here unchanged: slice 13, the decision quality block in plan.md, and the README status.

2. Records ai-k8s#7 and today's Phase 15b reads.

  • Slice 14 in the Phase 15 worklog:
    • The prompt change that measured worse and was reverted.
    • The anchor check in code.
    • dev 16 of 18 and holdout 7 of 7 cases right every run, against 14 and 5 for the rules alone, with 0 false contradictions in 125 runs.
    • What is still wrong, and what to discount.
  • plan.md:
  • README.md: the status paragraph carries the new numbers.

Open in Phase 15b: sky's pin (#136), and Security Command Center scanning the new frontend and sky digests.

🤖 Generated with Claude Code

sindredg and others added 2 commits September 22, 2026 15:52
…ad today

Slice 14 records ai-k8s#7. An instruction to tighten contradictions measured
worse on the dev set and was reverted. A check in code, requiring a cited
control that applies to the finding's resource, took false contradictions
from 15 of 125 runs to 0 and cases right every run to 16 of 18 on dev and 7
of 7 on the sealed holdout, against 14 and 5 for the rules alone.

Phase 15b: the nginx re-pin and the Dependabot trigger are proven, and the
retired digests closed by themselves after about 14 hours.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@sindredg
sindredg merged commit 772af1b into main Sep 22, 2026
4 checks passed
@sindredg
sindredg deleted the docs/anchored-contradictions branch September 22, 2026 14:04
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