The row
- Ask did VERIFY stay green
- Review 2026-01-01
- Why the hop warns, it does not fail
Topic · known issues reviewed
Gist
Known issues reviewed is whether an open KnownIssue still has a current review date. Proof runs proof audit --check known_issues_reviewed. A fresh date without a re-read is not a review. Jama still authors.
proof audit --check known_issues_reviewed
Keep Salesforce if you already file product bugs there. Keep Jama if it already holds the shall. Neither one dates a KnownIssue YAML in this repo.
01 · The record that outlived the date
You can keep KI-3 open, keep VERIFY green, and still ship after review_date is in the past, if this hop never ran or only warned.
The check reads proof/known-issues/*.yaml. Active records with a current review date stay informational. A review_date in the past, or release_disposition: block, becomes a warning. The hop does not fail the merge. Zero files is a pass: nothing to review. That pass is empty, not reviewed.
A KnownIssue is not an AcceptedRisk and not a waiver. proof known-issue review stamps a human and a new date after you re-read the failure. proof known-issue edit --set-status fixed closes a record that no longer reproduces. withdrawn is the recorded way to say the filing was never real. If the team is shipping with the behavior, that is
risk acceptance,
not a date bump on this YAML.
The silent case is a date refresh without a re-read. The hop sees a future day and stays informational. The record still describes a failure nobody checked. Refreshing a fixed issue is worse: it keeps resolved behavior in the active set as noise.
proof audit --check known_issues_reviewed --verbose
proof known-issue list --status open
proof known-issue review KI-3 --reviewer human:jane --new-review-date 2026-10-01
proof known-issue edit KI-3 --set-status fixed --set-remediation "reproduced no longer"
Re-read the failure before you stamp the date. Close it if it is gone. Do not delete the file to clear the warning. Do not flip release_disposition from block to ship without a human. Agents do not make that release call.
02 · The exhibit
KI-3 is still open. The last review_date is 2026-01-01. Click the tabs.
The row
This hop
No known_issues_reviewed JSON. Stale date never named. Merge stayed green.
No stampThe row
Keep the YAML. Keep the failure mode. That is not this hop.
Keep the recordProof
Same KI-3. A silent current, or this hop. Click the tabs.
| Surface | What they do | What Proof does | What we lose |
|---|---|---|---|
| Salesforce Known Issue | A vendor status page for a hosted product. | Date a repo YAML under proof/known-issues/. |
We do not host your customer-facing status page. Ads known issue is that SERP. |
| Risk acceptance | A named human ships a known failure with a review date. | Warn when an open KnownIssue is past its review day. | Not that hop. See risk acceptance. |
proof known-issue review |
The write. Human, new date, after a re-read. | The review of those dates on VERIFY. | This hop does not write the record. A date bump without a re-read still passes. |
| Jama | The authoring programme. Reviews if you put them there. | Warn on a stale review_date in this repo. | Not Jama's V&V. Jama still authors. We have not run a frozen Jama pack. |
The teaching graph is still one KnownIssue next to its review day. Run the check. Read the id. Re-read the failure, then stamp, close, or withdraw. Do not bump the date to hide a fix that already landed.
proof workflow check --stage verify --verbose
proof audit --check known_issues_reviewed --verbose
proof known-issue list --status open
proof known-issue review KI-3 --reviewer human:jane --new-review-date 2026-10-01
The signed-ship hop stays on risk acceptance. The skip-date hop stays on waivers reviewed. Jama still authors. Proof vs Jama.
03 · The honest loss
A green known_issues_reviewed is current dates on eligible rows. It is not a proof of the Go. Jama still authors.
Zero files is a pass. That pass did not review anything. A future review_date is informational even if nobody reproduced the issue this week. The hop warns; it does not fail. It does not rewrite the YAML. It does not close a fixed record. It does not sign an AcceptedRisk. Flipping release_disposition from block is a human release call this hop will not make. We have not scored this graph against a frozen Jama pack or a Salesforce status page. The loss is named, not scored.
The signed-ship hop stays on risk acceptance. The engagement stays on software correctness audit. Jama still authors.
04 · Nearby questions
What is known issues reviewed? Same question. Same URL.
Is this risk acceptance? No. That hop is a named human shipping a known failure. This hop is whether an open KnownIssue still has a current review date. See risk acceptance.
Is this residual kill hygiene? No. That hop warns a closed quantitative hunt kill with empty samples. A residual is not a KnownIssue. See residual kill hygiene.
Is this a Salesforce known issue? No. Ads known issue is that status page. A hosted vendor bulletin is not this cell.
Does a missing known-issues directory fail? No. Zero files is a pass. Put a YAML there when the behavior is confirmed.
Does a stale date fail the merge? No. The hop warns. A green VERIFY can still carry a past review_date unless you raise the fail level.
Is Proof a Jama alternative for the shall? No. Jama still authors. Proof vs Jama.