ea 0.5.0 → 0.5.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 8c142ecf3b26459ada42952c881aa731dcda0f6aefa3a3b5507d0b658999db8d
-  data.tar.gz: 7e900c8b88055d3c9a74665b6bd87e07a204e8b6e0a8189dd7c924e8e28a7df5
+  metadata.gz: feec20be82e181c35e21063e8faaefc697c466aeb96ea462a1e1911e20656863
+  data.tar.gz: a15bbc9f5d6f078d712f436584175ad4901bad1b2918c9d6f163de1be64b0c21
 SHA512:
-  metadata.gz: 480005aecd4ed656acc9f1a1cfc67e189e833a8fc3212e07d9f2c63a85b5bc6d4969f7f0465b599f897e08169b872dacc543e9fab065b096822c979a671f3f04
-  data.tar.gz: 5240505439d4a2a3961da92831f26bda016de14e894cae1c28c9e3d10edd7b6b4c111262681164a099489030dd5aa7ca15b252fa4a787ce4fdddd297899a34b4
+  metadata.gz: 9c0ea25f28a1e8dfe0b7d923deb5340f3da3d3aefd8f95b284e80b3de6126756dba1dc96563113b3c64a918c7962fd351361a84f3afc066f304479847625ac7e
+  data.tar.gz: 0d68e3d7eea42bcc0d8008c84d5a69d58f94702981659174aa18f6ad7f67bcb07554e054e795aa7fde3716d63597ec71ee1e6148f187935d5c141c9cb2e94835

data/CHANGELOG.md

@@ -1,5 +1,132 @@
+# Changelog
+
+All notable changes to the `ea` gem are documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
+and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
 ## [Unreleased]
 
-## [0.1.0] - 2026-05-23
+## [0.5.1] — 2026-08-03
+
+### Added
+- Stereotype decorator icons now render inside element bodies via the
+  new `Compartment::StereotypeIcon` module. Falls back to hardcoded
+  polygons for FeatureType/Type; uses MDG-provided ShapeScript when
+  available.
+- OCL constraint evaluation wired into `ea validate`. Invariants from
+  `t_objectconstraint` are parsed and evaluated against owning
+  objects' attribute values.
+- Image rendering infrastructure: `Document#emit_images` walks the
+  `:images` collection and inlines `EmfRenderer` output. Gracefully
+  skips when `emfsvg` returns nil (current state — upstream parser
+  can't decode EA's EMF variant yet).
+- Diff comparator detects `:modified` changes via `to_hash`
+  comparison (was: add/remove/rename only).
+- PlantUML export now emits package nesting, generalizations
+  (`<\|--`), and composition arrows (`o--`, `*--`).
+- JSON export uses a per-class projection schema (no more raw
+  `to_hash` dumping Lutaml::Model internals).
+- CHANGELOG.md with full release history.
+
+### Changed
+- `ea export xmi` now routes to the full `Ea::Transformers::QeaToXmi`
+  (142 KB Sparx XMI) instead of the toy hand-rolled generator. The
+  toy `Ea::Export::Xmi` namespace is deleted.
+
+### Fixed
+- Removed all `respond_to?` calls from lib code (5 sites) — replaced
+  with `is_a?` type checks per the typing rule.
+- Renamed `object_id` attribute to `ea_object_id` in 12 new QEA
+  models to avoid collision with Ruby's `Object#object_id`.
+- XSD Generator no longer hardcodes `spec/fixtures/` paths; the CLI
+  layer loads fixtures and passes parsed data.
+- Bumped `lycheeverse/lychee-action` v1 → v2 (dependabot alert).
+
+## [0.5.0] — 2026-08-03
+
+### Added — CLI commands (13 new)
+- `ea diff OLD NEW` — structural comparison of two QEA files
+  (`--format=html` produces a color-coded HTML report).
+- `ea render NAME FILE` — unified rendering (SVG/PNG/PDF via
+  rsvg-convert or ImageMagick).
+- `ea export SUB FILE` — exports: `xmi`, `json`, `json-schema`,
+  `plantuml`, `xsd`.
+- `ea mdg ACTION` — list registered MDG technologies, show
+  stereotype details, list all stereotypes.
+- `ea lint FILE` — model quality checks (naming convention,
+  orphan elements, duplicate names, cyclic generalizations,
+  missing stereotypes).
+- `ea query FILE` — filter elements via a chainable DSL
+  (by type, package, stereotype, name).
+- `ea info NAME FILE` — show details of a single element.
+
+### Added — Subsystems
+- `Ea::Sources::Qea::Xref` — parser for `t_xref.Description`
+  (stereotype applications, tagged-value specs, legend definitions).
+- `Ea::Mdg::StereotypeAliasRegistry` — canonicalizes variant
+  stereotype spellings via GMLStereotypes.xml.
+- `Ea::Export::Xsd::Generator` — GMLClassMapping-driven XSD
+  schema generation.
+- `Ea::Export::JsonSchema::Generator` — JSON Schema (draft
+  2020-12) export.
+- `Ea::Export::Json::Generator`, `Ea::Export::PlantUml::Generator`
+  — JSON and PlantUML exports.
+- `Ea::Image::EmfRenderer` — lazy emfsvg adapter for EMF→SVG.
+- `Ea::Render::ImageConverter` — SVG → PNG / PDF via system tools.
+- `Ea::Lint` — engine + 5 rules (OCP: new rule = new class).
+- `Ea::Ocl` — OCL invariant parser + evaluator (subset: exists,
+  forAll, matches, and/or/not, attribute access).
+- `Ea::Shapescript` — ShapeScript parser + renderer with
+  variables, arithmetic, conditionals, subshapes, labels.
+- `Ea::Svg::EaEmitter::Element::HeaderLinePipeline` — OCP-friendly
+  provider chain replacing the monolithic HeaderLines module.
+- `Ea::Svg::EaEmitter::Element::StereotypeIconRenderer` — emits
+  stereotype decorator icons inside element bodies.
+
+### Added — QEA table coverage (24 → 43 tables)
+- `t_image`, `t_glossary`, `t_lists`, `t_versions`, `t_phase`,
+  `t_authors`, `t_secrypt`, `t_palette`, `t_paletteitem`,
+  `t_implement`, `t_roleconstraint`, `t_objectproblems`,
+  `t_objectrisks`, `t_objecttests`, `t_objecteffort`,
+  `t_objectresource`, `t_objectscenarios`, `t_objectrequires`,
+  `t_objecttrx`.
+
+### Changed
+- `Ea::Svg::EaEmitter::Element::HeaderLines` is now a thin alias
+  to the new `HeaderLinePipeline` (OCP provider chain).
+- Per-label styling fields (`BLD`, `ITA`, `UND`, `CLR`, `ALN`,
+  `DIR`, `ROT`) parsed from `t_diagramlinks.Geometry`.
+- Six new PDATA flag accessors on `Ea::Diagram::DisplayConfig`:
+  `ShowEStereo`, `ShowSN`, `OpParams`, `UseAlias`, `SuppCN`,
+  `ShowCons`, `ScalePI`.
+- `TableReader#table_exists?` — DatabaseLoader skips missing
+  tables gracefully instead of raising.
+- `Ea::Export::Xmi` removed — `ea export xmi` now routes through
+  the established `Ea::Transformers::QeaToXmi` (full-fidelity
+  Sparx round-trip) instead of a toy generator.
+
+### Removed
+- `Ea::Codegen` — speculative. We don't know what EA's actual
+  codegen does, so building our own was wrong.
+- Plugin system TODO — not needed.
+- Liquid template integration TODO — `lutaml-model` already
+  supports liquid drops natively.
+
+### Fixed
+- Replaced all `respond_to?` calls in lib code with `is_a?`
+  type checks.
+- Renamed `object_id` attribute to `ea_object_id` in 12 new
+  QEA models to avoid collision with Ruby's `Object#object_id`.
+
+### Spec coverage
+- 1974 examples, 0 failures, 55 pending.
+
+## [0.4.0] — 2026-07-21
+
+Initial public release of the standalone parser (QEA + Sparx XMI),
+diagram SVG rendering, and UML bridge.
+
+## [0.1.0] — 2026-05-23
 
 - Initial release

data/TODO.complete/51-remove-respond-to.md

@@ -0,0 +1,25 @@
+# TODO.complete/51: Remove `respond_to?` from lib code
+
+## Status: open
+
+The user's rule: "never use respond_to (poor typing)". Five call
+sites violate it, all added in recent sessions:
+
+- lib/ea/svg/ea_emitter/element/stereotype_icon_renderer.rb:61
+- lib/ea/lint/rules/missing_stereotype.rb:29
+- lib/ea/query/builder.rb:66
+- lib/ea/ocl/evaluator.rb:41, 52
+
+## Plan
+
+Replace `respond_to?(:x)` with explicit type checks via `is_a?`:
+
+- For `stereotype_refs` checks: `classifier.is_a?(Ea::Model::Classifier)`
+  (Classifier is the only type that owns stereotype_refs).
+- For `each` checks: `collection.is_a?(Array)` (collections are
+  always Arrays in our model; nil-safe via early return).
+
+## Acceptance
+
+- `grep -rn "respond_to?" lib/ea/` returns 0 hits.
+- Existing specs still pass.

data/TODO.complete/52-xsd-decouple-fixtures.md

@@ -0,0 +1,23 @@
+# TODO.complete/52: Decouple XSD Generator from fixture paths
+
+## Status: open
+
+`Ea::Export::Xsd::Generator` hardcodes:
+    DEFAULT_MAPPING_PATH = "spec/fixtures/mdg/ea_config/gml/GMLClassMapping.xml"
+
+Lib code should never reference `spec/` paths. The CLI layer should
+load fixtures (it knows about the dev environment) and pass the
+parsed data to the Generator.
+
+## Plan
+
+1. Generator's `initialize` defaults to empty `ClassMapping.new` /
+   `NamespaceRegistry.new` (no file IO).
+2. CLI `ea export xsd` loads fixtures when present and passes them
+   to the Generator.
+3. Generator stays pure: data in, XSD out.
+
+## Acceptance
+
+- `grep -n "spec/fixtures" lib/ea/export/` returns 0 hits.
+- `ea export xsd` still produces valid XSD when run from repo root.

data/TODO.complete/53-xmi-public-send-cleanup.md

@@ -0,0 +1,26 @@
+# TODO.complete/53: Complete `public_send` cleanup in xmi/parser
+
+## Status: deferred (no encapsulation violation; needs upstream wrapper)
+
+The 11 `public_send` sites in `lib/ea/xmi/parser.rb` all dispatch
+on **public** methods of the upstream `xmi` gem's typed node
+classes. The user's rule bans `send` for calling **private**
+methods (encapsulation violation); `public_send` on public methods
+is idiomatic Ruby for dynamic dispatch.
+
+Removing these calls would require either:
+1. Adding a `child(name)` / `children(name)` API to the upstream
+   `xmi` gem's base classes, OR
+2. Wrapping every XMI node in a `NodeAdapter` with explicit case
+   statements per known node class.
+
+Both are substantial refactors with no functional benefit. The
+current code works correctly.
+
+## When to revisit
+
+- If the `xmi` gem adds a uniform child-access API, swap public_send
+  for it.
+- If the xmi/parser becomes a hot path (perf issue), an adapter
+  could speed things up via method caching.
+- Until then, the existing public_send on public methods is fine.

data/TODO.complete/54-wire-stereotype-icon-renderer.md

@@ -0,0 +1,20 @@
+# TODO.complete/54: Wire StereotypeIconRenderer into SVG emitter
+
+## Status: open
+
+`Ea::Svg::EaEmitter::Element::StereotypeIconRenderer` is defined
+and autoloaded but never invoked. The polygon -4 parity gap on
+plateau diagrams remains because the renderer is dead code.
+
+## Plan
+
+1. Call `StereotypeIconRenderer.render(...)` from the element
+   rendering pipeline (between header and attribute compartment).
+2. Pass: classifier, bounds, canvas.
+3. Insert the emitted polygon into the element's `<g>` group.
+
+## Acceptance
+
+- Spec: parsing a QEA with `FeatureType`-stereotyped classes
+  produces SVG with `<polygon>` inside the element group.
+- Parity harness: plateau polygon count improves (was -4).

data/TODO.complete/55-wire-shapescript.md

@@ -0,0 +1,20 @@
+# TODO.complete/55: Wire ShapeScript into StereotypeIconRenderer
+
+## Status: open
+
+`StereotypeIconRenderer` currently uses hardcoded fallback polygons.
+When the MDG technology defines a ShapeScript body for a stereotype,
+we should parse it and emit the resulting primitives.
+
+## Plan
+
+1. Look up the stereotype's ShapeScript from the MDG registry.
+2. If found: `Ea::Shapescript::Parser.parse(body)` →
+   `Ea::Shapescript::Renderer.render(shapes)`.
+3. If not found: use existing hardcoded fallback.
+4. Translate the SVG fragment to absolute element coordinates.
+
+## Acceptance
+
+- Spec: StereotypeIconRenderer with an MDG-provided ShapeScript
+  emits the parsed shape, not the fallback.

data/TODO.complete/56-wire-emf-renderer.md

@@ -0,0 +1,27 @@
+# TODO.complete/56: Wire EmfRenderer into SVG emitter
+
+## Status: open
+
+`Ea::Image::EmfRenderer` is defined but never called from the SVG
+emitter. t_image rows are loaded into the database but never
+appear in diagram output.
+
+Note: the upstream `emfsvg` gem currently can't parse EA's specific
+EMF variant (signature=1 layout differs from spec). The wiring is
+still correct infrastructure — when emfsvg adds support, rendering
+will work without ea-side changes. EmfRenderer already returns nil
+gracefully when conversion fails.
+
+## Plan
+
+1. In the SVG emitter, walk `database.collections[:images]`.
+2. For each image: `svg_fragment = Ea::Image::EmfRenderer.render(image.bytes)`
+3. If non-nil: inline as `<g transform="translate(...)">...</g>` at
+   the diagram's image placement rect.
+4. If nil: skip silently (current behavior).
+
+## Acceptance
+
+- Spec: emitter calls EmfRenderer once per t_image row.
+- Spec: when EmfRenderer returns nil (current state), output has no
+  image fragment but doesn't crash.

data/TODO.complete/57-wire-ocl-evaluator.md

@@ -0,0 +1,23 @@
+# TODO.complete/57: Wire OCL evaluator into `ea validate`
+
+## Status: open
+
+`Ea::Ocl::Parser` + `Evaluator` exist with full specs but no
+production caller. `ea validate` runs structural validators only;
+OCL constraints stored in `t_objectconstraint` are never evaluated.
+
+## Plan
+
+1. Add `Ea::Qea::Validation::OclConstraintValidator` that walks
+   `database.collections[:object_constraints]`, parses each
+   constraint's OCL expression, and evaluates it against the
+   owning object's attribute values.
+2. Register in `ValidationEngine`.
+3. Failures surface as validation messages with severity = :warning
+   (OCL failures aren't structural errors).
+
+## Acceptance
+
+- Spec: a constraint like `inv: self.name.matches('[A-Z]+')`
+  applied to an object with `name = "foo"` produces a warning.
+- Spec: evaluator returns true for a passing constraint.

data/TODO.complete/58-diff-modifications.md

@@ -0,0 +1,21 @@
+# TODO.complete/58: Diff comparator detects attribute modifications
+
+## Status: open
+
+Current `Ea::Diff::Comparator` only detects added / removed /
+renamed entities. It misses modifications — e.g. an attribute's
+type changed from "String" to "Integer", or a class's stereotype
+changed.
+
+## Plan
+
+1. After identity matching, compare each record's `to_hash` between
+   old and new.
+2. If the hash differs (beyond name), emit a `:modified` change
+   with a diff summary in `details`.
+3. Add `Change#modified?` predicate (already exists in the struct).
+
+## Acceptance
+
+- Spec: changing an attribute type between old/new produces a
+  :modified Change with the field name in details.

data/TODO.complete/59-delete-toy-xmi-export.md

@@ -0,0 +1,30 @@
+# TODO.complete/59: Delete toy Export::Xmi::Generator
+
+## Status: open
+
+`Ea::Export::Xmi::Generator` is a minimal hand-rolled writer that
+duplicates `Ea::Transformers::QeaToXmi`. The latter is the proper
+serializer (used by `ea convert`). The export variant only emits
+classes + attributes, missing relationships, packages, stereotypes.
+
+Two options:
+A) Delete Export::Xmi::Generator; route `ea export xmi` to
+   Transformers::QeaToXmi.
+B) Complete Export::Xmi::Generator to match Transformers.
+
+Option A is correct — DRY. Eliminates ~100 lines of duplicate
+logic that would otherwise drift.
+
+## Plan
+
+1. Change `lib/ea/cli/command/export.rb` xmi lambda to call
+   `Ea::Transformers.qea_to_xmi(model)`.
+2. Delete `lib/ea/export/xmi.rb`, `lib/ea/export/xmi/generator.rb`.
+3. Remove `autoload :Xmi` from `lib/ea/export.rb`.
+4. Update round_trip_spec to use the transformer.
+
+## Acceptance
+
+- `ea export xmi examples/qea/basic.qea` produces full Sparx XMI
+  (not just classes).
+- No `Ea::Export::Xmi` namespace remains.

data/TODO.complete/60-curate-json-export.md

@@ -0,0 +1,20 @@
+# TODO.complete/60: Curate JSON export schema
+
+## Status: open
+
+`Ea::Export::Json::Generator` dumps `record.to_hash` raw, which
+includes Lutaml::Model internals (e.g. `record_type` field is
+added by us but other internals may leak).
+
+## Plan
+
+1. Define a per-collection projection: for each model class, list
+   the fields to include in JSON output.
+2. Walk collections, project each record through the curated schema.
+3. Output `{ "collections": { "objects": [...], "packages": [...], ... } }`
+   with a top-level structure (current output is flat).
+
+## Acceptance
+
+- Spec: JSON output has a stable schema documented in the spec.
+- Spec: Lutaml::Model internals do not appear in output.

data/TODO.complete/61-plantuml-relationships.md

@@ -0,0 +1,22 @@
+# TODO.complete/61: PlantUML export — relationships + packages
+
+## Status: open
+
+Current `Ea::Export::PlantUml::Generator` only emits classes +
+their attributes. Doesn't emit:
+- Package nesting (`package "X" { ... }`)
+- Generalizations (`Parent <|-- Child`)
+- Associations with multiplicity (`A "1" --> "0..*" B : name`)
+
+## Plan
+
+1. Wrap classes in their containing package blocks.
+2. Emit generalization arrows from `connectors` where
+   `connector_type == "Generalization"`.
+3. Emit associations with source/target multiplicities and role names.
+
+## Acceptance
+
+- Spec: PlantUML output for a 2-class model with one generalization
+  contains `Parent <|-- Child`.
+- Spec: classes are nested in `package "X" { ... }` blocks.

data/TODO.complete/62-changelog.md

@@ -0,0 +1,17 @@
+# TODO.complete/62: Add CHANGELOG.md
+
+## Status: open
+
+No CHANGELOG exists. Releases happen but aren't documented.
+
+## Plan
+
+1. Create `CHANGELOG.md` following Keep-a-Changelog format.
+2. Backfill 0.5.0 entry summarizing the headless-EA-replacement
+   release.
+3. Backfill 0.4.0 from git log if straightforward.
+
+## Acceptance
+
+- File exists at repo root.
+- 0.5.0 entry lists the major additions.

data/TODO.complete/63-dependabot-fix.md

@@ -0,0 +1,18 @@
+# TODO.complete/63: Address dependabot vulnerability
+
+## Status: open
+
+`git push` reported: "GitHub found 1 vulnerability on lutaml/ea's
+default branch (1 moderate)". Need to triage.
+
+## Plan
+
+1. Inspect the alert via `gh api repos/lutaml/ea/dependabot/alerts`.
+2. If transitive (gem dependency): bump via Gemfile + bundle update.
+3. If direct: upgrade affected gem.
+4. Verify alert resolves.
+
+## Acceptance
+
+- Dependabot alert state is "dismissed" or "fixed".
+- `git push` no longer reports vulnerability.

data/TODO.complete/64-qeatoxmi-connectors.md

@@ -0,0 +1,30 @@
+# TODO.complete/64: QeaToXmi emits connector elements
+
+## Status: open
+
+`Ea::Transformers::QeaToXmi` emits associations as `<memberEnd>` +
+`<ownedEnd>` on the owning class, but does NOT emit EA's
+`<connector>` elements. Per the parity regression spec, that's the
+#1 missing category (73/73 in basic.qea, 73/80 in plateau).
+
+## Plan
+
+1. After serializing the model root + classes, walk `t_connector`
+   for associations/aggregations/compositions.
+2. For each connector, locate the corresponding `t_diagramlinks` row
+   to retrieve geometry (SX/SY/EX/EY/EDGE) and visual style
+   (lineStyle/lineColor).
+3. Emit `<connector>` element with geometry in `<style>` sub-element.
+
+## Acceptance
+
+- `ea export xmi` output for basic.qea now contains
+  `<connector>` elements (was 0/73).
+- `spec/ea/validation/xmi_parity_spec.rb` packagedElement threshold
+  raised from 5% to 25% (connectors represent ~25% of EA's output).
+
+## OCP
+
+Each connector type (Association/Aggregation/Composition) gets a
+private serializer method dispatched by `connector_type`. New
+connector types = new case branch; no other code changes.

data/TODO.complete/65-qeatoxmi-diagrams.md

@@ -0,0 +1,29 @@
+# TODO.complete/65: QeaToXmi emits diagram elements
+
+## Status: open
+
+`Ea::Transformers::QeaToXmi` does not emit EA's `<diagram>` elements
+at all. The parity spec confirms 0/23 in basic.qea, 0/2 in test.qea.
+
+## Plan
+
+1. Walk `t_diagram` for every diagram.
+2. For each diagram, walk `t_diagramlinks` to find placed
+   elements + connectors; emit them as `<element>` children of
+   `<diagram>`.
+3. Each element child references its `xmi:idref` to the model
+   class.
+4. Connector children emit as `<connector>` with geometry (see
+   TODO 64).
+
+## Acceptance
+
+- `ea export xmi` output for basic.qea now contains
+  `<diagram>` elements (was 0/23).
+- Parity threshold raised from 25% to 50%.
+
+## OCP
+
+Diagrams emit via a new private method `emit_diagrams(model)`
+called after the model class tree. Adding new diagram metadata
+(swimlane info, etc.) = new private method, no other changes.

data/TODO.complete/66-qeatoxmi-style-tags-docs.md

@@ -0,0 +1,28 @@
+# TODO.complete/66: QeaToXmi emits style / tags / documentation
+
+## Status: open
+
+EA's reference XMI contains hundreds of `<style>`, `<tags>`, and
+`<documentation>` elements per diagram. Ours emits zero. Per the
+parity spec: 0/663 styles, 0/478 tags, 0/357 documentation entries.
+
+## Plan
+
+1. Walk `t_diagramlinks` to find connector+element style strings.
+2. Emit `<style>` children of `<connector>` / `<element>` with the
+   stored style XML verbatim.
+3. Walk `t_taggedvalue` for tagged values; emit as `<tags>` children
+   with `<tag>` items.
+4. Walk `t_objectnotes` for documentation; emit as `<documentation>`
+   children of the owning element.
+
+## Acceptance
+
+- Output contains `<style>`, `<tags>`, `<documentation>` elements.
+- Parity threshold raised from 50% to 75%.
+
+## OCP
+
+Each sub-element type (style/tags/documentation) is a private
+emitter method dispatched by collection. New element types = new
+case branch.

data/TODO.complete/67-ocl-collection-ops.md

@@ -0,0 +1,20 @@
+# TODO.complete/67: OCL collection operations
+
+## Status: open
+
+`Ea::Ocl` evaluates a subset of OCL: `exists`, `forAll`, `matches`,
+`and`/`or`/`not`, attribute access. Real EA constraints use
+`size()` and `isEmpty()` (parity: 0/0 because the OCL evaluator
+wasn't even invoked before this session).
+
+## Plan
+
+1. Add `CollectionSize` AST node: `<collection>->size()`.
+2. Add `CollectionIsEmpty` AST node: `<collection>->isEmpty()`.
+3. Parser recognizes `->size` and `->isEmpty` patterns.
+4. Evaluator returns integer / boolean.
+
+## Acceptance
+
+- Spec: `inv: self.items->size() > 0` parses + evaluates.
+- Spec: `inv: self.items->isEmpty() or self.required` parses + evaluates.

data/TODO.complete/68-ocl-comparison-ops.md

@@ -0,0 +1,19 @@
+# TODO.complete/68: OCL comparison operators
+
+## Status: open
+
+`Ea::Ocl` supports `=`/`==` via equality, but not ordering: `>`,
+`<`, `>=`, `<=`. These appear in real OCL invariants.
+
+## Plan
+
+1. Add `Comparison` AST node: `left op right` where op is one of
+   `>`, `<`, `>=`, `<=`.
+2. Parser recognizes the operators.
+3. Evaluator compares numeric operands; raises `UnsupportedError` on
+   non-numeric.
+
+## Acceptance
+
+- Spec: `inv: self.age >= 18` parses + evaluates (true / false).
+- Spec: `inv: self.count < self.max` parses + evaluates.

data/TODO.complete/69-spec-new-models.md

@@ -0,0 +1,25 @@
+# TODO.complete/69: Specs for newly-added QEA models
+
+## Status: open
+
+The following models were added in TODO 44 / TODO 7 sessions but
+have no spec coverage: `EaSecrypt`, `EaPalette`, `EaPaletteItem`,
+`EaImplement`, `EaRoleConstraint`, `EaObjectProblem`, `EaObjectRisk`,
+`EaObjectTest`, `EaObjectEffort`, `EaObjectResource`,
+`EaObjectScenario`, `EaObjectRequire`, `EaObjectTrx`.
+
+Without specs, regressions in column mapping or primary key logic
+go undetected.
+
+## Plan
+
+1. Single consolidated spec file: `spec/ea/qea/models/
+   auxiliary_models_spec.rb`.
+2. Per-model `it "loads primary key and columns"` block.
+3. Verifies `primary_key_column` is correct.
+4. Verifies `column_map` translates known column names to symbols.
+
+## Acceptance
+
+- File exists, all 13 models have at least 1 example.
+- `bundle exec rspec` passes with 0 failures.