Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 8 additions & 8 deletions .trinity/seals/ml_eval_hslm.json
Original file line number Diff line number Diff line change
@@ -1,26 +1,26 @@
{
"built_by": "t27c-bootstrap@0.5.2+78e57be99",
"built_by": "t27c-bootstrap@0.5.2+589e8e088",
"closure": [
{
"spec": "specs/base/types.t27",
"spec_hash": "sha256:3c2fb2a2edf20e90bc76798fb5d12690b2f60fc0f5bbf2f6052936e22d6e62e2"
},
{
"spec": "specs/ml/train_hslm.t27",
"spec_hash": "sha256:8fd4733d3ff131fc85c947e7e6146666d0f06fdaf3a5e563d7ce2fa70eb61b8d"
"spec_hash": "sha256:8218a7d2003b4b78582badf5e5b3bb42117455e722a4f4805b18963c2c092859"
}
],
"config": "gen=c,rust,verilog,zig;tests=zig",
"gen_hash_c": "sha256:e91abbab32e18fcfa9e21d34d008f03403bc89cbd0854b67bb8abee8b9837fc5",
"gen_hash_rust": "sha256:b6de0a736dcf8e345589be6023120266c76f7027b0228bad13acbf539ac919ae",
"gen_hash_verilog": "sha256:dcd0ce71c7ad6490a0e832129ee77cfbecd5deabbecdd9ee622e898663341a3c",
"gen_hash_zig": "sha256:f4985e4700d6a5df8adb59b772c04f664429adf19fb3ee05abd0b0cbf16d2c0b",
"gen_hash_c": "sha256:a0b0ed9a32959c3e052c97d6d5609dc4a872253c530b7e3b50911a15deb77af3",
"gen_hash_rust": "sha256:ba431d41145782c6c7ab4290eee3f5a3b22ddf4c4e2c56d6eadea6b7139359f9",
"gen_hash_verilog": "sha256:e56cbed9d46338c9faf645f014c3e2b56933fe94660c0ab0f7e43ec0ac8bbd3d",
"gen_hash_zig": "sha256:277861c793ae6334da57135856012bac90fe0a516c74ff73f0e29089b494099c",
"module": "eval_hslm",
"ring": 12,
"seal_schema": 2,
"sealed_at": "2026-10-19T04:28:30Z",
"sealed_at": "2026-10-19T06:04:00Z",
"sealed_by": "t27c-bootstrap@0.5.2",
"spec_hash": "sha256:09c6729a1509a6ec95616fd50fccf4eb6a3d65dfd22c9aec359e6079a52acec1",
"spec_hash": "sha256:6452fba3d2ce924886e5d442cb12428aa118c40829356f21785c765bf00554d1",
"spec_path": "specs/ml/eval_hslm.t27",
"tests": {
"failed": 0,
Expand Down
32 changes: 32 additions & 0 deletions specs/ml/eval_hslm.t27
Original file line number Diff line number Diff line change
Expand Up @@ -145,6 +145,38 @@ var valid_tok : [VALID_CAP]u16 = undefined;
var nvalid : usize = 0;
var win_logits : [VOCAB_SIZE]f64 = undefined;
var kv_n1 : [EMBED_DIM]f64 = undefined;
; speed=3 window scratch of train_hslm.t27 (tr3_*, #10849): same names, types and sizes
var b3_tok : [CONTEXT_LEN]usize = undefined;
var b3_x : [NUM_BLOCKS * CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_n1 : [NUM_BLOCKS * CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_rms1 : [NUM_BLOCKS * CONTEXT_LEN]f64 = undefined;
var b3_q : [NUM_BLOCKS * CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_attn : [NUM_BLOCKS * CONTEXT_LEN * NUM_HEADS * CONTEXT_LEN]f64 = undefined;
var b3_ctx : [NUM_BLOCKS * CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_r : [NUM_BLOCKS * CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_pre : [NUM_BLOCKS * CONTEXT_LEN * FF_DIM]f64 = undefined;
var b3_h : [NUM_BLOCKS * CONTEXT_LEN * FF_DIM]f64 = undefined;
var b3_out : [NUM_BLOCKS * CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_hn : [CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_hrms : [CONTEXT_LEN]f64 = undefined;
var b3_logits : [CONTEXT_LEN * VOCAB_SIZE]f64 = undefined;
var b3_y : [CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_wt : [VOCAB_SIZE]f64 = undefined;
var b3_dl : [CONTEXT_LEN * VOCAB_SIZE]f64 = undefined;
var b3_dz : [CONTEXT_LEN * VOCAB_SIZE]f64 = undefined;
var b3_bo : [CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_br : [CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_bctx : [CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_bq : [CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_bk : [CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_bv : [CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_bn : [CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_tmp : [CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_se : [CONTEXT_LEN * EMBED_DIM]f64 = undefined;
var b3_bh : [CONTEXT_LEN * FF_DIM]f64 = undefined;
var b3_bpre : [CONTEXT_LEN * FF_DIM]f64 = undefined;
var b3_sf : [CONTEXT_LEN * FF_DIM]f64 = undefined;
var b3_da : [CONTEXT_LEN]f64 = undefined;
var io_chunk : [IO_CHUNK]u8 = undefined;
var io_back : [IO_CHUNK]u8 = undefined;
var io_hdr : [STATE_HEADER]u8 = undefined;
Expand Down
Loading