Skip to content

env — all cases

Every case file under src/clauz3/stdlib/env/tests/cases/, inlined. _pass cases must prove; _fail cases must not.

See the curated walk-through for the trusted module and contract vocabulary.

src/clauz3/stdlib/env/tests/cases/env_reads_at_most_fail.py

# ruff: noqa: F821
from tools.env.trusted import contracts as envc
from tools.env.trusted.effects import read_env

import clauz3


@clauz3.guarantee(envc.env_reads_at_most(1))
def main() -> None:
    read_env("FOO")
    read_env("BAR")

src/clauz3/stdlib/env/tests/cases/env_reads_at_most_pass.py

# ruff: noqa: F821
from tools.env.trusted import contracts as envc
from tools.env.trusted.effects import read_env

import clauz3


@clauz3.guarantee(envc.env_reads_at_most(2))
def main() -> None:
    read_env("FOO")
    read_env("BAR")

src/clauz3/stdlib/env/tests/cases/never_var_prefix_fail.py

# ruff: noqa: F821
from tools.env.trusted import contracts as envc
from tools.env.trusted.effects import read_env

import clauz3


@clauz3.guarantee(envc.never_var_prefix("AWS_"))
def main() -> None:
    read_env("AWS_SECRET_ACCESS_KEY")

src/clauz3/stdlib/env/tests/cases/never_var_prefix_pass.py

# ruff: noqa: F821
from tools.env.trusted import contracts as envc
from tools.env.trusted.effects import read_env

import clauz3


@clauz3.guarantee(envc.never_var_prefix("AWS_"))
def main() -> None:
    read_env("GITHUB_REPO")

src/clauz3/stdlib/env/tests/cases/never_vars_fail.py

# ruff: noqa: F821
from tools.env.trusted import contracts as envc
from tools.env.trusted.effects import read_env

import clauz3


@clauz3.guarantee(envc.never_vars(["AWS_SECRET_ACCESS_KEY"]))
def main() -> None:
    read_env("AWS_SECRET_ACCESS_KEY")

src/clauz3/stdlib/env/tests/cases/never_vars_pass.py

# ruff: noqa: F821
from tools.env.trusted import contracts as envc
from tools.env.trusted.effects import read_env

import clauz3


@clauz3.guarantee(envc.never_vars(["AWS_SECRET_ACCESS_KEY", "OPENAI_API_KEY"]))
def main() -> None:
    read_env("GITHUB_REPO")

src/clauz3/stdlib/env/tests/cases/no_env_reads_fail.py

# ruff: noqa: F821
from tools.env.trusted import contracts as envc
from tools.env.trusted.effects import read_env

import clauz3


@clauz3.guarantee(envc.no_env_reads())
def main() -> None:
    read_env("FOO")

src/clauz3/stdlib/env/tests/cases/no_env_reads_pass.py

# ruff: noqa: F821
from tools.env.trusted import contracts as envc

import clauz3


@clauz3.guarantee(envc.no_env_reads())
def main() -> None:
    pass

src/clauz3/stdlib/env/tests/cases/only_vars_fail.py

# ruff: noqa: F821
from tools.env.trusted import contracts as envc
from tools.env.trusted.effects import read_env

import clauz3


@clauz3.guarantee(envc.only_vars(["GITHUB_REPO"]))
def main() -> None:
    read_env("GITHUB_REPO")
    read_env("AWS_SECRET_ACCESS_KEY")

src/clauz3/stdlib/env/tests/cases/only_vars_pass.py

# ruff: noqa: F821
from tools.env.trusted import contracts as envc
from tools.env.trusted.effects import read_env

import clauz3


@clauz3.guarantee(envc.only_vars(["GITHUB_REPO", "OPENAI_BASE_URL"]))
def main() -> None:
    read_env("GITHUB_REPO")
    read_env("OPENAI_BASE_URL")