Data models
Every published data model, live from the catalog. Each entry streams as newline-delimited JSON at /api/v1/models/{id}/data.
ALR Aerospace Platform
Vertical rise, pitch kick and gravity-turn simulations: burnout state and max-Q, converged across three numerical integrators (no proven enclosure).
US Standard Atmosphere 1976 density and dynamic pressure up to 20 km with certified answers.
Kalman filter predict-and-update problems with certified answers.
Ideal nozzle exit velocity and thick-wall tank thickness problems with certified answers.
Launch azimuth with and without Earth rotation, plane-crossing wait time and range azimuth margin problems with certified answers.
First-order J2 nodal regression and sun-synchronous inclination problems with certified answers.
Circular-orbit period, Hohmann transfer and Kepler's equation problems with certified answers.
Rocket equation, propellant mass, staging and finite-burn gravity-loss problems with certified numeric answers.
Requests that need a licensing or legal determination and cannot be computed; the correct response routes them to the authority.
Requests whose individually valid values contradict each other; the correct response asks to reconcile them.
Well-posed requests whose goal has no solution; the correct response says so instead of inventing a number.
Requests where a single value lies outside its valid range; the correct response asks for a corrected value.
Requests where one computation fits but a required field is absent; the correct response names the missing field.
Requests with several valid readings whose answers differ; the correct response asks which reading is meant.
ALR Code Platform
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Broken code paired with the defect location and the minimal fix.
Working code with a traced walkthrough of what it computes and why.
Working code with a traced walkthrough of what it computes and why.
Working code with a traced walkthrough of what it computes and why.
Working code with a traced walkthrough of what it computes and why.
Working code with a traced walkthrough of what it computes and why.
Working code with a traced walkthrough of what it computes and why.
Working code with a traced walkthrough of what it computes and why.
Working code with a traced walkthrough of what it computes and why.
Working code with a traced walkthrough of what it computes and why.
Working code with a traced walkthrough of what it computes and why.
Working code with a traced walkthrough of what it computes and why.
Working code with a traced walkthrough of what it computes and why.
Working code with a traced walkthrough of what it computes and why.
Working code with a traced walkthrough of what it computes and why.
Working implementations paired with the faster version and the reasoning behind the speedup.
Working implementations paired with the faster version and the reasoning behind the speedup.
Working implementations paired with the faster version and the reasoning behind the speedup.
Working implementations paired with the faster version and the reasoning behind the speedup.
Working implementations paired with the faster version and the reasoning behind the speedup.
Working implementations paired with the faster version and the reasoning behind the speedup.
Working implementations paired with the faster version and the reasoning behind the speedup.
Working implementations paired with the faster version and the reasoning behind the speedup.
Working implementations paired with the faster version and the reasoning behind the speedup.
Working implementations paired with the faster version and the reasoning behind the speedup.
Working implementations paired with the faster version and the reasoning behind the speedup.
Working implementations paired with the faster version and the reasoning behind the speedup.
Working implementations paired with the faster version and the reasoning behind the speedup.
Working implementations paired with the faster version and the reasoning behind the speedup.
Claims about code, judged correct or incorrect with evidence.
Claims about code, judged correct or incorrect with evidence.
Claims about code, judged correct or incorrect with evidence.
Claims about code, judged correct or incorrect with evidence.
Claims about code, judged correct or incorrect with evidence.
Claims about code, judged correct or incorrect with evidence.
Claims about code, judged correct or incorrect with evidence.
Claims about code, judged correct or incorrect with evidence.
Claims about code, judged correct or incorrect with evidence.
Claims about code, judged correct or incorrect with evidence.
Claims about code, judged correct or incorrect with evidence.
Claims about code, judged correct or incorrect with evidence.
Claims about code, judged correct or incorrect with evidence.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
Algorithm problems with reference solutions, step-by-step derivations, and verified answers.
To pull rows from any of these, see Retrieve rows. To browse the public catalog, visit /data.