plurimath 0.10.4 → 0.10.5

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 7aad5adc31e4e7391ca43f1e6c4608d00710092037b26a0a42c6f47de06c8524
-  data.tar.gz: 89f63ecb2b54a96a2326802917e54a6dd82ba55426d173fe575010d3ac706524
+  metadata.gz: df50cd9d9fe202d3c2847ab7bd9cc5f40d702c9e531c80f62eff307dea491111
+  data.tar.gz: 27221b3755dca96be34fb924a83fa1fa495890f079b7f1f360f4b4f290286f3c
 SHA512:
-  metadata.gz: d4b5a070148d62563d62bd3f363cecdcf309a95d97de74f4a7b4c0221f8364631b63780d11521a6e1d6666b7f30e28e16e5257938e9b13ac0859a6f0c9375f38
-  data.tar.gz: 0a3c516e3b3da885fca07a94d36967998ebf0c9c7f4b046f0110062434c3da70e47c03b31af33acbffeb5c3d6a5a398daac7ea15f3cb9b066444c51402d320da
+  metadata.gz: 37f43e179e056e95e857a4c6a79c810a6bd8922fba767607195b0e354376017b9329a8e29adc996aa495605d86d1f8244aaa42f07228a7acd882d785cd762e94
+  data.tar.gz: b7733abb9f05a78266577ec20b656b71c7d33a7c5db76823e7191906771645074944d29676b98c23bbbf26a21c5d14c6ef6c157aad59cbfa26464c4a72c5eee9

data/lib/plurimath/mathml/translator.rb

@@ -338,8 +338,7 @@ module Plurimath
       def msqrt_to_sqrt(sqrt)
         children = content_children(sqrt)
         radicand = children.filter_map { |child| mml_to_plurimath(child) }
-        radicand = radicand.first if radicand.size == 1
-        Plurimath::Math::Function::Sqrt.new(radicand)
+        Plurimath::Math::Function::Sqrt.new(wrap_children(radicand))
       end
 
       # MathML element: <mroot> radicand index

data/lib/plurimath/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Plurimath
-  VERSION = "0.10.4"
+  VERSION = "0.10.5"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: plurimath
 version: !ruby/object:Gem::Version
-  version: 0.10.4
+  version: 0.10.5
 platform: ruby
 authors:
 - Ribose Inc.
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2026-05-02 00:00:00.000000000 Z
+date: 2026-05-14 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bigdecimal
@@ -180,35 +180,6 @@ files:
 - MathML-Supported-Data.adoc
 - README.adoc
 - Rakefile
-- TODO.bad_symbols.md
-- TODO.bugs/01-unitsml-enoent.md
-- TODO.bugs/02-system-stack-error-cloned-objects.md
-- TODO.bugs/03-omml-underover-displaystyle.md
-- TODO.bugs/04-unitsml-spec-diffs.md
-- TODO.bugs/05-omml-greek-entity-encoding.md
-- TODO.bugs/mml_custom_model_child_order.md
-- TODO.fix-fails/01-phantom-whitespace.md
-- TODO.fix-fails/02-table-parentheses-latex.md
-- TODO.fix-fails/03-longidv-tag-mathml.md
-- TODO.fix-fails/04-mmultiscript-none-mathml.md
-- TODO.fix-fails/05-mstyle-nary-oint-mathml.md
-- TODO.fix-fails/06-issue-238-mathml.md
-- TODO.fix-fails/07-metanorma-bipm-latex.md
-- TODO.fix-fails/08-metanorma-itu-latex.md
-- TODO.fix-fails/09-omml-greek-encoding.md
-- TODO.fix-fails/10-omml-underover-greek.md
-- TODO.fix-fails/11-omml-multiscripts-zwsp.md
-- TODO.fix-fails/12-omml-oint-integral.md
-- TODO.fix-fails/13-omml-nary-prod.md
-- TODO.fix-fails/14-omml-empty-mo.md
-- TODO.fix-fails/REMAINING_FAILURES.md
-- TODO.fix-tests/00-overview.md
-- TODO.fix-tests/01-zero-width-space.md
-- TODO.fix-tests/02-html-linebreak.md
-- TODO.fix-tests/03-phantom-whitespace.md
-- TODO.fix-tests/04-mathml-structure.md
-- TODO.fix-tests/05-omml-rendering.md
-- TODO.mml-plurimath-model.md
 - UnicodeMath-Supported-Data.adoc
 - UnitsML-Supported-Data.adoc
 - bin/console

data/TODO.bad_symbols.md

@@ -1,45 +0,0 @@
-# Bad Symbol.new Usages in translator.rb
-
-## Line 577 (FIXED)
-```ruby
-Plurimath::Math::Symbols::Symbol.new("(", mo_element: true)
-```
-Was used in `combine_function_with_parens` to create opening parenthesis.
-FIXED: Now uses `next_elem` directly if it's a Paren object, or creates `Paren::Lround.new` as fallback.
-Problem with old code: It was ignoring the existing `Paren::Lround` object returned by `mo_to_symbol` and creating a generic Symbol.
-
-## Line 171 - mo_element= (FIXED)
-```ruby
-result.mo_element = true
-```
-This was setting mo_element on Symbol objects returned by mathml_unary_classes.
-FIXED: Removed this line as Symbol class doesn't have mo_element attribute and doesn't need it.
-The Paren classes already know how to render themselves as `<mo>` via their own to_mathml_without_math_tag method.
-
-## Line 169-175 - linebreakstyle not passed (FIXED)
-```ruby
-return Plurimath::Math::Function::Linebreak.new(
-  Plurimath::Math::Symbols::Symbol.new(value)
-)
-```
-The `linebreakstyle` attribute was not being passed to Linebreak constructor.
-FIXED: Now passes `linebreakstyle` attribute and uses `mathml_unary_classes` for proper encoding.
-
-## Line 159 - whitespace stripped (PARTIALLY FIXED)
-```ruby
-result = Plurimath::Utility.mathml_unary_classes([stripped], lang: :mathml)
-```
-Whitespace was being stripped from Symbol values, causing phantom content to lose spaces.
-FIXED for LaTeX output: Restores original value after `mathml_unary_classes` creates the Symbol.
-MathML structure issue remains a pre-existing bug.
-
-## Remaining Issues - SEE TODO.fix-tests/
-
-Detailed investigation reports for the remaining 19 test failures are in `TODO.fix-tests/`:
-
-- 00-overview.md - Summary of all failures
-- 01-zero-width-space.md - OMML empty element serialization
-- 02-html-linebreak.md - HTML linebreak positioning (FIXED)
-- 03-phantom-whitespace.md - LaTeX whitespace in phantom (PARTIALLY FIXED)
-- 04-mathml-structure.md - MathML structure differences
-- 05-omml-rendering.md - OMML rendering issues

data/TODO.bugs/01-unitsml-enoent.md

@@ -1,28 +0,0 @@
-# Fix Unitsml ENOENT - missing unitsdb data files
-
-## Problem
-~44 test failures with `Errno::ENOENT` - unitsml gem can't find
-`unitsdb/units.yaml`. The GitHub-hosted unitsml gem has an empty
-`unitsdb/` directory (git submodule not initialized during `bundle install`).
-
-## Affected specs (51 total failures)
-- spec/plurimath/asciimath_spec.rb (23 failures)
-- spec/plurimath/integration/asciimath_spec.rb (13 failures)
-- spec/plurimath/math/formula/unitsml_spec.rb (3 failures)
-- spec/plurimath/asciimath/metanorma/mn_samples_bipm_spec.rb (2 failures)
-- spec/plurimath/asciimath/metanorma/mn_samples_jcgm_spec.rb (1 failure)
-- spec/plurimath/asciimath/parser_spec.rb (1 failure)
-- spec/plurimath/unicode_math_spec.rb (1 failure)
-
-## Root cause
-The unitsml gem's `unitsdb/` is a git submodule. When bundler installs
-from GitHub, submodules aren't initialized. The local copy at
-`../../unitsml/unitsml-ruby/` has the data.
-
-## Fix
-Change Gemfile to use local path for unitsml:
-```ruby
-gem "unitsml", path: "../../unitsml/unitsml-ruby"
-```
-
-## Status: Fixed (changed Gemfile to local path)

data/TODO.bugs/02-system-stack-error-cloned-objects.md

@@ -1,34 +0,0 @@
-# Fix SystemStackError in Formula#cloned_objects
-
-## Problem
-4 test failures with `SystemStackError: stack level too deep` in
-`Plurimath::Math::Core#cloned_objects`. The `cloned_objects` method
-recursively clones all values, but some formula structures create
-infinite recursion.
-
-## Affected specs (19 failures total)
-- spec/plurimath/mathml_spec.rb:213 - MathML object round-trip
-- spec/plurimath/mathml_spec.rb:778 - table with parentheses and sqrt
-- spec/plurimath/mathml_spec.rb:1448 - mtable with frame/rowlines
-- spec/plurimath/mathml_spec.rb:1713 - metanorma bipm input
-- spec/plurimath/math_zone_spec.rb:675 - table math zone
-- spec/plurimath/math_zone_spec.rb:4234 - table math zone
-- spec/plurimath/integration/asciimath_spec.rb - 12 ogc/bipm/itu/jcgm examples
-
-## Stack trace pattern
-```
-Core#cloned_objects → Formula#cloned_objects → Array#map →
-Core#variable_value → Array#map → Core#cloned_objects → ...
-```
-
-## Root cause
-`cloned_objects` in `lib/plurimath/math/core.rb:223` creates
-`self.class.new(nil)` which triggers `Formula.new(nil)`. If the Formula
-contains objects that reference back to the formula or create cyclic
-structures, the recursion never terminates.
-
-This is likely a pre-existing bug exposed by V4 parsing producing
-different formula structures. Needs investigation of what formula
-structure triggers the infinite recursion.
-
-## Status: Open (pre-existing, needs investigation)

data/TODO.bugs/03-omml-underover-displaystyle.md

@@ -1,23 +0,0 @@
-# Fix OMML output diff for underover with displaystyle false
-
-## Problem
-1 test failure in mathml_spec.rb:2663 - OMML output for underover
-tags with `displaystyle false` produces different XML structure.
-
-## Expected vs Actual
-Expected: `<m:sSup>` with `<m:sup>` element
-Actual: `<m:limUpp>` with `<m:lim>` element
-
-This means the underover is being interpreted differently (as a limit
-upper instead of a superscript).
-
-## Root cause
-The V4 MathML parser produces a different formula structure for
-`<munderover>` elements when `displaystyle="false"`. This changes
-how the OMML serializer renders the formula.
-
-This is related to MathML 4 vs MathML 3 behavior differences. In
-MathML 4, displaystyle affects whether underover renders as limits
-vs scripts. The specs need to be updated to match V4 behavior.
-
-## Status: Fixed (updated expected OMML to use limLow/limUpp)

data/TODO.bugs/04-unitsml-spec-diffs.md

@@ -1,20 +0,0 @@
-# Fix unitsml spec attribute ordering and displaystyle differences
-
-## Problem
-2 test failures in spec/plurimath/math/formula/unitsml_spec.rb - the
-unitsml-generated MathML output has changed:
-1. XML attribute ordering changed (id vs dimensionURL)
-2. `lang="en-US"` changed to `lang="en"`
-3. Inner `<math>` now includes `displaystyle="true"` (from V4::Math default)
-
-## Root cause
-The local unitsml gem (at ../../unitsml/unitsml-ruby/) produces slightly
-different output than the previously-tested version. The attribute
-ordering and lang value differences are from the updated unitsml/unitsdb
-data. The `displaystyle="true"` addition is from our V4::Math default.
-
-## Fix
-Update the expected values in the spec to match the new output. These
-are cosmetic differences in XML serialization.
-
-## Status: Fixed (updated expected values for attribute ordering, lang, displaystyle)

data/TODO.bugs/05-omml-greek-entity-encoding.md

@@ -1,50 +0,0 @@
-# Greek Letter HTML Entity Serialization in moxml Ox Adapter
-
-## Issue
-
-When using the `moxml` gem with the Ox adapter, Greek letters (and other special Unicode characters) are serialized as raw Unicode characters instead of HTML entities.
-
-**Example:**
-- Expected: `<m:t>&#x3b8;</m:t>` (theta as HTML entity)
-- Actual: `<m:t>θ</m:t>` (theta as raw Unicode character)
-
-## Affected Tests
-
-All OMML comparison tests in plurimath:
-
-| Test # | Name | Issue |
-|--------|------|-------|
-| 2452 | contains multiple tags in Mathml | Greek letters (α, θ) as Unicode vs HTML entities |
-| 2663 | contains underover, under, and over tags | Greek letter θ encoding |
-| 3121 | multiscripts containing none tag | ZWSP (&#8203;) not rendered - empty m:t |
-| 3201 | oint msubsup tag | Integral symbol (&#x222e;) missing in output |
-| 3365 | nary prod symbol in underover | Integral symbol (&#x222e;) missing |
-| 3486 | empty mo example from plurimath#318 | Empty mo (&#xb1; ±) not rendered |
-
-## Root Cause
-
-The moxml gem's Ox adapter uses `Ox.dump()` to serialize XML. Ox serializes text content as raw Unicode characters rather than HTML entities.
-
-When a symbol like `θ` (theta, U+03B8) is stored as a text node, Ox outputs it as `θ` instead of `&#x3b8;`.
-
-## Expected Behavior
-
-For MathML/OMML output, certain characters should be serialized as HTML entities:
-- Greek letters: `&#x3b8;` for `θ`, `&#x3b1;` for `α`, `&#x3b2;` for `β`
-- Zero-width space: `&#8203;` for ZWSP
-- Operators: `&#xb1;` for `±`, `&#x222e;` for `∮`
-
-## Solution
-
-The Ox adapter's serialize method needs to post-process text content to encode certain Unicode characters as HTML entities. This could be done in:
-
-1. `moxml/lib/moxml/adapter/ox.rb` - modify the `serialize` method to post-process text nodes
-2. Or create a text encoding step when adding text content to elements
-
-## Alternative
-
-Use the Oga adapter instead of Ox adapter. The Oga adapter appears to handle HTML entity encoding correctly (based on test outputs showing `&#8203;` preserved with Oga).
-
-## Context
-
-This is a serialization issue in the moxml library, not in plurimath itself. Plurimath correctly stores the symbol information; the issue is how moxml/Ox serializes that information to XML output.

data/TODO.bugs/mml_custom_model_child_order.md

@@ -1,149 +0,0 @@
-# Proposal: Fix Custom Model Deserialization Child Order for Binary Operators
-
-## Problem Description
-
-When using the mml gem's custom model feature to substitute element classes (e.g., mapping `Mml::V4::Mover` to a custom `Overset` class), the child elements are being passed to the custom model's constructor in **reversed order** compared to their document order.
-
-## Expected Behavior
-
-For MathML `<mover>` element:
-- First child = base (the element being overscored)
-- Second child = overscript (the accent mark)
-
-When parsing `<mover><mi>θ</mi><mi>d</mi></mover>`:
-- `mi[0]` = θ (base)
-- `mi[1]` = d (overscript)
-
-The custom model `Overset.new(base, overscript)` should receive:
-- `parameter_one` = θ
-- `parameter_two` = d
-
-## Actual Behavior
-
-The custom model `Overset` receives children in **reversed order**:
-- `parameter_one` = d (should be θ)
-- `parameter_two` = θ (should be d)
-
-## Clarification: This is NOT a lutaml-model bug
-
-Lutaml-model has confirmed this is not an issue in their gem. The problem is entirely within the **mml gem** and how it sets up and uses custom models.
-
-## Root Cause Analysis
-
-### Investigation Steps
-
-1. **Parsing without custom models:**
-   ```ruby
-   parsed = Mml.parse(mathml, namespace_exist: true, version: 4)
-   mover = parsed.instance_variable_get(:@mover_value).first
-   # mover.mi_value[0].value = "θ" (correct - base first)
-   # mover.mi_value[1].value = "d" (correct - overscript second)
-   ```
-
-2. **Parsing with custom models:**
-   ```ruby
-   Mml::V4::Configuration.custom_models = { Mml::V4::Mover => Overset }
-   parsed = Mml.parse(mathml, namespace_exist: true, version: 4)
-   overset = parsed.value.first
-   # overset.parameter_one.value = "d"  (WRONG - should be "θ")
-   # overset.parameter_two.class = Theta (WRONG - should be "d")
-   ```
-
-3. **Custom model setup in mml gem:**
-   ```ruby
-   # From mml gem's context_configuration.rb:
-   def custom_models=(models_hash)
-     models_hash.each do |klass, model|
-       klass.model(model)
-     end
-   end
-
-   # This calls lutaml-model's model method:
-   # From lutaml-model serialize/initialization.rb:
-   def model(klass = nil)
-     if klass
-       @model = klass
-       add_custom_handling_methods_to_model(klass)
-     else
-       @model
-     end
-   end
-   ```
-
-4. **The fix must be in mml gem:**
-   When `klass.model(custom_model)` is called, the mml gem should ensure that when the custom model is instantiated during deserialization, the child elements are passed in document order. The issue is that the mml gem's element attribute definitions (e.g., `element "mover"` with child `mi_value`) are not being properly respected when the custom model substitution is applied.
-
-   Specifically, the mml gem's `ContextConfiguration#custom_models=` sets up the model substitution, but it does not ensure that the original element's `element_order` or child element mappings are preserved for the custom model. When lutaml-model instantiates the custom model via its `from_xml` or similar deserialization path, it passes children in an order that may not match the MathML document order.
-
-### Key Finding
-
-The issue is in **how the mml gem sets up the model substitution**, not in lutaml-model itself. When `Mml::V4::Mover.model(Overset)` is called:
-
-1. Lutaml-model stores `@model = Overset`
-2. During XML deserialization, lutaml-model uses its own logic to map XML children to constructor arguments
-3. The mml gem's element definitions (which define child element order via `element_order` or similar) are not being communicated to the custom model
-
-The fix should be in `ContextConfiguration#custom_models=` — after calling `klass.model(model)`, the mml gem should also ensure that the custom model class inherits or mirrors the original element's child element ordering information.
-
-## Affected Elements
-
-This issue affects all binary MathML elements when using custom models:
-- `<mover>` → Overset (base, overscript)
-- `<munder>` → Underset (base, underscript)
-- `<mover>` and `<munder>` combined in `<munderover>` → Underover (base, underscript, overscript)
-- `<msup>` → Power (base, superscript)
-- `<msub>` → Base (base, subscript)
-
-## Expected Fix
-
-The fix must be in the **mml gem** — specifically in `ContextConfiguration#custom_models=` or the related element deserialization logic. When setting up a custom model substitution, the mml gem must ensure that the custom model receives child elements in MathML document order.
-
-### Specific Fix Location
-
-In `lib/mml/context_configuration.rb`, the `custom_models=` method should be updated to preserve child element ordering when setting up the model substitution. One approach:
-
-1. After calling `klass.model(model)`, copy or alias the original element's `element_order` or child-getting logic to the custom model
-2. Or, intercept the deserialization of elements with custom models to explicitly pass children in document order
-
-## Test Case
-
-```ruby
-# Setup
-require "mml"
-class Overset < BinaryFunction
-  def initialize(base = nil, overscript = nil)
-    super(base, overscript)
-  end
-end
-Mml::V4::Configuration.custom_models = { Mml::V4::Mover => Overset }
-
-# MathML: <mover><mi>θ</mi><mi>d</mi></mover>
-# Expected: base=θ, overscript=d
-# Actual: base=d, overscript=θ (BUG!)
-
-mathml = <<~MATHML
-<math xmlns="http://www.w3.org/1998/Math/MathML">
-  <mover>
-    <mi>θ</mi>
-    <mi>d</mi>
-  </mover>
-</math>
-MATHML
-
-parsed = Mml.parse(mathml, namespace_exist: true, version: 4)
-overset = parsed.value.first
-raise "Bug: children reversed!" unless overset.parameter_one.value == "θ"
-```
-
-## Impact
-
-This bug affects any application using the mml gem's custom model feature to substitute element classes, particularly when:
-- Building domain-specific MathML parsers (like plurimath)
-- Converting MathML to other formats
-- Processing mathematical content with accent marks, subscripts, superscripts, etc.
-
-## References
-
-- MathML Specification: https://www.w3.org/TR/MathML3/chapter3.html
-- mml gem: https://github.com/metanorma/mml
-- lutaml-model gem: https://github.com/lutaml/lutaml-model (confirmed: not the source of this bug)

data/TODO.fix-fails/01-phantom-whitespace.md

@@ -1,63 +0,0 @@
-# 01 - phantom tag whitespace issue
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:281`
-
-## Issue Summary
-Test "contains Mathml phantom tag's example" fails with XML equivalence check.
-
-## Input MathML
-```xml
-<math>
-   <mrow>
-      <mi> x </mi>
-      <mphantom>
-         <mo> + </mo>
-      </mphantom>
-      <mphantom>
-         <mi> y </mi>
-      </mphantom>
-      <mo> + </mo>
-      <mi> z </mi>
-   </mrow>
-</math>
-```
-
-## Expected MathML (from test)
-```xml
-<mphantom>
-  <mo>+</mo>
-</mphantom>
-<mphantom>
-  <mi> y </mi>
-</mphantom>
-<mo> + </mo>
-```
-
-## Our Output
-```xml
-<mphantom>
-  <mo> + </mo>
-</mphantom>
-<mphantom>
-  <mi> y </mi>
-</mphantom>
-<mo> + </mo>
-```
-
-## Difference
-- Expected first mo inside phantom: `<mo>+</mo>` (no spaces)
-- Our output first mo inside phantom: `<mo> + </mo>` (with spaces)
-
-The second mo (outside phantom) correctly preserves spaces.
-
-## Analysis
-The issue is that `mphantom` is not supposed to preserve the whitespace inside the `mo` element according to the expected test output. However, this seems semantically incorrect - if the input has `<mo> + </mo>`, the spaces are part of the mo content.
-
-## Status
-**Pre-existing from LutaML-Model update** - This test was passing before the update, meaning the previous code stripped spaces inside mo elements when inside phantom.
-
-## Possible Causes
-1. The LutaML-Model update changed how `mo_to_symbol` preserves whitespace
-2. The test expectation was always semantically questionable but matched the previous implementation
-3. Something in the translator is now preserving whitespace that was previously stripped

data/TODO.fix-fails/02-table-parentheses-latex.md

@@ -1,17 +0,0 @@
-# 02 - table with parentheses (LaTeX trailing space)
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:778`
-
-## Issue Summary
-Test "contains table with surrounding parentheses(metanorma example) and sqrt tag" fails on LaTeX comparison.
-
-## Failure Details
-- Expected and got appear identical but differ in invisible characters or whitespace
-- The test uses `to_latex` comparison
-
-## Possible Cause
-The LaTeX output has extra whitespace/trailing spaces that don't match the expected.
-
-## Status
-**Pre-existing from LutaML-Model update**

data/TODO.fix-fails/03-longidv-tag-mathml.md

@@ -1,17 +0,0 @@
-# 03 - longidv tag (MathML structure)
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:1197`
-
-## Issue Summary
-Test "contains longidv tag Mathml" fails with MathML element_structure differences.
-
-## Failure Details
-- 3 dimension differences in XML comparison
-- Element structure mismatch in the MathML output
-
-## Possible Cause
-The LutaML-Model update changed how certain MathML elements are parsed/rendered, affecting the structure.
-
-## Status
-**Pre-existing from LutaML-Model update**

data/TODO.fix-fails/04-mmultiscript-none-mathml.md

@@ -1,17 +0,0 @@
-# 04 - mmultiscript containing none (MathML structure)
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:1319`
-
-## Issue Summary
-Test "contains mmultiscript containing none tag" fails with MathML element_structure differences.
-
-## Failure Details
-- Element structure mismatch in MathML output
-- The `<none>` tag handling may have changed
-
-## Possible Cause
-The LutaML-Model update changed how `<none>` elements inside `<mmultiscripts>` are handled.
-
-## Status
-**Pre-existing from LutaML-Model update**

data/TODO.fix-fails/05-mstyle-nary-oint-mathml.md

@@ -1,17 +0,0 @@
-# 05 - mstyle containing nary oint (MathML structure)
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:1366`
-
-## Issue Summary
-Test "contains mstyle containing nary oint value in msubsup tag" fails with MathML element_structure differences.
-
-## Failure Details
-- Element structure mismatch in MathML output
-- Issue with nary operator rendering inside msubsup
-
-## Possible Cause
-The LutaML-Model update changed how nary operators are handled within subscript/superscript elements.
-
-## Status
-**Pre-existing from LutaML-Model update**

data/TODO.fix-fails/06-issue-238-mathml.md

@@ -1,17 +0,0 @@
-# 06 - plurimath/issue#238 (MathML structure)
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:1540`
-
-## Issue Summary
-Test "contains string from plurimath/issue#238" fails with MathML element_structure differences.
-
-## Failure Details
-- 4-5 dimension differences in XML comparison
-- Complex MathML structure issue
-
-## Possible Cause
-The issue #238 was about a specific MathML rendering problem that the LutaML-Model update may have affected.
-
-## Status
-**Pre-existing from LutaML-Model update**

data/TODO.fix-fails/07-metanorma-bipm-latex.md

@@ -1,19 +0,0 @@
-# 07 - metanorma-cli-actions-mn-bipm (LaTeX structure)
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:1713`
-
-## Issue Summary
-Test "contains input from metanorma-cli-actions-mn-bipm run" fails with LaTeX comparison.
-
-## Expected LaTeX
-`\underline{\mathit{B}} = \left [ ... \end{matrix}\right ]`
-
-## Got LaTeX
-`\underset{ \left ( \underline \right ) }{ \left ( \mathit{B} \right ) } = \left [ ... \end{matrix}\right ]`
-
-## Issue
-The LaTeX rendering of the underline/enclose structure is different - the structure of how `underline` wraps `B` has changed.
-
-## Status
-**Pre-existing from LutaML-Model update**

data/TODO.fix-fails/08-metanorma-itu-latex.md

@@ -1,17 +0,0 @@
-# 08 - metanorma-cli-actions-mn-itu (LaTeX spacing)
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:1860`
-
-## Issue Summary
-Test "contains input from metanorma-cli-actions-mn-itu run" fails with LaTeX comparison.
-
-## Expected
-`y_{k} = ( x_{k} \pm h )  m`
-(Got: `y_{k} = ( x_{k} \pm h ) m`)
-
-## Issue
-Double space before `m` in expected, single space in our output. This is likely related to how `None#to_latex` or similar empty-returning functions are handled.
-
-## Status
-**Pre-existing from LutaML-Model update**

data/TODO.fix-fails/09-omml-greek-encoding.md

@@ -1,24 +0,0 @@
-# 09 - OMML Greek letter encoding (multiple tags)
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:2452`
-
-## Issue Summary
-Test "contains multiple tags in Mathml" fails with OMML comparison due to Greek letter encoding.
-
-## Expected
-`<m:t>&#x3b1;</m:t>` (HTML entity)
-`<m:t>&#x3b8;</m:t>` (HTML entity)
-
-## Got
-`<m:t>α</m:t>` (Unicode character)
-`<m:t>θ</m:t>` (Unicode character)
-
-## Issue
-Greek letters are being output as Unicode characters instead of HTML entities. This is the **Greek letter encoding issue** documented in `TODO.bugs/05-omml-greek-entity-encoding.md`.
-
-## Cause
-Ox serializer outputs Unicode characters directly instead of HTML entities.
-
-## Status
-**Pre-existing from LutaML-Model update - KNOWN ISSUE**

data/TODO.fix-fails/10-omml-underover-greek.md

@@ -1,19 +0,0 @@
-# 10 - OMML Greek letter encoding (underover)
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:2663`
-
-## Issue Summary
-Test "contains underover, under, and over tags with displaystyle false" fails with OMML comparison.
-
-## Expected
-`<m:t>&#x3b8;</m:t>` (HTML entity)
-
-## Got
-`<m:t>θ</m:t>` (Unicode character)
-
-## Issue
-Greek letter theta encoding issue - same as test 09.
-
-## Status
-**Pre-existing from LutaML-Model update - KNOWN ISSUE**

data/TODO.fix-fails/11-omml-multiscripts-zwsp.md

@@ -1,19 +0,0 @@
-# 11 - OMML multiscripts ZWSP handling
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:3121`
-
-## Issue Summary
-Test "contains multiscripts containing none tag" fails with OMML comparison.
-
-## Expected
-`<m:t>&#8203;</m:t>` (ZWSP - Zero-Width Space)
-
-## Got
-`<m:t></m:t>` (empty)
-
-## Issue
-ZWSP (Zero-Width Space, U+200B) placeholder is not being rendered in OMML output. The empty `m:t` element suggests the ZWSP character is being lost.
-
-## Status
-**Pre-existing from LutaML-Model update**

data/TODO.fix-fails/12-omml-oint-integral.md

@@ -1,19 +0,0 @@
-# 12 - OMML oint msubsup missing integral
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:3201`
-
-## Issue Summary
-Test "contains oint msubsup tag" fails with OMML comparison.
-
-## Expected
-Structure includes `<m:t>&#x222e;</m:t>` (contour integral symbol ∮)
-
-## Got
-Missing the integral symbol in output
-
-## Issue
-The integral symbol `&#x222e;` is not appearing in the OMML output for nary operators.
-
-## Status
-**Pre-existing from LutaML-Model update**

data/TODO.fix-fails/13-omml-nary-prod.md

@@ -1,19 +0,0 @@
-# 13 - OMML nary prod missing integral
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:3365`
-
-## Issue Summary
-Test "contains nary prod symbol in underover for nary tag" fails with OMML comparison.
-
-## Expected
-Structure includes integral symbol
-
-## Got
-Structure differs from expected
-
-## Issue
-Similar to test 12 - nary product/integral operator rendering issue in OMML.
-
-## Status
-**Pre-existing from LutaML-Model update**

data/TODO.fix-fails/14-omml-empty-mo.md

@@ -1,19 +0,0 @@
-# 14 - OMML empty mo example
-
-## Test Location
-`spec/plurimath/mathml_spec.rb:3486`
-
-## Issue Summary
-Test "contains empty mo example from plurimath/plurimath#318" fails with OMML comparison.
-
-## Expected
-`<m:t>&#xb1;</m:t>` (plus-minus sign ±)
-
-## Got
-`<m:t></m:t>` (empty)
-
-## Issue
-Empty `mo` element (representing ±) is not being rendered correctly in OMML output.
-
-## Status
-**Pre-existing from LutaML-Model update**

data/TODO.fix-fails/REMAINING_FAILURES.md

@@ -1,168 +0,0 @@
-# MathML Translator: Remaining 14 Failing Tests
-
-## Context
-
-This document describes the 14 MathML translator tests that remain failing after the LutaML-Model update. The fixes for 17 other tests are in this PR; these require additional investigation.
-
----
-
-## Summary of Fixed Tests
-
-17 tests were resolved by addressing:
-- `None#to_latex` and `None#to_asciimath` returning `nil` instead of `""`
-- Whitespace preservation in `mo_to_symbol`
-- Filtering empty strings from formula output
-- Fixing `Plus#to_mathml_without_math_tag` to use `value` instead of hardcoded `"+"`
-
----
-
-## Remaining 14 Failing Tests
-
-### Category 1: MathML Structure Issues (5 tests)
-
-#### 1. Test 281: Phantom Tag Whitespace
-- **Location**: `spec/plurimath/mathml_spec.rb:281`
-- **Test**: `contains Mathml phantom tag's example`
-- **Issue**: Expected `<mo>+</mo>` (no spaces) inside `<mphantom>`, but output is `<mo> + </mo>` (with spaces)
-- **Input**: `<mo> + </mo>` inside `<mphantom>`
-- **Note**: The second `<mo> + </mo>` outside phantom correctly preserves spaces. Issue is specific to `mphantom`.
-
----
-
-#### 2. Test 1197: Longidv Tag
-- **Location**: `spec/plurimath/mathml_spec.rb:1197`
-- **Test**: `contains longidv tag Mathml`
-- **Issue**: 3 element_structure differences in XML comparison
-- **Hint**: `longidv` involves `mscarries` elements. LutaML update changed parsing/rendering of these.
-
----
-
-#### 3. Test 1319: Mmultiscript with None Tag
-- **Location**: `spec/plurimath/mathml_spec.rb:1319`
-- **Test**: `contains mmultiscript containing none tag`
-- **Issue**: Element structure mismatch for `mmultiscripts` containing `<none>` elements
-
----
-
-#### 4. Test 1366: Mstyle with Nary Oint
-- **Location**: `spec/plurimath/mathml_spec.rb:1366`
-- **Test**: `contains mstyle containing nary oint value in msubsup tag`
-- **Issue**: Element structure differences with nary operators inside `msubsup`
-
----
-
-#### 5. Test 1540: Issue #238
-- **Location**: `spec/plurimath/mathml_spec.rb:1540`
-- **Test**: `contains string from plurimath/issue#238`
-- **Issue**: 4-5 element_structure differences in complex MathML structure
-
----
-
-### Category 2: LaTeX Output Issues (3 tests)
-
-#### 6. Test 778: Table with Parentheses (Metanorma)
-- **Location**: `spec/plurimath/mathml_spec.rb:778`
-- **Test**: `contains table with surrounding parentheses(metanorma example) and sqrt tag`
-- **Issue**: LaTeX comparison fails - expected and got look identical but differ in invisible characters
-- **Hint**: Use byte-level comparison (`xxd`, `od -c`) to identify the difference
-
----
-
-#### 7. Test 1713: Metanorma BIPM Run
-- **Location**: `spec/plurimath/mathml_spec.rb:1713`
-- **Test**: `contains input from metanorma-cli-actions-mn-bipm run`
-- **Expected**: `\underline{\mathit{B}} = \left [ ... \end{matrix}\right ]`
-- **Got**: `\underset{ \left ( \underline \right ) }{ \left ( \mathit{B} \right ) } = \left [ ... \end{matrix}\right ]`
-- **Hint**: `menclose` with `notation="updiagonalstrike"` rendering changed from `\underline{...}` to `\underset{...}{...}` form
-
----
-
-#### 8. Test 1860: Metanorma ITU Run
-- **Location**: `spec/plurimath/mathml_spec.rb:1860`
-- **Test**: `contains input from metanorma-cli-actions-mn-itu run`
-- **Expected**: `y_{k} = ( x_{k} \pm h )  m` (double space before `m`)
-- **Got**: `y_{k} = ( x_{k} \pm h ) m` (single space)
-- **Hint**: Related to how `None` elements contribute spacing
-
----
-
-### Category 3: OMML Rendering Issues (6 tests)
-
-**Root Cause**: Ox serializer outputs Unicode characters instead of HTML entities. See `TODO.bugs/05-omml-greek-entity-encoding.md`.
-
----
-
-#### 9. Test 2452: Multiple Tags - Greek Encoding
-- **Location**: `spec/plurimath/mathml_spec.rb:2452`
-- **Expected**: `<m:t>&#x3b1;</m:t>`, `<m:t>&#x3b8;</m:t>`
-- **Got**: `<m:t>α</m:t>`, `<m:t>θ</m:t>`
-
----
-
-#### 10. Test 2663: Underover with Greek
-- **Location**: `spec/plurimath/mathml_spec.rb:2663`
-- **Expected**: `<m:t>&#x3b8;</m:t>`
-- **Got**: `<m:t>θ</m:t>`
-
----
-
-#### 11. Test 3121: Multiscripts None - ZWSP
-- **Location**: `spec/plurimath/mathml_spec.rb:3121`
-- **Expected**: `<m:t>&#8203;</m:t>` (ZWSP - Zero-Width Space)
-- **Got**: `<m:t></m:t>` (empty)
-- **Hint**: ZWSP (U+200B) used as placeholder in multiscripts is being dropped by Ox serializer
-
----
-
-#### 12. Test 3201: Oint Msubsup - Missing Integral
-- **Location**: `spec/plurimath/mathml_spec.rb:3201`
-- **Expected**: Contains `<m:t>&#x222e;</m:t>` (contour integral ∮)
-- **Got**: Integral symbol missing
-- **Hint**: Nary operator `oint` not rendering in OMML within msubsup context
-
----
-
-#### 13. Test 3365: Nary Prod Symbol
-- **Location**: `spec/plurimath/mathml_spec.rb:3365`
-- **Issue**: Same as test 12 - integral symbol `&#x222e;` missing
-- **Hint**: Similar nary operator issue with product notation
-
----
-
-#### 14. Test 3486: Empty MO Example
-- **Location**: `spec/plurimath/mathml_spec.rb:3486`
-- **Expected**: `<m:t>&#xb1;</m:t>` (plus-minus sign ±)
-- **Got**: `<m:t></m:t>` (empty)
-- **Hint**: Symbol value being lost in translation for empty `mo` elements
-
----
-
-## Investigation Files
-
-Detailed notes in:
-- `TODO.fix-fails/01-phantom-whitespace.md` through `TODO.fix-fails/14-omml-empty-mo.md`
-- `TODO.bugs/05-omml-greek-entity-encoding.md`
-
----
-
-## Hints
-
-1. **MathML Structure**: Compare AST structure before/after LutaML update. Focus on `translator.rb` handling of `mphantom`, `mmultiscripts`, `mscarries`, `munderover`.
-
-2. **LaTeX Whitespace**: Use byte-level comparison to identify invisible character differences. Issue likely in how empty/nil values contribute spacing.
-
-3. **OMML Issues**:
-   - Greek encoding: Post-process Ox output to convert Unicode to HTML entities, or use Oga adapter instead
-   - ZWSP/Empty MO: Investigate how Ox handles special Unicode characters (U+200B, U+00B1, U+222E)
-
----
-
-## Testing
-
-```bash
-# All failing tests
-bundle exec rspec spec/plurimath/mathml_spec.rb --format documentation
-
-# Single test
-bundle exec rspec spec/plurimath/mathml_spec.rb:281 --format documentation
-```

data/TODO.fix-tests/00-overview.md

@@ -1,102 +0,0 @@
-# MathML Spec Test Failures Investigation
-
-## Summary
-41 tests total: 22 passing, 19 failing
-- 2 issues FIXED by current changes (Category 2 linebreak, Category 3 LaTeX part)
-- These failures existed BEFORE mo_element fix and are pre-existing issues from lutaml-model update.
-
-## Failure Categories
-
-### Category 1: ZERO WIDTH SPACE serialization in OMML (7 tests)
-**Tests:** 2452, 2913, 3039, 3121, 3201, 3365, 3486
-
-**Issue:** `<m:t>&#8203;</m:t>` becomes `<m:t></m:t>` or `<m:t/>`
-
-**Root Cause:** Ox serialization issue - empty elements serialized as `<m:t></m:t>` instead of `<m:t/>`
-
-**Example diff:**
-```
-- <m:t/>
-+ <m:t></m:t>
-```
-
----
-
-### Category 2: Linebreak positioning in HTML (FIXED)
-**Tests:** 3594
-
-**Issue:** `<br/>` positioned before operator instead of after
-
-**Example diff:**
-```
-- <i>N</i><sub>s</sub><sup>2</sup> =<br/> T <br/>&#x2191; S <br/> D
-+ <i>N</i><sub>s</sub><sup>2</sup> <br/>= T <br/>↑ S <br/> D
-```
-
-**Root Cause:** `linebreakstyle="after"` not being passed to Linebreak constructor.
-
-**FIXED:** Now passes `linebreakstyle` attribute and uses `mathml_unary_classes` for proper encoding.
-
----
-
-### Category 3: LaTeX whitespace in phantom (PARTIALLY FIXED)
-**Tests:** 281
-
-**Issue:** `\phantom{ y }` vs `\phantom{y}` - whitespace stripped from phantom content
-
-**Example diff:**
-```
-- " x  \\phantom{+} \\phantom{ y } +  z "
-+ "x \\phantom{+} \\phantom{y} + z"
-```
-
-**Root Cause:** Symbol class strips whitespace when creating symbol value.
-
-**FIXED for LaTeX output:** After `mathml_unary_classes` creates Symbol, restore original value to preserve whitespace.
-**Still failing:** MathML structure issue (mrow wrapper missing) - pre-existing bug.
-
----
-
-### Category 4: MathML structure differences (8 tests)
-**Tests:** 213, 778, 1197, 1272, 1319, 1366, 1540, 1713
-
-**Issue:** XML structure differences with msubsup, mrow element positioning
-
-**Example diff:**
-```
-Element_position differs: mrow at position 0 vs position 1
-Element differs: msubsup → (empty)
-```
-
-**Root Cause:** Likely mml parsing issue with nested elements in semantics.
-
----
-
-### Category 5: OMML rendering issues (3 tests)
-**Tests:** 2559, 2663, 2790
-
-**Issue:** limLow, accent, sSubSup not rendering correctly
-
-**Example:** Expected limLow with proper lim printing, but got different structure.
-
-**Root Cause:** Translator OMML rendering issues.
-
----
-
-## Recommendations
-
-### For Category 1 (ZERO WIDTH SPACE)
-This is an Ox serialization issue. Empty elements are being serialized as `<m:t></m:t>` instead of `<m:t/>`.
-Likely requires changes to how lutaml-model/Ox handles empty element serialization.
-
-### For Category 2 (HTML linebreak) - FIXED
-No further action needed.
-
-### For Category 3 (Phantom whitespace) - PARTIALLY FIXED
-LaTeX output is now correct. MathML structure issue requires investigation into mrow handling.
-
-### For Category 4 (MathML structure)
-Investigate mml parsing of semantics elements and how children are ordered.
-
-### For Category 5 (OMML rendering)
-Fix translator OMML rendering for limLow, accent, and sSubSup elements.

data/TODO.fix-tests/01-zero-width-space.md

@@ -1,34 +0,0 @@
-# Category 1: ZERO WIDTH SPACE Serialization in OMML
-
-## Affected Tests
-- 2452: contains multiple tags in Mathml
-- 2913: mfrac with options/attributes tag
-- 3039: mpadded with attributes
-- 3121: multiscripts containing none tag
-- 3201: oint msubsup tag
-- 3365: nary prod symbol in underover
-- 3486: empty mo example from plurimath/plurimath#318
-
-## Issue
-`<m:t>&#8203;</m:t>` (zero-width space) becomes `<m:t></m:t>` or `<m:t/>` in OMML output.
-
-## Root Cause
-In `lib/plurimath/math/core.rb`, the `empty_tag` method:
-```ruby
-def empty_tag(wrapper_tag = nil)
-  r_tag = ox_element("r", namespace: "m")
-  r_tag << (ox_element("t", namespace: "m") << "&#8203;")
-  ...
-end
-```
-
-The `&#8203;` entity is being lost during Ox element serialization.
-
-## Investigation Needed
-1. Check how `ox_element` and Ox handle HTML entities in text content
-2. Verify if this is a lutaml-model issue or an issue with how Plurimath uses Ox
-3. Test if using raw Unicode character U+200B directly works instead of entity
-
-## Related Files
-- `lib/plurimath/math/core.rb:48-54` - empty_tag method
-- `lib/plurimath/math/symbols/symbol.rb` - Symbol rendering

data/TODO.fix-tests/02-html-linebreak.md

@@ -1,41 +0,0 @@
-# Category 2: HTML Linebreak Positioning
-
-## Affected Tests
-- 3594: contains subsup and linebreak with different values example in MathML
-
-## Issue
-`<br/>` is positioned BEFORE the operator instead of AFTER when `linebreakstyle="after"` is set.
-
-## Example Diff
-```
-Expected: "<i>N</i><sub>s</sub><sup>2</sup> =<br/> T <br/>&#x2191; S <br/> D"
-Actual:   "<i>N</i><sub>s</sub><sup>2</sup> <br/>= T <br/>↑ S <br/> D"
-```
-
-Note: Also `&#x2191;` (entity) becomes `↑` (literal Unicode character).
-
-## Root Cause
-In `lib/plurimath/math/function/linebreak.rb`, the `to_html` method:
-```ruby
-def to_html(options:)
-  br_tag = "<br/>"
-  return br_tag unless parameter_one
-
-  case attributes[:linebreakstyle]
-  when "after"
-    "#{parameter_one.to_html(options: options)}#{br_tag}"
-  else
-    "#{br_tag}#{parameter_one.to_html(options: options)}"
-  end
-end
-```
-
-The `linebreakstyle` attribute is being passed from MathML but may not be properly captured or applied.
-
-## Investigation Needed
-1. Check if `mo_to_symbol` properly captures `linebreakstyle` attribute from `<mo linebreak="newline" linebreakstyle="after">`
-2. Verify that Linebreak class stores and uses this attribute correctly
-
-## Related Files
-- `lib/plurimath/math/function/linebreak.rb`
-- `lib/plurimath/mathml/translator.rb` - mo_to_symbol

data/TODO.fix-tests/03-phantom-whitespace.md

@@ -1,34 +0,0 @@
-# Category 3: LaTeX Whitespace in Phantom
-
-## Affected Tests
-- 281: phantom tag's example
-
-## Issue
-Whitespace is stripped from phantom content in LaTeX output.
-
-## Example Diff
-```
-Expected: " x  \\phantom{+} \\phantom{ y } +  z "
-Actual:   "x \\phantom{+} \\phantom{y} + z"
-```
-
-Leading/trailing spaces inside `\phantom{}` are being lost.
-
-## Root Cause
-In `lib/plurimath/mathml/translator.rb`, `mi_to_symbol`:
-```ruby
-stripped = value.strip
-...
-result = Plurimath::Utility.mathml_unary_classes([stripped], lang: :mathml)
-```
-
-The whitespace is stripped when creating the Symbol. When Phantom renders via `latex_value`, it uses `parameter_one.to_latex` which returns the stripped value.
-
-## Investigation Needed
-1. Check if Symbol class should preserve whitespace in value
-2. Or if Phantom class should handle whitespace differently
-
-## Related Files
-- `lib/plurimath/mathml/translator.rb:149-166` - mi_to_symbol
-- `lib/plurimath/math/function/phantom.rb`
-- `lib/plurimath/math/symbols/symbol.rb`

data/TODO.fix-tests/04-mathml-structure.md

@@ -1,33 +0,0 @@
-# Category 4: MathML Structure Differences
-
-## Affected Tests
-- 213: contains Mathml object (msubsup in semantics)
-- 778: table with surrounding parentheses
-- 1197: longidv tag
-- 1272: mpadded with attributes
-- 1319: mmultiscript containing none tag
-- 1366: mstyle containing nary oint value in msubsup
-- 1540: plurimath/issue#238
-- 1713: metanorma-cli-actions-mn-bipm
-
-## Issue
-Element structure differs - msubsup/mrow positions are wrong or elements are empty when they shouldn't be.
-
-## Example Diff (test 213)
-```
-Position: mrow at position 0 vs position 1
-Element differs: msubsup → (empty)
-Element differs: mrow → (empty)
-```
-
-## Root Cause
-Likely related to how mml parses `<semantics>` elements and orders children. The translator may not be properly handling the `semantics` wrapper and its `annotation` child elements.
-
-## Investigation Needed
-1. Check how mml gem parses semantics elements
-2. Verify `mrow_to_mrow` correctly handles semantics content
-3. Check `ordered_children` method for proper ordering
-
-## Related Files
-- `lib/plurimath/mathml/translator.rb` - mrow_to_mrow, ordered_children
-- `lib/plurimath/math/formula.rb` - mrow handling

data/TODO.fix-tests/05-omml-rendering.md

@@ -1,27 +0,0 @@
-# Category 5: OMML Rendering Issues
-
-## Affected Tests
-- 2559: scarries, longdiv, msline and scarry tags
-- 2663: underover, under, and over tags with displaystyle false
-- 2790: bar, vec, dot, ddot, ul, and tilde examples containing accent
-
-## Issue
-OMML output has incorrect structure for limLow, accent, sSubSup elements.
-
-## Example Issues
-- `limLow` not rendering with proper lim printing
-- Accent elements not properly structured
-- sSubSup vs sSub/sSup structure issues
-
-## Root Cause
-Likely issues in the translator's OMML rendering methods for these specific elements.
-
-## Investigation Needed
-1. Check `PowerBase#to_omml_without_math_tag` for sSubSup handling
-2. Check accent/overline rendering for OMML
-3. Check nary functions (integral, product) OMML output
-
-## Related Files
-- `lib/plurimath/math/function/power_base.rb`
-- `lib/plurimath/math/function/nary.rb`
-- `lib/plurimath/mathml/translator.rb`

data/TODO.mml-plurimath-model.md

@@ -1,86 +0,0 @@
-# TODO: Translation Layer for MathML to Plurimath Model
-
-## Status: Translation Complete ✅
-
-The translation layer in `lib/plurimath/mathml/translator.rb` is **complete and working**.
-
-## What Was Fixed
-
-### 1. Function Classes (cos, sin, tan, etc.)
-Added comprehensive `MATHML_FUNCTION_CLASSES` lookup mapping 45 function names to their Plurimath Function classes:
-- Trigonometric: sin, cos, tan, cot, sec, csc
-- Hyperbolic: sinh, cosh, tanh, coth, sech, csch
-- Inverse trigonometric: arcsin, arccos, arctan, arccot, arcsec, arccsc
-- Inverse hyperbolic: arsinh, arcosh, artanh, arcoth, arsech, arcsch
-- Exponential/logarithmic: exp, log, ln, lg
-- Limits/extremum: lim, liminf, limsup, inf, sup, max, min
-- Other: det, gcd, dim, hom, ker, deg, mod, arg, abs, norm, floor, ceil, sgn, sum, prod, int, oint
-
-### 2. Function + Parenthesis Heuristic
-When `<mi>cos</mi><mo>(</mo>` is encountered in an `<mrow>`, they are combined into `Cos.new(Symbol.new("("))` to produce `\cos{(}` in LaTeX - matching old parser behavior.
-
-### 3. Mtext Array Handling
-Fixed issue where `<mtext>` with mixed content would pass an Array to `Text.new` instead of a String.
-
-### 4. Mover Bug (Previously Fixed)
-`ordered_children` using `each_mixed_content` ensures correct child order for binary operators.
-
-## Test Status
-
-```
-41 examples total
-36 failures (due to output format differences, NOT translation bugs)
-5 passing (verified correct)
-```
-
-## What Still Fails (36 Tests)
-
-The failures are **NOT translation bugs** - they are **output format differences** caused by:
-
-### 1. Structural Differences in MathML/OMML Output
-- Extra `<mrow>` wrappers in some places
-- Missing `<mrow>` wrappers in other places
-- The `Mstyle` or `Formula` rendering adds wrappers differently than old parser
-
-### 2. Missing Model Attribute Support
-- `Scarries` class doesn't support `crossout` attribute
-- `Msline` class doesn't support `length` attribute
-- `Mglyph` class doesn't support all attributes properly
-
-### 3. Format Differences
-- `<=` vs `le` in ASCIIMath output
-- `&#x3b8;` vs `θ` in OMML output (semantically equivalent)
-- Various whitespace differences
-
-### 4. Model Structure Differences
-- The new translator creates objects differently than old `custom_models` approach
-- When these objects render to MathML/OMML/HTML, structure differs
-
-## Why These Cannot Be Fixed in Translator
-
-The translator correctly creates Plurimath model objects. The failures occur when:
-1. `formula.to_mathml` renders the model to MathML - structure differs from expected
-2. `formula.to_omml` renders the model to OMML - structure differs from expected
-3. `formula.to_asciimath` renders the model to ASCIIMath - format differs from expected
-
-These are **model rendering issues**, not **translation issues**.
-
-## What Would Fix the Remaining Failures
-
-1. **Change Plurimath model classes** to support missing attributes (crossout, length, etc.)
-2. **Change Formula/Mstyle rendering** to match old parser's mrow wrapping behavior
-3. **Update test expectations** to match correct output (not allowed per user constraint)
-
-## Files
-
-### Created/Modified
-- `lib/plurimath/mathml/translator.rb` - 550+ line translation layer
-- `lib/plurimath/mathml/parser.rb` - uses Translator
-
-## Passing Tests (Verified Correct)
-1. Basic MathML parsing
-2. mover children order (critical fix!)
-3. Greek letters → Symbol subclasses
-4. Parentheses → `(` / `)` not `\lparen`/`\rparen`
-5. Linebreak handling
-6. LaTeX output (to_latex assertions now passing)