openai / lean-gym
Metrics

All numeric values measured by Sokrates.

Intro
Metrics
Metric Value
TOTAL_NUMBER_OF_FILES 22
NUMBER_OF_FILES_MAIN 13
LINES_OF_CODE_MAIN 1,382
NUMBER_OF_FILES_MAIN_EXT_LEAN 10
LINES_OF_CODE_MAIN_EXT_LEAN 1,359
NUMBER_OF_FILES_MAIN_EXT_TOML 3
LINES_OF_CODE_MAIN_EXT_TOML 23
NUMBER_OF_FILES_TEST 1
LINES_OF_CODE_TEST 55
NUMBER_OF_FILES_TEST_EXT_LEAN 1
LINES_OF_CODE_TEST_EXT_LEAN 55
TEST_VS_MAIN_LINES_OF_CODE_PERCENTAGE 3.97
NUMBER_OF_FILES_GENERATED 0
LINES_OF_CODE_GENERATED 0
NUMBER_OF_FILES_BUILD_AND_DEPLOYMENT 3
LINES_OF_CODE_BUILD_AND_DEPLOYMENT 21
NUMBER_OF_FILES_BUILD_AND_DEPLOYMENT_EXT_SH 3
LINES_OF_CODE_BUILD_AND_DEPLOYMENT_EXT_SH 21
NUMBER_OF_FILES_OTHER 1
LINES_OF_CODE_OTHER 69
NUMBER_OF_FILES_OTHER_EXT_MD 1
LINES_OF_CODE_OTHER_EXT_MD 69
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT 3
LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT 23
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML 3
LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML 23
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SRC 10
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SRC 1,359
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SRC_EXT_LEAN 10
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SRC_EXT_LEAN 1,359
NUMBER_OF_DEPENDENCY_LINKS_DECOMPOSITION_PRIMARY 0
NUMBER_OF_DEPENDENCIES_DECOMPOSITION_PRIMARY 0
NUMBER_OF_PLACES_WITH_CYCLIC_DEPENDENCIES_DECOMPOSITION_PRIMARY 0
NUMBER_OF_FILES_CONCERN_GENERAL_TODOS 1
LINES_OF_CODE_CONCERN_GENERAL_TODOS 502
NUMBER_OF_FILES_CONCERN_GENERAL_TODOS_EXT_LEAN 1
LINES_OF_CODE_CONCERN_GENERAL_TODOS_EXT_LEAN 502
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED 12
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED 880
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_LEAN 9
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_LEAN 857
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML 3
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML 23
NEGLIGIBLE_RISK_FILE_SIZE_COUNT 8
LOW_RISK_FILE_SIZE_COUNT 4
MEDIUM_RISK_FILE_SIZE_COUNT 0
HIGH_RISK_FILE_SIZE_COUNT 1
VERY_HIGH_RISK_FILE_SIZE_COUNT 0
NEGLIGIBLE_RISK_FILE_SIZE_LOC 281
LOW_RISK_FILE_SIZE_LOC 599
MEDIUM_RISK_FILE_SIZE_LOC 0
HIGH_RISK_FILE_SIZE_LOC 502
VERY_HIGH_RISK_FILE_SIZE_LOC 0
NUMBER_OF_UNITS 0
LINES_OF_CODE_IN_UNITS 0
LINES_OF_CODE_OUTSIDE_UNITS 1,382
UNIT_SIZE_NEGLIGIBLE_RISK_LOC 0
UNIT_SIZE_NEGLIGIBLE_RISK_PERCENTAGE 0
UNIT_SIZE_NEGLIGIBLE_RISK_COUNT 0
UNIT_SIZE_LOW_RISK_LOC 0
UNIT_SIZE_LOW_RISK_PERCENTAGE 0
UNIT_SIZE_LOW_RISK_COUNT 0
UNIT_SIZE_MEDIUM_RISK_LOC 0
UNIT_SIZE_MEDIUM_RISK_PERCENTAGE 0
UNIT_SIZE_MEDIUM_RISK_COUNT 0
UNIT_SIZE_HIGH_RISK_LOC 0
UNIT_SIZE_HIGH_RISK_PERCENTAGE 0
UNIT_SIZE_HIGH_RISK_COUNT 0
UNIT_SIZE_VERY_HIGH_RISK_LOC 0
UNIT_SIZE_VERY_HIGH_RISK_PERCENTAGE 0
UNIT_SIZE_VERY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_LOC 0
CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_LOW_RISK_LOC 0
CONDITIONAL_COMPLEXITY_LOW_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_LOW_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_MEDIUM_RISK_LOC 0
CONDITIONAL_COMPLEXITY_MEDIUM_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_MEDIUM_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_HIGH_PLUS_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_HIGH_PLUS_RISK_LOC 0
FILE_CHANGE_HISTORY_TOTAL_AGE_DAYS 1,425
FILE_CHANGE_HISTORY_ACTIVE_DAYS 48
FILE_CHANGE_HISTORY_WEEKS 46
FILE_CHANGE_HISTORY_ESTIMATED_WORKING_DAYS 230
FILE_AGE_NEGLIGIBLE_RISK_COUNT 0
FILE_AGE_LOW_RISK_COUNT 0
FILE_AGE_MEDIUM_RISK_COUNT 0
FILE_AGE_HIGH_RISK_COUNT 0
FILE_AGE_VERY_HIGH_RISK_COUNT 13
FILE_AGE_NEGLIGIBLE_RISK_LOC 0
FILE_AGE_LOW_RISK_LOC 0
FILE_AGE_MEDIUM_RISK_LOC 0
FILE_AGE_HIGH_RISK_LOC 0
FILE_AGE_VERY_HIGH_RISK_LOC 1,382
NUMBER_OF_CONTRIBUTORS 10
DUPLICATION_NUMBER_OF_DUPLICATES 13
DUPLICATION_NUMBER_OF_FILES_WITH_DUPLICATES 5
DUPLICATION_NUMBER_OF_DUPLICATED_LINES 146
DUPLICATION_NUMBER_OF_CLEANED_LINES 1,382
DUPLICATION_PERCENTAGE 10.56
UNIT_DUPLICATES_COUNT 0
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_SRC 123
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_SRC 123
DUPLICATION_PERCENTAGE_PRIMARY_SRC 100
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_ROOT 23
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_ROOT 23
DUPLICATION_PERCENTAGE_PRIMARY_ROOT 100
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_LEAN 123
DUPLICATION_NUMBER_OF_CLEANED_LINES_LEAN 1,359
DUPLICATION_PERCENTAGE_LEAN 9.05
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_TOML 23
DUPLICATION_NUMBER_OF_CLEANED_LINES_TOML 23
DUPLICATION_PERCENTAGE_TOML 100
TOTAL_ANALYSIS_TIME_IN_MILLIS 188