I would not call it `harness-options.json`, probably would call something like `paths.json` or `modules.json`. It should be generated at install time though.