{
  "finding_id": "DF-2897",
  "title": "Mute-interaction bookkeeping leak: cnclose() muted early-return leaves cn_is_open/cn_phys_is_open set, un-mute re-opens physical console with stale flags",
  "verdict": "untested (analysis-only; deterministic, Low, root-gated)",
  "impact": "none (state-machine/resource leak)",
  "confidence": "certain",
  "reproduce": {
    "build": "n/a",
    "run": "n/a (deterministic source walkthrough; see README.md)",
    "expected": "physical console device held permanently open after mute->close->unmute with no descriptor behind it"
  },
  "kernel_refs": [
    "sys/kern/tty_cons.c:403-404",
    "sys/kern/tty_cons.c:415-432",
    "sys/kern/tty_cons.c:265-278",
    "sys/kern/tty_cons.c:241-250"
  ],
  "artifacts": ["README.md", "verdict.json", "manifest.json"]
}