contradiction-plan-round-trips-apply-entries
IN premise
Writing a contradiction plan with `write_contradiction_plan` and parsing it back with `parse_contradiction_plan` preserves all `[APPLY]`-tagged NOGOOD entries with their IDs and claims, while discarding `[SKIP]`-tagged entries — enabling a human review workflow.
Summary
The contradiction plan format round-trips correctly — when you write one out and read it back in, every entry marked APPLY comes back with its ID and claim intact, and everything marked SKIP gets dropped. This means a human can review a list of proposed contradiction resolutions, cross out the ones they disagree with, and the system will faithfully act on only what survived review.
Details
| Source | entries/2026/05/11/tests-test_contradictions.md |