core-labs/core
1
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

fix(kernel): remove bound replay adapter stub

Browse source
This commit is contained in:
Shay 2026-06-22 23:35:44 -07:00
parent c0307ae702
commit 27e5bc105c
1 changed files with 0 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
generate/replay_adapter_bound.py
View file

@ -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")