Formula genome 01 / public cpu instrument

Every token leaves a thread.

A bounded inference surface where the exact model bytes, source revision, receipt chain, limits, and missing guarantees remain visible together.

RuntimeCHECKING
Git sourceUNAVAILABLE
Model pin67d60ec...f4a4b5d25
Output proofUNSIGNED / HASHED

Bounded generation

Pull one thread.

One request at a time. At most 1,200 characters, 800 formatted prompt tokens, and 32 generated tokens. Greedy decoding. No tools, streaming, or hidden fallback.

0 / 1,200 characters24 output tokens
Waiting for readiness

Public demo. Do not enter secrets or sensitive data.

Model output
Checking the runtime and evidence threads...

No run yet · output unsigned

Inspectable by default

The evidence bay.

The interface does not turn provenance into decoration. Every status below resolves to a machine-readable surface.

01 / SOURCE

Exact deploy identity

The Git revision must come from the governed Space variable. Missing or malformed identity fails closed.

Open /version
02 / RECEIPTS

Declared-key chain

Training and evaluation receipts are verified against the repository-declared key and canonical hash chain.

Open /evidence
03 / RUNTIME

Exact model bytes

Q4_K_M GGUF bytes are fetched at image build from an immutable revision, size-checked, hash-checked, and loaded offline.

Open identity

What is measured

Internal integrity and bounded execution

  • Exact GGUF revision, size, and SHA-256
  • Exact deploy-bound Git revision when configured
  • Declared-key training/evaluation receipt chain
  • Runtime readiness and deterministic request limits

What is not claimed

Authenticity and quality remain bounded

  • No independent identity or key-ownership binding
  • No post-quantization quality or safety certification
  • No signed output or reproducible execution claim
  • No provider SLA, sensitive-data handling guarantee, or autonomy