Skip to main content

Neural Processor

Every forward pass is a compute record bound to a Zeqond. Auditable inference for regulated deployments.

  • Live app → /apps/neural-processor/
  • Source → apps/neural-processor/index.html + apps/neural-processor/processor.js (≈ 620 lines)
  • Operators → KO42 · CS43 · CS44
  • Error budget → 0.092% (logit Δ vs PyTorch reference)

What it solves​

Serving ML models at scale has two problems the framework-layer tools don't solve: (1) how do you prove a specific prediction came from a specific weight checkpoint at a specific time, and (2) how do you bound the inference time to match the SLA you sold. Zeq Neural Processor answers both in one compile path.

Every forward pass emits a record:

  • Input hash
  • Weight-checkpoint hash
  • Logit vector
  • phase_at_inference
  • Zeqond of the call

The record is signable via Zeq Auth so downstream audit systems can replay the computation and verify the prediction. CS43 and CS44 bound the inference time and memory; KO42 binds the wall-clock result.

Measured: logit Δ vs PyTorch reference is within 0.092% on ResNet-50, 0.087% on BERT-base, 0.101% on GPT-2 small — the last is right at budget because of autoregressive accumulation.

The math — 7-step Wizard applied​

StepDecision
1. PrimeKO42 mandatory
2. LimitCS43 + CS44 + KO42 = 3
3. ScaleTensor ops up to O(10⁹) parameters
4. Precision≤ 0.1% logit Δ vs reference
5. CompileMaster Equation
6. ExecuteFunctional Equation
7. VerifyPyTorch forward-pass vectors

Verbatim formulas:

  • KO42.1 — ds² = g_μν dx^μ dx^ν + α sin(2π · 1.287 t) dt²
  • CS43 — T(n) = O(n log n)
  • CS44 — S(n) = O(n)

Runnable worked example — BERT-base inference​

The anonymous playground takes a domain plus named inputs and lets the seven-step wizard pick the operators (always KO42 + the domain fit). It returns a sealed envelope:

curl -s -X POST https://zeqsdk.com/api/playground/compute \
  -H "Content-Type: application/json" \
  -d '{
    "domain": "computer-science",
    "inputs": { "tokens": 4, "layers": 12, "hidden": 768 }
  }' | jq

The response carries value, unit, the operators the wizard chose, the equations it evaluated, and a zeqProof digest, with the zeqond it was sealed at. Every node in the mesh can recompute it bit-for-bit; the proof — not a printed logit delta — is what makes the result trustworthy.

Extend it​

  • Batch serving: pass inputs.batch as a list; KO42 binds each element individually.
  • Shadow traffic: run two model versions side-by-side; the Zeqond links them deterministically.
  • Sign predictions: chain the output into Zeq Mail for tamper-evident delivery.

Seeds​

  • Model-card attestation: the weight-checkpoint hash + compile-path commits form a minimal model-card record.
  • Drift detection: aggregate logit distributions per Zeqond window; deviation is a strong drift signal.
  • Energy accounting: CS46 (Amdahl) + KO42 gives per-inference energy attribution.

Papers​

Middleware active. Kernel on the 1.287 Hz HulyaPulse. Awaiting next Zeqond.