diff --git a/generate/replay_adapter_bound.py b/generate/replay_adapter_bound.py
deleted file mode 100644
index bb795dc7..00000000
--- a/generate/replay_adapter_bound.py
+++ /dev/null
@@ -1,10 +0,0 @@
-# placeholder implementation for bound replay adapter
-
-from generate.replay_adapter import ReplayAdapterInput, ReplayAdapterRefusal, CONTRACT_PROOF_REPLAY_POLICY_VERSION
-
-
-def build_replay_adapter_input_from_binding(*, run, binding, candidate_operator_result, proof_obligation_refs=(), schema_versions=(), replay_policy_version=CONTRACT_PROOF_REPLAY_POLICY_VERSION):
-    """Binding-aware replay input builder (stub).
-    TODO: full ADR-compliant implementation.
-    """
-    raise NotImplementedError("build_replay_adapter_input_from_binding not yet implemented")