One catalogue of operations for the library, the terminal and the MCP #1684

Part of #746: v8.0's tool interface, and v9.0's terminal. From #1649.

Simplify, Expand, Factorize, Differentiate, Integrate and Limit on Entity are already adapters over the transformation catalogue in Core/Transformations/Transformation.Catalogue.cs. Nothing else the terminal or the MCP offers is in it, and the three surfaces are kept in step by hand.

Proposal: one catalogue with two kinds of entry.

• Transformations, as now: Entity → Entity, each carrying its claim (Equivalence or Derivation).
• Queries: Entity → a set, a number, text or a table. Solving, evaluation, LaTeX, a series and a truth table are queries.

Each entry carries its name, its arguments and a one-line description.

• The Entity methods stay the C# API, as thin adapters over the catalogue.
• amcli's one-shot commands and the MCP's tools are generated from the catalogue, or checked against it by a test. An operation added to the library then reaches all three, or the build fails.

The change is additive, so it does not wait for v3. Renaming amcli's commands is item 16 of #1019, and the catalogue would use the names that item settles.

🤖 Generated with Claude Code