示例

示例页面现在首先围绕已验证的 fixture 来组织。应把 tests/ 视为最强的当前证据，再把 examples/ 当作更小的入门材料。

今日已验证

• examples/hello.sio 仍然是最小的已验证起点。
• tests/run-pass/covid_2020_kernel.sio 是当前已验证的科学 fixture。
• tests/run-pass/vancomycin_propagation.sio 和 med fixture 共同描述了当前的 epistemic 工作流。

当前限制

• tests/compile-fail/vancomycin_low_conf.sio 仍然证明了编译期拒绝。
• stub 模块和 *.sio.disabled 文件属于路线图库存，不应视为稳定 API。

在这个仓库中验证

"$SOUC_BIN" check examples/hello.sio
"$SOUC_BIN" check tests/run-pass/covid_2020_kernel.sio
"$SOUC_BIN" check tests/run-pass/vancomycin_propagation.sio
"$SOUC_BIN" check tests/compile-fail/vancomycin_low_conf.sio