Reconcile AZ-06 assurance evidence and define bounded Nexus/Boot Lite profiles

[01rabbit]

Context

Deception declares 0.2.0.dev0 and pins Fabric v0.8.0. Canonical packages, decision signing/anti-replay, strict reference posture, lifecycle/evidence, heartbeat/reconciliation, provenance/SBOM paths, and virtual tests exist, while current documents disagree about pins and completed/open gates.

Scope

1. Reconcile package metadata with README, roadmap, Fabric pin, implementation status, contracts, safety model, source traceability, changelog, and live-gate checklist.
2. Create one evidence-backed assurance ledger separating software/virtual proof from physical/HIL proof.
3. Define signed nexus-embedded-lite and boot-emergency-lite packages with finite resource/evidence budgets and the existing canonical verifier.
4. Prove overlays are reductions of signed packages and cannot add/widen services, images, ports, routes, DNS, mounts, capabilities, commands, credentials, or resources.
5. Bind lifecycle operations to authenticated one-shot Edge decisions, boot/session/environment identity, resource key, and lease.
6. Separate fixed-bound route withdrawal from runtime cleanup and continuously attest isolation.
7. Bound hostile telemetry and preserve Core audit/lease resources.
8. Define ephemeral encrypted state, credential invalidation, cryptographic reset, and post-reset persistence checks.

Acceptance criteria

• Current-facing docs consistently state Fabric v0.8.0 and product 0.2.0.dev0 until release.
• Every live gate is checked, open, or profile-not-applicable and links evidence.
• Lite package digest, signer role, image digests, provenance, SBOM, component set, and rendered manifest verify before runtime access.
• Property tests prove every overlay is a subset/reduction.
• Replayed, expired, wrong-node/package/tier/session/environment, altered, or consumed decisions fail before exposure.
• HIL proves zero decoy reachability to protected, management, control plane, runtime socket, and Internet over IPv4/IPv6/DNS/link-local/multicast paths.
• DHCP/RA, route/ruleset/DNS/VLAN/interface drift, runtime/host restart, and firewall flush withdraw exposure within the declared SLO.
• Telemetry/disk/inode/PID/OOM pressure cannot consume Core reserves.
• Reset retains finalized evidence, invalidates lures, and removes declared runtime state.
• Combined networked Edge-to-Lite lifecycle passes for each release profile.
• Boot Lite remains disabled when current-host isolation cannot be proven.

Parent plan: https://github.com/01rabbit/Azazel/blob/main/docs/roadmaps/nexus-boot-program-plan.md

[01rabbit]

AC-1 / AC-2 の文書側を PR #37 でマージしました

10件の受け入れ基準のうち、文書のみで閉じられる2件を扱いました。HIL・property test・署名パッケージを要する残り8件には手を付けていません。

AC-2 — 44 checked / 9 open → 42 checked / 13 open

証拠規則を明文化しました。[x] は「実際に実行・記録された証拠」を要します。これは発明ではなく、runtime/live_gate.py の evaluate_live_gate_readiness が既にコードで強制しているもの（evidence_ref が空なら認定しない）で、checklist だけが例外でした。

本 Issue が述べた「current documents disagree about … completed/open gates」の実体は、存在するが誰も実行しないテストに依拠した gate でした。

gate	実態
実コンテナのライフサイクル完走	証拠は make virtual-lab（手動）。report は artifacts/（git-ignore）へ。実行記録がどこにも残らない
攻撃者改変後の終了・リセット	テストは主張どおり検証するが AZAZEL_DECEPTION_DOCKER_TESTS=1 を設定する workflow が存在しない
ネットワーク越し heartbeat E2E	両リポジトリのどの CI 実行でも skip している（下記）

最も深刻だったもの。 証拠とされた Azazel-Edge/tests/test_deception_shadow_heartbeat_e2e.py は実在し、主張どおりの内容を検証します。しかし冒頭が pytest.importorskip("azazel_deception") であり、Azazel-Edge/.github/workflows/ci.yml は requirements/runtime.txt・requirements/fabric.txt・pytest のみを導入します。Edge の workflow を直接読んで確認しました。

AZ-06 側の面（tests/test_shadow_heartbeat.py、既定スイート内）は proven のまま残し、E2E 証明のみを open にしています。

AC-1 — Fabric 側は既に整合、製品版に本物の不一致

v0.8.0 の pin は正しく、他文書が版を書かず fabric-pin.md へリンクする規律も守られていました。製品版を述べる文書が存在しなかったため追加しました。

ただし src/azazel_deception/__init__.py が 0.1.0.dev0、pyproject.toml が 0.2.0.dev0 という実在の矛盾があります。src/ は PR #37 の対象外としたため、既知の欠陥として記録するにとどめました。

AC-1 はこれが直るまで正直にはチェックできません。

残りをコード側 Issue として起票しました — #38

• 版の不一致（AC-1 のブロッカー）
• 新たに open にした3 gate に対応する LIVE_GATES id の欠落 — 機械可読な readiness 検査はこれらなしに ready=True を返します
• 逆に、証明済みなのに checklist に box がない gate 2件
• 3つの gate を「主張ではなく実証」で閉じる CI 変更 — Docker テストの env var、virtual-lab report の artifact 化、Edge CI への azazel-deception 導入（Edge 側判断）

AC-4 について1点

overlay という語はこのリポジトリに1件も存在しません。したがって AC-4 の「overlay は追加・拡大できない」という規則もどこにも述べられていません。教義違反ではなく、AC-4 に着手する際の欠落として報告します。

教義

違反は見つかりませんでした。 Deception が選択・承認・権限拡張を行うと読める記述はありません。lite/standard/heavy/cluster は一貫して容量の階層です。

なお safety-model.md に逆向きの誤りが1件あり、訂正しました。強制済みの不変条件（Edge decision の要求）を「Edge#325 と Fabric#9 の実装後に」と将来の条件付きとして書いていたものです。status vocabulary は過大主張だけでなく過小主張も禁じます。

---

Generated by Claude Code