CHIBA
Type System
这里集中放置 CHIBA level-1 类型系统文档，包括 rows、generics、continuations、send 与 method resolution 等设计边界。
This section centralizes CHIBA level-1 type system notes, including rows, generics, continuations, send, and method resolution boundaries.
Chiba Level 1 Atomic Capability Spec
本文规定 level-1 首发 Atomic 能力的最小语义。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Compiler Intrinsics
level-1 区分 compiler intrinsic、`std` helper 与普通用户函数。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Chiba Level 1 Continuations Spec
本文规定 Chiba level-1 中 `reset` / `resetn` / `shift`、continuation、answer type checking、usage color 的最小语义边界。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Chiba Dynamic Packages Spec
本文规定 Chiba 中 `dyn {r | ...}` 与 `dyn Constraint` 的语义位置、类型检查边界，以及它们与静态 row 系统、named constraint 的关系。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Chiba Level 1 Checked Template Spec
本文规定 Chiba level-1 checked template 的检查边界、实例化策略与编译速度约束。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Chiba Level 1 Method Resolution Spec
本文规定 Chiba level-1 的 method resolution、operator overloading、以及 shape-based dispatch 的最小规则。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Chiba Level 1 Rows Spec
本文规定 Chiba level-1 的 row polymorphism、shape 表示与 record 相关类型检查边界。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Chiba `send` / `!send` Capability Spec
本文规定 Chiba 中 `send` / `!send` 的语义位置、表面语法与默认判定方向。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Chiba Type Checking Notes
本文记录 level-1 与 level-2 type checking 的分界。这里的规则补充 `typesystem.md`、`generics.md`、`rows.md` 与 method/operator 文档。
Read the bilingual CHIBA specification stream for implementation-facing type rules.
Chiba Level 1 Type System Spec
这个文档规定 Chiba level-1 类型系统的总体边界、组成层次与实现约束。
Read the bilingual CHIBA specification stream for implementation-facing type rules.