{
  "title": "SCJ saved feature-vector comparison",
  "source_sha256": "2db8cdaa2f84b9edd847a52a6bddabfb41657317d47710816e1b71ec232c235d",
  "source_record_count": 6370,
  "representation": "128-coordinate sparse engineered-feature cache; not the v0.4r learned embedding architecture.",
  "metric": "Euclidean distance on unmodified stored coordinates, calculated for this illustration. Not a replay of SCJ geodesic ranking.",
  "selection": "Reference: copy-flagged row with most nonzero coordinates (first tie). A: nearest numerically distinct row in the cache. B: most distant copy-flagged row. These are illustrative selections, not labeled patch twins.",
  "scope": "Anonymized numeric records. No vulnerability or solver verdict is supplied by this comparison. Pattern detections are heuristic features, not confirmed behaviors or flaws.",
  "features": [
    {
      "index": 0,
      "label": "Function size",
      "encoding": "log(1 + size) / 15"
    },
    {
      "index": 1,
      "label": "Call count",
      "encoding": "log(1 + calls) / 5"
    },
    {
      "index": 2,
      "label": "Branch count",
      "encoding": "log(1 + branches) / 5"
    },
    {
      "index": 10,
      "label": "Allocation",
      "encoding": "Detected pattern: 1; absent: 0"
    },
    {
      "index": 11,
      "label": "Free operation",
      "encoding": "Detected pattern: 1; absent: 0"
    },
    {
      "index": 12,
      "label": "Copy operation",
      "encoding": "Detected pattern: 1; absent: 0"
    },
    {
      "index": 13,
      "label": "Memory descriptor",
      "encoding": "Detected pattern: 1; absent: 0"
    },
    {
      "index": 14,
      "label": "Pool operation",
      "encoding": "Detected pattern: 1; absent: 0"
    },
    {
      "index": 20,
      "label": "Multiply pattern",
      "encoding": "Detected pattern: 1; absent: 0"
    },
    {
      "index": 21,
      "label": "Shift pattern",
      "encoding": "Detected pattern: 1; absent: 0"
    },
    {
      "index": 22,
      "label": "Addition pattern",
      "encoding": "Detected pattern: 1; absent: 0"
    },
    {
      "index": 23,
      "label": "Multiply \u2192 allocation",
      "encoding": "Detected pattern weighted by 2"
    },
    {
      "index": 24,
      "label": "Shift \u2192 allocation",
      "encoding": "Detected pattern weighted by 2"
    },
    {
      "index": 25,
      "label": "Unchecked size pattern",
      "encoding": "Detected pattern weighted by 2"
    },
    {
      "index": 30,
      "label": "String operation",
      "encoding": "Detected pattern: 1; absent: 0"
    },
    {
      "index": 31,
      "label": "Loop",
      "encoding": "Detected pattern: 1; absent: 0"
    },
    {
      "index": 32,
      "label": "Callback pattern",
      "encoding": "Detected pattern: 1; absent: 0"
    },
    {
      "index": 40,
      "label": "Overflow-pattern count",
      "encoding": "Matching pattern labels \u00d7 0.5"
    },
    {
      "index": 41,
      "label": "Unchecked-pattern count",
      "encoding": "Matching pattern labels \u00d7 0.5"
    },
    {
      "index": 42,
      "label": "Use-after-free pattern count",
      "encoding": "Matching pattern labels \u00d7 0.5"
    },
    {
      "index": 43,
      "label": "Descriptor-pattern count",
      "encoding": "Matching pattern labels \u00d7 0.3"
    },
    {
      "index": 44,
      "label": "Size-pattern count",
      "encoding": "Matching pattern labels \u00d7 0.3"
    }
  ],
  "records": [
    {
      "id": "reference",
      "values": [
        0.6358418464660645,
        1.2330836057662964,
        1.123354196548462,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        1.0,
        1.0,
        1.0,
        0.0,
        1.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        1.0,
        1.0,
        0.0,
        0.0,
        2.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        1.0,
        1.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        1.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0
      ],
      "distance": 0.0
    },
    {
      "id": "a",
      "values": [
        0.49850696325302124,
        0.8254268765449524,
        0.6182084679603577,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        1.0,
        1.0,
        1.0,
        0.0,
        1.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        1.0,
        1.0,
        0.0,
        0.0,
        2.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        1.0,
        1.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        1.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0
      ],
      "distance": 0.6634885727255527
    },
    {
      "id": "b",
      "values": [
        0.3538845181465149,
        0.460517019033432,
        0.2197224646806717,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        1.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        1.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0
      ],
      "distance": 3.534530997567789
    }
  ]
}