Create a bounded audit and persist its redacted architecture objective.

List persisted audits without reading their project trees.

Return the current source, claim, fact, comparison, and proposal snapshot.

Refresh the bounded project inventory and invalidate derived stale records.

Extract claims and reject every host claim without a valid line citation.

Extract current implementation facts from discovered non-documentation files.

Compare normalized claims and facts; absence remains suspected or unknown.

Ask the host model to adjudicate drift using only cited, known claim and fact IDs.

Generate cited review-only document replacements without writing project files.

Write a redacted Markdown and JSON report in the external audit state directory.