Source verified
The linked source exists, matches the citation, and supports the attributed statement.
Scientific credibility by design
Trust is a trail,
not a badge.
Every important claim can carry sources, reviewers, decision history, dependencies, and an explicit verification level.
Community reviewed
Multiple contributors have reviewed scope, wording, or reproducibility.
Expert reviewed
A qualified domain reviewer has assessed the claim and recorded their review.
Formally verified
A machine-checked proof artifact passes within its declared formal system and dependency set.
AI summarized
AI assisted the wording; the summary is never treated as an independent source.
Unverified
A new or disputed contribution awaiting review. It remains visible with this state.
Non-negotiable distinction
An AI-generated proof is not a formally verified proof.
Summaries, proof attempts, community reviews, expert judgments, and formal verification are different records. IfSolved preserves those differences through every surface.