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 formal registry of our first-order SMT-LIB v2 invariant constraints executed in Z3.
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))