From 27e5bc105cbf1d3cb5b1a910e36c909744a282bc Mon Sep 17 00:00:00 2001 From: Shay Date: Mon, 22 Jun 2026 23:35:44 -0700 Subject: [PATCH] fix(kernel): remove bound replay adapter stub --- generate/replay_adapter_bound.py | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 generate/replay_adapter_bound.py 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")