{"id":"01418f95-fcfb-4de5-aa2a-f51c090160b6","arxiv_id":"2605.28484","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Presents the Writer comonad (DeletionSet x Zipper) as a new compositional framework for Finnish morphophonological rules, reducing representation from 874 continuation classes to 13 coKleisli arrows with 83.92% UPOS accuracy on UD Finnish-TDT.","lead":"The paper introduces a comonadic framework using the Writer comonad to compose context-dependent morphophonological rules like consonant gradation and vowel harmony in Finnish as coKleisli arrows. This algebraic approach aims to avoid state explosion in finite-state transducers while supporting bidirectional analysis and generation.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Whether Writer comonad coKleisli extension recovers exact global behavior for length-changing rules without deletion loss","rationale":"The reader's weakest assumption is precisely the load-bearing point; the abstract-only review correctly flags the unverified faithfulness of the local-to-global recovery. No other internal inconsistency is visible from the given material.","tokens_in":1792,"tokens_out":316,"duration_ms":19529,"concrete_test":"Take the 13 coKleisli arrows, apply their coKleisli extensions to the full set of consonant-gradation and vowel-harmony test cases from Omorfi's regression suite, and measure exact string match rate; if deletion or length-change cases diverge on >2% of inputs, the equivalence claim does not hold.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that every Finnish morphophonological rule (including length-changing ones) is faithfully a local function from focused context to one segment, and that coKleisli extension under the Writer comonad (DeletionSet × Zipper) recovers the identical global string transformation that Omorfi encodes. The construction treats deletions as a monoid action rather than materializing intermediates; if the monoid action or zipper focus loses ordering or context information on composition, or if any rule requires non-local information not captured by the focused view, the claimed 67:1 reduction and bidirectional reuse both fail. No machine-checked proof or exhaustive enumeration of the 13 arrows against Omorfi's 874 classes is referenced.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript presents a comonadic framework for Finnish morphophonology, modeling each rule as a coKleisli arrow under the Writer comonad (DeletionSet × Zipper). This allows compositional handling of length-changing rules, with 13 such arrows replacing 874 continuation classes from Omorfi (67:1 reduction), 83.92% UPOS accuracy on UD Finnish-TDT using rule-only disambiguation, and support for bidirectional morphology via reuse of analysis arrows for generation.","tokens_in":1949,"tokens_out":515,"duration_ms":26505,"significance":"Should the framework be shown to correctly recover global transformations without loss, it would offer a significant algebraic alternative to finite-state methods for morphophonology, addressing state explosion while providing formal compositionality and bidirectionality. The approach could influence both theoretical linguistics and practical NLP systems by enabling machine-checkable rule systems.","major_comments":[{"comment":"Abstract: the reported 67:1 rule reduction from 874 continuation classes to 13 coKleisli arrows and the 83.92% UPOS accuracy are stated without derivation details, error analysis, baseline comparisons, or enumeration of the arrows, preventing verification of the central claim.","section":"Abstract"},{"comment":"The Writer comonad (DeletionSet × Zipper) section: the claim that coKleisli extension recovers exact global behavior for length-changing rules (including deletions as monoid action without information loss or incorrect handling) lacks a formal proof, machine-checked verification, or exhaustive test against Omorfi classes; this is load-bearing for both the reduction and the bidirectional reuse.","section":"Writer comonad construction"},{"comment":"Evaluation: the UD Finnish-TDT results provide no error analysis or direct comparison to Omorfi, leaving open whether the local-to-global mapping via the comonad faithfully reproduces all behaviors or fails on non-local or ordering-sensitive cases.","section":"Evaluation"}],"minor_comments":[{"comment":"The notation for DeletionSet, Zipper, and coKleisli arrows would benefit from additional concrete examples of rule application in the main text.","section":null},{"comment":"A table mapping the 13 arrows to representative Omorfi continuation classes would improve clarity of the claimed reduction.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the constructive feedback highlighting areas where additional detail would strengthen the manuscript. We address each major comment below, indicating planned revisions where appropriate. The core claims rest on the comonadic construction and empirical results, which we will clarify further.","responses":[{"response":"The abstract is intentionally concise, but the derivation of the 13 arrows from Omorfi continuation classes is given in Section 3.2 with mappings for each rule type (consonant gradation, vowel harmony, etc.). The accuracy is computed in Section 5 from rule-only disambiguation on UD Finnish-TDT. To improve verifiability, we will add an explicit enumeration table of the 13 arrows and their coverage in an appendix and include a brief baseline note comparing to a simple FST baseline.","revision_made":"partial","referee_comment":"[Abstract] Abstract: the reported 67:1 rule reduction from 874 continuation classes to 13 coKleisli arrows and the 83.92% UPOS accuracy are stated without derivation details, error analysis, baseline comparisons, or enumeration of the arrows, preventing verification of the central claim."},{"response":"Section 3 defines the Writer comonad and coKleisli extension, with an argument that the monoid action on DeletionSet records deletions separately, allowing extend to reconstruct the global string without loss. A full formal proof is absent from the current version; we will add a detailed proof sketch in the revision showing that compositionality holds for length-changing cases. Machine-checked verification and exhaustive testing of all 874 classes are not provided.","revision_made":"yes","referee_comment":"[Writer comonad construction] The Writer comonad (DeletionSet × Zipper) section: the claim that coKleisli extension recovers exact global behavior for length-changing rules (including deletions as monoid action without information loss or incorrect handling) lacks a formal proof, machine-checked verification, or exhaustive test against Omorfi classes; this is load-bearing for both the reduction and the bidirectional reuse."},{"response":"We agree that error analysis and direct comparison would address concerns about fidelity. In the revised manuscript we will add a breakdown of the 16.08% error cases by rule type and include a side-by-side token accuracy comparison against Omorfi on the same UD Finnish-TDT split to confirm that the comonadic mapping reproduces the expected behaviors on the evaluated data.","revision_made":"yes","referee_comment":"[Evaluation] Evaluation: the UD Finnish-TDT results provide no error analysis or direct comparison to Omorfi, leaving open whether the local-to-global mapping via the comonad faithfully reproduces all behaviors or fails on non-local or ordering-sensitive cases."}],"tokens_in":1467,"tokens_out":635,"duration_ms":48967,"standing_objections":["Machine-checked verification of the coKleisli extension recovering exact global behavior for all length-changing rules.","Exhaustive test against all 874 Omorfi continuation classes."]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that this work defines each morphophonological rule as a function from focused local context to one output segment and lifts them via a new Writer comonad (DeletionSet × Zipper) so that length-changing rules compose strictly as coKleisli arrows. Thirteen such arrows are said to cover the behaviors that Omorfi handles with 874 continuation classes, and the same arrows are reused for generation.\n\nThe construction is new in this domain and gives a formal algebraic route that sidesteps both FST state explosion and neural opacity. Treating deletions as a monoid action rather than materializing strings is a reasonable move if it preserves ordering and context.\n\nThe soft spot is that the abstract supplies the 67:1 count and 83.92% UPOS accuracy on UD Finnish-TDT but no derivation of the thirteen arrows, no error analysis, and no direct check that coKleisli extension matches Omorfi output on every case. The stress-test worry about information loss in the monoid or zipper is therefore still open; without those details the central claim cannot be assessed.\n\nThis is for people working on compositional morphology for Finnish or similar languages who want an alternative to transducers. A reader interested in whether comonads can simplify rule systems will find the framework worth examining even if the empirical validation needs strengthening.\n\nI would send it to peer review so the full arrows and composition checks can be evaluated.","headline":"The paper introduces a Writer comonad to make length-changing Finnish morphophonology rules compose as local coKleisli arrows, claiming a 67:1 reduction, but the abstract leaves the exact recovery claim unverified.","tokens_in":2426,"tokens_out":380,"would_cite":false,"duration_ms":18393,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Morphophonological rules in Finnish compose as coKleisli arrows under the Writer comonad.","keywords":["comonadic morphophonology","Writer comonad","Finnish morphology","coKleisli arrows","morphological rules","bidirectional morphology","context-dependent rules"],"falsifier":"A Finnish word on which the thirteen coKleisli arrows produce a surface form different from the one generated by Omorfi's continuation classes.","tokens_in":2679,"feed_emoji":"🔄","tokens_out":611,"duration_ms":33724,"temperature":0.7,"pith_summary":"The paper shows that each context-dependent rule such as consonant gradation or vowel harmony can be written as a function from a focused local context to one output segment. These local functions become coKleisli arrows of a Writer comonad whose deletion-tracking component lets length-changing rules compose without materializing intermediate strings. The construction replaces the 874 continuation classes used by Omorfi with only thirteen arrows while preserving the same surface behaviors. The same arrows support both analysis and generation, and a rule-only system reaches 83.92 percent UPOS accuracy on the UD Finnish-TDT treebank.","feed_headline":"Thirteen arrows replace 874 classes for Finnish rules","feed_subtitle":"Writer comonad lets local context-to-segment maps compose globally while supporting both analysis and generation.","key_machinery":"Writer comonad (DeletionSet x Zipper): pairs a monoid of deletions with a zipper over the word so that local rules extend to full transformations via coKleisli composition.","core_discovery":"The Writer comonad (DeletionSet × Zipper) restores strict coKleisli compositionality for length-changing morphophonological rules, so that each rule remains a local map from focused context to output segment whose global effect is recovered exactly by coKleisli extension.","pith_inferences":["The same comonadic pattern may transfer to other languages whose morphophonology involves deletions or harmony.","The algebraic separation of local rules from global extension could let formal proofs replace exhaustive testing of morphological interactions.","Reusing analysis arrows for generation suggests a route to maintain consistency between a morphological analyzer and its generator."],"forward_implications":["Thirteen coKleisli arrows express the behaviors previously encoded by 874 continuation classes.","The same set of arrows supports both morphological analysis and generation.","Context-dependent rules compose without the state explosion that arises from transducer products.","Rule-only disambiguation yields 83.92 percent UPOS accuracy on UD Finnish-TDT."],"fun_headline_variants":["Writer comonad composes Finnish morph rules globally","CoKleisli arrows reduce Finnish classes 67 to 1","Comonad enables bidirectional Finnish morphology","Local context maps form comonadic Finnish rules","DeletionSet zipper restores rule compositionality"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Every morphophonological rule in Finnish can be represented faithfully as a function from a focused local context to a single output segment whose global behavior is recovered exactly by coKleisli extension.","fun_headline_variants_meta":{"raw":{"variants":["Writer comonad composes Finnish morph rules globally","CoKleisli arrows reduce Finnish classes 67 to 1","Comonad enables bidirectional Finnish morphology","Local context maps form comonadic Finnish rules","DeletionSet zipper restores rule compositionality"]},"model":"grok-4.3","cost_usd":0.005977,"raw_usage":{"total_tokens":2837,"prompt_tokens":677,"num_sources_used":0,"completion_tokens":68,"cost_in_usd_ticks":59774500,"prompt_tokens_details":{"text_tokens":677,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2092,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":677,"tokens_out":68,"duration_ms":18214,"temperature":1.0,"reasoning_tokens":2092,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T13:27:37.433304+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A Finnish word on which the thirteen coKleisli arrows produce a surface form different from the one generated by Omorfi's continuation classes.","supporting_citations":[],"review_version":1}