Conversation
…ath — DOC SEED Appends Part V (§§52–61) to internal/installer/restore/contract.md. Authority gap discovered during PR-26-code-E srv3 destructive evidence run (2026-04-28): the dispatcher refused at G1/AuthorityNFTBan on a host whose precondition was the canonical "nftban-took-over-from-csf with no prior-record" state, blocking the destructive cycle from running on a real host. Auditor disposition (2026-04-28) approved Option A (narrow explicit-intent override); Options B (different host) and C (manual pre-mutation) rejected. Amendment 2 splits the existing G1/AuthorityNFTBan row into two sub-rows evaluated entirely within Group 1: - G1/AuthorityNFTBan/default — REFUSE, unchanged behavior for all flag patterns outside the candidate triple. - G1/AuthorityNFTBan/orphan-intent-candidate — delegates to the §54 evidence predicate; G1/AuthorityNFTBan/OrphanProceed on all-true, G1/EvidenceMismatch on any-false. The split is ENTIRELY within Group 1; no later group ever defeats a Group 1 outcome and §5 precedence is preserved. PROCEED row activates only for: AuthorityNFTBan + NoRecord + DirectAdmin + --panel-auto-takeover + --accept-orphan-nftban + ALL §54.1 evidence rows true → PROCEED PanelNative/csf Every other §6 G1 row remains REFUSE under all flag combinations. Adds new invariant INV-AMD2-EXPLICIT-INTENT-IS-NARROW (§52.5). §59 Q1 (flag name --accept-orphan-nftban) and Q2 (AmbiguityOrphanNFTBan REFUSE) locked by auditor disposition 2026-04-28; Q3–Q7 remain open. Doc-only commit. Single file changed: internal/installer/restore/contract.md. No production code, no CI gate, no host action. Code phase opens in a separate amendment-2-code-A PR after this seed merges. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Contributor
Dependency Review✅ No vulnerabilities or license issues or OpenSSF Scorecard issues found.Scanned FilesNone |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
internal/installer/restore/contract.mddefining a narrow explicit-intent override for the orphan-NFTBan-on-DirectAdmin restore case.What this changes
Splits the existing
G1/AuthorityNFTBanrow in §6 into two sub-rows evaluated entirely within Group 1:G1/AuthorityNFTBan/defaultG1/AuthorityNFTBan/orphan-intent-candidateAuthorityNFTBan + NoRecord + DirectAdmin + --panel-auto-takeover + --accept-orphan-nftbanG1/AuthorityNFTBan/OrphanProceed(all rows true) orG1/EvidenceMismatch(any row false)The split is ENTIRELY within Group 1; no later group ever defeats a Group 1 outcome. §5 precedence rule preserved.
PROCEED activates only for:
What this does NOT change
AuthorityExternal,AmbiguityConflictExternal,AmbiguityOrphanNFTBanG1 hard-stops remain absolute under all flag combinations.main.go:132writeHistory gate: unchanged.INV-PR26-NEW-MUTATION-SURFACES-BOUNDED: holds (decision-only amendment, zero new mutation surfaces).Locked decisions
--accept-orphan-nftban.AmbiguityOrphanNFTBanremains REFUSE under all flag combinations.amendment-2-code-Aopens.New invariant
INV-AMD2-EXPLICIT-INTENT-IS-NARROW(§52.5) —--accept-orphan-nftbanmay activate the new lattice row ONLY in combination with--panel-auto-takeoverANDPanel == DirectAdminANDClassifier == AuthorityNFTBanANDPrior == NoRecordAND every §54.1 evidence row holds.Sequencing
Test plan
G6/labels and zero stale "Group 6" model (only allowed phrase is the rebuttal sentence at §53.1)🤖 Generated with Claude Code