1[2 {"id":"C1","text":"Closed-form policy c(y) = (1-alpha*beta) y gives c = 0.329, 0.658, 1.316 at y = 0.5, 1, 2; savings rate alpha*beta = 0.342.","results_keys":["c_closed_y05","c_closed_y1","c_closed_y2","savings_rate_closed_form"],"status":"supported","caveat":"Requires log utility, Cobb-Douglas, full depreciation, interior solution."},3 {"id":"C2","text":"VFI on the prescribed 400-point log grid reproduces the closed-form policy at the evaluation points within 0.0064 (about 0.5%).","results_keys":["c_num_y05","c_num_y1","c_num_y2","max_abs_error_policy","grid_points_used"],"status":"supported","caveat":"Discrete choice of y' on the grid; error is discretisation-driven and grows with y."},4 {"id":"C3","text":"VFI value at y=1 (-19.5248) matches the closed form (-19.5244) to about 3.4e-4.","results_keys":["value_num_y1","value_closed_y1"],"status":"supported","caveat":"Gap dominated by discretisation, not by iteration tolerance."},5 {"id":"C4","text":"The Bellman operator is a sup-norm contraction with modulus beta = 0.95 (Blackwell); VFI converged in 361 iterations to a sup change below 1e-8.","results_keys":["contraction_modulus","n_iterations","final_sup_change"],"status":"supported","caveat":"Blackwell applies directly to the bounded discretised problem; unbounded log utility in the continuous problem needs a weighted-norm argument."}6]7