Env Contract Audit

Audit a set of environment variables against a contract, without returning any value. Reports required variables that are absent, and separately those present but empty - which suppresses a default where absence does not. Checks value shapes such as port, url or duration, flags undeclared and forbidden variables, and names any value shaped like a credential without printing it.