Skip to content

Allow reviewed verifier replacement with complete guarantee mapping - #75

Merged
kikashy merged 3 commits into
mainfrom
codex/verifier-adoption-69
Nov 1, 2026
Merged

kikashy merged 3 commits into
mainfrom
codex/verifier-adoption-69

Conversation

@kikashy

@kikashy kikashy commented Nov 1, 2026 •

Copy link
Copy Markdown
Contributor

Closes #69. Milestone: v0.14.0. One issue per PR; stack order #70 → #65 → #69 → #71.

Summary

Adoption guidance previously prohibited replacing a specialized verifier even when its guarantees were preserved. It now permits replacement only with a reviewed mapping of every old guarantee to a gate check, configuration entry or unchanged release job; an unmapped guarantee blocks replacement.

Public surface

Adoption policy documentation only.

Acceptance mapping

Requirement Implementation Verification Remaining gate
Allow equivalent replacement docs/adopting.md states complete guarantee mapping and uses the reviewed adoption example linked from #69 as the example Manual acceptance comparison and diff check Complete: reviewed, exact-head CI passed, merged and released in v0.14.0
Preserve gates Explicitly retains security/independent review, CI, merge/release approval and rollout authority Documentation review No consumer change authorized by this PR

Documentation only. No replacement verifier, consumer re-vendoring, version bump or release notes added.

Checks

PR head: fe23a5e2c0973f2f51e5145abf075ac1bc24725f.

The full checklist ran once on the clean integrated batch head a8ec74e2b70608d350f5cca740ec777fa41fdb7d, using scripts/dev/check.sh --all under the configured shared lock. No uncommitted diff. This batch result does not replace exact-head CI for the individual PRs. Only the machine-local interpreter path is omitted from this runner summary:

== check summary (dev.json) ==
PASS     diff-check               0s
PASS     local-paths              0s
PASS     agent-docs               0s
    sync-agent-docs: CLAUDE.md matches AGENTS.md
    sync-agent-docs: CLAUDE.md matches AGENTS.md
PASS     bash-n                   0s
    bash -n: every script parses
PASS     duplication              0s, python [interpreter path omitted] (Python 3.12.11)
    duplication: no duplicate block (at least 100 tokens over at least 10 lines, 23 files of python, shell)
PASS     json                     0s, python [interpreter path omitted] (Python 3.12.11)
    parsed 14 JSON documents
PASS     shellcheck               4s
    shellcheck: clean
PASS     tests                    110s
    449 passed, 0 failed
== 8 passed, 0 failed, 0 skipped, 0 not run ==

Review and release status

Authored, executed, independently reviewed and merged into main as 8df2ca06f177792fae32fde3abffca324f0b3c3f. Exact-head lint, tests and DCO passed before merge. Review record reports no findings; it identifies the same-vendor reviewer and actual model. The merged tree exactly matches the reviewed candidate. Published in v0.14.0; release verification record. Consumer rollout remains a separate gate.

Sign-off

Commits carry the repository-required sign-off.

Signed-off-by: kikashy <kikashy@hotmail.com>
Signed-off-by: kikashy <kikashy@hotmail.com>
Signed-off-by: kikashy <kikashy@hotmail.com>
@kikashy kikashy added this to the v0.14.0 milestone Nov 1, 2026 — with ChatGPT Codex Connector
@kikashy kikashy self-assigned this Nov 1, 2026
Base automatically changed from codex/rss-session-65 to main November 1, 2026 13:54

kikashy commented Nov 1, 2026

Copy link
Copy Markdown
Contributor Author

PR #75 — independent narrow review

Reviewed PR #75, addressing issue #69.

  • Head: fe23a5e2c0973f2f51e5145abf075ac1bc24725f
  • Base: 4a99e4e0ed3275913319d41ec95df99badbe4f7f
  • Reviewer: OpenAI / gpt-6.1-sol / medium. Independent reviewer session; same-vendor review, not cross-vendor.

Findings: none.

The exact diff changes only docs/adopting.md. It satisfies the issue by permitting verifier replacement only through reviewed adoption work that maps every previous guarantee to a gate check, configuration entry or unchanged release job. Unmapped guarantees explicitly block replacement, and passing kit tests alone does not establish adopter equivalence.

The text retains refusal behavior, publication gates, independent and security review, exact-head CI, and merge/release approvals. It grants no consumer rollout authorization. The referenced adoption record supports the example’s stated guarantee mapping.

Evidence: read the issue and its coordination comment, applicable repository instructions and operating policy, complete per-PR diff, surrounding adoption guidance, and referenced example record. Reused verified green lint, tests and DCO evidence from CI run 41312855680 at the reviewed head.

Limits: documentation review establishes the permission’s conditions, not equivalence for any future adopter. No broad checks were repeated, and no tracked files or Git state were changed.

Disposition:

Finding Action
None Review complete; exact-head CI and DCO passed. Ready for the authorized merge.

@kikashy
kikashy marked this pull request as ready for review November 1, 2026 13:55
@kikashy
kikashy merged commit 8df2ca0 into main Nov 1, 2026
3 checks passed
@kikashy
kikashy deleted the codex/verifier-adoption-69 branch November 1, 2026 13:55
@github-actions

github-actions Bot commented Nov 1, 2026

Copy link
Copy Markdown

🎉 Thank you for your contribution to Judgment Pack!

If you’d like another task, choose a path that interests you:

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.

docs/adopting.md: allow an adopter to replace a specialized verifier with the kit's gate when no guarantee is lost

1 participant