DESIGN.md@crates/choboB
DESIGN.md@crates/chobo from i2y/ritsu is a DESIGN.md file: the design rules coding agents follow in that repo.
mdr add i2y/ritsu/crates/chobo/DESIGN.md@git:20261106.2acffb3Pins git:20261106.2acffb3 in mdr.lock. Pin the fingerprint instead.
- Audit grade
- B, 13 of 14 checks passed
- Kind
- DESIGN.md file
- Repository
- i2y/ritsu
- Path
crates/chobo/DESIGN.md- Versions recorded
- 11
- Latest version
- git:20261106.2acffb3, committed Nov 6, 2026
- First version recorded
- Oct 16, 2026
- Size
- 295,616 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
# chobo 設計文書
在庫、お金、ポイント、予約の枠のように、数で持っていて、勘定から勘定へ動かすものを書く小さな言語。書いた帳簿(`.book`)を検査し、参照インタプリタで動かし、PostgreSQL のテーブルと関数、TigerBeetle を呼ぶクライアント(TypeScript・Python・Go・Rust)へ出す。PostgreSQL を呼ぶクライアントも、同じ四つの言語で出す。MySQL の系統(MySQL・TiDB・Vitess)には、テーブルと、その上で呼び出しを行う四つの言語のクライアントを出す(4.5)。Rust のクライアントは 14 章に書く。
名前は帳簿から取った。ファイルの拡張子は `.book`。
看板の言い方の案は「勘定に下限と上限を書く。どの振替も、一度の書き込みの中でそれを守る。」(英語では "Put bounds on accounts. Every transfer keeps them, in one write.")。芯は 0.1 に書く。
この文書は段階 A(設計)で書き、段階 B(言語の芯:字句・構文・型、検査、参照インタプリタ、シナリオ、`check`・`run`・`scenarios`・`api`・`explain`)、段階 C(PostgreSQL と TigerBeetle への出力、三つの言語のクライアント、突き合わせ)、段階 D(`doc`、四つの例、README、`docs/`、エージェント向けのスキル)の実装に合わせて直した。3 章の診断と報告、4 章の SQL とクライアントの形、7 章のページは、実装の実際の出力である。TigerBeetle と PostgreSQL の振る舞いとして書いたもの(4 章)と、測った時間と件数は、実際に走らせて確かめたもので、出力をそのまま貼ってある。
## 0. 全体像
```
.book ── 構文解析 ── 名前と単位の解決 ── 型を付けた帳簿
├── 検査(単位、境界、キー、仮押さえ、勘定のあいだの流れ)と、振替の種類ごとの報告
├── 参照インタプリタ ── シナリオの自動生成と、同時の操作の順序の数え上げ
├── PostgreSQL(スキーマ、テーブル、制約、関数)
├── MySQL の系統(テーブルと制約)
…Read the whole file at its exact version.
How to install
mdr add i2y/ritsu/crates/chobo/DESIGN.md@sha256:ed4ba9e8124ba1aaThe line at the top of this page pins the label git:20261106.2acffb3, 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_pyos762wkpxskyuy)
1 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 11 versions of this file, between Oct 16, 2026 and Nov 6, 2026, about one every 2 days. Its first recorded version is graded A and its latest B.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20261106.2acffb3 latest | 2026-11-06 | 2acffb3 | 295,616 B | B | view · diff |
| git:20261104.84efad2 | 2026-11-04 | 84efad2 | 295,582 B | B | view · diff |
| git:20261104.f7651dc | 2026-11-04 | f7651dc | 294,669 B | B | view · diff |
| git:20261104.5ab6169 | 2026-11-04 | 5ab6169 | 294,716 B | B | view · diff |
| git:20261103.c7863e6 | 2026-11-03 | c7863e6 | 294,567 B | B | view · diff |
| git:20261031.76f9a81 | 2026-10-31 | 76f9a81 | 243,721 B | B | view · diff |
| git:20261023.ab8f92e | 2026-10-23 | ab8f92e | 242,226 B | B | view · diff |
| git:20261021.015907f | 2026-10-21 | 015907f | 212,857 B | B | view · diff |
| git:20261018.d011b2e | 2026-10-18 | d011b2e | 208,705 B | B | view · diff |
| git:20261017.4ad48ee | 2026-10-17 | 4ad48ee | 206,719 B | B | view · diff |
| git:20261016.092f0a8 | 2026-10-16 | 092f0a8 | 164,503 B | A | view |
Audit of the latest version
- fail: Size between 200 bytes and 200 KB (295616 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_pyos762wkpxskyuy GET https://markdownregistry.com/api/v1/resolve?ref=i2y/ritsu/crates/chobo/DESIGN.md GET https://markdownregistry.com/api/v1/blob/ed4ba9e8124ba1aa1d2e6e01cddb564a15d27a28b39e923c454c9eee51f5bb3c
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.