Make the Draft Refuse: An Abstention Ledger for Model-Written Docs

In this workflow, an LLM drafts documentation while inserting markers for unverifiable claims. A parser extracts these markers and detects silent assertions, pr