chore: bump SDK submodules for the complex param-type fleet work#12
Merged
Conversation
- tx3c: ^0.20.0 → ^0.21.0 - trix: ^0.25.0 → ^0.25.1 - tx3-lsp: ^0.8 → ^0.9.0 - dolos: ^1.1.1 → ^1.2.0 Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Move all submodules to their main tips (protocol io-role-names PRs, lang/docs/registry/skills fixes, dolos/protocol-gateway backends). Add routing entries for protocols/txpipe and backends/dolos. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Pull in the merged cross-repo change that makes tx3c emit JSON Schema for record/variant types under components.schemas and teaches the SDK codegen and web-sdk to consume them: - tii #2 — Bytes/Utxo/AnyAsset $defs - tx3 #337 — emitter + codegen - web-sdk #33 — resolve custom-type params - rust/python/go-sdk #40/#17/#13 — render named types Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Move the seven submodules whose divide-operator PRs squash-merged to their new origin/main tips (tir#2, tx3#340, docs#58, registry#39, tx3-lift#11, tx3-lsp#24, tx3-skills#5). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…uash-merge - New skills/add-language-feature: end-to-end methodology for rolling a new Tx3 language feature across spec, grammar/AST, analysis/lowering, TIR/reduction, consumers, docs, and agent skills (distilled from the * and / operator rollouts). Registered in the root AGENTS.md skills list. - commit-umbrella: DIVERGED no longer implies unmerged. Squash-merge rewrites the SHA, so a merged feature branch never becomes an ancestor of main; verify the PR via gh and repin to origin/main tip instead of trusting the commit hash. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Advance the toolchain submodules to the released tuple feature: - core/tir -> v0.18.0 (Type::Tuple + N-ary Expression::Tuple) - lang/tx3 -> v0.22.0 (Tuple<...> type, literal, indexing) - tooling/tx3-lift -> tir 0.18 bump - tooling/tx3-lsp -> dep bump (tx3-lang 0.22 / tx3-tir 0.18) - tooling/tx3-mcp -> tuple TII schema + dep bump - tooling/trix -> raise tx3c compat floor to 0.22.0 - registry -> dep bump - docs -> document tuple types - plugins/tx3-skills -> document tuple types Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Umbrella-repo pointer bumps and tooling that accumulated locally while the per-SDK feature work landed. None of these were on
mainyet (they were stranded on the already-mergedchore/stable-channel-updatebranch). This collects them into one PR.SDK submodule bumps — complex param-type interpreter
All four SDKs reworked their
ParamTypeinterpretation to the canonical model insdk-spec/api-surface/args.md(trailing-name core$refmatching acrosstii#/$defs/+ legacycore#forms; distinctlist/tuple/map/record/variantkinds carrying inner types;#/components/schemas/<Name>resolution + recursion; never-throwunknownfallback). Each merged PR is reflected here:rust-sdk→ #41 (dac3f75)go-sdk→ #14 (898fd23)python-sdk→ #18 (d1da27c)web-sdk→ #34 (20165ef)Earlier submodule bumps (also not yet on
main)613ff0eparametric tuple types9dbd572divide (/) operator876d3b8multiply (*) operator13f9d08TII complex-type schemas83b3cdfbump submodules to latest mainTooling / docs
040ed28addadd-language-featureskill; teachcommit-umbrellaabout squash-merge35dea1aadd planning docs andcommit-umbrellaskillNote on the spec
The canonical-model spec + shared fixture + parity-matrix changes are not in this PR — they're carried by the open spec PR #11 (
feat/sdk-complex-type-spec). This PR is the submodule/tooling side only.🤖 Generated with Claude Code