From 0595691e31a81de001a5571363e731eb02a452d2 Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 20 Oct 2026 14:12:01 +0700 Subject: [PATCH] seals: keys.t27 and pty_logic.t27 resealed with the current compiler (gen_hash_c drift on master) (Closes #11241) Merge of master plus sealing, gates run on the merged tree with t27c from master: tests clean with vacuous passes 0, seal --verify MATCH, tri types ratchet CLEAN, dupe_scan failure set a subset of master's. Co-Authored-By: Claude Sonnet 5.5 --- .trinity/seals/t27os_T27osKeys.json | 6 +++--- .trinity/seals/t27os_T27osPtyLogic.json | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/.trinity/seals/t27os_T27osKeys.json b/.trinity/seals/t27os_T27osKeys.json index cc3464fce5..6ed0c41c88 100644 --- a/.trinity/seals/t27os_T27osKeys.json +++ b/.trinity/seals/t27os_T27osKeys.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+42a4860c4", + "built_by": "t27c-bootstrap@0.5.2+ef2e7ee45", "closure": [ { "spec": "specs/t27os/agents.t27", @@ -11,14 +11,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:4d2ce37475c5fd9cfdbe564d68df7c92327f40be8d60faa04aa8382217dc60c5", + "gen_hash_c": "sha256:1c51eed7ba8145e217666faa01f365f1742cdeeb71517ffabc8239d1cd08aff3", "gen_hash_rust": "sha256:65387d614d4714c7dff0227fb378c33bc7886c695cc42f4ea24458223de573c8", "gen_hash_verilog": "sha256:9e29c63b98f00cd92e6b0466d356a9d3911bf444f26a652d5e2e6e6b576c6ade", "gen_hash_zig": "sha256:d244fcdfb0f95fcf8a2742598dbc84d7e66c6c3aec8b4bc632483753564f8230", "module": "T27osKeys", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T07:00:49Z", + "sealed_at": "2026-10-20T07:11:32Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:bc12487689ca25d46a0155a6cbb30e36983c4898a7e28486266d084c570f8d43", "spec_path": "specs/t27os/keys.t27", diff --git a/.trinity/seals/t27os_T27osPtyLogic.json b/.trinity/seals/t27os_T27osPtyLogic.json index 7e60f7c435..f6d4472c48 100644 --- a/.trinity/seals/t27os_T27osPtyLogic.json +++ b/.trinity/seals/t27os_T27osPtyLogic.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+42a4860c4", + "built_by": "t27c-bootstrap@0.5.2+ef2e7ee45", "closure": [ { "spec": "specs/t27os/agents.t27", @@ -27,14 +27,14 @@ } ], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:a1ba1cc53e826cbfe4123efe840b6b7d8ba3b3b9bcec14bcea82a64e6d77bad7", + "gen_hash_c": "sha256:2cd657507566102e43169919e53ce6aa267cba35b7315127d98321a1f1143911", "gen_hash_rust": "sha256:b1f9544872abbca303b2b4565a357e4134da53bf232b7efcf2d729d13c3a987a", "gen_hash_verilog": "sha256:9c28b828e7de42515be178c72ec47fea0b3a20cb6840e9c1a4fbf8085862e08d", "gen_hash_zig": "sha256:39ac7d141b3d9832cc4ec5e92e9f73e2cf030c4379c4f3253696d46f159efb62", "module": "T27osPtyLogic", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-20T07:00:53Z", + "sealed_at": "2026-10-20T07:11:37Z", "sealed_by": "t27c-bootstrap@0.5.2", "spec_hash": "sha256:401e66c84055044c98546c093cbdb677ae5cb5203d524b01e172b37a7afc1e33", "spec_path": "specs/t27os/pty_logic.t27",