不確かさ

不確実性は今も言語ストーリーの中心ですが、検証済み artifact が公開している表面は完全な spec モデルより小さいままです。

本日時点で確認済み

• 信頼度境界つき compile-fail fixture は、検証済み契約の一部です。
• Knowledge<T> は今も silent extraction ではなく、明示的な unwrap 境界を要求します。
• 理想的な文章やディレクトリ名よりも、tests と gate artifact を強い根拠として扱ってください。

現在の注意点

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