diff --git a/.trinity/seals/ml_eval_hslm.json b/.trinity/seals/ml_eval_hslm.json index f502b57265..123dcbc6a9 100644 --- a/.trinity/seals/ml_eval_hslm.json +++ b/.trinity/seals/ml_eval_hslm.json @@ -1,5 +1,5 @@ { - "built_by": "t27c-bootstrap@0.5.2+78e57be99", + "built_by": "t27c-bootstrap@0.5.2+589e8e088", "closure": [ { "spec": "specs/base/types.t27", @@ -7,20 +7,20 @@ }, { "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, diff --git a/specs/ml/eval_hslm.t27 b/specs/ml/eval_hslm.t27 index 918afdca65..8e42055df8 100644 --- a/specs/ml/eval_hslm.t27 +++ b/specs/ml/eval_hslm.t27 @@ -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;