use cortiq_core::format::{CmfHeader, CmfModel, TensorSpec, TokenizerBundle, CMF_VERSION};
use cortiq_core::quant::{bf16_to_f32, f16_to_f32, f32_to_f16};
use cortiq_core::types::{LayerType, ModelArch, NormStyle, QuantType, TensorDtype};
use std::fs;
use std::io::Read;
use std::path::Path;
use std::sync::Mutex;
use std::time::Duration;
const GROUP_SIZE: usize = 32;
const F16_TINY: f32 = 6.103_515_625e-5;
fn f16_scale(raw: f32) -> f32 {
f16_to_f32(f32_to_f16(raw)).max(F16_TINY)
}
#[derive(Clone, Copy, PartialEq)]
enum Quant {
Q8Row,
Q4Block,
F16,
}
fn parse_quant(s: &str) -> anyhow::Result<Quant> {
Ok(match s.to_ascii_lowercase().as_str() {
"q8" | "q8_row" | "q8row" => Quant::Q8Row,
"q4" | "q4_block" | "q4block" => Quant::Q4Block,
"f16" | "fp16" => Quant::F16,
other => anyhow::bail!("unknown quant '{other}' (use q8, q4, or f16)"),
})
}
fn encode_q8_row(vals: &[f32], out_dim: usize, in_dim: usize) -> Vec<u8> {
let mut q = Vec::with_capacity(out_dim * in_dim);
let mut scales = Vec::with_capacity(out_dim * 2);
for o in 0..out_dim {
let row = &vals[o * in_dim..(o + 1) * in_dim];
let absmax = row.iter().fold(0f32, |m, v| m.max(v.abs()));
let scale = f16_scale(absmax / 127.0);
for &v in row {
q.push((v / scale).round().clamp(-128.0, 127.0) as i8 as u8);
}
scales.extend_from_slice(&f32_to_f16(scale).to_le_bytes());
}
q.extend_from_slice(&scales);
q
}
fn encode_q4_block(vals: &[f32]) -> Vec<u8> {
let n_groups = vals.len().div_ceil(GROUP_SIZE);
let mut padded = vals.to_vec();
padded.resize(n_groups * GROUP_SIZE, 0.0);
let mut packed = Vec::with_capacity(n_groups * 16);
let mut scales = Vec::with_capacity(n_groups * 2);
for g in 0..n_groups {
let group = &padded[g * GROUP_SIZE..(g + 1) * GROUP_SIZE];
let absmax = group.iter().fold(0f32, |m, v| m.max(v.abs()));
let scale = f16_scale(absmax / 7.0);
for k in 0..16 {
let q0 = ((group[k * 2] / scale).round().clamp(-8.0, 7.0) as i8 + 8) as u8;
let q1 = ((group[k * 2 + 1] / scale).round().clamp(-8.0, 7.0) as i8 + 8) as u8;
packed.push((q0 & 0x0F) | (q1 << 4));
}
scales.extend_from_slice(&f32_to_f16(scale).to_le_bytes());
}
packed.extend_from_slice(&scales);
packed
}
fn encode_f16(vals: &[f32]) -> Vec<u8> {
let mut out = Vec::with_capacity(vals.len() * 2);
for &v in vals {
out.extend_from_slice(&f32_to_f16(v).to_le_bytes());
}
out
}
fn to_f32(dtype: &str, raw: &[u8]) -> anyhow::Result<Vec<f32>> {
Ok(match dtype {
"F32" => raw.chunks_exact(4).map(|b| f32::from_le_bytes([b[0], b[1], b[2], b[3]])).collect(),
"F16" => raw.chunks_exact(2).map(|b| f16_to_f32(u16::from_le_bytes([b[0], b[1]]))).collect(),
"BF16" => raw.chunks_exact(2).map(|b| bf16_to_f32(u16::from_le_bytes([b[0], b[1]]))).collect(),
other => anyhow::bail!("unsupported safetensors dtype '{other}' (need F32/F16/BF16)"),
})
}
#[allow(clippy::type_complexity)]
fn read_safetensors(path: &Path) -> anyhow::Result<Vec<(String, String, Vec<usize>, Vec<u8>)>> {
let bytes = fs::read(path)?;
if bytes.len() < 8 {
anyhow::bail!("{}: too small to be safetensors", path.display());
}
let hlen = u64::from_le_bytes(bytes[0..8].try_into().unwrap()) as usize;
let header: serde_json::Value = serde_json::from_slice(&bytes[8..8 + hlen])?;
let data_start = 8 + hlen;
let obj = header.as_object().ok_or_else(|| anyhow::anyhow!("bad safetensors header"))?;
let mut out = Vec::new();
for (name, v) in obj {
if name == "__metadata__" {
continue;
}
let dtype = v["dtype"].as_str().unwrap_or("").to_string();
let shape: Vec<usize> =
v["shape"].as_array().map(|a| a.iter().map(|x| x.as_u64().unwrap_or(0) as usize).collect()).unwrap_or_default();
let offs = v["data_offsets"].as_array().ok_or_else(|| anyhow::anyhow!("tensor '{name}': no data_offsets"))?;
let s = offs[0].as_u64().unwrap_or(0) as usize;
let e = offs[1].as_u64().unwrap_or(0) as usize;
out.push((name.clone(), dtype, shape, bytes[data_start + s..data_start + e].to_vec()));
}
Ok(out)
}
#[allow(clippy::type_complexity)]
fn read_model_tensors(dir: &Path) -> anyhow::Result<Vec<(String, String, Vec<usize>, Vec<u8>)>> {
let index = dir.join("model.safetensors.index.json");
let single = dir.join("model.safetensors");
if single.exists() {
return read_safetensors(&single);
}
if index.exists() {
let idx: serde_json::Value = serde_json::from_slice(&fs::read(&index)?)?;
let map = idx["weight_map"].as_object().ok_or_else(|| anyhow::anyhow!("bad index json"))?;
let mut files: Vec<String> = map.values().filter_map(|v| v.as_str().map(String::from)).collect();
files.sort();
files.dedup();
let mut all = Vec::new();
for f in files {
all.extend(read_safetensors(&dir.join(f))?);
}
return Ok(all);
}
anyhow::bail!("no model.safetensors or model.safetensors.index.json in {}", dir.display())
}
fn cfg_usize(c: &serde_json::Value, key: &str) -> Option<usize> {
c.get(key).and_then(|v| v.as_u64()).map(|x| x as usize)
}
fn build_arch(config: &serde_json::Value) -> anyhow::Result<ModelArch> {
let tc = config.get("text_config").unwrap_or(config);
let model_type = config.get("model_type").and_then(|v| v.as_str()).unwrap_or("unknown").to_string();
let hidden = cfg_usize(tc, "hidden_size").ok_or_else(|| anyhow::anyhow!("config: missing hidden_size"))?;
let n_heads = cfg_usize(tc, "num_attention_heads").ok_or_else(|| anyhow::anyhow!("config: missing num_attention_heads"))?;
let n_layers = cfg_usize(tc, "num_hidden_layers").ok_or_else(|| anyhow::anyhow!("config: missing num_hidden_layers"))?;
if tc.get("num_experts").and_then(|v| v.as_u64()).unwrap_or(0) > 0
|| tc.get("linear_num_value_heads").is_some()
{
anyhow::bail!("this model uses MoE / linear-attention layers — not supported by the native converter yet (use the Python converter)");
}
let head_dim = cfg_usize(tc, "head_dim").unwrap_or(hidden / n_heads.max(1));
let norm_style = if model_type.to_lowercase().contains("gemma") { NormStyle::Gemma } else { NormStyle::Qwen };
Ok(ModelArch {
arch_name: model_type,
hidden_size: hidden,
intermediate_size: cfg_usize(tc, "intermediate_size").ok_or_else(|| anyhow::anyhow!("config: missing intermediate_size"))?,
num_layers: n_layers,
num_attention_heads: n_heads,
num_kv_heads: cfg_usize(tc, "num_key_value_heads").unwrap_or(n_heads),
head_dim,
vocab_size: cfg_usize(tc, "vocab_size").ok_or_else(|| anyhow::anyhow!("config: missing vocab_size"))?,
layer_types: vec![LayerType::FullAttention; n_layers],
rms_norm_eps: tc.get("rms_norm_eps").and_then(|v| v.as_f64()).unwrap_or(1e-6),
norm_style,
rope_theta: tc.get("rope_theta").and_then(|v| v.as_f64()).unwrap_or(10_000.0),
tie_word_embeddings: config.get("tie_word_embeddings").and_then(|v| v.as_bool()).unwrap_or(false),
partial_rotary_factor: tc.get("partial_rotary_factor").and_then(|v| v.as_f64()).unwrap_or(1.0) as f32,
mtp: None,
moe: None,
linear_core: None,
max_position_embeddings: cfg_usize(tc, "max_position_embeddings").unwrap_or(32_768),
linear_conv_kernel_dim: None,
linear_num_key_heads: None,
linear_num_value_heads: None,
linear_key_head_dim: None,
linear_value_head_dim: None,
})
}
fn eos_ids(gen_cfg: &serde_json::Value, config: &serde_json::Value) -> Vec<u32> {
for src in [gen_cfg.get("eos_token_id"), config.get("eos_token_id")] {
if let Some(v) = src {
if let Some(n) = v.as_u64() {
return vec![n as u32];
}
if let Some(a) = v.as_array() {
return a.iter().filter_map(|x| x.as_u64().map(|n| n as u32)).collect();
}
}
}
Vec::new()
}
fn looks_like_repo(s: &str) -> bool {
let s = s.trim_matches('/');
s.split('/').count() == 2 && !s.contains(char::is_whitespace) && !Path::new(s).exists()
}
fn hf_cache_dir(repo: &str) -> anyhow::Result<std::path::PathBuf> {
let base = std::env::var_os("HOME")
.map(|h| std::path::PathBuf::from(h).join(".cache/cortiq/hf"))
.unwrap_or_else(|| std::path::PathBuf::from(".cortiq-hf"));
let dir = base.join(repo.replace('/', "--"));
fs::create_dir_all(&dir)?;
Ok(dir)
}
const HF_CHUNK: u64 = 32 * 1024 * 1024;
fn hf_threads() -> usize {
std::env::var("CORTIQ_HF_THREADS")
.ok()
.and_then(|v| v.parse::<usize>().ok())
.filter(|&n| n >= 1)
.unwrap_or(8)
.min(16)
}
fn cached(dest: &Path) -> bool {
dest.exists() && fs::metadata(dest).map(|m| m.len() > 0).unwrap_or(false)
}
fn auth<'a>(mut req: ureq::Request, token: Option<&'a str>) -> ureq::Request {
req = req.set("User-Agent", "cortiq-convert");
if let Some(t) = token {
req = req.set("Authorization", &format!("Bearer {t}"));
}
req
}
fn probe_size(agent: &ureq::Agent, url: &str, token: Option<&str>) -> Option<u64> {
let resp = auth(agent.get(url).set("Range", "bytes=0-0"), token).call().ok()?;
resp.header("Content-Range")?.rsplit('/').next()?.trim().parse::<u64>().ok()
}
fn get_range(agent: &ureq::Agent, url: &str, token: Option<&str>, start: u64, end: u64) -> anyhow::Result<Vec<u8>> {
let resp = auth(agent.get(url).set("Range", &format!("bytes={}-{}", start, end - 1)), token)
.call()
.map_err(|e| anyhow::anyhow!("{e}"))?;
let mut buf = Vec::with_capacity((end - start) as usize);
resp.into_reader().read_to_end(&mut buf)?;
Ok(buf)
}
fn write_at(path: &Path, offset: u64, data: &[u8]) -> std::io::Result<()> {
use std::io::{Seek, SeekFrom, Write};
let mut f = fs::OpenOptions::new().write(true).open(path)?;
f.seek(SeekFrom::Start(offset))?;
f.write_all(data)
}
fn fetch(agent: &ureq::Agent, url: &str, dest: &Path, token: Option<&str>, required: bool, threads: usize) -> anyhow::Result<bool> {
if cached(dest) {
return Ok(true);
}
let tmp = dest.with_extension("part");
let size = probe_size(agent, url, token);
if let Some(sz) = size {
if sz > HF_CHUNK && threads > 1 {
{
let f = fs::File::create(&tmp)?;
f.set_len(sz)?;
}
let chunks: Vec<(u64, u64)> =
(0..sz).step_by(HF_CHUNK as usize).map(|s| (s, (s + HF_CHUNK).min(sz))).collect();
let queue = Mutex::new(chunks);
let err: Mutex<Option<String>> = Mutex::new(None);
std::thread::scope(|scope| {
for _ in 0..threads {
scope.spawn(|| loop {
if err.lock().unwrap().is_some() {
break;
}
let Some((start, end)) = queue.lock().unwrap().pop() else { break };
let r = get_range(agent, url, token, start, end)
.and_then(|buf| write_at(&tmp, start, &buf).map_err(Into::into));
if let Err(e) = r {
*err.lock().unwrap() = Some(e.to_string());
break;
}
});
}
});
if let Some(e) = err.into_inner().unwrap() {
anyhow::bail!("download {url}: {e}");
}
fs::rename(&tmp, dest)?;
return Ok(true);
}
}
match auth(agent.get(url), token).call() {
Ok(resp) => {
let mut r = resp.into_reader();
let mut f = fs::File::create(&tmp)?;
std::io::copy(&mut r, &mut f)?;
fs::rename(&tmp, dest)?;
Ok(true)
}
Err(ureq::Error::Status(404, _)) if !required => Ok(false),
Err(e) => anyhow::bail!("download {url}: {e}"),
}
}
fn hf_download(repo: &str, token: Option<&str>) -> anyhow::Result<std::path::PathBuf> {
let dir = hf_cache_dir(repo)?;
let base = format!("https://huggingface.co/{repo}/resolve/main");
let threads = hf_threads();
let agent = ureq::AgentBuilder::new()
.timeout_connect(Duration::from_secs(20))
.timeout_read(Duration::from_secs(300))
.build();
for (f, required) in [
("config.json", true),
("tokenizer.json", true),
("tokenizer_config.json", false),
("generation_config.json", false),
] {
fetch(&agent, &format!("{base}/{f}"), &dir.join(f), token, required, threads)?;
}
let idx = dir.join("model.safetensors.index.json");
if fetch(&agent, &format!("{base}/model.safetensors.index.json"), &idx, token, false, 1)? {
let j: serde_json::Value = serde_json::from_slice(&fs::read(&idx)?)?;
let map = j["weight_map"].as_object().ok_or_else(|| anyhow::anyhow!("bad safetensors index"))?;
let mut shards: Vec<String> = map.values().filter_map(|v| v.as_str().map(String::from)).collect();
shards.sort();
shards.dedup();
for (i, s) in shards.iter().enumerate() {
eprintln!(" shard {}/{} ({threads}× parallel): {s}", i + 1, shards.len());
fetch(&agent, &format!("{base}/{s}"), &dir.join(s), token, true, threads)?;
}
} else {
eprintln!(" model.safetensors ({threads}× parallel)");
fetch(&agent, &format!("{base}/model.safetensors"), &dir.join("model.safetensors"), token, true, threads)?;
}
Ok(dir)
}
pub fn run_convert(
model: &str,
quant: &str,
output: &str,
hf_token: Option<&str>,
mut progress: impl FnMut(f32),
) -> anyhow::Result<()> {
let quant = parse_quant(quant)?;
let downloaded;
let dir: &Path = if Path::new(model).join("config.json").exists() {
Path::new(model)
} else if looks_like_repo(model) {
eprintln!("downloading {model} from Hugging Face…");
downloaded = hf_download(model, hf_token)?;
downloaded.as_path()
} else {
anyhow::bail!("'{model}': not a local model dir (no config.json) and not an HF repo id (owner/name)");
};
let config: serde_json::Value = serde_json::from_slice(&fs::read(dir.join("config.json"))
.map_err(|e| anyhow::anyhow!("read config.json: {e}"))?)?;
let arch = build_arch(&config)?;
let raw = read_model_tensors(dir)?;
let total = raw.len().max(1);
let mut tensors: Vec<TensorSpec> = Vec::with_capacity(raw.len());
for (i, (name, dtype, shape, bytes)) in raw.into_iter().enumerate() {
let vals = to_f32(&dtype, &bytes)?;
let numel: usize = shape.iter().product();
if numel != vals.len() {
anyhow::bail!("tensor '{name}': {} values for shape {:?}", vals.len(), shape);
}
let two_d = shape.len() == 2 && numel >= GROUP_SIZE;
let (dt, data) = if !two_d {
(TensorDtype::F16, encode_f16(&vals))
} else {
match quant {
Quant::Q8Row => (TensorDtype::Q8Row, encode_q8_row(&vals, shape[0], shape[1])),
Quant::Q4Block => (TensorDtype::Q4Block, encode_q4_block(&vals)),
Quant::F16 => (TensorDtype::F16, encode_f16(&vals)),
}
};
tensors.push(TensorSpec { name, dtype: dt, shape, data });
progress((i + 1) as f32 / total as f32);
}
let vocab = fs::read(dir.join("tokenizer.json")).ok();
let tok_cfg: serde_json::Value =
fs::read(dir.join("tokenizer_config.json")).ok().and_then(|b| serde_json::from_slice(&b).ok()).unwrap_or(serde_json::Value::Null);
let gen_cfg: serde_json::Value =
fs::read(dir.join("generation_config.json")).ok().and_then(|b| serde_json::from_slice(&b).ok()).unwrap_or(serde_json::Value::Null);
let chat_template = fs::read_to_string(dir.join("chat_template.jinja")).ok()
.or_else(|| tok_cfg.get("chat_template").and_then(|v| v.as_str().map(String::from)));
let bundle = TokenizerBundle {
chat_template,
eos_token_ids: eos_ids(&gen_cfg, &config),
bos_token_id: config.get("bos_token_id").and_then(|v| v.as_u64()).map(|n| n as u32),
pad_token_id: config.get("pad_token_id").and_then(|v| v.as_u64()).map(|n| n as u32),
};
let quant_type = match quant {
Quant::Q8Row => QuantType::Q8Row,
Quant::Q4Block => QuantType::Q4Block,
Quant::F16 => QuantType::F16,
};
let header = CmfHeader {
format: "cmf".into(),
version: CMF_VERSION,
arch,
quant_type,
provenance: Some(serde_json::json!({ "tool": "cortiq convert", "source_model": model })),
tokenizer_config: Some(bundle),
section_hashes: None,
skills: Vec::new(),
shard: None,
calibration: None,
};
CmfModel::write(output, &header, &tensors, None, vocab.as_deref())
.map_err(|e| anyhow::anyhow!("write {output}: {e}"))?;
progress(1.0);
Ok(())
}