The Little System That Couldn't: A Formal Proof of Systemic Deadlock (v2)

This collection documents a public-sector logic failure so complete that describing it has required three communication modes, four levels of simplification — crayon, ASCII, a mock government form, and, as of this version, a peer-reviewed journal monograph — and one shoe. The chain of events: Anglesey County Council miscategorised the complaint at intake, withheld the legally-mandated information required to correct it, acknowledged the error, and then asked what the problem was. The Public Services Ombudsman for Wales inherited the wrong category, accepted it without verification, dismissed the complaint on the basis of it, instructed a restart, and placed the author on indefinite hiatus — with assurances of a review of the review of his review. The MP's Senior Caseworker (Ynys Môn), presented with exhaustive explanations in every register from legal analysis to metaphor, repeatedly asked what the complaint was, then declined to act without the missing information — which is what the complaint was about. His closing position is preserved verbatim: "Well what do you want me to do about it if you don't give me the information I need?" Three operators, three offices, three letterheads: one identical error, each acknowledging it, none correcting it. \[\textbf{The Carlo Deadlock Identity}\] \[\text{Operators: } O_{1}\,(\text{Anglesey County Council}),\;O_{2}\,(\text{Public Services Ombudsman}),\;O_{3}\,(\text{MP's Senior Caseworker})\] \[R(i_{t}) = \text{False} \quad \forall\, \text{execution paths in } S\] NEW IN VERSION 2 The principal deliverable: a 36-page monograph typeset to full academic standard beneath a crayon cover (Journal of Applied Bureaucratic Dynamics, Vol. 1, No. 1 — the only issue). It contains: Eleven theorems with proofs: non-resolution, circular dependency, closure under error, non-termination, informational entrapment, and satisfaction of all four Coffman deadlock conditions at rest. The onset dated to 1996–1998 from the public record, including the 2011 removal of the council's executive powers — the first such intervention in UK history — after which the intake function remained unmodified. A propagation theorem: the council, NHS Wales, and the housing sector share one oversight body, one model complaints doctrine, and one training pipeline; the deadlock is not an anomaly but an installed architecture. An epidemiology built entirely on the operators' own publications: the documented 2023/24 throughput (283 expressions of dissatisfaction → 48 formal complaints → 41 escalations → 0 full investigations) and exposure bounds of one in nine to one in seven residents. Deductions from queueing theory (the backlog is stabilised by complainant abandonment alone — an application of Little's law its author did not foresee), game theory (deflection is a Nash equilibrium; no coordination or malice required), control theory, computability, thermodynamics, and reliability engineering (zero nines). A Null Dominance theorem establishing that a shoe weakly dominates all three operators on every measured axis. Six falsifiable predictions, refutable at any moment by a single act, which remains unperformed. 32 references (Gödel, Coffman, Turing, Nash, Noether, Kafka, Dickens, and the operators themselves), peer review reports, a field glossary of operator terminology, and an erratum correcting "failing" to "working as designed." Preserved from Version 1: the formal proof compendium, the crayon/ASCII storybook, Form GRF-000-NO-HELP (uncompletable by design: Section 2 requests the withheld information), and the interactive visualisation module reproducing the system's behaviour for researchers, specialists, and anyone currently on hiatus. This collection exists because the system does not. ACKNOWLEDGEMENTS The author formally thanks the following for their unwavering contribution to occupying administrative space without measurable outcome: Anglesey County Council — for elevating a single intake error into a permanent structural feature, and thereby into a conserved quantity in the sense of Noether. The Public Services Ombudsman for Wales — for the "do one" energy, supplied at no point in the statutory process where it is provided for. The Office of the Member of Parliament (Ynys Môn) — for routing the author to the sole point of contact with both the authority to act and the commitment not to. The MP's Senior Caseworker — for independently replicating the study's central experiment, at scale, in the margins of his own correspondence. The System as a Whole — for proving that three agencies, working together, can build something genuinely self-sustaining. The Shoe — promoted in this version to Reviewer 4: the only referee that never asked what the paper was. None of the above were necessary. All of them made this necessary. Author: Matthew Arthur Carlo, Carlo Research Systems, North Wales Contact: [email protected]: 10.5281/zenodo.21416229