SEMANTIC RUNTIME / CONCEPT RUNTIME
実装する前に、要件を動かす。
MURASAMEのConcept Runtimeは、自然言語の要件をActor・Entity・State・Flow・Rule・Decisionからなる設計モデルへ変換し、コードを書かずにデータフローと検証を実行します。現在はローカルSQLiteを使う現行実装です。
Semantic Runtimeは製品カテゴリの位置づけ。現在その核を実装しているのがConcept Runtimeです。
WHAT RUNS TODAY
現行の核は、Concept Modelを決定論的に動かすこと。
Concept Runtimeは自然言語からActor、Entity、State Machine、Flow、Rule、Decisionを持つモデルを形成します。確認後はLLMの気分に依存せず、Flowを解決し、権限を確認し、状態遷移とInvariantを評価してTraceと設計/コードViewを返します。
初回にModel IDを固定するときは--new --id my-system、既存Modelを改訂するときは--id my-systemを使います。存在しないIDを改訂として指定した場合は、新規作成へ暗黙に切り替えず停止します。
未定義はWarning
Permissionが未定義の場合は継続し、validateでDecision化すべき検討不足として記録します。
違反はBlocking
定義済み権限の違反、遷移元の不一致、Invariant違反、参照切れ、意味のないDecisionは停止します。
Decisionは人が確定
現行実装のDecisionはPermission、Owner、Flow開始前提を変える1-bitの判断です。Yes/Noが同じ効果のopen Decisionはvalidateで質問前に止めます。Concept Runでは --answer が個別回答、--yes が推奨回答の適用と保存・実行の最終承認を担います。
Render後も、仕様を追跡する。
既存コードや人間が編集したRender出力は、Implementation ObservationとしてConcept Runtimeへ戻せます。importでベースラインを保存し、checkでファイル、Entity、属性、状態、markerの差分を確認します。 IntentやDecisionを無確認で推測・確定することはありません。
ONE MODEL / MANY VIEWS
検証した設計を、そのままチームの成果物へ。
Concept Modelを正本にしたまま、レビュー、共有、編集、実装の入口を分けて出力できます。 同じ設計を形式ごとに書き直すのではなく、Model VersionとTraceをたどれるViewとして扱います。
Excel
Decisionと設計項目のレビュー
設計・データフロー・Traceの共有
Markdown
人が編集する設計ノート
Code
types / permissionsのコード骨格
現行のCode出力は本番アプリケーションを自動完成させるものではなく、実装へ引き渡すコード骨格です。
EXECUTION CONTRACT
意味モデルの入力と出力を分けて扱う。
| 項目 | 扱うもの | 現行対応 |
|---|---|---|
| Input | 自然言語Requirement、Intent、Scenario、Concept Model、Role、Constraint | concept run / concept の短縮形 |
| State | Model version、Entity state、Decision status、Session state | Concept Model / Simulation Trace |
| Transition | Action、State Transition、Decision適用 | simulate / decide / KG Proposal |
| Constraint | Permission、Invariant、Project境界、評価Policy | 決定論的なcheck / Approval境界 |
| Output | Trace、Pass/Fail、Warning、Specification、Code Skeleton | trace / validate / verify / render |
Formal Verification
concept verify は状態機械をQuintへ射影し、InvariantとCounterexampleを検証資産として保存します。汎用の業務予測器ではありません。
外部作用は別レイヤー
ファイル変更、Tool実行、外部API、公開操作はSemantic Runtime Coreが直接確定せず、MURASAMEのTool / Approval層で扱います。
RUN THE MODEL
モデルを作り、漏れを見つけ、Traceを読む。
現行CLIは、自然言語の確認からConcept Modelの保存・検証・シミュレーション・HTML/PDF/Excel/コード生成までを一つの入口で実行できます。通常のmurasame TUIにも、仕様・設計を作る意図だけを保守的にConceptへ分岐するRouterがあります。生成物はViewまたは骨格であり、本番コードの双方向コンパイラではありません。
murasame concept run "自然言語の要求" --new --id my-system
murasame concept run "自然言語の要求" --id my-system --yes
murasame concept run "既存仕様への変更" --id my-system --yes
# TUIへ「社内のタスク管理システムを設計したい」と入力
# または /concept 社内のタスク管理システムを設計したい
murasame concept new blog --demo
murasame concept validate blog
murasame concept decide blog d1 --yes
murasame concept simulate blog "reader views article"
murasame concept verify blog
murasame concept render blog --out generated/blog
murasame concept import blog ./generated/blog
murasame concept check blog ./generated/blogConcept Runtimeを、Knowledgeと仕事の実行へ接続していく。
Semantic RuntimeとWork Runtimeが共有できるTrace、Evidence、Action、Constraint契約は実装済みです。通常ターンのdaemonイベントは本文を保存しないmetadata-only Traceへ接続しています。Concept Runtime・永続監査基盤への全経路接続はまだ限定的なため、導入検討では対象業務と確認したい判断条件を定め、現行実装で検証できる範囲から相談します。