---
title: FieldSpace — Prime-Only Machine (RNS+CRT) — Exactness Proofs
emoji: 🧮
colorFrom: blue
colorTo: green
sdk: gradio
sdk_version: 4.44.0
app_file: app.py
python: 3.10
license: mit
---

This Space proves exact execution for:
- **CNN**: Conv → ReLU/Poly → FC
- **Attention (one head)**: exact numerators (QK>>t, then SV)

All ops run in residues mod `{2^K, p_i}` and reconstruct once via a batched CRT.