v0.6.0

What's Changed

• Fix deployment status 'Not Found' error by @kasbah in #1164
• Privacy policy by @tim-at-topos in #1119
• Serve algjulia-interop as a service through the backend by @jmoggr in #1132
• Regenerate Manifest.toml for Julia 1.12.5 by @jmoggr in #1166
• Use Automerge doc for user state by @kasbah in #976
• Make modal theories generic over kind of double theory by @tslil-topos in #1161
• Add explicit ids and | null to backend schema ERD by @kasbah in #1169
• Factor linear/Lotka-Voltera ODE analyses through PolynomialSystem by @georgefst in #1007
• Reduce duplication in analyses bindings and extract LaTeX helpers by @tim-at-topos in #1168
• Link RFCs to their tracking issues by @tim-at-topos in #1174
• Stop ts-rs generating bindings folder in notebook-types by @kasbah in #1182
• Add theory of parameterized stock-flow diagrams to RFC-0001 by @epatters in #1183
• Theory of polynomial ODE systems and toy Lotka-Volterra style model by @tslil-topos in #1162
• Auto-detect and import Petrinaut JSON by @tslil-topos in #1187
• Propagate non-unital modal theories throughout catlog-wasm by @tim-at-topos in #1190
• Enable non-unital modal theories in DoubleTT by @epatters in #1197
• Switch npm run with pnpm run in package.json scripts by @kasbah in #1202
• Fix user name generation for backend proptest by @kasbah in #1205
• Return single error string from Model::from_text by @epatters in #1207
• Logic for systems of polynomial ODEs by @tim-at-topos in #1176
• Models of discrete tabulator theories in DoubleTT by @KevinDCarlson in #1196
• RFC-0004: Internal languages for models by @epatters in #1189
• Editor variants and a string diagram variant for Petri nets by @kasbah in #1180
• Make default editors for objects and morphisms explicit by @kasbah in #1200
• Remove lingering "..." when editing list dom/cod by @kasbah in #1203
• Improved UI for models of polynomial ODEs by @tim-at-topos in #1211
• Fix Solid reactivity of object setting in list editors by @kasbah in #1220
• History and rollback for notebooks by @kasbah in #1175
• Various fixes for broken staging deploy by @jmoggr in #1222
• Use conn during migrations to enable transaction rollbacks by @jmoggr in #1224
• Fix theory of promonads by adding missing equation by @epatters in #1223
• Add document picker to instantiations by @kasbah in #1210
• Separate variables in monomial with \cdot in LaTeX display by @epatters in #1225
• Add tracing to RPC requests with errors by @kasbah in #1226
• Improve error handling of user state retrieval when individual docs have errors by @kasbah in #1227
• Tweak document list date columns to not truncate by @kasbah in #1228
• Convert negative coefficients to subtraction in polynomial printing by @epatters in #1229
• Control when coefficients parenthesize in polynomial printing by @epatters in #1230
• Fixes and extensions to math docs for generalized multicategories by @epatters in #1231
• Logic for signed polynomial ODEs by @tim-at-topos in #1194
• GAIOS (new Patchwork) integration by @kasbah in #1233
• Rename notebook_types crate to document_types by @epatters in #1237
• Math docs for theory of representable (generalized) multicategories by @epatters in #1234
• Extract document methods from frontend into new TS package by @epatters in #1238
• Math docs for theory of unnormalized (generalized) PROs by @epatters in #1239
• Replace deepCopyJSON with structured clones by @kasbah in #1241
• Rewrite infrastructure docs to reflect current EC2 deployments by @jmoggr in #1170
• Show completions of text inputs by default on focus by @kasbah in #1243
• Improved UI for instantiation specializations by @kasbah in #1244
• Avoid needless strictness in theory of representable multicategories by @epatters in #1245
• RFC-0003: Splitting logics into builder syntax and interpretation by @tim-at-topos in #1165
• RFC-0005: Fibrational perspective on models by @tslil-topos in #1250
• Use keyed Match in document_page by @kasbah in #1253
• Remove stem cells by @kasbah in #1192
• Patch for owner change on wasm-pack by @KevinDCarlson in #1258
• Use "type" "bug" in issue template by @kasbah in #1261
• Make optional deps be ordinary deps in AlgJulia interop by @kris-brown in #1268
• RFC-0004: Internal languages for models, continued by @epatters in #1232
• Make deployment set a status on the main commit by @kasbah in #1271
• Commit Manifest.toml for algjulia-interop by @kasbah in #1273
• Remove Project.toml/manifest for AlgJulia interop tests by @quffaro in #1274
• Update TypeScript to v6, and update oxlint & stylelint by @kasbah in #1254
• Reset active input in editors when focus is lost by @kasbah in #1277
• Update wasm-pack to 0.15 and remove patch by @kasbah in #1281
• Mitigate invalid date being passed to relative_time by @kasbah in #1278
• Tighten up docs on hash mismatch by @kasbah in #1138
• Code view component by @quffaro in #1285
• Clean up createResource reactivity by @kasbah in #1286
• Refactor and fix focus management by @kasbah in #1276
• Colors: stop using green, alias blue to "indicator" by @kasbah in #1289
• Upgrade ECharts from v5.5 to v6.1 by @epatters in #1288
• Run Julia tests in CI by @quffaro in #1292
• Use pnpm2nix-nzbr by @kasbah in #1263
• Move ui-component tests to own GitHub Actions workflow by @kasbah in #1296
• Move Julia tests to own Github Actions workflow by @kasbah in #1295

New Contributors

• @georgefst made their first contribution in #1007

Full Changelog: v0.5.2...v0.6.0

v0.5.2

What's Changed

• Fix production build not running build:deps by @kasbah in #1160

Full Changelog: v0.5.1...v0.5.2

v0.5.1

What's Changed

• Enable table view analysis on staging server by @epatters in #1114
• Nix rust toolchain fixups by @kasbah in #1111
• Change rho to kappa in outgoing flow of mass action latex by @kasbah in #1118
• Add check for backend command generate-bindings by @kasbah in #1115
• Equations between morphisms in notebook types by @KevinDCarlson in #1060
• Allow ObTypes and MorTypes to check and synthesize correctly by @KevinDCarlson in #1081
• Defensively handle doc loading errors in sidebar by @kasbah in #1127
• Pretty-print equations in models of discrete theories by @KevinDCarlson in #1085
• Upgrade to pnpm v10 by @epatters in #1134
• Visualize composition pattern as UWD by @kasbah in #1117
• Fix Safari font measurement for ELK visualizations by @kasbah in #1121
• Pin biome binary from GitHub releases instead of nixpkgs-unstable by @jmoggr in #1137
• Update automerge-repo to 2.5.3 by @kasbah in #1139
• Generate backend API bindings instead of tracking them in git by @jmoggr in #1136
• Stop tracking *.module.css.d.ts types in Git by @kasbah in #1140
• Enable inline KaTeX in rich text editor by @jmoggr in #1087
• Fix build for staging falling back to production due to bash by @jmoggr in #1142
• Do not return model from text if parser has errors by @kris-brown in #1095
• Wrap SQL analysis documentation in correct tag by @tim-at-topos in #1143
• Stop running biome format after tcm by @kasbah in #1147
• Replace biome with oxlint and oxfmt by @kasbah in #1146
• Extract a generic depth-first graph traversal algorithm by @tslil-topos in #1144
• Add flag and typing to DblTheory to match RFC-0001 by @tslil-topos in #1145
• Notebook elaboration for equality types by @KevinDCarlson in #1061
• Retrospective RFC on DoubleTT by @epatters in #1149
• Use stylelint for CSS linting by @kasbah in #1152
• Move RFCs from the /math/ forest to /rfc/ Quarto by @tim-at-topos in #1122
• Enable LaTeX in CI action to build RFCs by @tim-at-topos in #1158
• Add caching for Quarto build of RFCs by @kasbah in #1159

New Contributors

• @tslil-topos made their first contribution in #1144

Full Changelog: v0.5.0...v0.5.1

v0.5.0

What's Changed

• Consistent name and icon for links to help pages by @tim-at-topos in #945
• Remove unnecessary nix_path argument in GitHub actions by @jmoggr in #947
• Add dev docs for Nix hash mismatches by @jmoggr in #943
• Remove automerge-doc-server and sync Automerge docs from backend using samod by @jmoggr in #875
• Re-encrypt secrets for new catcolab-next host by @jmoggr in #952
• Update client env vars to use samod backend by @jmoggr in #953
• Verify the deployed Nix profile by @jmoggr in #950
• Upgrade to automerge-prosemirror v0.2.0-alpha.0 by @jmoggr in #941
• Validate object and morphism types in frontend theories against Wasm by @hon-gyu in #957
• Add cascading updates/deletes users table foreign keys by @jmoggr in #961
• List ui-components package in CONTRIBUTING.md by @kasbah in #963
• Add postgres storage adapter for samod by @jmoggr in #962
• Display equations for mass action ODE analysis by @kasbah in #954
• Add file size limit to new_ref backend request by @patrickaldis in #964
• Fix order sensitivity of objects and morphisms by @kasbah in #966
• Fix default AnnouncePolicy causing CPU usage spike by @kasbah in #968
• Add CODEOWNERS file by @epatters in #969
• Build rust docs with Nix in CI by @jmoggr in #946
• Replace #[derive(TS)] with #[qubit::ts] by @jmoggr in #972
• Add a pnpm minimumReleaseAge of 9 days by @jmoggr in #973
• Remove projection to base type (Ty0) from DoubleTT by @epatters in #974
• Remove redundant Display impl for morphim types in DoubleTT by @epatters in #977
• Refactor DoubleTT to allow theories of different doctrines by @epatters in #978
• Pretty print models of discrete theories by @epatters in #979
• Pretty print models of discrete tabulator theories by @epatters in #980
• Pretty print models of modal theories by @epatters in #983
• Fix typo "summmary" by @quffaro in #985
• Use d/dt in equations visualization by @kasbah in #992
• Minor documentation fixups by @kasbah in #991
• Instructions for pnpm install in the docs by @tim-at-topos in #999
• Document database schema by @kasbah in #994
• Support lists in text elaboration for models of modal theories by @epatters in #993
• Expose DoubleTT text elaborator as standalone function by @epatters in #1002
• Increase maximum width of struct bodies in Rust code by @epatters in #1006
• Enable scrolling in sidebar by @brendanfong in #1003
• Consolidate ssh key management into single file by @jmoggr in #1004
• Use integers for initial values in stochastic mass-action problem data by @quffaro in #982
• Support applications of object operations in text elaboration by @epatters in #1005
• Use Foldable for all analyses with parameters by @kasbah in #1008
• Treat empty labels in Namespaces like missing labels by @epatters in #1010
• Configure lints from Cargo.toml instead of top-level module by @epatters in #1011
• Upgrade to Rust v1.93 by @epatters in #1012
• Enable clippy lint doc_paragraphs_missing_punctuation by @epatters in #1013
• Fix integer bounds in stochastic mass action analysis by @quffaro in #1009
• Helper function backward_link for testing catlog-wasm by @epatters in #1014
• Inclusion migration from stock-flow to stock-flow with signed links by @tim-at-topos in #1015
• Support modal theories in notebook elaboration by @epatters in #1016
• Upgrade wasm-pack to v0.14 by @epatters in #1018
• Add ELK as alternative layout engine for graph visualization by @epatters in #1019
• Start maintaining a CHANGELOG.md by @epatters in #1022
• Change release header format in CHANGELOG by @tim-at-topos in #1023
• Fix single-character typo in doc comment by @tim-at-topos in #1024
• Split build and deploy GitHub Action workflows by @kasbah in #990
• Adjust vee arrow style by @kasbah in #1025
• Allow custom SVG renderer in GraphVisualization component by @epatters in #1027
• Process object judgments before instantations in notebook elaborator by @epatters in #1029
• Generate SQL schema definition from CatColab schema by @quffaro in #843
• Unbalanced mass-action ODE semantics by @tim-at-topos in #1000
• Translucent morphisms in DoubleTT elaborator by @KevinDCarlson in #1028
• Data structure and pretty printer for UWDs by @epatters in #1032
• Use CSS custom properties to get the ELK font width by @kasbah in #1037
• Embed fonts in SVG exports by @kasbah in #1039
• Reduce duplicated code in theories.rs by @kasbah in #1038
• Add sudo password to catcolab account by @jmoggr in #970
• Upgrade Automerge to fix document corruption bug by @jmoggr in #1056
• Revert sudo password requirement for catcolab account by @jmoggr in #1058
• Redesign of Julia interop, avoiding Jupyter kernel by @kris-brown in #835
• Add a GitHub "deployment" for backend-next by @kasbah in #1059
• Fix secrets filepaths in db-utils by @kasbah in #1046
• Unbalanced mass-action dynamics for Petri nets by @tim-at-topos in #1045
• UI fixups for mass-action analysis by @kasbah in #1062
• Set backend opt-level=3 in production by @kasbah in #1067
• RFC: Set-theoretic models of double theories by @epatters in #1052
• Extract implicit composition pattern from record type by @epatters in #1069
• Equation types in DoubleTT by @KevinDCarlson in #1047
• Fix mass-action equations analyses for Petri nets by @tim-at-topos in #1064
• Fix balanced mass-action for Petri nets and add tests by @tim-at-topos in #1074
• Allow analysis content to be extended with new fields by @epatters in #1071
• Wasm bindings for UWD extracted from model by @epatters in #1077
• Clarify backend setup instructions in README by @tim-at-topos in #1079
• Upgrade to automerge-prosemirror v0.2.0 by @epatters in #1080
• Improve font rendering in two-letter icons by @kasbah in #1082
• Terminology change in RFC0001 by @tim-at-topos in #1083
• Add postgres and netcat to nix dev shell by @kasbah in #1088
• Merge unbalanced mass-action equations analysis into mass-action equations analysis by @tim-at-topos in https:...

v0.4.3

What's Changed

• Remove restore button on banner when doc not owned by @kasbah in #940
• Two new example models: Petri net and signed stock-flow by @tim-at-topos in #944

Full Changelog: v0.4.2...v0.4.3

v0.4.2

What's Changed

• Upgrade Biome and fix method of extending Biome config files by @kasbah in #874
• Hide deleted sub-docs and navigate away on delete by @kasbah in #886
• Fix CSS class not being applied to IconButton by @kasbah in #894
• Move warning banner into ui-components by @kasbah in #887
• Name existing colors as CSS custom properties by @kasbah in #888
• Purge kobalte by re-implementing alert by @kasbah in #897
• Clean up, add to, and categorize ui-component stories by @kasbah in #898
• Improve UX when adding user in permissions dialog by @kasbah in #901
• Cache builds in GitHub actions by @kasbah in #899
• Open new documents in a split pane with the parent by @jmoggr in #908
• Always open sidepanel documents in splits by @jmoggr in #909
• Fix initial size of split panes by @jmoggr in #910
• Theory-specific icons with two letters for models by @kasbah in #865
• Fix ambiguous precedence of CSS selectors for SVG nodes/edges by @epatters in #915
• Stock-flow diagrams with signed links by @tim-at-topos in #905
• Fix help links in descriptions not navigating correctly by @kasbah in #916
• Improve notebook cell drag and drop by @kasbah in #920
• Visualize schemas as entity-relationship diagrams by @kasbah in #918
• Add ExpandableList and KatexDisplay components by @kasbah in #923
• Use a gear icon for analysis settings/params panel dropdown by @kasbah in #929
• One permissions button per doc when two panels by @kasbah in #932
• Upgrade to NixOS 25.11 by @jmoggr in #924
• Add sign labels for links in signed stock and flow by @kasbah in #931
• Mathematical presentation of DoubleTT: first steps by @epatters in #922
• Resolve some build warnings around bundling by @kasbah in #935
• Skip database backup if postgresql is not runnning by @jmoggr in #936
• Update links to example models/diagrams in user docs by @KevinDCarlson in #928
• Set browser title for all pages by @kasbah in #933

Full Changelog: v0.4.1...v0.4.2

v0.4.1

What's Changed

• Replace Owen with Kaspar for prod access by @jmoggr in #878
• Make deploy users consistent between staging and prod by @jmoggr in #879
• Docs for modal theories of Markov categories and categories of partial maps by @epatters in #872
• Fix 'DocHandle is not ready' error on readonly documents by @jmoggr in #883
• Keep parent document on the left in paned view by @kasbah in #880
• Don't show ownerless children under owned document by @jmoggr in #885

Full Changelog: v0.4.0...v0.4.1

v0.4.0

What's Changed

• Wrong port for Automerge document server on prod by @jmoggr in #842
• Prevent Automerge service hanging while stopping by @jmoggr in #844
• Move most components back to ui-components by @kasbah in #841
• Serialization of elaborated models and diagrams by @epatters in #806
• Use corvu's tooltip component in IconButton by @epatters in #847
• Notebook cells for instantiating models by @epatters in #748
• Make netlify add "deployment" info to PR rather than comment by @kasbah in #849
• Update Biome linter and enable "domain" for Solid linting by @kasbah in #846
• Add a LiveDocWithRef type and name Doc types consistently by @kasbah in #851
• Simplify deduplication of deps in vite config by @kasbah in #845
• DoubleTT elaboration of notebook instantiations by @olynch in #788
• FIX: Fix Netlify deploy being skipped on main push by @kasbah in #853
• Only allow creating instantiation cells when supported by elaborator by @epatters in #852
• Simple logic for power systems inspired by PyPSA by @epatters in #783
• Kuramoto model of synchronization by @epatters in #830
• Refactor/fix up LiveDocWithRef type changes by @kasbah in #855
• Fail gracefully when attempting to instantiate a non-model document by @epatters in #856
• Fix sensitivity of ODE analyses to object order by @epatters in #857
• Prevent wrapping in document title in sidebar by @perrybleiberg in #858
• Look up qualified names in notebook elaborator by @epatters in #863
• Move AppMenu button to Sidebar header to reduce empty space by @perrybleiberg in #860
• Docs for double theories for generalized PROs and multicategories by @epatters in #869
• Upgrade to match biome versions between NPM and Nix by @jmoggr in #867
• Enable rich text in readonly documents by @jmoggr in #868
• Run all frontend tests in CI with NixOS VM by @jmoggr in #816
• Skip Nix flake checks during deployment by @jmoggr in #876
• BUILD: Give Kaspar access to staging by @jmoggr in #877

New Contributors

• @perrybleiberg made their first contribution in #858

Full Changelog: v0.3.7...v0.4.0

v0.3.7

What's Changed

• Model library: a reactive cache of elaborated models by @epatters in #758
• Use Cachix cache when deploying from CI by @jmoggr in #760
• Notebook types for instantiating models by @epatters in #761
• Run frontend-only tests in CI action by @epatters in #763
• Model library recursively elaborates instantiated models by @epatters in #762
• Help page for Petri nets by @tim-at-topos in #737
• Fix failing integration test and improve error handling by @jmoggr in #765
• FIX: notebook-types package missing from backend Nix package by @jmoggr in #769
• Move Nix build job for catcolab-next to CI workflow by @jmoggr in #771
• Move database migrator into separate crate by @jmoggr in #775
• Give more descriptive name to Nix VM image by @jmoggr in #777
• Run Biome CI for automerge-doc-server by @epatters in #780
• Add missing wasm-pack dev dependency to notebook-types by @epatters in #781
• Downgrade automerge-prosemirror to fix Nix frontend build by @jmoggr in #776
• Improve backend setup docs and test backend set up in CI by @kasbah in #741
• Allow adding proarrow composites in modal theories by @epatters in #787
• Notion-like paned workflow for all document types by @jmoggr in #749
• Classes for maps with object/morphism types as keys by @epatters in #790
• Move ModelLibrary to app-level context by @epatters in #792
• FIX: Use document type instead of hardcoded 'model' in menu text by @jmoggr in #795
• Document deletion by @kasbah in #735
• Fix same document opening in multiple panes by @jmoggr in #797
• Click an already open doc in the sidebar to maximize that doc by @jmoggr in #798
• Allow document panels to scroll independently of each other by @jmoggr in #799
• Increase vertical real estate at end of notebook by @jmoggr in #800
• Upgrade Rust toolchain to v1.91 by @epatters in #802
• Run clippy with all targets and all features in CI by @epatters in #804
• Set branch alias for Netlify deploy previews by @kasbah in #809
• Refactor backend rpc.rs wrapper functions using async blocks by @jmoggr in #810
• Prevent notebook cells shifting when focussing a rich text editor cell by @jmoggr in #801
• Split out a ui-components package, showcase and test it with Storybook by @kasbah in #808
• FIX: Move doc components back to frontend to fix regressions by @kasbah in #813
• Fix regression in document deletion button by @kasbah in #821
• Delete document from sidebar menu by @kasbah in #815
• Replace welcome overlay with a home page by @kasbah in #824
• Remove kobalte dependency from frontend by @kasbah in #826
• Reorder documentation links on home page by @tim-at-topos in #827
• Add "trash" page and document restore functionality by @kasbah in #823
• Configure Vite to enable linking packages that use Solid by @epatters in #834
• Fixes and improvements to docs on stochastic mass-action simulation by @quffaro in #832
• Don't show "Loading" text in sidebar document list by @epatters in #836
• Ensure stable order of preimages in unindexed hash columns by @epatters in #837
• Fix deleted icons not restoring by @kasbah in #838
• Stop navigating away on delete and allow restore on sidebar by @kasbah in #839
• Upgrade vite to v7 and vitest to v4 by @kasbah in #833

Full Changelog: v0.3.6...v0.3.7

v0.3.6

What's Changed

• Add dialog with suggestion to duplicate view-only model by @kasbah in #670
• Patchwork tools for model and analysis editors by @epatters in #718
• Improve error when FIREBASE_PROJECT_ID is unset by @kasbah in #734
• Math docs for the double theory of fibrations by @epatters in #736
• Math docs for the double theory of categories with pullbacks by @epatters in #740
• Remove lingering type defs for links from frontend by @epatters in #743
• Store ref ID in generic LiveDoc type rather than Live[*]Document types by @epatters in #744
• DoubleTT elaboration for notebooks by @olynch in #727
• Extend DoubleTT elaboration to support any discrete double theory by @olynch in #746
• Split document menu into model and diagram menus by @epatters in #747
• Links in rich text editor by @jmoggr in #738
• Bump rebop to v0.9.3 by @quffaro in #752
• Reuse main component across most graph visualization analyses by @epatters in #753
• Frontend tests for standard library of theories by @epatters in #754
• In-memory cache of Automerge document IDs by @epatters in #756
• Reimplement keyboard shortcuts in notebook more simply by @epatters in #757

New Contributors

• @kasbah made their first contribution in #670

Full Changelog: v0.3.5...v0.3.6