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.

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.

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

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.

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.

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.

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

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

Formal verification of HCSP using Coq

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.

Official Isogate web client for inspectable deterministic computing.