Documentation
Guides, API references, and troubleshooting for the Pyvorin platform.
Advanced Pipeline Patterns in Pyvorin Edge
Multi-stage pipelines, fan-out and fan-in, EWMA custom windows, and backpressure tuning for production edge workloads.
22 min read
ARM64 NEON Vectorization in Pyvorin Edge
How Pyvorin Edge uses ARM64 NEON: which loops vectorise, realistic 2–8x expectations with caveats, and kernels the backend accepts.
14 min read
Artifact Caching, Explained
Where pyvorin-native 1.0.9 stores compiled code, how the cache key is built, what eviction costs, and the measured gap between a cold and a warm compile.
Audit Chain and Signed Reports
Build a tamper-evident audit chain on the edge: append-only logs, signed reports, lock scope, and the honest limits of tamper resistance.
18 min read
Benchmark Methodology: How We Measure
How every published Pyvorin figure is produced: harness conventions, the correctness gate, the two compiler paths, the autotune study, and how to rerun it.
10 min read
CloudSyncQueue API Reference
Full CloudSyncQueue API: SQLite schema, ack/nack semantics, priority and TTL, locking caveats, and store-and-forward telemetry patterns.
13 min read
Cross-Compiling Pyvorin Edge Kernels for ARM64
Toolchain setup, cross-compiled kernels, manifest verification and CI pipelines for ARM64 edge targets.
18 min read
Custom Adapters — Extending the Ingest Layer
Write duck-typed ingest adapters for Modbus, serial, or proprietary protocols: the read() contract, failure semantics, and a checklist.
15 min read
Ed25519 Trust Anchors
Ed25519 trust anchors for edge devices: key generation, signing, rotation schedules, and chaining into OTA updates and secure boot.
14 min read
EdgeAgent API Reference
Complete EdgeAgent API: lifecycle methods, threading model, signal handling, and graceful shutdown — the operational counterpart to the tour.
14 min read
Enterprise Licence vs Building In-House
An in-house compiler is a multi-year staffing programme. A labelled model weighs team cost, timeline and opportunity cost against verified pricing.
Fallback Behaviour, Deep Dive
Every way pyvorin-native 1.0.9 declines to run native code, what each fallback costs, the reason strings the tools emit, and when fallback means restructure.
Fleet Management at Scale
Operating hundreds of gateways: provisioning, drift detection, bulk configuration, fleet-wide rollback and health aggregation.
26 min read
Guards and Deoptimisation
The contract behind Pyvorin compiled code: what guards protect, what happens when one fails, and why a failed guard can never corrupt your program semantics.
Hashing Strategies for Correlation
SHA-256, HMAC, and salted hashing for privacy-safe correlation on the edge: production examples, brute-force limits, and when to avoid it.
15 min read
How For Loops Compile
The loop passes of the Pyvorin 1.0.9 pipeline — complete unrolling, the vectorisation cost model, loop fusion — with the exact thresholds, verified in source.
How While Loops Compile
While loops compile natively in Pyvorin 1.0.9, but their trip count is data — this page shows the verified lowering and which optimisations that fact excludes.
LLVM IR Generation
How pyvorin-native 1.0.9 lowers a typed Python function to LLVM IR through llvmlite — with a real before-and-after example taken from the compiler's own output.
mTLS and Certificate Pinning
A full mTLS lifecycle for edge fleets: private CA, per-device certificates, adapter configuration, rotation and revocation.
20 min read
Native Code Generation
How pyvorin-native 1.0.9 turns LLVM IR into a loadable shared object: object emission, linking against the runtime, and when SIMD vectorisation fires.
Offline-First Operation
Run edge pipelines through WAN outages: SQLite WAL, circuit breakers, store-and-forward queues, and recovery behaviour that prevents data loss.
16 min read
Over-the-Air Update System
Signed bundles, version manifests, atomic swap and rollback: a safe OTA design for field gateways.
28 min read
Pipeline API Reference
Complete Pipeline API: ingest, window, rule, and action methods with signatures, return types, and the locking behaviour to plan around in production.
16 min read
Protected Component Delivery and Verification
Every file in pyvorin-native 1.0.9 ships in the wheel and is SHA256 hash-checked at import. The Ed25519 manifest and cache signatures are not yet active in the shipped build — here is exactly what is and is not verified today.
8 min read
Runtime Libraries
What pyvorin-native 1.0.9's runtime libraries do: typed containers, the Python–native ABI, CPython interop, and where the runtime itself limits speed.
Secure Boot and Runtime Integrity
Secure boot on the Pi, signed kernel modules, runtime integrity checks and hardware attestation for edge devices.
22 min read
Supply Chain Security
One wheel, 5,098 hash-listed files, enforced integrity checks at import — and a manifest signature not yet active. The honest supply-chain inventory.
The @edge Decorator — Under the Hood
How @edge compiles decorated functions on the device: AST parsing, signature inference, scalar versus kernel routing, and known limitations.
15 min read
The GIL and Threading in Pyvorin Edge
Where the GIL bites, when compiled kernels release it, and how to choose thread versus process pools for edge workloads.
20 min read
Type Inference System
Dynamic Python in, static native code out: how Pyvorin infers types, what it assumes, and how guards keep wrong assumptions harmless.
Understanding the EdgeAgent
The EdgeAgent lifecycle deep-dive: startup, pipeline supervision, signal handling, and shutdown — the concepts behind the API reference.
20 min read
Writing Custom C Kernels for Pyvorin Edge
The full path from C source to loaded kernel: ABI contract, NEON intrinsics, the shared object, and verification at load time.
25 min read