deterministic-computing

Jiayan (甲言) — A self-hosting Chinese-native C compiler. Chinese keywords & diagnostics; zero dependencies; direct x86-64 PE output; byte-identical bootstrap fixpoint; AI-friendly (structured JSON diagnostics + code knowledge graph). 中文原生自举编译器 · 291 项机制台账净缺口 0 · 可编译真实 Git 2.45.2.

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.

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.

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.

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.

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.

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

libm, but the same 64 bits on every platform.

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

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

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

Proof-Carrying Numerical Verification for Financial LLM Outputs. Deterministic symbolic re-execution against SEC EDGAR ground truth, with Ed25519-signed, tamper-evident certificates.

Formal verification of HCSP using Coq

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

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 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.