Fused Counting Enumerations
Abstract
Explicit arena lists and executable censuses exercise the fused counter.
The eleven witnesses are authored Example nodes because DeclarationHandle resolves only the final declaration suffix and cannot bind eleven declarations all named __state_enumeration.
Example 1.1 (Agenda-power state enumeration).
Source. Repository-derived.
Commentary.
FirstThreeArenas.agendaPowerArena.__state_enumeration supplies an explicit duplicate-free complete state list.
Example 1.2 (Adaptive-residue state enumeration).
Source. Repository-derived.
Commentary.
FirstThreeArenas.residueArena.__state_enumeration supplies an explicit duplicate-free complete state list.
Example 1.3 (Spectrum state enumeration).
Source. Repository-derived.
Commentary.
FirstThreeArenas.spectrumArena.__state_enumeration supplies an explicit duplicate-free complete state list.
Example 1.4 (Interpretation-context state enumeration).
Source. Repository-derived.
Commentary.
FourthFifthArenas.contextArena.__state_enumeration supplies an explicit duplicate-free complete state list.
Example 1.5 (Intervention state enumeration).
Source. Repository-derived.
Commentary.
FourthFifthArenas.interventionArena.__state_enumeration supplies an explicit duplicate-free complete state list.
Example 1.6 (Observation-intervention state enumeration).
Source. Repository-derived.
Commentary.
ObservationIntervention.observationInterventionArena.__state_enumeration supplies an explicit duplicate-free complete state list.
Example 1.7 (Static-experiment state enumeration).
Source. Repository-derived.
Commentary.
StaticExactExperimentDesign.staticExactExperimentArena.__state_enumeration supplies an explicit duplicate-free complete state list.
Example 1.8 (Commuting-completion state enumeration).
Source. Repository-derived.
Commentary.
CommutingCompletionExchange.commutingCompletionArena.__state_enumeration supplies an explicit duplicate-free complete state list.
Example 1.9 (Local-law-gluing state enumeration).
Source. Repository-derived.
Commentary.
LocalLawGluingObstruction.localLawGluingArena.__state_enumeration supplies an explicit duplicate-free complete state list.
Example 1.10 (Preemption-trace state enumeration).
Source. Repository-derived.
Commentary.
EndStateOmitsPreemptingCause.endStateOmitsPreemptingCauseArena.__state_enumeration supplies an explicit duplicate-free complete state list.
Example 1.11 (SYSTEM stage enumeration).
Source. Repository-derived.
Commentary.
SystemUnit.arena.__state_enumeration supplies an explicit duplicate-free complete state list.
Example 1.12 (Eleven fused singleton censuses).
Source. Repository-derived.
Commentary.
The unique counts are 570, 12, 20, 56, 240, 968, 6, 12, 48, 60, and 2.
Example 1.13 (Two-theorem Bool-pair census).
Source. Repository-derived.
Commentary.
The jointly faithful two-index catalog has full zero and unique counts 4/4.
References
- Dependency: D5/S3/ConceptDynamics/InformationEscape/SystemUnit
- Dependency: D5/S3/ConceptDynamics/InformationEscapeCounting/FusedCorrectness
- Dependency: D5/S3/ConceptDynamics/InformationEscapeRealizations/CommutingCompletionExchange
- Dependency: D5/S3/ConceptDynamics/InformationEscapeRealizations/EndStateOmitsPreemptingCause
- Dependency: D5/S3/ConceptDynamics/InformationEscapeRealizations/FirstThreeRealizations
- Dependency: D5/S3/ConceptDynamics/InformationEscapeRealizations/FourthFifthRealizations
- Dependency: D5/S3/ConceptDynamics/InformationEscapeRealizations/LocalLawGluingObstruction
- Dependency: D5/S3/ConceptDynamics/InformationEscapeRealizations/ObservationIntervention
- Dependency: D5/S3/ConceptDynamics/InformationEscapeRealizations/StaticExactExperimentDesign