Skip to content

Commit 83fbff0

Browse files
gHashTagdeborahnelson8788726claude
authored
chore(seals): reseal all specs + disambiguate 3 duplicate module names (#1255)
Reseal every spec so suite seal-verify is green after the gen-verilog change (#1250) shifted gen-hashes for most specs; also clears pre-existing spec-hash drift + missing seals. Three spec pairs shared a module name and collided on their <dir>_<Module>.json seal (FeedForward, String, malformed "[]const u8") -> rename the second of each pair (FeedForwardNetwork / SacredGovernance / FacultyBoard). Suite: parse/typecheck/gen(x4)/seal-verify 514/514. Closes #1254 Co-authored-by: gHashTag <deborahnelson8788726@gmail.com> Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
1 parent 701d79b commit 83fbff0

534 files changed

Lines changed: 4497 additions & 1048 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.trinity/seals/account_Account.json‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
{
2-
"gen_hash_c": "sha256:fd5c72f47cd35285a21817d00190f3c03d0cd53e8c318e4d4a95eee4491c5b3b",
3-
"gen_hash_rust": "sha256:909f064e954c3aaefd748b1e390ec7713fc19cafdfbda660bf0a1440f90afea2",
4-
"gen_hash_verilog": "sha256:cdc00327f47d5e4c9048e989d18888a47c6375bc0e8bbfcdb04e3a4790a92d16",
5-
"gen_hash_zig": "sha256:3c8cba9576a9db5d0c52b30203e1c74dfd70f84e3df69a79190211dcfcf804b8",
2+
"gen_hash_c": "sha256:98c2b440320c4594aed7f49cfc9885099bca0e993aff29b515cc0625e1fd3840",
3+
"gen_hash_rust": "sha256:b63caa875c51187766776cd6d882af29d5d7cdcbcf30b633f35487955c34caa2",
4+
"gen_hash_verilog": "sha256:4219e79b0ba0d5b9be1516500e5b198410fa1316208b3519518c35c00d687980",
5+
"gen_hash_zig": "sha256:eb1d5068eb6c2f1d7ebbbcdc92b39a87d460159983913ca70eba047e2387dc39",
66
"module": "Account",
77
"ring": 12,
8-
"sealed_at": "2026-04-11T16:57:40Z",
9-
"spec_hash": "sha256:d59450c1d1f357b44340e8a90413e3685bd34a7c02bcc60dd5efdaa5d44f2fc3",
8+
"sealed_at": "2026-07-01T20:00:14Z",
9+
"spec_hash": "sha256:32609ddba28bb4aac267de6c2c63ae585ffece941132585f3238344791bee994",
1010
"spec_path": "specs/account/schema.t27"
1111
}

‎.trinity/seals/account_AccountAuth.json‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
{
2-
"gen_hash_c": "sha256:945c2e7bf75457086aaef28d8a693f7561181c6c9e483cb6c2e26ed5d6695ce3",
2+
"gen_hash_c": "sha256:aadf16be0d1a2c03e4b14c1f1c48431a6b5d2ce45a403db6f4df2a3e0620ff0d",
33
"gen_hash_rust": "sha256:682717bb5054ddbb6a6d90a5698bac9aa6854128b093f58739bb758d221af409",
4-
"gen_hash_verilog": "sha256:dbec113ba2f2b03b37f31cee877867a83c07f1142718d0910c3c1646b7441294",
5-
"gen_hash_zig": "sha256:8b3d24e51ba1bc2c778e94a5ca35139e0541911a753994132094d41dbe7a401c",
4+
"gen_hash_verilog": "sha256:e4da1d74d870906a698045badeb8985ab5f8cdf79e917a5b0c18488701bad621",
5+
"gen_hash_zig": "sha256:e4b168aa783a25e4f848975c0213bf68f52c5d4b70f7e03fcb8c082463f8f744",
66
"module": "AccountAuth",
77
"ring": 12,
8-
"sealed_at": "2026-04-11T16:57:40Z",
9-
"spec_hash": "sha256:e1355c4ae9276302788b24e68f1229d728b8b23b52f3422a96f55d68ab6e0b62",
8+
"sealed_at": "2026-07-01T20:00:14Z",
9+
"spec_hash": "sha256:d3a5c7757dd719955e3bb8bda8e32fb17cb294b9c0106835b488ce3d8e2abf3b",
1010
"spec_path": "specs/account/auth.t27"
1111
}

‎.trinity/seals/account_AccountRepo.json‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
{
2-
"gen_hash_c": "sha256:768d237b5208648bc95318ce67fb1aa3d67a0bd82de6a85fb7ff7cbbaab884d2",
2+
"gen_hash_c": "sha256:1aadd5d9582a52b9cadd0ed7c8ee7c8c86811058aeb5cb36a98fdcb2082bc153",
33
"gen_hash_rust": "sha256:efbd8f14870e96cd7a46eb4337be579b8da4d42c00bbfd84be1383757da2f300",
4-
"gen_hash_verilog": "sha256:ef8c9966e481ea982413b52d3cd90831d2a936e20dbc3a44f0d28569d9faffb0",
5-
"gen_hash_zig": "sha256:aac522313adda790d8de4419eb14cee9ff9e4d25df25fe0b96b296a131ddd9d9",
4+
"gen_hash_verilog": "sha256:c6d8e64f92b7b67213e8161c3951bab871dfd74521bb767cc0dd7ab74ff8d59e",
5+
"gen_hash_zig": "sha256:ac68d21ab926e2dac52809a8f257fcca55a21f4a6721d62bb313688ee78ea102",
66
"module": "AccountRepo",
77
"ring": 12,
8-
"sealed_at": "2026-04-11T16:57:40Z",
9-
"spec_hash": "sha256:320bbf24c3e227fc457fe90d95b24bf7d06dc2e24ed0ae780e3224fb281a5f75",
8+
"sealed_at": "2026-07-01T20:00:14Z",
9+
"spec_hash": "sha256:7dfc25b5a06b57876a2c08234da3494488a455afa7da4433ff5d75c59ef460ca",
1010
"spec_path": "specs/account/repo.t27"
1111
}

‎.trinity/seals/activation_Elu.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"gen_hash_c": "sha256:1c2cb68c245bbd14fefa7990f0de1cd5e619d1efea4de03644f10f4572d9e64f",
3+
"gen_hash_rust": "sha256:702708a46c4d386a3b27b514caf962ac181e187b914289b2c1107cd862b060ae",
4+
"gen_hash_verilog": "sha256:0ea19faba0cd4a11fe64c39b2b9b95330103989f63b6908bd5001ee7efa817a9",
5+
"gen_hash_zig": "sha256:640e11b6d45d4501a5476145692a07347f4a9b70d20d1b80a723105b0abe2f76",
6+
"module": "Elu",
7+
"ring": 12,
8+
"sealed_at": "2026-07-01T20:00:16Z",
9+
"spec_hash": "sha256:80769686b1cd7de71b5a61a790f882226450793f423b8dab1139be10f4df4748",
10+
"spec_path": "specs/ml/activation/elu_activation.t27"
11+
}

‎.trinity/seals/activation_Gelu.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"gen_hash_c": "sha256:9c6659cd51c019d49892263010a6a7b27797e5724d5d5be8682f51ef57fb78df",
3+
"gen_hash_rust": "sha256:0807fc5470110d4558318e904ddba28573c3aec7ad0f8adc96b143d9fdfacf3f",
4+
"gen_hash_verilog": "sha256:2370df24c866d1675d2fce8e1fba628079c6cc5491727ecd3714c009d255204c",
5+
"gen_hash_zig": "sha256:105e4797f713dfcfafbd26117fef0be8017a2c7bf22933820c25bb429c655b25",
6+
"module": "Gelu",
7+
"ring": 12,
8+
"sealed_at": "2026-07-01T20:00:16Z",
9+
"spec_hash": "sha256:3c34e36a16bc732572de54cd5a41ff1139c2f0d05b28cccb1fe8c1dc29c21e65",
10+
"spec_path": "specs/ml/activation/gelu_activation.t27"
11+
}

‎.trinity/seals/activation_GeluApprox.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"gen_hash_c": "sha256:053b8c9041728b36390f6d830a1814ad064dfa09ef718af8b9276d9726cb7ca0",
3+
"gen_hash_rust": "sha256:e4956609fcf03bbd4c6618ccb2c752c301c34517cd4984cb53d35171682b79e9",
4+
"gen_hash_verilog": "sha256:5368cce90191aceaf56e59e32ceb0d20d68ffcc253b0d13c57aab031cdb6c9d4",
5+
"gen_hash_zig": "sha256:ff0b0ae4433f5581af802ea52c3020e626875698e70bd092ca2842cb4d3afca3",
6+
"module": "GeluApprox",
7+
"ring": 12,
8+
"sealed_at": "2026-07-01T20:00:16Z",
9+
"spec_hash": "sha256:3a74a18b91ed8e675b2d44fc822f28cd25ced5d9c3f8a902786c5a31dd11c30f",
10+
"spec_path": "specs/ml/activation/gelu_approx_activation.t27"
11+
}

‎.trinity/seals/activation_LeakyRelu.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"gen_hash_c": "sha256:af62ebe917e3bc16fd84238832f80f900fe5dec9ff226ab3f3af941981ff2c21",
3+
"gen_hash_rust": "sha256:c692e084486ae2fce2db05ba1db034a42f707c4d676f930aacb1602784ecc401",
4+
"gen_hash_verilog": "sha256:e721e03ce321ef392a6a02ef08d899a5e1ce8301f074cb3c6c3a81a316c84d27",
5+
"gen_hash_zig": "sha256:4bcaa1e78540c84e27fca79a85713431b34caebdd42e54f8389a99f75df33d83",
6+
"module": "LeakyRelu",
7+
"ring": 12,
8+
"sealed_at": "2026-07-01T20:00:16Z",
9+
"spec_hash": "sha256:c6cf3e0b7de5d05674b0dcf9c9f2dd1c7efe0a507a99644025f58261c5b15efe",
10+
"spec_path": "specs/ml/activation/leaky_relu_activation.t27"
11+
}

‎.trinity/seals/activation_Relu.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"gen_hash_c": "sha256:c319fcdb8a5cf76c8d4f219dc11f9883716bd903de0b54f35f911cf879bd0bb9",
3+
"gen_hash_rust": "sha256:5e3fac654aa878b911974f2689bd99edd72bd99611989c3cbf5fb2de5fe48f4d",
4+
"gen_hash_verilog": "sha256:15d6d3b3baddd3013d73cb7d66c5af04999e7b9c1a750887bb07e7ec00f35ada",
5+
"gen_hash_zig": "sha256:f3f1572505475fa99280ebe61abdb90c54055393cd1e34182f3141ded920b3ba",
6+
"module": "Relu",
7+
"ring": 12,
8+
"sealed_at": "2026-07-01T20:00:16Z",
9+
"spec_hash": "sha256:a5bdd0ef72dc158e827f1a1986185e6d2429c7171f7a345b1afcaf45ed159a4a",
10+
"spec_path": "specs/ml/activation/relu_activation.t27"
11+
}

‎.trinity/seals/activation_Sigmoid.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"gen_hash_c": "sha256:d4a9cb8e596aabb6da17d9f70c50572493e7fc56f10ee403086926cf12a17efa",
3+
"gen_hash_rust": "sha256:bebd3d0931475b1d1978e499041814fa8082ab381d5159efdb8f7e20ab064930",
4+
"gen_hash_verilog": "sha256:faeefbad909e1e9f43664509f8f94b4f646f09f03b7aebb1467d8e55896c7beb",
5+
"gen_hash_zig": "sha256:ac793050a1d56ee4493a3db343329295a85abdc85f6b0a270d3cf96e4daaf32d",
6+
"module": "Sigmoid",
7+
"ring": 12,
8+
"sealed_at": "2026-07-01T20:00:16Z",
9+
"spec_hash": "sha256:57354f8525068440df541ffe1bd2e9d059248b1c35fcfc3b1cda4cd0beb8c08a",
10+
"spec_path": "specs/ml/activation/sigmoid_activation.t27"
11+
}

‎.trinity/seals/activation_SiluSwish.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"gen_hash_c": "sha256:ad6770e8566d696675e2d53deadee91870014201292e19238384416f4e735e64",
3+
"gen_hash_rust": "sha256:4eabaecde8daa8ce4608e3a8b0b11a80c8fcd59e279689783e5734dda3a65aed",
4+
"gen_hash_verilog": "sha256:e5153424033c8e48116892cb8199306fef6a359f4077ccd0a476a38dc4261538",
5+
"gen_hash_zig": "sha256:37a8df3e50483f0f93e43c1f60b1ba2a4d24b39519f8b56bcceab43b7d2d1a5e",
6+
"module": "SiluSwish",
7+
"ring": 12,
8+
"sealed_at": "2026-07-01T20:00:16Z",
9+
"spec_hash": "sha256:57648d4b56135798ce356c530e5a55a3df2815d6dd254ef86f5a2d99b1c00158",
10+
"spec_path": "specs/ml/activation/silu_swish_activation.t27"
11+
}

0 commit comments

Comments
 (0)