{
  "finding_id": "DF-5681",
  "title": "prop_number lazy-init once-race: kernel _PROP_ONCE_RUN cmpset-once has no completion barrier",
  "verdict": "not_reproduced",
  "impact": "none",
  "severity": "Low",
  "cwe": "CWE-364",
  "reproduce": {
    "build": "sh /tmp/build5681.sh",
    "run": "sh /tmp/run5681.sh",
    "expected": "control SURVIVED; kernel-macro-semantics variant SIGSEGV 5/5 (exit 139) in _prop_rb_tree_find while winner is inside _prop_number_init; fix-emulation (once pre-completed, SYSINIT semantics) SURVIVED 5/5"
  },
  "kernel_refs": [
    "sys/libprop/prop_number.c:167",
    "sys/libprop/prop_number.c:169-190",
    "sys/libprop/prop_number.c:272-320",
    "sys/libprop/prop_object_impl.h:302-303",
    "sys/libprop/prop_object_impl.h:428-430",
    "sys/libprop/prop_rb.c:90-93",
    "sys/kern/kern_lock.c:1300-1307",
    "sys/libprop/prop_object.c:1077-1097"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "race_once.c", "ksem_object_impl.h",
    "ksem_number.c", "build.sh", "run.sh", "build.log", "run.log",
    "env.txt", "fix.diff", "manifest.json", "verdict.json"
  ]
}