{
  "env": {
    "LAKE_ARTIFACT_CACHE": "false",
    "LAKE_RESTORE_ARTIFACTS": "false",
    "LAKE_CACHE_DIR": "WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\isolated-lake-cache",
    "MATHLIB_NO_CACHE_ON_UPDATE": "1",
    "LEAN_NUM_THREADS": "4"
  },
  "lake_no_cache": true,
  "dependency_sources_clean": true,
  "no_mathlib_cache_download": true,
  "prebuild_module_paths": "LEAN_NUM_THREADS=4\nMATHLIB_NO_CACHE_ON_UPDATE=1\nLAKE_ARTIFACT_CACHE=false\nLAKE_CACHE_DIR=WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\isolated-lake-cache\nLEAN_GITHASH=6a10ac8c22beadecabdbb0919c2b50214762f91d\nLEAN_AR=WORKSPACE\\tmp\\lean_library_definition_audit_2026-09-05\\lean-4.34.0-rc2-windows\\bin\\llvm-ar.exe\nLEAN_SRC_PATH=WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\Cli;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\Cli;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\batteries;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\batteries;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\Qq;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\Qq;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\aesop;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\aesop;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\proofwidgets;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\proofwidgets;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\proofwidgets;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\importGraph;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\importGraph;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\LeanSearchClient;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\LeanSearchClient;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\plausible;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\plausible;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\mathlib;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\mathlib;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\mathlib;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\mathlib;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\mathlib;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\mathlib;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\mathlib;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction;WORKSPACE\\tmp\\lean_library_definition_audit_2026-09-05\\lean-4.34.0-rc2-windows\\src\\lean\\lake\nLEAN_SYSROOT=WORKSPACE\\tmp\\lean_library_definition_audit_2026-09-05\\lean-4.34.0-rc2-windows\nLAKE_CONFIG=USER_HOME\\.lake\\config.toml\nLEAN_PATH=WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\Cli\\.lake\\build\\lib\\lean;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\batteries\\.lake\\build\\lib\\lean;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\Qq\\.lake\\build\\lib\\lean;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\aesop\\.lake\\build\\lib\\lean;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\proofwidgets\\.lake\\build\\lib\\lean;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\importGraph\\.lake\\build\\lib\\lean;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\LeanSearchClient\\.lake\\build\\lib\\lean;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\plausible\\.lake\\build\\lib\\lean;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\mathlib\\.lake\\build\\lib\\lean;WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\build\\lib\\lean;WORKSPACE\\tmp\\lean_library_definition_audit_2026-09-05\\lean-4.34.0-rc2-windows\\lib\\lean\nLAKE_RESTORE_ARTIFACTS=false\nLAKE=WORKSPACE\\tmp\\lean_library_definition_audit_2026-09-05\\lean-4.34.0-rc2-windows\\bin\\lake.exe\nLAKE_HOME=WORKSPACE\\tmp\\lean_library_definition_audit_2026-09-05\\lean-4.34.0-rc2-windows\nLAKE_NO_CACHE=true\nLAKE_PKG_URL_MAP={}\nLEAN=WORKSPACE\\tmp\\lean_library_definition_audit_2026-09-05\\lean-4.34.0-rc2-windows\\bin\\lean.exe\n",
  "mathematical_config_changes": false
}