open-standards/jouleclaw/jouleclaw-rs/crates/jouleclaw-runtime/tests/real_tinyllama.rs
Transaction Science 29dff259e4 jouleclaw Phase 3: backends (reference + apple) + runtime
Three crates ported. All 440 tests pass across Phase 1+2+3.

jouleclaw-backend-reference
  Ported from pattern-lang/joule-backend-reference (~3556 LOC, 17 files).
  Pure-Rust scalar kernels — the determinism oracle every other backend
  validates against. Activation, conv1d, elementwise, lookup (incl. bit
  and ternary), matmul (incl. bit, q8_0, stq1_0, ternary), norm, rope,
  sample, shape, softmax.

jouleclaw-backend-apple
  Ported from pattern-lang/joule-backend-apple (~1116 LOC, 4 files).
  Accelerate (cblas_sgemm via direct FFI; build.rs links the
  framework), Metal compute kernels, MPSMatrixMultiplication. On M5,
  MPS matmul auto-routes through the GPU's Neural Accelerators
  (Tensor APIs). Two Rust-2024 extern-block fixes (unsafe extern "C")
  in accelerate.rs and mps_matmul.rs.

jouleclaw-runtime
  Ported from pattern-lang/joule-runtime (~10218 LOC, 10 files).
  The runtime kernel: chat, embed, generate, streaming, compile,
  execute, validate, plus the speculative-decoding primitives
  (drafter, PLD = prompt lookup decoding). Wires the cascade
  (jouleclaw-cascade), the topology (jouleclaw-topology), the format
  loader (jouleclaw-loader-gguf), and both backends together.

  One Rust-2024 binding-mode fix in compile.rs (|(_, &d)| d == 0 →
  |(_, d)| **d == 0). Three types in jouleclaw-loader-gguf
  (KvQuant, KvSnapshot, ShortConvStateSnapshot) gained
  serde::{Serialize, Deserialize} derives so the runtime's
  ConversationCheckpoint can be serialized; serde added to the
  loader-gguf Cargo.toml.

  Day-one model coverage inherits everything mistral.rs's parent
  loaders support — Llama (incl. Llama 4), Mistral (incl. Small 4),
  Qwen (3, 3-VL, 3 MoE), Gemma (incl. Gemma 4 with MTP drafter), Phi
  (incl. Phi-4 MM), DeepSeek V3, Granite 4 — through this runtime's
  PLD + drafter paths.

  31 integration test files cover: alias-energy, blocks, boot
  validation, causal, chat, chunked prefill, concat-and-offset, embed,
  end-to-end model, generation (incl. inplace), GQA, inplace-alias
  proof, integration, KV cache (incl. inplace), multihead, prefix
  cache, real Bonsai (incl. streaming), real Liquid LFM2, real Tencent
  HYMT, real TinyLlama, repeat, rope-and-scaling, sampling features,
  scatter (incl. inplace), shape, slice (incl. slice-attention),
  streaming, text-to-logits, validation.

Phase 4 next: the model tiers — gemma4, liquid (CfC SSM), prism (1-bit
ternary BitNet), mrl (Matryoshka embeddings), lmm (vision/text/audio),
ebm (energy-based constraint satisfaction). All depend on the runtime
+ backends shipped in this commit.

Deferred to later phases: HAL from efficient-genai + the discrete-GPU
backends (CUDA, ROCm, Vulkan) — these are needed for Phase 5
omni-modal (diffusion, stable-diffusion, gaussian3d, video), not for
Phase 4 text/code/SSM model tiers which run on Apple + reference.

Co-Authored-By: Claude Opus 4.7 <[email protected]>
2026-05-26 13:09:59 -04:00

119 lines
5 KiB
Rust

//! Empirical real-model harness.
//!
//! Loads a genuine TinyLlama-1.1B-Chat Q4_K_M GGUF, runs ONE real
//! forward pass through the existing jouleclaw-loader-gguf + jouleclaw-runtime
//! pipeline, samples the next token, and reports wall-clock timing.
//!
//! `#[ignore]` because it needs the model file on disk (not in CI).
//! Run explicitly:
//!
//! cargo test -p jouleclaw-runtime --test real_tinyllama -- --ignored --nocapture
//!
//! Model path: `JOULE_TINYLLAMA` env var, else
//! `../../models/tinyllama-1.1b-chat-q4km.gguf` relative to the crate.
use jouleclaw_loader_gguf::llama::{build_llama_graph, LlamaConfig};
use jouleclaw_loader_gguf::sample::{sample_logits, SamplingConfig};
use jouleclaw_loader_gguf::tokenizer::Vocab;
use jouleclaw_loader_gguf::read_gguf_file;
use jouleclaw_runtime::{compile, execute, ExecutionOptions, Runtime};
use std::collections::HashMap;
use std::time::Instant;
fn model_path() -> String {
std::env::var("JOULE_TINYLLAMA")
.unwrap_or_else(|_| "../../models/tinyllama-1.1b-chat-q4km.gguf".to_string())
}
#[test]
#[ignore]
fn real_tinyllama_one_forward_pass() {
let path = model_path();
eprintln!("loading {}", path);
let t0 = Instant::now();
let model = read_gguf_file(&path).expect("read_gguf_file");
eprintln!(" parsed GGUF in {:?}", t0.elapsed());
eprintln!(" arch = {:?}", model.metadata_string("general.architecture"));
let cfg = LlamaConfig::from_metadata(&model).expect("LlamaConfig::from_metadata");
eprintln!(
" config: vocab={} dim={} layers={} ff={} heads={} kv_heads={} ctx={} rope_base={}",
cfg.vocab_size,
cfg.embedding_length,
cfg.block_count,
cfg.feed_forward_length,
cfg.head_count,
cfg.head_count_kv,
cfg.context_length,
cfg.rope_base,
);
let vocab = Vocab::from_gguf(&model).expect("Vocab::from_gguf");
eprintln!(" vocab tokens = {}", cfg.vocab_size);
// A short prompt. TinyLlama-Chat uses a Zephyr-ish template; we keep
// it simple — raw text, BOS prepended by the tokenizer.
let prompt = "The capital of France is";
// TinyLlama (Llama-2 lineage) uses SentencePiece, not GPT-2 BPE.
// tokenizer.ggml.model == "llama" → SPM encoder.
let token_ids_u32 = vocab.encode_spm(prompt, true);
eprintln!(" prompt {:?} → {} tokens: {:?}", prompt, token_ids_u32.len(), token_ids_u32);
let seq_len = token_ids_u32.len();
assert!(seq_len > 0, "tokenizer produced no tokens");
let t1 = Instant::now();
let llama = build_llama_graph(&model, seq_len).expect("build_llama_graph");
eprintln!(" built graph: {} nodes in {:?}", llama.graph.nodes.len(), t1.elapsed());
let t2 = Instant::now();
// Reference backend only: the AppleAmx matmul kernel has a known
// preexisting batched inner-dim bug (also fails joule-l2 +
// boot_validation). The reference backend is the determinism oracle
// and handles real attention correctly — slowly.
let runtime = Runtime::reference_only();
let compiled = compile(llama.graph, &runtime.kernels).expect("compile");
eprintln!(" compiled: {} plan entries in {:?}", compiled.plan.len(), t2.elapsed());
// Bind token_ids as an I32 tensor [seq_len].
let bytes: Vec<u8> = token_ids_u32
.iter()
.flat_map(|&id| (id as i32).to_le_bytes())
.collect();
let token_tensor = jouleclaw_core::tensor::Tensor {
meta: jouleclaw_core::tensor::TensorMeta::new(jouleclaw_core::tensor::Dtype::I32, &[seq_len]),
storage: std::sync::Arc::new(jouleclaw_core::tensor::TensorStorage { bytes, mapped: None }),
};
let mut inputs = HashMap::new();
inputs.insert("token_ids".to_string(), token_tensor);
let t3 = Instant::now();
let res = execute(&compiled, inputs, ExecutionOptions::default()).expect("execute");
let fwd = t3.elapsed();
eprintln!(" >>> ONE forward pass ({} tokens): {:?}", seq_len, fwd);
eprintln!(" >>> per-token: {:?}", fwd / seq_len as u32);
let logits = res.outputs.get("logits").expect("logits output");
assert_eq!(
logits.meta.shape,
vec![seq_len, cfg.vocab_size],
"logits shape"
);
let l = logits.as_f32_vec();
// Next-token logits = last row.
let last = &l[(seq_len - 1) * cfg.vocab_size..seq_len * cfg.vocab_size];
let next = sample_logits(last, &SamplingConfig::greedy());
let tok = vocab.id_to_token(next).unwrap_or("<unk>");
eprintln!(" >>> greedy next token: id={} {:?}", next, tok);
eprintln!(" >>> continuation: {:?}{}", prompt, vocab.decode_bpe(&[next]));
// Sanity: softmax sums to 1, logits finite.
let max = last.iter().cloned().fold(f32::NEG_INFINITY, f32::max);
let sum: f32 = last.iter().map(|x| (x - max).exp()).sum();
assert!(sum.is_finite() && sum > 0.0, "logits must be finite");
eprintln!(
"VERDICT: real 1.1B model loaded + ran via the existing pipeline. \
Forward {:?} for {} tokens ({:?}/tok).",
fwd, seq_len, fwd / seq_len as u32
);
}