Position paper on Hidden-Markov and fuzzy primitives missing from TypeSafe AI's Jev and System-One decision models. Proves two lemmas, introduces Deferred Crispification and the BSF-S1 architecture, with reproducible CPU experiments.
该仓库对 TypeSafe AI 的 Jev / System One 模型进行了深入的理论分析，包含两个引理证明、参考架构 BSF-S1 以及可复现实验，属于实质性技术研究。
JevalsJevals/jevals-dataIndependent benchmark data comparing TypeSafe AI's Jev (System One model) against LLMs on decision score, accuracy, calibration, cost, and latency for typed tasks.
NearCaiNearCai/JevLightA CityFlow-based traffic signal control framework that evaluates TypeSafe Jev and OpenAI-compatible LLM controllers alongside rule-based and reinforcement-learning baselines through the same simulation pipeline.
choxoschoxos/jev-reviewerUses TypeSafe AI's Jev/System One model (jev-1.13.0) to locate verbatim evidence in trial reports and supplements, supporting RoB 2, ROBINS-I, QUADAS-2 templates; files are processed locally in the browser.
