DESIGN.md@crates/kanameB
DESIGN.md@crates/kaname from i2y/ritsu is a DESIGN.md file: the design rules coding agents follow in that repo.
mdr add i2y/ritsu/crates/kaname/DESIGN.md@git:20261107.d281d9cPins git:20261107.d281d9c in mdr.lock. Pin the fingerprint instead.
- Audit grade
- B, 13 of 14 checks passed
- Kind
- DESIGN.md file
- Repository
- i2y/ritsu
- Path
crates/kaname/DESIGN.md- Versions recorded
- 15
- Latest version
- git:20261107.d281d9c, committed Nov 7, 2026
- First version recorded
- Oct 23, 2026
- Size
- 827,942 bytes
- Repository stars
- 3
- License
- Apache-2.0
Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.
What the file says
# kaname 設計文書 Functional Core を書くための小さな汎用の言語。ファイルは `.kn`、コマンドは `ritsu kaname`、クレートは `crates/kaname`。プログラムのうち、入出力を持たずに計算して決める部分（状態とイベントから次の状態を決めること、入力の検証と正規化、集計と差分、木の変換、規則・日付・帳簿を呼ぶ手前と後ろの計算）を、関数、レコード、直和型、リスト・辞書・集合、文字列、ジェネリクス、関数の値で書く。型は ritsu のもの（単位、通貨と税区分、率の刻み、範囲、列挙、日付）で、範囲、丸め、int64 を、規則・日付・帳簿と同じ決まりで確かめ、関数ごとにどこまで確かめたかをエフェクトとして型に持たせる。rulec の規則、koyomi の日付の関数、chobo の帳簿の振替は、ritsu の型のまま呼べる。確かめた関数を、ritsu の一つの生成パッケージの TypeScript・Python・Go にし、Rust にもする（36 章）。 名前は要（かなめ）から取った。扇の骨を一つに留める部品である。 この文書は、ritsu 0.35.0 の上の kaname の設計である（2026-10-22）。言語（字句と構文、名前と読むファイル、型、エフェクト、範囲の解析と例を探すこと、逃げ道の警告、言語をまたぐ判定とそのための口）、コマンド（`check`、`run`、`vectors`、`doc`、`api`、`explain`）、`ritsu gen` が書く TypeScript・Python・Go・Rust、意味の中心の Lean のモデルと定理は、ここに書いたとおりに実装してある。例の 16 の `.kn`（八つの例の英語と日本語の版）は `ritsu kaname check` を警告も無く通り、その `examples` も成り立つ。そのうち四つの例は、生成したコードを TypeScript・Python・Go のホストから呼ぶプログラムも持つ（17.5）。生成したコードは、例とテストのモジュールの全部のベクタで、TypeScript・Python・Go・Rust の四つの出力先とも参照インタプリタと同じ答えを返す（16.4）。Rust の生成物は kaname の生成の関数が書き、`ritsu gen --target rust` がクレートにする（36 章）。範囲の解析と参照インタプリタは、Lean のモデルと、例とテストのモジュールの全部で同じ答えを出す（15.3）。実装したものの出力は、実物を貼ってある（4 章、5 章、7 章、8 章、9 章、10 章、11.1、12 章、13 章、14 章、15.3、16.4、17… …
Read the whole file at its exact version.
How to install
mdr add i2y/ritsu/crates/kaname/DESIGN.md@sha256:76cdf279fddf195bThe line at the top of this page pins the label git:20261107.d281d9c, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.
[](https://markdownregistry.com/a/art_7bpdjxaarwfoipzv)
1 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 15 versions of this file, between Oct 23, 2026 and Nov 7, 2026, about one every day.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20261107.d281d9c latest | 2026-11-07 | d281d9c | 827,942 B | B | view · diff |
| git:20261105.96824a3 | 2026-11-05 | 96824a3 | 827,942 B | B | view · diff |
| git:20261105.fbcb5b7 | 2026-11-05 | fbcb5b7 | 827,942 B | B | view · diff |
| git:20261104.6cb5b29 | 2026-11-04 | 6cb5b29 | 827,942 B | B | view · diff |
| git:20261104.569f2ab | 2026-11-04 | 569f2ab | 827,764 B | B | view · diff |
| git:20261031.fbfaec0 | 2026-10-31 | fbfaec0 | 706,535 B | B | view · diff |
| git:20261031.06771db | 2026-10-31 | 06771db | 706,535 B | B | view · diff |
| git:20261031.76f9a81 | 2026-10-31 | 76f9a81 | 704,337 B | B | view · diff |
| git:20261031.d968c43 | 2026-10-31 | d968c43 | 702,046 B | B | view · diff |
| git:20261030.ebf5a2c | 2026-10-30 | ebf5a2c | 702,040 B | B | view · diff |
| git:20261029.1216bf8 | 2026-10-29 | 1216bf8 | 702,040 B | B | view · diff |
| git:20261029.0545d77 | 2026-10-29 | 0545d77 | 701,836 B | B | view · diff |
| git:20261029.0c6714d | 2026-10-29 | 0c6714d | 702,040 B | B | view · diff |
| git:20261028.3bce4d4 | 2026-10-28 | 3bce4d4 | 689,683 B | B | view · diff |
| git:20261023.0e181f9 | 2026-10-23 | 0e181f9 | 674,617 B | B | view |
Audit of the latest version
- fail: Size between 200 bytes and 200 KB (827942 bytes)
- pass: No zero-width or bidi control characters
- pass: No instruction hidden inside an HTML comment
- pass: No link to an exfiltration or paste host
- pass: No credential-shaped string
- pass: No instruction to send local credentials anywhere
- pass: No text hidden with inline styles
- pass: No prompt-injection phrasing
- pass: No curl or wget piped into a shell
- pass: No recursive delete of root, home or parent
- pass: No instruction to read or print local credentials
- pass: No base64 blob over 200 characters
- pass: No link to a raw IP address
- pass: No script tag
Starting a new one? Use a template for DESIGN.md on mdpantry, which passes every one of these checks and says what to change in it.
Source
i2y/ritsu · 3 stars · license Apache-2.0 · pushed 2026-11-07 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_7bpdjxaarwfoipzv GET https://markdownregistry.com/api/v1/resolve?ref=i2y/ritsu/crates/kaname/DESIGN.md GET https://markdownregistry.com/api/v1/blob/76cdf279fddf195ba59ab0dfde6e312e61423cf52a6bd442764defc16bf85ed8
Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.
Guides: what DESIGN.md is and how agents use it · which agent file does what.