forked from bai/curriculum-project-hub
sjfhsjfh
ebcb3a7589
教研工程文件根放 .cph-version(内容=面向的 cph 版本)。cph 加载时比对自身版本
(CARGO_PKG_VERSION),不相容报 CphVersionMismatch error 并拒绝。当前判定为版本完全
相等(MVP);判定逻辑孤立在 versions_compatible 单谓词,后续可放宽为 semver 区间而
不动诊断分类/spec/CLI。
spec(7 类诊断,原 6 类):
- Diagnostic.lean: DiagKind 增 cphVersionMismatch(error 级),分类注释 6→7
- Pipeline.lean: load 阶段含 .cph-version 兼容性判定
- Courseware.lean: ADR 区间 →0016
实现:
- cph-diag: DiagCode::CphVersionMismatch("E-CPH-VERSION")
- cph-model: load() 解析 manifest 成功后 check_cph_version;versions_compatible
谓词(完全相等);CPH_VERSION const。missing .cph-version 暂跳过(迁移期 OPEN);
空文件报 error
- examples/TH-141、valid/mini fixture、KenKen 课各加 .cph-version=0.0.2
测试:cph-model 4 个版本门测试;全 workspace 53 passed;lake 25 jobs 绿。
负向验证:9.9.9 .cph-version → E-CPH-VERSION error + check 拒绝(exit 1)。
bump: workspace.package 0.0.1→0.0.2;cph --version 报 cph 0.0.2;README 同步
(含版本契约说明)。
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
24 lines
578 B
TOML
24 lines
578 B
TOML
[workspace]
|
|
resolver = "2"
|
|
members = [
|
|
"crates/cph-diag",
|
|
"crates/cph-model",
|
|
"crates/cph-schema",
|
|
"crates/cph-typst",
|
|
"crates/cph-check",
|
|
"crates/cph-cli",
|
|
]
|
|
|
|
# Shared metadata for all workspace crates. Individual crates inherit these via
|
|
# `version.workspace = true` / `edition.workspace = true`.
|
|
[workspace.package]
|
|
version = "0.0.2"
|
|
edition = "2021"
|
|
license = "MIT OR Apache-2.0"
|
|
|
|
[workspace.dependencies]
|
|
serde = { version = "1", features = ["derive"] }
|
|
toml = "0.8"
|
|
cph-diag = { path = "crates/cph-diag" }
|
|
cph-model = { path = "crates/cph-model" }
|