[DSRP Evidence](https://dsrpevidence.org/) # The Patches Are the Evidence Convergence on DSRP-484 Across System Dynamics, Network Theory, and UML ## Details **Authors** Cabrera, Derek **Year** 2026 **Publisher** Journal of Systems Thinking **Kind of work** article **Discipline** Systems Science **Secondary disciplines** Network Science, Computer Science & AI **Reading level** technical [Read it at the publisher](https://doi.org/10.54120/jost.v26i1.dc6cest6) 10.54120/jost.v26i1.dc6cest6 ## In authors' words ### Abstract This paper synthesizes three completed studies that applied the same preregistered structural-remainder test to three independently developed modeling traditions. System Dynamics returned sixty of sixty constructs without residual; Network Theory returned thirty-five of thirty-five; and UML returned a closed candidate set of one hundred forty-two metaclasses, with no exclusions and no residual among the two hundred seventy-one novel structural contributions those metaclasses make. Across 237 constructs, none required a fifth Pattern, ninth elemental role, fifth dynamic, or other irreducible organizational structure outside DSRP-484. The three run papers contain the construct-level evidence; this synthesis tests what can be inferred from their convergence. Two findings become visible only when the runs are read together. The first is forward-facing: three fields with no shared vocabulary—stocks and flows, nodes and edges, metaclasses and associations—resolve to the same four Patterns and eight elemental roles. The constructs that resisted decomposition most strongly did so for the same reason: each was a constraint placed on a Pattern rather than a new Pattern. The second finding is backward-facing and addresses the possibility that a flexible calculus can redescribe anything after the fact. When a formalism omits an elemental role from its native grammar, the missing organizational work reappears in auxiliary constructs, attributes, rules, or procedures. System Dynamics supplies one emblem: the cloud. Network Theory supplies six load-bearing cases. UML supplies roughly seven hundred countable representational expenditures, including eighty-three derived properties, eleven hand-built negations, four surrogate metaclasses for a Link the metamodel does not contain, and four hundred forty-nine constraint rules. These features were not necessarily designed to repair DSRP-defined omissions and may also serve computational, syntactic, or implementation purposes. The narrower claim is structural: they perform organizational work the native grammar does not perform directly. Together, the findings support more than retrospective containment: omissions in a formalism's native grammar predict the location and function of its later representational expenditures. The paper derives six prospective predictions and specifies their failure conditions through four connected tests—I/O, composition, ablation, and patch—applicable to any formalism. ### What they set out to do (purpose) Synthesizes three completed structural-remainder runs and tests what can be inferred from their convergence, which the three run papers on their own cannot establish. The construct-level evidence stays in those papers; this one asks what three independent traditions decomposing the same way licenses. ### Who or what was studied (sample) 237 constructs across three modeling traditions: 60 System Dynamics constructs (17 exclusions logged), 35 Network Theory constructs (10 exclusions logged), and a closed candidate set of 142 UML metaclasses (no exclusions) carrying 271 novel structural contributions. ### How they did it (methods) The same preregistered structural-remainder test applied to all three, with candidate sets drawn only from each field's own documents under a fixed extraction rule, and a residual category X that lets the test fail. Four connected tests are specified. The I/O test separates informational content from organization: change the label from Population to Inventory and the information changes while the stock structure remains. The composition test asks whether the remaining organization falls within the closure of DSRP-484. The ablation test removes one identified structure and asks whether the construct loses a defining capacity, so that remove the parts, the whole, or their contains-belongs structure and the hyperedge's defining capacity disappears. The patch test works backward through a formalism's history, requiring that the native grammar lacked a necessary structure, that a patch appeared later, that it performed the missing work, and that the native grammar stayed unchanged. ### What they found (results) Across 237 constructs no case required a fifth Pattern, a ninth elemental role, a fifth dynamic, or any other irreducible structure outside DSRP-484. Two findings emerge only from reading the runs together. Forward: three fields sharing no vocabulary resolve to the same four Patterns and eight roles, and the constructs that resisted decomposition hardest all did so for one reason, each being a constraint placed on a Pattern rather than a new Pattern. Backward: omitted roles predict where later representational expenditure appears. System Dynamics supplies one emblem, the cloud; Network Theory six load-bearing cases; UML roughly seven hundred countable expenditures, among them 83 derived properties, 11 hand-built negations, 4 surrogate metaclasses for a Link the metamodel does not contain, and 449 constraint rules. Cabrera states the narrow version of the patch claim himself: these features may also serve computational, syntactic, or implementation purposes, and the structural claim is only that they perform organizational work the native grammar does not perform directly. Six prospective predictions are derived with discrete failure conditions, which the paper insists are "discrete, inspectable failures, not broad predictions that can be rescued by interpretation." ## Commentary ### In short Derek Cabrera synthesizes three separate structural decomposition runs and argues that their convergence, plus the repairs each formalism had to build, is stronger evidence than any run alone. ### In more detail Three modeling traditions were each put through the same preregistered test, and all three came back with no leftover structure. This paper asks what follows from that. The forward argument is that fields with nothing in common at the vocabulary level resolve to the same small set of structures. The backward argument is the one that gives the paper its title: if a calculus could redescribe anything after the fact, convergence would be cheap, so Cabrera looks instead at what each formalism had to build to cover what its own grammar could not say. Those repairs are countable, and they cluster where the theory predicts. The paper is careful about its own limits. It says plainly that three successful runs do not establish universality, that the three fields were chosen because they are consequential and well specified rather than sampled at random, and that DSRP is itself a formalism and therefore exposed to the same risk of seeing only what its grammar makes visible. It answers that last point by naming six predictions that can fail in future runs rather than by argument. ### Response This is the inference layer of the containment series, and its value is that it takes on the objection the individual runs cannot answer. A single decomposition invites the reply that a flexible framework can relabel anything once the answer is known. The patch evidence changes what is being claimed: not that the four Patterns can be found in a formalism, but that where a formalism lacks a role, its later machinery shows up in a predictable place doing predictable work. That is a claim about history the analyst did not write. Two caveats belong on the card. The counts are not commensurable units, since one cloud, six cases, and roughly seven hundred expenditures are not the same kind of thing counted three times, and the paper's own answer is that patch volume tracks how broadly a formalism was applied rather than how much it omits. And the sample is three, chosen rather than drawn, which the paper concedes. **Patterns it shows** D, S, R, P Formal proof or model, Shows the structure is there ## Questions it bears on - Q3. [Does this organization (O) exist in the mind, and in what minds produce?](https://dsrpevidence.org/question/completeness-mind) - Q4. [Does this organization (O) exist in reality?](https://dsrpevidence.org/question/completeness-reality) - Q5. [Does the same organization (O) hold across every domain and scale?](https://dsrpevidence.org/question/scale-generality) - Q6. [Does the organization (O) constrain anything, and does it predict anything?](https://dsrpevidence.org/question/forbids-anything) - Q7. [How do mental models become better aligned with reality over time?](https://dsrpevidence.org/question/love-reality-loop) **How to cite this** Cabrera, Derek (2026). The Patches Are the Evidence: Convergence on DSRP-484 Across System Dynamics, Network Theory, and UML. Journal of Systems Thinking.