docs: Update docs

Author: FrozenLemonTee

.agents/docs/RFC.md

@@ -48,32 +48,34 @@
 
 ### 值安全
 
-- `checked_value_policy`（默认）
-- `unchecked_value_policy`
-- `saturating_value_policy`
+- `checked_value`（默认）
+- `unchecked_value`
+- `saturating_value`
 
 关注点：和底层类型的互转、构造，底层类型值域限制，算术/比较的溢出/下溢/除零行为。
 
 ### 类型安全
 
-- `strict_type_policy`（默认）
-- `relaxed_type_policy`
+- `strict_type`（默认）
+- `relaxed_type`
 
 关注点：primitive 之间的隐式/显式转换规则，是否允许跨类型算术（如 `Integer + Floating`）或比较。 
 
 ### 错误模型 / 异常安全
 
-- `throw_error_policy`（默认）
-- `expected_error_policy`
-- `terminate_error_policy`
+- `throw_error`（默认）
+- `expected_error`
+- `terminate_error`
 
 关注点：错误处理方式，是否允许异常，是否提供 `expected` 风格的错误返回。
 
 ### 并发安全
 
-- `single_thread_policy`（默认）
-- `atomic_policy`
-- `locked_policy<Mutex>`
+- `single_thread`（默认）
+- `atomic`
+- `locked<Mutex>`
+
+注意：项目已将原先带后缀的 policy 名称（例如 `checked_value_policy`）重命名为无后缀形式（`checked_value`）。文档与代码中的示例均已更新以反映此变更。
 
 关注点：是否允许在多线程环境中使用，是否提供原子操作支持，是否需要外部锁。
 
@@ -88,13 +90,13 @@
 
 ### 第二阶段
 
-- 引入 `expected_error_policy`
+-- 引入 `expected_error`
 - 引入 `unchecked/saturating`
 - 完善行为矩阵文档
 
 ### 第三阶段
 
-- 引入 `atomic_policy`
+-- 引入 `atomic`
 - 引入语义标签桥接（非强绑定）
 
 ### 第四阶段

.agents/docs/architecture.md

@@ -133,6 +133,48 @@ ctest --test-dir build
 3. 实现无运算的 primitive 包装壳（只存值与策略标签）
 4. 将 xmake target 命名从 `templates` 统一迁移到 `primitives`
 
+## 策略（Policy）模块
+
+项目中新增了 `mcpplibs::primitive::policy` 模块，用来表达运行时/编译期的策略标签。核心要点：
+
+- `policy::category`：一个枚举，用以表示四类策略：`value`、`type`、`error`、`concurrency`。
+- 每个 policy 类型匹配一个 `policy::traits<P>` 特化，`traits` 提供 `enabled` 和 `kind`（category）。
+- 提供了 `policy::policy_type<P>` 概念用于识别有效的 policy 类型。
+- `policy::default_policies` 提供库的默认策略集合（`value`, `type`, `error`, `concurrency`）。
+
+示例用法见 [examples/basic.cpp](examples/basic.cpp#L1)（演示如何查询默认策略与内建策略的类别）。
+
+## Primitive 类模板 设计（草案）
+
+目标：提供零开销、策略化的 `primitive<T, Policies...>` 类模板，作为后续实现 `Integer/ Floating/ Boolean/ Char` 等包装器的基础。
+
+设计要点：
+
+- 定位：实现放置在 `src/primitive.cppm` 的分区或 `src/primitives/primitive.cppm`（按模块组织），导出至 `mcpplibs.primitive`。
+- 存储：`primitive<T, Policies...>` 应仅持有 `T`（或 `value_type`）的值，不含运行时策略开销；策略仅作为类型标签存在。
+- 策略传播：添加 `traits/primitive_traits.cppm`，提供 `primitive_traits<Primitive>`，包含：
+  - `using value_type` — 底层类型
+  - `using policies = std::tuple<...>` — 策略标签元组
+  - `using default_policies = policy::default_policies`
+  - 编译期谓词 `has_policy_category<Primitive, policy::category::value>` 等，便于操作 trait 的约束和重载。
+- 可扩展性：`primitive` 的操作（例如算术、比较）将通过独立的 operation traits 和 concepts 实现，使用 `primitive_traits` 中的 policy 信息进行选择。
+
+示例 API 草案：
+
+```cpp
+template<typename T, typename...Policies>
+struct primitive {
+  using value_type = T;
+  using policies = std::tuple<Policies...>;
+  constexpr explicit primitive(T v) noexcept : value(v) {}
+  T value;
+};
+
+template<typename P> struct primitive_traits; // 特化以导出信息
+```
+
+下一步：我将实现 `primitive` 模板与 `primitive_traits`，并添加单元测试与示例。
+
 ## 参考
 
 - RFC: `RFC.md`

README.md

@@ -1,8 +1,8 @@
-# mcpplibs templates
+# mcpplibs primitives
 
-> C++23 模块化库项目模板 - `import mcpplibs.templates;`
+> C++23 模块化原语库 - `import mcpplibs.primitive;`
 
-基于 C++23 模块的库项目模板，提供标准化的项目结构、构建配置和 CI/CD 流水线，帮助快速创建 mcpplibs 风格的模块化 C++ 库。
+本仓库实现了底层强类型 primitive 基础设施（traits、policy、underlying 类型分类），供上层 `Integer`/`Floating`/`Boolean` 等封装使用。
 
 ## 特性
 
@@ -15,9 +15,9 @@
 ## 项目结构
 
 ```
-mcpplibs-templates/
+mcpplibs-primitives/
 ├── src/                    # 模块源码
-│   └── templates.cppm      # 主模块接口
+│   └── primitive.cppm      # 主模块接口（导出 traits 与 primitive 聚合）
 ├── tests/                  # 测试
 │   ├── main.cpp
 │   └── xmake.lua
@@ -37,10 +37,10 @@ mcpplibs-templates/
 
 ```cpp
 import std;
-import mcpplibs.templates;
+import mcpplibs.primitive;
 
 int main() {
-    mcpplibs::templates::hello_mcpp();
+    static_assert(mcpplibs::primitive::std_integer<int>);
     return 0;
 }
 ```
@@ -58,7 +58,7 @@ xlings install
 ```bash
 xmake build                 # 构建库
 xmake run basic             # 运行基础示例
-xmake run templates_test    # 运行测试
+xmake run primitives_test   # 运行测试
 ```
 
 **使用 CMake**