{"id":"0c0f1406-3c9f-48ce-ba51-df457313f1f0","arxiv_id":"2508.16285","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"An abstract recommends the moving phantoms rule for RetroPGF funding on welfare and strategyproofness grounds, but the provided body is an unrelated topology paper, making the analysis unverifiable.","lead":"The abstract proposes replacing the voting in Optimism's RetroPGF with the moving phantoms mechanism, claiming better social welfare and strategyproofness for a program that controls over a billion dollars. But the submitted full text is an unrelated topology paper about homotopy of polygonal lines, so the abstract's claims cannot be checked against the body.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The abstract's recommendation silently imports moving phantoms' single-peaked-domain guarantees into RetroPGF's multidimensional voting setting; the supplied text also contains none of the promised analysis, so the central claim is unsupported.","rationale":"The reader's UNVERDICTED verdict is appropriate. My stress-test focuses on the most technically load-bearing condition in the abstract: the moving phantoms mechanism's guarantees are domain-specific, and the abstract imports them into RetroPGF without showing that RetroPGF voter preferences lie in that domain. This is an internal correctness risk, not merely a disagreement with consensus. The supplied full-text mismatch is a separate but reinforcing problem: the body contains no analysis of RetroPGF at all, so the abstract's claims are unsupported by the submitted evidence. Since the reader already identified the domain concern and returned UNVERDICTED, my read does not change the verdict. No code, data, or formal verification is available to resolve the question, and the manuscript as delivered cannot support the central claim.","tokens_in":17069,"tokens_out":3427,"duration_ms":43729,"concrete_test":"Pull the public ballot data from an actual RetroPGF round (e.g. Round 3 or 4). For each voter's reported project scores, test whether there exists a single dimension/order of projects relative to which every voter's scores are single-peaked; this is a finite combinatorial search. If even one substantial fraction of voters fails, the moving phantoms strategyproofness/welfare guarantees do not transfer to RetroPGF. As a secondary check, compute the utilitarian moving phantoms outcome on those same ballots and compare realized L1 social welfare against the actual allocation rule; if it does not improve, the welfare claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that adopting the utilitarian moving phantoms mechanism improves L1 social welfare while satisfying strategyproofness. That conjunction is only known to hold on the mechanism's domain: single-peaked preferences over a linear order of alternatives (Freeman et al. 2019). RetroPGF ballots are multidimensional: each voter allocates scores/OP tokens across many independent projects, not a single point on a line. If voter preferences are not single-peaked in a common dimension, the moving-phantoms strategyproofness theorem does not apply, and the L1-welfare comparison to the existing allocation rule is not entailed by the cited 2019 results. The abstract makes no domain assumption and provides no argument that real RetroPGF preferences satisfy one. In addition, the supplied full text is a mathematics expository preprint on homotopy classification (arXiv:2508.16287v2) with no content about Optimism, DAOs, or voting, so no empirical or formal support for the RetroPGF claim is available in this manuscript. Either gap is load-bearing; the domain gap alone prevents the recommendation from being justified.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript as submitted consists of an abstract claiming that Optimism's RetroPGF has significant shortcomings and that adopting the utilitarian moving phantoms mechanism of Freeman et al. (2019) would improve L1-norm social welfare while satisfying strategyproofness, together with a full text titled 'Homotopy Classification of Closed Polygonal Lines: Results and Problems'. The full text is an expository topology paper on winding numbers, homotopy invariants, and related combinatorial group theory; it contains no mention of RetroPGF, DAOs, voting, social choice, or the moving phantoms mechanism. No formulation of the claimed framework, no theorem, no proof, no data analysis, and no comparison with the current RetroPGF allocation rule appears anywhere in the supplied manuscript.","tokens_in":17159,"tokens_out":2524,"duration_ms":32096,"significance":"The application of strategyproof, welfare-maximizing mechanisms to large-scale DAO funding is a timely and practically important question, and the abstract identifies a real allocation problem involving substantial funds. If the claimed result were properly derived, it could inform governance design in the blockchain ecosystem. However, as submitted, none of these claims can be evaluated: the supporting content is absent, and the central theoretical transfer from a single-peaked, single-dimensional mechanism to the multidimensional RetroPGF setting is unstated and unproved. The significance of the work cannot be assessed from the supplied text.","major_comments":[{"comment":"The full text of the submission is arXiv:2508.16287v2, 'Homotopy Classification of Closed Polygonal Lines', an expository paper in algebraic topology. It contains no material about Optimism, RetroPGF, DAOs, voting, or social choice. Consequently, the abstract's central assertions — that the current system has 'significant shortcomings', that a 'formal framework' is provided, and that adopting moving phantoms 'enhance[s] social welfare (using the L1 norm) while satisfying strategyproofness' — have no supporting derivation, proof, data, or error analysis in the manuscript. This is a load-bearing gap: there is no way to verify or falsify the paper's central claim from the submitted body.","section":"Full text (all sections)"},{"comment":"The recommendation to adopt the utilitarian moving phantoms mechanism silently imports the mechanism's guarantees from Freeman et al. (2019). That mechanism is defined for single-peaked preferences over a linear order of alternatives. RetroPGF ballots are naturally multidimensional: voters allocate scores or OP tokens across many independent projects rather than reporting a single point on a line. The abstract gives no argument, and the body contains no argument, that real RetroPGF preference profiles lie in the domain where the moving-phantoms strategyproofness and L1-welfare theorems hold. Without such a domain transfer, the claimed guarantees do not follow from the cited prior work; the central recommendation is therefore unsupported.","section":"Abstract, recommendation sentence"},{"comment":"The abstract promises 'a formal framework for designing improved funding mechanisms for DAOs', but the manuscript provides no formal model of voters, projects, the current allocation rule, or the proposed mechanism. There is no definition of the L1 social welfare objective in the RetroPGF context, no theorem stating the conditions under which moving phantoms dominates the existing rule, and no treatment of the multi-project, multi-round features that distinguish RetroPGF from a single-dimensional social-choice problem. This is not a presentation issue but a missing central derivation.","section":"Abstract, formal framework claim"},{"comment":"The abstract asserts that the current RetroPGF allocation system has 'significant shortcomings' and references four completed rounds allocating over 100M dollars, but provides no data, empirical analysis, or even a qualitative description of the specific flaws being addressed. While this is an empirical claim rather than a formal one, it is load-bearing for the motivation: without a documented baseline, the claimed welfare improvement relative to the current system cannot be assessed.","section":"Abstract, shortcomings claim"}],"minor_comments":[{"comment":"The paper's title, authors, and abstract in the submission metadata refer to a social-choice analysis of Optimism RetroPGF, while the full-text article has a different title and different authors. This is a severe metadata mismatch; at minimum the manuscript needs to be recompiled or resubmitted with the correct body.","section":"Title and metadata"},{"comment":"The abstract cites Freeman et al. (2019) by name but the body contains no bibliography entry for it. No sources are given for the claim that four RetroPGF rounds allocated over 100M dollars or that 1.3B dollars are reserved for future rounds.","section":"References"},{"comment":"The manuscript does not discuss existing work on DAO voting mechanisms, quadratic funding, or the extensive literature on multi-winner and participatory budgeting, all of which are directly relevant to the claimed contribution.","section":"Related work"}],"recommendation":"reject","confidential_remarks":"The submitted full text is an entirely unrelated topology paper, so the manuscript cannot be reviewed as a social-choice contribution. This appears to be a submission or arXiv-linking error rather than an ordinary technical flaw. I would recommend rejection or withdrawal of this version; if the correct full text exists, it should be submitted as a new manuscript and undergo standard review with a proper abstract-body correspondence."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the file you sent me is two mismatched pieces. The abstract describes a social choice analysis of Optimism's RetroPGF, recommending the utilitarian moving phantoms mechanism. The full text attached is a topology preprint about homotopy classification of closed polygonal lines. So there is no actual paper here to referee. That's the first problem.\n\nThe second problem is in the abstract itself. The recommendation imports the strategyproofness and L1-welfare guarantees from Freeman et al. 2019. Those guarantees live on a specific domain: single-peaked preferences over a linear order. RetroPGF voters submit scores across many independent projects, which is multidimensional. The abstract gives no argument that real RetroPGF profiles fall into that domain. Without that, the guarantees don't transfer and the recommendation doesn't follow. This isn't a vague realism worry; it's a load-bearing condition. The stress-test note gets this right.\n\nCredit where it's due: the authors are honest that the mechanism is from 2019, so they're not claiming the mechanism as new. The application question is genuinely interesting—over $100M has been distributed, $1.3B is reserved, and moving phantoms is a plausible candidate. If the actual paper exists and addresses the domain question, it could be a useful applied piece.\n\nBut as submitted, we have an abstract with assertions and a body that is irrelevant. The 'significant shortcomings' and the 'formal framework' appear only as phrases; there's no formulation, no proof, no data, no simulations. So soundness is unassessable. The mismatch between abstract and body is not a pipeline artifact; it's what we're given. I'm treating it as part of the manuscript, and it makes the submission structurally incoherent.\n\nWould I send this to peer review? No, not in this form. A serious editor should desk reject and ask the authors to submit the actual paper. If and when they do, it should go through review, with specific attention to the domain restriction and to whether L1 social welfare is the right objective. For a reading group, there's no paper to discuss yet. I'd use the abstract as a cautionary example of how not to import a mechanism's guarantees.","headline":"Promising abstract, but the delivered file is an unrelated topology preprint and the domain gap for moving phantoms is load-bearing—not reviewable as submitted.","tokens_in":17796,"tokens_out":3614,"would_cite":false,"duration_ms":38633,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The abstract argues RetroPGF should switch to a moving-phantoms vote rule to raise L1 social welfare and block strategic voting, but the supplied body never analyzes RetroPGF.","keywords":["RetroPGF","Optimism","DAO governance","moving phantoms","strategyproofness","L1 social welfare","public goods funding","computational social choice"],"falsifier":"Gather the ballots from a completed RetroPGF round, encode each voter's reported support for projects as points on a line, and test whether the utilitarian moving phantoms outcome beats the realized allocation under L1 utility; also run a manipulation test by simulating misreports. If the mechanism's outcome does not dominate, or if the preference profiles are not single-peaked, the central claim collapses.","tokens_in":16827,"feed_emoji":"🗳️","tokens_out":7462,"duration_ms":78825,"temperature":0.7,"pith_summary":"The paper points to Optimism's Retroactive Project Funding (RetroPGF), a DAO program that has already allocated more than $100M in OP tokens over four rounds with $1.3B reserved, and proposes changing how voters' opinions are aggregated. The proposal is to adopt a utilitarian moving phantoms mechanism, originally introduced by Freeman et al. 2019, which the paper says improves L1-norm social welfare while satisfying strategyproofness. A sympathetic reader would care because this is a test of whether formal mechanism design can improve real decentralized governance at scale. The manuscript supplied with this abstract, however, is an expository topology text on homotopy classification of closed polygonal lines; it contains no analysis of RetroPGF, so the recommendation is not supported in the provided body.","feed_headline":"RetroPGF should adopt moving-phantom voting, abstract says","feed_subtitle":"The proposed rule promises more welfare and no strategic voting; the supplied body never analyzes RetroPGF.","key_machinery":"The moving phantoms mechanism: a voting rule (from Freeman et al. 2019) in which each voter's report is represented on a line and 'phantoms' are placed on that line to determine the outcome; it is built to guarantee strategyproofness and to optimize social welfare under the L1 norm. In the abstract, it is the machinery claimed to improve RetroPGF. The body of the provided manuscript provides no description of this mechanism; instead its machinery is the winding number and cyclic Poincaré words for homotopy classification of polygonal lines.","core_discovery":"The central discovery the authors state is that the current RetroPGF allocation system has significant shortcomings and that a utilitarian moving phantoms mechanism can fix them: the mechanism maximizes L1-norm social welfare and is strategyproof, both properties aligned with the governance requirements. The moving phantoms mechanism is the carrying object; it is imported from Freeman et al. (2019) and proposed as the aggregation rule for RetroPGF ballots. What is missing in the full text provided is any connection between these two claims: the body develops winding numbers and homotopy classification of polygonal lines, not voting mechanisms. Thus the abstract's recommendation stands alone","pith_inferences":["A testable extension would be to simulate moving phantoms against RetroPGF's actual ballots and compare L1-welfare against the realized allocations; if the abstract's claim holds, the simulated outcome should dominate on that metric.","The guarantee probably depends on RetroPGF voters' preferences being representable in a single-dimensional single-peaked domain; if preferences are multidimensional, the same rule may not be strategyproof, and a different mechanism (e.g., sequential per-project votes or multidimensional medians) would be needed.","Choosing L1 social welfare as the objective is a governance value judgment; the paper assumes it is the right metric, but a DAO might instead weight minority projects or use budget constraints."],"forward_implications":["If the claim is correct, RetroPGF's next rounds would allocate OP tokens according to a rule under which no voter can gain by misreporting, removing strategic maneuvering.","Adoption would be expected to increase L1-norm social welfare relative to the current aggregation, meaning larger total reported utility across voters for the same budget.","The same framework could be applied to other DAO funding rounds or any public-goods allocation that uses preference ballots.","The paper's formal treatment gives DAO designers a template for checking a mechanism for strategyproofness before deployment.","A corollary is that the current mechanism is suboptimal and should be replaced; the paper expects this to matter at the more than $100M scale."],"supporting_citations":[{"why":"Supplies the utilitarian moving phantoms mechanism whose L1-welfare and strategyproofness guarantees the paper imports for RetroPGF.","marker":"Freeman et al. (2019)"}],"fun_headline_variants":["Abstract urges moving-phantom voting for RetroPGF","RetroPGF fix: moving phantoms, but body goes off course","Paper claims moving phantoms improve RetroPGF, yet proof missing","Moving phantoms for RetroPGF: abstract's promise, paper's gap","RetroPGF voting: abstract touts moving phantoms, body digresses"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The load-bearing premise is that RetroPGF voters' preferences over projects can be represented as single-peaked preferences on a line, the domain where the moving phantoms mechanism's strategyproofness and L1-welfare guarantees are proven; the manuscript supplies no evidence that real multi-project RetroPGF preferences satisfy this.","fun_headline_variants_meta":{"raw":{"variants":["Abstract urges moving-phantom voting for RetroPGF","RetroPGF fix: moving phantoms, but body goes off course","Paper claims moving phantoms improve RetroPGF, yet proof missing","Moving phantoms for RetroPGF: abstract's promise, paper's gap","RetroPGF voting: abstract touts moving phantoms, body digresses"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000198,"raw_usage":{"total_tokens":1200,"prompt_tokens":732,"completion_tokens":468,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":476,"completion_tokens_details":{"reasoning_tokens":369}},"tokens_in":476,"tokens_out":468,"duration_ms":4713,"temperature":1.0,"reasoning_tokens":369,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T17:24:38.367980+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Gather the ballots from a completed RetroPGF round, encode each voter's reported support for projects as points on a line, and test whether the utilitarian moving phantoms outcome beats the realized allocation under L1 utility; also run a manipulation test by simulating misreports. If the mechanism's outcome does not dominate, or if the preference profiles are not single-peaked, the central claim collapses.","supporting_citations":[{"cited_title":"Truthful aggregation of budget proposals","cited_arxiv_id":null,"evidence_quote":"Supplies the utilitarian moving phantoms mechanism whose L1-welfare and strategyproofness guarantees the paper imports for RetroPGF."}],"review_version":1}