From 751e24a1ceca33518839839514e39ab33f9cdc75 Mon Sep 17 00:00:00 2001
From: Dave <dave@sienkowski.com>
Date: Tue, 30 Jun 2026 00:08:39 -0400
Subject: [PATCH] chore(#1820): add changeset fragment for #1835

---
 .changeset/fierce-bears-gather.md | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 .changeset/fierce-bears-gather.md

diff --git a/.changeset/fierce-bears-gather.md b/.changeset/fierce-bears-gather.md
new file mode 100644
index 000000000..ade0d2278
--- /dev/null
+++ b/.changeset/fierce-bears-gather.md
@@ -0,0 +1,5 @@
+---
+type: Added
+pr: 1835
+---
+`plan-phase` now authors edge and prohibition predicates into PLAN.md `must_haves` when a phase SPEC omits `## Edge Coverage` / `## Prohibitions`, so goal-backward verification still has predicates to check on a spec-less phase (ADR-857 Phase 6). Gated by the new default-on `workflow.specless_probe_fallback` toggle — disable it to skip the fallback (the skip is recorded visibly in the plan). Spec-less prohibitions are authored descriptor-less and disposed flagged/unverified (honest verifier #1154), never a silent pass.