[ PROOF SURFACE / ENCODING ]

ZPE-IoT Receipt Surface

This surface is a receipt router for the IoT lane and does not alter the source-backed dossier.

imported augmented route

ZPE-IoT imported savings simulator

imported-static ZPE-IoT imported savings simulator

visual panel

zpe-iot-telemetry-fixture-safe

Black telemetry manifold with punched receipt tape and laboratory interface grid.
Safe telemetry fixture generated for IoT dossier framing. ZPE-IoT

interactive module

Sensor Receipt Ledger

Presets, destructive tests, benchmark receipts, and deployment boundaries are inspected without changing the dossier.

preset 58 receipt
mode
sensor
frame
F06
weight
058

related surfaces

Imported showcase ZPE-IoT imported savings simulator Product dossier ZPE-IoT Source PUBLIC License SAL-7.0 Portfolio encoding

source metadata

Branch And Path

branch
origin/codex/proof-console-iot-2026-04-28
ref
origin/codex/proof-console-iot-2026-04-28
path
product-pages-uplift/lanes/iot.html
authority
proofs/artifacts/public_benchmarks/INDEX.json
commit
5b7604c
route
/proof/zpe-iot-receipt/

what it shows

Routes IoT-lane receipt evidence and review references.

  • Rust core passes `cargo test --release` and `cargo clippy -D warnings` on every push (CI job: `rust_tests`)
  • Python package installs as editable wheel and passes pytest matrix on Ubuntu and macOS for CPython 3.10–3.12 (CI job: `python_tests`)
  • 27 deterministic tests (DT-01..DT-27) pass under strict-gate mode — no mandatory SKIP tolerated (CI job: `strict_dt_smoke`)
  • E1 benchmark surface: 10/10 wins vs zstd, lz4, zlib, gorilla on DS-01..DS-10 — committed receipt sanity checked by CI (CI job: `benchmark_sanity`)

what it does not claim

This surface is a receipt router for the IoT lane and does not alter the source-backed dossier.

  • no universal compressor dominance
  • no lossless reconstruction
  • no production protocol bridge beyond the published package surface
  • no CI-backed claim about live PyPI publication state

proof anchors

Surface Anchors

  1. lane.what_we_prove
  2. lane.verification
  3. lane.proof_anchors

dossier proof files

Authority Files

  1. proofs/artifacts/public_benchmarks/INDEX.json :: VERIFIED
  2. proofs/artifacts/public_benchmarks/DS-04.json :: VERIFIED
  3. proofs/artifacts/public_benchmarks/DS-07.json :: VERIFIED
  4. proofs/artifacts/public_benchmarks/DS-12.json :: VERIFIED
  5. validation/results/bench_summary_E1_real_public_20260321T225305.json :: VERIFIED
  6. validation/results/dt_results_20260321T225304.json :: VERIFIED

dossier metrics

Declared Values

COMPRESSION
6.83× mean
vs zstd 2.87× (DS-01..DS-10)
E1_WINS
10 / 10
vs zstd, lz4, zlib, gorilla
DS04_HIGH_ENTROPY
7.16×
vs zstd 1.05× (UCI HAR body_acc_x)
LATENCY_NATIVE
0.031 ms mean
256-sample window, Rust layer