JAR: JAM Axiomatic Reference

3.8. Timing🔗

🔗def
Jar.D_EXPUNGE [j : Jar.JamConfig] : Nat
Jar.D_EXPUNGE [j : Jar.JamConfig] : Nat

D_EXPUNGE via JamConfig.

🔗def
Jar.L_MAX_ANCHOR [j : Jar.JamConfig] : Nat
Jar.L_MAX_ANCHOR [j : Jar.JamConfig] : Nat

L_MAX_ANCHOR via JamConfig.

🔗def
Jar.JAM_EPOCH_UNIX : Nat
Jar.JAM_EPOCH_UNIX : Nat

JAM Common Era epoch: 1200 UTC on January 1, 2025. = 1,735,732,800 seconds after Unix Epoch.