Abstract: Guitar music is metricized by the Baire Category Theorem, an L-space existence proof for the Tablature-proofing Turing Machine T(G). T(G) quantifies the guitar model in sentences constructed using first-order predicate logic. Music spectrology and graphology use a guitar language signature as a geometric engine of projection that predicts how subsets of the musical key topology in Rn are embedded in R2 coordinate plane by projection. K spectrums are T(G) collections of inductive non-trivial L-facts proving tablature is computable to use K-facts to pullback guitar intelligence.