silken_net

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

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

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


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

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

        

 基本的情報 17/17 ●

  • 一般

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

    Silken Net: a trustless, decentralized D-MRV / Nature-as-a-Service (NaaS) platform for planetary-scale forest-health monitoring. Edge IoT sensors in trees bridge to the Polygon blockchain via a Chainlink oracle, minting Silken Carbon (SCC) and Silken Forest (SFC) tokens from verified biomass-growth telemetry; a Lorenz-attractor homeostasis signal guards against fraud.

    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）システム、ソフトウェア、およびパッケージのための構造化された命名体系です。脆弱性を報告する際に、多くのシステムやデータベースで使用されています。

    Honest TRL: backend TRL 8, firmware TRL 6, bio-anchor TRL 3; multi-zone licensing — see NOTICE.

  • 前提要件


    バッジには十分です！

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

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


    バッジには十分です！

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

    CONTRIBUTING.md "Requirements for acceptable contributions" lists the checks every contribution must pass, per domain: Ruby/Rails — RuboCop, RSpec, Brakeman, bundler-audit; Python — Ruff; firmware — host test suite (make -C firmware/test); Solidity — forge build/test. It also requires matching the surrounding code style and keeping the docs/ single source of truth updated.
    https://github.com/Alexey-Lukin/silken_net/blob/main/CONTRIBUTING.md#requirements-for-acceptable-contributions


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


    バッジには十分です！

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

    The project uses the Developer Certificate of Origin (DCO) 1.1 as its contributor-authorization mechanism, documented in CONTRIBUTING.md: by signing off a commit (git commit -s, adding a Signed-off-by trailer) a contributor certifies they wrote the patch or otherwise have the right to submit it under the project's licenses. It complements the inbound=outbound "License of contributions" statement in the same file. (The first DCO-signed commit is already in history.)
    https://github.com/Alexey-Lukin/silken_net/blob/main/CONTRIBUTING.md#developer-certificate-of-origin-dco
    https://developercertificate.org/


    バッジには十分です！

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

    The project's governance is documented in GOVERNANCE.md: Silken Net uses a single-maintainer ("benevolent dictator") model — the founder and sole maintainer (Oleksii Lukin, @Alexey-Lukin) makes all final technical, architectural and release decisions. Day-to-day changes land via the CONTRIBUTING.md pull-request flow with maintainer review (CODEOWNERS); architecture is decided documentation-first in the SSOT docs. This project (development) governance is explicitly distinct from the on-chain SFC DAO that governs the deployed protocol's parameters (docs/05_06).
    https://github.com/Alexey-Lukin/silken_net/blob/main/GOVERNANCE.md


    バッジには十分です！

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

    The project has adopted the Contributor Covenant 2.1 as its code of conduct, posted in the standard top-level location CODE_OF_CONDUCT.md (GitHub surfaces it on the repository's Community page and when opening issues/PRs). It defines expected and unacceptable behavior, scope, and a reporting/enforcement process with a contact.
    https://github.com/Alexey-Lukin/silken_net/blob/main/CODE_OF_CONDUCT.md


    バッジには十分です！

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

    The project's key roles and responsibilities are documented in GOVERNANCE.md (the "Roles" section): Maintainer / Lead — Oleksii Lukin (@Alexey-Lukin) — responsible for final decisions, code review, releases and security response; Contributors — anyone — propose changes via pull requests (CONTRIBUTING.md). It is clear who holds the maintainer role. Governance and roles are documented together, as this criterion permits.
    https://github.com/Alexey-Lukin/silken_net/blob/main/GOVERNANCE.md#roles


    バッジには十分です！

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

    The project is fully FLOSS (AGPL-3.0-or-later) with all source, history, issues, pull requests and releases public on GitHub, the docs mirrored to the wiki, and contracts/telemetry on public chains — nothing required to continue the project is held in a private silo. As documented in GOVERNANCE.md ("Continuity"), if the sole maintainer becomes unavailable any contributor can fork the public repository and, within a week, create/close issues, accept proposed changes, and cut releases (release-please + standard GitHub Releases need no private key); the AGPL licence grants the legal rights to do so. Additional maintainers will be added as the project grows.
    https://github.com/Alexey-Lukin/silken_net/blob/main/GOVERNANCE.md#continuity


    かろうじてバッジには十分です。

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

    Unmet — the project currently has a single maintainer, so its bus factor is 1. This is mitigated: the project is fully FLOSS with all code, history, issues and releases public on GitHub (forkable by anyone — see GOVERNANCE.md "Continuity"), so loss of the maintainer does not lose the project, only its stewardship. The maintainer intends to add co-maintainers as the contributor base grows, raising the bus factor to 2+.
    https://github.com/Alexey-Lukin/silken_net/blob/main/GOVERNANCE.md#continuity


  • ドキュメンテーション


    バッジには十分です！

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

    The project has a documented roadmap in docs/00_01 (Vision, Mission & Roadmap), §4 "High-Level Roadmap", with dated phases — Phase 1 "The First Breath" (2026: R&D + validation), Phase 2 "The Cyber-Physical State" (2027-2028: regional expansion), Phase 3 "Planetary Scale" (2029-2030) — well beyond the next year. What is deliberately out of near-term scope is separated into the far-horizon agenda (docs/00_08, 2030-2040+, explicitly not TRL-gated). Near-term intended work is tracked live in docs/00_07.
    https://github.com/Alexey-Lukin/silken_net/blob/main/docs/00_01_Vision_Mission_and_Roadmap.md


    バッジには十分です！

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

    The architecture is documented as the 8-level SilkenNet stack (L1 biophysics / Ti-6Al-4V anchor + EBFC → L3 firmware + edge AI → L5 Rails backend → L7 Polygon/DeFi → L8 Ethereum L1 finalization): the high-level diagram and the multichain / tech-stack tables are in the README, the canonical system map and reading order in docs/00_00, and each layer's detailed design has its own module (e.g. docs/02_01 hardware architecture, docs/05_01 multichain). The major components, their relationships and key properties are all covered.
    https://github.com/Alexey-Lukin/silken_net/blob/main/docs/00_00_SSOT_Index.md
    https://github.com/Alexey-Lukin/silken_net#readme


    バッジには十分です！

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

    The project's security expectations and limitations are documented. SECURITY.md states the in-scope components and a "Known, documented limitations" section that openly states what users should NOT expect today — e.g. the transitional AES-128-ECB LoRa link (no MAC/IV yet, bench-gated for migration to authenticated AES-128-CCM), with the open security backlog tracked in docs/00_07 (SEC.*). The intended security model the software aims to meet — AES-128-CCM (LoRa) / AES-256-CBC+GCM (CoAP + at-rest), SE050 secure element, per-device HKDF keys, IV/nonce generation, and the PQC migration roadmap — is the canonical SSOT in docs/03_05.
    https://github.com/Alexey-Lukin/silken_net/blob/main/SECURITY.md
    https://github.com/Alexey-Lukin/silken_net/blob/main/docs/03_05_Hardware_Symmetric_Crypto_and_Security.md


    バッジには十分です！

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

    The README has a "Quick Start" section: clone the repo, bundle install, bin/rails db:prepare, bin/dev (Rails + Sidekiq + Tailwind + CoAP listener), then bin/rails db:seed + bin/forest_simulator to generate live telemetry without any hardware — so a new user can get the system doing something within minutes. CONTRIBUTING.md also links to it.
    https://github.com/Alexey-Lukin/silken_net#readme


    バッジには十分です！

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

    Documentation currency is a first-class, mechanically-enforced discipline — the project's core "SSOT" methodology (docs/00_06). Beyond "making an effort", the docs.yml CI workflow is the single home for structural doc gates that actively prevent drift: docs:check_refs (dangling cross-refs, deprecated/retired terms, owner-only vocabulary such as the RTC register map and Lorenz constants, ToC sync — 27 drift linters in lib/docs_linter.rb), tracker:check (the action-plan tracker), and a code↔doc registry gate (scripts/model_doc_sync.rb maps app/models and app/services 1:1 to their doc sections). Any documented value that drifts from the code fails CI. The one-home rule (one fact, one canonical doc — 00_06 §2) is the standing principle; known inconsistencies are tracked and fixed in docs/00_07.
    https://github.com/Alexey-Lukin/silken_net/blob/main/docs/00_06_SSOT_Documentation_Standard.md
    https://github.com/Alexey-Lukin/silken_net/blob/main/.github/workflows/docs.yml


    バッジには十分です！

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

    The repository front page (README) identifies and hyperlinks the project's achievements at the very top: the OpenSSF Best Practices badge (passing — project 13358) and the OpenSSF Scorecard badge, each linking to its source page. The badges are also on the wiki landing page (docs/00_00). They were added and updated as the badge progressed (in_progress → passing), within the 48-hour window.
    https://github.com/Alexey-Lukin/silken_net#readme


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


    バッジには十分です！

    プロジェクト（プロジェクト サイトとプロジェクト結果の両方）は、アクセシビリティのベストプラクティスに従い、障害のある人が引き続きプロジェクトに参加し、プロジェクトの結果を合理的な範囲で使用することができるようにするべきです。 [accessibility_best_practices]
    ウェブアプリケーションについては、ウェブ コンテンツ アクセシビリティ ガイドライン（WCAG 2.0）とそのサポート ドキュメント WCAG 2.0の理解; W3Cアクセシビリティ情報を参照してください。 GUIアプリケーションの場合は、環境固有のアクセシビリティ ガイドラインの使用を検討して下さい（Gnome、KDE、XFCE、 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 web frontend (Phlex + Turbo + Tailwind) follows accessibility best practices: visible keyboard focus indicators via Tailwind focus-visible: utilities (used in ~48 components), ARIA semantics (role and aria-live attributes), light/dark theming plus prefers-reduced-motion and prefers-contrast media-query handling in the stylesheet, semantic Phlex components (navigation, pagination, locale switcher, mobile-nav toggle), and a design system that drives all colour through semantic tokens (supporting contrast and theme adaptation). The UI accessibility conventions are documented in docs/04_04 (Phlex UI & Tailwind).
    https://github.com/Alexey-Lukin/silken_net/blob/main/docs/04_04_Phlex_UI_and_Tailwind.md


    バッジには十分です！

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

    The software is internationalized using Rails i18n: user-facing strings go through I18n.t (148 files) rather than being hardcoded, message catalogues live in config/locales (currently English, Ukrainian, Lithuanian and Latvian), and the UI includes a locale switcher component. Adding a new locale is a matter of dropping in another YAML catalogue — no code changes — exactly what this criterion asks for.
    https://github.com/Alexey-Lukin/silken_net/tree/main/config/locales


  • その他


    バッジには十分です！

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

    The project's sites — the repository, the project home page (the GitHub wiki), and the download/release URLs — are all hosted on GitHub. As this criterion explicitly notes, the use of GitHub meets the requirement: external-user authentication and any password storage for these sites is handled by GitHub, not by the project. (Separately, the software produced by the project stores its own end-user passwords with Argon2id + per-user salt — covered under crypto_password_storage.)
    https://github.com/Alexey-Lukin/silken_net


 変更管理 1/1 ●

  • 以前のバージョン


    バッジには十分です！

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

    The project provides a clear upgrade path to newer versions. It uses Semantic Versioning (managed by release-please) and publishes a human-readable CHANGELOG documenting the features and fixes in each release, so users can see exactly what changed when moving between versions. The backend is a continuously-deployed service (users run the latest); the firmware and smart contracts follow the same versioned releases. At this stage (v0.x) upgrades are not breaking-complex, so updating to the newest release is the upgrade path, and any future breaking change will be documented in the CHANGELOG / release notes with the steps needed.
    https://github.com/Alexey-Lukin/silken_net/blob/main/CHANGELOG.md
    https://github.com/Alexey-Lukin/silken_net/releases


 報告 3/3 ●

  • バグ報告プロセス


    バッジには十分です！

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

    The project uses GitHub Issues as its issue tracker for individual issues.
    https://github.com/Alexey-Lukin/silken_net/issues


  • 脆弱性報告プロセス


    バッジには十分です！

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

    N/A — no vulnerability reports have been received or resolved in the last 12 months (zero repository security advisories), so there are no reporters to credit. The credit practice for when a report is resolved is now documented in SECURITY.md ("Credit"): reporters are credited in the advisory and/or release notes unless they request anonymity.
    https://github.com/Alexey-Lukin/silken_net/blob/main/SECURITY.md


    バッジには十分です！

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

    The process for responding to vulnerability reports is documented in SECURITY.md: reports are received privately via GitHub Security Advisories, acknowledged within 72 hours, with a fix or mitigation for high-severity issues targeted within 14 days; the in-scope components, openly-tracked known limitations, and a safe-harbor statement are also included. The open security backlog is tracked in docs/00_07 (SEC.*).
    https://github.com/Alexey-Lukin/silken_net/blob/main/SECURITY.md


 品質 19/19 ●

  • コーディング標準


    バッジには十分です！

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

    The project identifies a specific coding style guide for each primary language, documented in CONTRIBUTING.md ("Coding standards"): Ruby — the Rails Omakase RuboCop style (.rubocop.yml inherits rubocop-rails-omakase); Python — Ruff (ruff.toml, a curated pycodestyle/pyflakes/isort/pyupgrade/bugbear ruleset); firmware C — -Wall -Wextra -Wpedantic + cppcheck (MISRA C:2012 advisory); Solidity — forge fmt; C# — .editorconfig (.NET conventions). Contributions are required to comply (CI must be green).
    https://github.com/Alexey-Lukin/silken_net/blob/main/CONTRIBUTING.md#requirements-for-acceptable-contributions


    バッジには十分です！

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

    The selected styles are enforced automatically in CI by FLOSS tools, and a contribution that violates them fails the build: RuboCop (Ruby) and Ruff (Python) in the ci.yml lint jobs, cppcheck for firmware C (firmware_lint), and forge fmt / Slither for Solidity (solidity_audit.yml). Tool configs live in the repo (.rubocop.yml, ruff.toml, contracts/foundry.toml, tools/cad/.editorconfig). Exceptions are rare and documented in code at their locations — e.g. inline // cppcheck-suppress with a reason, and fingerprinted, annotated entries in config/brakeman.ignore.
    https://github.com/Alexey-Lukin/silken_net/blob/main/.github/workflows/ci.yml


  • 作業ビルドシステム


    バッジには十分です！

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

    The native-binary build (firmware/test/Makefile) honors the compiler/linker variables passed in via the environment or command line: CC ?= gcc (a packager can pass CC=clang) and CFLAGS += <project flags> (env/CLI CFLAGS are honored and the project EXTENDS them with its mandatory -std=c11 -I., never replacing). The recipes are single-invocation gcc compile+link, so linker flags carried in CFLAGS (e.g. -Wl,-z,relro) reach the linker too — making it easy to enable ASAN or distribution-hardening flags. Verified: an env CFLAGS value passes through to the compiler, and CI (firmware_test) is green. (The Rails backend and Solidity contracts produce no native binaries.)
    https://github.com/Alexey-Lukin/silken_net/blob/main/firmware/test/Makefile


    バッジには十分です！

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

    The build preserves debugging information when requested: passing CFLAGS="-g" is honored by the Makefile (CFLAGS += extends the user's flags) so debug info is generated, and the firmware host tests run in place and are never installed with stripping (there is no "install -s" / strip step). The dedicated coverage (--coverage) and ASAN (-g) lanes also build with debug/instrumentation symbols. (The Rails backend and Solidity contracts have no native-binary build/install that strips symbols.)
    https://github.com/Alexey-Lukin/silken_net/blob/main/firmware/test/Makefile


    バッジには十分です！

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

    The build systems do not use recursive make over cross-dependent subdirectories. The only native build (firmware/test/Makefile) is a single, non-recursive Makefile: each target lists its full header/source dependencies and the shared firmware/common headers compile directly into each test via -I (no per-subdirectory independent builds). Its only $(MAKE) calls recurse into the same directory (the asan/coverage re-instrumented rebuilds), never into subdirectories, so the dependency information is complete and accurate. The other toolchains (Bundler, Foundry/forge, npm, conda) are not recursive-make either.
    https://github.com/Alexey-Lukin/silken_net/blob/main/firmware/test/Makefile


    バッジには十分です！

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

    Builds and code-generation are reproducible bit-for-bit, and CI enforces it. Generated firmware artifacts are checked against their source on every run: tools/ml/scripts/check_firmware_tables.py regenerates the log-mel tables and fails if they differ from the committed headers, and tools/firmware/check_bytecode.py verifies the committed lorenz_bytecode.h matches bio_contract.rb; QEMU jobs additionally assert host↔Cortex-M4 bit-parity. Solidity bytecode is deterministic — solc is pinned (solc_version = 0.8.35) with fixed optimizer settings (foundry.toml), so forge build reproduces the same bytecode. (The Rails backend is interpreted Ruby — no compiled artifact.)
    https://github.com/Alexey-Lukin/silken_net/blob/main/.github/workflows/ci.yml


  • インストールシステム


    バッジには十分です！

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

    The software is installed via commonly-used conventions. The backend is packaged as a container in a standard format (Dockerfile, multi-stage build on ruby:4.0.5-slim) and deployed with Kamal (config/deploy.yml: image, registry, servers) — kamal setup / kamal deploy installs it, kamal remove uninstalls it. For development it installs at the language level via Bundler (bundle install) per the README Quick Start, and uninstalling is removing the directory/containers. The smart contracts deploy on-chain via Foundry scripts.
    https://github.com/Alexey-Lukin/silken_net/blob/main/Dockerfile
    https://github.com/Alexey-Lukin/silken_net#readme


    バッジには十分です！

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

    N/A — the project has no installation system that writes built artifacts to a
    user-selectable location, so the DESTDIR/PREFIX convention does not apply. The
    end-user software (the D-MRV Rails platform) is delivered as a self-contained
    container image (Docker, deployed by Kamal — config/deploy.yml) or run in place
    from its working directory after a Bundler install; neither has a DESTDIR/PREFIX
    step. There is no make install / PREFIX / DESTDIR target anywhere in the repo.
    The one first-party Python package (tools/ml, "silken-ml") is internal ML tooling
    run in place (PYTHONPATH=src) or via an editable pip install -e inside a conda
    env — an editable install links the source tree rather than writing built
    artifacts to a chosen location — so it is not an end-user installation system
    either. (CMSIS-DSP and mruby ship their own packaging but are vendored
    third-party submodules, not this project's installation system.)


    バッジには十分です！

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

    bin/setup (the standard idempotent Rails dev-bootstrap script — runs
    bundle install, bin/rails db:prepare, clears logs, starts the dev server).
    The README "Quick Start" documents the system-package prerequisites, the same
    steps, and how to run the test suite (bundle exec rspec). The repo is polyglot,
    so each domain installs its support + test environment via its standard language
    package manager, all listed in CONTRIBUTING.md: Bundler for Ruby/Rails (tests:
    rspec); npm ci + Foundry for the Solidity contracts (tests: forge test); a
    conda environment file for the Python in-silico/ML tooling
    (tools/*/environment.yml); and make -C firmware/test for the host-based
    firmware tests (no ARM toolchain needed). A Dockerfile is also provided as the
    generated-container path.
    https://github.com/Alexey-Lukin/silken_net/blob/main/bin/setup
    https://github.com/Alexey-Lukin/silken_net/blob/main/CONTRIBUTING.md
    https://github.com/Alexey-Lukin/silken_net#readme


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


    バッジには十分です！

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

    バッジには十分です！

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

    External dependencies are monitored continuously and on every CI run across
    the polyglot stack:

    • Dependabot (.github/dependabot.yml) — weekly, 5 ecosystems: bundler (gems),
      docker (base-image tag+digest), github-actions, npm (contracts/), terraform.
    • bundler-audit (the OpenSSF-listed Ruby SCA tool) runs in CI on every push
      (.github/workflows/ci.yml) against the ruby-advisory-db; brakeman runs SAST.
    • Slither runs SCA / static analysis on the Solidity contracts
      (.github/workflows/solidity_audit.yml).
    • OpenSSF Scorecard runs weekly + on push (.github/workflows/scorecard.yml) and
      publishes results; its Vulnerabilities check queries osv.dev and its
      Dependency-Update-Tool check confirms Dependabot is active.
      The conda-managed Python research tooling and the pinned git-submodule vendored
      C libraries are not on Dependabot, but they are development/in-silico only and
      sit outside the deployed runtime trust boundary (the production service is the
      Rails app + its gems + the Docker base image, all of which are monitored).
      https://github.com/Alexey-Lukin/silken_net/blob/main/.github/dependabot.yml
      https://github.com/Alexey-Lukin/silken_net/blob/main/.github/workflows/scorecard.yml

    バッジには十分です！

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

    Met (via both routes — standard package managers and easy-to-update pins; no
    forked convenience copies). Every reused component is identified in a
    computer-processable manifest and updated by a standard mechanism:

    • Gems (Gemfile/lock, bundle update), npm for contracts, conda for the Python
      tooling, .NET PackageReference, and JS via Rails importmap (bin/importmap pin).
    • Vendored C/firmware + CAD libraries are git submodules pinned to the CANONICAL
      UPSTREAM repositories (.gitmodules: ARM-software/CMSIS, mruby/mruby,
      LoupVaillant/Monocypher, STMicroelectronics HAL, leap71) — they are not forks,
      so a security fix is applied by bumping the submodule pin to a new upstream tag.
    • Front-end JS is supplied by the Rails framework gems (turbo/stimulus/activestorage)
      plus one version-explicit CDN pin (leaflet@1.9.4), updateable via bin/importmap.
    • OpenSSL and PostgreSQL are standard system components.
      Dependabot automates update PRs for the package-managed ecosystems weekly, so a
      vulnerable reused component is straightforward to update.
      https://github.com/Alexey-Lukin/silken_net/blob/main/.gitmodules
      https://github.com/Alexey-Lukin/silken_net/blob/main/.github/dependabot.yml

    バッジには十分です！

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

    Met. The project runs a current technology stack (Ruby 4.0.5, Rails 8.1,
    PostgreSQL 17, Solidity 0.8.35 / EVM cancun, .NET 9) — no EOL or obsolete
    frameworks — and actively flags deprecated/obsolete APIs in CI so the FLOSS-current
    alternative is used:


  • 自動テスト スイート


    バッジには十分です！

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

    Met. A GitHub Actions automated test suite runs on every check-in — triggered on
    push to main and on every pull_request (.github/workflows/ci.yml) — and
    produces a pass/fail report via the Actions checks UI and the ci-ok aggregate
    required check. The suite spans the polyglot stack: RSpec for the Rails backend
    (bundle exec rspec), the firmware host-test suite (make -C firmware/test, plus
    an ASan/UBSan lane), Foundry forge test for the Solidity contracts
    (solidity_audit.yml), and language smoke workflows (ml_smoke, in_silico_smoke,
    cad_smoke, coap_smoke).
    https://github.com/Alexey-Lukin/silken_net/blob/main/.github/workflows/ci.yml
    https://github.com/Alexey-Lukin/silken_net/actions


    バッジには十分です！

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

    Met. The standing practice is to land a bug fix together with a regression test in
    the same commit/PR. An audit of the bug-fix commits over the last six months shows
    a clear majority shipped with a test change in the same commit; the share is higher
    for the shipped product code (Rails backend, firmware, smart contracts) — e.g.
    "Fix OTA packager 8-bit overflow + implement missing CRC16" (firmware host tests),
    "fix: rollback receipt envelope, OTA HMAC trailer, Celo double-pay" (RSpec),
    "fix(queen): FW.51 — telemetry not lost on CoAP-flush failure" (firmware host
    tests), "Fix double-anchoring risk in EthereumAnchorWorker" (RSpec). Regression
    tests live in the automated suites: RSpec (spec/), firmware host tests
    (firmware/test/), and Foundry (contracts/test/). A class of in-silico
    research-script tuning fixes (simulation NaN/SCF convergence) are not
    unit-regression-testable and are outside the shipped-product bug count.
    https://github.com/Alexey-Lukin/silken_net/tree/main/spec
    https://github.com/Alexey-Lukin/silken_net/blob/main/CONTRIBUTING.md#requirements-for-acceptable-contributions


    バッジには十分です！

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

    The Ruby/Rails backend — the bulk of the codebase — is measured by SimpleCov
    (FLOSS, with branch coverage enabled), and the full CI suite enforces a hard gate of
    minimum_coverage line: 99, branch: 95 (spec/spec_helper.rb): the build fails below
    99% statement coverage, well above the 80% bar. A per-group tripwire additionally
    floors Services/Workers/Models at ~99% line so no single area can erode while the
    global average holds. The other languages are measured with FLOSS coverage tools too:
    the firmware C host suite via gcov/lcov (make -C firmware/test coverage) and the
    Solidity contracts via forge coverage --report lcov (→ Codecov). The coverage-scope
    policy is documented in docs/04_06 §B.
    https://github.com/Alexey-Lukin/silken_net/blob/main/spec/spec_helper.rb
    https://github.com/Alexey-Lukin/silken_net/blob/main/.github/workflows/ci.yml


  • 新機能テスト


    バッジには十分です！

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

    The project has a formal written testing policy in CONTRIBUTING.md
    ("Requirements for acceptable contributions"): "Tests are mandatory for new
    functionality (project policy). When you add or change functionality you MUST add
    or update automated tests; as major new functionality is added, tests for it MUST
    be added to the relevant automated suite (RSpec / Foundry forge / firmware host
    tests). A pull request that adds major new functionality without accompanying
    tests will not be merged." The policy is backed in practice by the project's
    regression-test record (see regression_tests_added50) and the SimpleCov 99%
    line-coverage gate enforced in CI.
    https://github.com/Alexey-Lukin/silken_net/blob/main/CONTRIBUTING.md#requirements-for-acceptable-contributions


    バッジには十分です！

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

    The add-tests policy is documented in CONTRIBUTING.md under "Requirements for acceptable contributions".
    https://github.com/Alexey-Lukin/silken_net/blob/main/CONTRIBUTING.md#requirements-for-acceptable-contributions


  • 警告フラグ


    バッジには十分です！

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

    Met — strict where practical, enforced in CI across every language:

    • Firmware C: compiled with -Wall -Wextra -Wpedantic (-std=c11); cppcheck is a hard
      CI gate (firmware_lint: --enable=warning,performance,portability,style,
      --error-exitcode=1, MISRA C:2012 addon, --check-level=exhaustive), plus an
      ASan/UBSan runtime lane.
    • Ruby: RuboCop (rails-omakase) gates CI and fails on any offense.
    • Python: Ruff's strict rule-set (E/W/F/I/UP/B/C4/SIM/RUF) gates CI, and the test
      suite escalates DeprecationWarning to an error.
    • Solidity: forge fmt --check and Slither static analysis gate CI.
    • Security SAST: Brakeman gates CI.
    • .NET CAD: default .NET analyzers run on the first-party code; strictness is
      relaxed only in the third-party LEAP71 wrapper, where it is not practical.
      https://github.com/Alexey-Lukin/silken_net/blob/main/firmware/test/Makefile
      https://github.com/Alexey-Lukin/silken_net/blob/main/.github/workflows/ci.yml

 セキュリティ 13/13 ●

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


    バッジには十分です！

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

    Met. Secure design principles are implemented across the stack:

    • Fail-safe / deny-by-default: minting refuses unless every condition holds —
      BlockchainMintingService raises "Security Breach" unless the telemetry is
      verified_by_iotex?, oracle_status_fulfilled?, and KYC-approved; in production
      WEB3_STRICT_MODE=true turns missing security config (e.g. CHAINLINK_HMAC_SECRET)
      into a hard raise instead of a silent fallback.
    • Secure by default (deployment): production enforces config.force_ssl + HSTS
      (preload, 1-year, subdomains), a Content-Security-Policy with a per-request
      nonce, X-Frame-Options: DENY, X-Content-Type-Options: nosniff, a Permissions-
      Policy, and session cookies set httponly + same_site:lax + secure.
    • Complete mediation: per-resource Pundit policies (app/policies/*) plus role gates
      in the API base controller (authorize_admin!/super_admin!/forester!); thin
      controllers and AASM state machines make state changes non-bypassable.
    • Least privilege / separation of privilege: on-chain roles are split and gated by
      onlyRole(...), admin actions are routed through a Timelock, and mint()/slash()
      run on physically separate keys (MINTER_ROLE vs SLASHER_ROLE).
    • Defense in depth: a manual_review double-spend guard freezes funds when a
      transaction state is unknown; anomaly/tamper telemetry is zeroed for minting in
      BOTH firmware and backend; no weak crypto is used (no MD5/SHA-1/DES/RC4) —
      Argon2id passwords, an HKDF/HMAC key ratchet (NIST SP 800-108), AES + Ed25519.
    • Economy of mechanism: an explicit YAGNI "lazy-senior" ladder + Ruthless Pruning
      keep mechanisms minimal (CLAUDE.md §4), with input validation at trust boundaries.

    https://github.com/Alexey-Lukin/silken_net/blob/main/docs/03_05_Hardware_Symmetric_Crypto_and_Security.md
    https://github.com/Alexey-Lukin/silken_net/blob/main/config/environments/production.rb


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

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

    バッジには十分です！

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

    Verified across the whole stack — no algorithms with serious known weaknesses are used. Hashes: SHA-256 / HMAC-SHA256 (keccak256 in contracts); no SHA-1 or MD5 anywhere. Password hashing: Argon2id. Signatures: Ed25519. RNG: SecureRandom (backend) + hardware TRNG (firmware). The CoAP backhaul is AES-256-CBC with a fresh random IV per message (semantic security; not the SSH-CBC weakness); the LoRa target is authenticated AES-128-CCM. The only weak mode is the transitional LoRa AES-128-ECB, whose risk and mitigations are documented in docs/03_05 and which is migrating to AES-128-CCM (FW.2).
    https://github.com/Alexey-Lukin/silken_net/blob/main/docs/03_05_Hardware_Symmetric_Crypto_and_Security.md


    バッジには十分です！

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

    Met (SHOULD). The project uses multiple cryptographic algorithm families and is
    built to switch primitives rather than hard-wiring one:

    • Hashes: both SHA-2 (SHA-256 — backend integrity, HMAC-SHA256, HKDF, audit-log
      hash chain, firmware) and SHA-3 (keccak256 — Solidity roles/parameter keys and
      Eth::Util.keccak256 on the backend) are in active use.
    • Signatures: two schemes — Ed25519 (SE050 device attestation, peaq DID, M2M auth)
      and secp256k1/ECDSA (EVM chains, IoTeX verification).
    • Symmetric: AES in four selectable modes (ECB, CCM, CBC, GCM). The backend names
      the cipher as an OpenSSL string (OpenSSL::Cipher.new("aes-256-cbc")), so switching
      to any OpenSSL-supported cipher is a one-line change, and the live
      ECB->authenticated-CCM migration is runtime-selectable via the
      TELEMETRY_CCM_ENABLED / FW2_CCM_ENABLED flags — a working demonstration of
      switching a primitive when one is found weak. A documented PQC migration roadmap
      (docs/03_05 §10) plans the post-quantum transition.
      The symmetric cipher is AES (not Twofish/Serpent) because the STM32 nodes are bound
      to the hardware AES engine; agility there is at the mode level plus the documented
      migration roadmap.
      https://github.com/Alexey-Lukin/silken_net/blob/main/docs/03_05_Hardware_Symmetric_Crypto_and_Security.md

    バッジには十分です！

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

    Met. Credentials and private keys are stored in dedicated files/stores — separate
    from code, in-repo config, the database, and logs — and are replaceable at runtime
    without recompiling (Ruby is interpreted; secrets are read at boot):

    • App secrets (DB password, API/RPC keys, the Chainlink HMAC secret, etc.) live in
      Rails' encrypted credentials (config/credentials.yml.enc) decrypted by a separate
      config/master.key, and/or in environment variables (config/database.yml and code
      read them via ENV.fetch / Rails.application.credentials). master.key and .env* are
      git-ignored; at deploy RAILS_MASTER_KEY and other secrets are injected via Kamal
      secrets (.kamal/secrets) from the environment / a secrets manager, never committed.
    • User passwords are stored only as Argon2id hashes (HasArgon2Password concern,
      OWASP-recommended), never in plaintext.
    • Private cryptographic keys are rotatable without code changes: a key ratchet
      (Cryptography::KeyRatchet), an OTA HMAC-key service, and an over-the-air
      key-rotation worker replace device keys at runtime; the SE050 secure element holds
      non-extractable keys.
    • Secrets are kept out of logs by an explicit filter_parameters allowlist
      (passwords, tokens, *_key, private_key, mnemonic, wallet_private_key, signature…).
      https://github.com/Alexey-Lukin/silken_net/blob/main/.kamal/secrets
      https://github.com/Alexey-Lukin/silken_net/blob/main/config/initializers/filter_parameter_logging.rb

    バッジには十分です！

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

    Met (SHOULD). All IP/web network communications use TLS by default and no insecure
    protocol is enabled:

    • The web app and API enforce HTTPS in production (config.force_ssl = true) with
      HSTS (1 year, includeSubdomains, preload) and assume_ssl behind the TLS-terminating
      Kamal proxy (Let's Encrypt, TLS 1.2/1.3). HTTP is redirected to HTTPS.
    • All outbound calls use HTTPS — chain RPC (Alchemy/Infura), Chainlink Functions,
      IoTeX and peaq endpoints — with default certificate verification (no VERIFY_NONE).
    • A scan of the code finds no FTP, telnet, SSLv3/earlier, SSHv1, or plain-HTTP
      endpoints.
      For the constrained IoT radio link (Soldier->Queen LoRa, Queen->Rails CoAP) TLS/DTLS
      is not feasible on a tens-of-bytes LoRa frame, so confidentiality and integrity are
      provided at the application layer with AES: AES-128-CCM (authenticated; the
      LoRaWAN/Zigbee/Thread/BLE golden standard for constrained IoT) on the LoRa link and
      AES-256-CBC with a per-message random IV on the CoAP backhaul. This design — and why
      heavier schemes such as Kyber do not fit the radio MTU — is documented in docs/03_05.
      The transitional AES-128-ECB LoRa mode is documented and is migrating to AES-128-CCM.
      https://github.com/Alexey-Lukin/silken_net/blob/main/config/environments/production.rb
      https://github.com/Alexey-Lukin/silken_net/blob/main/docs/03_05_Hardware_Symmetric_Crypto_and_Security.md

    バッジには十分です！

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

    Met (SHOULD). The project uses TLS and supports TLS 1.2+ everywhere; nothing is
    configured to allow TLS 1.1 or earlier:

    • Inbound HTTPS is terminated by the Kamal proxy with automatic Let's Encrypt
      certificates (config/deploy.yml, proxy ssl: true); the proxy (Go crypto/tls)
      negotiates TLS 1.2/1.3 and does not offer TLS 1.0/1.1. The Rails app enforces it
      with config.force_ssl = true and HSTS (1 year, includeSubdomains, preload) in
      production.rb, so HTTP is redirected to HTTPS.
    • Outbound HTTPS (chain RPC, Chainlink, IoTeX, peaq) is made by Ruby 4.0.5 on
      OpenSSL 3.6.2, which negotiates TLS 1.2/1.3 by default and has TLS 1.0/1.1
      disabled; no client sets a lower ssl_version/min_version.
      No SSLv2/SSLv3 or TLS 1.1-or-earlier is configured or supported anywhere in the stack.
      https://github.com/Alexey-Lukin/silken_net/blob/main/config/environments/production.rb
      https://github.com/Alexey-Lukin/silken_net/blob/main/config/deploy.yml

    バッジには十分です！

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

    Met. TLS certificate verification is left at the secure default everywhere and is
    never disabled. A scan of the entire repository (app, lib, config, scripts, firmware,
    tools, contracts) finds no VERIFY_NONE, verify: false, ssl_verify false,
    verify_peer: false, "insecure", curl -k, or --no-check-certificate — nothing
    overrides certificate verification.

    • Outbound HTTPS uses standard clients at their defaults: the eth gem (Eth::Client,
      over Net::HTTP) for chain RPC and HTTPX for other services, both of which verify the
      server certificate by default (OpenSSL VERIFY_PEER) for https URLs. No custom
      SSLContext or verify_mode is set anywhere.
    • Subresources in the web UI (importmap JS, Leaflet) are loaded over HTTPS and a
      Content-Security-Policy restricts their origins, so the browser performs normal
      certificate verification on them as well.
      https://github.com/Alexey-Lukin/silken_net/blob/main/config/initializers/content_security_policy.rb

    バッジには十分です！

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

    Met. Private information is only sent over a connection whose certificate has been
    verified:

    • Server side: session cookies are flagged secure in production
      (config/initializers/session_store.rb: secure: Rails.env.production?, plus httponly
      and same_site: :lax), and config.force_ssl = true with HSTS (1 year,
      includeSubdomains, preload) guarantees the browser transmits the cookie only over
      HTTPS after verifying the server certificate, and never over plain HTTP (HSTS
      preload blocks downgrade).
    • Client side: outbound requests carrying private headers (e.g. Authorization: Bearer
      API keys to dClimate/Filecoin, the Chainlink HMAC signature, M2M tokens) are sent
      over HTTPS via Net::HTTP/HTTPX with default certificate verification (OpenSSL
      VERIFY_PEER), which is never disabled anywhere in the codebase — the TLS handshake,
      including certificate validation, completes before the request headers are sent.
      https://github.com/Alexey-Lukin/silken_net/blob/main/config/initializers/session_store.rb
      https://github.com/Alexey-Lukin/silken_net/blob/main/config/environments/production.rb

  • 公開物の安全性


    バッジには十分です！

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

    Met. The project's public generated deliverable — the production container image
    mirrored to GHCR (ghcr.io/alexey-lukin/silken_net) for widespread use (e.g. Akash
    providers) — is cryptographically signed with a Sigstore-keyless SLSA
    build-provenance attestation produced by actions/attest-build-provenance in
    .github/workflows/mirror-ghcr.yml (GitHub Actions OIDC → Fulcio, logged in the
    public Rekor transparency log) and pushed to the registry alongside the image. The
    signing key is ephemeral (Fulcio-issued per build, never stored) — it is not on the
    distribution site. The documented user verification process is in SECURITY.md
    ("Verifying release artifacts"): gh attestation verify
    oci://ghcr.io/alexey-lukin/silken_net:<tag> --owner Alexey-Lukin. Source-tree
    commit/tag signing is tracked separately (OPS.10).
    https://github.com/Alexey-Lukin/silken_net/blob/main/.github/workflows/mirror-ghcr.yml
    https://github.com/Alexey-Lukin/silken_net/blob/main/SECURITY.md


    バッジには十分です！

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

    Met. The project's public generated deliverable — the production container image
    mirrored to GHCR (ghcr.io/alexey-lukin/silken_net) for widespread use (e.g. Akash
    providers) — is cryptographically signed with a Sigstore-keyless SLSA
    build-provenance attestation produced by actions/attest-build-provenance in
    .github/workflows/mirror-ghcr.yml (GitHub Actions OIDC → Fulcio, logged in the
    public Rekor transparency log) and pushed to the registry alongside the image. The
    signing key is ephemeral (Fulcio-issued per build, never stored) — it is not on the
    distribution site. The documented user verification process is in SECURITY.md
    ("Verifying release artifacts"): gh attestation verify
    oci://ghcr.io/alexey-lukin/silken_net:<tag> --owner Alexey-Lukin. Source-tree
    commit/tag signing is tracked separately (OPS.10).
    https://github.com/Alexey-Lukin/silken_net/blob/main/.github/workflows/mirror-ghcr.yml
    https://github.com/Alexey-Lukin/silken_net/blob/main/SECURITY.md


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


    バッジには十分です！

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

    Met — input is validated with an allowlist approach at every untrusted boundary:

    • HTTP/API: Rails strong parameters (params.require(...).permit(...)) accept only an
      explicit allowlist of attributes; everything else is dropped. Models add
      allowlist-style validations enforced before persistence — numbers are range-checked
      (actuator_command duration numericality: { greater_than: 0, less_than_or_equal_to:
      3600 }, ai_insight scores { in: 0.0..100.0 } / { in: 0.0..1.0 }), values are
      constrained to allowlists (inclusion: { in: %w[evm solana celo] }, inclusion: { in:
      HARDWARE_TYPES }), and strings are checked for syntax/length (format: { with: ... }
      for hex addresses/bytecode, length: { maximum: ... }). Invalid records are rejected.
    • Untrusted IoT telemetry (binary LoRa/CoAP): TelemetryUnpackerService validates the
      decoded packet (valid_sensor_data?) before processing and rejects malformed or
      out-of-range frames; it also enforces a SEC.10 panic-replay counter and CCM
      key-size checks.
    • On-chain (Solidity): every external function guards its inputs with require(...) —
      non-zero addresses, array-length equality, batch-size bounds (<= MAX_BATCH_SIZE),
      positive amounts — reverting on invalid input.
    • Oracle callbacks (Chainlink) are authenticated by HMAC before their payload is
      accepted.

    https://github.com/Alexey-Lukin/silken_net/blob/main/app/models/blockchain_transaction.rb
    https://github.com/Alexey-Lukin/silken_net/blob/main/app/services/telemetry_unpacker_service.rb


    バッジには十分です！

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

    Met (SHOULD). Hardening mechanisms are applied on both the web and firmware sides.

    Web (Rails — the network-facing attack surface):

    • A strict Content-Security-Policy (config/initializers/content_security_policy.rb):
      default_src/base_uri/form_action 'self', frame_ancestors 'none', frame_src 'none',
      object_src 'none', and a per-request nonce for inline scripts (no 'unsafe-inline'
      on script-src).
    • A full security-header set (config/initializers/security_headers.rb): X-Frame-Options
      DENY, X-Content-Type-Options nosniff, Referrer-Policy strict-origin-when-cross-origin,
      Cross-Origin-Opener-Policy / Cross-Origin-Resource-Policy same-origin, a restrictive
      Permissions-Policy, and X-XSS-Protection 0 (disables the legacy exploitable filter).
    • HSTS with preload (1 year, includeSubdomains) + config.force_ssl; session cookies are
      httponly + secure + same_site:lax.

    Firmware C (a memory-unsafe language → compiler hardening):

    • The entire host test suite is compiled and executed under AddressSanitizer +
      UndefinedBehaviorSanitizer (-fsanitize=address,undefined -fno-sanitize-recover=all) on
      every CI run, so undefined behavior, buffer overflows and use-after-free abort the build
      before release — the criterion's "compiler flags to eliminate undefined behavior"
      example. The host build also honors -fstack-protector-strong / -D_FORTIFY_SOURCE / RELRO.

    https://github.com/Alexey-Lukin/silken_net/blob/main/config/initializers/content_security_policy.rb
    https://github.com/Alexey-Lukin/silken_net/blob/main/firmware/test/Makefile


    バッジには十分です！

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

    Met. The project provides a structured security assurance case at
    docs/SECURITY_ASSURANCE_CASE.md. It states the top-level security claims; a threat
    model (assets, threat actors, and attack surfaces across the Soldier->Queen->Rails->chain
    pipeline); an explicit identification of every trust boundary and the guard that
    enforces it; an argument that Saltzer-Schroeder secure-design principles are applied,
    with code anchors; and an OWASP Top 10 (2021) table showing how each common
    implementation weakness is countered - followed by an honest residual-risk and
    assumptions section. Each claim is backed by the test / SAST / SCA evidence listed in
    the document.
    https://github.com/Alexey-Lukin/silken_net/blob/main/docs/SECURITY_ASSURANCE_CASE.md


 分析 2/2 ●

  • 静的コード解析


    バッジには十分です！

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

    The static analyzers used are specifically designed to find common vulnerabilities: Brakeman targets Rails vulnerability classes (SQL injection, XSS, mass assignment, CSRF), CodeQL runs security queries mapped to CWE, Slither has detectors for common Solidity vulnerabilities (reentrancy, access control, arithmetic), and cppcheck flags memory/defect issues in C. CodeQL runs security queries mapped to CWE (GitHub default setup, across all six
    languages — Ruby, C/C++, C#, JS/TS, Python, Actions).
    https://github.com/Alexey-Lukin/silken_net/blob/main/.github/workflows/solidity_audit.yml


  • 動的コード分析


    バッジには十分です！

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

    The project ships memory-unsafe C firmware (STM32 Soldier/Queen + the One-Home libraries in firmware/common/), so N/A does not apply. Every host-based unit test (firmware/test/, ~22 binaries covering the untrusted-input parsers — AT-command/CoAP PDU tokenizer, circular-DMA UART RX ring, flash KV/ring/OTA journals with power-cut fault injection — plus the crypto, DSP and TinyML paths) is compiled and executed under AddressSanitizer + UndefinedBehaviorSanitizer on every CI run, via make -C firmware/test asan in the firmware_test job of .github/workflows/ci.yml (gating through the ci-ok aggregate required check). Flags: -fsanitize=address,undefined -fno-sanitize-recover=all -fno-omit-frame-pointer -g -O1. AddressSanitizer detects heap/stack/global buffer overflows (the explicit "buffer overwrite" concern), use-after-free/return and double-free; UndefinedBehaviorSanitizer detects signed-integer overflow, out-of-bounds shifts, misaligned/null pointer dereferences and invalid enum/bool loads; halt_on_error=1 makes the first finding fail the build. LeakSanitizer is intentionally disabled (detect_leaks=0) because the only allocations outliving main() are OpenSSL's one-time global init in two tests, which the short-lived test processes deliberately do not tear down — a "still reachable" false positive, not a memory-safety defect. This dynamic lane complements the existing static analysis (cppcheck firmware_lint, CodeQL c-cpp, and -Wall -Wextra -Wpedantic).
    https://github.com/Alexey-Lukin/silken_net/blob/main/firmware/test/Makefile



このデータは、Community Data License Agreement – Permissive, Version 2.0 (CDLA-Permissive-2.0)のもとで利用可能です。これは、データ受領者が、データ受領者がこの契約のテキストを共有データとともに利用可能にする限り、変更の有無にかかわらずデータを共有できることを意味します。Alexey LukinおよびOpenSSFベストプラクティスバッジのコントリビューターにクレジットを表示してください。

プロジェクト バッジ登録の所有者： Alexey Lukin.
エントリの作成日時 2026-06-24 13:17:00 UTC、 最終更新日 2026-06-25 13:55:07 UTC 最後に2026-06-24 17:34:54 UTCにバッジ合格を達成しました。