| RPF |
Real-time Provenance Framework |
Foundational deterministic model for time/frequency–structure. |
— (not disclosed publicly) |
Empirical core; engines are export-safe surrogates. |
| CLE |
Core-Lite Engine |
Export-safe digital engine implementing deterministic verification. |
Powered by CLE (Binder • IoT Gate • UV) |
Reproducible, secret-free. |
| Binder |
RPF Binder |
Application of CLE for files/documents. |
Proof PDF • Sidecar • Ledger • Public Verifier |
Deterministic document authenticity. |
| IoT Gate |
RPF IoT Gate |
CLE in real-time ingress mode. |
Deterministic freshness at ingress; blocks replay/delay. |
See “TAIV” below. |
| TAIV |
Time-Aware Ingress Verification |
Mode of CLE used by IoT Gate (freshness & structure). |
Powered by TAIV |
Four invariants: freshness, no-replay, monotonic, binding. |
| UV |
RPF Universal Verifier |
CLE multi-source verification layer. |
Authenticity for media/AI/network artifacts. |
Unifies proofs across domains. |
| IV Engine |
Invariant Verification Engine |
Deterministic comparability for physical/biological data. |
Product: Invariant Verification |
Pairs with standards & drift testing. |
| Proof PDF |
— |
Human-readable certificate from Binder. |
Engine/EPP • Proof ID • Envelope • Diagnostics |
Used for support & audit. |
| Sidecar |
.rpf.json |
Canonical envelope bound to the file. |
Publicly hosted for verification. |
Contains verification data. |
| Ledger |
Chain-linked log |
Append-only record of envelopes (entry chain). |
Used by verifiers to confirm envelope integrity. |
Tamper-evident by recomputation. |
| EPP |
Engine Proof Profile |
Deterministic engine configuration (e.g., z_map). |
— |
Zero or hashed micro-drift for export safety. |
| HMAC Tag |
— |
Optional integrity tag over the sidecar envelope. |
Verified when server knows RPF_HMAC_KEY. |
Extra trip-wire; still secret-free by default. |
| Diagnostics / F-codes |
— |
Standardized warnings/fail reasons. |
Visible in Proof PDF & verifier output. |
e.g., F14 cycle_mismatch; W01 email_not_configured. |
