From 1908fba162e4b0ff762919450908c026ea2f4e3f Mon Sep 17 00:00:00 2001 From: "russell@unturf.com" Date: Mon, 11 May 2026 17:20:48 -0400 Subject: [PATCH] =?UTF-8?q?docs/#000018=20=C2=A79.2:=20mark=20resolved=20?= =?UTF-8?q?=E2=80=94=20=CF=86=5FPRG=20=3D=20HMAC-SHA-512=20(#000035=20clos?= =?UTF-8?q?ed)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit #000035 closed 2026-05-11 (commit 4b85eb1: v7 substrate spec into the repo at docs/_source/merkle-agi-dag-v7.rst, § 9.10 folded in). Update soft-hash-channel-analysis.md §9 open-question 2 from "Phase 2 lands when v7 gains a deployment target" to resolved: φ_PRG = HMAC-SHA-512 with a 32-byte committed seed, little-endian. --- docs/soft-hash-channel-analysis.md | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/docs/soft-hash-channel-analysis.md b/docs/soft-hash-channel-analysis.md index 725da56..2ae06f3 100644 --- a/docs/soft-hash-channel-analysis.md +++ b/docs/soft-hash-channel-analysis.md @@ -451,9 +451,14 @@ The reduction in §4 leaves three loose threads: rule documented in §9.10.1); plus a `dim_h ≤ 16·2^32` exhaustion guard and a seed-independence / single-purpose-seed requirement. The reference implementation + 31 tests + 10 KAT vectors are - pinned to these choices. Phase 2 lands the §9.10 text into the - v7 plastic-training spec when one gains an active deployment - target. + pinned to these choices. **Phase 2 landed 2026-05-11** (`4b85eb1`): + the v7 substrate spec was brought into the repo as + ``docs/_source/merkle-agi-dag-v7.rst`` and § 9.10 + § 9.10.1 were + folded in after § 9.9. **This open question is resolved — φ_PRG = + HMAC-SHA-512(seed, C(M) ‖ counter_le32), 32-byte committed seed, + little-endian.** #000035 → closed. (A full upstream v7 spec + revision remains exogenous; the amendment now lives version- + controlled in the in-repo copy where future amendments land.) 3. **T3 per-window budget formal bound.** ~~§6 lists "bounded by per-window budget" without giving the bound.~~ **Closed