Workspace unfreeze

Contract

Field	Bound contract
Trigger	The user runs /workspace-unfreeze on a frozen path
Authority	Human-gated: requires explicit human invocation, previews the target marker file and the deletion consequence, and asks before deleting the freeze lock marker file; otherwise reversible local: deletes only the freeze lock marker file; rollback is recreating the marker file. No remote mutation.
Side effect	Deletes the freeze lock marker file for the named path. The deletion is unrecoverable, but the marker is re-creatable by re-creating the <path>.freeze-lock file beside the path with content naming the target path
Done	The named path is editable again (no freeze lock marker present for it)

Inputs

• Path (required): the frozen path to unfreeze.

Procedure

1. Receive the path argument from the explicit /workspace-unfreeze invocation. Do not act on any model-generated or inferred path. Done when: the path argument is confirmed as human-supplied.
2. Resolve the marker path from the invocation: accept an explicit marker path from the human, or derive it from the freeze convention: a marker file named <path>.freeze-lock beside the frozen path, whose content names the target path. Verify the resolved file exists and names the target path. If it does not, treat as Marker not found. Never glob or scan for candidate markers. Done when: the marker file path is resolved and verified, or the path is confirmed already editable.
3. Before deleting, preview the marker file path and state the consequence: the <path>.freeze-lock marker on that path will be removed and the path will become editable. Obtain explicit human confirmation. Done when: the human has seen the preview and the consequence and confirmed deletion.
4. After human confirmation, delete only that single marker file. Do not delete any other file, do not edit the protected path's contents, and do not touch any other freeze marker. Done when: the single marker file is deleted.
5. Confirm the marker file is gone and the named path is editable again. Done when: the marker file is absent and the path is editable.

Failure and recovery

• Marker not found: the path is already unfrozen. Report this state; do not delete anything. Done predicate holds.
• Path argument missing: stop and request the path. Do not guess or scan for frozen paths.
• Deletion fails (permission, missing parent, I/O error): report the exact error, leave all markers in place, and return blocked. Do not widen scope or attempt partial deletion.
• Marker exists for a different path: do not delete it; report the mismatch and stop.

Output

Terminal report naming the unfrozen path (or stating it was already editable) and confirming the freeze lock marker is absent.