{
  "ml": {
    "v": "4",
    "fs": [
      {
        "id": 0,
        "prob": 0.9293515682220459,
        "class": 0
      }
    ],
    "prob": 0.92935157,
    "class": 0,
    "version": "v16.16",
    "thresholds": [
      0.9815004,
      0.99404883
    ],
    "analyzed_at": "2026-04-30T15:08:04Z"
  },
  "path": "raw_remutex.rs",
  "raw": {
    "v": "4",
    "fs": [
      {
        "f": "H(Db)",
        "id": 0,
        "is": [
          "thread_local",
          "KEY.with",
          "get_thread_id",
          "try_lock"
        ],
        "ms": {
          "text": {
            "digit_ratio": 0.01,
            "space_count": 742.0,
            "total_lines": 101.0,
            "char_entropy": 4.69,
            "unique_chars": 74.0,
            "import_density": 3.96,
            "string_density": 0.06,
            "avg_line_length": 27.67,
            "max_line_length": 79.0,
            "empty_line_ratio": 0.11,
            "last_line_length": 1.0,
            "most_common_char": "e",
            "whitespace_ratio": 0.29,
            "most_common_ratio": 0.07,
            "identifier_density": 0.76,
            "line_length_stddev": 21.88,
            "normalized_import_count": 0.4,
            "normalized_string_count": 0.6,
            "repeated_char_sequences": 21.0,
            "suspicious_comment_ratio": 0.22,
            "max_inline_whitespace_run": 1.0,
            "normalized_function_count": 0.9,
            "imports_to_functions_ratio": 0.44,
            "strings_to_functions_ratio": 0.67,
            "suspicious_identifier_ratio": 0.03,
            "normalized_unique_identifiers": 5.11,
            "identifiers_to_functions_ratio": 3.78
          },
          "imports": {
            "total": 4.0,
            "unique_modules": 4.0,
            "third_party_count": 4.0,
            "third_party_ratio": 1.0
          },
          "strings": {
            "total": 6.0,
            "avg_length": 16.0,
            "max_length": 34.0,
            "avg_entropy": 3.16,
            "total_bytes": 96.0,
            "entropy_stddev": 0.5
          },
          "comments": {
            "chars": 477.0,
            "lines": 8.0,
            "total": 9.0,
            "to_code_ratio": 0.09,
            "empty_comments": 1.0,
            "url_in_comments": 2.0,
            "high_entropy_comments": 2.0
          },
          "functions": {
            "total": 9.0,
            "length_stddev": 4.13,
            "avg_name_length": 8.44,
            "no_params_count": 9.0,
            "avg_length_lines": 6.78,
            "max_length_lines": 17.0,
            "min_length_lines": 3.0,
            "density_per_100_lines": 8.91,
            "code_in_functions_ratio": 0.6
          },
          "identifiers": {
            "total": 77.0,
            "avg_length": 6.94,
            "max_length": 14.0,
            "min_length": 1.0,
            "avg_entropy": 2.32,
            "reuse_ratio": 0.44,
            "unique_count": 34.0,
            "length_stddev": 3.65,
            "sequential_names": 1.0,
            "single_char_count": 1.0,
            "single_char_ratio": 0.03,
            "all_lowercase_ratio": 0.76,
            "all_uppercase_ratio": 0.03
          }
        },
        "ss": [
          [
            990,
            "nightly"
          ],
          [
            991,
            "nightly"
          ],
          [
            1244,
            "nightly"
          ],
          [
            1245,
            "nightly"
          ],
          [
            1758,
            "ReentrantMutex lock count overflow"
          ],
          [
            1759,
            "ReentrantMutex lock count overflow"
          ]
        ],
        "sz": 2896,
        "ts": [
          {
            "d": "overflow keyword",
            "e": [
              "overflow"
            ],
            "i": "micro-behaviors/data/text/keywords::overflow",
            "l": 1
          }
        ],
        "sha": "f17a26ff7c923e4bae118255852430eae91388c554f736951bcbad2d1ebd41a6",
        "path": "raw_remutex.rs",
        "type": "rust"
      }
    ],
    "tv": "13343"
  }
}