StepWise
System architecture / trust boundaries

Language for teaching. Computation for truth.

Every question runs two ways: an ungrounded AI answer you can inspect, and a Wolfram-computed answer that is the source of truth. StepWise compares them and teaches the verified step.

Trust boundaryImplemented
01The displayed result always comes from Wolfram
02Only approved Wolfram tools can execute
03Numeric claims are checked before the explanation shows
04Saved records keep their originating computation
Primary request pipeline
How a question becomes a verified answer
POST /api/ask
1
One question comes in
Worked example used below
What is the derivative of x² sin(x)?
A
Confirmed question

Typed text, or a photo transcription the student reviews first.

B
FastAPI orchestrator

Starts both answer paths and waits for the computed result.

2
The same question runs two ways at once
Path A · AI aloneUntrusted

Gemini answers from memory with no tools. Fluent, confident — and sometimes subtly wrong. It stays on screen so the exact risk is visible, never hidden.

Example claim it might make
2x cos(x)
Path B · ComputedSource of truth
  1. 01
    Intent router

    Sends common math straight to a tool; Gemini only translates unfamiliar phrasing.

  2. 02
    Wolfram computes

    Produces the real result — exact values, numeric values, and the graph.

  3. 03
    Gemini narrates

    Explains the answer using only the values Wolfram returned.

  4. 04
    Number guard

    Rejects any number not traceable to the computation, then shows provenance.

3
StepWise compares the two and teaches the verified step
Symbolic comparison
2x cos(x)2x sin(x) + x² cos(x)

Wolfram checks whether the two answers are equivalent. If they differ, StepWise shows the gap (“caught a mistake”); if they agree, it shows an independent confirmation. Either way, the student learns from the computed result.

Learning and document pipeline
Practice to revision report
01
Choose practice
02
Request hints
03
Wolfram verifies
04
Save locally
05
Export study PDF
Verification contract
Visible in UI
Wolfram computes

Results, exact values, graphs, and symbolic equivalence.

Gemini explains

Natural-language teaching grounded in returned results.

StepWise guards

Unsupported numeric claims fall back to a deterministic computed answer.