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

[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: 2935
  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 686 existing shapes
  CONFIRMED: FS-100 [filesystem] — new shape

  Result: 1 confirmed, 0 duplicates
  Appended 1 shape(s) to FAILURE-TAXONOMY.md
new_shapes=1
=== Bridge: Scan Loop → Supply Chain ===
  Source: /home/runner/work/verify/verify/data/aidev-scan/new-shapes.jsonl
  Target: /home/runner/work/verify/verify/data/discovered-shapes.jsonl

  Scan candidates: 18
  Existing discovered shapes: 1

  Results:
    New shapes to bridge: 10
    Skipped (duplicate): 0
    Skipped (in taxonomy): 2
    Skipped (weak, <5 occurrences): 6

  SCAN-715: access::sql — 12 occurrences
    access gate fires on other-sql files (12 occurrences across real agent PRs)
  SCAN-701: access::zig — 9 occurrences
    access gate fires on other-zig files (9 occurrences across real agent PRs)
  SCAN-707: contention::javascript — 9 occurrences
    contention gate fires on typescript-javascript files (9 occurrences across real agent PRs)
  SCAN-712: access::tmp/iob — 8 occurrences
    access gate fires on other-tmp/iob files (8 occurrences across real agent PRs)
  SCAN-714: access::dart — 7 occurrences
    access gate fires on other-dart files (7 occurrences across real agent PRs)
  SCAN-706: access::build — 6 occurrences
    access gate fires on xml-project files (6 occurrences across real agent PRs)
  SCAN-700: access::ci — 5 occurrences
    access gate fires on github-ci files (5 occurrences across real agent PRs)
  SCAN-702: access::makefile — 5 occurrences
    access gate fires on other-makefile files (5 occurrences across real agent PRs)
  SCAN-708: access::mod — 5 occurrences
    access gate fires on other-mod files (5 occurrences across real agent PRs)
  SCAN-717: access::ron — 5 occurrences
    access gate fires on other-ron files (5 occurrences across real agent PRs)

  Appended 10 shapes to /home/runner/work/verify/verify/data/discovered-shapes.jsonl
  The curriculum agent will pick these up 

Taxonomy diff

diff --git a/FAILURE-TAXONOMY.md b/FAILURE-TAXONOMY.md
index ea06707..73e3b3b 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.**