The 44 high-confidence
physical invariants.
Unlike probabilistic neural networks whose outputs drift under adversarial noise, Zal Logic anchors forensic adjudications to first-principles physical laws. Below is the developer API overview and formal registry of our first-order SMT-LIB v2 invariant constraints executed in Z3.
Developer Platform & SDK Quickstart
pip install zallogic
Full async client with native PyTorch / NumPy manifold ingestion and automated Z3 proof checks.
npm install @zal/sdk
Fully typed client with built-in client-side cryptographic Merkle receipt verification.
POST /v1/infer
Atomic media inference returning 44 invariant status evaluations, conformal intervals, and Merkle root.
Discrete 2D Fourier magnitude spectrum computed by FEROD L2 engine. Synthetic generative architectures introduce periodic spectral lattice anomalies and high-frequency energy collapse that violate physical wave-optics.
Microscopic photo-response non-uniformity extracted from raw silicon wafers. Each physical camera sensor carries an unforgeable, zero-collision hardware noise fingerprint that no neural generator can replicate.
Spectral Power Residual Divergence
High-frequency residual variance cannot exceed optical sensor physical noise ceilings under authentic imaging.
(assert (=> (and (> residual_var 8.0) (> prnu_score 0.80)) false))
Contrastive Latent Semantic Inconsistency
Semantic text-visual alignment manifold collapse indicating cross-modal generative substitution.
(assert (=> (< clip_cosine 0.25) (not authentic)))
Quantization Error Invariant Violation
Local compression quantization table variance indicating post-hoc splicing or generative inpainting.
(assert (=> (> (abs (- ela_matrix sensor_matrix)) 0.35) false))
Biological Photoplethysmography Failure
Absence of physiological micro-capillary pulse waveform in human facial region under authentic video.
(assert (=> (and (> face_conf 0.80) (< rppg_liveness 0.20)) false))
Analog Hole PRNU Silicon Absence
Physical sensor fingerprint missing from frame while platform compression invariants are clean.
(assert (=> (and (< prnu_correlation 0.20) (> cia_score 0.80)) (and analog_hole_attack)))
Optical Flow Sub-Pixel Temporal Freeze
Zero motion variance across sub-pixel raster despite temporal progression, indicating frame freeze injection.
(assert (=> (and (> temporal_consistency 0.90) (< residual_mse 0.01)) freeze_attack))
Bilabial Articulation Dynamic Closure
Production of bilabial phonemes requires complete lip seal (distance = 0mm) within a 40ms acoustic window.
(assert (=> (and (= acoustic_phoneme "bilabial") (> lip_distance_mm 0.0)) false))
DEM Topographic Horizon Incompatibility
Observed mountainous horizon line contradicts USGS/SRTM 30m elevation model for asserted GPS coordinates.
(assert (=> (< dem_correlation 0.70) false))
Corneal Specular Ephemeris Divergence
Corneal specular highlights diverge from solar vector calculated via NOAA ephemeris for timestamp and location.
(assert (=> (> solar_reflection_divergence_deg 15.0) false))