From 0bb8cdb9dd92ffc8ea8d0f56ad7b0f3b394c0ede Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Thu, 8 Oct 2026 20:31:48 +0000 Subject: [PATCH] Class v6 family gate, 6.12: the pairing read back at the final class-v6 sha 21edd23c9 (both pack ids equal to the 38128dff0 read); master merged (the steward's evidence rule: a new evidence file lands free) Co-Authored-By: Claude Fable 5.1 --- docs/analysis/class-v6/family-gate.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/analysis/class-v6/family-gate.md b/docs/analysis/class-v6/family-gate.md index f766c33bd..3014ff565 100644 --- a/docs/analysis/class-v6/family-gate.md +++ b/docs/analysis/class-v6/family-gate.md @@ -366,7 +366,7 @@ VERDICT (20:1x BST, to the coordinator and the hash lane): PASS on the acceptanc The object: class-v6 ac86d7910 (b24dfc162, the fix of this lane's second predicate finding: the era's drawn width `mix` set aside in `accept::is_class_v4_shape` and the draw's source rule with the every-width test; plus the F05 exporter switch and a test fix), the draw and the acceptance of the tip 9415e9c89 the packs were exported from (generator 6 on both). The harness: the family harness ported onto ac86d7910 (`logs/harness-v6-ac86d7910.diff`), the same runs as 6.11 on the full class string `mx8+sh256x27+state+reg64c+nowin+fold+rw`, on build-6 under the family gate's class. -The pairing, read back (20:3x BST, the igneum-pow CLI built from the ac86d7910 tree on build-6, the hash lane's exact inputs: the devnet epoch seed edc4fa84... as the epoch, the day bytes 69676e65...ffa50000000000000, the era `0:edc4fa84...` (the genesis form, label d810f22d), the node1 state `/srv/builds/_log/v5-class/node1-state.igsd1` from build-1): `mx8+sh256x27+state+reg64c+fold+rw` draws generator 6, attempt 0, program id 4de7b836cc40a4ea, equal to the pack hl-v6-all's id as read back from build-1 (sha256 6df3d430); `...+nowin` draws be1d6f48928cef4a, equal to hl-v6-all-nowin's. The crate this section's rows ran on is the packs' draw. +The pairing, read back (20:3x BST, the igneum-pow CLI built from the ac86d7910 tree on build-6, the hash lane's exact inputs: the devnet epoch seed edc4fa84... as the epoch, the day bytes 69676e65...ffa50000000000000, the era `0:edc4fa84...` (the genesis form, label d810f22d), the node1 state `/srv/builds/_log/v5-class/node1-state.igsd1` from build-1): `mx8+sh256x27+state+reg64c+fold+rw` draws generator 6, attempt 0, program id 4de7b836cc40a4ea, equal to the pack hl-v6-all's id as read back from build-1 (sha256 6df3d430); `...+nowin` draws be1d6f48928cef4a, equal to hl-v6-all-nowin's. The crate this section's rows ran on is the packs' draw. The hash lane's final class-v6 sha carrying both of this lane's predicate findings, 1a938abe4 (its suite 147 passed, 0 failed, 8 ignored on build-7; on the mirror 21:24 BST): the same two show lines from a CLI built at 1a938abe4 on build-6 (21:3x BST, `logs-pair-1a938abe.out` on build-6) draw generator 6, attempt 0, program ids 4de7b836cc40a4ea and be1d6f48928cef4a, equal to the ac86d7910 read and to the packs, so the rows below bind 1a938abe4 as well: the draw and the acceptance did not move between the two. | Row | The harness's predicate (every class v4 part on) | The crate's own predicate at ac86d7910 (b24dfc162's fix: the drawn width set aside) | Against 6.11 (04442d9ca) | |---|---|---|---|