arXiv:2608.05197v1 Announce Type: new Abstract: I prove a local uniqueness theorem for the Born rule in the setting of small categories equipped with complex morphism weights and path-amplitude probability functionals. Given (i) non-negativity, (ii) polynomiality of bounded total degree, (iii) glob