Token-Accounting Integrity in LLM Metering: A Systematic Study of Client-Side Under-Payment

This research artifact accompanies the manuscript “Token-Accounting Integrity in LLM Metering: A Systematic Study of Client-Side Under-Payment.” It contains the reproducible testbed, attack and defense implementations, experimental scripts, raw and processed results, generated tables and figures, TLA+ formal specification and model-checking outputs, and documentation required to reproduce the reported experiments. The artifact corresponds to release v1.0.1 of the accompanying GitHub repository. The study evaluates accounting integrity in LLM inference metering under an honest-provider/dishonest-client threat model, including state synchronization, commitment timing, usage authority, asynchronous settlement, and defense sufficiency conditions.