| paper | d4-journals-geb-2021-0022 |
| authors | — |
| venue | ? |
| filed under | unclassified |
| judged by | gpt-6-luna / xhigh (triple__luna__xhigh__c6r1) |
| judge confidence | high |
| authors would recognise it | unclear |
The numbered propositions establish equilibrium existence, characterize outcomes and policy dynamics, or compare the dynamic game with a static benchmark; none states an algorithm, complexity bound, hardness result, or computational formulation used to compute. The proposed type-based legislature is a substantial extension that changes the strategic players and their pivotality, and no concrete continuous question is stated for an anchor.
fails bit a — no named computational result to mirror
The propositions characterize equilibria, stability, policy dynamics, recognition probabilities, and a static benchmark; Appendix E extends the equilibrium analysis to larger committees. These results are analytical, while the experimental findings report behavior without a computational guarantee.
This paper has no eligible named computational result to anchor a continuous mirror. Its numbered propositions concern Markov perfect equilibrium existence and characterization, policy dynamics, stability, comparative statics, and a static benchmark. The experimental findings are not numbered computational results, and the paper does not classify a computational problem as tractable, hard, or parameterized.
The closest result is Proposition 11, proved in the paper: in any consistent and continuous MPE with \(\delta\in[0,1)\), initial status quo \(s_0\in\Delta\), and veto-player recognition probability \(p_v\in(0,1]\), the unique irreducible absorbing set is the singleton full-appropriation outcome. Here “continuous” describes the equilibrium’s value functions; the proposition is about equilibrium outcomes, not a continuous population. Appendix Proposition 14 extends the equilibrium analysis to larger committees, but still gives an equilibrium result rather than a computational one.
A population mirror would require new modeling choices—for example, how a single veto player and proposer recognition work when legislators are represented by types with mass. The paper does not answer those questions. Its divisible dollar is continuity of the outcome space, and its repeated interaction is continuity over time; neither makes the society continuous. So there are no anchors, no per-anchor continuous problems to state, and no honest complexity prediction to attach to this paper.
The strongest case against a mirror is that the paper supplies no computational result to mirror. Its propositions characterize equilibria, absorbing sets, and policy dynamics; none asks for an algorithm or establishes a complexity bound. Proposition 11 is the closest candidate, but its “continuous MPE” refers to continuity of value functions over policy states. It says nothing about a continuous society. Proposition 14 extends the equilibrium analysis to larger committees, again without posing a computational problem. Turning either into an algorithmic question would add a new target rather than continuize a result in the paper.
The best salvage is the larger-legislature direction in Appendix E: group legislators into types with identical preferences, roles, and recognition probabilities; scale the budget per capita; and let passage depend on a share of votes. That is more plausible than treating the three experimental subjects as a population, and the authors might recognize it as related to their stated future work. But it requires rebuilding the strategic model. A unique veto office remains a distinguished player, while ordinary legislators in a nonatomic population have no individual pivotal vote. Treating each type as a bloc restores pivotality by making the bloc, rather than its members, the strategic actor. Either choice changes what the players are and how the bargaining protocol works.
The paper’s actual society is a committee of three named legislators. Their roles, votes, proposals, and allocation coordinates are part of the game; citizens outside the committee do not participate. Repeating the experiment across more committees would enlarge the data set, not create a high-multiplicity instance of the bargaining problem. A type-based large legislature may be an interesting new model, but it would call for equilibrium existence and characterization or computation. The paper gives no discrete computational problem whose complexity that work could compare.
So the negative case is strong for this paper as written: there is no eligible computational anchor, and the most promising population model would be a substantial extension. It is weaker as the universal claim that no worthwhile continuous model could ever be built. Appendix E makes a larger, type-based legislature conceivable; the honest objection is that this would be new equilibrium theory, not a continuous mirror of a computational result in this paper.
The adversarial triple: the proponent anchors on up to three named results; the opponent sees that case and must defeat every anchor; the judge decides which case convinced it. These are the pipeline’s own outputs, generated by tools/triple_run.py — no human edited them. The paper’s own text is not reproduced here beyond the quoted statement above.