Does taxes helping pay for prisons make them public spaces? Helping fund development doesn't give you any right to the code, unless perhaps that was negotiated up front. It could be tax money paid a tiny amount of the cost, or it does include proprietary components or knowledge licensed for use in this form, or many other variations of contract and IP.

Tax money touching development makes everything public no more than a touch of private money turns everything private. Each case is determined by the contracts signed to leverage these investments.

>A work of the United States government, is defined by the United States copyright law, as "a work prepared by an officer or employee of the United States Government as part of that person's official duties."[1] Under section 105 of the Copyright Act of 1976,[2] such works are not entitled to domestic copyright protection under U.S. law and are therefore in the public domain.

https://en.wikipedia.org/wiki/Copyright_status_of_works_by_t...

This appears to exclude work done by the private sector under contract which is almost certainly how this app was developed.

Try reading the rest of the page you linked. It states what I claimed.

And copyright is not the only form of legal protection available to code.

This approach fails on all fronts.