Configuration
Penrose uses environment variables for deployment-specific configuration and versioned code for scientific defaults.
Model
PENROSE_LLM_API_KEY
PENROSE_LLM_BASE_URL
PENROSE_LLM_DEFAULT_MODEL
PENROSE_LLM_VERIFIER_API_KEY
PENROSE_LLM_VERIFIER_BASE_URL
PENROSE_LLM_VERIFIER_MODEL
Data
PENROSE_DATA_DIR
PENROSE_AUTO_SOURCE
PENROSE_ALLOW_SYNTHETIC
Synthetic inputs are calibration aids and must remain visibly provisional.
Concurrency and budgets
PENROSE_MAX_CLAIM_WORKERS
PENROSE_WORKER_DEFAULT_CAP
PENROSE_WORKER_HARD_CAP
PENROSE_CLAIM_TIME_BUDGET_SECONDS
Use serial execution for workflows that depend on shared live auto-fetch behavior unless equivalence is explicitly established.
Dashboard
PENROSE_PORT
Generation
PENROSE_GENERATIVE_LAYER
The default is off. Enabling it changes availability, not confirmation or P9 authority.
Secrets
Keep secrets outside version control. Public diagnostics must redact environment values and absolute private paths.