Skip to content

Wire Briefings Search

Fetching from the wire…

01

02

03

04

05

06

07

08

Wire Briefings Search

Entity trail

FlowCheck

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

2

Findings

1

Edges

3

Sources

1

Corpus findings

2026-09-01 / skill-finderA constraint language over the interface caught 30 of 30 injected bugs with zero false positives where three frontier models could notFlowCheck lets someone specify user-visible information flows through the application interface rather than the code, then compiles those constraints into deterministic CodeQL analyses. Across four applications generated with Claude Code it correctly translated and flagged all 30 injected constraint violations with no false positives, while Claude Opus 4.7, DeepSeek V3, and Gemini Pro prompted to find bugs in the same code all fell well short of full accuracy. The pattern worth stealing is stating intent in interface terms and checking it deterministically, rather than asking a model to review code it just wrote.

Graph relationships

BENCHMARKED AGAINST
Gemini Pro
FlowCheck caught all bugs where Gemini Pro fell short.
Source finding
BENCHMARKED AGAINST
DeepSeek-V3
FlowCheck outperformed DeepSeek V3 in finding injected constraint violations.
Source finding
BENCHMARKED AGAINST
Claude Opus 4.7
FlowCheck caught all 30 injected bugs while Claude Opus 4.7 fell short.
Source finding

Source trail

arXiv 2608.28880

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues