Skip to content
winfunc
Hypothesis scans
Available

Turn a security question into a focused investigation.

A hypothesis scan turns a bounded security claim into a focused threat-scan configuration for an authorized repository. Winfunc follows the relevant code and permission paths, records the scan against the submitted question, and returns the resulting evidence without widening into an open-ended audit.

How it works
  1. acme
  2. /billing-api
  3. /Hypothesis scans
Question

Can one tenant read another tenant's invoices?

Explored4 paths · 38 files
Holds3
  • GET /invoicesscoped by tenantIdroutes/invoices.ts:9
  • GET /invoices/:id/pdftenant guard in middlewareroutes/pdf.ts:12
  • POST /invoices/searchfilter includes tenantIdroutes/search.ts:20
Breaks1
GET /invoices/:idLooks the invoice up by id alone. Tenant A read tenant B's invoice.repo/invoices.ts:77Proof attached
Hypothesis scanIllustrative data
The problem

Security work should end in a decision, not another queue.

Some of the most important risks begin as a question about a business rule, permission boundary, or security guarantee—not as a scanner signature.

  1. Security question
  2. evidence trace
  3. supported conclusion
How it works

From scope to an engineering decision.

State the guarantee or concern, provide the relevant repository and application context, identify roles and sensitive flows, and define any environment where scoped testing is permitted.

  1. Scope01

    Translate the question into the code paths and guarantees to inspect

  2. Investigate02

    Trace relevant data, state, roles, and permission checks

  3. Investigate03

    Gather supporting and contradicting evidence

  4. Review04

    Return findings and evidence against the original question with limitations

Deliverables

What your team gets.

  1. 01A relevant code-path trace
  2. 02Evidence for and against the question
  3. 03A conclusion tied to the submitted security question
  • The original hypothesis and the scope used to assess it
  • A trace of the relevant code paths and security assumptions
  • Evidence for and against the hypothesis
  • A result tied back to the original question and repository revision
  • Limitations, open questions, and recommended next steps
Why it matters

Let developers and security teams direct deep analysis at an application-specific concern without widening every question into a full audit.

Measure it

Track investigation turnaround, findings returned per question, engineering time spent gathering context, and questions that require follow-up evidence.

Scope and limits

A hypothesis scan is bounded by the authorized repository, server-owned branch, submitted question, and available evidence. The absence of a reported finding does not prove the security claim is universally true or false.

Start with one repository

Bring us your hardest codebase.
We'll bring the proof.

Scope a first audit with our security engineers. You get findings with traces, reproduction evidence, and patches ready for review.

Scoped with you. Delivered with evidence.