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.

Install it, pinned
mdr add i2y/ritsu/crates/chobo/DESIGN.md@git:20261106.2acffb3

Pins 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

The exact contents, by fingerprint
mdr add i2y/ritsu/crates/chobo/DESIGN.md@sha256:ed4ba9e8124ba1aa

The 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.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_pyos762wkpxskyuy.svg)](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.

versioncommittedcommitsizeaudit
git:20261106.2acffb3 latest2026-11-06 2acffb3 295,616 BB view · diff
git:20261104.84efad22026-11-04 84efad2 295,582 BB view · diff
git:20261104.f7651dc2026-11-04 f7651dc 294,669 BB view · diff
git:20261104.5ab61692026-11-04 5ab6169 294,716 BB view · diff
git:20261103.c7863e62026-11-03 c7863e6 294,567 BB view · diff
git:20261031.76f9a812026-10-31 76f9a81 243,721 BB view · diff
git:20261023.ab8f92e2026-10-23 ab8f92e 242,226 BB view · diff
git:20261021.015907f2026-10-21 015907f 212,857 BB view · diff
git:20261018.d011b2e2026-10-18 d011b2e 208,705 BB view · diff
git:20261017.4ad48ee2026-10-17 4ad48ee 206,719 BB view · diff
git:20261016.092f0a82026-10-16 092f0a8 164,503 BA view

Audit of the latest version

B  13 of 14 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • 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

GitHub

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.

More from i2y/ritsu

DESIGN.md DESIGN.md file
i2y/ritsu · DESIGN.md
git:20261107.d281d9c · audit F · 3 stars
DESIGN.md@crates/dandori DESIGN.md file
i2y/ritsu · crates/dandori/DESIGN.md
git:20261104.62ba97a · audit C · 3 stars
DESIGN.md@crates/geas DESIGN.md file
i2y/ritsu · crates/geas/DESIGN.md
git:20261031.76f9a81 · audit B · 3 stars
DESIGN.md@crates/kaname DESIGN.md file
i2y/ritsu · crates/kaname/DESIGN.md
git:20261107.d281d9c · audit B · 3 stars
DESIGN.md@crates/koyomi DESIGN.md file
i2y/ritsu · crates/koyomi/DESIGN.md
git:20261107.d281d9c · audit B · 3 stars
AGENTS.md@crates/rulec AGENTS.md file
i2y/ritsu · crates/rulec/AGENTS.md
git:20261103.7af3d08 · audit A · 3 stars
DESIGN.md@crates/rulec DESIGN.md file
i2y/ritsu · crates/rulec/DESIGN.md
git:20261106.947564f · audit C · 3 stars
DESIGN.md@crates/sakai DESIGN.md file
i2y/ritsu · crates/sakai/DESIGN.md
git:20261107.d281d9c · audit B · 3 stars
DESIGN.md@crates/sekisho DESIGN.md file
i2y/ritsu · crates/sekisho/DESIGN.md
git:20261103.558b890 · audit C · 3 stars
DESIGN.md@crates/yuen DESIGN.md file
i2y/ritsu · crates/yuen/DESIGN.md
git:20261105.54d3620 · audit B · 3 stars
chobo SKILL.md skill
i2y/ritsu · skills/chobo/SKILL.md · Write, check and build chobo books (`.book` files), a small language for the things counted and moved between accounts…
git:20261104.5b400fc · audit A · 3 stars
dandori SKILL.md skill
i2y/ritsu · skills/dandori/SKILL.md · Write, check and build dandori workflows (`.flow` files), typed workflows that call APIs, rules, agents, decision…
git:20261104.5b400fc · audit A · 3 stars

Every file in i2y/ritsu

Browse by kind, by grade B, or by owner.