最小例: minimal-example（Context Pack v1）

本ページは、本文・仕様ページから「最小例の Context Pack」に確実に到達するためのハブです。

導線

Context Pack v1 仕様: Context Pack v1 仕様
最小例 Context Pack（YAML）:
- raw（推奨）: raw
- GitHub: GitHub
- サイト内で読む: YAML（全文）

検証（ローカル）

依存導入（初回のみ）:

python3 -m pip install -r scripts/requirements-qa.txt

minimal lint:

python3 scripts/validate-context-pack.py docs/examples/minimal-example/context-pack-v1.yaml

schema validation（JSON Schema）:

python3 scripts/validate-context-pack-schema.py docs/examples/minimal-example/context-pack-v1.yaml

位置づけ/差分は Context Pack v1 仕様（検証コマンド）を参照してください。

（任意）CI相当の一括チェック: npm run qa（レポート: qa-reports/*.json）

YAML（全文）

version: 1
name: minimal-example

problem_statement:
  goals: ["最小の例として成立させる"]
  non_goals: ["仕様追加をしない"]

domain_glossary:
  terms:
    - term: Order
      ja: 注文

objects:
  - id: Order
    kind: entity

morphisms:
  - id: PlaceOrder
    input: { orderId: "OrderId" }
    output: { orderId: "OrderId" }
    pre: ["Order.state == Draft"]
    post: ["Order.state == Placed"]
    failures: ["InvalidState"]

diagrams:
  - id: D1-order-state
    statement: "PlaceOrder は Draft のみに適用できる"
    verification: ["Draft 以外では InvalidState になる"]

constraints: {}

acceptance_tests:
  - id: AT1-happy-path
    scenario: Draft の Order に PlaceOrder を適用する
    expected: ["Order.state == Placed"]

coding_conventions:
  language: language-agnostic
  directory: []
  dependencies: {}

forbidden_changes:
  - "Diagrams を満たさない変更"