THE MODEL FAMILY
Euclid. Built for regulated code.
Euclid is ProCogia's own model identity. Community ships the Qwen3-32B baseline. Enterprise runs Euclid 2.8.1 on private H200 endpoints, with a Kimi K2 upgrade path once a dense-model control run proves lift.
PolyKode-Community
Community
Qwen3-32B checkpoint. Apache 2.0. About 65 GB. Public on Hugging Face at ProCogia/PolyKode-Community.
Euclid 2.8.1
Enterprise · shipping
30B parameters. Custom parity reward. SAS-exact numerical contract. Served on a private H200 endpoint.
Euclid on Kimi K2
Enterprise · in eval
Attention-only LoRA on real K2 architecture. Routed experts frozen. Dense 32B control run first.
Euclid Ultra
Roadmap
120B target, coupled to BUZZ HPC sovereign compute. Nemotron-baseline research track. Not shipping today.
26,269
Deduplicated training pairs (v3)
98.2%
Rows reachable from more than one source language
55 / 55
Stratified Viya reinforcement runs passed
3-way
SAS, R, and Python execution-verified oracle
SAS-exact
MT19937 RNG stream and rounding semantics reproduced in R and Python





