Vancomycin Uncertainty

vancomycin のケーススタディは、epistemic 制約が Sounio でコンパイル時拒否を引き起こせることを示す、最も明確な公開証拠のままです。

本日時点で確認済み

• tests/run-pass/vancomycin_propagation.sio と med fixture が、現在の epistemic workflow を示しています。
• tests/compile-fail/vancomycin_low_conf.sio は今でもコンパイル時拒否を証明します。
• /docs/assets/vancomycin-ship/ の docs assets は、このケーススタディの公開ビジュアル証拠として残っています。

現在の注意点

• 実際の挙動は、リポジトリ上のファイルだけではなく、使用している souc バイナリそのものに依存します。
• 不確実性と provenance の完全なモデルは、今日の検証済み artifact よりも spec と stdlib 文書の方が豊かです。

このリポジトリで確認する

"$SOUC_BIN" check tests/run-pass/vancomycin_propagation.sio
"$SOUC_BIN" check tests/run-pass/med/vancomycin_full_propagation.sio
"$SOUC_BIN" check tests/compile-fail/vancomycin_low_conf.sio
"$SOUC_BIN" check tests/compile-fail/med/vancomycin_low_conf_refusal.sio