Your browser is the lab.
The checker parses source without running it. Edits and reports stay on this device. No account, upload, content telemetry, or automatic storage. The Python runtime downloads only after activation; analysis can continue offline once initialization finishes.
The runtime has not loaded.
Choose a story
Editable project
Maximum 20 files · 16 KiB per file · 100 KiB total. Python source is data, never executed.
Edit freely. Findings link back to the relevant line. Tab keeps normal keyboard navigation.
The same strict configuration boundary is used by the CLI and browser. Coverage classifications are explicit choices in the ledger; the checker never adds or accepts them for you.
Activate the lab to run this project.
Evidence
A structural connection establishes a supported path in source. It does not prove a branch runs, a task succeeds, or the output is correct. Uncertainty stays visible.
No analysis yet. A recorded result is never substituted for your input.
Graph: source-linked connections
Full JSON report
FIXED COUNTEREXAMPLE
A connection can exist while execution bypasses it.
This example is a fixed release fixture, separate from your edited project. A validator is structurally reachable. The false branch returns without calling it.
def validate():
print("validated")
def main(should_validate):
if should_validate:
validate()
return "published"Structural analysis: main → validate is a supported call path.
Recorded native execution: main(False) returns “published”; captured standard output is empty. Inspect the fixed source, input, execution record, and provenance.
Edited code above is never executed. Sentinels does not claim all-branch, call-order, or runtime correctness.