SΔϕ-31 AI-READABLE Package — Reopening Closed Defaults (v1.0)

<p> This record provides the AI-readable structured package for <em>SΔϕ-31 — Reopening Closed Defaults: Minimal Intervention Conditions after Governance Diagnostics (v1.0)</em>. </p> <p> SΔϕ-31 extends SΔϕ-30 by asking how a closed default can be materially reopened once diagnostics have established that formal editability is no longer trustworthy. The central claim is that a closed default is not reopened by diagnosis alone. Reopening is not a passive property of a system, but an intervention structure composed of four minimal operations: <strong>Trigger Recognition</strong>, <strong>Cost Assumption</strong>, <strong>Reopening Act</strong>, and <strong>Persistence of Re-entry</strong>. </p> <p> In formal terms, <code>D*closed → operationally open iff T_r ∧ C_a ∧ R_o ∧ P_r</code>, where <code>D*closed</code> is the closed default state, <code>T_r</code> is Trigger Recognition, <code>C_a</code> is Cost Assumption, <code>R_o</code> is Reopening Act, and <code>P_r</code> is Persistence of Re-entry. If any one of these operations fails, intervention risks collapsing into symbolic rupture only: <code>¬T_r ∨ ¬C_a ∨ ¬R_o ∨ ¬P_r → symbolic rupture only</code>. </p> <p> SΔϕ-31 distinguishes diagnosis, critique, petition, visibility, and one-time exception from operational reopening. A system may be diagnosed as closed and still remain closed. A closed default is reopened only when an anomaly is recognized as a trigger rather than tolerated as background noise, someone assumes the cost of interrupting the cheapest continuation, an excluded or suppressed alternative becomes operational again, and a durable re-entry channel persists beyond the first rupture. </p> <p> The package formalizes the cost asymmetry of reopening as <code>C(P_default) &lt; C(P_reopen)</code>. Because the default path is usually the cheapest continuation, reopening requires explicit cost assumption rather than spontaneous drift. Reopening is therefore treated as enacted editability: <code>declared editability → diagnosed editability → enacted editability</code>. </p> <p> The package includes case patterns for Symbolic Critique, One-Time Exception, Reopened Appeal Path, and Public Petition without Reopening. The public petition case pattern is separated from policy judgment: it is used only to test whether a visible petitioned exception completes the SΔϕ-31 reopening sequence. An appendix provides an illustrative public case note on South Korean gender conscription petitions, explicitly bounded as a structural example rather than a policy endorsement, rejection, or partisan judgment. </p> <p> The package includes canonical PDF, Markdown, and TXT versions; AI quickstart; core declaration; minimal definitions; diagnosis-is-not-reopening; reopening formula; trigger recognition; cost assumption; reopening act; persistence of re-entry; symbolic rupture; cost asymmetry of reopening; enacted editability; intervention sequence; re-entry persistence test; case patterns; appendix public case note and boundary note; templates; machine-readable JSON and YAML files; boundary constraints; citation metadata; package manifest; and checksums. </p> <p> This package should not be used to treat diagnosis as reopening, critique as intervention, anomaly existence as trigger recognition, visibility as reopening, petition as automatic reopening, symbolic disruption as operational reopening, or one-time exception as persistence of re-entry. It should also not be used to decide the policy merits of any public petition case. SΔϕ-31 is an intervention-layer package for determining whether a diagnosed closed default has become operationally open or merely symbolically ruptured. </p>