Clarify inspected input identifier disclosure

This commit is contained in:
2026-10-08 21:19:24 +00:00
parent c7e22c0dbe
commit 5a63b649f9
2 changed files with 11 additions and 1 deletions

View File

@@ -89,6 +89,11 @@ visit counts or a wall-clock threshold a public guarantee.
### Finding 3 — Qualify The Public Variable-Disclosure Statement (P3)
**Status: Resolved.** Request and method GoDoc now expressly distinguish caller
values from intentionally reported resolved input identifiers. Existing direct
name and privacy coverage passed in the assembled verification; no runtime
behavior or confidentiality mechanism changed.
Location: [public request GoDoc](../../requirements.go), `Vars` (lines 22–24).
The comment says that supplied values are not returned in inspection.