QDL Admissibility Calculator v1.0: Executable Integer-Lattice Decision Procedure for Structural Admissibility

This repository contains the versioned implementation of the QDL Admissibility Calculator corresponding to the manuscript: “An Executable Admissibility Operator for Physical Theories: An Integer-Lattice Decision Procedure with Reproducible Implementation.” The software implements a deterministic decision procedure that evaluates structural admissibility of physical expressions using an integer-lattice representation of dimensional quantities. Inputs are mapped to vectors in ℤⁿ, aggregated via vector addition, and tested against a kernel closure condition. The output is a binary admissibility decision accompanied by a full evaluation trace. This archive provides a fixed, reproducible version of the calculator, including source code, example inputs, and instructions sufficient to reproduce all results presented in the manuscript.