Tianyi Cui 6520f71f94 Merge remote-tracking branch 'origin/codex/invariant-service-seam' into codex/invariant-package-registration-gate před 2 měsíci
..
.vitepress 9d310ecc27 feat(invariants): add package-owned service seam před 2 měsíci
zh-CN 6520f71f94 Merge remote-tracking branch 'origin/codex/invariant-service-seam' into codex/invariant-package-registration-gate před 2 měsíci
.gitignore 87a1774fef feat: add docs website před 2 měsíci
package.json 4c49677469 website: render the design essays' TeX (math: true, mathjax3 pinned to v4) před 2 měsíci