Evaluation Profilev0.1

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で対応します。三状態ラベルを厳密に置きます。

implemented

Logos Gate Core が産出者。パケットは動く実装から出力されます。

self-replayable

同じ入力・同じルールから同じ packet_hash が出ます(MIL-DP-006)。

ECHO-VERIFY-compatible

第三者が自分の環境で検証できる BYOV Verification Kit があります。

exporter非依存の検証器

検証器は exporter のハッシュコードを import せず、仕様から独立に packet_hash を再計算します。

ステータス: 評価段階 / 署名 present:false

Decision Packet の形(開示面)

sample — PASSdownload .json →
{
  "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"
}
sample — HOLDdownload .json →
{
  "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 の独立再現に必要だからです。規則の開示は、ゲートの内部判定機構の開示ではありません。

→ JSON Schema (mil_decision_packet_v0_1.schema.json)

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

independently replayed — 発行者以外の鍵で署名された検証結果がまだありません。
third-party attested / certified / production proven — いずれも現時点の実績ではありません。
これは標準・認証・本番ではありません。評価段階のプロファイルです。
再現することと正しいことは別です(reproducibility ≠ correctness)。
署名はまだ信頼アンカーではありません(present:false)。

現在地と次

4段ラダーで現在地を正直に置きます。

  1. Step 1kit 配布ほぼ完了
  2. Step 2第三者が自分の環境で再実行ほぼ完了
  3. Step 3verification_result に外部鍵で署名現在のボトルネック
  4. 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