xiusin · xiusin · Jun 21, 2026 · Jun 22, 2026 · Jun 22, 2026 · Jun 26, 2026
diff --git a/.trae/specs/extend-validator-types/checklist.md b/.trae/specs/extend-validator-types/checklist.md
@@ -0,0 +1,10 @@
+- [ ] No `eprintln` statements remain in `test_validate` or `test_required_int` functions in `/workspace/validator/validate_test.v`
+- [ ] `test_validate` assertion (`assert errs.len == N`) matches the actual number of errors produced by the validators for the test data
+- [ ] The comment in `test_validate` accurately describes which fields fail and why (no claim that `'go1ogle.123'` fails URL validation if it does not)
+- [ ] `module validator` declaration is preserved at the top of every `.v` file in `/workspace/validator/`
+- [ ] The `IValidator` interface in `/workspace/validator/validate.v` is unchanged (still declares `field`, `message`, `value`, and `validate() !`)
+- [ ] No files outside `/workspace/validator/` are modified
+- [ ] `cd /workspace && v fmt -w validator/` completes without error
+- [ ] `cd /workspace && v build-module validator/` completes without error
+- [ ] `cd /workspace && v test validator/` reports all tests passing (zero failures)
+- [ ] Existing test structs (`Test`, `TestRequired`, `TestNumber`, `TestMinMax`, `TestUnknown`) and their test functions remain present
diff --git a/.trae/specs/extend-validator-types/spec.md b/.trae/specs/extend-validator-types/spec.md
@@ -0,0 +1,46 @@
+# Extend Validator Type Support Spec
+
+## Why
+The `very` V-language web framework's validator module (`/workspace/validator/`) was extended to support additional primitive types (int, i64, u64, f64, bool) across `Required`, `Min`, `Max`, and `Number` validators. The bulk of the implementation is complete, but the test suite is not yet green: `test_validate` fails because the test URL `'go1ogle.123'` is actually parseable by `net.urllib.parse`, and debug `eprintln` statements remain in `validate_test.v`. This spec finalizes Task 7 so the verification commands (`v fmt`, `v build-module`, `v test`) all pass cleanly.
+
+## What Changes
+- Fix `test_validate` in `/workspace/validator/validate_test.v` so the expected error count matches actual behavior. The URL `'go1ogle.123'` parses successfully, so either:
+  - change the test URL to a value that `net.urllib.parse` rejects (e.g. a string with illegal control characters or an empty string), OR
+  - change the expected error count from `4` to `3` and update the explanatory comment.
+- Remove debug `eprintln` statements from `test_validate` and `test_required_int` functions in `/workspace/validator/validate_test.v`.
+- Run the verification commands to confirm everything passes:
+  - `cd /workspace && v fmt -w validator/`
+  - `cd /workspace && v build-module validator/`
+  - `cd /workspace && v test validator/`
+
+## Impact
+- Affected specs: none (no prior spec existed for this work).
+- Affected code:
+  - `/workspace/validator/validate_test.v` (test-only changes: remove debug output, fix expected count or test data).
+- No changes to `required.v`, `min.v`, `max.v`, `number.v`, `validate.v`, `regexp.v`, or `url.v` are required by this spec — those files already contain the completed Task 7 implementation and must not be regressed.
+
+## ADDED Requirements
+### Requirement: Clean test suite for validator module
+The validator module's test file SHALL NOT contain debug `eprintln` statements in test functions.
+
+#### Scenario: Running tests produces no debug output
+- **WHEN** `v test validator/` is executed
+- **THEN** no `eprintln` output from `test_validate` or `test_required_int` appears in the test stream
+
+### Requirement: test_validate assertion matches actual validator behavior
+The `test_validate` test SHALL assert an error count that reflects the real behavior of the `url` validator against the test data.
+
+#### Scenario: URL test data is genuinely invalid
+- **WHEN** the test URL is set to a value that `net.urllib.parse` rejects
+- **THEN** the test asserts `errs.len == 4` (username regexp, age max, number, url)
+
+#### Scenario: URL test data is actually valid (alternative)
+- **WHEN** the test URL remains `'go1ogle.123'` (which parses successfully)
+- **THEN** the test asserts `errs.len == 3` (username regexp, age max, number) and the comment is corrected
+
+## MODIFIED Requirements
+### Requirement: Validator test suite
+The test suite in `/workspace/validator/validate_test.v` SHALL pass when run with `v test validator/`, with no failing assertions and no leftover debug output. The existing test structs (`Test`, `TestRequired`, `TestNumber`, `TestMinMax`, `TestUnknown`) and their associated test functions SHALL remain intact.
+
+## REMOVED Requirements
+None. No functionality is being removed.
diff --git a/.trae/specs/extend-validator-types/tasks.md b/.trae/specs/extend-validator-types/tasks.md
@@ -0,0 +1,18 @@
+# Tasks
+
+- [ ] Task 1: Remove debug `eprintln` statements from `validate_test.v`
+  - [ ] SubTask 1.1: Remove the `eprintln('test_validate errs.len=${errs.len}')` line and the `for err in errs { eprintln('  err: ${err}') }` loop from `test_validate`
+  - [ ] SubTask 1.2: Remove the `eprintln('test_required_int(0) errs.len=${errs.len}')` line and the `for err in errs { eprintln('  err: ${err}') }` loop from `test_required_int`
+
+- [ ] Task 2: Fix the `test_validate` assertion so it matches actual `url` validator behavior
+  - [ ] SubTask 2.1: Decide between (a) changing the test URL to a value `net.urllib.parse` rejects, keeping `assert errs.len == 4`, OR (b) keeping `'go1ogle.123'` and changing the assertion to `errs.len == 3` with a corrected comment
+  - [ ] SubTask 2.2: Apply the chosen fix to `/workspace/validator/validate_test.v`
+
+- [ ] Task 3: Run verification commands and confirm all pass
+  - [ ] SubTask 3.1: Run `cd /workspace && v fmt -w validator/`
+  - [ ] SubTask 3.2: Run `cd /workspace && v build-module validator/`
+  - [ ] SubTask 3.3: Run `cd /workspace && v test validator/` and confirm zero failures
+
+# Task Dependencies
+- [Task 3] depends on [Task 1] and [Task 2]
+- [Task 1] and [Task 2] are independent and may be done in parallel
diff --git a/.trae/specs/springize-di-framework/checklist.md b/.trae/specs/springize-di-framework/checklist.md
@@ -0,0 +1,49 @@
+# Checklist
+
+## DI 模块
+- [x] `Bean`、`BeanDefinition`、`BeanScope` 结构定义完整
+- [x] `Container` 提供 register_singleton/register_factory/bind_instance API
+- [x] `Container.get[T]` 做类型校验，不匹配返回明确错误
+- [x] singleton 作用域：多次 get 返回同一实例
+- [x] prototype 作用域：多次 get 返回新实例
+- [x] request 作用域：子容器隔离正确
+- [x] lazy bean 首次 get 才触发 factory
+- [x] 接口绑定 bind_instance 工作正常
+- [x] 旧 API（Builder/Service/inject_on/get[T]）作为兼容别名仍可编译
+- [x] `di_test.v` 覆盖所有作用域、类型校验、接口绑定、lazy
+
+## 框架集成
+- [x] Application 持有独立 Container（非全局默认）
+- [x] app.register_singleton/register_factory/bind_instance 可用
+- [x] app.inject_on 保留兼容
+- [x] Context.di[T] 先查 request 容器再查 root
+- [x] handle 中 resp 与 req_ctx.resp 一致，响应体不丢失
+- [x] mount[T] 支持接口类型字段注入
+- [x] mount[T] 去除 macos/else 平台分支
+- [x] request 作用域受 enable_request_scope 开关控制
+
+## 验证器
+- [x] Required 支持 int/i64/u64/f64/bool/指针
+- [x] Min/Max 支持 f64 字段
+- [x] validate 中 rule 解析逻辑无 mut 覆盖隐患
+- [x] Number/Regexp/Url 对数值字段行为正确
+- [x] validate_test.v 覆盖新分支
+
+## 会话
+- [x] SessionStore 接口定义完整
+- [x] MemorySessionStore 作为默认实现
+- [x] Session 持有 &SessionStore
+- [x] get 过期逻辑修复（返回空 map 且 exists=false）
+- [x] app.set_session_store 可替换存储
+
+- [x] Configuration 新增 profile/enable_request_scope/max_request_scope_size
+- [x] event 模块：EventBus register/emit/off 线程安全
+- [x] 内置事件 ServerStart/ServerShutdown/RequestStart/RequestEnd 触发
+- [x] README 增加 DI 与事件章节
+- [x] examples/example.v 演示新用法
+
+## 验证
+- [x] `v test .` 全部通过
+- [x] `v build .` 无警告
+- [x] examples 编译通过
+- [x] 代码已提交到远程分支并生成 PR
diff --git a/.trae/specs/springize-di-framework/spec.md b/.trae/specs/springize-di-framework/spec.md
@@ -0,0 +1,147 @@
+# 类 Spring DI 与框架深度优化 Spec
+
+## Why
+当前 `very` 框架的 DI 模块仅是"服务名 → voidptr"的简单字典，缺乏作用域、生命周期、接口绑定、工厂、类型安全等 Spring 核心能力；框架层面在控制器挂载、验证器、会话存储、配置管理等方面也存在心智负担高、扩展性差的问题。本次优化旨在以 Spring 的核心设计为参照，在 V 语言能力范围内，把 DI 模块升级为具备作用域、生命周期、接口绑定、工厂、类型校验的容器，并同步优化框架其它模块，使整体"功能合理、逻辑正确、方便易用、没有心智负担"。
+
+## What Changes
+
+### DI 模块（核心重写）
+- 重命名 `Builder` → `Container`，`Service` → `Bean`，引入 `BeanDefinition` 元数据结构
+- 引入 `BeanScope` 枚举：`singleton` / `prototype` / `request`
+- 引入 `BeanDefinition`：name、type、scope、factory、init_method、deinit_method、lazy、primary、qualifiers
+- 支持接口绑定：`bind[Interface, Impl]()` / `bind_instance[Interface](impl)`
+- 支持工厂注册：`register_factory[T](factory fn() &T, name ...string)`
+- 支持 lazy 初始化：lazy bean 首次 `get` 时才构造
+- 支持 prototype 作用域：每次 `get` 返回新实例
+- 支持 request 作用域：每个 HTTP 请求独立容器（基于 Context）
+- 类型校验：`get[T]` 校验存储类型与请求类型一致，不一致返回明确错误
+- 保留全局默认容器，但提供 `new_container()` 用于隔离与测试
+- `Container` 提供 `has`、`get`、`get_or_default`、`remove`、`clear`、`names`、`count` 等完整 API
+- 保留向后兼容的 `di.inject_on`、`di.get[T]` 包级函数（委托给默认容器）
+
+### 框架集成
+- `Application` 持有根 `Container`，`Context` 持有 request 作用域子容器
+- `Context.di[T](name)` 支持从 request → root 容器逐级查找
+- `app.inject_on` 重命名为 `app.register_singleton`（保留旧名兼容）
+- 控制器挂载 `mount[T]` 重构：去除冗余平台分支，统一字段注入逻辑，支持接口类型字段注入
+- `GroupRouter` 携带 `&Container` 引用，子分组继承父容器
+
+### 验证器优化
+- `Validators` 支持注册自定义验证器（已有 `register_validator`，补全文档与示例）
+- 验证器支持 `int/i64/u64/f64` 等数值类型字段（当前仅 string）
+- 修复 `Required` 仅支持 string 的问题，扩展到数值/bool/指针
+- 修复 `validate` 中 `rule` 变量被 `mut` 修改导致后续逻辑异常的隐患
+
+### 会话优化
+- 抽象 `SessionStore` 接口：`get`/`set`/`delete`/`exists`/`gc`
+- 内存实现 `MemorySessionStore` 作为默认
+- `Session` 持有 `&SessionStore`，便于替换为 Redis/DB 实现
+- 修复 `SessionStore.get` 中过期删除后仍返回空 data 的逻辑问题
+
+### 配置优化
+- `Configuration` 增加 `profile string` 字段（dev/test/prod）
+- 增加 `enable_request_scope bool` 开关，控制是否启用 request 作用域容器
+- 增加 `max_request_scope_size int` 限制 request 容器容量
+
+### 事件机制（轻量）
+- 新增 `event` 模块：`Event` 接口、`EventListener` 接口、`EventBus`
+- `Application` 持有 `EventBus`，提供 `on`/`emit`/`off`
+- 内置事件：`ServerStart`、`ServerShutdown`、`RequestStart`、`RequestEnd`
+
+### 中间件与错误处理
+- `Context` 增加 `error_handler` 字段，允许局部覆盖 `recover_handler`
+- `Context.abort` 后允许后续中间件感知（通过 `is_stopped`）
+- 修复 `Application.handle` 中 `resp` 局部变量与 `req_ctx.resp` 不一致导致响应体丢失的 bug
+
+## Impact
+- Affected specs: DI、Application、Context、Validator、Session、Configuration
+- Affected code:
+  - `di/builder.v`、`di/service.v`、`di/di_test.v`（重写）
+  - `app.v`（Container 集成、mount 重构、handle 修复）
+  - `context.v`（request 作用域、di 查找链）
+  - `configuration.v`（新字段）
+  - `validator/*.v`（类型扩展、bug 修复）
+  - `session/*.v`（Store 抽象）
+  - 新增 `event/` 模块
+  - `examples/example.v`、`README.md`（同步示例）
+
+## ADDED Requirements
+
+### Requirement: Bean 定义与元数据
+系统 SHALL 提供 `BeanDefinition` 结构，记录 bean 的 name、type、scope、factory、init_method、deinit_method、lazy、primary 等元数据，作为容器注册与解析的依据。
+
+#### Scenario: 注册带元数据的 bean
+- **WHEN** 用户调用 `container.register_singleton[T](instance, name)` 或 `container.register_factory[T](factory, name)`
+- **THEN** 容器内部生成 `BeanDefinition` 并存储，`container.has(name)` 返回 true
+
+### Requirement: Bean 作用域
+系统 SHALL 支持三种作用域：`singleton`（默认，全局唯一）、`prototype`（每次 get 返回新实例）、`request`（每个 HTTP 请求内唯一）。
+
+#### Scenario: singleton 作用域
+- **WHEN** 用户注册 singleton bean 并多次 `get[T](name)`
+- **THEN** 每次返回同一实例指针
+
+#### Scenario: prototype 作用域
+- **WHEN** 用户注册 prototype factory bean 并多次 `get[T](name)`
+- **THEN** 每次调用 factory 返回新实例
+
+#### Scenario: request 作用域
+- **WHEN** 启用 request scope 且在请求处理中调用 `ctx.di[T](name)`
+- **THEN** 同一请求内多次获取返回同一实例，不同请求间相互隔离
+
+### Requirement: 接口绑定
+系统 SHALL 支持将一个接口类型绑定到具体实现实例，使得通过接口类型名或显式 name 可获取实现。
+
+#### Scenario: 绑定接口到实例
+- **WHEN** 用户调用 `container.bind_instance[Interface](impl)` 后 `container.get[Interface]()`
+- **THEN** 返回绑定的实现实例
+
+### Requirement: 类型安全检索
+系统 SHALL 在 `get[T](name)` 时校验存储 bean 的类型字符串与请求类型 `T` 一致，不一致时返回明确错误而非 undefined behavior。
+
+#### Scenario: 类型不匹配
+- **WHEN** 用户以 `&sqlite.DB` 注册，以 `&int` 获取
+- **THEN** 返回 `error('bean type mismatch: expected &int, got &sqlite.DB')`
+
+### Requirement: 生命周期钩子
+系统 SHALL 支持 bean 的 init_method（构造后调用）与 deinit_method（容器销毁时调用），lazy bean 在首次 get 时触发 init。
+
+#### Scenario: lazy bean 首次获取触发 init
+- **WHEN** 用户注册 lazy=true 的 bean 并首次 `get`
+- **THEN** factory 被调用、init_method 被执行、实例被缓存
+
+### Requirement: 事件机制
+系统 SHALL 提供轻量事件总线，支持 `on(event, listener)`、`emit(event)`、`off(listener)`，并在服务器启动/关闭、请求开始/结束时自动发出内置事件。
+
+#### Scenario: 监听服务器启动
+- **WHEN** 用户调用 `app.on('ServerStart', listener)` 后 `app.run()`
+- **THEN** 服务器启动时 listener 被调用
+
+### Requirement: Session 存储抽象
+系统 SHALL 提供 `SessionStore` 接口与默认 `MemorySessionStore` 实现，允许用户替换为自定义实现。
+
+#### Scenario: 替换会话存储
+- **WHEN** 用户调用 `app.set_session_store(custom_store)`
+- **THEN** 后续所有会话读写走自定义存储
+
+## MODIFIED Requirements
+
+### Requirement: 控制器挂载与字段注入
+控制器通过 `mount[T]()` 挂载时，系统 SHALL 自动解析带 `[inject: 'name']` 标记的字段，支持指针类型与接口类型字段，统一注入逻辑，去除平台分支。
+
+#### Scenario: 接口字段注入
+- **WHEN** 控制器字段为接口类型且标记 `[inject: 'name']`
+- **THEN** 容器查找 name 对应 bean 并注入到接口字段
+
+### Requirement: Context DI 查找链
+`Context.di[T](name)` SHALL 先查 request 作用域容器，未命中再查根容器，均未命中返回错误。
+
+#### Scenario: request 作用域优先
+- **WHEN** request 容器与 root 容器都有同名 bean
+- **THEN** 返回 request 容器中的实例
+
+## REMOVED Requirements
+
+### Requirement: 旧 Builder/Service 命名
+**Reason**: 命名不符合 Spring 习惯，且结构过于简单无法承载新能力
+**Migration**: 保留 `di.Builder`/`di.Service` 作为 `Container`/`Bean` 的类型别名与包级兼容函数，旧代码无需改动即可编译；新增代码使用新命名。