{
 "_doc": "The lab's current claim and limits for one result, copied word for word from the portfolio's current-claims file at the line named here. A value this site does not print in full is replaced by its sha256 and byte count, with the reason; the excerpts beside it are copied word for word from the same value. Nothing here is written by hand.",
 "result": "wireless-reliability:leastpriv-six-axis-synthesis",
 "title": "Six-axis least-privilege synthesis with deny-and-rerun — `leastpriv/` (F3-07)",
 "claim": "Minimal capability grants are synthesised from a 32-atom declared grant, then falsified by removing each atom and re-running the workload — and the result is reported honestly as **CERTIFIED-MINIMAL for one workload and PARTIAL for the other**.",
 "limits": "One declared corpus and two workloads. The grant is certified minimal for the triage workload only; for the notify workload the verdict is PARTIAL: one of its static call sites, `_region:91` (the fs.read fallback), was never exercised, so the grant is minimal only over the behaviour that was tested. The definition-of-done's headline field is entailed by the minimality rows (the restored grant is the minimal grant), so it cannot come out False and is not evidence on its own.",
 "claim_excerpts": [],
 "limits_excerpts": [],
 "lab_commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
 "source": {
  "file": "portfolio-control registry/CLAIMS_CURRENT.jsonl",
  "line": 27,
  "sha256": "81776df15a1498abec7228ea179c952d01c54e031ffd4144498a30660963074b"
 },
 "evidence": "/receipts/wireless-reliability/results/leastpriv-six-axis-synthesis.json",
 "copied_utc": "2026-10-03T16:11:27Z"
}