THOX.ai Research · companion demo to technical report v1.0.1

ThoxOS contracts, running in your browser

Client-side only, no network calls. SHA-256 and HMAC are implemented here and checked against known-answer vectors on load. Ed25519 is not implemented in this page; the paper measured it on the host. Embedded numbers are the paper's outputs. Nothing here runs on ThoxInux.

Results (from summary.json)

1. Entitlement: Core never gated, MayExecute conjunction, grace, clock

E(f,t) short-circuits for Core; MayExecute = U and O and E. Token = payload.HMAC (demo design). Try a Core feature with garbage, a paid feature past grace, and a clock rollback with and without the high-water mark.

Feature

Token (payload.sig, base64url)

Device wall clock (Unix s)

Persisted high-water mark (Unix s)

U(a): user authorized O(a): OS/app access control allows use high-water mark

Known-answer tests: running

2. A/B update: first boot of a new slot

Algorithm 1: signature verified before any write, idle slot written, attempt counter N = 3, health gate on first boot, rollback to the known-good slot on exhaustion. Toggle faults and step.

3. Memory budget (review eq. 3)

Weights (GGUF size, assumed fully resident) + KV from card geometry + fixed linear-attention state + reserve must fit the class floor.

Model

Quantization

Class

Context tokens

OS + runtime reserve (GB)

4. Linux-ABI ledger at the ThoxInux pin

Statuses are the upstream Ginux ledger's at commit 36503bda; the area is the paper's classification. Type a syscall name.

Syscall name