From 1da1b05ca0b5f4ace251c2754c67215187aee164 Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Mon, 19 Oct 2026 15:23:29 +0700 Subject: [PATCH] t27b ledger: drop train_hslm (the aarch64 reference cannot link its 18.5 MB of thread-local state), name thread_model (Closes #10954) The t27b reference runs on aarch64 Linux, where a thread's own variables must lie within 16 MiB of the thread pointer (R_AARCH64_TLSLE_ADD_TPREL_HI12). The threadlocal gradient arrays of the spliced nn/hslm code total 18.5 MB, so test-report cannot link train_hslm there; x86_64 is unaffected (30 of 30 on the lab). thread_model.t27 is blocked in t27b on ExprCall(undeclared fn). Co-Authored-By: Claude Sonnet 5.5 --- docs/reports/t27b_expectations.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/reports/t27b_expectations.json b/docs/reports/t27b_expectations.json index cdefaedfce..cd6a794ab0 100644 --- a/docs/reports/t27b_expectations.json +++ b/docs/reports/t27b_expectations.json @@ -601,7 +601,7 @@ {"path": "specs/ml/rl/ppo_critic.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/rl/sac_actor.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/rl/sac_critic.t27", "t27b": "pass"}, - {"path": "specs/ml/train_hslm.t27", "t27b": "blocked", "blocker": "type std.os.linux.timespec", "reason": "unimplemented"}, + {"path": "specs/ml/thread_model.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/train_slice_model.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/transformer/encoder_block.t27", "t27b": "blocked", "blocker": "ExprCall(undeclared fn)", "reason": "unimplemented"}, {"path": "specs/ml/transformer/feed_forward_network.t27", "t27b": "pass"},