All numeric values measured by Sokrates.
| Metric | Value |
|---|---|
| TOTAL_NUMBER_OF_FILES | 1,317 |
| NUMBER_OF_FILES_MAIN | 655 |
| LINES_OF_CODE_MAIN | 9,979 |
| NUMBER_OF_FILES_MAIN_EXT_THY | 244 |
| LINES_OF_CODE_MAIN_EXT_THY | 3,505 |
| NUMBER_OF_FILES_MAIN_EXT_MM | 244 |
| LINES_OF_CODE_MAIN_EXT_MM | 3,262 |
| NUMBER_OF_FILES_MAIN_EXT_LEAN | 2 |
| LINES_OF_CODE_MAIN_EXT_LEAN | 2,219 |
| NUMBER_OF_FILES_MAIN_EXT_ML | 163 |
| LINES_OF_CODE_MAIN_EXT_ML | 752 |
| NUMBER_OF_FILES_MAIN_EXT_PY | 1 |
| LINES_OF_CODE_MAIN_EXT_PY | 234 |
| NUMBER_OF_FILES_MAIN_EXT_TOML | 1 |
| LINES_OF_CODE_MAIN_EXT_TOML | 7 |
| NUMBER_OF_FILES_TEST | 652 |
| LINES_OF_CODE_TEST | 8,632 |
| NUMBER_OF_FILES_TEST_EXT_THY | 244 |
| LINES_OF_CODE_TEST_EXT_THY | 3,312 |
| NUMBER_OF_FILES_TEST_EXT_MM | 244 |
| LINES_OF_CODE_TEST_EXT_MM | 2,447 |
| NUMBER_OF_FILES_TEST_EXT_LEAN | 1 |
| LINES_OF_CODE_TEST_EXT_LEAN | 2,283 |
| NUMBER_OF_FILES_TEST_EXT_ML | 163 |
| LINES_OF_CODE_TEST_EXT_ML | 590 |
| TEST_VS_MAIN_LINES_OF_CODE_PERCENTAGE | 86.5 |
| NUMBER_OF_FILES_GENERATED | 0 |
| LINES_OF_CODE_GENERATED | 0 |
| NUMBER_OF_FILES_BUILD_AND_DEPLOYMENT | 2 |
| LINES_OF_CODE_BUILD_AND_DEPLOYMENT | 17 |
| NUMBER_OF_FILES_BUILD_AND_DEPLOYMENT_EXT_SH | 2 |
| LINES_OF_CODE_BUILD_AND_DEPLOYMENT_EXT_SH | 17 |
| NUMBER_OF_FILES_OTHER | 1 |
| LINES_OF_CODE_OTHER | 93 |
| NUMBER_OF_FILES_OTHER_EXT_MD | 1 |
| LINES_OF_CODE_OTHER_EXT_MD | 93 |
| NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_LEAN | 3 |
| LINES_OF_CODE_DECOMPOSITION_PRIMARY_LEAN | 2,453 |
| NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_LEAN_EXT_LEAN | 2 |
| LINES_OF_CODE_DECOMPOSITION_PRIMARY_LEAN_EXT_LEAN | 2,219 |
| NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_LEAN_EXT_PY | 1 |
| LINES_OF_CODE_DECOMPOSITION_PRIMARY_LEAN_EXT_PY | 234 |
| NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_METAMATH | 244 |
| LINES_OF_CODE_DECOMPOSITION_PRIMARY_METAMATH | 3,262 |
| NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_METAMATH_EXT_MM | 244 |
| LINES_OF_CODE_DECOMPOSITION_PRIMARY_METAMATH_EXT_MM | 3,262 |
| NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_HOLLIGHT | 163 |
| LINES_OF_CODE_DECOMPOSITION_PRIMARY_HOLLIGHT | 752 |
| NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_HOLLIGHT_EXT_ML | 163 |
| LINES_OF_CODE_DECOMPOSITION_PRIMARY_HOLLIGHT_EXT_ML | 752 |
| NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT | 1 |
| LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT | 7 |
| NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML | 1 |
| LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML | 7 |
| NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ISABELLE | 244 |
| LINES_OF_CODE_DECOMPOSITION_PRIMARY_ISABELLE | 3,505 |
| NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ISABELLE_EXT_THY | 244 |
| LINES_OF_CODE_DECOMPOSITION_PRIMARY_ISABELLE_EXT_THY | 3,505 |
| 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 | 234 |
| NUMBER_OF_FILES_CONCERN_GENERAL_TODOS_EXT_PY | 1 |
| LINES_OF_CODE_CONCERN_GENERAL_TODOS_EXT_PY | 234 |
| NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED | 654 |
| LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED | 9,745 |
| NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_THY | 244 |
| LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_THY | 3,505 |
| NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_MM | 244 |
| LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_MM | 3,262 |
| NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_LEAN | 2 |
| LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_LEAN | 2,219 |
| NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_ML | 163 |
| LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_ML | 752 |
| NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML | 1 |
| LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML | 7 |
| NEGLIGIBLE_RISK_FILE_SIZE_COUNT | 653 |
| LOW_RISK_FILE_SIZE_COUNT | 0 |
| MEDIUM_RISK_FILE_SIZE_COUNT | 1 |
| HIGH_RISK_FILE_SIZE_COUNT | 0 |
| VERY_HIGH_RISK_FILE_SIZE_COUNT | 1 |
| NEGLIGIBLE_RISK_FILE_SIZE_LOC | 7,613 |
| LOW_RISK_FILE_SIZE_LOC | 0 |
| MEDIUM_RISK_FILE_SIZE_LOC | 234 |
| HIGH_RISK_FILE_SIZE_LOC | 0 |
| VERY_HIGH_RISK_FILE_SIZE_LOC | 2,132 |
| NUMBER_OF_UNITS | 15 |
| LINES_OF_CODE_IN_UNITS | 211 |
| LINES_OF_CODE_OUTSIDE_UNITS | 9,768 |
| UNIT_SIZE_NEGLIGIBLE_RISK_LOC | 57 |
| UNIT_SIZE_NEGLIGIBLE_RISK_PERCENTAGE | 27.01 |
| UNIT_SIZE_NEGLIGIBLE_RISK_COUNT | 9 |
| UNIT_SIZE_LOW_RISK_LOC | 47 |
| UNIT_SIZE_LOW_RISK_PERCENTAGE | 22.27 |
| UNIT_SIZE_LOW_RISK_COUNT | 3 |
| UNIT_SIZE_MEDIUM_RISK_LOC | 107 |
| UNIT_SIZE_MEDIUM_RISK_PERCENTAGE | 50.71 |
| UNIT_SIZE_MEDIUM_RISK_COUNT | 3 |
| 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 |
| UNIT_SIZE_COMPONENT_LEAN_NEGLIGIBLE_RISK_LOC | 57 |
| UNIT_SIZE_COMPONENT_LEAN_NEGLIGIBLE_RISK_PERCENTAGE | 27.01 |
| UNIT_SIZE_COMPONENT_LEAN_NEGLIGIBLE_RISK_COUNT | 9 |
| UNIT_SIZE_COMPONENT_LEAN_LOW_RISK_LOC | 47 |
| UNIT_SIZE_COMPONENT_LEAN_LOW_RISK_PERCENTAGE | 22.27 |
| UNIT_SIZE_COMPONENT_LEAN_LOW_RISK_COUNT | 3 |
| UNIT_SIZE_COMPONENT_LEAN_MEDIUM_RISK_LOC | 107 |
| UNIT_SIZE_COMPONENT_LEAN_MEDIUM_RISK_PERCENTAGE | 50.71 |
| UNIT_SIZE_COMPONENT_LEAN_MEDIUM_RISK_COUNT | 3 |
| UNIT_SIZE_COMPONENT_LEAN_HIGH_RISK_LOC | 0 |
| UNIT_SIZE_COMPONENT_LEAN_HIGH_RISK_PERCENTAGE | 0 |
| UNIT_SIZE_COMPONENT_LEAN_HIGH_RISK_COUNT | 0 |
| UNIT_SIZE_COMPONENT_LEAN_VERY_HIGH_RISK_LOC | 0 |
| UNIT_SIZE_COMPONENT_LEAN_VERY_HIGH_RISK_PERCENTAGE | 0 |
| UNIT_SIZE_COMPONENT_LEAN_VERY_HIGH_RISK_COUNT | 0 |
| UNIT_SIZE_EXTENSION_PY_NEGLIGIBLE_RISK_LOC | 57 |
| UNIT_SIZE_EXTENSION_PY_NEGLIGIBLE_RISK_PERCENTAGE | 27.01 |
| UNIT_SIZE_EXTENSION_PY_NEGLIGIBLE_RISK_COUNT | 9 |
| UNIT_SIZE_EXTENSION_PY_LOW_RISK_LOC | 47 |
| UNIT_SIZE_EXTENSION_PY_LOW_RISK_PERCENTAGE | 22.27 |
| UNIT_SIZE_EXTENSION_PY_LOW_RISK_COUNT | 3 |
| UNIT_SIZE_EXTENSION_PY_MEDIUM_RISK_LOC | 107 |
| UNIT_SIZE_EXTENSION_PY_MEDIUM_RISK_PERCENTAGE | 50.71 |
| UNIT_SIZE_EXTENSION_PY_MEDIUM_RISK_COUNT | 3 |
| UNIT_SIZE_EXTENSION_PY_HIGH_RISK_LOC | 0 |
| UNIT_SIZE_EXTENSION_PY_HIGH_RISK_PERCENTAGE | 0 |
| UNIT_SIZE_EXTENSION_PY_HIGH_RISK_COUNT | 0 |
| UNIT_SIZE_EXTENSION_PY_VERY_HIGH_RISK_LOC | 0 |
| UNIT_SIZE_EXTENSION_PY_VERY_HIGH_RISK_PERCENTAGE | 0 |
| UNIT_SIZE_EXTENSION_PY_VERY_HIGH_RISK_COUNT | 0 |
| CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_LOC | 72 |
| CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_PERCENTAGE | 34.12 |
| CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_COUNT | 9 |
| CONDITIONAL_COMPLEXITY_LOW_RISK_LOC | 35 |
| CONDITIONAL_COMPLEXITY_LOW_RISK_PERCENTAGE | 16.59 |
| CONDITIONAL_COMPLEXITY_LOW_RISK_COUNT | 3 |
| CONDITIONAL_COMPLEXITY_MEDIUM_RISK_LOC | 62 |
| CONDITIONAL_COMPLEXITY_MEDIUM_RISK_PERCENTAGE | 29.38 |
| CONDITIONAL_COMPLEXITY_MEDIUM_RISK_COUNT | 2 |
| CONDITIONAL_COMPLEXITY_HIGH_RISK_LOC | 42 |
| CONDITIONAL_COMPLEXITY_HIGH_RISK_PERCENTAGE | 19.91 |
| CONDITIONAL_COMPLEXITY_HIGH_RISK_COUNT | 1 |
| 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 | 1 |
| CONDITIONAL_COMPLEXITY_HIGH_PLUS_RISK_LOC | 42 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_NEGLIGIBLE_RISK_LOC | 72 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_NEGLIGIBLE_RISK_PERCENTAGE | 34.12 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_NEGLIGIBLE_RISK_COUNT | 9 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_LOW_RISK_LOC | 35 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_LOW_RISK_PERCENTAGE | 16.59 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_LOW_RISK_COUNT | 3 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_MEDIUM_RISK_LOC | 62 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_MEDIUM_RISK_PERCENTAGE | 29.38 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_MEDIUM_RISK_COUNT | 2 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_HIGH_RISK_LOC | 42 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_HIGH_RISK_PERCENTAGE | 19.91 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_HIGH_RISK_COUNT | 1 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_VERY_HIGH_RISK_LOC | 0 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_VERY_HIGH_RISK_PERCENTAGE | 0 |
| CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_VERY_HIGH_RISK_COUNT | 0 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_NEGLIGIBLE_RISK_LOC | 72 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_NEGLIGIBLE_RISK_PERCENTAGE | 34.12 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_NEGLIGIBLE_RISK_COUNT | 9 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_LOW_RISK_LOC | 35 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_LOW_RISK_PERCENTAGE | 16.59 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_LOW_RISK_COUNT | 3 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_MEDIUM_RISK_LOC | 62 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_MEDIUM_RISK_PERCENTAGE | 29.38 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_MEDIUM_RISK_COUNT | 2 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_HIGH_RISK_LOC | 42 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_HIGH_RISK_PERCENTAGE | 19.91 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_HIGH_RISK_COUNT | 1 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_VERY_HIGH_RISK_LOC | 0 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_VERY_HIGH_RISK_PERCENTAGE | 0 |
| CONDITIONAL_COMPLEXITY_COMPONENT_PY_VERY_HIGH_RISK_COUNT | 0 |
| FILE_CHANGE_HISTORY_TOTAL_AGE_DAYS | 1,442 |
| FILE_CHANGE_HISTORY_ACTIVE_DAYS | 77 |
| FILE_CHANGE_HISTORY_WEEKS | 56 |
| FILE_CHANGE_HISTORY_ESTIMATED_WORKING_DAYS | 280 |
| 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 | 655 |
| 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 | 9,979 |
| NUMBER_OF_CONTRIBUTORS | 12 |
| DUPLICATION_NUMBER_OF_DUPLICATES | 0 |
| DUPLICATION_NUMBER_OF_FILES_WITH_DUPLICATES | 0 |
| DUPLICATION_NUMBER_OF_DUPLICATED_LINES | 0 |
| DUPLICATION_NUMBER_OF_CLEANED_LINES | 9,977 |
| DUPLICATION_PERCENTAGE | 0 |
| UNIT_DUPLICATES_COUNT | 0 |
| DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_LEAN | 0 |
| DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_LEAN | 0 |
| DUPLICATION_PERCENTAGE_PRIMARY_LEAN | - |
| DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_METAMATH | 0 |
| DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_METAMATH | 0 |
| DUPLICATION_PERCENTAGE_PRIMARY_METAMATH | - |
| DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_HOLLIGHT | 0 |
| DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_HOLLIGHT | 0 |
| DUPLICATION_PERCENTAGE_PRIMARY_HOLLIGHT | - |
| DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_ROOT | 0 |
| DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_ROOT | 0 |
| DUPLICATION_PERCENTAGE_PRIMARY_ROOT | - |
| DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_ISABELLE | 0 |
| DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_ISABELLE | 0 |
| DUPLICATION_PERCENTAGE_PRIMARY_ISABELLE | - |
| TOTAL_ANALYSIS_TIME_IN_MILLIS | 4,665 |
