{"id":"47b00c8d-e14e-40e5-9ca6-b8b6de0ee379","arxiv_id":"2607.28155","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Elementary set and finite-automata models of the Autopsias live score-transformation system are proposed as a first step toward orthography for dynamic musicography.","lead":"The paper sketches basic set, topology, and finite-automata notation for the Autopsias system, in which printed scores are dissected and rebuilt live on screen. It argues this framing can start a readability toolkit for dynamic computer music notation, but offers little validation.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.5","headline":"The finite-automaton and topology overlay never connects path structure to any readability outcome, so the central claim that mathematics addresses dynamic-score readability remains unanchored.","rationale":"The Reader correctly isolates the weakest assumption: that modeling relocated fragments as vertices of a finite automaton (and invoking topological invariants vs tears) is an adequate account of performer readability. That assumption is load-bearing for the strongest claim, and the manuscript never discharges it; the math stops at two illustrative path languages and a metaphor. No theorems, no readability metrics, and no controlled comparison appear. The concern therefore stands, and the Reader’s CONDITIONAL verdict (acceptable only as an early sketch once claims are narrowed and validation or a concrete orthographic proposal is added) remains the appropriate disposition. No stronger rejection is warranted because the paper presents itself as a starting framework rather than a completed empirical or formal result; no weaker acceptance is warranted because the central readability claim is still unanchored.","tokens_in":10172,"tokens_out":613,"duration_ms":11204,"concrete_test":"Extract the actual sequence of fragments performed in one of the linked Autopsias videos (e.g. the Brouwer or Zgraja realization). Encode that sequence as a word over the claimed alphabet and check whether it is generated by the regular expression of G_aut (eq. 10) but not by G_orig (eq. 9). Separately, obtain a short performer report or error log for the same excerpt. If the word lies outside both languages, or if no difference in reported readability tracks the change in accepted language, the automata model does not underwrite the readability claim.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper’s strongest claim is that Autopsias performances show mathematics (topology + finite automata, analogous to pitch-class sets) helps understand music information/performance and that orthographic rules must be augmented. The only formal apparatus offered is the pair of automata G_orig = ⟨{a,b,c,d},{X,Y,Z,U}⟩ | (abcd)* and G_aut = ⟨{a,b,c,d},{X,Y,Z,W,U}⟩ | (a(d)?cb)* (eqs. 9–10, Figs. 9–11) together with the informal assertion that “a teared score does not imply a teared performance.” These constructions merely restate that fragment order can change; they supply neither an invariant that is preserved under the Autopsias map F_autopsia (eq. 11), nor a metric of path complexity, nor any mapping from path language to observed performer behavior. Consequently the leap from “we can draw two graphs” to “mathematics addresses readability / orthography must be expanded” is unsupported by the given definitions. The linked videos document artistic outcomes but do not constitute the missing measurement.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper argues that readability problems in dynamic (animated/algorithmic) musicography can be addressed by mathematical tools, taking the Autopsias meta-compositional system as case study. Autopsias transforms a performer-supplied score in real time by selecting and relocating fragments (morphemes). The authors introduce basic set/sequence notation for fragments S_i = ⟨t, p, d⟩, a transformed set A, and directed-graph/finite-automaton models G_orig vs G_aut of reading order (eqs. 1–11, Figs. 9–11). They claim topology (invariants vs ‘tears’) shows a torn score need not yield a torn performance, that mathematics analogous to pitch-class sets helps understand music information and performance, and that orthographic rules must be augmented to improve composer–performer dialogue.","tokens_in":10453,"tokens_out":1250,"duration_ms":27650,"significance":"If the framework delivered a usable readability metric, preserved invariants under the Autopsias map, or empirically linked path structure to performer behavior, it would be a genuine contribution to computer-music notation, HCI for scores, and the extension of mathematical music theory beyond pitch-class sets. The artistic documentation (videos, live Autopsias realizations) and the clear statement of the readability problem are strengths. As written, however, the formal content remains definitional restatement of fragment reordering; no theorems, invariants, complexity measures, or performer data are supplied. The significance is therefore prospective rather than demonstrated.","major_comments":[{"comment":"§§4.b–5 and eqs. (6)–(10): G_orig = ⟨{a,b,c,d},{X,Y,Z,U}⟩ | (abcd)* and G_aut = ⟨{a,b,c,d},{X,Y,Z,W,U}⟩ | (a(d)?cb)* merely encode that fragment order can change. No invariant is shown to be preserved by F_autopsia (eq. 11), no path-complexity or language-theoretic measure is defined, and no mapping from the automata to observed readability or performance outcomes is given. The leap from ‘we can draw two graphs’ to ‘mathematics addresses readability’ is therefore unsupported.","section":"§4.b, eqs. (9)–(10)"},{"comment":"Introduction and §2 invoke topology (invariants vs tears) as the key tool that distinguishes a torn score from a non-torn performance, yet no topological space, continuous map, or concrete invariant is ever defined or computed on the score or on the performance. The claim remains metaphorical and does not underwrite the central readability argument.","section":"Introduction, §2"},{"comment":"Abstract, Aims, and Main Contribution assert that Autopsias performances ‘show’ mathematics helps understand music information/performance and necessitate new orthography. The manuscript contains only illustrative videos and informal description; there is no performer study, readability metric, baseline comparison, or systematic observation protocol. Without such evidence the contribution claim is not established.","section":"Abstract / Main Contribution"},{"comment":"Eq. (11) introduces an unspecified function F that may alter time, pitch and duration of each morpheme. The subsequent discussion never constrains F, never states what remains invariant under F, and never links changes in parameters to readability. The formal apparatus therefore cannot yet serve as a framework for orthographic rules.","section":"§4.a–4.b, eq. (11)"}],"minor_comments":[{"comment":"Abstract and throughout: ‘cynetic musicography’ is almost certainly a misspelling of ‘kinetic’; correct consistently.","section":"Abstract"},{"comment":"Eqs. (1)–(5) mix angle brackets, set braces and implication arrows with inconsistent spacing and undefined symbols (e.g., script I). Standardize notation and define every symbol at first use.","section":"§4.a"},{"comment":"Figures 9–11 are described but the actual automata diagrams are not reproduced with sufficient clarity in the text; ensure edge labels and accepting conditions are legible.","section":"§4.b"},{"comment":"Several bibliographic entries lack page numbers or DOIs; Stroppa 1999 and Tenney & Polansky 1968 should be checked for completeness. ‘Wolfhart’ in the text is ‘Wohlfahrt’ in the references.","section":"References"},{"comment":"Language is frequently non-idiomatic (‘a teared score’, ‘the mathematical systematization of the qualia of music’, ‘comprovisational’). A thorough copy-edit by a native speaker familiar with the field is needed.","section":null},{"comment":"The term ‘morpheme’ is taken from Stroppa but later the authors note it should become ‘clang’ (Tenney); decide on one terminology and justify the choice.","section":"§5, footnote 3"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is an early-stage conceptual sketch rather than a finished research contribution. It may be better suited to a workshop or position-paper track than to a full journal article in its present form. The artistic practice is genuine and the problem statement is real; with a concrete readability measure, even a small performer study, and a rigorously defined invariant the paper could become publishable. Scope fit for cs.HC is borderline—more music-theory / computer-music than core HCI—unless the revision emphasizes the human-readable interface aspect."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This is a short conceptual note that takes the authors’ Autopsias live re-layout practice and writes it down with elementary sets and two finite automata (G_orig vs G_aut). That encoding of reading paths for the same fragments is the only real novelty; everything else is standard toolkit (Hopcroft/Ullman automata, Aarseth hypertext topology, Mazzola/Tymoczko geometric music theory) plus loose topological metaphors about invariants and “tears.”\n\nWhat it does well is document a concrete live-score workflow with linked videos and clear figures, and it correctly flags that dynamic musicography needs better shared orthography between composers and performers. The definitions (morpheme triples, A ⊂ V, the two path languages) are clean enough as notation. Circularity is not the problem; the paper is not fitting parameters to force a result.\n\nThe soft spot is load-bearing and exactly where the stress-test lands: the automata merely restate that fragment order can change. There is no invariant preserved under F_autopsia, no path-complexity metric, no performer study, and no mapping from G_aut to observed readability. The leap from “we can draw two graphs” to “mathematics addresses readability / orthography must be expanded” is therefore unsupported. Topology is invoked more as rhetoric than as working mathematics. Significance stays inside experimental computer-music / HCI notation practice.\n\nWho it is for: people already working on animated or live scores who want a starting vocabulary. A serious referee could push it toward a precise orthographic proposal or a small validation study; as written it is an early position sketch. I would send it to review with that expectation of heavy revision, not desk-reject it. I would not cite it myself in the next year and would only bring it to reading group if we were specifically collecting live-score case studies.","headline":"Elementary automata/set overlay on the authors’ Autopsias live-score practice; the readability claim is asserted, not measured.","tokens_in":11120,"tokens_out":479,"would_cite":false,"duration_ms":16255,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["00A65","68Q45"],"pacs":[],"model":"grok-4.5","headline":"Dynamic computer music scores become readable when their moving fragments are modeled with topology and finite automata.","keywords":["dynamic musicography","mathematics","computer music","topology","finite automata","music notation","readability","meta-composition"],"falsifier":"Record multiple Autopsias performances of the same source score; if the observed successions of fragments systematically violate the edges of G_aut, or if performers report no usable continuity between original and rebuilt versions despite the model predicting invariants, the central readability claim fails.","tokens_in":10984,"feed_emoji":"🎼","tokens_out":849,"duration_ms":24463,"temperature":0.7,"pith_summary":"Computer-generated scores that move, animate, or reassemble themselves in real time share a chronic readability problem for performers. This paper takes the Autopsias meta-compositional system—live dissection and spatial reorganization of a printed score—as a case study and argues that basic topology and finite-automaton graphs can describe what stays invariant under those transformations. By treating chosen fragments as vertices and legal successions as edges, the authors distinguish an original left-to-right reading path from the freer paths of the rebuilt score, and claim that a geometrically torn score need not produce a torn performance. The point is to begin a mathematical orthography that lets composers and players share a common language for kinetic notation, analogous to the way pitch-class sets once organized pitch. A sympathetic reader cares because dynamic musicography is already in use yet still lacks shared reading rules; a workable formal account would turn improvisation conditioned by prior performance into a teachable, designable practice.","feed_headline":"Math makes torn animated scores still playable","feed_subtitle":"Topology and automata show why a dissected score need not tear the performance itself","key_machinery":"Finite-automaton graphs G = ⟨Ω, E⟩ whose vertices are chosen score fragments (morphemes) and whose edges encode which fragment may follow which; comparison of the original linear automaton G_orig with the rewired Autopsias automaton G_aut, together with the topological distinction between invariants and tears.","core_discovery":"Performances of Autopsias show that mathematics—topology together with finite-automaton schemes—can organize music information and its performance beyond pitch, revealing that a geometrically torn score does not imply a torn performance and that orthographic rules for dynamic musicography must therefore be enlarged.","pith_inferences":["The same automaton-plus-topology lens could be applied to other real-time score systems (animated staves, generative lead sheets) without requiring the Autopsias workflow itself.","If performer intention overwrites the graph edges more often than the model allows, the framework may need an explicit layer for intentional ‘tearing’ rather than treating all deviations as noise.","Temporal gestural units mentioned as future work could turn the static vertices into timed objects, linking the graph model to existing phenomenological analyses of musical form."],"forward_implications":["Composers of animated or algorithmically rewritten scores can design fragment graphs explicitly so performers know the legal paths in advance.","A new orthography for dynamic musicography becomes possible, treating spatial placement and succession rules as first-class notation elements.","Dialogue between composer and performer can shift from ad-hoc rehearsal negotiation to shared inspection of the automaton and its topological invariants.","Analysis of improvisation or comprovisation conditioned by prior performance gains a formal language comparable to pitch-class set theory."],"fun_headline_variants":["Topology keeps torn dynamic scores playable","Autopsias shows math holds dissected scores together","Finite automata organize kinetic musicography performance","Torn animated scores need not tear the performance","Math enlarges orthography for dynamic music scores"],"cache_read_input_tokens":128,"weakest_assumption_plain":"Modeling relocated fragments as vertices of a finite automaton, and calling some changes ‘tears’ while others remain ‘invariants,’ is enough to explain or predict what musicians can actually read and play.","fun_headline_variants_meta":{"raw":{"variants":["Topology keeps torn dynamic scores playable","Autopsias shows math holds dissected scores together","Finite automata organize kinetic musicography performance","Torn animated scores need not tear the performance","Math enlarges orthography for dynamic music scores"]},"model":"grok-4.5","effort":"low","cost_usd":0.003865,"raw_usage":{"total_tokens":1236,"prompt_tokens":779,"num_sources_used":0,"completion_tokens":49,"cost_in_usd_ticks":38648000,"prompt_tokens_details":{"text_tokens":779,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":408,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":779,"tokens_out":49,"duration_ms":6787,"temperature":1.0,"reasoning_tokens":408,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T16:08:47.149352+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Record multiple Autopsias performances of the same source score; if the observed successions of fragments systematically violate the edges of G_aut, or if performers report no usable continuity between original and rebuilt versions despite the model predicting invariants, the central readability claim fails.","supporting_citations":[],"review_version":1}