Method

Proofline uses a deterministic pipeline. The browser helps you enter and preview mathematics; the server independently validates the input, solves it, plans an explanation, and verifies the result.

1. Preserve the input

The math field keeps the expression you wrote. A separate interpretation is shown for confirmation before the solve request. The server never treats a browser preview as authoritative.

2. Classify before solving

The server checks the expression against an explicit capability list. Unsupported operators, ambiguous input, invalid domains, and resource limits receive different statuses.

3. Plan human-readable steps

A versioned rule set proposes transformations in a classroom-style order. It is separate from the symbolic engine used to compute and check the answer.

4. Verify independently

Every visible step must carry a verification result. A step that cannot be proven valid is not labelled verified. If verification is inconclusive, the interface withholds the confident answer state.

5. Release one capability at a time

Arithmetic, simplification, linear equations, and basic quadratics have separate quality gates. A capability can be disabled without taking the whole solver offline.