最小例: minimal-example(Context Pack v1)

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

注記: 公開ページ本文と同じ版を確認したい場合は、このページ内に埋め込まれた YAML を優先してください。GitHub の repository view では埋め込み表示が展開されないため、その場合は同階層の context-pack-v1.yaml を参照します。版差が疑われる場合は、CHANGELOG とコミット履歴を確認します。

導線

検証(ローカル)

注記: 以下のコマンドは local checkout 上の docs/examples/minimal-example/context-pack-v1.yaml を検証します。公開ページの YAML と同じ版を再現したい場合は、対象の commit / tag に合わせてから実行してください。

依存導入(初回のみ):

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(実行後に生成された検証レポートを確認する)

YAML(全文)

# この YAML は最小例の source 管理・local 検証用です。
# 形式と必須項目の正本は `docs/spec/context-pack-v1.md` を参照してください。
# reader-facing な導線は公開の `/examples/minimal-example/` ページを優先します。
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 を満たさない変更"