エピステミック型

epistemic type は今も Sounio を最も特徴づける領域です。公開で確認できる契約は狭いですが、実在し、tests に支えられています。

本日時点で確認済み

• Knowledge<T> は今も silent extraction ではなく、明示的な unwrap 境界を要求します。
• 信頼度境界つき compile-fail fixture は、検証済み契約の一部です。
• tests/run-pass/vancomycin_propagation.sio と med fixture が、現在の epistemic workflow を示しています。

現在の注意点

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