@bovinphang/frontend-craft 2.8.0 → 3.0.0

package/localized/zh-CN/skills/fec-refactoring-catalog/references/composition-guide.md

@@ -0,0 +1,49 @@
+# 重构组合指南
+
+这里的关系都有前置条件，不是无条件 pipeline。每个中间状态都必须保持行为并立即验证。
+
+## 相反方向 / 权衡
+- `RF-EXTRACT-FUNCTION` ↔ `RF-INLINE-FUNCTION`：建立有意义边界，或移除已经没有价值的间接层。
+- `RF-EXTRACT-VARIABLE` ↔ `RF-INLINE-VARIABLE`：为重要表达式命名，或移除反而遮蔽含义的中间名。
+- `RF-PULL-UP-METHOD` ↔ `RF-PUSH-DOWN-METHOD`：把行为放到真正共享或真正专有的层级。
+- `RF-PULL-UP-FIELD` ↔ `RF-PUSH-DOWN-FIELD`：把数据放到准确且尽量窄的继承层级。
+- `RF-HIDE-DELEGATE` ↔ `RF-REMOVE-MIDDLE-MAN`：在客户端耦合与过度转发之间取舍。
+
+## 常见有条件序列
+### 提炼后再搬移
+`RF-EXTRACT-FUNCTION` → `RF-MOVE-FUNCTION`
+
+当大函数中只有一部分明显依恋另一个数据所有者时，先提炼成可独立验证的函数，再搬到更合适的位置。
+
+### 查询化后更容易提炼
+`RF-REPLACE-TEMP-WITH-QUERY` → `RF-EXTRACT-FUNCTION`
+
+临时变量妨碍边界时使用；需要先确认查询可安全重复计算或有正确缓存。
+
+### 类型拆分后再做变体分派
+`RF-REPLACE-TYPE-CODE-WITH-SUBCLASSES` → `RF-REPLACE-CONDITIONAL-WITH-POLYMORPHISM`
+
+适用于真实 OO/domain hierarchy；现代前端可使用 discriminated union + strategy/component map 表达同一意图。
+
+### 先聚拢再重新提炼
+`RF-INLINE-FUNCTION` / `RF-INLINE-CLASS` → 聚拢分散逻辑 → `RF-EXTRACT-FUNCTION` / `RF-EXTRACT-CLASS`
+
+适合由不合理小抽象造成的霰弹式修改。暂时变大的中间单元仍必须验证。
+
+### 拆分流程并重新安置职责
+`RF-SPLIT-PHASE` → `RF-EXTRACT-FUNCTION` → `RF-MOVE-FUNCTION`
+
+流程存在独立阶段，且阶段提炼后拥有更清晰数据所有者时使用。
+
+### 先控制共享变量再改结构
+`RF-ENCAPSULATE-VARIABLE` → `RF-RENAME-VARIABLE` / `RF-MOVE-FUNCTION`
+
+共享变量需要先形成访问边界，再进行命名或所有权调整时使用。
+
+### 先封装记录再封装集合
+`RF-ENCAPSULATE-RECORD` → `RF-ENCAPSULATE-COLLECTION`
+
+当调用者同时直接操作记录字段和集合修改时使用。
+
+## 停止条件
+当前步骤验证失败、超出差异预算、意外改变公共契约，或下一步前置条件已不成立时，立即停止组合序列并重新评估。

package/localized/zh-CN/skills/fec-refactoring-catalog/references/selection-guide.md

@@ -0,0 +1,41 @@
+# 重构选择指南
+
+必须按真实成因选择，同一种坏味道可能需要不同手法。
+
+## 过长函数（Long Function）
+- 多个可命名意图混在一起 → `RF-EXTRACT-FUNCTION`。
+- 临时变量阻碍提炼 → `RF-REPLACE-TEMP-WITH-QUERY`，但需检查重复计算和副作用。
+- 多个输入总是共同出现 → `RF-INTRODUCE-PARAMETER-OBJECT` 或 `RF-PRESERVE-WHOLE-OBJECT`。
+- 按类型/变体存在大型条件 → 先考虑 `RF-DECOMPOSE-CONDITIONAL`；只有重复变体行为确实需要分派时再考虑 `RF-REPLACE-CONDITIONAL-WITH-POLYMORPHISM`。
+- 单个循环承担多个目的 → 在顺序和性能允许时使用 `RF-SPLIT-LOOP`。
+
+## 过长参数列表（Long Parameter List）
+- 参数可由其他稳定输入查询得到 → `RF-REPLACE-PARAMETER-WITH-QUERY`。
+- 调用者从一个现有对象拆出大量字段 → `RF-PRESERVE-WHOLE-OBJECT`。
+- 一组值反复共同出现 → `RF-INTRODUCE-PARAMETER-OBJECT`。
+- boolean/enum 用于选择行为 → `RF-REMOVE-FLAG-ARGUMENT`；普通领域数据不属于这种情况。
+- 多个函数共享同一数据上下文 → `RF-COMBINE-FUNCTIONS-INTO-CLASS`，前端可对应 module/hook/composable/service，并不强制 class。
+
+## 可变数据（Mutable Data）
+- 共享写入无边界 → `RF-ENCAPSULATE-VARIABLE`。
+- 一个变量承担多个含义 → `RF-SPLIT-VARIABLE`。
+- 查询同时修改状态 → `RF-SEPARATE-QUERY-FROM-MODIFIER`。
+- 派生值被存储后容易漂移 → `RF-REPLACE-DERIVED-VARIABLE-WITH-QUERY`，同时评估计算成本与 memoization。
+- React/Vue 的引用身份、响应式、订阅和持久化都属于行为验证范围。
+
+## 发散式变化（Divergent Change）
+- 一个流程包含可分阶段关注点 → `RF-SPLIT-PHASE` 或 `RF-EXTRACT-FUNCTION`。
+- 行为主要依赖另一数据所有者 → `RF-MOVE-FUNCTION`。
+- 一组状态和规则构成独立职责 → `RF-EXTRACT-CLASS`，在前端可落为 module/service/hook/composable。
+
+## 霰弹式修改（Shotgun Surgery）
+- 应共同变化的行为/数据散落各处 → `RF-MOVE-FUNCTION` / `RF-MOVE-FIELD`。
+- 多个函数共享同一上下文 → `RF-COMBINE-FUNCTIONS-INTO-CLASS` / `RF-COMBINE-FUNCTIONS-INTO-TRANSFORM`。
+- 流程阶段可分离 → `RF-SPLIT-PHASE`。
+- 过早的小抽象造成分散 → 可先 `RF-INLINE-FUNCTION` / `RF-INLINE-CLASS` 聚拢，再重新提炼；每个中间状态都必须验证。
+
+## 基本类型偏执（Primitive Obsession）
+- 基本类型承载不变量、格式化或领域行为 → `RF-REPLACE-PRIMITIVE-WITH-OBJECT`；仅 TypeScript type alias 不等于运行时封装。
+- 类型码驱动重复变体行为 → `RF-REPLACE-TYPE-CODE-WITH-SUBCLASSES` 或更适合前端的 discriminated union/strategy。
+- 真正问题是重复条件分派 → `RF-REPLACE-CONDITIONAL-WITH-POLYMORPHISM`，选择最符合项目范式的分派方式。
+- 多个基本值共同构成概念 → `RF-EXTRACT-CLASS` 或 `RF-INTRODUCE-PARAMETER-OBJECT`。

package/localized/zh-CN/skills/fec-refactoring-control/SKILL.md

@@ -0,0 +1,25 @@
+---
+name: fec-refactoring-control
+description: 保持行为的前端重构主要涉及条件控制类重构，已经选定或正在评估对应手法，需要查询该 family 的操作步骤、风险与 JavaScript/TypeScript/React/Vue 适配时。
+---
+
+# 条件控制类重构
+
+## 概览
+只有在证据和前置条件支持时才使用对应手法。一次只执行一个主要结构变换，并在完成后立即验证。
+
+## 执行流程
+1. 在[条件控制类重构详细卡片](references/conditional-refactorings.md)确认手法和前置条件。
+2. 记录受影响行为与差异预算。
+3. 只执行该手法最小可行的一步。
+4. 在组合下一手法之前验证当前步骤。
+5. 公共契约、生命周期、状态身份或实际范围超出预期时停止并重新评估。
+
+## 快速索引
+详细 Reference 包含本 family 的 6 个标准手法，每项均包括意图、信号、不适用条件、操作步骤、行为保持检查、相关坏味道、组合关系、JS/TS/React/Vue 注意事项、前端适配和原创示例。
+
+## 常见错误
+- 只根据手法名称套用，不核对前置条件。
+- 一个 diff 同时混入多个结构目标。
+- 把经典 class 形式机械套进现代 React/Vue。
+- 相关行为没有覆盖时，仅凭“测试通过”就声称行为已得到证明。

package/localized/zh-CN/skills/fec-refactoring-control/references/conditional-refactorings.md

@@ -0,0 +1,299 @@
+# 条件控制类重构
+
+这些卡片以用户提供的标准重构目录为知识基线，转换为面向前端 Agent 的操作指南。保留标准 ID/中英文名称，框架适配和示例为项目原创内容。
+
+## RF-DECOMPOSE-CONDITIONAL — 分解条件表达式（Decompose Conditional）
+
+### 意图
+把复杂条件、then/else 分支提炼为命名明确的判断和操作。
+
+### 典型信号
+- 当前结构出现与本手法目标一致的重复、耦合、命名、职责、数据所有权或控制流问题，并有具体代码证据。
+
+### 不适用条件
+- 当前结构已经清晰，或该变换会制造更强耦合、隐藏依赖、破坏公共契约且没有兼容方案时，不使用。
+
+### 前置条件
+- 已明确当前可观察行为、受影响调用者和公共契约。
+- 目标位于声明的差异预算内，并且这个单一主要变换完成后能够立即验证。
+
+### 操作步骤
+1. 确认当前行为、调用者和边界，并锁定本步骤只处理这一项主要结构意图。
+2. 创建最小的新结构/位置/接口，让旧行为可以逐步迁移而不是一次性大改。
+3. 一次迁移一个调用点或职责片段，并保持兼容边界。
+4. 运行窄范围验证；若变红，先回滚本步骤，再缩小变换。
+
+### 行为保持检查点
+- 对比输入、输出、异常、副作用、执行顺序和公共契约。
+- 前端还要核对 UI 状态、事件、焦点、网络请求、生命周期/状态迁移，以及相关对象身份语义。
+
+### 相关坏味道
+- `SMELL-LONG-FUNCTION`
+
+### 常见组合
+- 不建立固定流水线；下一步必须重新依据证据选择。
+
+### JavaScript 注意事项
+- 保持短路求值、异常时机、副作用顺序和 default/fallthrough 行为。
+
+### TypeScript 注意事项
+- discriminated union 与 `never` 可用于清晰表达穷尽性；assertion 不替代运行时校验。
+
+### React 注意事项
+- 卫语句不能跳过 loading 清理/effect teardown；变体渲染通常更适合 strategy/component registry。
+
+### Vue 注意事项
+- 保持 `finally`、pending/error 状态、watch/effect 行为和组件分支生命周期。
+
+### Frontend-Craft 前端适配
+- “多态”包含 strategy、discriminated-union dispatch、handler/component registry 和 delegation；class hierarchy 只是可选形式。
+
+### 原创前端变换示例
+- 把“Decompose Conditional”应用到一个局部组件/Hook/Composable/Service 范围内，先记录行为契约，只迁移一个职责片段，并立即验证输出、事件与状态变化保持不变。
+
+## RF-CONSOLIDATE-CONDITIONAL-EXPRESSION — 合并条件表达式（Consolidate Conditional Expression）
+
+### 意图
+把产生相同结果的一组条件合并成一个概念清晰的判断。
+
+### 典型信号
+- 当前结构出现与本手法目标一致的重复、耦合、命名、职责、数据所有权或控制流问题，并有具体代码证据。
+
+### 不适用条件
+- 当前结构已经清晰，或该变换会制造更强耦合、隐藏依赖、破坏公共契约且没有兼容方案时，不使用。
+
+### 前置条件
+- 已明确当前可观察行为、受影响调用者和公共契约。
+- 目标位于声明的差异预算内，并且这个单一主要变换完成后能够立即验证。
+
+### 操作步骤
+1. 确认当前行为、调用者和边界，并锁定本步骤只处理这一项主要结构意图。
+2. 创建最小的新结构/位置/接口，让旧行为可以逐步迁移而不是一次性大改。
+3. 一次迁移一个调用点或职责片段，并保持兼容边界。
+4. 运行窄范围验证；若变红，先回滚本步骤，再缩小变换。
+
+### 行为保持检查点
+- 对比输入、输出、异常、副作用、执行顺序和公共契约。
+- 前端还要核对 UI 状态、事件、焦点、网络请求、生命周期/状态迁移，以及相关对象身份语义。
+
+### 相关坏味道
+- 不要求先存在某一种固定坏味道；以具体结构证据为准。
+
+### 常见组合
+- 不建立固定流水线；下一步必须重新依据证据选择。
+
+### JavaScript 注意事项
+- 保持短路求值、异常时机、副作用顺序和 default/fallthrough 行为。
+
+### TypeScript 注意事项
+- discriminated union 与 `never` 可用于清晰表达穷尽性；assertion 不替代运行时校验。
+
+### React 注意事项
+- 卫语句不能跳过 loading 清理/effect teardown；变体渲染通常更适合 strategy/component registry。
+
+### Vue 注意事项
+- 保持 `finally`、pending/error 状态、watch/effect 行为和组件分支生命周期。
+
+### Frontend-Craft 前端适配
+- “多态”包含 strategy、discriminated-union dispatch、handler/component registry 和 delegation；class hierarchy 只是可选形式。
+
+### 原创前端变换示例
+- 把“Consolidate Conditional Expression”应用到一个局部组件/Hook/Composable/Service 范围内，先记录行为契约，只迁移一个职责片段，并立即验证输出、事件与状态变化保持不变。
+
+## RF-REPLACE-NESTED-CONDITIONAL-WITH-GUARD-CLAUSES — 以卫语句取代嵌套条件表达式（Replace Nested Conditional with Guard Clauses）
+
+### 意图
+用卫语句处理特殊/异常路径，突出正常主流程，同时保证 cleanup/finally/loading 不被跳过。
+
+### 典型信号
+- 当前结构出现与本手法目标一致的重复、耦合、命名、职责、数据所有权或控制流问题，并有具体代码证据。
+
+### 不适用条件
+- 当前结构已经清晰，或该变换会制造更强耦合、隐藏依赖、破坏公共契约且没有兼容方案时，不使用。
+
+### 前置条件
+- 已明确当前可观察行为、受影响调用者和公共契约。
+- 目标位于声明的差异预算内，并且这个单一主要变换完成后能够立即验证。
+
+### 操作步骤
+1. 确认当前行为、调用者和边界，并锁定本步骤只处理这一项主要结构意图。
+2. 创建最小的新结构/位置/接口，让旧行为可以逐步迁移而不是一次性大改。
+3. 一次迁移一个调用点或职责片段，并保持兼容边界。
+4. 运行窄范围验证；若变红，先回滚本步骤，再缩小变换。
+
+### 行为保持检查点
+- 对比输入、输出、异常、副作用、执行顺序和公共契约。
+- 前端还要核对 UI 状态、事件、焦点、网络请求、生命周期/状态迁移，以及相关对象身份语义。
+
+### 相关坏味道
+- 不要求先存在某一种固定坏味道；以具体结构证据为准。
+
+### 常见组合
+- 不建立固定流水线；下一步必须重新依据证据选择。
+
+### JavaScript 注意事项
+- 保持短路求值、异常时机、副作用顺序和 default/fallthrough 行为。
+
+### TypeScript 注意事项
+- discriminated union 与 `never` 可用于清晰表达穷尽性；assertion 不替代运行时校验。
+
+### React 注意事项
+- 卫语句不能跳过 loading 清理/effect teardown；变体渲染通常更适合 strategy/component registry。
+
+### Vue 注意事项
+- 保持 `finally`、pending/error 状态、watch/effect 行为和组件分支生命周期。
+
+### Frontend-Craft 前端适配
+- “多态”包含 strategy、discriminated-union dispatch、handler/component registry 和 delegation；class hierarchy 只是可选形式。
+
+### 原创前端变换示例
+- 提交逻辑从多层 auth/draft/recipient 嵌套改为卫语句，但必须保留 `finally` 中 loading 复位。
+
+## RF-REPLACE-CONDITIONAL-WITH-POLYMORPHISM — 以多态取代条件表达式（Replace Conditional with Polymorphism）
+
+### 意图
+把重复的变体行为放入分派边界；前端可用 discriminated union、strategy map、handler/component registry、delegation，而非强制类继承。
+
+### 典型信号
+- 同一 type/status/variant 在多个位置重复驱动不同处理方式。
+
+### 不适用条件
+- 只有一个清晰条件分支时，不为了“多态”强行引入 class hierarchy。
+
+### 前置条件
+- 已明确当前可观察行为、受影响调用者和公共契约。
+- 目标位于声明的差异预算内，并且这个单一主要变换完成后能够立即验证。
+
+### 操作步骤
+1. 确认当前行为、调用者和边界，并锁定本步骤只处理这一项主要结构意图。
+2. 创建最小的新结构/位置/接口，让旧行为可以逐步迁移而不是一次性大改。
+3. 一次迁移一个调用点或职责片段，并保持兼容边界。
+4. 运行窄范围验证；若变红，先回滚本步骤，再缩小变换。
+
+### 行为保持检查点
+- 对比输入、输出、异常、副作用、执行顺序和公共契约。
+- 前端还要核对 UI 状态、事件、焦点、网络请求、生命周期/状态迁移，以及相关对象身份语义。
+
+### 相关坏味道
+- `SMELL-LONG-FUNCTION`
+- `SMELL-PRIMITIVE-OBSESSION`
+- `SMELL-REPEATED-SWITCHES`
+
+### 常见组合
+- 不建立固定流水线；下一步必须重新依据证据选择。
+
+### JavaScript 注意事项
+- 保持短路求值、异常时机、副作用顺序和 default/fallthrough 行为。
+
+### TypeScript 注意事项
+- discriminated union 与 `never` 可用于清晰表达穷尽性；assertion 不替代运行时校验。
+
+### React 注意事项
+- 卫语句不能跳过 loading 清理/effect teardown；变体渲染通常更适合 strategy/component registry。
+
+### Vue 注意事项
+- 保持 `finally`、pending/error 状态、watch/effect 行为和组件分支生命周期。
+
+### Frontend-Craft 前端适配
+- “多态”包含 strategy、discriminated-union dispatch、handler/component registry 和 delegation；class hierarchy 只是可选形式。
+
+### 原创前端变换示例
+- 邮件类型在渲染和操作中反复 switch，可改为类型安全的 handler/component registry 或 discriminated union 分派。
+
+## RF-INTRODUCE-SPECIAL-CASE — 引入特例（Introduce Special Case）
+
+### 意图
+为反复出现的 null/unknown/sentinel 情况建立统一特例表示，减少散落检查。
+
+### 典型信号
+- 当前结构出现与本手法目标一致的重复、耦合、命名、职责、数据所有权或控制流问题，并有具体代码证据。
+
+### 不适用条件
+- 当前结构已经清晰，或该变换会制造更强耦合、隐藏依赖、破坏公共契约且没有兼容方案时，不使用。
+
+### 前置条件
+- 已明确当前可观察行为、受影响调用者和公共契约。
+- 目标位于声明的差异预算内，并且这个单一主要变换完成后能够立即验证。
+
+### 操作步骤
+1. 确认当前行为、调用者和边界，并锁定本步骤只处理这一项主要结构意图。
+2. 创建最小的新结构/位置/接口，让旧行为可以逐步迁移而不是一次性大改。
+3. 一次迁移一个调用点或职责片段，并保持兼容边界。
+4. 运行窄范围验证；若变红，先回滚本步骤，再缩小变换。
+
+### 行为保持检查点
+- 对比输入、输出、异常、副作用、执行顺序和公共契约。
+- 前端还要核对 UI 状态、事件、焦点、网络请求、生命周期/状态迁移，以及相关对象身份语义。
+
+### 相关坏味道
+- `SMELL-TEMPORARY-FIELD`
+
+### 常见组合
+- 不建立固定流水线；下一步必须重新依据证据选择。
+
+### JavaScript 注意事项
+- 保持短路求值、异常时机、副作用顺序和 default/fallthrough 行为。
+
+### TypeScript 注意事项
+- discriminated union 与 `never` 可用于清晰表达穷尽性；assertion 不替代运行时校验。
+
+### React 注意事项
+- 卫语句不能跳过 loading 清理/effect teardown；变体渲染通常更适合 strategy/component registry。
+
+### Vue 注意事项
+- 保持 `finally`、pending/error 状态、watch/effect 行为和组件分支生命周期。
+
+### Frontend-Craft 前端适配
+- “多态”包含 strategy、discriminated-union dispatch、handler/component registry 和 delegation；class hierarchy 只是可选形式。
+
+### 原创前端变换示例
+- 把“Introduce Special Case”应用到一个局部组件/Hook/Composable/Service 范围内，先记录行为契约，只迁移一个职责片段，并立即验证输出、事件与状态变化保持不变。
+
+## RF-INTRODUCE-ASSERTION — 引入断言（Introduce Assertion）
+
+### 意图
+把只应在程序错误时被违反的内部不变量显式化；不能替代用户输入校验和正常错误处理。
+
+### 典型信号
+- 内部流程依赖一个“若违反即代表程序错误”的不变量，但代码未显式表达。
+
+### 不适用条件
+- 输入无效、网络失败、权限不足等预期错误不能用 assertion 代替正常校验和错误处理。
+
+### 前置条件
+- 已明确当前可观察行为、受影响调用者和公共契约。
+- 目标位于声明的差异预算内，并且这个单一主要变换完成后能够立即验证。
+
+### 操作步骤
+1. 确认当前行为、调用者和边界，并锁定本步骤只处理这一项主要结构意图。
+2. 创建最小的新结构/位置/接口，让旧行为可以逐步迁移而不是一次性大改。
+3. 一次迁移一个调用点或职责片段，并保持兼容边界。
+4. 运行窄范围验证；若变红，先回滚本步骤，再缩小变换。
+
+### 行为保持检查点
+- 对比输入、输出、异常、副作用、执行顺序和公共契约。
+- 前端还要核对 UI 状态、事件、焦点、网络请求、生命周期/状态迁移，以及相关对象身份语义。
+
+### 相关坏味道
+- `SMELL-COMMENTS`
+
+### 常见组合
+- 不建立固定流水线；下一步必须重新依据证据选择。
+
+### JavaScript 注意事项
+- 保持短路求值、异常时机、副作用顺序和 default/fallthrough 行为。
+
+### TypeScript 注意事项
+- discriminated union 与 `never` 可用于清晰表达穷尽性；assertion 不替代运行时校验。
+
+### React 注意事项
+- 卫语句不能跳过 loading 清理/effect teardown；变体渲染通常更适合 strategy/component registry。
+
+### Vue 注意事项
+- 保持 `finally`、pending/error 状态、watch/effect 行为和组件分支生命周期。
+
+### Frontend-Craft 前端适配
+- “多态”包含 strategy、discriminated-union dispatch、handler/component registry 和 delegation；class hierarchy 只是可选形式。
+
+### 原创前端变换示例
+- 把“Introduce Assertion”应用到一个局部组件/Hook/Composable/Service 范围内，先记录行为契约，只迁移一个职责片段，并立即验证输出、事件与状态变化保持不变。

package/localized/zh-CN/skills/fec-refactoring-data/SKILL.md

@@ -0,0 +1,25 @@
+---
+name: fec-refactoring-data
+description: 保持行为的前端重构主要涉及数据重组类重构，已经选定或正在评估对应手法，需要查询该 family 的操作步骤、风险与 JavaScript/TypeScript/React/Vue 适配时。
+---
+
+# 数据重组类重构
+
+## 概览
+只有在证据和前置条件支持时才使用对应手法。一次只执行一个主要结构变换，并在完成后立即验证。
+
+## 执行流程
+1. 在[数据重组类重构详细卡片](references/data-refactorings.md)确认手法和前置条件。
+2. 记录受影响行为与差异预算。
+3. 只执行该手法最小可行的一步。
+4. 在组合下一手法之前验证当前步骤。
+5. 公共契约、生命周期、状态身份或实际范围超出预期时停止并重新评估。
+
+## 快速索引
+详细 Reference 包含本 family 的 5 个标准手法，每项均包括意图、信号、不适用条件、操作步骤、行为保持检查、相关坏味道、组合关系、JS/TS/React/Vue 注意事项、前端适配和原创示例。
+
+## 常见错误
+- 只根据手法名称套用，不核对前置条件。
+- 一个 diff 同时混入多个结构目标。
+- 把经典 class 形式机械套进现代 React/Vue。
+- 相关行为没有覆盖时，仅凭“测试通过”就声称行为已得到证明。