v1.9.4

What's Changed

• docs: Create sprint planning document for 2026-03 by @t81dev in #502
• build(deps): Bump anchore/sbom-action from 0.23.1 to 0.24.0 by @dependabot[bot] in #492
• build(deps): Bump docker/build-push-action from 6 to 7 by @dependabot[bot] in #493
• build(deps): Bump actions/cache from 5.0.3 to 5.0.4 by @dependabot[bot] in #494
• build(deps): Bump docker/setup-buildx-action from 3 to 4 by @dependabot[bot] in #495
• build(deps): Bump EndBug/add-and-commit from 9 to 10 by @dependabot[bot] in #496
• build(deps): Bump docker/metadata-action from 5 to 6 by @dependabot[bot] in #497
• build(deps): Bump docker/setup-qemu-action from 3 to 4 by @dependabot[bot] in #498
• build(deps): Bump actions/upload-artifact from 4 to 7 by @dependabot[bot] in #499
• build(deps): Bump github/codeql-action from 4.33.0 to 4.34.1 by @dependabot[bot] in #500
• build(deps): Bump docker/login-action from 3 to 4 by @dependabot[bot] in #501
• docs: add comprehensive T81 architecture report by @t81dev in #505
• feat(demo): Add deterministic native AI governance demo by @t81dev in #506
• Organize examples directory into a domain-driven hierarchy by @t81dev in #510
• Fix CMake build errors due to missing example sources by @t81dev in #511

Full Changelog: v1.9.3...v1.9.4

v1.9.3

Full Changelog: v1.9.2...v1.9.3

v1.9.2

Full Changelog: v1.9.1...v1.9.2

v1.9.1

What's Changed

• Sync README translations by @t81dev in #474
• chore: synchronize metadata, resolve namespace ambiguity, and decouple build graph by @t81dev in #475
• Fix CI build errors by @t81dev in #476
• Verified CI State by @t81dev in #477
• ci: Pin GitHub actions in deterministic-profile-enforcement workflow by @t81dev in #478
• Implement Phase 1 of RFC-0031 SWAR Formalization by @t81dev in #479
• chore: Verify build and test suite by @t81dev in #480
• Fix Windows build warnings treated as errors by @t81dev in #481
• Synthesize RFCs and completely rewrite the root README.md by @t81dev in #482
• docs: translate root README.md into multiple languages by @t81dev in #483
• Bump actions/setup-node from 6.2.0 to 6.3.0 by @dependabot[bot] in #459
• Bump anchore/sbom-action from 0.23.0 to 0.23.1 by @dependabot[bot] in #460
• Bump jwlawson/actions-setup-cmake from 2.0 to 2.1 by @dependabot[bot] in #461
• Bump egor-tensin/setup-gcc from 1 to 2 by @dependabot[bot] in #463
• chore(deps): bump softprops/action-gh-release from 2.5.0 to 2.6.1 by @dependabot[bot] in #470
• chore(deps): bump actions/download-artifact from 8.0.0 to 8.0.1 by @dependabot[bot] in #471
• chore(deps): bump actions/upload-artifact from 4.6.2 to 7.0.0 by @dependabot[bot] in #472
• chore(deps): bump github/codeql-action from 4.32.5 to 4.33.0 by @dependabot[bot] in #473
• feat: Add hardware target profile template and schema per RFC-0055 by @t81dev in #484
• fix: resolve CI build errors in CMakeLists and tisc freeze check by @t81dev in #485
• fix: update governance scripts for recent root and API changes by @t81dev in #487

Full Changelog: v1.9.0...v1.9.1

v1.9.0-Stable

Full Changelog: v1.8.0...v1.9.0

T81 Foundation v1.6.0 — Ternary-Native Inference, Governed FFI, Stage 2 Verification

T81 Foundation v1.6.0

364/364 tests passing · TISC ISA v1.2.0 · Stage 2 determinism verification complete

---

What's New

RFC-0034 — Ternary-Native Inference

Six new TISC opcodes for multiplication-free AI inference over balanced ternary weights {−1, 0, +1}:

Opcode	Description
TWMATMUL (0xC2)	Ternary-weight matrix multiply using T81BigInt accumulators
TQUANT (0xC3)	Quantize tensor elements to {−1, 0, +1} trit domain
TATTN (0xC4)	Ternary attention (Q/K via TWMATMUL + softmax)
TWEMBED (0xC5)	Ternary weight embedding — row-gather with domain validation
TERNACCUM (0xC6)	Scalar dot product → T81BigInt handle
TACT (0xC7)	Activation gate with Axion ceiling policy (TernaryStep / TanhQuantized)

• T81WTN weight format (magic T81WTN, 2-bit balanced-trit encoding)
• TACT activation-ceiling gate: Axion post-execute verdict (Allow / Quarantine / Deny)
• 5/5 conformance tests (TN-C1 through TN-C5)
• T81Lang frontend planned in RFC-0036

RFC-00B8 — Governed FFI (Phase 1)

Infrastructure for calling external code under Axion governance:

• FFIDispatcher — policy check → resource quota → execute → audit trail → provenance hash
• FFILibraryRegistry — singleton registry; libraries registered by name + version hash
• Three new TISC opcodes: FFICall (0xC8), FFIRegister (0xC9), FFIPolicySet (0xCA)
• T81Lang foreign {} syntax planned in RFC-0036

Stage 2 — Verified Platform (complete)

• Cross-platform determinism CI — daily GitHub Actions workflow comparing T81Lang bytecode hashes and VM execution trace hashes across Linux x86_64 (ubuntu-24.04, gcc-14) and macOS ARM64 (macos-latest, clang); public evidence record on every commit
• Golden execution traces — 5 canonical traces in tests/fixtures/canonical_traces/; independently verifiable with t81 trace replay
• trace_repro_gate.py — standalone verification script; any party can build and confirm bit-identical execution

Parser Fix

agent and behavior (RFC-0015 keywords) are now usable as contextual identifiers in all expression, binding, and field-access positions. Fixes 6 test failures in stdlib fixtures and advanced-features tests.

---

ISA

TISC ISA bumped to v1.2.0 — 9 new opcodes added since v1.1.0:
AgentInvoke (RFC-0015), TWMATMUL/TQUANT/TATTN/TWEMBED/TERNACCUM/TACT (RFC-0034), FFICall/FFIRegister/FFIPolicySet (RFC-00B8).
Existing opcode semantics unchanged — fully backwards compatible under v1.x.

---

Test Suite

364/364 tests passing, including:

• 5 RFC-0034 ternary-native inference conformance tests
• 27 TISC spec conformance tests
• 9 TernaryOS tests
• 16 RFC-0015 agent construct tests

---

What's Next — v1.7.0

• RFC-0036 — T81Lang foreign {} + @deterministic/@governed annotations; connects RFC-0034 and RFC-00B8 VM work to the language frontend
• Post-quantum cryptography RFC — lattice polynomial operations over {−1, 0, +1}

v1.5.0

🔥 Key Features in v1.5.0

• Axion Kernel Runtime: Complete kernel service layer
• RFC-00B4: Userland service contract specification
• QEMU ARMv8 EFI: Full boot support
• Enhanced Shell: Object-native operations
• Radix Page Table: MMU implementation
• CanonFS Storage: Executable repository binding
• VirtualBox Support: HAL scaffolding
• IPC Messaging: Kernel scheduler integration

The GitHub release workflow should automatically trigger and build the release artifacts. The release is now live at: https://github.com/t81dev/t81-foundation/releases/tag/v1.5.0

v1.4.0-Stable

Release v1.4.0-Stable (C2 Month-Close)

T81 v1.4.0-beta — Beta candidacy, fuzz infrastructure & VM security fixes

Release v1.4.0-beta

Date: 2026-03-10
Tag: v1.4.0-beta

T81 Foundation officially enters the Beta candidacy phase following a 100% green month-close governance execution. The governance model has formally promoted the t81lang frontend, the t81vm execution engine, and the axion policy kernel to Beta maturity.

335 of 335 tests pass.

🚀 Major Achievements

Memory Management & Performance

• 10-Phase Memory Pool: Tiered allocator architecture (TieredMemoryPool) landed with dynamic sizing, unified memory semantics, and leak-detection instrumentation. Allocation timing is tracked at nanosecond granularity; empirical throughput benchmarks are scheduled for v1.4.0-stable.

Compiler Integration Pipeline

• LLVM & MLIR Frontends (Experimental): TISC to LLVM backend translation is now fully wired alongside an MLIR custom dialect (t81.*) enabling advanced SSA analysis optimization paths.
• Python, C, and Rust Gateways: Initial proof-of-concept frontends for C, Rust, and Python subsets have landed, enabling external lowering directly into the TISC ISA.

Core Determinism Closing

• Math Precision: Strict T81_DETERMINISTIC constraints applied for transcendentals; deterministic collection behavior (T81Map/T81Set canonical boundaries) and BigInt serialization round trips successfully shipped.
• DCP Validation: The Axion determinism stewardship evidence maps have successfully bounded the policy engine within the core execution matrix.

Governance & Cognitive Tiers

• FW-01 / FW-02 Cleanups: VM dependency waivers dropped and all Axion opcodes strategically decoupled from the core VM dispatch logic to improve policy locality.
• Tier 6 Scaffolding: Initial distributed constraints built alongside reflective evidence serialization formats, achieving confluence checking and bounded verification states for agentic reasoning boundaries.

Security & Fuzzing Infrastructure

• Fuzz harnesses (tests/fuzz/fuzz_parser.cpp, tests/fuzz/fuzz_vm.cpp): LLVMFuzzer-compatible harnesses for the T81Lang parser and TISC VM dispatcher, wired under T81_BUILD_FUZZ_TESTS.
• Three VM OOB crash fixes surfaced by the harnesses on first run:
  • SymLoad — missing reg_ok(insn.b) guard; unvalidated register index caused OOB array access
  • ReflCap — same class of bug on insn.b
  • ReflJustify — insn.a not validated before register_tags[insn.a] access
• Homebrew LLVM 21 libc++ fix: std::__1::__hash_memory is now out-of-line in LLVM 21+; CMake auto-detects lib/c++ from the compiler path and applies it globally.

---

What's Next?

Entering Beta means the T81 runtime and language boundary will undergo rigid release candidate testing. Feature freezes apply directly to the DCP surface, enabling focused bug-squashing and long-form hardening to achieve 1.4 Stable.

T81 v1.3.2 — CLI audit fixes and command-surface expansion

Added

• code profile compile-and-profile workflow for .t81 and .tisc inputs.
• tisc stats, trace filter, determinism multi-run, ir validate, axion audit, env clean, weights export, and the tier command family.
• --dry-run support for canonfs rollback and canonfs gc.

Fixed

• project build, project run, and project test now dispatch correctly instead of falling through to Unknown command: code.
• memory-stats is accepted consistently by argument parsing and now emits the expected legacy alias warning.
• Help routing for env check, env diag, env feedback, and project build/run/test now resolves to the correct subcommand help.
• CLI help output now goes to stdout, restoring normal pipe and redirection behavior.
• Global parse errors no longer call std::exit(1) directly.
• --json failures now emit a JSON error envelope with schema t81.error.v1.

Changed

• Help dispatch is deduplicated across help and --help entry paths.
• lang help now explicitly documents that it is a compatibility alias for code plus ir.
• CLI reference manual and contract tests were updated to match the shipped command surface and help/output behavior.