timothyandClaude Fable 5.1 45cada07e4 test(885): the predecessor read is asserted on BOTH condition rows, not one ...

The block claimed the ordinary-string read — `secret_refs`, how `secret_name_counts` routed
an `if:` value before `condition_refs` — "is asserted empty on every row", while asserting it
on the job-level condition only. The step-level row's own string went unchecked, so a
predecessor that happened to see it would have left the row proving nothing. Both rows now
run the same three assertions from one loop.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015QqCpYFsKgnAnx6jVwrKiV

2026-09-05 15:15:43 +02:00

..

fixtures

feat(610): split the decision corpus into one YAML-frontmatter file per record

2026-07-25 19:45:09 +02:00

__init__.py

feat(521): decision-record parser (decisions_lib)

2026-07-21 02:58:58 +02:00

conftest.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

hook_fire_isolation.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

mutation_harness_lib.py

fix(881): the replacement clause asserted an absolute I had not measured

2026-09-05 07:09:14 +02:00

mutation_manifest.py

fix(885): the guard states both invariants, and the second one is executed

2026-09-05 15:15:43 +02:00

test_bom_guard_detection.py

fix(891): a sourced path is code, so every hook resolves it from its own tree (#903)

2026-08-30 21:41:19 +00:00

test_build_catalog_check_path.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_build_catalog.py

fix(603): close four defects found in adversarial review of the stale-after fields

2026-07-25 15:22:50 +02:00

test_check_doc_narrative.py

fix(881): the same outcome claim, restated in the proof's own docstring

2026-09-05 05:05:59 +02:00

test_check_required_contexts.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_check_review_verdict.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_ci_dropped_step_guard.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_ci_image_paths_pin_agreement.py

fix(855): two glob dialects cannot be canonicalised into one, so model one shape and refuse the rest (#902)

2026-08-30 19:25:23 +00:00

test_ci_image_pin_population.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_ci_release_path_scan_job.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_ci_status_context_uniqueness.py

fix(787): derive the dropped-step guard's scope, and reconcile its snapshot against the server (#861)

2026-08-27 22:37:02 +00:00

test_ci_toolchain_image_resolves.py

fix(885): a legal challenge in another case read as a missing realm

2026-09-05 15:15:43 +02:00

test_complete_annotation_dispositions.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_decisions_lib.py

fix(688): make the n oracle dynamic; correct a tense that asserted false history

2026-08-04 22:35:00 +02:00

test_decisions_validate.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_docs_only_detector_clone_depth.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_guard_inventory.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_guard_populations_derive_from_git.py

fix(881): exempt the claim binding from the index-population registry, and fix three prose claims in the change itself

2026-09-05 04:44:29 +02:00

test_hook_fire_log.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_image_build_delegates_the_spa_suite.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_jq_preflight.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_mcp_smoke.py

docs(796): verification code is code under test, and the proof it was claiming an exemption from (#871)

2026-08-28 20:06:45 +00:00

test_merge_consent_base_change.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_merge_consent_exemption.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_merge_consent_head_change.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_merge_consent_required_check.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_migration_equivalence.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_mutation_harness.py

fix(881): a GREEN claim is only readable if its proof REACHES the clause

2026-09-05 05:02:46 +02:00

test_optional_request_members.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_post_review_verdict.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_pr_changed_files.py

fix(885): a head-authored run may hold no stored secret, so the PR route reads the registry and the status API anonymously

2026-09-05 15:15:42 +02:00

test_prepush_rebase_check_tag_exemption.py

fix(743): re-tense the third stale site, and pin the two surviving mutants

2026-08-06 00:10:45 +02:00

test_prepush_unsets_git_env.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_prove_fix.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_remote_state_inventory.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_review_verdict_vocabulary.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_workflow_job_guards.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

test_workflow_persist_credentials.py

test(885): the predecessor read is asserted on BOTH condition rows, not one

2026-09-05 15:15:43 +02:00

test_worktree_ownership_guard.py

fix(876): sweep session narrative out of hooks, workflows, scripts, tests and code comments; grow the detector to the process corpus

2026-09-03 20:51:39 +02:00

tracked_files.py

fix(881): a mutation-outcome claim is executed wherever it is written, bound to the sentence that makes it

2026-09-05 04:44:28 +02:00