{ "metadata" : { "name" : "openai / miniF2F", "description" : "Formal to Formal Mathematics Benchmark", "tooltip" : "", "logoLink" : "https://avatars.githubusercontent.com/openai", "links" : [ { "label" : "GitHub Repo", "href" : "https://github.com/openai/miniF2F.git" } ] }, "metricsList" : { "metrics" : [ { "id" : "TOTAL_NUMBER_OF_FILES", "value" : 1317, "description" : "Total number of files in the source folder" }, { "id" : "NUMBER_OF_FILES_MAIN", "value" : 655, "description" : null }, { "id" : "LINES_OF_CODE_MAIN", "value" : 9979, "description" : null }, { "id" : "NUMBER_OF_FILES_MAIN_EXT_THY", "value" : 244, "description" : null }, { "id" : "LINES_OF_CODE_MAIN_EXT_THY", "value" : 3505, "description" : null }, { "id" : "NUMBER_OF_FILES_MAIN_EXT_MM", "value" : 244, "description" : null }, { "id" : "LINES_OF_CODE_MAIN_EXT_MM", "value" : 3262, "description" : null }, { "id" : "NUMBER_OF_FILES_MAIN_EXT_LEAN", "value" : 2, "description" : null }, { "id" : "LINES_OF_CODE_MAIN_EXT_LEAN", "value" : 2219, "description" : null }, { "id" : "NUMBER_OF_FILES_MAIN_EXT_ML", "value" : 163, "description" : null }, { "id" : "LINES_OF_CODE_MAIN_EXT_ML", "value" : 752, "description" : null }, { "id" : "NUMBER_OF_FILES_MAIN_EXT_PY", "value" : 1, "description" : null }, { "id" : "LINES_OF_CODE_MAIN_EXT_PY", "value" : 234, "description" : null }, { "id" : "NUMBER_OF_FILES_MAIN_EXT_TOML", "value" : 1, "description" : null }, { "id" : "LINES_OF_CODE_MAIN_EXT_TOML", "value" : 7, "description" : null }, { "id" : "NUMBER_OF_FILES_TEST", "value" : 652, "description" : null }, { "id" : "LINES_OF_CODE_TEST", "value" : 8632, "description" : null }, { "id" : "NUMBER_OF_FILES_TEST_EXT_THY", "value" : 244, "description" : null }, { "id" : "LINES_OF_CODE_TEST_EXT_THY", "value" : 3312, "description" : null }, { "id" : "NUMBER_OF_FILES_TEST_EXT_MM", "value" : 244, "description" : null }, { "id" : "LINES_OF_CODE_TEST_EXT_MM", "value" : 2447, "description" : null }, { "id" : "NUMBER_OF_FILES_TEST_EXT_LEAN", "value" : 1, "description" : null }, { "id" : "LINES_OF_CODE_TEST_EXT_LEAN", "value" : 2283, "description" : null }, { "id" : "NUMBER_OF_FILES_TEST_EXT_ML", "value" : 163, "description" : null }, { "id" : "LINES_OF_CODE_TEST_EXT_ML", "value" : 590, "description" : null }, { "id" : "TEST_VS_MAIN_LINES_OF_CODE_PERCENTAGE", "value" : 86.5, "description" : "Test / main code ratio" }, { "id" : "NUMBER_OF_FILES_GENERATED", "value" : 0, "description" : null }, { "id" : "LINES_OF_CODE_GENERATED", "value" : 0, "description" : null }, { "id" : "NUMBER_OF_FILES_BUILD_AND_DEPLOYMENT", "value" : 2, "description" : null }, { "id" : "LINES_OF_CODE_BUILD_AND_DEPLOYMENT", "value" : 17, "description" : null }, { "id" : "NUMBER_OF_FILES_BUILD_AND_DEPLOYMENT_EXT_SH", "value" : 2, "description" : null }, { "id" : "LINES_OF_CODE_BUILD_AND_DEPLOYMENT_EXT_SH", "value" : 17, "description" : null }, { "id" : "NUMBER_OF_FILES_OTHER", "value" : 1, "description" : null }, { "id" : "LINES_OF_CODE_OTHER", "value" : 93, "description" : null }, { "id" : "NUMBER_OF_FILES_OTHER_EXT_MD", "value" : 1, "description" : null }, { "id" : "LINES_OF_CODE_OTHER_EXT_MD", "value" : 93, "description" : null }, { "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_LEAN", "value" : 3, "description" : null }, { "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_LEAN", "value" : 2453, "description" : null }, { "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_LEAN_EXT_LEAN", "value" : 2, "description" : null }, { "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_LEAN_EXT_LEAN", "value" : 2219, "description" : null }, { "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_LEAN_EXT_PY", "value" : 1, "description" : null }, { "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_LEAN_EXT_PY", "value" : 234, "description" : null }, { "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_METAMATH", "value" : 244, "description" : null }, { "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_METAMATH", "value" : 3262, "description" : null }, { "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_METAMATH_EXT_MM", "value" : 244, "description" : null }, { "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_METAMATH_EXT_MM", "value" : 3262, "description" : null }, { "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_HOLLIGHT", "value" : 163, "description" : null }, { "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_HOLLIGHT", "value" : 752, "description" : null }, { "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_HOLLIGHT_EXT_ML", "value" : 163, "description" : null }, { "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_HOLLIGHT_EXT_ML", "value" : 752, "description" : null }, { "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT", "value" : 1, "description" : null }, { "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT", "value" : 7, "description" : null }, { "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML", "value" : 1, "description" : null }, { "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML", "value" : 7, "description" : null }, { "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ISABELLE", "value" : 244, "description" : null }, { "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_ISABELLE", "value" : 3505, "description" : null }, { "id" : "NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ISABELLE_EXT_THY", "value" : 244, "description" : null }, { "id" : "LINES_OF_CODE_DECOMPOSITION_PRIMARY_ISABELLE_EXT_THY", "value" : 3505, "description" : null }, { "id" : "NUMBER_OF_DEPENDENCY_LINKS_DECOMPOSITION_PRIMARY", "value" : 0, "description" : "Number of anchor dependencies" }, { "id" : "NUMBER_OF_DEPENDENCIES_DECOMPOSITION_PRIMARY", "value" : 0, "description" : null }, { "id" : "NUMBER_OF_PLACES_WITH_CYCLIC_DEPENDENCIES_DECOMPOSITION_PRIMARY", "value" : 0, "description" : null }, { "id" : "NUMBER_OF_FILES_CONCERN_GENERAL_TODOS", "value" : 1, "description" : null }, { "id" : "LINES_OF_CODE_CONCERN_GENERAL_TODOS", "value" : 234, "description" : null }, { "id" : "NUMBER_OF_FILES_CONCERN_GENERAL_TODOS_EXT_PY", "value" : 1, "description" : null }, { "id" : "LINES_OF_CODE_CONCERN_GENERAL_TODOS_EXT_PY", "value" : 234, "description" : null }, { "id" : "NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED", "value" : 654, "description" : null }, { "id" : "LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED", "value" : 9745, "description" : null }, { "id" : "NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_THY", "value" : 244, "description" : null }, { "id" : "LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_THY", "value" : 3505, "description" : null }, { "id" : "NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_MM", "value" : 244, "description" : null }, { "id" : "LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_MM", "value" : 3262, "description" : null }, { "id" : "NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_LEAN", "value" : 2, "description" : null }, { "id" : "LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_LEAN", "value" : 2219, "description" : null }, { "id" : "NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_ML", "value" : 163, "description" : null }, { "id" : "LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_ML", "value" : 752, "description" : null }, { "id" : "NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML", "value" : 1, "description" : null }, { "id" : "LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML", "value" : 7, "description" : null }, { "id" : "NEGLIGIBLE_RISK_FILE_SIZE_COUNT", "value" : 653, "description" : "Number of files with 100 or less lines of code" }, { "id" : "LOW_RISK_FILE_SIZE_COUNT", "value" : 0, "description" : "Number of files with 100 to 200 lines of code" }, { "id" : "MEDIUM_RISK_FILE_SIZE_COUNT", "value" : 1, "description" : "Number of files with 200 to 500 lines of code" }, { "id" : "HIGH_RISK_FILE_SIZE_COUNT", "value" : 0, "description" : "Number of files with 500 to 1000 lines of code" }, { "id" : "VERY_HIGH_RISK_FILE_SIZE_COUNT", "value" : 1, "description" : "Number of files with more than 1000 lines of code" }, { "id" : "NEGLIGIBLE_RISK_FILE_SIZE_LOC", "value" : 7613, "description" : "Lines of code in files with 100 or less lines of code" }, { "id" : "LOW_RISK_FILE_SIZE_LOC", "value" : 0, "description" : "Lines of code in files with 100 to 200 lines of code" }, { "id" : "MEDIUM_RISK_FILE_SIZE_LOC", "value" : 234, "description" : "Lines of code in files with 200 to 500 lines of code" }, { "id" : "HIGH_RISK_FILE_SIZE_LOC", "value" : 0, "description" : "Lines of code in files with 500 to 1000 lines of code" }, { "id" : "VERY_HIGH_RISK_FILE_SIZE_LOC", "value" : 2132, "description" : "Lines of code in files with more than 1000 lines of code" }, { "id" : "NUMBER_OF_UNITS", "value" : 15, "description" : "Number of units" }, { "id" : "LINES_OF_CODE_IN_UNITS", "value" : 211, "description" : "Lines of code in units" }, { "id" : "LINES_OF_CODE_OUTSIDE_UNITS", "value" : 9768, "description" : "Lines of code in units" }, { "id" : "UNIT_SIZE_NEGLIGIBLE_RISK_LOC", "value" : 57, "description" : null }, { "id" : "UNIT_SIZE_NEGLIGIBLE_RISK_PERCENTAGE", "value" : 27.01421800947867, "description" : null }, { "id" : "UNIT_SIZE_NEGLIGIBLE_RISK_COUNT", "value" : 9, "description" : null }, { "id" : "UNIT_SIZE_LOW_RISK_LOC", "value" : 47, "description" : null }, { "id" : "UNIT_SIZE_LOW_RISK_PERCENTAGE", "value" : 22.274881516587676, "description" : null }, { "id" : "UNIT_SIZE_LOW_RISK_COUNT", "value" : 3, "description" : null }, { "id" : "UNIT_SIZE_MEDIUM_RISK_LOC", "value" : 107, "description" : null }, { "id" : "UNIT_SIZE_MEDIUM_RISK_PERCENTAGE", "value" : 50.71090047393365, "description" : null }, { "id" : "UNIT_SIZE_MEDIUM_RISK_COUNT", "value" : 3, "description" : null }, { "id" : "UNIT_SIZE_HIGH_RISK_LOC", "value" : 0, "description" : null }, { "id" : "UNIT_SIZE_HIGH_RISK_PERCENTAGE", "value" : 0.0, "description" : null }, { "id" : "UNIT_SIZE_HIGH_RISK_COUNT", "value" : 0, "description" : null }, { "id" : "UNIT_SIZE_VERY_HIGH_RISK_LOC", "value" : 0, "description" : null }, { "id" : "UNIT_SIZE_VERY_HIGH_RISK_PERCENTAGE", "value" : 0.0, "description" : null }, { "id" : "UNIT_SIZE_VERY_HIGH_RISK_COUNT", "value" : 0, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_NEGLIGIBLE_RISK_LOC", "value" : 57, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_NEGLIGIBLE_RISK_PERCENTAGE", "value" : 27.01421800947867, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_NEGLIGIBLE_RISK_COUNT", "value" : 9, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_LOW_RISK_LOC", "value" : 47, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_LOW_RISK_PERCENTAGE", "value" : 22.274881516587676, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_LOW_RISK_COUNT", "value" : 3, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_MEDIUM_RISK_LOC", "value" : 107, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_MEDIUM_RISK_PERCENTAGE", "value" : 50.71090047393365, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_MEDIUM_RISK_COUNT", "value" : 3, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_HIGH_RISK_LOC", "value" : 0, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_HIGH_RISK_PERCENTAGE", "value" : 0.0, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_HIGH_RISK_COUNT", "value" : 0, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_VERY_HIGH_RISK_LOC", "value" : 0, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_VERY_HIGH_RISK_PERCENTAGE", "value" : 0.0, "description" : null }, { "id" : "UNIT_SIZE_COMPONENT_LEAN_VERY_HIGH_RISK_COUNT", "value" : 0, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_NEGLIGIBLE_RISK_LOC", "value" : 57, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_NEGLIGIBLE_RISK_PERCENTAGE", "value" : 27.01421800947867, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_NEGLIGIBLE_RISK_COUNT", "value" : 9, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_LOW_RISK_LOC", "value" : 47, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_LOW_RISK_PERCENTAGE", "value" : 22.274881516587676, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_LOW_RISK_COUNT", "value" : 3, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_MEDIUM_RISK_LOC", "value" : 107, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_MEDIUM_RISK_PERCENTAGE", "value" : 50.71090047393365, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_MEDIUM_RISK_COUNT", "value" : 3, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_HIGH_RISK_LOC", "value" : 0, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_HIGH_RISK_PERCENTAGE", "value" : 0.0, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_HIGH_RISK_COUNT", "value" : 0, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_VERY_HIGH_RISK_LOC", "value" : 0, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_VERY_HIGH_RISK_PERCENTAGE", "value" : 0.0, "description" : null }, { "id" : "UNIT_SIZE_EXTENSION_PY_VERY_HIGH_RISK_COUNT", "value" : 0, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_LOC", "value" : 72, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_PERCENTAGE", "value" : 34.12322274881517, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_COUNT", "value" : 9, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_LOW_RISK_LOC", "value" : 35, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_LOW_RISK_PERCENTAGE", "value" : 16.587677725118482, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_LOW_RISK_COUNT", "value" : 3, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_MEDIUM_RISK_LOC", "value" : 62, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_MEDIUM_RISK_PERCENTAGE", "value" : 29.38388625592417, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_MEDIUM_RISK_COUNT", "value" : 2, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_HIGH_RISK_LOC", "value" : 42, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_HIGH_RISK_PERCENTAGE", "value" : 19.90521327014218, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_HIGH_RISK_COUNT", "value" : 1, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_LOC", "value" : 0, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_PERCENTAGE", "value" : 0.0, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_COUNT", "value" : 0, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_HIGH_PLUS_RISK_COUNT", "value" : 1, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_HIGH_PLUS_RISK_LOC", "value" : 42, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_NEGLIGIBLE_RISK_LOC", "value" : 72, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_NEGLIGIBLE_RISK_PERCENTAGE", "value" : 34.12322274881517, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_NEGLIGIBLE_RISK_COUNT", "value" : 9, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_LOW_RISK_LOC", "value" : 35, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_LOW_RISK_PERCENTAGE", "value" : 16.587677725118482, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_LOW_RISK_COUNT", "value" : 3, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_MEDIUM_RISK_LOC", "value" : 62, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_MEDIUM_RISK_PERCENTAGE", "value" : 29.38388625592417, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_MEDIUM_RISK_COUNT", "value" : 2, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_HIGH_RISK_LOC", "value" : 42, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_HIGH_RISK_PERCENTAGE", "value" : 19.90521327014218, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_HIGH_RISK_COUNT", "value" : 1, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_VERY_HIGH_RISK_LOC", "value" : 0, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_VERY_HIGH_RISK_PERCENTAGE", "value" : 0.0, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_LEAN_VERY_HIGH_RISK_COUNT", "value" : 0, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_NEGLIGIBLE_RISK_LOC", "value" : 72, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_NEGLIGIBLE_RISK_PERCENTAGE", "value" : 34.12322274881517, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_NEGLIGIBLE_RISK_COUNT", "value" : 9, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_LOW_RISK_LOC", "value" : 35, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_LOW_RISK_PERCENTAGE", "value" : 16.587677725118482, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_LOW_RISK_COUNT", "value" : 3, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_MEDIUM_RISK_LOC", "value" : 62, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_MEDIUM_RISK_PERCENTAGE", "value" : 29.38388625592417, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_MEDIUM_RISK_COUNT", "value" : 2, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_HIGH_RISK_LOC", "value" : 42, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_HIGH_RISK_PERCENTAGE", "value" : 19.90521327014218, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_HIGH_RISK_COUNT", "value" : 1, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_VERY_HIGH_RISK_LOC", "value" : 0, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_VERY_HIGH_RISK_PERCENTAGE", "value" : 0.0, "description" : null }, { "id" : "CONDITIONAL_COMPLEXITY_COMPONENT_PY_VERY_HIGH_RISK_COUNT", "value" : 0, "description" : null }, { "id" : "FILE_CHANGE_HISTORY_TOTAL_AGE_DAYS", "value" : 1442, "description" : "The age of the repository in days" }, { "id" : "FILE_CHANGE_HISTORY_ACTIVE_DAYS", "value" : 77, "description" : "The number of days with at least one file change" }, { "id" : "FILE_CHANGE_HISTORY_WEEKS", "value" : 56, "description" : "The number of weeks" }, { "id" : "FILE_CHANGE_HISTORY_ESTIMATED_WORKING_DAYS", "value" : 280, "description" : "The number of estimated working days in the period" }, { "id" : "FILE_AGE_NEGLIGIBLE_RISK_COUNT", "value" : 0, "description" : "Number of files 1-30 days days old" }, { "id" : "FILE_AGE_LOW_RISK_COUNT", "value" : 0, "description" : "Number of files 31-90 days days old" }, { "id" : "FILE_AGE_MEDIUM_RISK_COUNT", "value" : 0, "description" : "Number of files 91-180 days days old" }, { "id" : "FILE_AGE_HIGH_RISK_COUNT", "value" : 0, "description" : "Number of files 181-365 days days old" }, { "id" : "FILE_AGE_VERY_HIGH_RISK_COUNT", "value" : 655, "description" : "Number of files 366+ days days old" }, { "id" : "FILE_AGE_NEGLIGIBLE_RISK_LOC", "value" : 0, "description" : "Number of files 1-30 days days old" }, { "id" : "FILE_AGE_LOW_RISK_LOC", "value" : 0, "description" : "Number of files 31-90 days days old" }, { "id" : "FILE_AGE_MEDIUM_RISK_LOC", "value" : 0, "description" : "Number of files 91-180 days days old" }, { "id" : "FILE_AGE_HIGH_RISK_LOC", "value" : 0, "description" : "Number of files 181-365 days days old" }, { "id" : "FILE_AGE_VERY_HIGH_RISK_LOC", "value" : 9979, "description" : "Number of files 366+ days days old" }, { "id" : "NUMBER_OF_CONTRIBUTORS", "value" : 12, "description" : "Number of contributors" }, { "id" : "DUPLICATION_NUMBER_OF_DUPLICATES", "value" : 0, "description" : "Number of duplicates" }, { "id" : "DUPLICATION_NUMBER_OF_FILES_WITH_DUPLICATES", "value" : 0, "description" : "Number of files with duplicates" }, { "id" : "DUPLICATION_NUMBER_OF_DUPLICATED_LINES", "value" : 0, "description" : "Number of duplicated lines" }, { "id" : "DUPLICATION_NUMBER_OF_CLEANED_LINES", "value" : 9977, "description" : "Number of lines after cleaning for duplication calculations" }, { "id" : "DUPLICATION_PERCENTAGE", "value" : 0.0, "description" : "Duplication percentage" }, { "id" : "UNIT_DUPLICATES_COUNT", "value" : 0, "description" : "Unit duplicates" }, { "id" : "DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_LEAN", "value" : 0, "description" : "Number of duplicated lines" }, { "id" : "DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_LEAN", "value" : 0, "description" : "Number of lines after cleaning for duplication calculations" }, { "id" : "DUPLICATION_PERCENTAGE_PRIMARY_LEAN", "value" : "NaN", "description" : "Duplication percentage" }, { "id" : "DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_METAMATH", "value" : 0, "description" : "Number of duplicated lines" }, { "id" : "DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_METAMATH", "value" : 0, "description" : "Number of lines after cleaning for duplication calculations" }, { "id" : "DUPLICATION_PERCENTAGE_PRIMARY_METAMATH", "value" : "NaN", "description" : "Duplication percentage" }, { "id" : "DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_HOLLIGHT", "value" : 0, "description" : "Number of duplicated lines" }, { "id" : "DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_HOLLIGHT", "value" : 0, "description" : "Number of lines after cleaning for duplication calculations" }, { "id" : "DUPLICATION_PERCENTAGE_PRIMARY_HOLLIGHT", "value" : "NaN", "description" : "Duplication percentage" }, { "id" : "DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_ROOT", "value" : 0, "description" : "Number of duplicated lines" }, { "id" : "DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_ROOT", "value" : 0, "description" : "Number of lines after cleaning for duplication calculations" }, { "id" : "DUPLICATION_PERCENTAGE_PRIMARY_ROOT", "value" : "NaN", "description" : "Duplication percentage" }, { "id" : "DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_ISABELLE", "value" : 0, "description" : "Number of duplicated lines" }, { "id" : "DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_ISABELLE", "value" : 0, "description" : "Number of lines after cleaning for duplication calculations" }, { "id" : "DUPLICATION_PERCENTAGE_PRIMARY_ISABELLE", "value" : "NaN", "description" : "Duplication percentage" }, { "id" : "TOTAL_ANALYSIS_TIME_IN_MILLIS", "value" : 4665, "description" : "Total analysis time in milliseconds" } ] }, "controlResults" : { "goalsAnalysisResults" : [ { "metricsWithGoal" : { "goal" : "Keep the system simple and easy to change", "description" : "Aim at keeping the system size modest (less than 200,000 LOC is good), duplication low (less than 5% is good), files small (no files longer than 1000 LOC is good), and units simple (no units with more than 25 decision points is good).", "controls" : [ { "metric" : "LINES_OF_CODE_MAIN", "description" : "Total number of lines of main code", "desiredRange" : { "min" : "0", "max" : "200000", "tolerance" : "20000" } }, { "metric" : "DUPLICATION_PERCENTAGE", "description" : "System duplication", "desiredRange" : { "min" : "0", "max" : "5", "tolerance" : "1" } }, { "metric" : "VERY_HIGH_RISK_FILE_SIZE_COUNT", "description" : "The number of very large files", "desiredRange" : { "min" : "0", "max" : "0", "tolerance" : "1" } }, { "metric" : "CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_COUNT", "description" : "Number of very complex units", "desiredRange" : { "min" : "0", "max" : "0", "tolerance" : "1" } } ] }, "controlStatuses" : [ { "control" : { "metric" : "LINES_OF_CODE_MAIN", "description" : "Total number of lines of main code", "desiredRange" : { "min" : "0", "max" : "200000", "tolerance" : "20000" } }, "metric" : { "id" : "LINES_OF_CODE_MAIN", "value" : 9979, "description" : null }, "status" : "OK" }, { "control" : { "metric" : "DUPLICATION_PERCENTAGE", "description" : "System duplication", "desiredRange" : { "min" : "0", "max" : "5", "tolerance" : "1" } }, "metric" : { "id" : "DUPLICATION_PERCENTAGE", "value" : 0.0, "description" : "Duplication percentage" }, "status" : "OK" }, { "control" : { "metric" : "VERY_HIGH_RISK_FILE_SIZE_COUNT", "description" : "The number of very large files", "desiredRange" : { "min" : "0", "max" : "0", "tolerance" : "1" } }, "metric" : { "id" : "VERY_HIGH_RISK_FILE_SIZE_COUNT", "value" : 1, "description" : "Number of files with more than 1000 lines of code" }, "status" : "TOLERANT" }, { "control" : { "metric" : "CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_COUNT", "description" : "Number of very complex units", "desiredRange" : { "min" : "0", "max" : "0", "tolerance" : "1" } }, "metric" : { "id" : "CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_COUNT", "value" : 0, "description" : null }, "status" : "OK" } ] } ] }, "totalNumberOfFilesInScope" : 1317, "mainAspectAnalysisResults" : { "name" : null, "filesCount" : 655, "linesOfCode" : 9979, "numberOfRegexLineMatches" : 0, "fileCountPerExtension" : [ { "name" : " *.thy", "value" : 244, "description" : [ ] }, { "name" : " *.mm", "value" : 244, "description" : [ ] }, { "name" : " *.lean", "value" : 2, "description" : [ ] }, { "name" : " *.ml", "value" : 163, "description" : [ ] }, { "name" : " *.py", "value" : 1, "description" : [ ] }, { "name" : " *.toml", "value" : 1, "description" : [ ] } ], "linesOfCodePerExtension" : [ { "name" : " *.thy", "value" : 3505, "description" : [ ] }, { "name" : " *.mm", "value" : 3262, "description" : [ ] }, { "name" : " *.lean", "value" : 2219, "description" : [ ] }, { "name" : " *.ml", "value" : 752, "description" : [ ] }, { "name" : " *.py", "value" : 234, "description" : [ ] }, { "name" : " *.toml", "value" : 7, "description" : [ ] } ] }, "testAspectAnalysisResults" : { "name" : null, "filesCount" : 652, "linesOfCode" : 8632, "numberOfRegexLineMatches" : 0, "fileCountPerExtension" : [ { "name" : " *.thy", "value" : 244, "description" : [ ] }, { "name" : " *.mm", "value" : 244, "description" : [ ] }, { "name" : " *.lean", "value" : 1, "description" : [ ] }, { "name" : " *.ml", "value" : 163, "description" : [ ] } ], "linesOfCodePerExtension" : [ { "name" : " *.thy", "value" : 3312, "description" : [ ] }, { "name" : " *.mm", "value" : 2447, "description" : [ ] }, { "name" : " *.lean", "value" : 2283, "description" : [ ] }, { "name" : " *.ml", "value" : 590, "description" : [ ] } ] }, "generatedAspectAnalysisResults" : { "name" : null, "filesCount" : 0, "linesOfCode" : 0, "numberOfRegexLineMatches" : 0, "fileCountPerExtension" : [ ], "linesOfCodePerExtension" : [ ] }, "buildAndDeployAspectAnalysisResults" : { "name" : null, "filesCount" : 2, "linesOfCode" : 17, "numberOfRegexLineMatches" : 0, "fileCountPerExtension" : [ { "name" : " *.sh", "value" : 2, "description" : [ ] } ], "linesOfCodePerExtension" : [ { "name" : " *.sh", "value" : 17, "description" : [ ] } ] }, "otherAspectAnalysisResults" : { "name" : null, "filesCount" : 1, "linesOfCode" : 93, "numberOfRegexLineMatches" : 0, "fileCountPerExtension" : [ { "name" : " *.md", "value" : 1, "description" : [ ] } ], "linesOfCodePerExtension" : [ { "name" : " *.md", "value" : 93, "description" : [ ] } ] }, "logicalDecompositionsAnalysisResults" : [ { "key" : "primary", "components" : [ { "name" : "lean", "filesCount" : 3, "linesOfCode" : 2453, "numberOfRegexLineMatches" : 0, "fileCountPerExtension" : [ { "name" : " *.lean", "value" : 2, "description" : [ ] }, { "name" : " *.py", "value" : 1, "description" : [ ] } ], "linesOfCodePerExtension" : [ { "name" : " *.lean", "value" : 2219, "description" : [ ] }, { "name" : " *.py", "value" : 234, "description" : [ ] } ] }, { "name" : "metamath", "filesCount" : 244, "linesOfCode" : 3262, "numberOfRegexLineMatches" : 0, "fileCountPerExtension" : [ { "name" : " *.mm", "value" : 244, "description" : [ ] } ], "linesOfCodePerExtension" : [ { "name" : " *.mm", "value" : 3262, "description" : [ ] } ] }, { "name" : "hollight", "filesCount" : 163, "linesOfCode" : 752, "numberOfRegexLineMatches" : 0, "fileCountPerExtension" : [ { "name" : " *.ml", "value" : 163, "description" : [ ] } ], "linesOfCodePerExtension" : [ { "name" : " *.ml", "value" : 752, "description" : [ ] } ] }, { "name" : "ROOT", "filesCount" : 1, "linesOfCode" : 7, "numberOfRegexLineMatches" : 0, "fileCountPerExtension" : [ { "name" : " *.toml", "value" : 1, "description" : [ ] } ], "linesOfCodePerExtension" : [ { "name" : " *.toml", "value" : 7, "description" : [ ] } ] }, { "name" : "isabelle", "filesCount" : 244, "linesOfCode" : 3505, "numberOfRegexLineMatches" : 0, "fileCountPerExtension" : [ { "name" : " *.thy", "value" : 244, "description" : [ ] } ], "linesOfCodePerExtension" : [ { "name" : " *.thy", "value" : 3505, "description" : [ ] } ] } ], "componentDependencies" : [ ], "componentDependenciesErrors" : [ ], "logicalDecomposition" : { "name" : "primary", "scope" : "main", "filters" : [ ], "componentsFolderDepth" : 1, "minComponentsCount" : 0, "components" : [ { "name" : "lean", "sourceFileFilters" : [ { "pathPattern" : "./lean/.*", "contentPattern" : "", "exception" : false, "note" : "" } ], "files" : [ ] }, { "name" : "metamath", "sourceFileFilters" : [ { "pathPattern" : "./metamath/.*", "contentPattern" : "", "exception" : false, "note" : "" } ], "files" : [ ] }, { "name" : "hollight", "sourceFileFilters" : [ { "pathPattern" : "./hollight/.*", "contentPattern" : "", "exception" : false, "note" : "" } ], "files" : [ ] }, { "name" : "ROOT", "sourceFileFilters" : [ { "pathPattern" : "./.*", "contentPattern" : "", "exception" : false, "note" : "" }, { "pathPattern" : "./lean/.*", "contentPattern" : "", "exception" : true, "note" : "" }, { "pathPattern" : "./metamath/.*", "contentPattern" : "", "exception" : true, "note" : "" }, { "pathPattern" : "./hollight/.*", "contentPattern" : "", "exception" : true, "note" : "" }, { "pathPattern" : "./isabelle/.*", "contentPattern" : "", "exception" : true, "note" : "" } ], "files" : [ ] }, { "name" : "isabelle", "sourceFileFilters" : [ { "pathPattern" : "./isabelle/.*", "contentPattern" : "", "exception" : false, "note" : "" } ], "files" : [ ] } ], "metaComponents" : [ ], "groups" : [ ], "includeRemainingFiles" : true, "dependenciesFinder" : { "useBuiltInDependencyFinders" : true, "rules" : [ ], "metaRules" : [ ] }, "renderingOptions" : { "orientation" : "TB", "maxNumberOfDependencies" : 100, "renderComponentsWithoutDependencies" : true, "renderIndirectDependencies" : false, "renderInternalIndirectDependencies" : false, "reverseDirection" : false }, "includeExternalComponents" : true, "dependencyLinkThreshold" : 1, "duplicationLinkThreshold" : 50, "temporalLinkThreshold" : 1, "maxSearchDepthLines" : 200 }, "fileCountPerComponent" : [ { "name" : "lean", "value" : 3, "description" : [ ] }, { "name" : "metamath", "value" : 244, "description" : [ ] }, { "name" : "hollight", "value" : 163, "description" : [ ] }, { "name" : "ROOT", "value" : 1, "description" : [ ] }, { "name" : "isabelle", "value" : 244, "description" : [ ] } ], "linesOfCodePerComponent" : [ { "name" : "lean", "value" : 2453, "description" : [ ] }, { "name" : "metamath", "value" : 3262, "description" : [ ] }, { "name" : "hollight", "value" : 752, "description" : [ ] }, { "name" : "ROOT", "value" : 7, "description" : [ ] }, { "name" : "isabelle", "value" : 3505, "description" : [ ] } ] } ], "concernsAnalysisResults" : [ { "key" : "general", "concerns" : [ { "name" : "TODOs", "filesCount" : 1, "linesOfCode" : 234, "numberOfRegexLineMatches" : 1, "fileCountPerExtension" : [ { "name" : " *.py", "value" : 1, "description" : [ ] } ], "linesOfCodePerExtension" : [ { "name" : " *.py", "value" : 234, "description" : [ ] } ] }, { "name" : "Unclassified", "filesCount" : 654, "linesOfCode" : 9745, "numberOfRegexLineMatches" : 0, "fileCountPerExtension" : [ { "name" : " *.thy", "value" : 244, "description" : [ ] }, { "name" : " *.mm", "value" : 244, "description" : [ ] }, { "name" : " *.lean", "value" : 2, "description" : [ ] }, { "name" : " *.ml", "value" : 163, "description" : [ ] }, { "name" : " *.toml", "value" : 1, "description" : [ ] } ], "linesOfCodePerExtension" : [ { "name" : " *.thy", "value" : 3505, "description" : [ ] }, { "name" : " *.mm", "value" : 3262, "description" : [ ] }, { "name" : " *.lean", "value" : 2219, "description" : [ ] }, { "name" : " *.ml", "value" : 752, "description" : [ ] }, { "name" : " *.toml", "value" : 7, "description" : [ ] } ] } ], "concernsGroup" : null, "fileCountPerConcern" : [ { "name" : "TODOs", "value" : 1, "description" : [ ] }, { "name" : "Unclassified", "value" : 654, "description" : [ ] } ], "linesOfCodePerConcern" : [ { "name" : "TODOs", "value" : 234, "description" : [ ] }, { "name" : "Unclassified", "value" : 9745, "description" : [ ] } ] } ], "foundTags" : [ ], "filesAnalysisResults" : { "overallFileSizeDistribution" : { "key" : "", "lowRiskThreshold" : 100, "mediumRiskThreshold" : 200, "highRiskThreshold" : 500, "veryHighRiskThreshold" : 1000, "negligibleRiskValue" : 7613, "lowRiskValue" : 0, "mediumRiskValue" : 234, "highRiskValue" : 0, "veryHighRiskValue" : 2132, "lowRiskCount" : 0, "negligibleRiskCount" : 653, "mediumRiskCount" : 1, "highRiskCount" : 0, "veryHighRiskCount" : 1, "negligibleRiskLabel" : "1-100", "lowRiskLabel" : "101-200", "mediumRiskLabel" : "201-500", "highRiskLabel" : "501-1000", "veryHighRiskLabel" : "1001+", "totalValue" : 9979, "totalCount" : 655, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 21.364866219060026, "mediumRiskPercentage" : 2.3449243411163443, "negligibleRiskPercentage" : 76.29020943982363 }, "fileSizeDistributionPerExtension" : [ { "key" : "py", "lowRiskThreshold" : 100, "mediumRiskThreshold" : 200, "highRiskThreshold" : 500, "veryHighRiskThreshold" : 1000, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 234, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 1, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-100", "lowRiskLabel" : "101-200", "mediumRiskLabel" : "201-500", "highRiskLabel" : "501-1000", "veryHighRiskLabel" : "1001+", "totalValue" : 234, "totalCount" : 1, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 100.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "lean", "lowRiskThreshold" : 100, "mediumRiskThreshold" : 200, "highRiskThreshold" : 500, "veryHighRiskThreshold" : 1000, "negligibleRiskValue" : 87, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 2132, "lowRiskCount" : 0, "negligibleRiskCount" : 1, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 1, "negligibleRiskLabel" : "1-100", "lowRiskLabel" : "101-200", "mediumRiskLabel" : "201-500", "highRiskLabel" : "501-1000", "veryHighRiskLabel" : "1001+", "totalValue" : 2219, "totalCount" : 2, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 96.0793150067598, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 3.920684993240198 }, { "key" : "mm", "lowRiskThreshold" : 100, "mediumRiskThreshold" : 200, "highRiskThreshold" : 500, "veryHighRiskThreshold" : 1000, "negligibleRiskValue" : 3262, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 244, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-100", "lowRiskLabel" : "101-200", "mediumRiskLabel" : "201-500", "highRiskLabel" : "501-1000", "veryHighRiskLabel" : "1001+", "totalValue" : 3262, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 }, { "key" : "ml", "lowRiskThreshold" : 100, "mediumRiskThreshold" : 200, "highRiskThreshold" : 500, "veryHighRiskThreshold" : 1000, "negligibleRiskValue" : 752, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 163, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-100", "lowRiskLabel" : "101-200", "mediumRiskLabel" : "201-500", "highRiskLabel" : "501-1000", "veryHighRiskLabel" : "1001+", "totalValue" : 752, "totalCount" : 163, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 }, { "key" : "toml", "lowRiskThreshold" : 100, "mediumRiskThreshold" : 200, "highRiskThreshold" : 500, "veryHighRiskThreshold" : 1000, "negligibleRiskValue" : 7, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 1, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-100", "lowRiskLabel" : "101-200", "mediumRiskLabel" : "201-500", "highRiskLabel" : "501-1000", "veryHighRiskLabel" : "1001+", "totalValue" : 7, "totalCount" : 1, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 }, { "key" : "thy", "lowRiskThreshold" : 100, "mediumRiskThreshold" : 200, "highRiskThreshold" : 500, "veryHighRiskThreshold" : 1000, "negligibleRiskValue" : 3505, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 244, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-100", "lowRiskLabel" : "101-200", "mediumRiskLabel" : "201-500", "highRiskLabel" : "501-1000", "veryHighRiskLabel" : "1001+", "totalValue" : 3505, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 } ], "fileSizeDistributionPerLogicalDecomposition" : [ { "name" : "primary", "fileSizeDistributionPerComponent" : [ { "key" : "lean", "lowRiskThreshold" : 100, "mediumRiskThreshold" : 200, "highRiskThreshold" : 500, "veryHighRiskThreshold" : 1000, "negligibleRiskValue" : 87, "lowRiskValue" : 0, "mediumRiskValue" : 234, "highRiskValue" : 0, "veryHighRiskValue" : 2132, "lowRiskCount" : 0, "negligibleRiskCount" : 1, "mediumRiskCount" : 1, "highRiskCount" : 0, "veryHighRiskCount" : 1, "negligibleRiskLabel" : "1-100", "lowRiskLabel" : "101-200", "mediumRiskLabel" : "201-500", "highRiskLabel" : "501-1000", "veryHighRiskLabel" : "1001+", "totalValue" : 2453, "totalCount" : 3, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 86.91398287810844, "mediumRiskPercentage" : 9.539339584182633, "negligibleRiskPercentage" : 3.546677537708928 }, { "key" : "metamath", "lowRiskThreshold" : 100, "mediumRiskThreshold" : 200, "highRiskThreshold" : 500, "veryHighRiskThreshold" : 1000, "negligibleRiskValue" : 3262, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 244, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-100", "lowRiskLabel" : "101-200", "mediumRiskLabel" : "201-500", "highRiskLabel" : "501-1000", "veryHighRiskLabel" : "1001+", "totalValue" : 3262, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 }, { "key" : "hollight", "lowRiskThreshold" : 100, "mediumRiskThreshold" : 200, "highRiskThreshold" : 500, "veryHighRiskThreshold" : 1000, "negligibleRiskValue" : 752, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 163, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-100", "lowRiskLabel" : "101-200", "mediumRiskLabel" : "201-500", "highRiskLabel" : "501-1000", "veryHighRiskLabel" : "1001+", "totalValue" : 752, "totalCount" : 163, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 }, { "key" : "ROOT", "lowRiskThreshold" : 100, "mediumRiskThreshold" : 200, "highRiskThreshold" : 500, "veryHighRiskThreshold" : 1000, "negligibleRiskValue" : 7, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 1, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-100", "lowRiskLabel" : "101-200", "mediumRiskLabel" : "201-500", "highRiskLabel" : "501-1000", "veryHighRiskLabel" : "1001+", "totalValue" : 7, "totalCount" : 1, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 }, { "key" : "isabelle", "lowRiskThreshold" : 100, "mediumRiskThreshold" : 200, "highRiskThreshold" : 500, "veryHighRiskThreshold" : 1000, "negligibleRiskValue" : 3505, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 244, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-100", "lowRiskLabel" : "101-200", "mediumRiskLabel" : "201-500", "highRiskLabel" : "501-1000", "veryHighRiskLabel" : "1001+", "totalValue" : 3505, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 } ] } ], "longestFiles" : [ { "relativePath" : "lean/src/valid.lean", "extension" : "lean", "linesOfCode" : 2132, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, { "relativePath" : "lean/src/minif2f_import.lean", "extension" : "lean", "linesOfCode" : 87, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/numbertheory-prmdvsneqnsqmodpeq0.mm", "extension" : "mm", "linesOfCode" : 76, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12b-2004-p3.mm", "extension" : "mm", "linesOfCode" : 53, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-seq-mul2pnp1.mm", "extension" : "mm", "linesOfCode" : 51, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/numbertheory-xsqpysqintdenomeq.mm", "extension" : "mm", "linesOfCode" : 46, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/induction_ineq_nsqlefactn.thy", "extension" : "thy", "linesOfCode" : 44, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12b-2003-p6.mm", "extension" : "mm", "linesOfCode" : 43, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-divisibility-3divnto3m2n.mm", "extension" : "mm", "linesOfCode" : 43, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-31.mm", "extension" : "mm", "linesOfCode" : 40, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-sum-1oktkp1.mm", "extension" : "mm", "linesOfCode" : 40, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/numbertheory-sqmod4in01d.mm", "extension" : "mm", "linesOfCode" : 37, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-ineq-nsqlefactn.mm", "extension" : "mm", "linesOfCode" : 37, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12b-2003-p9.mm", "extension" : "mm", "linesOfCode" : 36, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-245.mm", "extension" : "mm", "linesOfCode" : 36, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_245.thy", "extension" : "thy", "linesOfCode" : 36, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2003_p24.thy", "extension" : "thy", "linesOfCode" : 35, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-sqineq-4bap1lt4bsqpap1sq.mm", "extension" : "mm", "linesOfCode" : 34, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12b-2002-p3.mm", "extension" : "mm", "linesOfCode" : 34, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-159.mm", "extension" : "mm", "linesOfCode" : 34, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-sum2kp1npqsqm1.mm", "extension" : "mm", "linesOfCode" : 33, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-divisibility-3div2tooddnp1.mm", "extension" : "mm", "linesOfCode" : 32, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-2varlineareq-xpeeq7-2xpeeq3-eeq11-xeqn4.mm", "extension" : "mm", "linesOfCode" : 31, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12a-2003-p24.mm", "extension" : "mm", "linesOfCode" : 31, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-sqineq-2at2pclta2c2p41pc.mm", "extension" : "mm", "linesOfCode" : 31, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12b_2002_p3.thy", "extension" : "thy", "linesOfCode" : 31, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12-2000-p11.mm", "extension" : "mm", "linesOfCode" : 29, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2013_p8.thy", "extension" : "thy", "linesOfCode" : 29, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-151.mm", "extension" : "mm", "linesOfCode" : 28, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12-2001-p9.mm", "extension" : "mm", "linesOfCode" : 28, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-sum-odd.mm", "extension" : "mm", "linesOfCode" : 28, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12b-2003-p17.mm", "extension" : "mm", "linesOfCode" : 27, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_405.thy", "extension" : "thy", "linesOfCode" : 27, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_11.thy", "extension" : "thy", "linesOfCode" : 26, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12a-2003-p1.mm", "extension" : "mm", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-sqineq-36azm9asqle36zsq.mm", "extension" : "mm", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-divisibility-9div10tonm1.mm", "extension" : "mm", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-3rootspoly-amdtamctambeqnasqmbpctapcbtdpasqmbpctapcbta.mm", "extension" : "mm", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_101.thy", "extension" : "thy", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_422.thy", "extension" : "thy", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "hollight/valid/aime-1984-p15.ml", "extension" : "ml", "linesOfCode" : 24, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aime_1983_p9.thy", "extension" : "thy", "linesOfCode" : 24, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_132.thy", "extension" : "thy", "linesOfCode" : 24, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/algebra_sqineq_2unitcircatblt1.thy", "extension" : "thy", "linesOfCode" : 24, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-192.mm", "extension" : "mm", "linesOfCode" : 23, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-binomnegdiscrineq-10alt28asqp1.mm", "extension" : "mm", "linesOfCode" : 23, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/induction_divisibility_3div2tooddnp1.thy", "extension" : "thy", "linesOfCode" : 23, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2003_p1.thy", "extension" : "thy", "linesOfCode" : 23, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12b_2003_p17.thy", "extension" : "thy", "linesOfCode" : 22, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 } ], "filesWithMostUnits" : [ { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 } ] }, "filesHistoryAnalysisResults" : { "overallFileLastModifiedDistribution" : { "key" : "", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 9979, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 655, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 9979, "totalCount" : 655, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, "overallFileFirstModifiedDistribution" : { "key" : "", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 9979, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 655, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 9979, "totalCount" : 655, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, "overallFileChangeDistribution" : { "key" : "", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 7753, "lowRiskValue" : 2226, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 3, "negligibleRiskCount" : 652, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 9979, "totalCount" : 655, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 22.306844373183687, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 77.69315562681632 }, "overallContributorsCountDistribution" : { "key" : "", "lowRiskThreshold" : 1, "mediumRiskThreshold" : 5, "highRiskThreshold" : 10, "veryHighRiskThreshold" : 25, "negligibleRiskValue" : 2110, "lowRiskValue" : 5737, "mediumRiskValue" : 2132, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 495, "negligibleRiskCount" : 159, "mediumRiskCount" : 1, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1", "lowRiskLabel" : "2-5", "mediumRiskLabel" : "6-10", "highRiskLabel" : "11-25", "veryHighRiskLabel" : "26+", "totalValue" : 9979, "totalCount" : 655, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 57.49073053412165, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 21.364866219060026, "negligibleRiskPercentage" : 21.144403246818317 }, "filesWithoutCommitHistoryCount" : 0, "filesWithoutCommitHistoryLinesOfCode" : 0, "changeDistributionPerExtension" : [ { "key" : "py", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 234, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 1, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 234, "totalCount" : 1, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 }, { "key" : "lean", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 0, "lowRiskValue" : 2219, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 2, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 2219, "totalCount" : 2, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 100.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "mm", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 3262, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 244, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 3262, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 }, { "key" : "ml", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 752, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 163, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 752, "totalCount" : 163, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 }, { "key" : "toml", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 0, "lowRiskValue" : 7, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 1, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 7, "totalCount" : 1, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 100.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "thy", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 3505, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 244, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 3505, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 } ], "lastModifiedDistributionPerExtension" : [ { "key" : "py", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 234, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 1, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 234, "totalCount" : 1, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "lean", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 2219, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 2, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 2219, "totalCount" : 2, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "mm", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 3262, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 244, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 3262, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "ml", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 752, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 163, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 752, "totalCount" : 163, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "toml", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 7, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 1, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 7, "totalCount" : 1, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "thy", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 3505, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 244, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 3505, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 } ], "firstModifiedDistributionPerExtension" : [ { "key" : "py", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 234, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 1, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 234, "totalCount" : 1, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "lean", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 2219, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 2, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 2219, "totalCount" : 2, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "mm", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 3262, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 244, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 3262, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "ml", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 752, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 163, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 752, "totalCount" : 163, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "toml", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 7, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 1, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 7, "totalCount" : 1, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "thy", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 3505, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 244, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 3505, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 } ], "changeDistributionPerLogicalDecomposition" : [ { "name" : "primary", "distributionPerComponent" : [ { "key" : "lean", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 234, "lowRiskValue" : 2219, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 2, "negligibleRiskCount" : 1, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 2453, "totalCount" : 3, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 90.46066041581737, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 9.539339584182633 }, { "key" : "metamath", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 3262, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 244, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 3262, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 }, { "key" : "hollight", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 752, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 163, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 752, "totalCount" : 163, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 }, { "key" : "ROOT", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 0, "lowRiskValue" : 7, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 1, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 7, "totalCount" : 1, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 100.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "isabelle", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 3505, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 0, "negligibleRiskCount" : 244, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 3505, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 100.0 } ] } ], "firstModifiedDistributionPerLogicalDecomposition" : [ { "name" : "primary", "distributionPerComponent" : [ { "key" : "lean", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 2453, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 3, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 2453, "totalCount" : 3, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "metamath", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 3262, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 244, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 3262, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "hollight", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 752, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 163, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 752, "totalCount" : 163, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "ROOT", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 7, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 1, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 7, "totalCount" : 1, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "isabelle", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 3505, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 244, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 3505, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 } ] } ], "lastModifiedDistributionPerLogicalDecomposition" : [ { "name" : "primary", "distributionPerComponent" : [ { "key" : "lean", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 2453, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 3, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 2453, "totalCount" : 3, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "metamath", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 3262, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 244, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 3262, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "hollight", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 752, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 163, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 752, "totalCount" : 163, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "ROOT", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 7, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 1, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 7, "totalCount" : 1, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 }, { "key" : "isabelle", "lowRiskThreshold" : 30, "mediumRiskThreshold" : 90, "highRiskThreshold" : 180, "veryHighRiskThreshold" : 365, "negligibleRiskValue" : 0, "lowRiskValue" : 0, "mediumRiskValue" : 0, "highRiskValue" : 0, "veryHighRiskValue" : 3505, "lowRiskCount" : 0, "negligibleRiskCount" : 0, "mediumRiskCount" : 0, "highRiskCount" : 0, "veryHighRiskCount" : 244, "negligibleRiskLabel" : "1-30 days", "lowRiskLabel" : "31-90 days", "mediumRiskLabel" : "91-180 days", "highRiskLabel" : "181-365 days", "veryHighRiskLabel" : "366+ days", "totalValue" : 3505, "totalCount" : 244, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 0.0, "veryHighRiskPercentage" : 100.0, "mediumRiskPercentage" : 0.0, "negligibleRiskPercentage" : 0.0 } ] } ], "oldestFiles" : [ { "relativePath" : "metamath/valid/numbertheory-prmdvsneqnsqmodpeq0.mm", "extension" : "mm", "linesOfCode" : 76, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12b-2004-p3.mm", "extension" : "mm", "linesOfCode" : 53, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-seq-mul2pnp1.mm", "extension" : "mm", "linesOfCode" : 51, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/numbertheory-xsqpysqintdenomeq.mm", "extension" : "mm", "linesOfCode" : 46, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12b-2003-p6.mm", "extension" : "mm", "linesOfCode" : 43, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-divisibility-3divnto3m2n.mm", "extension" : "mm", "linesOfCode" : 43, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-31.mm", "extension" : "mm", "linesOfCode" : 40, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-sum-1oktkp1.mm", "extension" : "mm", "linesOfCode" : 40, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/numbertheory-sqmod4in01d.mm", "extension" : "mm", "linesOfCode" : 37, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-ineq-nsqlefactn.mm", "extension" : "mm", "linesOfCode" : 37, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12b-2003-p9.mm", "extension" : "mm", "linesOfCode" : 36, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-sqineq-4bap1lt4bsqpap1sq.mm", "extension" : "mm", "linesOfCode" : 34, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12b-2002-p3.mm", "extension" : "mm", "linesOfCode" : 34, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-sum2kp1npqsqm1.mm", "extension" : "mm", "linesOfCode" : 33, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-divisibility-3div2tooddnp1.mm", "extension" : "mm", "linesOfCode" : 32, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-2varlineareq-xpeeq7-2xpeeq3-eeq11-xeqn4.mm", "extension" : "mm", "linesOfCode" : 31, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12a-2003-p24.mm", "extension" : "mm", "linesOfCode" : 31, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-sqineq-2at2pclta2c2p41pc.mm", "extension" : "mm", "linesOfCode" : 31, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12-2000-p11.mm", "extension" : "mm", "linesOfCode" : 29, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12-2001-p9.mm", "extension" : "mm", "linesOfCode" : 28, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-sum-odd.mm", "extension" : "mm", "linesOfCode" : 28, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12b-2003-p17.mm", "extension" : "mm", "linesOfCode" : 27, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12a-2003-p1.mm", "extension" : "mm", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-sqineq-36azm9asqle36zsq.mm", "extension" : "mm", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/induction-divisibility-9div10tonm1.mm", "extension" : "mm", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-3rootspoly-amdtamctambeqnasqmbpctapcbtdpasqmbpctapcbta.mm", "extension" : "mm", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-192.mm", "extension" : "mm", "linesOfCode" : 23, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-binomnegdiscrineq-10alt28asqp1.mm", "extension" : "mm", "linesOfCode" : 23, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-2complexrootspoly-xsqp49eqxp7itxpn7i.mm", "extension" : "mm", "linesOfCode" : 20, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12-2000-p5.mm", "extension" : "mm", "linesOfCode" : 20, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-2rootsintpoly-am10tap11eqasqpam110.mm", "extension" : "mm", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12-2001-p2.mm", "extension" : "mm", "linesOfCode" : 18, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-manipexpr-apbeq2cceqiacpbceqm2.mm", "extension" : "mm", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/aime-1984-p15.mm", "extension" : "mm", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-144.mm", "extension" : "mm", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-manipexpr-2erprsqpesqeqnrpnesq.mm", "extension" : "mm", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-96.mm", "extension" : "mm", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-42.mm", "extension" : "mm", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-13.mm", "extension" : "mm", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-131.mm", "extension" : "mm", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12b-2002-p11.mm", "extension" : "mm", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-206.mm", "extension" : "mm", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-73.mm", "extension" : "mm", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-11.mm", "extension" : "mm", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-2rootspoly-apatapbeq2asqp2ab.mm", "extension" : "mm", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-110.mm", "extension" : "mm", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12a-2002-p1.mm", "extension" : "mm", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12b-2002-p6.mm", "extension" : "mm", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-140.mm", "extension" : "mm", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-126.mm", "extension" : "mm", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 } ], "youngestFiles" : [ { "relativePath" : "isabelle/valid/numbertheory_sumkmulnckeqnmul2pownm1.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aime_1990_p2.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_422.thy", "extension" : "thy", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aimeI_2000_p7.thy", "extension" : "thy", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1965_p1.thy", "extension" : "thy", "linesOfCode" : 17, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1978_p5.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_126.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_451.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_232.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_437.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_42.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2019_p9.thy", "extension" : "thy", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_709.thy", "extension" : "thy", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_668.thy", "extension" : "thy", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2010_p11.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1979_p1.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2009_p15.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_149.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/algebra_amgm_prod1toneq1_sum1tongeqn.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_530.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/numbertheory_nckeqnm1ckpnm1ckm1.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_31.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aimeII_2020_p6.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aime_1994_p4.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_461.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_301.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_69.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_323.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12b_2021_p21.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_282.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_393.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/numbertheory_xsqpysqintdenomeq.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aime_1991_p6.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/induction_sum2kp1npqsqm1.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2020_p22.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_326.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_109.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_690.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1993_p5.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_64.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_403.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_211.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_149.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_303.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_466.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_32.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_536.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_35.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_151.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_224.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 } ], "mostRecentlyChangedFiles" : [ { "relativePath" : "lean/src/valid.lean", "extension" : "lean", "linesOfCode" : 2132, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "lean/src/minif2f_import.lean", "extension" : "lean", "linesOfCode" : 87, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "leanpkg.toml", "extension" : "toml", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_96.thy", "extension" : "thy", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_101.thy", "extension" : "thy", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_482.thy", "extension" : "thy", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1967_p3.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12b_2002_p6.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1978_p5.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2002_p12.thy", "extension" : "thy", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1987_p6.thy", "extension" : "thy", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1979_p1.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_461.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_257.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_282.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aime_1991_p6.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_43.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/induction_divisibility_9div10tonm1.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/numbertheory_2dvd4expn.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1974_p5.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_403.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_132.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_252.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_543.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_169.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_236.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_245.thy", "extension" : "thy", "linesOfCode" : 36, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2013_p8.thy", "extension" : "thy", "linesOfCode" : 29, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_405.thy", "extension" : "thy", "linesOfCode" : 27, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_11.thy", "extension" : "thy", "linesOfCode" : 26, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_422.thy", "extension" : "thy", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_132.thy", "extension" : "thy", "linesOfCode" : 24, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/algebra_sqineq_2unitcircatblt1.thy", "extension" : "thy", "linesOfCode" : 24, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_43.thy", "extension" : "thy", "linesOfCode" : 22, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2009_p5.thy", "extension" : "thy", "linesOfCode" : 22, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1966_p5.thy", "extension" : "thy", "linesOfCode" : 21, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aime_1996_p5.thy", "extension" : "thy", "linesOfCode" : 20, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_247.thy", "extension" : "thy", "linesOfCode" : 20, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_284.thy", "extension" : "thy", "linesOfCode" : 20, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_181.thy", "extension" : "thy", "linesOfCode" : 20, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_234.thy", "extension" : "thy", "linesOfCode" : 20, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_159.thy", "extension" : "thy", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_480.thy", "extension" : "thy", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2013_p7.thy", "extension" : "thy", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2008_p8.thy", "extension" : "thy", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aimeI_2000_p7.thy", "extension" : "thy", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/algebra_2rootsintpoly_am10tap11eqasqpam110.thy", "extension" : "thy", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_214.thy", "extension" : "thy", "linesOfCode" : 18, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_405.thy", "extension" : "thy", "linesOfCode" : 18, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_13.thy", "extension" : "thy", "linesOfCode" : 18, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 } ], "mostPreviouslyChangedFiles" : [ { "relativePath" : "metamath/valid/amc12a-2002-p12.mm", "extension" : "mm", "linesOfCode" : 6, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-22.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-149.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-24.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-200.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-45.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-30.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-102.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-35.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-132.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-32.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-101.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-84.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-37.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-81.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-10.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-amgm-faxinrrp2msqrt2geq2mxm1div2x.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-198.mm", "extension" : "mm", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-109.mm", "extension" : "mm", "linesOfCode" : 8, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-185.mm", "extension" : "mm", "linesOfCode" : 8, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/numbertheory-sqmod3in01d.mm", "extension" : "mm", "linesOfCode" : 8, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-211.mm", "extension" : "mm", "linesOfCode" : 8, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-182.mm", "extension" : "mm", "linesOfCode" : 8, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-89.mm", "extension" : "mm", "linesOfCode" : 8, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-15.mm", "extension" : "mm", "linesOfCode" : 8, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-67.mm", "extension" : "mm", "linesOfCode" : 9, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-59.mm", "extension" : "mm", "linesOfCode" : 9, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/imo-1990-p3.mm", "extension" : "mm", "linesOfCode" : 9, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-136.mm", "extension" : "mm", "linesOfCode" : 9, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12a-2003-p25.mm", "extension" : "mm", "linesOfCode" : 9, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-48.mm", "extension" : "mm", "linesOfCode" : 9, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-101.mm", "extension" : "mm", "linesOfCode" : 9, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-104.mm", "extension" : "mm", "linesOfCode" : 9, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-110.mm", "extension" : "mm", "linesOfCode" : 9, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-55.mm", "extension" : "mm", "linesOfCode" : 9, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/numbertheory-2dvd4expn.mm", "extension" : "mm", "linesOfCode" : 9, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-35.mm", "extension" : "mm", "linesOfCode" : 9, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/aime-1983-p9.mm", "extension" : "mm", "linesOfCode" : 9, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-13.mm", "extension" : "mm", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-amgm-sumasqdivbsqgeqsumbdiva.mm", "extension" : "mm", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-amgm-prod1toneq1-sum1tongeqn.mm", "extension" : "mm", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-181.mm", "extension" : "mm", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-28.mm", "extension" : "mm", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-214.mm", "extension" : "mm", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/algebra-sqineq-2unitcircatblt1.mm", "extension" : "mm", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-64.mm", "extension" : "mm", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-116.mm", "extension" : "mm", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-22.mm", "extension" : "mm", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-43.mm", "extension" : "mm", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12-2000-p15.mm", "extension" : "mm", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 } ], "mostChangedFiles" : [ { "relativePath" : "lean/src/valid.lean", "extension" : "lean", "linesOfCode" : 2132, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "leanpkg.toml", "extension" : "toml", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "lean/src/minif2f_import.lean", "extension" : "lean", "linesOfCode" : 87, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_236.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_169.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_252.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_132.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1974_p5.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/numbertheory_2dvd4expn.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_43.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_257.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1987_p6.thy", "extension" : "thy", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1967_p3.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_482.thy", "extension" : "thy", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_101.thy", "extension" : "thy", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "hollight/valid/mathd-algebra-185.ml", "extension" : "ml", "linesOfCode" : 6, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "hollight/valid/mathd-algebra-247.ml", "extension" : "ml", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "hollight/valid/mathd-algebra-131.ml", "extension" : "ml", "linesOfCode" : 8, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_543.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_403.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2019_p21.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_185.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aime_1991_p6.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_282.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/numbertheory_prmdvsneqnsqmodpeq0.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_461.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-131.mm", "extension" : "mm", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12a-2013-p8.mm", "extension" : "mm", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2015_p10.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1979_p1.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-482.mm", "extension" : "mm", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1978_p5.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_13.thy", "extension" : "thy", "linesOfCode" : 18, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2008_p8.thy", "extension" : "thy", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_961.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_81.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_22.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2009_p2.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_84.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_190.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/algebra_amgm_faxinrrp2msqrt2geq2mxm1div2x.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_269.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_37.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_509.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_30.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_640.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_102.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_739.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_101.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2008_p4.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 } ], "filesWithMostContributors" : [ { "relativePath" : "lean/src/valid.lean", "extension" : "lean", "linesOfCode" : 2132, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "lean/src/minif2f_import.lean", "extension" : "lean", "linesOfCode" : 87, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12a-2013-p8.mm", "extension" : "mm", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-482.mm", "extension" : "mm", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "hollight/valid/mathd-algebra-247.ml", "extension" : "ml", "linesOfCode" : 7, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "hollight/valid/mathd-algebra-131.ml", "extension" : "ml", "linesOfCode" : 8, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "hollight/valid/mathd-algebra-185.ml", "extension" : "ml", "linesOfCode" : 6, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1967_p3.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_101.thy", "extension" : "thy", "linesOfCode" : 25, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1987_p6.thy", "extension" : "thy", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/numbertheory_2dvd4expn.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1974_p5.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_132.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_252.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_482.thy", "extension" : "thy", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_257.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_43.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_169.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_236.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-131.mm", "extension" : "mm", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_13.thy", "extension" : "thy", "linesOfCode" : 18, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2008_p8.thy", "extension" : "thy", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/numbertheory_prmdvsneqnsqmodpeq0.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_185.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2019_p21.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2015_p10.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_11.thy", "extension" : "thy", "linesOfCode" : 26, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/algebra_binomnegdiscrineq_10alt28asqp1.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_159.thy", "extension" : "thy", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/numbertheory_sqmod4in01d.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2009_p9.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_206.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2010_p10.thy", "extension" : "thy", "linesOfCode" : 17, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_616.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_10.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1984_p2.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aime_1988_p3.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_370.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aimeI_2001_p3.thy", "extension" : "thy", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_198.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2008_p15.thy", "extension" : "thy", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/algebra_manipexpr_2erprsqpesqeqnrpnesq.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_13.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_188.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1988_p6.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/algebra_sqineq_2at2pclta2c2p41pc.thy", "extension" : "thy", "linesOfCode" : 11, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1977_p5.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_412.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_214.thy", "extension" : "thy", "linesOfCode" : 18, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_numbertheory_200.thy", "extension" : "thy", "linesOfCode" : 10, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 } ], "filesWithLeastContributors" : [ { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, { "relativePath" : "isabelle/valid/induction_ineq_nsqlefactn.thy", "extension" : "thy", "linesOfCode" : 44, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-245.mm", "extension" : "mm", "linesOfCode" : 36, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2003_p24.thy", "extension" : "thy", "linesOfCode" : 35, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-159.mm", "extension" : "mm", "linesOfCode" : 34, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12b_2002_p3.thy", "extension" : "thy", "linesOfCode" : 31, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-151.mm", "extension" : "mm", "linesOfCode" : 28, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aime_1983_p9.thy", "extension" : "thy", "linesOfCode" : 24, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/induction_divisibility_3div2tooddnp1.thy", "extension" : "thy", "linesOfCode" : 23, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2003_p1.thy", "extension" : "thy", "linesOfCode" : 23, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12b_2003_p17.thy", "extension" : "thy", "linesOfCode" : 22, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/aime-1996-p5.mm", "extension" : "mm", "linesOfCode" : 21, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12_2001_p9.thy", "extension" : "thy", "linesOfCode" : 20, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/imo-1966-p5.mm", "extension" : "mm", "linesOfCode" : 19, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-247.mm", "extension" : "mm", "linesOfCode" : 18, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/imo-1961-p1.mm", "extension" : "mm", "linesOfCode" : 18, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/aime_1984_p15.thy", "extension" : "thy", "linesOfCode" : 18, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-405.mm", "extension" : "mm", "linesOfCode" : 17, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-455.mm", "extension" : "mm", "linesOfCode" : 17, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_59.thy", "extension" : "thy", "linesOfCode" : 17, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-232.mm", "extension" : "mm", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12a-2020-p13.mm", "extension" : "mm", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-668.mm", "extension" : "mm", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/aimeI-2000-p7.mm", "extension" : "mm", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-421.mm", "extension" : "mm", "linesOfCode" : 16, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12a-2010-p10.mm", "extension" : "mm", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/aimeI-2001-p3.mm", "extension" : "mm", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2002_p21.thy", "extension" : "thy", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2020_p13.thy", "extension" : "thy", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12_2001_p2.thy", "extension" : "thy", "linesOfCode" : 15, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-437.mm", "extension" : "mm", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/imo-1977-p5.mm", "extension" : "mm", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/amc12a-2009-p9.mm", "extension" : "mm", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-251.mm", "extension" : "mm", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12_2000_p15.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2002_p1.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12_2000_p11.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12a_2003_p25.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12b_2002_p11.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12b_2003_p6.thy", "extension" : "thy", "linesOfCode" : 14, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/imo-1984-p2.mm", "extension" : "mm", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/imo-1967-p3.mm", "extension" : "mm", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/imo-1974-p5.mm", "extension" : "mm", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/aimeII-2020-p6.mm", "extension" : "mm", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-numbertheory-780.mm", "extension" : "mm", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12b_2020_p5.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/amc12b_2003_p9.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/imo_1990_p3.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "isabelle/valid/mathd_algebra_51.thy", "extension" : "thy", "linesOfCode" : 13, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 }, { "relativePath" : "metamath/valid/mathd-algebra-480.mm", "extension" : "mm", "linesOfCode" : 12, "unitsCount" : 0, "unitsMcCabeIndexSum" : 0, "linesOfCodeInUnits" : 0 } ], "firstDate" : "2021-05-04", "latestDate" : "2022-06-02", "daysBetweenFirstAndLastDate" : 395, "weeks" : 56, "estimatedWorkindDays" : 280, "activeDays" : 77, "ageInDays" : 1442, "historyPerExtensionPerYear" : [ { "extension" : "toml", "year" : "2021", "commitsCount" : 10, "contributors" : [ "dyekuu@qq.com", "spolu@protonmail.com", "spolu@openai.com" ] }, { "extension" : "sh", "year" : "2021", "commitsCount" : 3, "contributors" : [ "39208702+dyekuu@users.noreply.github.com", "spolu@openai.com" ] }, { "extension" : "md", "year" : "2022", "commitsCount" : 6, "contributors" : [ "ccn@cuppajoeman.com", "spolu@protonmail.com", "spolu@openai.com" ] }, { "extension" : "md", "year" : "2021", "commitsCount" : 47, "contributors" : [ "39208702+dyekuu@users.noreply.github.com", "dyekuu@qq.com", "xavierm@fb.com", "spolu@protonmail.com", "spolu@openai.com" ] }, { "extension" : "toml", "year" : "2022", "commitsCount" : 6, "contributors" : [ "spolu@protonmail.com", "spolu@openai.com" ] }, { "extension" : "py", "year" : "2021", "commitsCount" : 1, "contributors" : [ "39208702+dyekuu@users.noreply.github.com" ] }, { "extension" : "thy", "year" : "2021", "commitsCount" : 4, "contributors" : [ "liwenda1990@hotmail.com", "39208702+dyekuu@users.noreply.github.com" ] }, { "extension" : "thy", "year" : "2022", "commitsCount" : 16, "contributors" : [ "liwenda1990@hotmail.com", "qj213@cam.ac.uk", "spolu@protonmail.com" ] }, { "extension" : "mm", "year" : "2021", "commitsCount" : 24, "contributors" : [ "kahegbeb@purdue.edu", "39208702+dyekuu@users.noreply.github.com", "dyekuu@qq.com", "spolu@protonmail.com", "spolu@openai.com" ] }, { "extension" : "gitignore", "year" : "2021", "commitsCount" : 6, "contributors" : [ "39208702+dyekuu@users.noreply.github.com", "dyekuu@qq.com", "spolu@protonmail.com", "spolu@openai.com" ] }, { "extension" : "mm", "year" : "2022", "commitsCount" : 9, "contributors" : [ "liwenda1990@hotmail.com", "dyekuu@qq.com", "spolu@protonmail.com" ] }, { "extension" : "lean", "year" : "2022", "commitsCount" : 69, "contributors" : [ "ccn@cuppajoeman.com", "92208507+marukods@users.noreply.github.com", "liwenda1990@hotmail.com", "baksys.mantas@gmail.com", "dyekuu@qq.com", "spolu@protonmail.com", "spolu@openai.com" ] }, { "extension" : "", "year" : "2021", "commitsCount" : 6, "contributors" : [ "liwenda1990@hotmail.com", "dyekuu@qq.com", "xavierm@fb.com", "spolu@protonmail.com", "spolu@openai.com" ] }, { "extension" : "ml", "year" : "2021", "commitsCount" : 2, "contributors" : [ "xavierm@fb.com", "spolu@protonmail.com" ] }, { "extension" : "lean", "year" : "2021", "commitsCount" : 78, "contributors" : [ "kahegbeb@purdue.edu", "dyekuu@qq.com", "39208702+dyekuu@users.noreply.github.com", "dwrenshaw@gmail.com", "spolu@protonmail.com", "spolu@openai.com" ] }, { "extension" : "ml", "year" : "2022", "commitsCount" : 15, "contributors" : [ "liwenda1990@hotmail.com", "dyekuu@qq.com", "spolu@protonmail.com" ] } ] }, "unitsAnalysisResults" : { "totalNumberOfUnits" : 15, "linesOfCodeInUnits" : 211, "unitSizeRiskDistribution" : { "key" : "", "lowRiskThreshold" : 10, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 57, "lowRiskValue" : 47, "mediumRiskValue" : 107, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 3, "negligibleRiskCount" : 9, "mediumRiskCount" : 3, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-10", "lowRiskLabel" : "11-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 211, "totalCount" : 15, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 22.274881516587676, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 50.71090047393365, "negligibleRiskPercentage" : 27.01421800947867 }, "conditionalComplexityRiskDistribution" : { "key" : "", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 10, "highRiskThreshold" : 25, "veryHighRiskThreshold" : 50, "negligibleRiskValue" : 72, "lowRiskValue" : 35, "mediumRiskValue" : 62, "highRiskValue" : 42, "veryHighRiskValue" : 0, "lowRiskCount" : 3, "negligibleRiskCount" : 9, "mediumRiskCount" : 2, "highRiskCount" : 1, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-10", "mediumRiskLabel" : "11-25", "highRiskLabel" : "26-50", "veryHighRiskLabel" : "51+", "totalValue" : 211, "totalCount" : 15, "highRiskPercentage" : 19.90521327014218, "lowRiskPercentage" : 16.587677725118482, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 29.38388625592417, "negligibleRiskPercentage" : 34.12322274881517 }, "unitSizeRiskDistributionPerExtension" : [ { "key" : "py", "lowRiskThreshold" : 10, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 57, "lowRiskValue" : 47, "mediumRiskValue" : 107, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 3, "negligibleRiskCount" : 9, "mediumRiskCount" : 3, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-10", "lowRiskLabel" : "11-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 211, "totalCount" : 15, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 22.274881516587676, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 50.71090047393365, "negligibleRiskPercentage" : 27.01421800947867 } ], "unitSizeRiskDistributionPerComponent" : [ [ { "key" : "lean", "lowRiskThreshold" : 10, "mediumRiskThreshold" : 20, "highRiskThreshold" : 50, "veryHighRiskThreshold" : 100, "negligibleRiskValue" : 57, "lowRiskValue" : 47, "mediumRiskValue" : 107, "highRiskValue" : 0, "veryHighRiskValue" : 0, "lowRiskCount" : 3, "negligibleRiskCount" : 9, "mediumRiskCount" : 3, "highRiskCount" : 0, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-10", "lowRiskLabel" : "11-20", "mediumRiskLabel" : "21-50", "highRiskLabel" : "51-100", "veryHighRiskLabel" : "101+", "totalValue" : 211, "totalCount" : 15, "highRiskPercentage" : 0.0, "lowRiskPercentage" : 22.274881516587676, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 50.71090047393365, "negligibleRiskPercentage" : 27.01421800947867 } ] ], "longestUnits" : [ { "shortName" : "def regular_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 42, "mcCabeIndex" : 27, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def format_errors()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 42, "mcCabeIndex" : 15, "numberOfParameters" : 1, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def lint()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 23, "mcCabeIndex" : 2, "numberOfParameters" : 1, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def skip_string()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 20, "mcCabeIndex" : 13, "numberOfParameters" : 1, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def import_only_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 16, "mcCabeIndex" : 6, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def skip_comments()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 11, "mcCabeIndex" : 6, "numberOfParameters" : 1, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def reserved_notation_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 8, "mcCabeIndex" : 5, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def set_option_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 8, "mcCabeIndex" : 6, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def long_lines_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 8, "mcCabeIndex" : 4, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def small_alpha_vrachy_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 6, "mcCabeIndex" : 3, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def tailing_space_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 6, "mcCabeIndex" : 3, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def sorry_comma_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 6, "mcCabeIndex" : 3, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def parathesis_space_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 6, "mcCabeIndex" : 4, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def output_message()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 5, "mcCabeIndex" : 3, "numberOfParameters" : 4, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def eof_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 4, "mcCabeIndex" : 2, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] } ], "conditionalComplexityRiskDistributionPerExtension" : [ { "key" : "py", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 10, "highRiskThreshold" : 25, "veryHighRiskThreshold" : 50, "negligibleRiskValue" : 72, "lowRiskValue" : 35, "mediumRiskValue" : 62, "highRiskValue" : 42, "veryHighRiskValue" : 0, "lowRiskCount" : 3, "negligibleRiskCount" : 9, "mediumRiskCount" : 2, "highRiskCount" : 1, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-10", "mediumRiskLabel" : "11-25", "highRiskLabel" : "26-50", "veryHighRiskLabel" : "51+", "totalValue" : 211, "totalCount" : 15, "highRiskPercentage" : 19.90521327014218, "lowRiskPercentage" : 16.587677725118482, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 29.38388625592417, "negligibleRiskPercentage" : 34.12322274881517 } ], "conditionalComplexityRiskDistributionPerComponent" : [ [ { "key" : "lean", "lowRiskThreshold" : 5, "mediumRiskThreshold" : 10, "highRiskThreshold" : 25, "veryHighRiskThreshold" : 50, "negligibleRiskValue" : 72, "lowRiskValue" : 35, "mediumRiskValue" : 62, "highRiskValue" : 42, "veryHighRiskValue" : 0, "lowRiskCount" : 3, "negligibleRiskCount" : 9, "mediumRiskCount" : 2, "highRiskCount" : 1, "veryHighRiskCount" : 0, "negligibleRiskLabel" : "1-5", "lowRiskLabel" : "6-10", "mediumRiskLabel" : "11-25", "highRiskLabel" : "26-50", "veryHighRiskLabel" : "51+", "totalValue" : 211, "totalCount" : 15, "highRiskPercentage" : 19.90521327014218, "lowRiskPercentage" : 16.587677725118482, "veryHighRiskPercentage" : 0.0, "mediumRiskPercentage" : 29.38388625592417, "negligibleRiskPercentage" : 34.12322274881517 } ] ], "mostComplexUnits" : [ { "shortName" : "def regular_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 42, "mcCabeIndex" : 27, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def format_errors()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 42, "mcCabeIndex" : 15, "numberOfParameters" : 1, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def skip_string()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 20, "mcCabeIndex" : 13, "numberOfParameters" : 1, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def skip_comments()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 11, "mcCabeIndex" : 6, "numberOfParameters" : 1, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def set_option_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 8, "mcCabeIndex" : 6, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def import_only_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 16, "mcCabeIndex" : 6, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def reserved_notation_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 8, "mcCabeIndex" : 5, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def long_lines_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 8, "mcCabeIndex" : 4, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def parathesis_space_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 6, "mcCabeIndex" : 4, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def small_alpha_vrachy_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 6, "mcCabeIndex" : 3, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def tailing_space_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 6, "mcCabeIndex" : 3, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def sorry_comma_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 6, "mcCabeIndex" : 3, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def output_message()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 5, "mcCabeIndex" : 3, "numberOfParameters" : 4, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def eof_check()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 4, "mcCabeIndex" : 2, "numberOfParameters" : 2, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] }, { "shortName" : "def lint()", "longName" : "", "sourceFile" : { "relativePath" : "lean/scripts/lint_style.py", "extension" : "py", "linesOfCode" : 234, "unitsCount" : 15, "unitsMcCabeIndexSum" : 102, "linesOfCodeInUnits" : 211 }, "startLine" : 0, "endLine" : 0, "linesOfCode" : 23, "mcCabeIndex" : 2, "numberOfParameters" : 1, "numberOfLiterals" : 0, "numberOfStatements" : 0, "numberOfExpressions" : 0, "children" : [ ] } ] }, "duplicationAnalysisResults" : { "overallDuplication" : { "key" : "system", "numberOfDuplicates" : 0, "cleanedLinesOfCode" : 9977, "duplicatedLinesOfCode" : 0, "numberOfFilesWithDuplicates" : 0, "duplicationPercentage" : 0.0 }, "duplicationPerComponent" : [ [ { "key" : "lean", "numberOfDuplicates" : 0, "cleanedLinesOfCode" : 2451, "duplicatedLinesOfCode" : 0, "numberOfFilesWithDuplicates" : 0, "duplicationPercentage" : 0.0 }, { "key" : "metamath", "numberOfDuplicates" : 0, "cleanedLinesOfCode" : 3262, "duplicatedLinesOfCode" : 0, "numberOfFilesWithDuplicates" : 0, "duplicationPercentage" : 0.0 }, { "key" : "hollight", "numberOfDuplicates" : 0, "cleanedLinesOfCode" : 752, "duplicatedLinesOfCode" : 0, "numberOfFilesWithDuplicates" : 0, "duplicationPercentage" : 0.0 }, { "key" : "ROOT", "numberOfDuplicates" : 0, "cleanedLinesOfCode" : 7, "duplicatedLinesOfCode" : 0, "numberOfFilesWithDuplicates" : 0, "duplicationPercentage" : 0.0 }, { "key" : "isabelle", "numberOfDuplicates" : 0, "cleanedLinesOfCode" : 3505, "duplicatedLinesOfCode" : 0, "numberOfFilesWithDuplicates" : 0, "duplicationPercentage" : 0.0 } ] ], "duplicationPerConcern" : [ ], "duplicationPerExtension" : [ ], "longestDuplicates" : [ ], "mostFrequentDuplicates" : [ ] }, "contributorsAnalysisResults" : { "latestCommitDate" : "2022-06-02", "contributors" : [ { "email" : "spolu@openai.com", "commitsCount" : 65, "commitsCount30Days" : 0, "commitsCount90Days" : 0, "commitsCount180Days" : 0, "commitsCount365Days" : 0, "firstCommitDate" : "2021-05-06", "latestCommitDate" : "2022-05-02", "activeYears" : [ "2021", "2022" ], "commitDates" : [ "2022-05-02", "2022-04-29", "2022-04-07", "2022-03-22", "2022-02-15", "2022-02-04", "2022-01-21", "2021-10-06", "2021-10-01", "2021-09-30", "2021-09-29", "2021-09-21", "2021-09-15", "2021-09-01", "2021-08-30", "2021-08-27", "2021-08-18", "2021-06-30", "2021-06-29", "2021-06-17", "2021-06-11", "2021-06-10", "2021-06-09", "2021-06-08", "2021-06-07", "2021-06-06", "2021-06-02", "2021-06-01", "2021-05-10", "2021-05-06" ], "bot" : false, "active" : false, "rookie" : false }, { "email" : "spolu@protonmail.com", "commitsCount" : 56, "commitsCount30Days" : 0, "commitsCount90Days" : 0, "commitsCount180Days" : 0, "commitsCount365Days" : 0, "firstCommitDate" : "2021-05-04", "latestCommitDate" : "2022-06-02", "activeYears" : [ "2021", "2022" ], "commitDates" : [ "2022-06-02", "2022-06-01", "2022-04-30", "2022-04-29", "2022-04-19", "2022-04-08", "2022-04-07", "2022-04-06", "2022-03-22", "2022-02-23", "2022-02-21", "2022-02-16", "2022-02-15", "2022-02-06", "2022-02-04", "2022-02-03", "2022-02-02", "2022-01-31", "2022-01-28", "2022-01-27", "2022-01-26", "2021-12-13", "2021-11-15", "2021-09-29", "2021-09-21", "2021-09-15", "2021-09-04", "2021-08-30", "2021-08-18", "2021-06-30", "2021-06-10", "2021-06-08", "2021-06-02", "2021-06-01", "2021-05-17", "2021-05-15", "2021-05-10", "2021-05-06", "2021-05-04" ], "bot" : false, "active" : false, "rookie" : false }, { "email" : "39208702+dyekuu@users.noreply.github.com", "commitsCount" : 28, "commitsCount30Days" : 0, "commitsCount90Days" : 0, "commitsCount180Days" : 0, "commitsCount365Days" : 0, "firstCommitDate" : "2021-05-11", "latestCommitDate" : "2021-08-12", "activeYears" : [ "2021" ], "commitDates" : [ "2021-08-12", "2021-08-11", "2021-08-10", "2021-08-09", "2021-07-29", "2021-07-21", "2021-07-02", "2021-06-29", "2021-06-24", "2021-06-15", "2021-06-14", "2021-06-11", "2021-06-08", "2021-06-07", "2021-06-02", "2021-05-11" ], "bot" : false, "active" : false, "rookie" : false }, { "email" : "dyekuu@qq.com", "commitsCount" : 22, "commitsCount30Days" : 0, "commitsCount90Days" : 0, "commitsCount180Days" : 0, "commitsCount365Days" : 0, "firstCommitDate" : "2021-05-06", "latestCommitDate" : "2022-04-07", "activeYears" : [ "2021", "2022" ], "commitDates" : [ "2022-04-07", "2022-04-02", "2022-02-23", "2021-11-14", "2021-09-03", "2021-05-06" ], "bot" : false, "active" : false, "rookie" : false }, { "email" : "ccn@cuppajoeman.com", "commitsCount" : 19, "commitsCount30Days" : 0, "commitsCount90Days" : 0, "commitsCount180Days" : 0, "commitsCount365Days" : 0, "firstCommitDate" : "2022-01-25", "latestCommitDate" : "2022-02-21", "activeYears" : [ "2022" ], "commitDates" : [ "2022-02-21", "2022-02-16", "2022-02-05", "2022-02-04", "2022-02-03", "2022-02-02", "2022-02-01", "2022-01-30", "2022-01-27", "2022-01-26", "2022-01-25" ], "bot" : false, "active" : false, "rookie" : false }, { "email" : "liwenda1990@hotmail.com", "commitsCount" : 7, "commitsCount30Days" : 0, "commitsCount90Days" : 0, "commitsCount180Days" : 0, "commitsCount365Days" : 0, "firstCommitDate" : "2021-06-22", "latestCommitDate" : "2022-04-30", "activeYears" : [ "2021", "2022" ], "commitDates" : [ "2022-04-30", "2022-04-18", "2022-04-08", "2022-04-07", "2022-04-05", "2021-07-29", "2021-06-22" ], "bot" : false, "active" : false, "rookie" : false }, { "email" : "92208507+marukods@users.noreply.github.com", "commitsCount" : 6, "commitsCount30Days" : 0, "commitsCount90Days" : 0, "commitsCount180Days" : 0, "commitsCount365Days" : 0, "firstCommitDate" : "2022-05-31", "latestCommitDate" : "2022-06-02", "activeYears" : [ "2022" ], "commitDates" : [ "2022-06-02", "2022-06-01", "2022-05-31" ], "bot" : false, "active" : false, "rookie" : false }, { "email" : "qj213@cam.ac.uk", "commitsCount" : 5, "commitsCount30Days" : 0, "commitsCount90Days" : 0, "commitsCount180Days" : 0, "commitsCount365Days" : 0, "firstCommitDate" : "2022-03-29", "latestCommitDate" : "2022-04-07", "activeYears" : [ "2022" ], "commitDates" : [ "2022-04-07", "2022-03-31", "2022-03-30", "2022-03-29" ], "bot" : false, "active" : false, "rookie" : false }, { "email" : "dwrenshaw@gmail.com", "commitsCount" : 3, "commitsCount30Days" : 0, "commitsCount90Days" : 0, "commitsCount180Days" : 0, "commitsCount365Days" : 0, "firstCommitDate" : "2021-05-15", "latestCommitDate" : "2021-06-01", "activeYears" : [ "2021" ], "commitDates" : [ "2021-06-01", "2021-05-17", "2021-05-15" ], "bot" : false, "active" : false, "rookie" : false }, { "email" : "baksys.mantas@gmail.com", "commitsCount" : 1, "commitsCount30Days" : 0, "commitsCount90Days" : 0, "commitsCount180Days" : 0, "commitsCount365Days" : 0, "firstCommitDate" : "2022-02-04", "latestCommitDate" : "2022-02-04", "activeYears" : [ "2022" ], "commitDates" : [ "2022-02-04" ], "bot" : false, "active" : false, "rookie" : false }, { "email" : "xavierm@fb.com", "commitsCount" : 1, "commitsCount30Days" : 0, "commitsCount90Days" : 0, "commitsCount180Days" : 0, "commitsCount365Days" : 0, "firstCommitDate" : "2021-12-13", "latestCommitDate" : "2021-12-13", "activeYears" : [ "2021" ], "commitDates" : [ "2021-12-13" ], "bot" : false, "active" : false, "rookie" : false }, { "email" : "kahegbeb@purdue.edu", "commitsCount" : 1, "commitsCount30Days" : 0, "commitsCount90Days" : 0, "commitsCount180Days" : 0, "commitsCount365Days" : 0, "firstCommitDate" : "2021-06-29", "latestCommitDate" : "2021-06-29", "activeYears" : [ "2021" ], "commitDates" : [ "2021-06-29" ], "bot" : false, "active" : false, "rookie" : false } ], "contributorsPerYear" : [ { "timeSlot" : "2021", "contributorsCount" : 8, "commitsCount" : 120 }, { "timeSlot" : "2022", "contributorsCount" : 8, "commitsCount" : 94 } ], "contributorsPerMonth" : [ { "timeSlot" : "2021-05", "contributorsCount" : 5, "commitsCount" : 19 }, { "timeSlot" : "2021-06", "contributorsCount" : 6, "commitsCount" : 58 }, { "timeSlot" : "2021-07", "contributorsCount" : 2, "commitsCount" : 4 }, { "timeSlot" : "2021-08", "contributorsCount" : 3, "commitsCount" : 22 }, { "timeSlot" : "2021-09", "contributorsCount" : 3, "commitsCount" : 11 }, { "timeSlot" : "2021-10", "contributorsCount" : 1, "commitsCount" : 2 }, { "timeSlot" : "2021-11", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2021-12", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2022-01", "contributorsCount" : 3, "commitsCount" : 14 }, { "timeSlot" : "2022-02", "contributorsCount" : 5, "commitsCount" : 28 }, { "timeSlot" : "2022-03", "contributorsCount" : 3, "commitsCount" : 6 }, { "timeSlot" : "2022-04", "contributorsCount" : 5, "commitsCount" : 37 }, { "timeSlot" : "2022-05", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2022-06", "contributorsCount" : 2, "commitsCount" : 7 } ], "contributorsPerDay" : [ { "timeSlot" : "2021-05-04", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-05-06", "contributorsCount" : 3, "commitsCount" : 9 }, { "timeSlot" : "2021-05-10", "contributorsCount" : 2, "commitsCount" : 4 }, { "timeSlot" : "2021-05-11", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-05-15", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2021-05-17", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2021-06-01", "contributorsCount" : 3, "commitsCount" : 12 }, { "timeSlot" : "2021-06-02", "contributorsCount" : 3, "commitsCount" : 8 }, { "timeSlot" : "2021-06-06", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-06-07", "contributorsCount" : 2, "commitsCount" : 5 }, { "timeSlot" : "2021-06-08", "contributorsCount" : 3, "commitsCount" : 7 }, { "timeSlot" : "2021-06-09", "contributorsCount" : 1, "commitsCount" : 4 }, { "timeSlot" : "2021-06-10", "contributorsCount" : 2, "commitsCount" : 4 }, { "timeSlot" : "2021-06-11", "contributorsCount" : 2, "commitsCount" : 4 }, { "timeSlot" : "2021-06-14", "contributorsCount" : 1, "commitsCount" : 3 }, { "timeSlot" : "2021-06-15", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-06-17", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-06-22", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-06-24", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-06-29", "contributorsCount" : 3, "commitsCount" : 4 }, { "timeSlot" : "2021-06-30", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2021-07-02", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-07-21", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-07-29", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2021-08-09", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-08-10", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-08-11", "contributorsCount" : 1, "commitsCount" : 2 }, { "timeSlot" : "2021-08-12", "contributorsCount" : 1, "commitsCount" : 2 }, { "timeSlot" : "2021-08-18", "contributorsCount" : 2, "commitsCount" : 7 }, { "timeSlot" : "2021-08-27", "contributorsCount" : 1, "commitsCount" : 5 }, { "timeSlot" : "2021-08-30", "contributorsCount" : 2, "commitsCount" : 4 }, { "timeSlot" : "2021-09-01", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-09-03", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-09-04", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-09-15", "contributorsCount" : 2, "commitsCount" : 3 }, { "timeSlot" : "2021-09-21", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2021-09-29", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2021-09-30", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-10-01", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-10-06", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-11-14", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-11-15", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-12-13", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2022-01-21", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-01-25", "contributorsCount" : 1, "commitsCount" : 4 }, { "timeSlot" : "2022-01-26", "contributorsCount" : 2, "commitsCount" : 3 }, { "timeSlot" : "2022-01-27", "contributorsCount" : 2, "commitsCount" : 3 }, { "timeSlot" : "2022-01-28", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-01-30", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-01-31", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-02-01", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-02-02", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2022-02-03", "contributorsCount" : 2, "commitsCount" : 4 }, { "timeSlot" : "2022-02-04", "contributorsCount" : 4, "commitsCount" : 7 }, { "timeSlot" : "2022-02-05", "contributorsCount" : 1, "commitsCount" : 3 }, { "timeSlot" : "2022-02-06", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-02-15", "contributorsCount" : 2, "commitsCount" : 3 }, { "timeSlot" : "2022-02-16", "contributorsCount" : 2, "commitsCount" : 3 }, { "timeSlot" : "2022-02-21", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2022-02-23", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2022-03-22", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2022-03-29", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-03-30", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-03-31", "contributorsCount" : 1, "commitsCount" : 2 }, { "timeSlot" : "2022-04-02", "contributorsCount" : 1, "commitsCount" : 7 }, { "timeSlot" : "2022-04-05", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-04-06", "contributorsCount" : 1, "commitsCount" : 5 }, { "timeSlot" : "2022-04-07", "contributorsCount" : 5, "commitsCount" : 16 }, { "timeSlot" : "2022-04-08", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2022-04-18", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-04-19", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-04-29", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2022-04-30", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2022-05-02", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-05-31", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-06-01", "contributorsCount" : 2, "commitsCount" : 3 }, { "timeSlot" : "2022-06-02", "contributorsCount" : 2, "commitsCount" : 4 } ], "contributorsPerWeek" : [ { "timeSlot" : "2021-05-03", "contributorsCount" : 3, "commitsCount" : 10 }, { "timeSlot" : "2021-05-10", "contributorsCount" : 4, "commitsCount" : 7 }, { "timeSlot" : "2021-05-17", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2021-05-31", "contributorsCount" : 4, "commitsCount" : 21 }, { "timeSlot" : "2021-06-07", "contributorsCount" : 3, "commitsCount" : 24 }, { "timeSlot" : "2021-06-14", "contributorsCount" : 2, "commitsCount" : 5 }, { "timeSlot" : "2021-06-21", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2021-06-28", "contributorsCount" : 4, "commitsCount" : 7 }, { "timeSlot" : "2021-07-19", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-07-26", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2021-08-09", "contributorsCount" : 1, "commitsCount" : 6 }, { "timeSlot" : "2021-08-16", "contributorsCount" : 2, "commitsCount" : 7 }, { "timeSlot" : "2021-08-23", "contributorsCount" : 1, "commitsCount" : 5 }, { "timeSlot" : "2021-08-30", "contributorsCount" : 3, "commitsCount" : 7 }, { "timeSlot" : "2021-09-13", "contributorsCount" : 2, "commitsCount" : 3 }, { "timeSlot" : "2021-09-20", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2021-09-27", "contributorsCount" : 2, "commitsCount" : 4 }, { "timeSlot" : "2021-10-04", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-11-08", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-11-15", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2021-12-13", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2022-01-17", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-01-24", "contributorsCount" : 2, "commitsCount" : 12 }, { "timeSlot" : "2022-01-31", "contributorsCount" : 4, "commitsCount" : 19 }, { "timeSlot" : "2022-02-14", "contributorsCount" : 3, "commitsCount" : 6 }, { "timeSlot" : "2022-02-21", "contributorsCount" : 3, "commitsCount" : 4 }, { "timeSlot" : "2022-03-21", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2022-03-28", "contributorsCount" : 2, "commitsCount" : 11 }, { "timeSlot" : "2022-04-04", "contributorsCount" : 5, "commitsCount" : 24 }, { "timeSlot" : "2022-04-18", "contributorsCount" : 2, "commitsCount" : 2 }, { "timeSlot" : "2022-04-25", "contributorsCount" : 3, "commitsCount" : 4 }, { "timeSlot" : "2022-05-02", "contributorsCount" : 1, "commitsCount" : 1 }, { "timeSlot" : "2022-05-30", "contributorsCount" : 2, "commitsCount" : 8 } ], "commitsPerExtensions" : [ { "extension" : "lean", "commitsCount" : 2056, "committers" : [ "spolu@protonmail.com", "92208507+marukods@users.noreply.github.com", "spolu@openai.com", "dyekuu@qq.com", "liwenda1990@hotmail.com", "ccn@cuppajoeman.com", "baksys.mantas@gmail.com", "39208702+dyekuu@users.noreply.github.com", "kahegbeb@purdue.edu", "dwrenshaw@gmail.com" ], "filesCount" : 676, "commitsCount30Days" : 0, "committers30Days" : [ ], "filesCount30Days" : 0, "commitsCount90Days" : 0, "committers90Days" : [ ], "filesCount90Days" : 0, "contributorPerExtensionStats" : [ { "contributor" : "ccn@cuppajoeman.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 18 }, { "contributor" : "kahegbeb@purdue.edu", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 3 }, { "contributor" : "92208507+marukods@users.noreply.github.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 6 }, { "contributor" : "liwenda1990@hotmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 1 }, { "contributor" : "baksys.mantas@gmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 1 }, { "contributor" : "dyekuu@qq.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 257 }, { "contributor" : "39208702+dyekuu@users.noreply.github.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 872 }, { "contributor" : "dwrenshaw@gmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 3 }, { "contributor" : "spolu@protonmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 367 }, { "contributor" : "spolu@openai.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 528 } ] }, { "extension" : "mm", "commitsCount" : 863, "committers" : [ "spolu@protonmail.com", "liwenda1990@hotmail.com", "dyekuu@qq.com", "spolu@openai.com", "39208702+dyekuu@users.noreply.github.com", "kahegbeb@purdue.edu" ], "filesCount" : 502, "commitsCount30Days" : 0, "committers30Days" : [ ], "filesCount30Days" : 0, "commitsCount90Days" : 0, "committers90Days" : [ ], "filesCount90Days" : 0, "contributorPerExtensionStats" : [ { "contributor" : "kahegbeb@purdue.edu", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 3 }, { "contributor" : "liwenda1990@hotmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 3 }, { "contributor" : "dyekuu@qq.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 327 }, { "contributor" : "39208702+dyekuu@users.noreply.github.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 345 }, { "contributor" : "spolu@protonmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 183 }, { "contributor" : "spolu@openai.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 2 } ] }, { "extension" : "md", "commitsCount" : 53, "committers" : [ "spolu@openai.com", "spolu@protonmail.com", "ccn@cuppajoeman.com", "xavierm@fb.com", "39208702+dyekuu@users.noreply.github.com", "dyekuu@qq.com" ], "filesCount" : 1, "commitsCount30Days" : 0, "committers30Days" : [ ], "filesCount30Days" : 0, "commitsCount90Days" : 0, "committers90Days" : [ ], "filesCount90Days" : 0, "contributorPerExtensionStats" : [ { "contributor" : "ccn@cuppajoeman.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 3 }, { "contributor" : "39208702+dyekuu@users.noreply.github.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 13 }, { "contributor" : "dyekuu@qq.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 2 }, { "contributor" : "xavierm@fb.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 1 }, { "contributor" : "spolu@protonmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 12 }, { "contributor" : "spolu@openai.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 22 } ] }, { "extension" : "", "commitsCount" : 6, "committers" : [ "spolu@protonmail.com", "xavierm@fb.com", "liwenda1990@hotmail.com", "spolu@openai.com", "dyekuu@qq.com" ], "filesCount" : 4, "commitsCount30Days" : 0, "committers30Days" : [ ], "filesCount30Days" : 0, "commitsCount90Days" : 0, "committers90Days" : [ ], "filesCount90Days" : 0, "contributorPerExtensionStats" : [ { "contributor" : "liwenda1990@hotmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 1 }, { "contributor" : "dyekuu@qq.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 1 }, { "contributor" : "xavierm@fb.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 1 }, { "contributor" : "spolu@protonmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 2 }, { "contributor" : "spolu@openai.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 1 } ] }, { "extension" : "thy", "commitsCount" : 1106, "committers" : [ "spolu@protonmail.com", "liwenda1990@hotmail.com", "qj213@cam.ac.uk", "39208702+dyekuu@users.noreply.github.com" ], "filesCount" : 492, "commitsCount30Days" : 0, "committers30Days" : [ ], "filesCount30Days" : 0, "commitsCount90Days" : 0, "committers90Days" : [ ], "filesCount90Days" : 0, "contributorPerExtensionStats" : [ { "contributor" : "liwenda1990@hotmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 518 }, { "contributor" : "qj213@cam.ac.uk", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 158 }, { "contributor" : "39208702+dyekuu@users.noreply.github.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 5 }, { "contributor" : "spolu@protonmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 425 } ] }, { "extension" : "gitignore", "commitsCount" : 6, "committers" : [ "39208702+dyekuu@users.noreply.github.com", "spolu@openai.com", "spolu@protonmail.com", "dyekuu@qq.com" ], "filesCount" : 2, "commitsCount30Days" : 0, "committers30Days" : [ ], "filesCount30Days" : 0, "commitsCount90Days" : 0, "committers90Days" : [ ], "filesCount90Days" : 0, "contributorPerExtensionStats" : [ { "contributor" : "39208702+dyekuu@users.noreply.github.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 2 }, { "contributor" : "dyekuu@qq.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 1 }, { "contributor" : "spolu@protonmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 1 }, { "contributor" : "spolu@openai.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 2 } ] }, { "extension" : "ml", "commitsCount" : 669, "committers" : [ "spolu@protonmail.com", "dyekuu@qq.com", "liwenda1990@hotmail.com", "xavierm@fb.com" ], "filesCount" : 326, "commitsCount30Days" : 0, "committers30Days" : [ ], "filesCount30Days" : 0, "commitsCount90Days" : 0, "committers90Days" : [ ], "filesCount90Days" : 0, "contributorPerExtensionStats" : [ { "contributor" : "liwenda1990@hotmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 3 }, { "contributor" : "dyekuu@qq.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 7 }, { "contributor" : "xavierm@fb.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 326 }, { "contributor" : "spolu@protonmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 333 } ] }, { "extension" : "toml", "commitsCount" : 16, "committers" : [ "spolu@openai.com", "spolu@protonmail.com", "dyekuu@qq.com" ], "filesCount" : 2, "commitsCount30Days" : 0, "committers30Days" : [ ], "filesCount30Days" : 0, "commitsCount90Days" : 0, "committers90Days" : [ ], "filesCount90Days" : 0, "contributorPerExtensionStats" : [ { "contributor" : "dyekuu@qq.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 1 }, { "contributor" : "spolu@protonmail.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 7 }, { "contributor" : "spolu@openai.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 8 } ] }, { "extension" : "sh", "commitsCount" : 3, "committers" : [ "spolu@openai.com", "39208702+dyekuu@users.noreply.github.com" ], "filesCount" : 2, "commitsCount30Days" : 0, "committers30Days" : [ ], "filesCount30Days" : 0, "commitsCount90Days" : 0, "committers90Days" : [ ], "filesCount90Days" : 0, "contributorPerExtensionStats" : [ { "contributor" : "39208702+dyekuu@users.noreply.github.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 1 }, { "contributor" : "spolu@openai.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 2 } ] }, { "extension" : "py", "commitsCount" : 1, "committers" : [ "39208702+dyekuu@users.noreply.github.com" ], "filesCount" : 1, "commitsCount30Days" : 0, "committers30Days" : [ ], "filesCount30Days" : 0, "commitsCount90Days" : 0, "committers90Days" : [ ], "filesCount90Days" : 0, "contributorPerExtensionStats" : [ { "contributor" : "39208702+dyekuu@users.noreply.github.com", "fileUpdates30Days" : 0, "fileUpdates90Days" : 0, "fileUpdates" : 1 } ] } ] }, "numberOfExcludedFiles" : 7, "excludedExtensions" : { "" : 4, "txt" : 1, "gitignore" : 1, "json" : 1 }, "analysisStartTimeMs" : 1744625107604, "maxLinesOfCode" : 9979, "maxFileCount" : 655 }