원클릭으로 Manus에서 모든 스킬 실행

시작하기

py2rs-review-r0-behavior

스타0

포크0

업데이트2026년 6월 9일 11:42

[DRAFT] 第 0 轮审查：行为一致性验证。证明 Python 实现 == 迁移版 Rust 实现。不允许改代码，仅产出对比报告。

설치

Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.

Manus에서 실행

출처

AntheaLaffy

AntheaLaffy/BellFlower-Skills

GitHub 저장소 열기 Creator 저장소 보기

다운로드

Manus에서 실행

第 0 轮 · 行为一致性审查（R0）

DRAFT（草稿状态）。下面的产物结构、输入输出都是猜想。

脚手架猜想（可能会有）

tests/compare/conftest.py —— pytest 的 fixture，统一加载 py 与 rs 两侧的同名模块
tests/compare/test_<module>.py —— 一组用例：正常路径 / 边界值 / 异常路径 / 副作用
tests/compare/<module>.log —— 运行产物，格式约定：每一行 <case> : PASS | FAIL <detail>
reviews/r0-<module>-signature.md —— 签名对比报告的模板（函数 / 参数 / 返回 / 异常 / 副作用）
一个 CLI：python -m tests.compare.run --module <name>（可选）

上面任何一样都可能在第一个真实项目里被推翻重写。

本 skill 是 所有后续审查（R1~R6）启动的前置 gate。如果你在 R1 / R2 / R3 / R4 / R5 / R6 中发现“好像语义变了”，回到这里。

1. 本轮的唯一目标

Python 实现  ==  Rust 实现

用一组可重复的输入/输出对来证明上式成立。

本 skill 不写代码、不改结构、不做任何优化，只做一件事：生成并跑行为对比测试。

2. 输入

py/<module>.py（原实现，已归档）
rs/<module>.rs（迁移版实现）
manifest/signatures/<module>.json（对外函数签名契约）

3. 要生成的产物

3.1 行为对比测试脚本

tests/compare/test_<module>.py（或 .rs），形如：

for case in CASES:
    py_result = py_imp.fn(case.input)
    rs_result = rs_imp.fn(case.input)
    assert py_result == rs_result, case.label

其中 CASES 至少覆盖：

正常路径：每个对外函数至少 3 条典型输入
边界值：空列表、空字符串、零值、最大/最小值
异常路径：非法输入、不存在的资源、网络失败
副作用：写入 DB / 文件 / 缓存后的值（若可 mock）

3.2 一份签名对比报告

reviews/r0-<module>-signature.md，逐函数列出：

项	Python	Rust	状态
参数列表	`get_user(user_id: int)`	`get_user(user_id: i64)`	✅
返回类型	`dict \| None`	`Option<HashMap<String, Value>>`	✅
抛出异常	`UserNotFoundError, IOError`	`AppError::UserNotFound, AppError::Io`	✅
副作用	读 DB	读 DB	✅

3.3 一份执行日志

tests/compare/<module>.log：

Case normal_1          PASS
Case normal_2          PASS
Case empty_input       PASS
Case invalid_id        PASS (一致地抛出 NotFound)
Case io_failure        PASS (一致地抛出 IOError)
Total: 17 / 17 PASS

4. 若发现行为不一致怎么办

严禁本 skill 去“修”。把问题写入 reviews/r0-<module>-diff.md
交给负责“迁移”的 Writer Agent 去修正，或交给 Tester Agent 补充 case
修正完毕后重新跑本 skill，直到 N / N PASS

5. 允许与禁止

✅ 允许：生成对比测试、写审查报告、更新 manifest 中的 verified_at
❌ 禁止：修改任何生产代码（py 或 rs）
❌ 禁止：以“这个差异其实不重要”为由跳过任何 FAIL 的 case

6. 结束时交付给下一轮的状态

tests/compare/<module>.log 中显示 100% PASS
reviews/r0-<module>-signature.md 写好并存档
manifest/modules.yaml 中对应模块状态被推进为 verified（或保持 verified 并刷新 verified_at）
manifest/history/<ts>-r0-<module>.log 记录“已通过行为一致性审查”

只有本 skill 完成后，R1~R6 才允许启动。

이 저장소의 다른 Skills

같은 저장소

md-to-pdf

AntheaLaffy/BellFlower-Skills

Convert Markdown with LaTeX math, images, and tables into a polished PDF. Two rendering engines: (1) weasyprint — pure Python, no browser needed; (2) chromium — best for matrices/bmatrix/pmatrix/vmatrix and complex formulas. Supports Chinese/Japanese fonts. Can chain after ocr-md-polish for a complete OCR→clean→PDF workflow.

2026-06-130

burn-core

AntheaLaffy/BellFlower-Skills

Burn core framework - Provides tensor operations, automatic differentiation, and neural network building blocks for Rust deep learning.

2026-06-090

burn-cuda

AntheaLaffy/BellFlower-Skills

Burn CUDA backend - High-performance NVIDIA GPU acceleration. Provides optimal performance for NVIDIA hardware.

2026-06-090

burn-metal

AntheaLaffy/BellFlower-Skills

Burn Metal backend - Apple GPU acceleration for macOS and iOS. Optimized for Apple Silicon and Intel-based Macs.

2026-06-090

burn-ndarray

AntheaLaffy/BellFlower-Skills

Burn NdArray backend - CPU-based tensor operations using Rust's ndarray crate. Ideal for development, testing, and lightweight inference.

2026-06-090

burn-onnx

AntheaLaffy/BellFlower-Skills

Burn ONNX support - Import ONNX models into Burn for inference on any backend. Supports compile-time code generation and runtime loading.

2026-06-090

name	py2rs-review-r0-behavior
description	[DRAFT] 第 0 轮审查：行为一致性验证。证明 Python 实现 == 迁移版 Rust 实现。不允许改代码，仅产出对比报告。

第 0 轮 · 行为一致性审查（R0）

DRAFT（草稿状态）。下面的产物结构、输入输出都是猜想。

脚手架猜想（可能会有）

tests/compare/conftest.py —— pytest 的 fixture，统一加载 py 与 rs 两侧的同名模块
tests/compare/test_<module>.py —— 一组用例：正常路径 / 边界值 / 异常路径 / 副作用
tests/compare/<module>.log —— 运行产物，格式约定：每一行 <case> : PASS | FAIL <detail>
reviews/r0-<module>-signature.md —— 签名对比报告的模板（函数 / 参数 / 返回 / 异常 / 副作用）
一个 CLI：python -m tests.compare.run --module <name>（可选）

上面任何一样都可能在第一个真实项目里被推翻重写。

本 skill 是 所有后续审查（R1~R6）启动的前置 gate。如果你在 R1 / R2 / R3 / R4 / R5 / R6 中发现“好像语义变了”，回到这里。

1. 本轮的唯一目标

Python 实现  ==  Rust 实现

用一组可重复的输入/输出对来证明上式成立。

本 skill 不写代码、不改结构、不做任何优化，只做一件事：生成并跑行为对比测试。

2. 输入

py/<module>.py（原实现，已归档）
rs/<module>.rs（迁移版实现）
manifest/signatures/<module>.json（对外函数签名契约）

3. 要生成的产物

3.1 行为对比测试脚本

tests/compare/test_<module>.py（或 .rs），形如：

for case in CASES:
    py_result = py_imp.fn(case.input)
    rs_result = rs_imp.fn(case.input)
    assert py_result == rs_result, case.label

其中 CASES 至少覆盖：

正常路径：每个对外函数至少 3 条典型输入
边界值：空列表、空字符串、零值、最大/最小值
异常路径：非法输入、不存在的资源、网络失败
副作用：写入 DB / 文件 / 缓存后的值（若可 mock）

3.2 一份签名对比报告

reviews/r0-<module>-signature.md，逐函数列出：

项	Python	Rust	状态
参数列表	`get_user(user_id: int)`	`get_user(user_id: i64)`	✅
返回类型	`dict \| None`	`Option<HashMap<String, Value>>`	✅
抛出异常	`UserNotFoundError, IOError`	`AppError::UserNotFound, AppError::Io`	✅
副作用	读 DB	读 DB	✅

3.3 一份执行日志

tests/compare/<module>.log：

Case normal_1          PASS
Case normal_2          PASS
Case empty_input       PASS
Case invalid_id        PASS (一致地抛出 NotFound)
Case io_failure        PASS (一致地抛出 IOError)
Total: 17 / 17 PASS

4. 若发现行为不一致怎么办

严禁本 skill 去“修”。把问题写入 reviews/r0-<module>-diff.md
交给负责“迁移”的 Writer Agent 去修正，或交给 Tester Agent 补充 case
修正完毕后重新跑本 skill，直到 N / N PASS

5. 允许与禁止

✅ 允许：生成对比测试、写审查报告、更新 manifest 中的 verified_at
❌ 禁止：修改任何生产代码（py 或 rs）
❌ 禁止：以“这个差异其实不重要”为由跳过任何 FAIL 的 case

6. 结束时交付给下一轮的状态

tests/compare/<module>.log 中显示 100% PASS
reviews/r0-<module>-signature.md 写好并存档
manifest/modules.yaml 中对应模块状态被推进为 verified（或保持 verified 并刷新 verified_at）
manifest/history/<ts>-r0-<module>.log 记录“已通过行为一致性审查”

只有本 skill 完成后，R1~R6 才允许启动。