Repository navigation
Allow reviewed verifier replacement with complete guarantee mapping - #75
Conversation
Signed-off-by: kikashy <kikashy@hotmail.com>
Signed-off-by: kikashy <kikashy@hotmail.com>
Signed-off-by: kikashy <kikashy@hotmail.com>
PR #75 — independent narrow reviewReviewed PR #75, addressing issue #69.
Findings: none. The exact diff changes only 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 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:
|
|
🎉 Thank you for your contribution to Judgment Pack! If you’d like another task, choose a path that interests you: |
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
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, usingscripts/dev/check.sh --allunder 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:Review and release status
Authored, executed, independently reviewed and merged into
mainas8df2ca06f177792fae32fde3abffca324f0b3c3f. 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.