呢一頁仲未翻譯。英文版本為準。 睇英文版 →

標準庫

介紹標準庫,如何導入模塊,以及如何生成API文檔。

標準庫

標準庫龐大、活躍且成熟度混雜。標準庫的完整頁面必須解釋不僅僅是什麼存在,還要如何區分活躍可調用的API與虛擬表面和禁用存儲庫。

目前受門檻保護的快照

表面狀態
可靠性門檻251 pass / 0 fail / 0 skip / 251 total
存儲庫927 .sio 文件,0 禁用文件,0 虛擬模塊文件,119 活躍入口點
科學流水線fmridarwin_pbpk 通過
超執行7 個必要線路通過
運行時回退4 個在 soft 模式下追蹤的失敗探測

如何安全地閱讀標準庫

  • active_callable 模塊視為由測試或門檻支持的真實公共表面。
  • stub_surface 模塊視為僅僅是形狀:適用於路徑圖和兼容性追蹤,而非強大的API承諾。
  • *.sio.disabled 文件視為未來的作業清單,而非當前支持。

在哪裡檢查真相

  • stdlib/ 存儲代碼和模塊佈局。
  • tests/stdlib/ 存儲最重要的執行和契約檢查。
  • artifacts/stdlib/stdlib_reliability_status.v1.jsonstdlib_science_pipeline_status.v1.jsonstdlib_hyper_execution_status.v1.json 是可機器讀取的可信狀態文檔。
  • docs/stdlib/STDLIB_REFERENCE.md 是存儲庫面向的標準庫快照的參考頁面。

重複標準庫的主要門檻

bash scripts/scan_stdlib.sh --json-out artifacts/stdlib/stdlib_inventory.v1.json
bash scripts/stdlib/stdlib_hyper_execution_gate.sh
STDLIB_RUNTIME_REGRESSION_STRICT=1 bash scripts/stdlib/stdlib_science_pipeline_gate.sh
STDLIB_RUNTIME_REGRESSION_STRICT=1 bash scripts/stdlib_reliability_gate.sh

實踐指導

  • 在撰寫文檔或範例時,從活躍測試開始,而非從目錄名稱。
  • 如果一個模塊存在,但其最佳當前測試僅僅是導入或形狀檢查,描述它為有限或虛擬表面。
  • 使用狀態文檔當你需要的確切數字或線路級別的主張。