Real-Time Tax Settlement, Corporate Liquidity, and Bank Credit: A Microeconomic Model of Net-Input-Tax-Credit Clearing

Repository Contents This repository contains the computational materials supporting the manuscript “Real-Time Tax Settlement, Corporate Liquidity, and Bank Credit: A Microeconomic Model of Net Input Tax Credit Clearing.” 1. codes.zipComplete software package for the proposed Net-Input-Tax-Credit clearing framework. The archive includes the core implementation and the Rust-based circuit implementation (circuit.rs) used for the secure transaction and settlement logic. The results are available in the file codes/target/criterion/report/index.html. 2. JFSR_revised_reproducibility.pyPython reproducibility program implementing the analytical thresholds, event-driven single-transaction liquidity benchmark, steady-state sectoral stress analysis, Monte Carlo experiments, Wilson confidence intervals, multi-seed robustness analysis, sensitivity analysis, aggregate credit comparative statics, and validation checks reported in the revised manuscript. Outputs included at the end of the code. 3. queueing_table_C1_with_DES.pyPython implementation of the Configuration C1 queueing experiment, including the discrete-event simulation (DES) used to evaluate the modeled multi-server clearing/verifier queue. Outputs included at the end of the code. Usage Extract codes.zip to access the complete software package and Rust circuit implementation. The Python programs can be executed independently to reproduce the corresponding analytical, simulation, and queueing results reported in the manuscript. The Python environment requires the dependencies specified in the repository documentation. Compilation or execution of the Rust circuit implementation requires a compatible Rust toolchain.