offenselisted

# Offense Radical codebase overhaul, invoked by a human only. Demolish-and-re-derive: rewrite subsystems from their contracts instead of patching, delete rather than deprecate, collapse special cases into the general case, and migrate every caller in the same change. The stance is offensive, tear the broken structure out and re-derive it clean, not defensive patching that leaves the old shape half alive. ## Contract | Field | Bound contract | |---|---| | Trigger | A human invokes an overhaul: "overhaul", "rebuild this subsystem", "rewrite it from scratch", or equivalent. Never self-initiated. | | Authority | Human-gated: asks before removing any observable surface consumers depend on; otherwise reversible local: writes only the invoked scope (an exact disclosed set of repository paths); rollback is version control (atomic commits). No remote mutation. | | Side effect | Atomic compilable commits that demolish the old structure and re-derive it from its contracts; the general case absorbs every special case; every caller migrates in the same change; no shim, alias, deprecated path, or feature flag survives the cutover. | | Done | The invoked scope is rebuilt from its contracts, every caller is migrated, no special-case branch or deprecated path remains, the feature works end to end, and the applicable verifier is green. | ## Inputs Supply the invoked scope (the subsystem, module set, or surface to overhaul), the contracts that govern it, and the permitted path set. Supply