MIL Decision Packet Profile v0.1
ゲート判断を検証可能にする最小交換フォーマット
Time Layer Configuration
- Verify ID
- MIL-DP-PROFILE
- Version
- 0.1
- Status
- ● Current
- Valid From
- 2026-06-30
MIL Decision Packet Profile は、Logos Gate Core のリリース判断を、input_hash・rule_hash・reason_codes・evidence_refs・署名を持つ検証可能なパケットに固定する評価段階プロファイルです。第三者が自分の環境で packet_hash を再計算できます。
This profile is an evaluation-stage profile. It is not a certification, not a production standard, not a cryptographic primitive, and not a claim that any implementation is compliant by itself. Signature is not yet a trust anchor (present:false). Replay determinism demonstrates path reproducibility, not correctness of the decision.
本プロファイルは評価段階です。認証・本番標準・新規暗号方式・単独での準拠を主張しません。 署名はまだ信頼アンカーではありません(present:false)。 リプレイの再現性が示すのは経路の再現性であって、判定の正しさではありません。
一本線
Logos Gate Core
動く実装
MIL Decision Packet
判断を運ぶ共通形式
BYOV Verification Kit
第三者が自分の環境で検証できる束
いま言えること
主張は今日の実物と1対1で対応します。三状態ラベルを厳密に置きます。
Logos Gate Core が産出者。パケットは動く実装から出力されます。
同じ入力・同じルールから同じ packet_hash が出ます(MIL-DP-006)。
第三者が自分の環境で検証できる BYOV Verification Kit があります。
検証器は exporter のハッシュコードを import せず、仕様から独立に packet_hash を再計算します。
ステータス: 評価段階 / 署名 present:false
Decision Packet の形(開示面)
{
"profile": "MIL-DP-0.1",
"producer": "logos-gate-core",
"decision_id": "dec-pass_typo_fix",
"input_hash": "sha256:07b6253b623e1a03bbe300b4de4f616298406fba14d4f2da5616d194719cfc42",
"rule_hash": "sha256:ea5afcf76d1e7ee7283e381b744a333bb86615d21ece8795fb0e00f8261e0a36",
"decision": "PASS",
"state_before": "evaluating",
"state_after": "released",
"reason_codes": ["RC_OK"],
"evidence_refs": ["manifest-typo-fix"],
"audit_ref": "worm://logos-gate-core/dec-pass_typo_fix",
"disclosure": { "public": false, "private_redacted": false, "explain_due_at": null },
"signature": { "present": false, "alg": null, "kid": null },
"packet_hash": "sha256:34b9669a9649408606c8bdd5a62362ad3993504d262609a3a4f5a749c054b551"
}{
"profile": "MIL-DP-0.1",
"producer": "logos-gate-core",
"decision_id": "dec-hold_evidence_missing",
"input_hash": "sha256:78f2465e6280ed52d7a4f3c4b28fb7753f1386cf124f5ca20fd0e5c4e14d0f8f",
"rule_hash": "sha256:ea5afcf76d1e7ee7283e381b744a333bb86615d21ece8795fb0e00f8261e0a36",
"decision": "HOLD",
"state_before": "evaluating",
"state_after": "held",
"reason_codes": ["RC_EVIDENCE_MISSING"],
"evidence_refs": [],
"audit_ref": "worm://logos-gate-core/dec-hold_evidence_missing",
"disclosure": { "public": false, "private_redacted": false, "explain_due_at": null },
"signature": { "present": false, "alg": null, "kid": null },
"packet_hash": "sha256:d1d2e4f40f2dab804726f3269e8336ea52a054048565f5edaab4a9b1ff0b5f24"
}フィールド
| field | 意味 |
|---|---|
| profile | プロファイル識別子(固定値 "MIL-DP-0.1") |
| producer | 判断を産出したゲート("logos-gate-core") |
| decision_id | 実行ごとのID。packet_hash の対象外。 |
| input_hash | 入力(リクエスト)のハッシュ。sha256: 接頭辞。 |
| rule_hash | 適用ルール(ポリシー)のハッシュ。sha256: 接頭辞。 |
| decision | 判定。PASS | HOLD | FAIL | FREEZE | UNDEFINED。 |
| state_before / state_after | 判定前後の状態。 |
| reason_codes | 判定理由コード(昇順ソート・重複排除)。 |
| evidence_refs | 証拠参照(空配列可、昇順ソート)。 |
| audit_ref | 監査記録への参照(worm://…)。packet_hash の対象外。 |
| disclosure | 開示メタ(public / private_redacted / explain_due_at)。対象外。 |
| signature | パケット署名。既定は present:false。信頼アンカーではない。対象外。 |
| packet_hash | 決定的コアの SHA-256(sha256: 接頭辞)。 |
reason code 最小辞書(7)
| RC_OK | 正常通過 |
| RC_EVIDENCE_MISSING | 証拠/必須入力の欠落 → HOLD |
| RC_POLICY_BOUNDARY | ポリシー境界に当たった |
| RC_SIGNATURE_MISSING | 入力側署名の欠落 → HOLD |
| RC_PRIVATE_RAIL | 非公開レール側に属する |
| RC_UNSUPPORTED_PROFILE | 未対応の profile 指定 |
| RC_ESCALATION_REQUIRED | ネイティブ ESCALATE を HOLD に写す際の理由 |
packet_hash の正規化規則
packet_hash は、パケット全体ではなく決定的コアだけを対象に計算します。 コアは profile・producer・input_hash・rule_hash・decision・state_before・state_after・ reason_codes(昇順)・evidence_refs(昇順)の9フィールドです。これを UTF-8・キー昇順・ 余分な空白なし(compact separators)で直列化し、SHA-256 を取り、sha256: を付けます。 decision_id・audit_ref・disclosure・signature・packet_hash 自身はコアから除外します (実行ごとに変わる、または署名対象のため)。
正規化規則を開示するのは、第三者による packet_hash の独立再現に必要だからです。規則の開示は、ゲートの内部判定機構の開示ではありません。
Disclosure Boundary / 開示境界
Disclosed and independently checkable:
- — the packet schema and the meaning of each field;
- — the reason-code identifiers and their meanings;
- — the canonicalization rule for packet_hash, so an independent party can recompute the hash;
- — synthetic sample packets.
Not part of this profile:
- — how the gate reaches a verdict;
- — internal heuristics, threshold values, and tuning;
- — rail-partition internal design, keys, raw logs, and source internals.
開示し、第三者が独立に確認できるもの:パケットスキーマと各フィールドの意味/reason code 識別子と意味/packet_hash の正規化規則(独立再計算のため)/合成サンプルパケット。 対象外:ゲートが判定に至る過程/内部ヒューリスティクス・閾値・チューニング/レール分離の 内部設計・鍵素材・生ログ・ソース内部。
まだ言えないこと / Non-goal
現在地と次
4段ラダーで現在地を正直に置きます。
- Step 1kit 配布ほぼ完了
- Step 2第三者が自分の環境で再実行ほぼ完了
- Step 3verification_result に外部鍵で署名現在のボトルネック
- Step 4independently replayed次のマイルストーン
Provenance
doc_id: MIL-DP-PROFILE
version: 0.1
status: Draft / Evaluation Profile
last_updated: 2026-06-30T00:00:00+09:00
canonical: https://www.c3-anchor.jp/spec/mil-decision-packet-profile