ai-architect-mcp-codebase

本サイトが提示する下記のベストプラクティスを実行するプロジェクトは、Open Source Security Foundation (OpenSSF) バッジを達成したことを自主的に自己認証し、そのことを外部に示すことができます。

ソフトウェアに欠陥や脆弱性がないことを保証する手立てはありません。形式論的な証明ができたとしても、仕様や前提が間違っていると誤動作の可能性があります。また、プロジェクトが健全で、かつ機能的な開発コミュニティであり続けることを保証する手立てもありません。しかし、ベストプラクティスの採用は、プロジェクトの成果の向上に寄与する可能性があります。たとえば、いくつものベストプラクティスがリリース前の複数人によるレビューを定めていますが、それによりレビュー以外では発見困難な技術的脆弱性を見つけるのを助け、同時に異なる企業の開発者間の信頼を築き、さらに交流を続けることに対する意欲を生んでいます。バッジを獲得するには、すべてのMUSTおよびMUST NOT基準を満たさなければなりません。すべてのSHOULD基準も満たさなければなりませんが、正当な理由がある場合は満たさなくても構いません。そしてすべてのSUGGESTED基準も満たさなければなりませんが、満たさないとしても、少なくとも考慮することが望まれます。フィードバックは、 GitHubサイトのissueまたはpull requestとして提示されれば歓迎します。また、議論のためのメールリストも用意されています。

私たちは多言語で情報を提供していますが、翻訳版に矛盾や意味の不一致がある場合は、英語版を正式な記述とします。
これがあなたのプロジェクトなら、あなたのプロジェクトページにあなたのバッジステータスを表示してください!バッジステータスは次のようになります。 プロジェクト 13845 のバッジ レベルは silver です バッジステータスの埋め込み方法は次のとおりです。
バッジステータスを表示するには、あなたのプロジェクトのマークダウンファイルに以下を埋め込みます
[![OpenSSF Best Practices](https://www.bestpractices.dev/projects/13845/badge)](https://www.bestpractices.dev/projects/13845)
あるいは、以下をHTMLに埋め込みます
<a href="https://www.bestpractices.dev/projects/13845"><img src="https://www.bestpractices.dev/projects/13845/badge"></a>


これらはシルバーレベルの基準です。合格またはゴールドレベル基準を表示することもできます。

Baseline Series: ベースラインレベル1 ベースラインレベル2 ベースラインレベル3

        

 基本的情報 17/17

  • 一般

    他のプロジェクトが同じ名前を使用していないか注意してください。

    Codebase intelligence MCP for AI agents — tree-sitter AST → LadybugDB property graph, import/call resolution with evidence-graded confidence, Leiden communities, hybrid BM25+TF-IDF+RRF search, impact analysis, PRD-hallucination + security gates. Rust · 24 tools (core-8 agent profile) · 503 tests.

    SPDXライセンスの表現形式を使用してください。 例:「Apache-2.0」、「BSD-2-Clause」、「BSD-3-Clause」、「GPL-2.0+」、「LGPL-3.0+」、「MIT」、「(BSD-2-Clause OR Ruby)」。一重引用符または二重引用符を含めないでください。
    複数の言語がある場合は、コンマを区切り(スペースを入れてもよい)としてリストし、使用頻度の高いものから順に並べます。使用言語が多くある場合は、少なくとも最初の3つの最も多く使われるものをリストアップしてください。言語がない場合(例:ドキュメントだけ、またはテスト専用のプロジェクトの場合)、1文字 " - "を使用します。言語ごとにある大文字・小文字の慣用を踏襲してください(例:「JavaScript」)。
    Common Platform Enumeration(CPE)は、情報技術(IT)システム、ソフトウェア、およびパッケージのための構造化された命名体系です。脆弱性を報告する際に、多くのシステムやデータベースで使用されています。
  • 前提要件


    プロジェクトは合格レベルバッジに達成しなければなりません。 [achieve_passing]

  • 基本的なプロジェクト ウェブサイトのコンテンツ


    貢献する方法に関する情報には、受け入れ可能な貢献の要件(例えば、必要なコーディング標準への言及)が含まれなければなりません。 (URLが必要です) [contribution_requirements]

    https://github.com/cdeust/automatised-pipeline/blob/main/CONTRIBUTING.md#coding-standards-excerpt states the required standard (rustfmt plus the zetetic coding standards, with the project-specific rules spelled out), and https://github.com/cdeust/automatised-pipeline/blob/main/CONTRIBUTING.md#testing-policy-mandatory states the acceptance requirements for tests.


  • プロジェクトの管理・運営


    プロジェクトは、プロジェクト ソフトウェアのそれなりの量を開発しているすべての開発者が、これらの貢献を行うことが法的に認められていると主張すりょうな法的な仕組みを持っていなければなりません。これを行うための最も一般的で簡単に実装されたアプローチは、開発者証明書(DCO)を使用することです。ユーザーは、 DCOのウェブサイトへのプロジェクトのリンクが表示されます。ただし、これはコントリビュータ ライセンス契約(CLA)またはその他の法的な仕組みとして実装することができます。 (URLが必要です) [dco]
    DCOは、実装が容易で、ソースコードで追跡され、gitが "commit -s"を使用して "サインオフ"機能を直接サポートするため、推奨されるメカニズムです。最も効果的であるためには、プロジェクト文書が、そのプロジェクトに対して「サインオフ」とは何を意味するのかを説明するのが最善です。 CLAは、知的著作物が組織またはプロジェクトにライセンスされている条件を定義する法的合意です。コントリビュータ アサイン アグリーメント(CAA)は、知的著作物の権利を他の当事者に移転する法的合意です。プロジェクトはCAAを必ずしも持つ必要はありません。なぜなら、CAAは、特に受領者が営利目的の組織である場合には、潜在的な貢献者が貢献しないリスクを高めます。 Apache Software Foundation CLA(個々のコントリビュータ ライセンスと法人CLA)は、この種のCLAのリスクを判断するプロジェクトにとって、リスクが便益よりも小さいのCLAの例です。

    There is no DCO sign-off requirement and no CLA today. All non-trivial code to date is the sole maintainer's own, contributed under the project's MIT licence. The position, and the intent to adopt a DCO (git commit -s) rather than a CLA if outside contributors begin submitting non-trivial changes, is stated at https://github.com/cdeust/automatised-pipeline/blob/main/GOVERNANCE.md#contribution-licensing



    プロジェクトは、プロジェクト ガバナンス モデル(主要な役割を含む意思決定方法)を明確に定義し、文書化しなければなりません。 (URLが必要です) [governance]
    決定を下し、論争を解決するための十分に確立された文書化された方法が必要です。小規模なプロジェクトでは、これは「プロジェクトオーナーとリーダーがすべての最終決定を下す」という単純なものです。慈愛の強い独裁者や正式な能力主義を含む様々な統治モデルが存在します。詳細については、統治モデルを参照してください。集中化された(例えば、単一メインテナー)および分散された(例えば、グループ メインテナー)アプローチの両方が、プロジェクトにおいて成功のうちに使用されています。統治情報は、プロジェクトフォークを作成する可能性について文書化する必要はありません。なぜなら、これはFLOSSプロジェクトでは常に可能であるからです。

    https://github.com/cdeust/automatised-pipeline/blob/main/GOVERNANCE.md — who decides, how a decision is made, how disagreement is resolved, how a change gets in, and how someone becomes a maintainer.



    プロジェクトは、行動規範を採択し、標準的な場所に掲示しなければなりません。 (URLが必要です) [code_of_conduct]
    プロジェクトは、地域社会の礼儀正しさを向上させることと、行動規範を採択することで受け入れられる行動についての期待を設定すること、ができるかもしれません。これにより、問題が発生する前に問題を回避し、プロジェクトをより貢献を促す場所にすることができます。これは、プロジェクトのコミュニティ内や職場内の行動にのみ焦点を当てるべきです。行動規範の例としては、以下のようなものがあります。Linuxカーネル行動規範コントリビューター規約行動規範Debian行動規範Ubuntu行動規範Fedora行動規範GNOME行動規範KDEコミュニティ行動規範Pythonコミュニティ行動規範Rubyコミュニティ行動指針、およびRust 行動規範

    https://github.com/cdeust/automatised-pipeline/blob/main/CODE_OF_CONDUCT.md, in the standard top-level location, and linked from CONTRIBUTING.md.



    プロジェクトは、プロジェクトでの重要な役割と役割が実行しなければならないタスクを含む責任を明確に定義し、公的に文書化しなければなりません。誰がどの役割を持っているかは明確でなければなりませんが、これは同じ方法で文書化されていない可能性があります。 (URLが必要です) [roles_responsibilities]
    統治と役割と責任に関する文章は1か所にあるのが良いでしょう。

    https://github.com/cdeust/automatised-pipeline/blob/main/GOVERNANCE.md#roles-and-responsibilities — maintainer, contributor and security reporter, what each is responsible for, and who holds the maintainer role. It states plainly that there is currently one person in it.



    いずれかの人が仕事を継続できなくなるまたは死亡した場合、プロジェクトは最小限の中断で継続することができなければなりません。特に、プロジェクトは、課題の作成と終了、提案された変更の受け入れ、およびバージョンのソフトウェアのリリース、1週間内に個人が仕事を継続できくなったことまたは死亡したことの確認、行うことができなければならない。これは、他の誰かがプロジェクトを継続するのに必要な鍵、パスワード、法的権利を持っていることを保証することによって行うことができます。 FLOSSプロジェクトを実行する個人は、ロックボックスにキーを提供し、必要な法的権利を提供する意志(例えば、DNS名のために)を提供することによって、これを行うことができます。 (URLが必要です) [access_continuity]

    https://github.com/cdeust/automatised-pipeline/blob/main/GOVERNANCE.md#continuity-of-access — what survives the maintainer becoming unavailable (public MIT source, complete history in every clone, tagged releases, a compiler and dependency graph pinned so a fork can rebuild the exact artifact), and what is genuinely single-owner. The single point of failure is named rather than papered over.



    プロジェクトは2以上の "バス ファクタ"を持っているべきです。 (URLが必要です) [bus_factor]
    「バス ファクタ」(別名「トラック ファクタ」)は、知見があり有能な人材が離脱して、プロジェクトが停止に至る時に、プロジェクトから突然消失する(「バスに当たった」)プロジェクトメンバーの最小人数です。 トラック ファクタツールは、GitHub上のプロジェクトに対してこれを見積もることができます。詳細については、Cosentino et al。の Gitリポジトリのバス ファクタの評価を参照してください。

    The bus factor is 1: one maintainer. This is stated rather than hidden, together with what survives their loss and how a fork continues, at https://github.com/cdeust/automatised-pipeline/blob/main/GOVERNANCE.md#continuity-of-access. Adding a second maintainer is item 5 on https://github.com/cdeust/automatised-pipeline/blob/main/docs/ROADMAP.md and is the single change that would most improve this project's resilience.


  • ドキュメンテーション


    プロジェクトは、少なくとも翌年に、プロジェクトが何をしたいか、やるつもりはないかを記述した文書化されたロードマップを持っていなければなりません。 (URLが必要です) [documentation_roadmap]
    このプロジェクトはロードマップを達成できないかもしれません。それは問題ありません。ロードマップの目的は、潜在的なユーザーや貢献者がプロジェクトの意図された方向を理解するのを助けることです。詳細にする必要はありません。

    https://github.com/cdeust/automatised-pipeline/blob/main/docs/ROADMAP.md states what the project intends to do over the next year (graph fidelity, the file-size split epic, making the supply-chain assurance real on a published release, holding coverage as a gate, and the badge levels) and has an explicit section on what it will not do — no code writing, no PRD generation, no network at index time, no model runtime.



    プロジェクトは、プロジェクトによって作成されたソフトウェアのアーキテクチャー(いわゆる高水準設計)の文書を含まなければなりません。プロジェクトでソフトウェアが作成されない場合は、「該当なし」(N/A)を選択します。 (URLが必要です) [documentation_architecture]
    ソフトウェア アーキテクチャは、プログラムの基本的な構造、すなわちプログラムの主な構成要素、それらの間の関係、およびこれらの構成要素および関係の主要な特性を説明します。

    https://github.com/cdeust/automatised-pipeline#architecture documents the high-level design: the transport-to-handler-to-core layering, every core module and its responsibility, the graph-per-finding storage model and why it was chosen, and the address-space configuration with its measured derivation. The trust boundaries between those components are enumerated in https://github.com/cdeust/automatised-pipeline/blob/main/docs/ASSURANCE-CASE.md



    プロジェクトは、ユーザーが、プロジェクトによって作成されたソフトウェアからセキュリティの観点から期待できるものと期待できないものを文書化しなければなりません。(セキュリティ要件) (URLが必要です) [documentation_security]
    これらは、ソフトウェアが満たすことが意図されているセキュリティ要件です。

    https://github.com/cdeust/automatised-pipeline/blob/main/SECURITY.md states what a user can and cannot expect: exactly what the tool reads, what assurance is offered over the artifact, and the limits stated rather than implied. The argument that those requirements are met, with its trust boundaries and residual risks, is at https://github.com/cdeust/automatised-pipeline/blob/main/docs/ASSURANCE-CASE.md



    プロジェクトでは、新規ユーザーがソフトウェアで何かをすばやく実行できるようにするための「クイックスタート」ガイドを提供する必要があります。 (URLが必要です) [documentation_quick_start]
    このアイデアは、ユーザーにソフトウェアを始動させる方法と何かをさせる方法を示すことです。これは潜在的なユーザーが開始するために非常に重要です。

    https://github.com/cdeust/automatised-pipeline#getting-started — prerequisites, clone and build, register the MCP server, and a first run that exercises the handshake over stdio, with a copy-pasteable JSON-RPC call.



    プロジェクトは、現行バージョンのプロジェクト結果(プロジェクトによって作成されたソフトウェアを含む)とドキュメントの整合性を保つために努力しなければならない。 不一致を招く既知のドキュメントの欠陥は、修正しなければなりません。ドキュメントが一般的に最新のものですが、古い情報が誤って含まれて、もはや正しくない場合は、それを欠陥として扱い、通常どおりに追跡して修正してください。 [documentation_current]
    ドキュメントには、ソフトウェアのバージョン間の相違点や変更点、および/またはドキュメントの古いバージョンへのリンクに関する情報が含まれていてもよいです。この基準の意図は、ドキュメントが完璧である必要があることではなく、ドキュメントの一貫性を保つための努力がなされていることです。

    Documentation is corrected in the same pull request as the change, and version pins are machine-checked rather than hand-maintained (https://github.com/cdeust/automatised-pipeline/blob/main/scripts/check_marketplace_pins.py runs in CI and fails on a stale pin). Numeric claims are no longer hand-maintained either: https://github.com/cdeust/automatised-pipeline/blob/main/scripts/check_doc_claims.py runs in the required cargo test job and fails when the README's advertised tool count, tool names, language count, test count or coverage percentage disagrees with the tool registry, the Language enum, the suite's own tally or the coverage job, and when the repository-layout tree names a path that does not exist. It was written after drift was found by hand (an advertised 434 tests against a 947-test suite) and it immediately caught four more: 24 advertised tools against 26 registered, 10 languages against 11, 16 hidden tools against 18, and two registered tools that no section documented. All were fixed and the scale table was re-measured on the lbug version actually depended on, closing https://github.com/cdeust/automatised-pipeline/issues/161.



    プロジェクトのリポジトリのフロントページおよび/またはウェブサイトは、このベストプラクティスのバッジを含め、成果が達成されたことを一般に認められてから48時間以内に特定し、ハイパーリンクする必要があります。 (URLが必要です) [documentation_achievements]
    達成とは、いくつかのバッジを含めて、プロジェクトが具体的に満たしている外部基準のセットです。この情報は、プロジェクトのウェブサイトのフロントページにある必要はありません。 GitHubを使用するプロジェクトは、READMEファイルに追加することで、リポジトリのフロントページに成果を置くことができます。

    The repository front page identifies and hyperlinks its achievements as badges: the OpenSSF Best Practices badge for this project (https://www.bestpractices.dev/projects/13845, live in the README badge row and linked back to the project page), alongside licence, test count, measured coverage, tool count and language count. https://github.com/cdeust/automatised-pipeline#readme. Release-by-release achievements are recorded in https://github.com/cdeust/automatised-pipeline/blob/main/CHANGELOG.md


  • アクセシビリティと国際化


    プロジェクト(プロジェクト サイトとプロジェクト結果の両方)は、アクセシビリティのベストプラクティスに従い、障害のある人が引き続きプロジェクトに参加し、プロジェクトの結果を合理的な範囲で使用することができるようにするべきです。 [accessibility_best_practices]
    ウェブアプリケーションについては、ウェブ コンテンツ アクセシビリティ ガイドライン(WCAG 2.0)とそのサポート ドキュメント WCAG 2.0の理解; W3Cアクセシビリティ情報を参照してください。 GUIアプリケーションの場合は、環境固有のアクセシビリティ ガイドラインの使用を検討して下さい(GnomeKDEXFCE Android bility/ios/" > iOS Mac Windows )。いくつかのTUIアプリケーション(例えば、「ncurses」プログラム)は、「alpine」の 「force-arrow-cursor」設定のような、よりアクセスしやすくするためにいくつかのことを行うことができます。ほとんどのコマンドライン アプリケーションは、そのままの状態でかなりアクセス可能です。この基準は、例えば、プログラム ライブラリの場合、「該当なし」(N/A)であることが多いです。取り上げるべき行動や考慮すべき課題の例を以下に示します。
    • テキスト以外のコンテンツの代替テキストを提供するkotode, 人々が必要とする他の形式に変更することができます。大きな印刷物、点字、スピーチ、記号またはより単純な言語などです。( WCAG 2.0ガイドライン1.1
    • アクションを示したり、応答を促したり、または視覚的要素を区別するために、色が唯一の視覚的な伝達手段として使用されるわけではありません。( WCAG 2.0ガイドライン1.4.1
    • 大文字、付随的なテキストとロゴタイプを除いて、テキストの視覚的提示とテキストのイメージには、少なくとも4.5:1の比率のコントラストがあります( WCAG 2.0ガイドライン1.4.3
    • キーボードからすべての機能を利用できるようにする(WCAGガイドライン2.1)
    • GUIまたはウェブ ベースのプロジェクトは少なくとも1つターゲットプラットフォーム上のスクリーンリーダーでテストするべきです(例えば、NVDA、Jaws、またはWindows上のWindowEyes; MacとiOSのVoiceOver Linux / BSDのOrca;AndroidのTalkBack)。 TUIプログラムは、スクリーンリーダーによる冗長な読み取りを防止するために、オーバードローを減らせるかもしれません。

    The project results have no graphical user interface: the software is an MCP server speaking stdio, and its output is JSON and Markdown that the consuming host renders, so the host's own accessibility settings apply. The project site is GitHub, and the documentation is Markdown with text alternatives on its images (the README banner carries an alt attribute).



    プロジェクトによって作成されたソフトウェアは、ターゲット オーディエンスの文化、地域、または言語へのローカリゼーションを容易にするために国際化されるべきです。国際化(i18n)が適用されない場合(たとえば、ソフトウェアがエンドユーザー向けのテキストを生成せず、人間が読めるテキストを扱わない場合)、「該当なし」(N/A)を選択します。 [internationalization]
    ローカリゼーションとは、「特定のターゲット市場(ロケール)の言語、文化、およびその他の要件を満たす、製品、アプリケーションまたはドキュメントのコンテンツの適合を指します」。国際化とは、「文化、地域、言語によって異なるターゲットオーディエンスに対してローカライズを容易にする製品、アプリケーション、またはドキュメントコンテンツの設計と開発」のことです。 ( W3Cの「ローカリゼーションと国際化」を参照してください。)ソフトウェアは国際化されるだけでこの基準を満たします。いったんソフトウェアが国際化されると、他の人がローカライゼーションに取り組むことができるので、別の特定の言語のローカリゼーションは必要ありません。

    The software's user-facing strings — tool descriptions, error messages, diagnostics — are English literals and are not externalized for localization. The code it indexes is unaffected (identifiers and paths are passed through unchanged in whatever language the user writes, and ten source languages are supported), but the software itself has not been internationalized and is reported as such rather than claimed.


  • その他


    プロジェクト サイト(ウェブサイト、リポジトリ、およびダウンロードURL)が外部ユーザーの認証用のパスワードを格納する場合、パスワードは、キーストレッチ(反復)アルゴリズム(PBKDF2、Bcrypt、Scrypt、PBKDF2など)を使用してユーザーごとのソルトで反復ハッシュとして保存する必要があります。プロジェクトサイトがこの目的のためにパスワードを保存しない場合は、「該当なし」(N/A)を選択します。 [sites_password_security]
    GitHub の使用はこの基準を満たしていることに注意してください。この基準は、プロジェクト サイトへの外部ユーザーの認証に使用されるパスワードにのみ適用されます(別名インバウンド認証)。プロジェクト サイトが他のサイトにログインしなければならない場合(別名:アウトバウンド認証)、その目的のために別の方法で認証トークンを保存する必要があるかもしれません(ハッシュを保存しても意味がないため)。これは、crypto_password_storage の基準を sites_httpsと同様にプロジェクトサイトに適用します。

    The project operates no site of its own that authenticates external users. The repository, the issue tracker and the release downloads are hosted on GitHub, and the software stores no passwords for inbound authentication.


 変更管理 1/1

  • 以前のバージョン


    プロジェクトは、最も頻繁に使用される古いバージョンの製品を維持するか、または新しいバージョンへのアップ グレードを提供しなければなりません。アップ グレード方法が困難な場合は、プロジェクトは、アップグレード方法(変更されたインターフェイスや、アップグレードに役立つ詳細な手順など)を記載しなければなりません。 [maintenance_or_update]

    The support policy is stated at https://github.com/cdeust/automatised-pipeline/blob/main/SECURITY.md — the latest minor release on main receives security patches. The upgrade path is a reinstall (cargo install ai-architect-mcp, a new release tarball, or the plugin pin moving), and there is no user-authored persisted state to migrate: graph artifacts are derived data, regenerated by re-indexing. Breaking changes are recorded per release in https://github.com/cdeust/automatised-pipeline/blob/main/CHANGELOG.md


 報告 3/3

  • バグ報告プロセス


    プロジェクトは、個々の課題を追跡するための課題トラッカーを使用する必要があります。 [report_tracker]

    GitHub Issues, with structured templates for bug reports, enhancement requests and audit findings: https://github.com/cdeust/automatised-pipeline/issues


  • 脆弱性報告プロセス


    プロジェクトは、匿名の報告者を除いて、過去12ヶ月間に解決されたすべての脆弱性の報告者に信用していることを伝えなければなりません。過去12ヶ月間に解決された脆弱性がない場合は、「該当なし」(N / A)を選択します。 (URLが必要です) [vulnerability_report_credit]

    No vulnerability has been reported and resolved in the last 12 months, so there is no reporter to credit. The standing commitment to credit reporters in the release notes for the patched version, unless they request anonymity, is at https://github.com/cdeust/automatised-pipeline/blob/main/SECURITY.md#recognition



    プロジェクトには、脆弱性レポートに対応するための文書化されたプロセスがなければなりません。 (URLが必要です) [vulnerability_response_process]
    これはvulnerability_report_processに強く関連しており、脆弱性を報告するための文書化された方法が必要です。これは、特定の時間枠内の脆弱性レポートへの応答を必要とする、vulnerability_report_responseにも関連しています。

    https://github.com/cdeust/automatised-pipeline/blob/main/SECURITY.md#response-sla documents the response process: a per-severity first-response and patch SLA, and a five-step coordinated-disclosure timeline from private report to public advisory, including the default 30-day disclosure window and reporter credit.


 品質 19/19

  • コーディング標準


    プロジェクトは、使用する主要な言語のための特定のコーディング スタイル ガイドを指定しなければなりませんし、貢献が一般にそれに準拠することを要求しなければなりません。 (URLが必要です) [coding_standards]
    ほとんどの場合、これはいくつかの既存のスタイル ガイドを参照し、おそらく差異をリストすることによって行われます。これらのスタイル ガイドには、可読性を向上させる方法や、欠陥(脆弱性を含む)の可能性を減らす方法が含まれています。多くのプログラミング言語には、広く使用されているスタイル ガイドが1つ以上あります。スタイルガイドの例には、 Googleスタイル ガイド SEI CERTコーディング標準を参照してください。

    The primary language is Rust; the standard is rustfmt plus the project-specific rules named at https://github.com/cdeust/automatised-pipeline/blob/main/CONTRIBUTING.md#coding-standards-excerpt, which cites the full zetetic coding standards it derives from (no warnings, no unjustified unwrap/expect, no unsafe without a safety comment, sourced constants, file and function size caps, Result over panics at API boundaries).



    選択した言語において行うことができるFLOSSツールが少なくとも1つあれば、プロジェクトは自動的に選択したコーディングスタイルを適用しなければなりません。 [coding_standards_enforced]
    これは、静的解析ツールを使用して、および/またはコード再フォーマットを介してコードを強制することによって実装することができます。多くの場合、ツールの設定は、プロジェクトのリポジトリに含まれます(プロジェクトによって異なる設定が選択される可能性があるため)。プロジェクトはスタイルの例外を許可するかもしれません(通常はそうなります)。例外が発生した場合は、それらの場所のコードでまれで、文書化されていなければなりませんので、それらの例外が再検討され、ツールが将来自動的にそれらを処理できるようにできます。このようなツールの例には、ESLint(JavaScript)、Rubocop(Ruby)、および devtools check (R)があります。

    Automatically enforced by two FLOSS tools as required status checks on every push and pull request: cargo fmt --all --check for formatting and cargo clippy --workspace --all-targets -- -D warnings for the lint rules (https://github.com/cdeust/automatised-pipeline/blob/main/.github/workflows/ci.yml). Exceptions must be a single #[allow(...)] with an inline justification, per CONTRIBUTING.md.


  • 作業ビルドシステム


    ネイティブ バイナリのビルドシステムは、それらに渡される関連するコンパイラおよびリンカ(環境)変数(CC、CFLAGS、CXX、CXXFLAGS、LDFLAGSなど)を受け入れ、コンパイラおよびリンカ呼び出しに渡す必要があります。ビルド システムは追加のフラグでそれらを拡張するかもしれません。提供された値を単にそれ自身のものに置き換えてはいけません。ネイティブバイナリが生成されていない場合は、「該当なし」(N/A)を選択します。 [build_standard_variables]
    Address Sanitizer(ASAN)などの特別なビルド機能を有効にしたり、ディストリビューション強化のベストプラクティスに準拠したりするのは簡単です(コンパイラフラグを簡単にオンにするなどして)。

    Native binaries are produced, and the standard variables are honoured rather than replaced. Cargo passes RUSTFLAGS through to rustc, and the C/C++ dependencies (the tree-sitter runtime, zstd, the LadybugDB core) build through the cc crate, which reads CC, CFLAGS, CXX and CXXFLAGS. Nothing in https://github.com/cdeust/automatised-pipeline/blob/main/.cargo/config.toml or the workflows overrides them — the release job only adds ZSTD_SYS_USE_PKG_CONFIG, which extends the build environment rather than replacing a user-provided value.



    ビルドとインストール システムは、関連するフラグ(例えば、 "install -s"が使用されていない)で要求されたデバッグ情報を保存しておくべきです。ビルドやインストール システムがない場合(例:一般的なJavaScriptライブラリ)は、「該当なし」(N/A)を選択します。 [build_preserve_debug]
    すなわち、CFLAGS(C)またはCXXFLAGS(C ++)を設定すると、それらの言語が使用されている場合に、関連デバッグ情報が作成されるべきですし、インストール時には削除するべきではありません。デバッグ情報は、サポートと分析のために必要であり、コンパイルされたバイナリのハードニング機能の存在を測定するのにも役立ちます。

    Debugging information is controlled by the Cargo profile and honoured by cargo build and cargo install, which is how a developer or packager builds this project; nothing in the build system discards it. Disclosure: the release workflow runs a best-effort strip on the packaged tarball binary for download size (https://github.com/cdeust/automatised-pipeline/blob/main/.github/workflows/release.yml), so the prebuilt artifact is stripped. A user who needs symbols builds from source with the toolchain pinned in rust-toolchain.toml and gets an identical binary — see build_repeatable.



    プロジェクトによって作成されたソフトウェアのビルド システムは、サブディレクトリに相互依存関係がある場合、再帰的にサブディレクトリをビルドしてはなりません。ビルドやインストール システムがない場合(例:一般的なJavaScriptライブラリ)は、「該当なし」(N/A)を選択します。 [build_non_recursive]
    プロジェクトのビルド システムの内部依存情報は、正確でなければなりません。そうでないと、プロジェクトへの変更が正しくビルドされないことがあります。ビルドが正しくないと、欠陥(脆弱性を含む)が発生する可能性があります。大規模ビルドシステムでよく見られる間違いは、ソースファイルを含むサブディレクトリの階層で、各サブディレクトリが独立してビルドされるとき、「再帰的ビルド」か「再帰的Make」を使用することです。各サブディレクトリが完全に独立していない限り、依存関係の情報が正しくないため、これらを使用することは間違いです。

    One Cargo workspace with a single, accurate dependency graph across all six members (https://github.com/cdeust/automatised-pipeline/blob/main/Cargo.toml). Cargo resolves cross-member dependencies itself; there is no recursive make and no per-subdirectory independent build.



    プロジェクトは、ソースファイルから情報を生成するプロセスを繰り返すことができなければならず、ビット単位でまったく同じ結果を得ることができなければなりません。ビルドが発生しない場合(例えば、ソースコードをコンパイルする代わりに直接使用するスクリプト言語)は、「該当なし」(N/A)を選択します。 [build_repeatable]
    GCCとclangのユーザーには、-frandom-seedオプションが有用であるかもしれません。場合によっては、ソート順を強制することで解決できます。 再現可能なビルドサイトで、より多くの提案を見つけることができます。

    Measured, not assumed. The compiler is pinned in https://github.com/cdeust/automatised-pipeline/blob/main/rust-toolchain.toml (1.95.0) and the dependency graph in Cargo.lock. On 2026-07-27 (macOS aarch64, rustc 1.95.0), cargo build --release --bin automatised-pipeline produced sha256 5b3dcc46f4dc2fcbd0969fa1b27ff75ce576b75ce2e833a9aee8977246df8650; the target directory was then deleted and the build repeated from scratch, producing the identical digest. Stated limit: the target path is embedded, so a build into a different CARGO_TARGET_DIR differs (389394362d5e...); bit-identity across different paths would additionally require --remap-path-prefix, which is not configured today.


  • インストールシステム


    プロジェクトは、プロジェクトで作成されたソフトウェアを一般的に使用されているやり方で簡単にインストールおよびアンインストールする方法を提供する必要があります。 [installation_common]
    たとえば、パッケージマネージャー(システムまたは言語レベル)、「make install / uninstall」(DESTDIRをサポート)、標準形式のコンテナー、または標準形式の仮想マシンイメージを使用することが挙げられます。インストールとアンインストールのプロセス(たとえば、パッケージング)は、FLOSSである限り、サードパーティによって実装されてもよいです。

    Three commonly-used conventions, all documented at https://github.com/cdeust/automatised-pipeline#getting-started: the language package manager (cargo install ai-architect-mcp, uninstall with cargo uninstall), a prebuilt platform tarball from the GitHub release, and the .mcpb bundle / plugin marketplace entry that MCP hosts install and remove through their own UI.



    エンドユーザ用のインストール システムは、インストール時にビルドされる生成物が書き込まれる場所を選択するための標準的な規則を守らなければなりません。たとえば、POSIXシステムにファイルをインストールする場合は、DESTDIR環境変数を守らなければなりません。インストール システムがない場合や標準的な規約がない場合は、「該当なし」(N / A)を選択します。 [installation_standard_variables]

    Installation goes through cargo, which honours the standard conventions for install location: --root and CARGO_INSTALL_ROOT select the destination, CARGO_HOME relocates the default. No bespoke prefix handling is introduced.



    プロジェクトは、潜在的な開発者がすべてのプロジェクト結果を迅速にインストールし、テストやテスト環境を含む変更を行うために必要な環境を迅速にインストールする方法を提供しなければなりません。これは、一般に使用されている手法で実行する必要があります。 [installation_development_quick]
    これは生成されたコンテナおよび/またはインストール スクリプトを使用して実装できます。外部依存部分は、典型的には、external_dependenciesごとにシステムおよび/または言語パッケージマネージャを呼び出すことによってインストールされます。

    git clone then cargo build and cargo test installs every dependency, the test fixtures and the test environment in one commonly-used command each — cargo resolves the whole graph from the committed Cargo.lock. Documented at https://github.com/cdeust/automatised-pipeline/blob/main/CONTRIBUTING.md#dev-setup


  • 外部で維持管理されるコンポーネント


    プロジェクトは、外部依存関係をコンピュータ処理可能な方法でリストしなければなりません。 (URLが必要です) [external_dependencies]
    通常、これはパッケージ マネージャーやビルドシステムのやり方を使用して行われます。これは installation_development_quick の実装に役立ちます。

    Declared in a computer-processable form and version-locked: https://github.com/cdeust/automatised-pipeline/blob/main/Cargo.toml with the rationale for each direct crate, and Cargo.lock pinning the full transitive graph. A CycloneDX SBOM of that graph is generated at release time by https://github.com/cdeust/automatised-pipeline/blob/main/.github/workflows/release.yml



    プロジェクトは、既知の脆弱性を検出し、悪用可能な脆弱性を修正したり、悪用できない脆弱性として確認するために、外部の依存先(コンビニエンス コピーを含む)を監視または定期的にチェックしなければなりません。 [dependency_monitoring]
    これは、 OWASPのDependency-Check SinatypeのNexus Auditor SynopsysのBlack Duck Software Composition Analysis Bundler-audit (Rubyの場合)などのオリジンアナライザー/依存性検査ツールを使用して行うことができます。パッケージ マネージャーには、これを行うためのメカニズムが含まれています。コンポーネントの脆弱性を悪用することはできない場合、分析が難しいが、単に更新または修正する方が簡単なであれば、それは許容できます。

    Two independent mechanisms. cargo audit and cargo deny run daily against the RUSTSEC database and block on any advisory that is not explicitly accepted with a written reason (https://github.com/cdeust/automatised-pipeline/blob/main/.github/workflows/supply-chain-audit.yml, https://github.com/cdeust/automatised-pipeline/blob/main/deny.toml). Dependabot opens weekly grouped update PRs for both cargo and github-actions (https://github.com/cdeust/automatised-pipeline/blob/main/.github/dependabot.yml). The one advisory currently in the tree is analysed as unexploitable here and blocked upstream, with the evidence written into deny.toml. GitHub's own Dependabot alerts and security updates were enabled on 2026-07-28, so a newly published advisory raises an alert and an upgrade PR without waiting for the next scheduled audit run. Verify: gh api repos/cdeust/automatised-pipeline --jq '.security_and_analysis.dependabot_security_updates.status' returns enabled, and gh api repos/cdeust/automatised-pipeline/vulnerability-alerts returns HTTP 204.



    プロジェクトは
    1. 再使用された外部管理コンポーネントの識別と更新を容易にできるようにしている、 または
    2. システムまたはプログラミング言語によって提供される標準コンポーネントを使用している
    のどちらかでなければなりません。そうすれば、再利用されたコンポーネントに脆弱性が見つかった場合に、そのコンポーネントを簡単に更新することができます。 [updateable_reused_components]
    この基準を満たす典型的な方法は、システムおよびプログラミング言語のパッケージ管理システムを使用することです。多くのFLOSSプログラムは、標準ライブラリーのローカルコピーである "コンビニエンス ライブラリー"と一緒に頒布されます(フォークされている可能性があります)。それ自体は、それでいいです。しかし、プログラムがこれらのローカルな(フォークされた)コピーを使用しなければならない場合、 セキュリティ アップデートとして"標準"ライブラリをアップデートすると、これらの追加のコピーは依然として脆弱のままです。これは、特にクラウド ベース システムの問題です。クラウド プロバイダが "標準"ライブラリを更新してもプログラムがそれらを使用しない場合、更新プログラムは実際には役に立ちません。たとえば、「Chromium:適切なパッケージとしてFedoraにまだない理由は何ですか?」Tom Callaway著を参照してください。

    No vendored, forked or convenience-copied component. Every external component is a normal versioned crate resolved by cargo from crates.io (https://github.com/cdeust/automatised-pipeline/blob/main/deny.toml denies unknown registries and unknown git sources), so updating one is a version bump in Cargo.toml or an automated Dependabot PR.



    プロジェクトは、使用するテクノロジ セット(その "テクノロジ スタック")において、プロジェクトがサポートするユーザの超大多数がFLOSSの代替案を利用可能な(ユーザが代替手段にアクセスしている)場合には、評価の低いまたは時代遅れの機能とAPIの使用を避けるべきです。 [interfaces_current]

    The stack is current: the pinned toolchain is Rust 1.95.0, and the load-bearing dependencies are on their current majors (tantivy 0.26.1, lbug 0.18.3, tree-sitter 0.25 with ABI-15 grammars). No deprecated or obsolete API is relied on. The single frozen transitive pin (cxx 1.0.138, held by lbug's exact requirement) is documented with the upstream evidence in https://github.com/cdeust/automatised-pipeline/blob/main/deny.toml rather than left as unexplained drift.


  • 自動テスト スイート


    少なくとも1つのブランチの共有リポジトリへの各チェックインに対して、自動テスト スイートが適用される必要があります。このテスト スイートは、テストの成功または失敗に関するレポートを生成しなければなりません。 [automated_integration_testing]
    この要件は、test_continuous_integrationのサブセットと見ることができますが、継続的な統合を範囲外として、テストだけに焦点を当てています。

    Every push to main and every pull request runs the full suite plus the structural graph-accuracy gate, and both are required status checks that report pass or fail on the PR: https://github.com/cdeust/automatised-pipeline/blob/main/.github/workflows/ci.yml. The per-stage tests/*_integration.rs suites drive the pipeline end to end against fixture data, and several spawn a real process and exercise the stdio wire protocol.



    プロジェクトは、過去6ヶ月以内に修正されたバグの少なくとも50%について、自動テスト スイートに回帰テストを追加しなければなりません。 [regression_tests_added50]

    Well above 50%: 34 test files in https://github.com/cdeust/automatised-pipeline/tree/main/tests carry the issue number of the defect they regress-test in their header, covering the bugs fixed over the last six months (for example #16 Cypher injection, #57 coverage honesty, #92 type-usage edges, #148 fuzz OOM, #143 disk-full diagnostics). The rule that a bug fix ships with a test that fails on the pre-fix code is written at https://github.com/cdeust/automatised-pipeline/blob/main/CONTRIBUTING.md#testing-policy-mandatory



    プロジェクトは、選択された言語でこの基準を測定できる少なくとも1つのFLOSSツールがある場合、少なくとも80%のステートメントカバレッジを提供するFLOSS自動テストスイートを備えていなければなりません。 [test_statement_coverage80]
    gcov/lcov、Blanket.js、Istanbul、JCov、covr (R) など、多くのFLOSSツールが、テストカバレッジを測定できます。この基準を満たすことは、テスト スイートが徹底していることを保証するものではないですが、それよりも、この基準を満たさないことは、貧弱なテスト スイートであることを示す強い指標であることに注意してください。

    Enforced, not merely measured: the cargo llvm-cov (80% line floor) job in https://github.com/cdeust/automatised-pipeline/blob/main/.github/workflows/ci.yml runs cargo llvm-cov --workspace on every pull request and every push to main and fails the build below --fail-under-lines 80. It is a required status check on main, so a change that drops coverage under the threshold cannot merge. Latest measurement from that job: 87.73% line coverage on the Linux CI runner, the figure the badge answers to (the same workspace measures 86.83% on macOS aarch64 — see the note on platform variance in the #160 entry) — up from 81.56% after issue #169 covered the five MCP handler modules that had 0% (verification_ops, verification_core, prd_handlers, symbol_handlers) or 43.83% (search_context_handlers). The README badge is machine-checked against the same job by https://github.com/cdeust/automatised-pipeline/blob/main/scripts/check_doc_claims.py, which fails the build if the advertised figure overstates the measured one — so this answer cannot silently become false the way it could when the number came from a hand-run command.


  • 新機能テスト


    プロジェクトには、主要な新機能が追加されると、新しい機能のテストが自動化されたテスト スイートに追加されなければならないという正式な文書化されたポリシーがなければなりません。 [test_policy_mandated]

    The formal written policy is at https://github.com/cdeust/automatised-pipeline/blob/main/CONTRIBUTING.md#testing-policy-mandatory: new functionality MUST ship with tests in the same pull request, every bug fix MUST ship a regression test that fails on the pre-fix code, a defence that only a reviewer enforces MUST be replaced by a mechanical guard, and coverage MUST NOT regress below 80%. The consequence is stated — a PR that adds behaviour and no test is not ready for review.



    プロジェクトは、変更提案のための文書化された手順に、重要な新機能用にテストを追加するという方針を含まなければなりません。 [tests_documented_added]
    しかし、実際にテストが追加されている限り、非公式の規則でも許容されます。
  • 警告フラグ


    プロジェクトによって作成されたソフトウェアにある警告に、実際的な場合には、最大限に厳格にならなければなりません。 [warnings_strict]
    一部の警告は、あるプロジェクトでは効果的に有効にすることはできません。必要なのは、プロジェクトが可能な限り警告フラグを有効にするように努力しており、エラーが早期に検出されるという証拠です。

    Maximally strict and enforced, not merely enabled: cargo clippy --workspace --all-targets -- -D warnings plus cargo fmt --all --check run as a required status check on every push and pull request (https://github.com/cdeust/automatised-pipeline/blob/main/.github/workflows/ci.yml, the clippy job). Allow-attributes require an inline justification per https://github.com/cdeust/automatised-pipeline/blob/main/CONTRIBUTING.md#coding-standards-excerpt


 セキュリティ 13/13

  • セキュリティに関する開発知識


    適用できる場合、プロジェクトはセキュア設計原則(「know_secure_design」から)を実装しなければなりません。プロジェクトでソフトウェアが作成されていない場合は、「該当なし」(N / A)を選択します。 [implement_secure_design]
    たとえば、プロジェクトの結果は、フェール セーフのデフォルト値を持つべきです(デフォルトではアクセスの決定は拒否されるべきで、プロジェクトのインストールはデフォルトでセキュリティ保護されているべきです)。また、完全なメディエーションであるべきです(制限されているすべてのアクセスは、権限がチェックされバイパス不可能でなければなりません)。原則が矛盾する場合があります。その場合、選択が必要です(たとえば、多くの仕組みは、「機構の節約」に反して複雑にすることも、単純にすることもできます)。

    https://github.com/cdeust/automatised-pipeline/blob/main/docs/ASSURANCE-CASE.md Claim 4 maps each principle to code: fail-safe defaults and allowlisting (validate_safe_id accepts only [A-Za-z0-9._-] and rejects empty, over-long, leading-dot and .. ids; require_absolute rejects relative paths and any parent-dir component), complete mediation (validation sits at the single boundary every tool call crosses, so a new tool cannot forget it), economy of mechanism (one escaping function, one size-config resolver, one response budget, each with its own tests), and least privilege (every workflow declares contents: read and elevates only where it must, which is why Scorecard's Token-Permissions check scores 10).


  • 優良な暗号手法を使用する

    一部のソフトウェアは暗号化メカニズムを使用する必要がないことに注意してください。あなたのプロジェクトが作成するソフトウェアが、(1) 暗号化機能を含む、アクティブ化する、または有効化し、(2) 米国(US)から米国外または米国市民以外にリリースされる可能性がある場合は、法的に義務付けられた追加手順の実行を要求される可能性があります。通常、これにはメールの送信が含まれます。詳細については、 Understanding Open Source Technology & US Export Controls「オープンソース技術と米国の輸出管理について」)の暗号化のセクションを参照してください。

    プロジェクトによって作成されたソフトウェア内のデフォルトのセキュリティ メカニズムは、既知の重大な脆弱性を持つ暗号アルゴリズムやモード(たとえば、SHA-1暗号ハッシュ アルゴリズムまたはSSHのCBC モード)に依存してはいけません。 [crypto_weaknesses]
    SSHのCBCモードに関する懸念事項は、 CERT: SSH CBC 脆弱性にて議論されています。.

    No security mechanism depends on cryptography, so there is no default algorithm choice whose weakening would matter. See the crypto_working justification for the two non-security hash uses.



    プロジェクトは複数の暗号アルゴリズムをサポートするべきですので、ユーザーは破られた場合に素早く切り替えることができます。一般的な対称鍵アルゴリズムには、AES、Twofish、およびSerpentがあります。一般的な暗号化ハッシュ アルゴリズムには、SHA-2(SHA-224、SHA-256、SHA-384およびSHA-512を含む)およびSHA-3があります。 [crypto_algorithm_agility]

    No security mechanism depends on a cryptographic algorithm, so there is no algorithm choice for a user to switch. The two hashes in the tree are used for a local integrity digest and for content addressing.



    プロジェクトは、他の情報(構成ファイル、データベース、ログなど)とは別にしたファイルに、認証資格情報(パスワードやダイナミックトークンなど)やプライベート暗号鍵を格納することをサポートしなければなりませんし、ユーザーがコードの再コンパイルなしにそれらを更新や置き換えできるように許可しなければなりません。プロジェクトが認証資格情報とプライベート暗号化鍵を決して処理しない場合は、「該当なし」(N/A)を選択します。 [crypto_credential_agility]

    The software processes no authentication credentials and no private cryptographic keys. It authenticates nothing and connects to nothing.



    プロジェクトで作成されたソフトウェアは、ネットワーク通信すべてに対して、SSHv2以降、TLS1.2以降 (HTTPS)、IPsec、SFTP、SNMPv3などのセキュア プロトコルをサポートするべきです。FTP、HTTP、telnet、SSLv3以前、およびSSHv1などのセキュアでないプロトコルは、デフォルトで無効にし、ユーザーが特別に設定した場合のみ有効にするべきです。プロジェクトによって作成されたソフトウェアがネットワーク通信をサポートしない場合は、「該当なし」(N/A)を選択します。 [crypto_used_network]

    The software performs no network communication. It speaks MCP over stdio and opens no socket; indexing is entirely local. Verified rather than assumed: cargo tree -e normal resolves 172 crates and none of them is reqwest, hyper, ureq, curl, tokio, async-std, rustls or openssl (checked 2026-07-27), and the exclusion of an HTTP client is a stated design decision in https://github.com/cdeust/automatised-pipeline#dependencies



    プロジェクトによって作成されたソフトウェアは、TLSをサポートあるいは使用する場合、少なくともTLSバージョン1.2をサポートするべきです。TLSの前身は、SSLと呼ばれていたことに注意して下さい。ソフトウェアがTLSを使用ない場合、「該当なし」(N/A)を選択します。 [crypto_tls12]

    The software does not use TLS; it performs no network communication at all. See crypto_used_network.



    TLSをサポートしている場合、プロジェクトで作成されたソフトウェアは、TLSを使う時には、サブリソースを含めて、デフォルトでTLS認証を受けなければなりません。ソフトウェアがTLSを使用しない場合、「該当なし」(N/A)を選択します。 [crypto_certificate_verification]
    誤ったTLS認証の検証は、よくある間違いであることに注意して下さい。詳細については、「世界でもっとも危険なコード:非ブラウザー ソフトウェアでのSSL認証の検証」Martin Georgiev et al著「このアプリケーションを信頼しますか?」Michael Catanzaro著.を参照して下さい。

    The software does not use TLS, so there is no certificate verification to perform. See crypto_used_network.



    TLSをサポートしている場合、プロジェクトによって作成されたソフトウェアは、(たとえばセキュアクッキーなど)プライベートな情報をHTTPヘッダと共に送信する前に、証明書の検証をしなければなりません。ソフトウェアがTLSを使用しない場合は、「該当なし」(N/A)を選択します。 [crypto_verification_private]

    The software does not use TLS and sends no HTTP headers, private or otherwise. See crypto_used_network.


  • 公開物の安全性


    プロジェクトは、広く普及することを意図しているプロジェクト結果のリリースには暗号で署名しなければなりませんし、パブリック署名鍵を入手して署名を検証する方法をユーザに説明するプロセスがなければなりません。これらの署名の秘密鍵は、ソフトウェアを一般に直接配布するために使用されるサイトにあってはなりません。リリースが広く普及することを意図していない場合は、「該当なし」(N/A)を選択します。 [signed_releases]
    プロジェクトの結果には、ソースコードと生成された成果物(実行可能ファイル、パッケージ、コンテナなど)が含まれます。生成された成果物は、ソースコードとは別に署名することができます。これらは、(暗号デジタル署名を使用して)署名付きgitタグとして実装できます。プロジェクトはgitのようなツールとは別に生成された結果を提供するかもしれませんが、そのような場合、別々の結果を別々に署名しなければなりません。

    Met as of v0.8.3, measured 2026-07-29. Every release asset carries a provenance attestation AND publishes the Sigstore bundle beside it: gh attestation verify <asset> --repo cdeust/automatised-pipeline succeeds for all three platform tarballs, the .mcpb and the CycloneDX SBOM, and the release page carries a sibling <asset>.sigstore.json for each. Publishing the bundle is what makes the signature visible at all to an offline consumer and to Scorecard, whose Signed-Releases check scores on the presence of such an asset rather than on the attestation API (ossf/scorecard docs/checks.md). Release run 30402899199. The windows-x86_64 asset is absent from v0.8.3 — its build failed on an MSVC link error, tracked as issue #176 — so this criterion is answered for the assets that shipped, not for a platform that did not.



    バージョン管理システムでは、 signed_releases で説明されているように、重要なバージョンタグ(メジャーリリース、マイナーリリース、または公開されている脆弱性の一部であるタグ)を暗号署名して検証することが推奨されています。 [version_tags_signed]

    Release tags are annotated but not cryptographically signed (git tag -v v0.8.4 reports no signature). Release ARTIFACTS are covered instead, which is where the tampering risk actually lands: each carries a SHA-256 companion, a Sigstore build-provenance attestation verified by gh attestation verify, and the attestation bundle published beside it as <asset>.sigstore.json. This matches the posture of the sibling project cdeust/prd-spec-generator, whose v0.6.1 tag is likewise annotated-and-unsigned with artifact-level coverage answering the criterion. See https://github.com/cdeust/automatised-pipeline/blob/main/SECURITY.md


  • その他のセキュリティ上の課題


    プロジェクトの結果は、潜在的に信頼できないソースからのすべての入力をチェックして有効であること(*allowlist*)を確認し、データに何らかの制限がある場合は無効な入力を拒否しなければなりません。 [input_validation]
    攻撃者はしばしばブラックリストを回避することができるので、入力を "不正な形式" のリスト(別名*denylist*)と比較するのは、通常十分ではないことに注意してください。特に、数値は内部形式に変換され、最小値と最大値の間であるかがチェックされますし、文字列は、有効なテキストパターン(有効なUTF-8、長さ、構文など)であることを確認するためにチェックされます。一部のデータは「何でもよい」(たとえばファイル アップローダー)ことがありますが、通常はまれです。

    All input from potentially untrusted sources is checked against an allowlist at the boundary it crosses. Tool arguments: validate_safe_id accepts only [A-Za-z0-9._-]+ with a length cap and rejects empty, leading-dot and .. ids; require_absolute rejects relative paths and any parent-dir component; each tool rejects a missing required field with a named error rather than a default. Repository content: symbol names and paths derived from indexed files pass through the single graph_store::cypher_str escaping choke point, whose reintroduction guard is https://github.com/cdeust/automatised-pipeline/blob/main/tests/no_naive_cypher_escape.rs, and parser input is size- and time-bounded. Responses are budgeted to a derived 100,000-character cap (https://github.com/cdeust/automatised-pipeline/blob/main/src/response_budget.rs). The full argument is Claims 1, 3 and 4 of https://github.com/cdeust/automatised-pipeline/blob/main/docs/ASSURANCE-CASE.md



    プロジェクトによって作成されたソフトウェアで強化メカニズムを使用するべきですので、ソフトウェア欠陥がセキュリティ上の脆弱性を引き起こす可能性が低くなります。 [hardening]
    強化メカニズムは、Content Security Policy(CSP)などのHTTPヘッダー、攻撃を緩和するコンパイラ フラグ(-fstack-protectorなど)、または未定義の動作を排除するためのコンパイラ フラグを含みます。私たちの目的のために、最低限の特権は強化メカニズムとはみなされません(最低の特権は重要ですが、別の話です)。

    This criterion counts mechanisms such as HTTP response headers or compiler hardening flags, and explicitly excludes least privilege. No such flag is configured: the release profile uses Cargo's defaults, and the software serves no HTTP surface for a Content Security Policy to apply to. The protections it does have are of other kinds — memory safety by construction with exactly one audited unsafe block in src/, overflow-checks and debug-assertions enabled in the fuzz profile, bounded responses, bounded parse input and a bounded database reservation — and they are described where they belong, in https://github.com/cdeust/automatised-pipeline/blob/main/docs/ASSURANCE-CASE.md, rather than counted here as hardening they are not.



    プロジェクトは、そのセキュリティ要件が満たされていることを証明する保証ケースを提供しなければならない。保証ケースには、脅威モデルの説明、信頼境界の明確な識別、セキュアな設計原則が適用されていることの議論、共通の実装セキュリティの弱点が対処されたことの議論が含まれなければならない。 (URLが必要です) [assurance_case]
    保証ケースは、「システムのプロパティに関する特定の一連の重大なクレームが、特定の環境とアプリケーションに対して適切に正当化されていることを説得力のある正当な議論で示す証拠」である(「構造化された保証ケースモデルを使用したソフトウェア保証」、Thomas Rhodes他、NIST Interagency Report 7608 )。信頼境界は、データまたは実行がその信頼レベル、例えば、典型的なウェブアプリケーションにおけるサーバの境界、を変更する境界である。安全な設計原則(SaltzerやSchroeerなど)と一般的な実装セキュリティの弱点(OWASPトップ10やCWE / SANSトップ25など)をリストし、それぞれがどのように対抗しているかを示すのは一般的です。 BadgeAppの保証ケースは良い参考例になるかもしれません。これは、documentation_security、documentation_architecture、およびimplement_secure_designに関連しています。

    https://github.com/cdeust/automatised-pipeline/blob/main/docs/ASSURANCE-CASE.md — the threat model (what the tool reads, why its input is untrusted, what privileges it runs with), a table of the six trust boundaries and where each is mediated, five claims with the evidence and the stated limit of each, an explicit argument that secure design principles are applied, and a table mapping each common implementation weakness class to what counters it and what residual risk remains. It closes with what the case does not claim.


 分析 2/2

  • 静的コード解析


    プロジェクトは、選択された言語でこの基準を実装できる少なくとも1つのFLOSSツールがある場合、解析された言語または環境で共通の脆弱性を探すためのルールまたはアプローチを備えた少なくとも1つの静的解析ツールを使用しなければならなりません。 [static_analysis_common_vulnerabilities]
    一般的な脆弱性を探すために特別に設計された静的解析ツールは、それらを見つける可能性が高いです。つまり、静的ツールを使用すると、通常は問題を見つけるのに役立ちますので、利用を提案しますが、「合格」レベルのバッジには要求しません。

    CodeQL runs with queries: security-and-quality, which includes the common-vulnerability query packs, over the rust and actions languages: https://github.com/cdeust/automatised-pipeline/blob/main/.github/workflows/codeql.yml


  • 動的コード分析


    もしプロジェクトで作成されたソフトウェアにメモリ安全でない言語(CやC ++など)を使用して作成されたソフトウェアが含まれているならば、そのときには 少なくとも1つの動的ツール(たとえば、ファジーまたはウェブ アプリケーション スキャナ)を、バッファの上書きなどのメモリの安全性の問題を検出するメカニズムと一緒にいつも使用します。プロジェクトがメモリ安全でない言語で書かれたソフトウェアを作成しない場合は、「該当なし」(N/A)を選択します。 [dynamic_analysis_unsafe]
    メモリの安全性の問題を検出するメカニズムの例としては、アドレスサニタイザー(ASAN)(GCCおよびLLVMで利用可能)、 Memory Sanitizer 、および valgrind が含まれます。他に使用される可能性のあるツールには、スレッドサニタイザ定義されていない動作サニタイザを参照してください。広範なアサーションも機能します。

    The fuzz targets run under AddressSanitizer: cargo-fuzz's --sanitizer option defaults to address (rust-fuzz/cargo-fuzz, src/options.rs) and the workflow does not override it. The fuzz profile also keeps debug-assertions and overflow-checks on (https://github.com/cdeust/automatised-pipeline/blob/main/fuzz/Cargo.toml), so a violated invariant becomes a crash the fuzzer can find. This matters here because the parser runtime underneath is C.



ツールやAIシステムを使って、https://www.bestpractices.dev/ja/projects/13845/choose/edit?osps_ac_01_01_status=Met&osps_ac_01_01_justification=GitHub+enforcedのような簡単なURLで変更を提案できます。その方法については、自動化提案システムをご覧ください。 このデータは、Community Data License Agreement – Permissive, Version 2.0 (CDLA-Permissive-2.0)のもとで利用可能です。これは、データ受領者が、データ受領者がこの契約のテキストを共有データとともに利用可能にする限り、変更の有無にかかわらずデータを共有できることを意味します。ClementおよびOpenSSFベストプラクティスバッジのコントリビューターにクレジットを表示してください。

プロジェクト バッジ登録の所有者: Clement.
エントリの作成日時 2026-07-27 22:30:28 UTC、 最終更新日 2026-08-04 21:20:03 UTC 最後に2026-08-02 23:40:22 UTCにバッジ合格を達成しました。