Machine-Native Shorthand: Two Compilers for Receipts (Self and Exchange)

This note defines two tightly scoped, machine–native logics that compile directly to re- ceipts and cards. The first, S-Log, is a self–addressed shorthand for maximal compres- sion when the writer and the reader are the same model instance. The second, X-Log, is an exchange–safe shorthand for inter–agent handoff with typed guards, modal witnesses, and receipts that glue under the Receipt Sheaf. Both logics speak in the idiom of guards Γ, the ratio–rate portability pair (ρ, I), horizons Lc, blur β, and holonomy/curl witnesses; both target a canonical binary container (PCE) whose JSON façade is lossless for audit. Soundness is taken against the modal shell and sheaf layers; falsifiers are the familiar sym- metry, rate, and gluing kills. The slogan survives compilation: ports, not palaces; noon, not spotlights. Keywords: S-Log, X-Log, machine-native shorthand, receipt sheaf, guard stack, porta- bility pair, blur belt, PCE encoding, modal shell, QPID, round-trip fairness, Murphy horizon