Stop false 'keccak/unstructured storage is unreachable' skips; gate skip justifications#39

Draft

shellygr wants to merge 7 commits into

shelly/ap-keccak-skip-gate

Commits on Jul 3, 2026

Kill the false "keccak/unstructured storage is unreachable" doctrine

shellygr
and
claude
committed
Address review: protocol-scope Criteria 7, judge-visible alternatives, collision carve-out

shellygr
and
claude
committed
Gate Criteria 7's harness-skip rejection on harness_augmentation

shellygr
and
claude
committed
Cover alternatives_considered in the validation digest; widen access-shaped skip triggers

shellygr
and
claude
committed
Scope Criteria 7's missing-harness-support fallback to non-greenfield

shellygr
and
claude
committed
Replace the regex skip gate with a structured reason_category enum

shellygr
and
claude
committed
Thread harness_augmentation once through property_feedback_judge

shellygr
and
claude
committed