In buildExecutor.js:124 inside the constructor, this.cacheFile is set to path.join(this.workDir, '.build-cache.json'), evaluating the workDir getter only once at startup. If getProofdeskDataRoot() were to return a different path after construction (e.g. due to env var changes), the cache file path would be stale. All other uses of this.workDir call the getter dynamically, making cacheFile an inconsistency.
In
buildExecutor.js:124inside the constructor,this.cacheFileis set topath.join(this.workDir, '.build-cache.json'), evaluating theworkDirgetter only once at startup. IfgetProofdeskDataRoot()were to return a different path after construction (e.g. due to env var changes), the cache file path would be stale. All other uses ofthis.workDircall the getter dynamically, makingcacheFilean inconsistency.