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.

Enter the loomInspect machine evidence
source / exact shamodel / q4_k_moutput / unsigned
KHIPU
1.5BCPU bound
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
Model output
Checking the runtime and evidence threads...

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