[DSRP Evidence](https://dsrpevidence.org/)

# The Patches Are the Evidence

Convergence on DSRP-484 Across System Dynamics, Network Theory, and UML

Cabrera, Derek, Journal of Systems Thinking, 2026

## 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 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."

## 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.

## Questions it bears on

- [Q3. Does this organization (O) exist in the mind, and in what minds produce?](https://dsrpevidence.org/claims)
- [Q4. Does this organization (O) exist in reality?](https://dsrpevidence.org/claims)
- [Q5. Does the same organization (O) hold across every domain and scale?](https://dsrpevidence.org/claims)
- [Q6. Does the organization (O) constrain anything, and does it predict anything?](https://dsrpevidence.org/claims)
- [Q7. How do mental models become better aligned with reality over time?](https://dsrpevidence.org/claims)

[Read the paper](https://doi.org/10.54120/jost.v26i1.dc6cest6)