053c2783

By: lcnbr <im@lcnbr.ch>

move tydenso into gammaloop

Move the Tydenso plugin, Typst package, portable Spenso payload metadata, and
Spynso rich-display bridge into GammaLoop while keeping the shared Atom wire
contract in Tymbolica. Pin both sides to one official Symbolica development
revision and isolate native and Wasm feature graphs.

User prompt:

PLEASE IMPLEMENT THIS PLAN:
# Split Tymbolica and Tydenso into Their Owning Repositories

## Summary

- Keep Tymbolica, Rubi, and the shared `tymbolica-atom-payload` crate in `lcnbr/tymbolica`.
- Move all Tydenso Rust code, Typst files, documentation, examples, Wasm build tooling, and compressed artifacts into GammaLoop.
- Make the dependency strictly one-way: GammaLoop depends on `tymbolica-atom-payload`; Tymbolica has no Spenso, Idenso, or GammaLoop dependency.
- Continue GammaLoop work in the existing JJ workspace on top of `simplify-spenso-api`.

## Repository and dependency changes

- Merge `tymbolica-typst-ast` into `tymbolica_atom_payload::typst_ast`, leaving one shared Git dependency.
- In both repositories, declare `symbolica = { version = "2.2", default-features = false }` and patch `symbolica`, `numerica`, and `graphica` to the same exact official `dev` revision. Resolve current `dev` once and pin that SHA in every root patch; currently this is `ec19eeb211685aa216dbd28a4df547cd4c6baca1`.
- Remove Tymbolica’s `vendor/symbolica-wasm` adapter and the `lcnbr/symbolica` pin. Official `dev` now contains the generalized partial-import remapping fix.
- Tymbolica’s plugins select `symbolica/wasm`; ensure `symbolica-integrate` disables Symbolica default features so Rubi cannot pull GMP or native code generation into Wasm.
- GammaLoop references the pushed Tymbolica commit exactly:

  ```toml
  tymbolica-atom-payload = {
    git = "https://github.com/lcnbr/tymbolica",
    rev = "<exact-tymbolica-commit>",
    default-features = false,
  }
  ```

- Give the payload and reusable GammaLoop crates explicit `native` and `wasm` feature forwarding. Native selects `integer-gmp` and `float-mpfr`; Wasm selects `symbolica/wasm`. Keep native code generation separate and native-only.
- Regenerate GammaLoop’s Hakari workspace-hack data for Symbolica’s renamed features.
- Give Tydenso a nested Cargo workspace under `tydenso/`, with its own lockfile and identical Symbolica patches. This prevents native workspace builds from unifying GMP/native-code-generation features into the Wasm graph.

## Shared Atom contract

- Keep `tymbolica-atom-payload` Symbolica-dependent. It owns native Atom export/import, attachments, generic render trees, and Parsely-CBOR-to-Atom conversion.
- Replace the envelope in place without legacy public `V1`/`V2` APIs or compatibility readers:
  - retain magic, internal envelope version, native Atom bytes, and schema-keyed attachments;
  - remove the embedded Git SHA, `build.rs`, `SYMBOLICA_REVISION`, and revision-mismatch errors;
  - preflight the native Atom header before exposing attachments or mutating Spenso state, accepting the pinned writer format only: Symbolica magic `0x37871367` and export format `5`.
- Symbolica’s native export remains responsible for names, namespaces, tags, user data, and exact Atom structure.
- Portable attachments carry Spenso representation and manual math-display declarations. Typst head/call customization remains external notation, never symbol content.
- Move the `spenso.representation` and `spenso.math-display` codecs and registration logic into an optional Spenso portable-payload module, shared by Tydenso and Spynso.

## Tydenso and Spynso

- Move the Tydenso plugin, its local inflater/compressor, complete `tydenso/` Typst package, manual, tests, examples, and committed Wasm bundles into GammaLoop.
- Preserve `wasm-opt`, zlib compression, reproducible manual generation, and the hard compressed-size limit below 10 MiB.
- Update repository links and replace sibling-relative Tymbolica imports with local-package imports resolved against the exact pinned Tymbolica commit in CI.
- Bundle Tydenso’s `render.typ` and `notation.typ` directly into Spynso with `include_str!`; Python rendering must not invoke the Tydenso Wasm plugin.
- Add `DisplaySettings` with the existing ports layout plus Schoonschip and call layouts, dimension display, parentheses, commas, symbol scripts, and spacing controls.
- Extend existing display methods compatibly:
  - preserve positional calls such as `to_typst(True)` and `formatted(True)`;
  - add `to_html`, `to_svg`, semantic `_repr_html_`, and trusted `notation_source` overrides;
  - keep `TensorNetwork.__str__` as DOT and add explicit `to_dot`;
  - do not incompatibly override Symbolica’s inherited `to_latex`.
- Provide Typst rendering through the optional `gammaloop[typst-display]` extra using `typst>=0.15,<0.16`. Explicit HTML/SVG calls raise an install-guidance `ImportError` when absent; notebook display silently falls back to existing LaTeX/text.
- Direct Idenso functions continue returning normal Symbolica expressions. Rich display is obtained through Spenso objects, `spenso.formatted(expression)`, or `spenso.as_tensor(expression)`.

## Tests and rollout

- Test payload round-trips between native Spynso, Tydenso Wasm, and Tymbolica, including attachments, nested function remapping, malformed headers, trailing bytes, and rejection before registry mutation.
- Assert both repositories resolve one identical Symbolica source revision.
- Verify Tymbolica core and Rubi contain no Spenso/Idenso dependencies.
- Verify the Tydenso Wasm graph contains neither GMP/MPFR nor GammaLoop’s native workspace hack.
- Compile every Tymbolica, Rubi, and Tydenso example, test document, and manual; test semantic MathML output, SVG output, Typst HTML phantom alignment, notation overrides, and optional-renderer fallback.
- Copy Tydenso into GammaLoop first, then finalize and push the Tymbolica cleanup to `main`. Finally replace GammaLoop’s temporary local dependency with that exact pushed commit and validate the GammaLoop change atop `simplify-spenso-api`.
- Preserve the MIT license throughout.

Timeline