Localizes the six primitive response classes and proves that lineage provenance or gate history alone cannot select close versus hold; the remaining idle-response source is named and preregistered. Governed release package · 0.1Idle-Response Lineage and Gate-History BoundaryLocalizes the six primitive response classes and proves that lineage provenance or gate history alone cannot select close versus hold; the remaining idle-response source is named and preregistered.StatusEXACT LOCALIZATION / SOURCE CONTRACT OPENPhysical promotion0Package files17Hash manifestVerified · 16 filesDownload immutable release ZIP ↓Package compositionaudit1code1data4governance2manuscript1package root2prereg1theorem4verification1Show all 17 preserved pathsHASH_MANIFEST.sha256README.mdaudit/UD_IDLE_RESPONSE_LINEAGE_GATE_HISTORY_AUDIT_v0.1.mdcode/verify_lineage_gate_history_nogo.pydata/LINEAGE_PROVENANCE_TO_GATE_RESPONSE_AUDIT.csvdata/LOCAL_GATE_HISTORY_LAW_COMPARISON.csvdata/SATURATED_PRIOR_GATE_HISTORY_COMPARISON.csvdata/SIX_PRIMITIVE_EVENT_RESPONSE_STATUS.csvgovernance/UD_MINIMUM_IDLE_GATE_SOURCE_CONTRACT_v0.2.jsongovernance/UD_RECEIPT_INDEX_EVENT_OPERATOR_SCOPE_REPAIR_v0.1.jsonmanuscript/UD_JOP_IDLE_RESPONSE_LINEAGE_GATE_HISTORY_ADDENDUM_v0.1.mdprereg/UD_INTACT_SINK_CLOSE_VS_HOLD_PREREG_v0.1.jsontheorem/UD_CLOSE_VS_HOLD_GATE_HISTORY_NONIDENTIFIABILITY_THEOREM_v0.1.mdtheorem/UD_LINEAGE_PROVENANCE_CANNOT_SELECT_IDLE_GATE_THEOREM_v0.1.mdtheorem/UD_RECEIPT_INDEX_OPERATOR_RETYPE_REPAIR_THEOREM_v0.1.mdtheorem/UD_SIX_PRIMITIVE_EVENT_CLASSES_RESPONSE_LOCALIZATION_THEOREM_v0.1.mdverification/UD_IDLE_RESPONSE_LINEAGE_GATE_HISTORY_VERIFICATION_v0.1.jsonREADME.mdUD Idle-Response Lineage / Gate-History No-Go v0.1 Full lineage/source/renewal provenance does not determine the idle-open bit h. Renewal/novel/continuing viable outputs force q=1; integrity loss forces q=0. The only unresolved primitive event is latent-support extinction with retained integrity. Historical receipt-index rank difference is retyped as mu_Omega; full gate budget requires the h correction. Physical promotion 0. manuscript/UD_JOP_IDLE_RESPONSE_LINEAGE_GATE_HISTORY_ADDENDUM_v0.1.mdJOP Addendum — Lineage/Gate-History Constitutive No-Go and Receipt-Index Retype v0.1 The intact-null constitutive frontier has been tested against the existing predecessor, lineage, source/renewal, and gate-history structure. A complete terminal-sink receipt determines that an active viable obligation has no output descendant, but it does not determine the separately typed gate response. On an integrity-preserving latent-support extinction event, the same complete predecessor/sink receipt admits either q+=0q^+=0 or q+=1q^+=1. Two explicit local update laws, close-on-idle C(q−,T+,L+)=T+L+C(q^-,T^+,L^+)=T^+L^+ and hold-open H(q−,T+,L+)=T+(q−∨T+L+)H(q^-,T^+,L^+)=T^+(q^-\vee T^+L^+), both obey the current exact integrity and viable-completeness constraints. Both are deterministic, pair-local, S3S_3-equivariant, idempotent, and commuting across distinct pair addresses. Under previous-event saturation they differ on exactly one of the sixteen local source transitions: (T,L):(1,1)→(1,0)(T,L):(1,1)\to(1,0), i.e. latent-support extinction with retained integrity. Five of the six primitive viable-lane event classes therefore have a forced gate response; only this intact-sink class remains constitutively open. The historical receipt-index rank difference remains exact but is retyped as μΩ=|ω−|−|ω+|\mu_\Omega=|\omega^-|-|\omega^+|. The actual Θ\Theta budget is μΘ=μΩ+|h−|−|h+|\mu_\Theta=\mu_\Omega+|h^-|-|h^+|. Equating the obligation-space index with the full gate budget before closing the idle-response mask would silently assume the no-idle-open law. Physical promotion remains zero. theorem/UD_CLOSE_VS_HOLD_GATE_HISTORY_NONIDENTIFIABILITY_THEOREM_v0.1.mdTheorem — Close-on-Sink versus Hold-on-Sink Gate-History Nonidentifiability v0.1 Status: EXACT FINITE NO-GO Physical promotion: 0 Define two local update laws from the same source variables: C(q−,T+,L+)=T+L+=ω+ C(q^-,T^+,L^+)=T^+L^+=\omega^+ and H(q−,T+,L+)=T+(q−∨ω+). H(q^-,T^+,L^+)=T^+(q^-\vee\omega^+). Both satisfy ω+≤q+≤T+ \omega^+\le q^+\le T^+ for every binary input. Both are deterministic, pair-local, S3S_3-equivariant under componentwise application, idempotent under repeated application to the same source state, and commuting on distinct pair addresses. They agree whenever integrity fails or a viable output lane exists. They differ exactly when T+=1,L+=0,q−=1. T^+=1,\qquad L^+=0,\qquad q^-=1. Under previous-event saturation q−=ω−q^-=\omega^-, there are 4×4=164\times4=16 local source-state transitions and the two laws differ on exactly one: (T−,L−)=(1,1)→(T+,L+)=(1,0). \boxed{(T^-,L^-)=(1,1)\longrightarrow(T^+,L^+)=(1,0).} That is latent-support extinction with retained integrity. Therefore gate-history regularity does not select POC-1. theorem/UD_LINEAGE_PROVENANCE_CANNOT_SELECT_IDLE_GATE_THEOREM_v0.1.mdTheorem — Lineage Provenance Cannot Select the Intact-Null Idle Gate v0.1 Status: EXACT SCOPED NO-GO Physical promotion: 0 Current receipt grammar types a surviving continuation as an active lineage with a viable output descendant; a terminal sink as an active lineage with no viable output descendant; a novel source as a viable output obligation with no active or archived predecessor; and a renewal as a viable output obligation descended from an archived terminated lineage. For one pair let hard integrity be TT, latent-support presence LL, viable-lane bit ω=TL\omega=TL, and gate-open bit qq. Existing exact constraints are ω≤q≤T. \omega\le q\le T. Consider a source-authenticated terminal sink with retained integrity, (T−,L−,q−)=(1,1,1),(T+,L+)=(1,0). (T^-,L^-,q^-)=(1,1,1), \qquad (T^+,L^+)=(1,0). Then ω+=0\omega^+=0. Even if the complete pre-event record fixes predecessor identity, continuation failure, terminal-sink type, source/renewal absence, viability, and equivalence/merger provenance, both q+=0andq+=1 q^+=0 \quad\text{and}\quad q^+=1 satisfy the exact source constraints. Hence, with h+=q+−ω+h^+=q^+-\omega^+, lineage/predecessor/source/renewal provenance⇏h+. \boxed{\text{lineage/predecessor/source/renewal provenance}\not\Rightarrow h^+.} A rule such as “terminal sink closes its gate” is therefore a new cross-carrier response law, not a consequence of the definition of terminal sink. Novel-source and renewal receipts are different: by definition they create viable output obligations. On an integrity-valid output pair, ω+=1\omega^+=1, so transport completeness forces q+=1q^+=1. Thus source-versus-renewal provenance is not the unresolved lane; the hinge is the intact terminal sink. theorem/UD_RECEIPT_INDEX_OPERATOR_RETYPE_REPAIR_THEOREM_v0.1.mdTheorem — Receipt-Index Operator Retype and Idle-Response Correction v0.1 Status: APPEND-ONLY TYPE REPAIR / EXACT IDENTITY Physical promotion: 0 Let ℒ±\mathcal L^\pm be the viable obligation spaces constructed from lineage/source/renewal receipts. Their exact rank difference is μΩ:=dimℒ−−dimℒ+=|ω−|−|ω+|. \boxed{\mu_\Omega:=\dim\mathcal L^- - \dim\mathcal L^+=|\omega^-|-|\omega^+|.} This is the viable-lane/obligation occupancy index. With the exact gate decomposition q±=ω±+h± q^\pm=\omega^\pm+h^\pm and θ=1−q\theta=1-q, the actual Θ\Theta Hamming budget is μΘ=μΩ+|h−|−|h+|. \boxed{\mu_\Theta=\mu_\Omega+|h^-|-|h^+|.} Hence the historical identification μΘ=dimℒ−−dimℒ+ \mu_\Theta=\dim\mathcal L^- - \dim\mathcal L^+ is valid only on the additional subdomain |h−|=|h+||h^-|=|h^+|, and on a previously saturated POC-1 transition only when h+=0h^+=0. The continuation-map cancellation theorem remains exact. What changes is the type of the object it determines before the gate-response bridge closes: μΘRI→μΩRI \boxed{\mu_\Theta^{\mathrm RI}\rightarrow\mu_\Omega^{\mathrm RI}} until the idle-response correction is independently supplied. theorem/UD_SIX_PRIMITIVE_EVENT_CLASSES_RESPONSE_LOCALIZATION_THEOREM_v0.1.mdTheorem — Six Primitive Event Classes Localize the Remaining Constitutive Hinge v0.1 Status: EXACT DERIVED CLASSIFICATION Physical promotion: 0 Combining the current six primitive viable-lane change classes with ω≤q≤T \omega\le q\le T gives: Primitive class Gate result latent-support onset q+=1q^+=1 forced integrity restoration q+=1q^+=1 forced joint onset/restoration q+=1q^+=1 forced latent-support extinction with T+=1T^+=1 q+∈{0,1}q^+\in\{0,1\} integrity loss q+=0q^+=0 forced joint extinction/loss q+=0q^+=0 forced Therefore five of six primitive event classes have exact gate response. Only latent-support extinction while integrity survives requires an additional constitutive law.