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

Closed

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
b6e5e7a
Address review: protocol-scope Criteria 7, judge-visible alternatives, collision carve-out

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

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

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

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

shellygr
and
claude
committed
b439d33
Thread harness_augmentation once through property_feedback_judge

shellygr
and
claude
committed
b7cf58e