diff --git a/.trinity/seals/policy_PolicyOwnLanguage.json b/.trinity/seals/policy_PolicyOwnLanguage.json index 3d3f993eff..0b9c05c7cd 100644 --- a/.trinity/seals/policy_PolicyOwnLanguage.json +++ b/.trinity/seals/policy_PolicyOwnLanguage.json @@ -1,24 +1,24 @@ { - "built_by": "t27c-bootstrap@0.5.2+cc19d1fcd", + "built_by": "t27c-bootstrap@0.5.2+27efebab5", "closure": [], "config": "gen=c,rust,verilog,zig;tests=zig", - "gen_hash_c": "sha256:aa06c48f1288fe93c4e3492af4dbcc6744f6a4995b3b9978befb733fd8cbead5", - "gen_hash_rust": "sha256:afe7f95295c847a6a03ed1c516754963f2285528e3cd4bac2fc8e74aac0ed0a4", - "gen_hash_verilog": "sha256:a6ffb006bb3dc0b4ae69f3b7280831c01715e97946b29e059cd9b8e9729223c2", - "gen_hash_zig": "sha256:a8e6d5c0eb3f7117e94531dc760a1fcfaed24c8d6ec403ab7ad967ef70618eae", + "gen_hash_c": "sha256:590d8243a6ed7c127252a87b58a2a37576d7888cb9663e3d32dd7065d416cc1b", + "gen_hash_rust": "sha256:6c3c4413c39649de3703cd642a75c63320d804a5ab4d3d14c805650514f0b2e4", + "gen_hash_verilog": "sha256:1aba34ef4be285cdf9d05273ab2ea971e802aeb73779855ce073637db803e13a", + "gen_hash_zig": "sha256:53bf6a32236d7eff2e5ef1d1c276ec7523e013e2c8ea6e56d63af49a5525576f", "module": "PolicyOwnLanguage", "ring": 12, "seal_schema": 2, - "sealed_at": "2026-10-11T10:29:23Z", + "sealed_at": "2026-10-18T04:31:27Z", "sealed_by": "t27c-bootstrap@0.5.2", - "spec_hash": "sha256:2ede27ba66ccf19975ce7de1d1613ec13e83f34fbead9d68f664d852ce261332", + "spec_hash": "sha256:bba616b5794a7c390b13de07a81f0b2a066f22d6620ae349e5d164dddc17429a", "spec_path": "specs/policy/own_language.t27", "tests": { "failed": 0, "failing": [], "forced": false, - "passed": 33, - "total": 33, + "passed": 36, + "total": 36, "vacuous": 0 }, "toolchain": {