{"args":{"dataset":"grid","post":"post","pre":"income","weights":"weight"},"checks":[{"abs_tol":1e-06,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"reynolds_smolensky","kind":"figure_close","min_lre":null,"note":"","open_interval":false,"rel_tol":null,"required":true,"source_id":null,"table":null,"tool":null,"value":0.07926636025108569,"weight":1.0,"where":null},{"abs_tol":1e-09,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"reranking","kind":"diagnostic","min_lre":null,"note":"","open_interval":false,"rel_tol":null,"required":true,"source_id":null,"table":null,"tool":null,"value":0.0,"weight":1.0,"where":null}],"datasets":{"grid":{"columns":null,"description":"lognormal income, log-SD 0.8, 20,000 points (weighted grid, cells finer in the tails); columns income and weight, post = 4.0552\u00b7income^0.8","file_sha256":null,"format":null,"frame_sha256":null,"generator":"magi_bench.suites.closed_form:lognormal_grid","kind":"generator","licence":null,"member":null,"object":null,"params":{"columns":{"post":[4.055199966844674,0.8]},"mu":7.0,"n":20000,"sigma":0.8,"weighted":true},"path":null,"read_kw":{},"records":null,"role":"agent","sha256":null,"transforms":[],"url":null}},"difficulty":"E","id":"closed_form.reynolds_smolensky.residual_progression","level":"T1","meta":{},"question":"","requires":[],"runner":null,"sources":[],"split":"public","suite":"closed_form","tags":["progressivity","redistribution","lognormal","weights"],"target":"tool","tool":"core.reynolds_smolensky","truth":"income after a schedule of constant residual progression 0.8, post = e^(\u03bc(1 \u2212 0.8))\u00b7income^0.8, is a lognormal with log-SD 0.8\u03c3: RS = 2\u03a6(\u03c3/\u221a2) \u2212 2\u03a6(0.8\u03c3/\u221a2) = 0.0792664, and no one changes places"}