{ "assessment": { "profile": { "schemaVersion": "1", "id": "formal-lab-book-and-static-publication", "title": "Formal Lab 教科書・静的公開プロファイル", "version": "0.1.0", "standard": { "id": "evidential-scholarly-textbook-quality", "title": "実証可能な学術教科書品質標準", "version": "0.1.0", "status": "working-standard" }, "artifact": "Formal Lab 全79章と静的ウェブ公開物", "scope": "Leanソースを正本とする全章、問題、参照資料、同一生成工程から得るHTML・検索DB・Lean原典", "requirements": [ { "id": "EPI-01", "title": "主張の追跡可能性", "statement": "非自明な主張は、証明、出典、または明示した仮定のいずれかへ追跡できること。", "level": "gate", "scope": "全79章" }, { "id": "EPI-02", "title": "適用範囲の明示", "statement": "定義と定理は量化範囲、仮定、例外、等しさの意味を確定すること。", "level": "gate", "scope": "全79章" }, { "id": "DEP-01", "title": "前提の先行", "statement": "概念、記号、推論法は、それを必要とする論証より先に導入すること。", "level": "gate", "scope": "全79章" }, { "id": "DEP-02", "title": "必要最小限の依存", "statement": "必須前提、推奨経路、実装依存、歴史順を異なる関係として管理すること。", "level": "diagnostic", "scope": "全79章" }, { "id": "EXP-01", "title": "定義を必要にする説明", "statement": "新概念は、既知の例から生じる区別または問題を経て導入すること。", "level": "diagnostic", "scope": "全79章" }, { "id": "EXP-02", "title": "例・非例・最初の使用", "statement": "中心定義には正例、条件を外した非例、非自明な使用を近接して置くこと。", "level": "diagnostic", "scope": "全79章" }, { "id": "REP-01", "title": "表現間の往復", "statement": "同じ対象の複数表現は、対応点と保存されない情報を明示し、相互に復元可能にすること。", "level": "gate", "scope": "全79章" }, { "id": "ALN-01", "title": "到達目標・活動・評価の整合", "statement": "到達目標に含む行為を、本文の学習活動と評価課題の双方で実際に要求すること。", "level": "gate", "scope": "全79章" }, { "id": "ACT-01", "title": "補助を減らす練習系列", "statement": "完成例、部分補完、独力再構成、条件を変えた転移を適切な順序で用意すること。", "level": "diagnostic", "scope": "全79章" }, { "id": "PRO-01", "title": "歴史的主張の文献的根拠", "statement": "帰属、年代、用語の変遷、原典の射程を一次資料または批判的研究へ追跡すること。", "level": "gate", "scope": "全79章" }, { "id": "EXE-01", "title": "検査可能な成果物", "statement": "実行可能と称するコード、計算、生成物は、固定した環境と再現可能な検査で確認すること。", "level": "gate", "scope": "全79章" }, { "id": "USE-01", "title": "発見可能性と局所的一貫性", "statement": "見出し、用語、参照、表示順は、内容を再発見できる一貫した体系をなすこと。", "level": "diagnostic", "scope": "全79章" }, { "id": "PUB-REPRO", "title": "決定的な公開物", "statement": "固定した入力から静的公開物を二回生成し、全通常ファイルの経路、容量、内容を一致させる。", "level": "gate", "scope": "静的サイトの全生成物" }, { "id": "PUB-BUDGET", "title": "配布性能予算", "statement": "初期読書面、遅延検索、個別ページ、配布物総量に独立した容量上限を適用する。", "level": "gate", "scope": "HTML、CSS、JavaScript、検索DB、Lean原典" }, { "id": "PUB-INTERFACE", "title": "主要な読書経路", "statement": "章の選択、本文とLeanの照合、検索、問題、表示条件、失敗時経路を実配信面で検査する。", "level": "gate", "scope": "主要公開面と代表章" }, { "id": "OBS-LEARNER", "title": "読者による学習成果", "statement": "想定読者が到達能力を実際に遂行できるかを、教材配置とは別に観察する。", "level": "diagnostic", "scope": "読者の遂行" }, { "id": "OBS-ASSISTIVE", "title": "実支援技術による読解", "statement": "数式、コード、読書順序を実スクリーンリーダー等で人手確認する。", "level": "diagnostic", "scope": "主要公開面の支援技術利用" } ] }, "revision": "sha256:ceb8cab2877f0d0bc673cddb18a4fac2588f752ebb0a7cf19c3f91050275a262", "assessedAt": "2026-08-09", "observations": [ { "requirementId": "EPI-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "formal-proof", "description": "形式証明 132件", "locator": "authoring/reviews/" }, { "kind": "source-citation", "description": "出典 66件", "locator": "authoring/reviews/" }, { "kind": "human-review", "description": "人手査読 39件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, { "requirementId": "EPI-02", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "human-review", "description": "人手査読 158件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, { "requirementId": "DEP-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "human-review", "description": "人手査読 80件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, { "requirementId": "DEP-02", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "human-review", "description": "人手査読 158件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, { "requirementId": "EXP-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "human-review", "description": "人手査読 79件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, { "requirementId": "EXP-02", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "worked-example", "description": "完成例 132件", "locator": "authoring/reviews/" }, { "kind": "human-review", "description": "人手査読 27件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, { "requirementId": "REP-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "worked-example", "description": "完成例 132件", "locator": "authoring/reviews/" }, { "kind": "human-review", "description": "人手査読 26件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, { "requirementId": "ALN-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "human-review", "description": "人手査読 79件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, { "requirementId": "ACT-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "worked-example", "description": "完成例 132件", "locator": "authoring/reviews/" }, { "kind": "human-review", "description": "人手査読 26件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, { "requirementId": "PRO-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "source-citation", "description": "出典 86件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, { "requirementId": "EXE-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "automated-check", "description": "自動検査 158件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, { "requirementId": "USE-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "human-review", "description": "人手査読 83件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, { "requirementId": "PUB-REPRO", "status": "pass", "summary": "固定したNode・pnpm・Lean環境で二回の静的生成物を内容hashまで比較する。", "observedAt": "2026-08-08", "evidence": [ { "kind": "automated-check", "description": "成果物木の経路・容量・SHA-256比較", "locator": "scripts/check-build-reproducibility.ts" }, { "kind": "reproducible-build", "description": "空のCI環境から同じ工程を実行", "locator": ".github/workflows/ci.yml" } ] }, { "requirementId": "PUB-BUDGET", "status": "pass", "summary": "9個の独立した容量予算を生成物へ適用する。", "observedAt": "2026-08-08", "evidence": [ { "kind": "automated-check", "description": "raw・gzip・Brotli容量の上限検査", "locator": "scripts/check-site-budgets.ts" }, { "kind": "automated-check", "description": "予算値と対象asset群", "locator": "authoring/assurance/site-budgets.ts" } ] }, { "requirementId": "PUB-INTERFACE", "status": "pass", "summary": "35条件中35条件を、実ブラウザで検査する。", "observedAt": "2026-08-08", "evidence": [ { "kind": "automated-check", "description": "35件のブラウザ観察", "locator": "tests/e2e/" }, { "kind": "automated-check", "description": "読者タスクと表示条件の対応", "locator": "src/site/assurance.ts" } ] }, { "requirementId": "OBS-LEARNER", "status": "not-observed", "summary": "問題と評価の配置は検査したが、読者集団の遂行結果はまだ収集していない。", "evidence": [], "observedAt": "2026-08-08" }, { "requirementId": "OBS-ASSISTIVE", "status": "not-observed", "summary": "Axe、キーボード、再配置は自動検査したが、実スクリーンリーダーでの数式読解は未観察である。", "evidence": [], "observedAt": "2026-08-08" } ], "limitations": [ { "subject": "学習成果", "statement": "268能力について練習と評価の整合を検査したが、実読者の遂行観察は0件である。", "consequence": "本レポートは、個々の読者が能力を獲得したことを主張しない。" }, { "subject": "アクセシビリティ", "statement": "自動監査とブラウザ操作は、実支援技術による意味上の読みやすさを代替しない。", "consequence": "WCAG 2.2全体への適合や、数式の読み上げ品質を主張しない。" }, { "subject": "外部資料", "statement": "外部URLは公開前監査の時点後に変更または停止し得る。", "consequence": "ネットワーク監査を決定的ビルドとは分離し、公開前に再実行する。" } ], "exceptions": [] }, "result": { "status": "conformant-with-diagnostics", "requirements": [ { "requirement": { "id": "EPI-01", "title": "主張の追跡可能性", "statement": "非自明な主張は、証明、出典、または明示した仮定のいずれかへ追跡できること。", "level": "gate", "scope": "全79章" }, "observation": { "requirementId": "EPI-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "formal-proof", "description": "形式証明 132件", "locator": "authoring/reviews/" }, { "kind": "source-citation", "description": "出典 66件", "locator": "authoring/reviews/" }, { "kind": "human-review", "description": "人手査読 39件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, "status": "pass" }, { "requirement": { "id": "EPI-02", "title": "適用範囲の明示", "statement": "定義と定理は量化範囲、仮定、例外、等しさの意味を確定すること。", "level": "gate", "scope": "全79章" }, "observation": { "requirementId": "EPI-02", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "human-review", "description": "人手査読 158件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, "status": "pass" }, { "requirement": { "id": "DEP-01", "title": "前提の先行", "statement": "概念、記号、推論法は、それを必要とする論証より先に導入すること。", "level": "gate", "scope": "全79章" }, "observation": { "requirementId": "DEP-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "human-review", "description": "人手査読 80件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, "status": "pass" }, { "requirement": { "id": "DEP-02", "title": "必要最小限の依存", "statement": "必須前提、推奨経路、実装依存、歴史順を異なる関係として管理すること。", "level": "diagnostic", "scope": "全79章" }, "observation": { "requirementId": "DEP-02", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "human-review", "description": "人手査読 158件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, "status": "pass" }, { "requirement": { "id": "EXP-01", "title": "定義を必要にする説明", "statement": "新概念は、既知の例から生じる区別または問題を経て導入すること。", "level": "diagnostic", "scope": "全79章" }, "observation": { "requirementId": "EXP-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "human-review", "description": "人手査読 79件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, "status": "pass" }, { "requirement": { "id": "EXP-02", "title": "例・非例・最初の使用", "statement": "中心定義には正例、条件を外した非例、非自明な使用を近接して置くこと。", "level": "diagnostic", "scope": "全79章" }, "observation": { "requirementId": "EXP-02", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "worked-example", "description": "完成例 132件", "locator": "authoring/reviews/" }, { "kind": "human-review", "description": "人手査読 27件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, "status": "pass" }, { "requirement": { "id": "REP-01", "title": "表現間の往復", "statement": "同じ対象の複数表現は、対応点と保存されない情報を明示し、相互に復元可能にすること。", "level": "gate", "scope": "全79章" }, "observation": { "requirementId": "REP-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "worked-example", "description": "完成例 132件", "locator": "authoring/reviews/" }, { "kind": "human-review", "description": "人手査読 26件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, "status": "pass" }, { "requirement": { "id": "ALN-01", "title": "到達目標・活動・評価の整合", "statement": "到達目標に含む行為を、本文の学習活動と評価課題の双方で実際に要求すること。", "level": "gate", "scope": "全79章" }, "observation": { "requirementId": "ALN-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "human-review", "description": "人手査読 79件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, "status": "pass" }, { "requirement": { "id": "ACT-01", "title": "補助を減らす練習系列", "statement": "完成例、部分補完、独力再構成、条件を変えた転移を適切な順序で用意すること。", "level": "diagnostic", "scope": "全79章" }, "observation": { "requirementId": "ACT-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "worked-example", "description": "完成例 132件", "locator": "authoring/reviews/" }, { "kind": "human-review", "description": "人手査読 26件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, "status": "pass" }, { "requirement": { "id": "PRO-01", "title": "歴史的主張の文献的根拠", "statement": "帰属、年代、用語の変遷、原典の射程を一次資料または批判的研究へ追跡すること。", "level": "gate", "scope": "全79章" }, "observation": { "requirementId": "PRO-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "source-citation", "description": "出典 86件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, "status": "pass" }, { "requirement": { "id": "EXE-01", "title": "検査可能な成果物", "statement": "実行可能と称するコード、計算、生成物は、固定した環境と再現可能な検査で確認すること。", "level": "gate", "scope": "全79章" }, "observation": { "requirementId": "EXE-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "automated-check", "description": "自動検査 158件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, "status": "pass" }, { "requirement": { "id": "USE-01", "title": "発見可能性と局所的一貫性", "statement": "見出し、用語、参照、表示順は、内容を再発見できる一貫した体系をなすこと。", "level": "diagnostic", "scope": "全79章" }, "observation": { "requirementId": "USE-01", "status": "pass", "summary": "79章中、合格79章、改訂要0章、未査読0章", "evidence": [ { "kind": "human-review", "description": "人手査読 83件", "locator": "authoring/reviews/" } ], "observedAt": "2026-08-09" }, "status": "pass" }, { "requirement": { "id": "PUB-REPRO", "title": "決定的な公開物", "statement": "固定した入力から静的公開物を二回生成し、全通常ファイルの経路、容量、内容を一致させる。", "level": "gate", "scope": "静的サイトの全生成物" }, "observation": { "requirementId": "PUB-REPRO", "status": "pass", "summary": "固定したNode・pnpm・Lean環境で二回の静的生成物を内容hashまで比較する。", "observedAt": "2026-08-08", "evidence": [ { "kind": "automated-check", "description": "成果物木の経路・容量・SHA-256比較", "locator": "scripts/check-build-reproducibility.ts" }, { "kind": "reproducible-build", "description": "空のCI環境から同じ工程を実行", "locator": ".github/workflows/ci.yml" } ] }, "status": "pass" }, { "requirement": { "id": "PUB-BUDGET", "title": "配布性能予算", "statement": "初期読書面、遅延検索、個別ページ、配布物総量に独立した容量上限を適用する。", "level": "gate", "scope": "HTML、CSS、JavaScript、検索DB、Lean原典" }, "observation": { "requirementId": "PUB-BUDGET", "status": "pass", "summary": "9個の独立した容量予算を生成物へ適用する。", "observedAt": "2026-08-08", "evidence": [ { "kind": "automated-check", "description": "raw・gzip・Brotli容量の上限検査", "locator": "scripts/check-site-budgets.ts" }, { "kind": "automated-check", "description": "予算値と対象asset群", "locator": "authoring/assurance/site-budgets.ts" } ] }, "status": "pass" }, { "requirement": { "id": "PUB-INTERFACE", "title": "主要な読書経路", "statement": "章の選択、本文とLeanの照合、検索、問題、表示条件、失敗時経路を実配信面で検査する。", "level": "gate", "scope": "主要公開面と代表章" }, "observation": { "requirementId": "PUB-INTERFACE", "status": "pass", "summary": "35条件中35条件を、実ブラウザで検査する。", "observedAt": "2026-08-08", "evidence": [ { "kind": "automated-check", "description": "35件のブラウザ観察", "locator": "tests/e2e/" }, { "kind": "automated-check", "description": "読者タスクと表示条件の対応", "locator": "src/site/assurance.ts" } ] }, "status": "pass" }, { "requirement": { "id": "OBS-LEARNER", "title": "読者による学習成果", "statement": "想定読者が到達能力を実際に遂行できるかを、教材配置とは別に観察する。", "level": "diagnostic", "scope": "読者の遂行" }, "observation": { "requirementId": "OBS-LEARNER", "status": "not-observed", "summary": "問題と評価の配置は検査したが、読者集団の遂行結果はまだ収集していない。", "evidence": [], "observedAt": "2026-08-08" }, "status": "not-observed" }, { "requirement": { "id": "OBS-ASSISTIVE", "title": "実支援技術による読解", "statement": "数式、コード、読書順序を実スクリーンリーダー等で人手確認する。", "level": "diagnostic", "scope": "主要公開面の支援技術利用" }, "observation": { "requirementId": "OBS-ASSISTIVE", "status": "not-observed", "summary": "Axe、キーボード、再配置は自動検査したが、実スクリーンリーダーでの数式読解は未観察である。", "evidence": [], "observedAt": "2026-08-08" }, "status": "not-observed" } ], "counts": { "pass": 15, "fail": 0, "not-observed": 2, "not-applicable": 0 }, "issues": [] }, "measures": { "chapters": 79, "criterionJudgments": 948, "supportedQualityClaims": 948, "qualityClaims": 948, "supportedCoreClaims": 79, "coreClaims": 79, "coreEvidence": 237, "competencies": 268, "practicedCompetencies": 268, "assessedCompetencies": 268, "learnerObservations": 0, "interfaceConditions": 35, "passedInterfaceConditions": 35, "automatedInterfaceObservations": 35, "humanInterfaceObservations": 0, "artifactBudgets": 9 }, "environment": { "node": "26.7.0", "pnpm": "11.20.0", "lean": "4.32.2", "mathlib": "v4.32.2", "inputHash": "sha256:1d561c8c95b6c79850b20e33d3b700382639c42201834380e7fd18c612ded7ed" } }