{
  "finding_id": "DF-4199",
  "file": "sys/dev/drm/amd/display/dc/calcs/dcn_calc_auto.c",
  "title": "DCC/PTE read-bandwidth overhead factors (1 + 1/256)/(1 + 1/64)/(1 + 1/512) are C integer constant divisions that compile to *1 — overhead accounting dead code (DCN1 modes marginally under-validated)",
  "verdict": "reproduced (real-source harness on guest; Info correctness, no kernel memory-safety impact)",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "./build.sh   (pulls the REAL dcn_calc_auto.c/dcn_calc_math.c/headers from /usr/src, builds baseline + fixed)",
    "run": "./run.sh",
    "expected": "baseline dcc: 'DEFECT PRESENT ... ratio=1.000000000'; fixed dcc: 'FIXED ... ratio=1.003906250'; degen/log0: no SIGFPE, voltage_level in [0,5], dcn_bw_log(0)=-127 documented"
  },
  "kernel_refs": ["sys/dev/drm/amd/display/dc/calcs/dcn_calc_auto.c:178", "sys/dev/drm/amd/display/dc/calcs/dcn_calc_auto.c:181", "sys/dev/drm/amd/display/dc/calcs/dcn_calc_auto.c:184", "sys/dev/drm/amd/display/dc/calcs/dcn_calc_auto.c:187"],
  "artifacts": ["README.md", "VERDICT.md", "dcnauto_harness.c", "dm_services.h", "display_clock.h", "build.sh", "run.sh", "build.log", "run.log", "run.2.log", "run.3.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"]
}