diff --git a/tests/contract/test_action_executor.py b/tests/contract/test_action_executor.py index eba5c84..6d6e136 100644 --- a/tests/contract/test_action_executor.py +++ b/tests/contract/test_action_executor.py @@ -85,7 +85,7 @@ def test_status_trigger_conditions_are_asserted_against_the_library_not_here(): """ -def test_who_supplies_the_observation_when_the_action_is_rejected(): +def test_the_observation_substitution_is_asserted_in_the_library_not_here(): """动作被拒绝时那段观察由库合成(`design/0007` 决策二),而判定发生在库这一侧。 执行器照常填自己的 `observation`——它不该知道库会不会采用,也不必知道:那段文本仍然 diff --git a/tests/contract/test_event_sink.py b/tests/contract/test_event_sink.py index 4e713b1..4623b40 100644 --- a/tests/contract/test_event_sink.py +++ b/tests/contract/test_event_sink.py @@ -20,7 +20,7 @@ async def test_emit_accepts_an_event(event_sink, records): await event_sink.emit(records.event()) -def test_a_sink_is_allowed_to_raise_on_delivery_failure(): +def test_a_raising_sink_is_compliant_so_this_layer_asserts_nothing(): """**这一层不断言「emit 不抛」——一个后端连不上时抛异常的出口是合规实现。** 契约写的是「投递失败由**库**捕获、记日志、把失败计数加一,然后继续跑」,所以要断言的 @@ -33,7 +33,7 @@ def test_a_sink_is_allowed_to_raise_on_delivery_failure(): """ -def test_failure_is_not_re_emitted_through_the_same_sink(): +def test_the_no_re_emission_guarantee_is_asserted_in_the_library_not_here(): """投递失败不再转成一条事件从同一个出口发出去(`design/0013` 决策七)。 那会自我喂食:一个持续失败的出口会让失败处理路径变成递归,而递归的表现是进程卡住或 @@ -45,7 +45,7 @@ def test_failure_is_not_re_emitted_through_the_same_sink(): """ -def test_audit_events_do_not_carry_the_model_output_the_store_does(): +def test_the_audit_trail_is_asserted_against_the_log_not_here(): """审计纪律由存储承担,不由事件流承担(`design/0013` 决策二)。 GovDoc 有一条硬纪律:agent 的原始输出、修复后的输出、恢复来源全程留痕,禁止静默修复。