[auto-discover] 1 new shape(s) found — 2026-04-06

[github-actions]

Auto-Discovered Shapes

Stage 8 found 1 new failure shape(s) not in the taxonomy.
These have been appended to FAILURE-TAXONOMY.md in the CI workspace.

To accept: merge the changes below into main.

To reject: close this issue.

Discover output

=== Stage 8: DISCOVER + CONFIRM ===
Ledger: data/self-test-ledger.jsonl
Threshold: 3 occurrences

  Total entries: 2955
  Dirty: 7
  Classified (has shape ID): 0
  Unclassified (no shape ID): 7

  Decomposition: 0 known shapes matched, 7 genuinely unclassified

  Clusters found: 2
    6x — filesystem: gates:filesystem|inv:should_accept_valid_edit|viol:False negative still present:
    1x — invariant: inv:should_detect_problem|viol:False positive still present: verify passed but s

  Clusters above threshold (3): 1

  PROPOSED: FS-100 [filesystem]
    Discovered: filesystem gate failure — False negative still present: verify failed at filesystem but should pass
    Claim type: existence
    Evidence: 6 occurrences
    Samples:
      - filesystem_unchanged: config.json hash matches (no edits)
      - filesystem_unchanged: init.sql hash matches (no edits)
      - filesystem_unchanged: .env hash matches (no edits)

  Written 1 candidate shape(s) to /home/runner/work/verify/verify/data/discovered-shapes.jsonl

  === CONFIRM: Checking candidates against taxonomy ===
  Taxonomy has 646 existing shapes
  CONFIRMED: FS-100 [filesystem] — new shape

  Result: 1 confirmed, 0 duplicates
  Appended 1 shape(s) to FAILURE-TAXONOMY.md
new_shapes=1

Taxonomy diff

diff --git a/FAILURE-TAXONOMY.md b/FAILURE-TAXONOMY.md
index eef15b1..ec42607 100644
--- a/FAILURE-TAXONOMY.md
+++ b/FAILURE-TAXONOMY.md
@@ -558,6 +558,7 @@ Filesystem predicates assert file existence, structure, and state. The most dete
 | FS-36 | .gitignore hides file from verification glob | no coverage | File exists but glob respects .gitignore — invisible |
 | FS-37 | Lock file stale after dependency change | no coverage | `package-lock.json` not regenerated — predicate sees old deps |
 | FS-38 | Temp file left from failed write | no coverage | `.tmp` or `~` suffix file exists alongside target |
+| FS-39 | False negative still present: verify failed at filesystem but should pass | discovered | Auto-discovered from 6x cluster (filesystem gate) |
 
 **Filesystem total: 38 shapes. Generator coverage: 22 (FS-01–FS-05, FS-07–FS-12, FS-14–FS-15, FS-17–FS-24, FS-32, FS-34). No coverage: 16.**