A composable functional framework for encoding quantum operators on Fock space as qubit Pauli operators. Implements Jordan-Wigner, Bravyi-Kitaev, Parity, and tree-based encodings (balanced binary, balanced ternary) for fermionic systems, plus unary, binary, and Gray-code truncation encodings for bosonic systems. Supports bosonic normal-ordering algebra, mixed fermion-boson workflows, and symbolic qubit tapering (diagonal Z₂ and general Clifford).