Proof Portal

jsonparser

ProbeLabs36 findings · 123 requirements

Map

Relationships across the system. Architecture view — every component, sized by how many requirements it owns and colored by risk. Solid arrows are interface contracts (who calls whom); dashed arrows show which component's requirements refine another's. Click a component to open its page, or switch to Focus to walk one entity's neighborhood.

Links:interface contract (producer → consumer)refines (child → parent, by link count)

Risk:no findingsCriticalHighMediumLowInfo

Node size = number of requirements · click a component to open its page.

Standalone lane (below) — no traced inter-component links

parser sits in the standalone lane — no traced inter-component links (a proof-coverage statement, not a claim of independence). Risk color and finding counts still apply, so a standalone component can still carry high-severity findings.