deterministic-computing

甲言 Jiayan —— 中文原生编程语言与自举编译器。关键字、标识符、报错全中文；15 族 291 项语言机制已实现 284 项；编译真实 Git 2.45.2（563 文件过 537，零崩溃）；产物标准 COFF，C++ 可直链；编译时导出代码知识图谱供 AI 查询。让中文成为能写系统软件的语言。

Open-source, offline-first reference model for transparent and auditable driver worktime calculation based on real operational data.

Governance framework defining institutional authority boundaries and policy contracts for AI-assisted workflows.

Follow-up to int-llm: TinyLlama-1.1B weights rounded to mixed F11/F12 int16, matching the Q16.48 integer oracle on all 632 evaluated greedy decisions. CPU, MCU, and CUDA evidence.

Real-time AI based anomaly detection & L2 MACsec control loop on legacy infra without GPUs. Powered by CXL 3.1, DPDK SmartNICs, and Ultra Ethernet.

High-performance incremental computation engine for hierarchical data structures with real-time query capabilities

Visual anatomy of a Q16.48 integer GPT — four self-contained offline HTML pages: weight atlas, bit-exact inference trace, 32-D embedding space, 3-D weight explorer. Every displayed number is exact (BigInt in-browser, verified against the C oracle). Fourth in the int-llm series.

Reversible coordinate permutations for Llama checkpoints with exact Q16.48 validation and direct SafeTensors support.

Oracle-verified experiments in mathematics and physics ML — exact integer training, zero-calibration quantization, and an append-only ledger that books nulls and retractions beside the wins.

Auditable Native Node provider runtime and CLI for bounded deterministic Isogate workloads.

The official repository documenting Abdulrahman Al-Alawi's foundational framework, theorem, USDL law, and the HCSP core for deterministic computing.

Recorded evidence and manuscript for a single-fixture packed-AWQ route-block arithmetic mechanism study

Canonical verification API for Isogate providers, bounded deterministic jobs, receipts, and Genesis reconciliation.

Official npm workspace for @isogate/node and @isogate/replay with provenance-ready release automation.

Formal verification of HCSP using Coq

libm, but the same 64 bits on every platform.

UORI (arabic-math-lang): Arabic mathematical programming language and research stack connecting deterministic language tooling, deterministic LLM research, kernel/runtime contracts, and a future global APK interface.

Official Isogate product, architecture, Native Node, Genesis v2, contract, and security documentation.

VECTORIA is a deterministic, cross-platform computational kernel framework focused on transparent execution, strict validation, and architectural honesty.

Official TLA+ specifications and Why3 formal verification artifacts for the HCSP Sovereign Deterministic Core, proving 100% complete logic correctness (19/19 goals) against zero-day exploits and cloud-freezing deadlocks.