traces.json

{"meta":{"model":"belumind/sbd-sql-0.5b","gpu":"NVIDIA A100-SXM4-80GB","dtype":"bfloat16","block_size":8,"max_new_tokens":64,"prompt_tokens":128,"recorded":"2026-09-06","note":"Real decoder runs, recorded step by step. Not live inference."},"prompts":[{"id":"p0","label":"held-out doc 1","n_tokens":128,"text":"SELECT name, sku, product_id\nFROM products\nWHERE sku = '5778'\n  AND created_at >= DATE '2025-01-01'\nGROUP BY name\nHAVING COUNT(*) > 12\nORDER BY name DESC\nLIMIT 10;\n\nSELECT status, customer_id, shipped_at\nFROM orders\nWHERE order_id = '138'\n  AND created_at >= DATE '2025-01-01'\nGROUP BY status\nHAVING COUNT(*) > 3\nORDER BY status DESC\nLIMIT 100;\n\nSELECT sku, unit_price"},{"id":"p1","label":"held-out doc 2","n_tokens":128,"text":"SELECT segment, full_name, signup_date\nFROM customers\nWHERE customer_id = '1381'\n  AND created_at >= DATE '2025-01-01'\nGROUP BY segment\nHAVING COUNT(*) > 13\nORDER BY segment DESC\nLIMIT 10;\n\nSELECT shipped_at, total_amount, status\nFROM orders\nWHERE customer_id = '4931'\n  AND created_at >= DATE '2025-01-01'\nGROUP BY shipped_at\nHAVING COUNT(*) > 4\nORDER BY shipped_at DESC\nLIMIT 100;\n\n"},{"id":"p2","label":"held-out doc 3","n_tokens":128,"text":"SELECT created_at, status, order_id\nFROM orders\nWHERE order_id = '7612'\n  AND created_at >= DATE '2025-01-01'\nGROUP BY created_at\nHAVING COUNT(*) > 11\nORDER BY created_at DESC\nLIMIT 10;\n\nSELECT unit_price, name, sku\nFROM products\nWHERE sku = '9904'\n  AND created_at >= DATE '2025-01-01'\nGROUP BY unit_price\nHAVING COUNT(*) > 20\nORDER BY unit_price DESC\nLIMIT 100"}],"runs":[{"prompt":"p0","mode":"union","tau":0.5,"tok_per_fwd":1.512,"forwards":43,"committed":65,"rollbacks":13,"accepted":{"ntp":43,"matp":22,"ngram":0},"text":", quantity FROM products WHERE product_id = 1 AND unit_price > 10.00;\nCREATE TABLE products (product_id INT, sku VARCHAR(255), unit_price DECIMAL(10,2), quantity INT); INSERT INTO products (product_id, sku, unit_price, quantity) VALUES (","steps":[{"i":0,"prefix":0,"propose":[{"t":",","src":"ntp"}],"conf":[0.536,0.127,0.209,0.235,0.176,0.124,0.095,0.087],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":1,"prefix":1,"propose":[{"t":" quantity","src":"ntp"}],"conf":[0.356,0.286,0.32,0.228,0.153,0.13,0.113,0.085],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":2,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.487,0.402,0.123,0.144,0.118,0.089,0.063,0.061],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":3,"propose":[{"t":" products","src":"ntp"},{"t":" WHERE","src":"matp"}],"conf":[0.332,0.663,0.488,0.122,0.169,0.155,0.118,0.104],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":4,"prefix":5,"propose":[{"t":" product","src":"ntp"}],"conf":[0.15,0.469,0.554,0.335,0.077,0.087,0.073,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":6,"propose":[{"t":"_id","src":"ntp"},{"t":" =","src":"matp"},{"t":" '","src":"matp"},{"t":" products","src":"ngram"},{"t":"\n","src":"ngram"},{"t":"WHERE","src":"ngram"},{"t":" sku","src":"ngram"},{"t":" =","src":"ngram"}],"conf":[0.331,0.784,0.788,0.088,0.08,0.097,0.059,0.083],"verdict":{"kept":2,"rollback":true,"fix":" "}},{"i":6,"prefix":9,"propose":[{"t":"1","src":"ntp"},{"t":"0","src":"ngram"},{"t":"0","src":"ngram"},{"t":";\n\n","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" sku","src":"ngram"},{"t":",","src":"ngram"},{"t":" unit","src":"ngram"}],"conf":[0.395,0.219,0.204,0.19,0.145,0.177,0.158,0.129],"verdict":{"kept":1,"rollback":true,"fix":" AND"}},{"i":7,"prefix":11,"propose":[{"t":" unit","src":"ntp"}],"conf":[0.223,0.182,0.198,0.297,0.136,0.083,0.077,0.074],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":12,"propose":[{"t":"_price","src":"ntp"},{"t":",","src":"ngram"},{"t":" quantity","src":"ngram"},{"t":" FROM","src":"ngram"},{"t":" products","src":"ngram"},{"t":" WHERE","src":"ngram"},{"t":" product","src":"ngram"},{"t":"_id","src":"ngram"}],"conf":[0.98,0.452,0.324,0.117,0.168,0.102,0.107,0.107],"verdict":{"kept":1,"rollback":true,"fix":" >"}},{"i":9,"prefix":14,"propose":[{"t":" ","src":"ntp"},{"t":"3","src":"ngram"},{"t":"\n","src":"ngram"},{"t":"ORDER","src":"ngram"},{"t":" BY","src":"ngram"},{"t":" status","src":"ngram"},{"t":" DESC","src":"ngram"},{"t":"\n","src":"ngram"}],"conf":[0.946,0.374,0.506,0.431,0.271,0.137,0.118,0.092],"verdict":{"kept":1,"rollback":true,"fix":"1"}},{"i":10,"prefix":16,"propose":[{"t":"0","src":"ntp"},{"t":"0","src":"ngram"},{"t":";\n\n","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" sku","src":"ngram"},{"t":",","src":"ngram"},{"t":" unit","src":"ngram"},{"t":"_price","src":"ngram"}],"conf":[0.764,0.294,0.277,0.122,0.08,0.085,0.064,0.06],"verdict":{"kept":1,"rollback":true,"fix":"."}},{"i":11,"prefix":18,"propose":[{"t":"0","src":"ntp"}],"conf":[0.88,0.341,0.187,0.103,0.102,0.089,0.075,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":12,"prefix":19,"propose":[{"t":"0","src":"ntp"},{"t":";\n\n","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" sku","src":"ngram"},{"t":",","src":"ngram"},{"t":" unit","src":"ngram"},{"t":"_price","src":"ngram"},{"t":",","src":"ngram"}],"conf":[0.28,0.181,0.152,0.065,0.095,0.091,0.072,0.066],"verdict":{"kept":1,"rollback":true,"fix":";\n"}},{"i":13,"prefix":21,"propose":[{"t":"CREATE","src":"ntp"}],"conf":[0.794,0.384,0.218,0.184,0.218,0.21,0.2,0.177],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":14,"prefix":22,"propose":[{"t":" TABLE","src":"ntp"},{"t":" products","src":"matp"},{"t":" (","src":"matp"}],"conf":[0.988,0.848,0.732,0.448,0.139,0.193,0.2,0.18],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":15,"prefix":25,"propose":[{"t":"product","src":"ntp"},{"t":"_id","src":"matp"}],"conf":[0.885,0.535,0.338,0.2,0.163,0.172,0.184,0.136],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":16,"prefix":27,"propose":[{"t":" INT","src":"ntp"},{"t":",","src":"matp"}],"conf":[0.982,0.794,0.153,0.203,0.153,0.15,0.12,0.105],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":17,"prefix":29,"propose":[{"t":" sku","src":"ntp"},{"t":" VARCHAR","src":"matp"},{"t":" product","src":"ngram"},{"t":"_id","src":"ngram"},{"t":"\n","src":"ngram"},{"t":"FROM","src":"ngram"},{"t":" products","src":"ngram"},{"t":"\n","src":"ngram"}],"conf":[0.615,0.58,0.409,0.364,0.186,0.125,0.1,0.099],"verdict":{"kept":2,"rollback":true,"fix":"("}},{"i":18,"prefix":32,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"matp"},{"t":"),","src":"matp"}],"conf":[0.472,0.667,0.804,0.381,0.306,0.279,0.223,0.159],"verdict":{"kept":1,"rollback":true,"fix":"5"}},{"i":19,"prefix":34,"propose":[{"t":"5","src":"ntp"},{"t":"),","src":"matp"}],"conf":[0.996,0.931,0.441,0.431,0.289,0.267,0.188,0.151],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":20,"prefix":36,"propose":[{"t":" unit","src":"ntp"},{"t":"_price","src":"matp"},{"t":"(","src":"matp"}],"conf":[0.878,0.545,0.501,0.359,0.469,0.374,0.225,0.119],"verdict":{"kept":2,"rollback":true,"fix":" DEC"}},{"i":21,"prefix":39,"propose":[{"t":"IMAL","src":"ntp"},{"t":"(","src":"matp"}],"conf":[0.994,0.56,0.223,0.241,0.308,0.26,0.135,0.111],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":22,"prefix":41,"propose":[{"t":"1","src":"ntp"},{"t":",","src":"matp"},{"t":",","src":"matp"}],"conf":[0.39,0.619,0.587,0.196,0.252,0.191,0.178,0.129],"verdict":{"kept":1,"rollback":true,"fix":"0"}},{"i":23,"prefix":43,"propose":[{"t":",","src":"ntp"},{"t":"2","src":"matp"}],"conf":[0.998,0.524,0.312,0.393,0.293,0.272,0.181,0.1],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":24,"prefix":45,"propose":[{"t":"),","src":"ntp"},{"t":" quantity","src":"matp"}],"conf":[0.938,0.92,0.179,0.1,0.161,0.128,0.096,0.111],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":25,"prefix":47,"propose":[{"t":" INT","src":"ntp"},{"t":");","src":"matp"}],"conf":[0.973,0.778,0.347,0.293,0.2,0.173,0.16,0.127],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":26,"prefix":49,"propose":[{"t":" INSERT","src":"ntp"},{"t":" INTO","src":"matp"},{"t":" products","src":"matp"},{"t":" (","src":"matp"}],"conf":[0.886,0.794,0.603,0.603,0.323,0.201,0.286,0.294],"verdict":{"kept":4,"rollback":false,"fix":null}},{"i":27,"prefix":53,"propose":[{"t":"product","src":"ntp"},{"t":"_id","src":"matp"},{"t":" INT","src":"ngram"},{"t":",","src":"ngram"},{"t":" sku","src":"ngram"},{"t":" VARCHAR","src":"ngram"},{"t":"(","src":"ngram"},{"t":"2","src":"ngram"}],"conf":[0.999,0.978,0.493,0.718,0.81,0.537,0.445,0.412],"verdict":{"kept":2,"rollback":true,"fix":","}},{"i":28,"prefix":56,"propose":[{"t":" sku","src":"ntp"},{"t":",","src":"matp"},{"t":",","src":"matp"},{"t":"_price","src":"matp"},{"t":"_price","src":"matp"},{"t":"5","src":"ngram"},{"t":"),","src":"ngram"},{"t":" unit","src":"ngram"}],"conf":[0.997,0.987,0.56,0.736,0.844,0.44,0.478,0.477],"verdict":{"kept":2,"rollback":true,"fix":" unit"}},{"i":29,"prefix":59,"propose":[{"t":"_price","src":"ntp"},{"t":",","src":"matp"},{"t":" quantity","src":"matp"},{"t":")","src":"matp"},{"t":" VALUES","src":"matp"},{"t":" WHERE","src":"ngram"},{"t":" product","src":"ngram"},{"t":"_id","src":"ngram"}],"conf":[1.0,0.952,0.923,0.583,0.656,0.312,0.39,0.316],"verdict":{"kept":5,"rollback":true,"fix":" ("}}]},{"prompt":"p0","mode":"union","tau":0.6,"tok_per_fwd":1.367,"forwards":49,"committed":67,"rollbacks":14,"accepted":{"ntp":48,"matp":19,"ngram":0},"text":", quantity FROM products WHERE product_id = 1 AND unit_price > 10.00;\nCREATE TABLE products (product_id INT, sku VARCHAR(255), unit_price DECIMAL(10,2), quantity INT); INSERT INTO products (product_id, sku, unit_price, quantity) VALUES (1,","steps":[{"i":0,"prefix":0,"propose":[{"t":",","src":"ntp"}],"conf":[0.536,0.127,0.209,0.235,0.176,0.124,0.095,0.087],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":1,"prefix":1,"propose":[{"t":" quantity","src":"ntp"}],"conf":[0.356,0.286,0.32,0.228,0.153,0.13,0.113,0.085],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":2,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.487,0.402,0.123,0.144,0.118,0.089,0.063,0.061],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":3,"propose":[{"t":" products","src":"ntp"},{"t":" WHERE","src":"matp"}],"conf":[0.332,0.663,0.488,0.122,0.169,0.155,0.118,0.104],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":4,"prefix":5,"propose":[{"t":" product","src":"ntp"}],"conf":[0.15,0.469,0.554,0.335,0.077,0.087,0.073,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":6,"propose":[{"t":"_id","src":"ntp"},{"t":" =","src":"matp"},{"t":" '","src":"matp"},{"t":" products","src":"ngram"},{"t":"\n","src":"ngram"},{"t":"WHERE","src":"ngram"},{"t":" sku","src":"ngram"},{"t":" =","src":"ngram"}],"conf":[0.331,0.784,0.788,0.088,0.08,0.097,0.059,0.083],"verdict":{"kept":2,"rollback":true,"fix":" "}},{"i":6,"prefix":9,"propose":[{"t":"1","src":"ntp"},{"t":"0","src":"ngram"},{"t":"0","src":"ngram"},{"t":";\n\n","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" sku","src":"ngram"},{"t":",","src":"ngram"},{"t":" unit","src":"ngram"}],"conf":[0.395,0.219,0.204,0.19,0.145,0.177,0.158,0.129],"verdict":{"kept":1,"rollback":true,"fix":" AND"}},{"i":7,"prefix":11,"propose":[{"t":" unit","src":"ntp"}],"conf":[0.223,0.182,0.198,0.297,0.136,0.083,0.077,0.074],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":12,"propose":[{"t":"_price","src":"ntp"},{"t":",","src":"ngram"},{"t":" quantity","src":"ngram"},{"t":" FROM","src":"ngram"},{"t":" products","src":"ngram"},{"t":" WHERE","src":"ngram"},{"t":" product","src":"ngram"},{"t":"_id","src":"ngram"}],"conf":[0.98,0.452,0.324,0.117,0.168,0.102,0.107,0.107],"verdict":{"kept":1,"rollback":true,"fix":" >"}},{"i":9,"prefix":14,"propose":[{"t":" ","src":"ntp"},{"t":"3","src":"ngram"},{"t":"\n","src":"ngram"},{"t":"ORDER","src":"ngram"},{"t":" BY","src":"ngram"},{"t":" status","src":"ngram"},{"t":" DESC","src":"ngram"},{"t":"\n","src":"ngram"}],"conf":[0.946,0.374,0.506,0.431,0.271,0.137,0.118,0.092],"verdict":{"kept":1,"rollback":true,"fix":"1"}},{"i":10,"prefix":16,"propose":[{"t":"0","src":"ntp"},{"t":"0","src":"ngram"},{"t":";\n\n","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" sku","src":"ngram"},{"t":",","src":"ngram"},{"t":" unit","src":"ngram"},{"t":"_price","src":"ngram"}],"conf":[0.764,0.294,0.277,0.122,0.08,0.085,0.064,0.06],"verdict":{"kept":1,"rollback":true,"fix":"."}},{"i":11,"prefix":18,"propose":[{"t":"0","src":"ntp"}],"conf":[0.88,0.341,0.187,0.103,0.102,0.089,0.075,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":12,"prefix":19,"propose":[{"t":"0","src":"ntp"},{"t":";\n\n","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" sku","src":"ngram"},{"t":",","src":"ngram"},{"t":" unit","src":"ngram"},{"t":"_price","src":"ngram"},{"t":",","src":"ngram"}],"conf":[0.28,0.181,0.152,0.065,0.095,0.091,0.072,0.066],"verdict":{"kept":1,"rollback":true,"fix":";\n"}},{"i":13,"prefix":21,"propose":[{"t":"CREATE","src":"ntp"}],"conf":[0.794,0.384,0.218,0.184,0.218,0.21,0.2,0.177],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":14,"prefix":22,"propose":[{"t":" TABLE","src":"ntp"},{"t":" products","src":"matp"},{"t":" (","src":"matp"}],"conf":[0.988,0.848,0.732,0.448,0.139,0.193,0.2,0.18],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":15,"prefix":25,"propose":[{"t":"product","src":"ntp"}],"conf":[0.885,0.535,0.338,0.2,0.163,0.172,0.184,0.136],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":16,"prefix":26,"propose":[{"t":"_id","src":"ntp"},{"t":" INT","src":"matp"}],"conf":[0.997,0.839,0.3,0.157,0.163,0.164,0.134,0.118],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":17,"prefix":28,"propose":[{"t":",","src":"ntp"}],"conf":[0.946,0.285,0.559,0.37,0.402,0.209,0.156,0.103],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":18,"prefix":29,"propose":[{"t":" sku","src":"ntp"},{"t":",","src":"ngram"},{"t":" product","src":"ngram"},{"t":"_id","src":"ngram"},{"t":"\n","src":"ngram"},{"t":"FROM","src":"ngram"},{"t":" products","src":"ngram"},{"t":"\n","src":"ngram"}],"conf":[0.615,0.58,0.409,0.364,0.186,0.125,0.1,0.099],"verdict":{"kept":1,"rollback":true,"fix":" VARCHAR"}},{"i":19,"prefix":31,"propose":[{"t":"(","src":"ntp"}],"conf":[0.999,0.5,0.717,0.41,0.178,0.214,0.134,0.119],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":20,"prefix":32,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"matp"},{"t":"),","src":"matp"}],"conf":[0.472,0.667,0.804,0.381,0.306,0.279,0.223,0.159],"verdict":{"kept":1,"rollback":true,"fix":"5"}},{"i":21,"prefix":34,"propose":[{"t":"5","src":"ntp"},{"t":"),","src":"matp"}],"conf":[0.996,0.931,0.441,0.431,0.289,0.267,0.188,0.151],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":22,"prefix":36,"propose":[{"t":" unit","src":"ntp"}],"conf":[0.878,0.545,0.501,0.359,0.469,0.374,0.225,0.119],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":23,"prefix":37,"propose":[{"t":"_price","src":"ntp"},{"t":" >","src":"ngram"},{"t":" ","src":"ngram"},{"t":"1","src":"ngram"},{"t":"0","src":"ngram"},{"t":".","src":"ngram"},{"t":"0","src":"ngram"},{"t":"0","src":"ngram"}],"conf":[0.999,0.405,0.382,0.353,0.298,0.193,0.122,0.121],"verdict":{"kept":1,"rollback":true,"fix":" DEC"}},{"i":24,"prefix":39,"propose":[{"t":"IMAL","src":"ntp"}],"conf":[0.994,0.56,0.223,0.241,0.308,0.26,0.135,0.111],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":25,"prefix":40,"propose":[{"t":"(","src":"ntp"},{"t":"2","src":"matp"}],"conf":[0.998,0.609,0.327,0.277,0.29,0.212,0.152,0.121],"verdict":{"kept":1,"rollback":true,"fix":"1"}},{"i":26,"prefix":42,"propose":[{"t":"0","src":"ntp"},{"t":",","src":"matp"},{"t":"0","src":"ngram"},{"t":"0","src":"ngram"},{"t":";\n","src":"ngram"},{"t":"CREATE","src":"ngram"},{"t":" TABLE","src":"ngram"},{"t":" products","src":"ngram"}],"conf":[0.966,0.708,0.508,0.29,0.244,0.21,0.158,0.104],"verdict":{"kept":2,"rollback":true,"fix":"2"}},{"i":27,"prefix":45,"propose":[{"t":"),","src":"ntp"},{"t":" quantity","src":"matp"}],"conf":[0.938,0.92,0.179,0.1,0.161,0.128,0.096,0.111],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":28,"prefix":47,"propose":[{"t":" INT","src":"ntp"},{"t":");","src":"matp"}],"conf":[0.973,0.778,0.347,0.293,0.2,0.173,0.16,0.127],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":29,"prefix":49,"propose":[{"t":" INSERT","src":"ntp"},{"t":" INTO","src":"matp"},{"t":" products","src":"matp"},{"t":" (","src":"matp"}],"conf":[0.886,0.794,0.603,0.603,0.323,0.201,0.286,0.294],"verdict":{"kept":4,"rollback":false,"fix":null}},{"i":30,"prefix":53,"propose":[{"t":"product","src":"ntp"},{"t":"_id","src":"matp"},{"t":" INT","src":"ngram"},{"t":",","src":"ngram"},{"t":" sku","src":"ngram"},{"t":" VARCHAR","src":"ngram"},{"t":"(","src":"ngram"},{"t":"2","src":"ngram"}],"conf":[0.999,0.978,0.493,0.718,0.81,0.537,0.445,0.412],"verdict":{"kept":2,"rollback":true,"fix":","}},{"i":31,"prefix":56,"propose":[{"t":" sku","src":"ntp"},{"t":",","src":"matp"},{"t":"(","src":"ngram"},{"t":"2","src":"ngram"},{"t":"5","src":"ngram"},{"t":"5","src":"ngram"},{"t":"),","src":"ngram"},{"t":" unit","src":"ngram"}],"conf":[0.997,0.987,0.56,0.736,0.844,0.44,0.478,0.477],"verdict":{"kept":2,"rollback":true,"fix":" unit"}},{"i":32,"prefix":59,"propose":[{"t":"_price","src":"ntp"},{"t":",","src":"matp"},{"t":" quantity","src":"matp"},{"t":" FROM","src":"ngram"},{"t":" products","src":"ngram"},{"t":" WHERE","src":"ngram"},{"t":" product","src":"ngram"},{"t":"_id","src":"ngram"}],"conf":[1.0,0.952,0.923,0.583,0.656,0.312,0.39,0.316],"verdict":{"kept":3,"rollback":true,"fix":")"}},{"i":33,"prefix":63,"propose":[{"t":" VALUES","src":"ntp"},{"t":" (","src":"matp"},{"t":"1","src":"matp"},{"t":",","src":"matp"}],"conf":[1.0,0.997,0.918,0.902,0.408,0.246,0.157,0.133],"verdict":{"kept":4,"rollback":false,"fix":null}}]},{"prompt":"p0","mode":"union","tau":0.9,"tok_per_fwd":1.155,"forwards":58,"committed":67,"rollbacks":13,"accepted":{"ntp":57,"matp":10,"ngram":0},"text":", quantity FROM products WHERE product_id = 1 AND unit_price > 10.00;\nCREATE TABLE products (product_id INT, sku VARCHAR(255), unit_price DECIMAL(10,2), quantity INT); INSERT INTO products (product_id, sku, unit_price, quantity) VALUES (1,","steps":[{"i":0,"prefix":0,"propose":[{"t":",","src":"ntp"}],"conf":[0.536,0.127,0.209,0.235,0.176,0.124,0.095,0.087],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":1,"prefix":1,"propose":[{"t":" quantity","src":"ntp"}],"conf":[0.356,0.286,0.32,0.228,0.153,0.13,0.113,0.085],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":2,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.487,0.402,0.123,0.144,0.118,0.089,0.063,0.061],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":3,"propose":[{"t":" products","src":"ntp"}],"conf":[0.332,0.663,0.488,0.122,0.169,0.155,0.118,0.104],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":4,"propose":[{"t":" WHERE","src":"ntp"}],"conf":[0.783,0.208,0.164,0.197,0.164,0.123,0.095,0.079],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":5,"propose":[{"t":" product","src":"ntp"}],"conf":[0.15,0.469,0.554,0.335,0.077,0.087,0.073,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":6,"prefix":6,"propose":[{"t":"_id","src":"ntp"},{"t":"\n","src":"ngram"},{"t":"FROM","src":"ngram"},{"t":" products","src":"ngram"},{"t":"\n","src":"ngram"},{"t":"WHERE","src":"ngram"},{"t":" sku","src":"ngram"},{"t":" =","src":"ngram"}],"conf":[0.331,0.784,0.788,0.088,0.08,0.097,0.059,0.083],"verdict":{"kept":1,"rollback":true,"fix":" ="}},{"i":7,"prefix":8,"propose":[{"t":" ","src":"ntp"}],"conf":[0.64,0.383,0.159,0.164,0.14,0.111,0.107,0.098],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":9,"propose":[{"t":"1","src":"ntp"},{"t":"0","src":"ngram"},{"t":"0","src":"ngram"},{"t":";\n\n","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" sku","src":"ngram"},{"t":",","src":"ngram"},{"t":" unit","src":"ngram"}],"conf":[0.395,0.219,0.204,0.19,0.145,0.177,0.158,0.129],"verdict":{"kept":1,"rollback":true,"fix":" AND"}},{"i":9,"prefix":11,"propose":[{"t":" unit","src":"ntp"}],"conf":[0.223,0.182,0.198,0.297,0.136,0.083,0.077,0.074],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":10,"prefix":12,"propose":[{"t":"_price","src":"ntp"},{"t":",","src":"ngram"},{"t":" quantity","src":"ngram"},{"t":" FROM","src":"ngram"},{"t":" products","src":"ngram"},{"t":" WHERE","src":"ngram"},{"t":" product","src":"ngram"},{"t":"_id","src":"ngram"}],"conf":[0.98,0.452,0.324,0.117,0.168,0.102,0.107,0.107],"verdict":{"kept":1,"rollback":true,"fix":" >"}},{"i":11,"prefix":14,"propose":[{"t":" ","src":"ntp"},{"t":"3","src":"ngram"},{"t":"\n","src":"ngram"},{"t":"ORDER","src":"ngram"},{"t":" BY","src":"ngram"},{"t":" status","src":"ngram"},{"t":" DESC","src":"ngram"},{"t":"\n","src":"ngram"}],"conf":[0.946,0.374,0.506,0.431,0.271,0.137,0.118,0.092],"verdict":{"kept":1,"rollback":true,"fix":"1"}},{"i":12,"prefix":16,"propose":[{"t":"0","src":"ntp"},{"t":"0","src":"ngram"},{"t":";\n\n","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" sku","src":"ngram"},{"t":",","src":"ngram"},{"t":" unit","src":"ngram"},{"t":"_price","src":"ngram"}],"conf":[0.764,0.294,0.277,0.122,0.08,0.085,0.064,0.06],"verdict":{"kept":1,"rollback":true,"fix":"."}},{"i":13,"prefix":18,"propose":[{"t":"0","src":"ntp"}],"conf":[0.88,0.341,0.187,0.103,0.102,0.089,0.075,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":14,"prefix":19,"propose":[{"t":"0","src":"ntp"},{"t":";\n\n","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" sku","src":"ngram"},{"t":",","src":"ngram"},{"t":" unit","src":"ngram"},{"t":"_price","src":"ngram"},{"t":",","src":"ngram"}],"conf":[0.28,0.181,0.152,0.065,0.095,0.091,0.072,0.066],"verdict":{"kept":1,"rollback":true,"fix":";\n"}},{"i":15,"prefix":21,"propose":[{"t":"CREATE","src":"ntp"}],"conf":[0.794,0.384,0.218,0.184,0.218,0.21,0.2,0.177],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":16,"prefix":22,"propose":[{"t":" TABLE","src":"ntp"}],"conf":[0.988,0.848,0.732,0.448,0.139,0.193,0.2,0.18],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":17,"prefix":23,"propose":[{"t":" products","src":"ntp"}],"conf":[0.942,0.782,0.313,0.418,0.395,0.26,0.195,0.156],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":18,"prefix":24,"propose":[{"t":" (","src":"ntp"}],"conf":[0.959,0.466,0.506,0.404,0.275,0.269,0.208,0.175],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":19,"prefix":25,"propose":[{"t":"product","src":"ntp"}],"conf":[0.885,0.535,0.338,0.2,0.163,0.172,0.184,0.136],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":20,"prefix":26,"propose":[{"t":"_id","src":"ntp"}],"conf":[0.997,0.839,0.3,0.157,0.163,0.164,0.134,0.118],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":21,"prefix":27,"propose":[{"t":" INT","src":"ntp"}],"conf":[0.982,0.794,0.153,0.203,0.153,0.15,0.12,0.105],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":22,"prefix":28,"propose":[{"t":",","src":"ntp"}],"conf":[0.946,0.285,0.559,0.37,0.402,0.209,0.156,0.103],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":23,"prefix":29,"propose":[{"t":" sku","src":"ntp"},{"t":",","src":"ngram"},{"t":" product","src":"ngram"},{"t":"_id","src":"ngram"},{"t":"\n","src":"ngram"},{"t":"FROM","src":"ngram"},{"t":" products","src":"ngram"},{"t":"\n","src":"ngram"}],"conf":[0.615,0.58,0.409,0.364,0.186,0.125,0.1,0.099],"verdict":{"kept":1,"rollback":true,"fix":" VARCHAR"}},{"i":24,"prefix":31,"propose":[{"t":"(","src":"ntp"}],"conf":[0.999,0.5,0.717,0.41,0.178,0.214,0.134,0.119],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":25,"prefix":32,"propose":[{"t":"2","src":"ntp"}],"conf":[0.472,0.667,0.804,0.381,0.306,0.279,0.223,0.159],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":26,"prefix":33,"propose":[{"t":"5","src":"ntp"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"'\n","src":"ngram"}],"conf":[0.528,0.751,0.787,0.323,0.287,0.253,0.188,0.148],"verdict":{"kept":1,"rollback":true,"fix":"5"}},{"i":27,"prefix":35,"propose":[{"t":"),","src":"ntp"}],"conf":[0.998,0.829,0.603,0.268,0.413,0.253,0.244,0.152],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":28,"prefix":36,"propose":[{"t":" unit","src":"ntp"}],"conf":[0.878,0.545,0.501,0.359,0.469,0.374,0.225,0.119],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":29,"prefix":37,"propose":[{"t":"_price","src":"ntp"},{"t":" >","src":"ngram"},{"t":" ","src":"ngram"},{"t":"1","src":"ngram"},{"t":"0","src":"ngram"},{"t":".","src":"ngram"},{"t":"0","src":"ngram"},{"t":"0","src":"ngram"}],"conf":[0.999,0.405,0.382,0.353,0.298,0.193,0.122,0.121],"verdict":{"kept":1,"rollback":true,"fix":" DEC"}},{"i":30,"prefix":39,"propose":[{"t":"IMAL","src":"ntp"}],"conf":[0.994,0.56,0.223,0.241,0.308,0.26,0.135,0.111],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":31,"prefix":40,"propose":[{"t":"(","src":"ntp"}],"conf":[0.998,0.609,0.327,0.277,0.29,0.212,0.152,0.121],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":32,"prefix":41,"propose":[{"t":"1","src":"ntp"}],"conf":[0.39,0.619,0.587,0.196,0.252,0.191,0.178,0.129],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":33,"prefix":42,"propose":[{"t":"0","src":"ntp"},{"t":".","src":"ngram"},{"t":"0","src":"ngram"},{"t":"0","src":"ngram"},{"t":";\n","src":"ngram"},{"t":"CREATE","src":"ngram"},{"t":" TABLE","src":"ngram"},{"t":" products","src":"ngram"}],"conf":[0.966,0.708,0.508,0.29,0.244,0.21,0.158,0.104],"verdict":{"kept":1,"rollback":true,"fix":","}},{"i":34,"prefix":44,"propose":[{"t":"2","src":"ntp"}],"conf":[0.591,0.696,0.653,0.15,0.089,0.124,0.148,0.115],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":35,"prefix":45,"propose":[{"t":"),","src":"ntp"},{"t":" quantity","src":"matp"}],"conf":[0.938,0.92,0.179,0.1,0.161,0.128,0.096,0.111],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":36,"prefix":47,"propose":[{"t":" INT","src":"ntp"}],"conf":[0.973,0.778,0.347,0.293,0.2,0.173,0.16,0.127],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":37,"prefix":48,"propose":[{"t":");","src":"ntp"}],"conf":[0.908,0.646,0.49,0.294,0.34,0.193,0.122,0.138],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":38,"prefix":49,"propose":[{"t":" INSERT","src":"ntp"}],"conf":[0.886,0.794,0.603,0.603,0.323,0.201,0.286,0.294],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":39,"prefix":50,"propose":[{"t":" INTO","src":"ntp"},{"t":" products","src":"matp"},{"t":" (","src":"matp"}],"conf":[1.0,0.986,0.932,0.843,0.664,0.469,0.608,0.668],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":40,"prefix":53,"propose":[{"t":"product","src":"ntp"},{"t":"_id","src":"matp"},{"t":" INT","src":"ngram"},{"t":",","src":"ngram"},{"t":" sku","src":"ngram"},{"t":" VARCHAR","src":"ngram"},{"t":"(","src":"ngram"},{"t":"2","src":"ngram"}],"conf":[0.999,0.978,0.493,0.718,0.81,0.537,0.445,0.412],"verdict":{"kept":2,"rollback":true,"fix":","}},{"i":41,"prefix":56,"propose":[{"t":" sku","src":"ntp"},{"t":",","src":"matp"},{"t":"(","src":"ngram"},{"t":"2","src":"ngram"},{"t":"5","src":"ngram"},{"t":"5","src":"ngram"},{"t":"),","src":"ngram"},{"t":" unit","src":"ngram"}],"conf":[0.997,0.987,0.56,0.736,0.844,0.44,0.478,0.477],"verdict":{"kept":2,"rollback":true,"fix":" unit"}},{"i":42,"prefix":59,"propose":[{"t":"_price","src":"ntp"},{"t":",","src":"matp"},{"t":" quantity","src":"matp"},{"t":" FROM","src":"ngram"},{"t":" products","src":"ngram"},{"t":" WHERE","src":"ngram"},{"t":" product","src":"ngram"},{"t":"_id","src":"ngram"}],"conf":[1.0,0.952,0.923,0.583,0.656,0.312,0.39,0.316],"verdict":{"kept":3,"rollback":true,"fix":")"}},{"i":43,"prefix":63,"propose":[{"t":" VALUES","src":"ntp"},{"t":" (","src":"matp"},{"t":"1","src":"matp"},{"t":",","src":"matp"}],"conf":[1.0,0.997,0.918,0.902,0.408,0.246,0.157,0.133],"verdict":{"kept":4,"rollback":false,"fix":null}}]},{"prompt":"p0","mode":"matp","tau":0.5,"tok_per_fwd":1.561,"forwards":41,"committed":64,"rollbacks":5,"accepted":{"ntp":40,"matp":24,"ngram":0},"text":", quantity FROM products WHERE product_id = 1 AND unit_price > 10.00;\nCREATE TABLE products (product_id INT, sku VARCHAR(255), unit_price DECIMAL(10,2), quantity INT); INSERT INTO products (product_id, sku, unit_price, quantity) VALUES","steps":[{"i":0,"prefix":0,"propose":[{"t":",","src":"ntp"}],"conf":[0.536,0.127,0.209,0.235,0.176,0.124,0.095,0.087],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":1,"prefix":1,"propose":[{"t":" quantity","src":"ntp"}],"conf":[0.356,0.286,0.32,0.228,0.153,0.13,0.113,0.085],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":2,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.487,0.402,0.123,0.144,0.118,0.089,0.063,0.061],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":3,"propose":[{"t":" products","src":"ntp"},{"t":" WHERE","src":"matp"}],"conf":[0.332,0.663,0.488,0.122,0.169,0.155,0.118,0.104],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":4,"prefix":5,"propose":[{"t":" product","src":"ntp"}],"conf":[0.15,0.469,0.554,0.335,0.077,0.087,0.073,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":6,"propose":[{"t":"_id","src":"ntp"},{"t":" =","src":"matp"},{"t":" '","src":"matp"}],"conf":[0.331,0.784,0.788,0.088,0.08,0.097,0.059,0.083],"verdict":{"kept":2,"rollback":true,"fix":" "}},{"i":6,"prefix":9,"propose":[{"t":"1","src":"ntp"}],"conf":[0.395,0.219,0.204,0.19,0.145,0.177,0.158,0.129],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":7,"prefix":10,"propose":[{"t":" AND","src":"ntp"}],"conf":[0.33,0.205,0.191,0.15,0.185,0.145,0.109,0.086],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":11,"propose":[{"t":" unit","src":"ntp"}],"conf":[0.223,0.182,0.198,0.297,0.136,0.083,0.077,0.074],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":9,"prefix":12,"propose":[{"t":"_price","src":"ntp"}],"conf":[0.98,0.452,0.324,0.117,0.168,0.102,0.107,0.107],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":10,"prefix":13,"propose":[{"t":" >","src":"ntp"},{"t":" ","src":"matp"}],"conf":[0.397,0.832,0.237,0.453,0.302,0.138,0.106,0.105],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":11,"prefix":15,"propose":[{"t":"1","src":"ntp"}],"conf":[0.338,0.423,0.523,0.322,0.152,0.113,0.108,0.083],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":12,"prefix":16,"propose":[{"t":"0","src":"ntp"}],"conf":[0.764,0.294,0.277,0.122,0.08,0.085,0.064,0.06],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":13,"prefix":17,"propose":[{"t":".","src":"ntp"}],"conf":[0.487,0.221,0.195,0.094,0.099,0.081,0.065,0.066],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":14,"prefix":18,"propose":[{"t":"0","src":"ntp"}],"conf":[0.88,0.341,0.187,0.103,0.102,0.089,0.075,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":15,"prefix":19,"propose":[{"t":"0","src":"ntp"}],"conf":[0.28,0.181,0.152,0.065,0.095,0.091,0.072,0.066],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":16,"prefix":20,"propose":[{"t":";\n","src":"ntp"}],"conf":[0.412,0.308,0.094,0.062,0.091,0.082,0.057,0.071],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":17,"prefix":21,"propose":[{"t":"CREATE","src":"ntp"}],"conf":[0.794,0.384,0.218,0.184,0.218,0.21,0.2,0.177],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":18,"prefix":22,"propose":[{"t":" TABLE","src":"ntp"},{"t":" products","src":"matp"},{"t":" (","src":"matp"}],"conf":[0.988,0.848,0.732,0.448,0.139,0.193,0.2,0.18],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":19,"prefix":25,"propose":[{"t":"product","src":"ntp"},{"t":"_id","src":"matp"}],"conf":[0.885,0.535,0.338,0.2,0.163,0.172,0.184,0.136],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":20,"prefix":27,"propose":[{"t":" INT","src":"ntp"},{"t":",","src":"matp"}],"conf":[0.982,0.794,0.153,0.203,0.153,0.15,0.12,0.105],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":21,"prefix":29,"propose":[{"t":" sku","src":"ntp"},{"t":" VARCHAR","src":"matp"}],"conf":[0.615,0.58,0.409,0.364,0.186,0.125,0.1,0.099],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":22,"prefix":31,"propose":[{"t":"(","src":"ntp"}],"conf":[0.999,0.5,0.717,0.41,0.178,0.214,0.134,0.119],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":23,"prefix":32,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"matp"},{"t":"),","src":"matp"}],"conf":[0.472,0.667,0.804,0.381,0.306,0.279,0.223,0.159],"verdict":{"kept":1,"rollback":true,"fix":"5"}},{"i":24,"prefix":34,"propose":[{"t":"5","src":"ntp"},{"t":"),","src":"matp"}],"conf":[0.996,0.931,0.441,0.431,0.289,0.267,0.188,0.151],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":25,"prefix":36,"propose":[{"t":" unit","src":"ntp"},{"t":"_price","src":"matp"},{"t":"(","src":"matp"}],"conf":[0.878,0.545,0.501,0.359,0.469,0.374,0.225,0.119],"verdict":{"kept":2,"rollback":true,"fix":" DEC"}},{"i":26,"prefix":39,"propose":[{"t":"IMAL","src":"ntp"},{"t":"(","src":"matp"}],"conf":[0.994,0.56,0.223,0.241,0.308,0.26,0.135,0.111],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":27,"prefix":41,"propose":[{"t":"1","src":"ntp"},{"t":",","src":"matp"},{"t":",","src":"matp"}],"conf":[0.39,0.619,0.587,0.196,0.252,0.191,0.178,0.129],"verdict":{"kept":1,"rollback":true,"fix":"0"}},{"i":28,"prefix":43,"propose":[{"t":",","src":"ntp"},{"t":"2","src":"matp"}],"conf":[0.998,0.524,0.312,0.393,0.293,0.272,0.181,0.1],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":29,"prefix":45,"propose":[{"t":"),","src":"ntp"},{"t":" quantity","src":"matp"}],"conf":[0.938,0.92,0.179,0.1,0.161,0.128,0.096,0.111],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":30,"prefix":47,"propose":[{"t":" INT","src":"ntp"},{"t":");","src":"matp"}],"conf":[0.973,0.778,0.347,0.293,0.2,0.173,0.16,0.127],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":31,"prefix":49,"propose":[{"t":" INSERT","src":"ntp"},{"t":" INTO","src":"matp"},{"t":" products","src":"matp"},{"t":" (","src":"matp"}],"conf":[0.886,0.794,0.603,0.603,0.323,0.201,0.286,0.294],"verdict":{"kept":4,"rollback":false,"fix":null}},{"i":32,"prefix":53,"propose":[{"t":"product","src":"ntp"},{"t":"_id","src":"matp"}],"conf":[0.999,0.978,0.493,0.718,0.81,0.537,0.445,0.412],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":33,"prefix":55,"propose":[{"t":",","src":"ntp"},{"t":" sku","src":"matp"},{"t":",","src":"matp"},{"t":",","src":"matp"}],"conf":[1.0,0.971,0.972,0.714,0.415,0.544,0.661,0.47],"verdict":{"kept":3,"rollback":true,"fix":" unit"}},{"i":34,"prefix":59,"propose":[{"t":"_price","src":"ntp"},{"t":",","src":"matp"},{"t":" quantity","src":"matp"},{"t":")","src":"matp"},{"t":" VALUES","src":"matp"}],"conf":[1.0,0.952,0.923,0.583,0.656,0.312,0.39,0.316],"verdict":{"kept":5,"rollback":false,"fix":null}}]},{"prompt":"p0","mode":"ngram","tau":0.9,"tok_per_fwd":1.067,"forwards":60,"committed":64,"rollbacks":13,"accepted":{"ntp":59,"matp":0,"ngram":5},"text":", quantity FROM products WHERE product_id = 1 AND unit_price > 10.00;\nCREATE TABLE products (product_id INT, sku VARCHAR(255), unit_price DECIMAL(10,2), quantity INT); INSERT INTO products (product_id, sku, unit_price, quantity) VALUES","steps":[{"i":0,"prefix":0,"propose":[{"t":",","src":"ntp"}],"conf":[0.536,0.127,0.209,0.235,0.176,0.124,0.095,0.087],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":1,"prefix":1,"propose":[{"t":" quantity","src":"ntp"}],"conf":[0.356,0.286,0.32,0.228,0.153,0.13,0.113,0.085],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":2,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.487,0.402,0.123,0.144,0.118,0.089,0.063,0.061],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":3,"propose":[{"t":" products","src":"ntp"}],"conf":[0.332,0.663,0.488,0.122,0.169,0.155,0.118,0.104],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":4,"propose":[{"t":" WHERE","src":"ntp"}],"conf":[0.783,0.208,0.164,0.197,0.164,0.123,0.095,0.079],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":5,"propose":[{"t":" product","src":"ntp"}],"conf":[0.15,0.469,0.554,0.335,0.077,0.087,0.073,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":6,"prefix":6,"propose":[{"t":"_id","src":"ntp"},{"t":"\n","src":"ngram"},{"t":"FROM","src":"ngram"},{"t":" products","src":"ngram"},{"t":"\n","src":"ngram"},{"t":"WHERE","src":"ngram"},{"t":" sku","src":"ngram"},{"t":" =","src":"ngram"}],"conf":[0.331,0.784,0.788,0.088,0.08,0.097,0.059,0.083],"verdict":{"kept":1,"rollback":true,"fix":" ="}},{"i":7,"prefix":8,"propose":[{"t":" ","src":"ntp"}],"conf":[0.64,0.383,0.159,0.164,0.14,0.111,0.107,0.098],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":9,"propose":[{"t":"1","src":"ntp"},{"t":"0","src":"ngram"},{"t":"0","src":"ngram"},{"t":";\n\n","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" sku","src":"ngram"},{"t":",","src":"ngram"},{"t":" unit","src":"ngram"}],"conf":[0.395,0.219,0.204,0.19,0.145,0.177,0.158,0.129],"verdict":{"kept":1,"rollback":true,"fix":" AND"}},{"i":9,"prefix":11,"propose":[{"t":" unit","src":"ntp"}],"conf":[0.223,0.182,0.198,0.297,0.136,0.083,0.077,0.074],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":10,"prefix":12,"propose":[{"t":"_price","src":"ntp"},{"t":",","src":"ngram"},{"t":" quantity","src":"ngram"},{"t":" FROM","src":"ngram"},{"t":" products","src":"ngram"},{"t":" WHERE","src":"ngram"},{"t":" product","src":"ngram"},{"t":"_id","src":"ngram"}],"conf":[0.98,0.452,0.324,0.117,0.168,0.102,0.107,0.107],"verdict":{"kept":1,"rollback":true,"fix":" >"}},{"i":11,"prefix":14,"propose":[{"t":" ","src":"ntp"},{"t":"3","src":"ngram"},{"t":"\n","src":"ngram"},{"t":"ORDER","src":"ngram"},{"t":" BY","src":"ngram"},{"t":" status","src":"ngram"},{"t":" DESC","src":"ngram"},{"t":"\n","src":"ngram"}],"conf":[0.946,0.374,0.506,0.431,0.271,0.137,0.118,0.092],"verdict":{"kept":1,"rollback":true,"fix":"1"}},{"i":12,"prefix":16,"propose":[{"t":"0","src":"ntp"},{"t":"0","src":"ngram"},{"t":";\n\n","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" sku","src":"ngram"},{"t":",","src":"ngram"},{"t":" unit","src":"ngram"},{"t":"_price","src":"ngram"}],"conf":[0.764,0.294,0.277,0.122,0.08,0.085,0.064,0.06],"verdict":{"kept":1,"rollback":true,"fix":"."}},{"i":13,"prefix":18,"propose":[{"t":"0","src":"ntp"}],"conf":[0.88,0.341,0.187,0.103,0.102,0.089,0.075,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":14,"prefix":19,"propose":[{"t":"0","src":"ntp"},{"t":";\n\n","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" sku","src":"ngram"},{"t":",","src":"ngram"},{"t":" unit","src":"ngram"},{"t":"_price","src":"ngram"},{"t":",","src":"ngram"}],"conf":[0.28,0.181,0.152,0.065,0.095,0.091,0.072,0.066],"verdict":{"kept":1,"rollback":true,"fix":";\n"}},{"i":15,"prefix":21,"propose":[{"t":"CREATE","src":"ntp"}],"conf":[0.794,0.384,0.218,0.184,0.218,0.21,0.2,0.177],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":16,"prefix":22,"propose":[{"t":" TABLE","src":"ntp"}],"conf":[0.988,0.848,0.732,0.448,0.139,0.193,0.2,0.18],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":17,"prefix":23,"propose":[{"t":" products","src":"ntp"}],"conf":[0.942,0.782,0.313,0.418,0.395,0.26,0.195,0.156],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":18,"prefix":24,"propose":[{"t":" (","src":"ntp"}],"conf":[0.959,0.466,0.506,0.404,0.275,0.269,0.208,0.175],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":19,"prefix":25,"propose":[{"t":"product","src":"ntp"}],"conf":[0.885,0.535,0.338,0.2,0.163,0.172,0.184,0.136],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":20,"prefix":26,"propose":[{"t":"_id","src":"ntp"}],"conf":[0.997,0.839,0.3,0.157,0.163,0.164,0.134,0.118],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":21,"prefix":27,"propose":[{"t":" INT","src":"ntp"}],"conf":[0.982,0.794,0.153,0.203,0.153,0.15,0.12,0.105],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":22,"prefix":28,"propose":[{"t":",","src":"ntp"}],"conf":[0.946,0.285,0.559,0.37,0.402,0.209,0.156,0.103],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":23,"prefix":29,"propose":[{"t":" sku","src":"ntp"},{"t":",","src":"ngram"},{"t":" product","src":"ngram"},{"t":"_id","src":"ngram"},{"t":"\n","src":"ngram"},{"t":"FROM","src":"ngram"},{"t":" products","src":"ngram"},{"t":"\n","src":"ngram"}],"conf":[0.615,0.58,0.409,0.364,0.186,0.125,0.1,0.099],"verdict":{"kept":1,"rollback":true,"fix":" VARCHAR"}},{"i":24,"prefix":31,"propose":[{"t":"(","src":"ntp"}],"conf":[0.999,0.5,0.717,0.41,0.178,0.214,0.134,0.119],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":25,"prefix":32,"propose":[{"t":"2","src":"ntp"}],"conf":[0.472,0.667,0.804,0.381,0.306,0.279,0.223,0.159],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":26,"prefix":33,"propose":[{"t":"5","src":"ntp"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"'\n","src":"ngram"}],"conf":[0.528,0.751,0.787,0.323,0.287,0.253,0.188,0.148],"verdict":{"kept":1,"rollback":true,"fix":"5"}},{"i":27,"prefix":35,"propose":[{"t":"),","src":"ntp"}],"conf":[0.998,0.829,0.603,0.268,0.413,0.253,0.244,0.152],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":28,"prefix":36,"propose":[{"t":" unit","src":"ntp"}],"conf":[0.878,0.545,0.501,0.359,0.469,0.374,0.225,0.119],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":29,"prefix":37,"propose":[{"t":"_price","src":"ntp"},{"t":" >","src":"ngram"},{"t":" ","src":"ngram"},{"t":"1","src":"ngram"},{"t":"0","src":"ngram"},{"t":".","src":"ngram"},{"t":"0","src":"ngram"},{"t":"0","src":"ngram"}],"conf":[0.999,0.405,0.382,0.353,0.298,0.193,0.122,0.121],"verdict":{"kept":1,"rollback":true,"fix":" DEC"}},{"i":30,"prefix":39,"propose":[{"t":"IMAL","src":"ntp"}],"conf":[0.994,0.56,0.223,0.241,0.308,0.26,0.135,0.111],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":31,"prefix":40,"propose":[{"t":"(","src":"ntp"}],"conf":[0.998,0.609,0.327,0.277,0.29,0.212,0.152,0.121],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":32,"prefix":41,"propose":[{"t":"1","src":"ntp"}],"conf":[0.39,0.619,0.587,0.196,0.252,0.191,0.178,0.129],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":33,"prefix":42,"propose":[{"t":"0","src":"ntp"},{"t":".","src":"ngram"},{"t":"0","src":"ngram"},{"t":"0","src":"ngram"},{"t":";\n","src":"ngram"},{"t":"CREATE","src":"ngram"},{"t":" TABLE","src":"ngram"},{"t":" products","src":"ngram"}],"conf":[0.966,0.708,0.508,0.29,0.244,0.21,0.158,0.104],"verdict":{"kept":1,"rollback":true,"fix":","}},{"i":34,"prefix":44,"propose":[{"t":"2","src":"ntp"}],"conf":[0.591,0.696,0.653,0.15,0.089,0.124,0.148,0.115],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":35,"prefix":45,"propose":[{"t":"),","src":"ntp"}],"conf":[0.938,0.92,0.179,0.1,0.161,0.128,0.096,0.111],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":36,"prefix":46,"propose":[{"t":" quantity","src":"ntp"}],"conf":[0.983,0.514,0.368,0.39,0.279,0.337,0.232,0.123],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":37,"prefix":47,"propose":[{"t":" INT","src":"ntp"}],"conf":[0.973,0.778,0.347,0.293,0.2,0.173,0.16,0.127],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":38,"prefix":48,"propose":[{"t":");","src":"ntp"}],"conf":[0.908,0.646,0.49,0.294,0.34,0.193,0.122,0.138],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":39,"prefix":49,"propose":[{"t":" INSERT","src":"ntp"}],"conf":[0.886,0.794,0.603,0.603,0.323,0.201,0.286,0.294],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":40,"prefix":50,"propose":[{"t":" INTO","src":"ntp"}],"conf":[1.0,0.986,0.932,0.843,0.664,0.469,0.608,0.668],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":41,"prefix":51,"propose":[{"t":" products","src":"ntp"}],"conf":[0.997,0.9,0.846,0.746,0.488,0.805,0.741,0.664],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":42,"prefix":52,"propose":[{"t":" (","src":"ntp"},{"t":"product","src":"ngram"},{"t":"_id","src":"ngram"},{"t":" INT","src":"ngram"},{"t":",","src":"ngram"},{"t":" sku","src":"ngram"},{"t":" VARCHAR","src":"ngram"},{"t":"(","src":"ngram"}],"conf":[0.889,0.985,0.93,0.802,0.707,0.761,0.636,0.467],"verdict":{"kept":3,"rollback":true,"fix":","}},{"i":43,"prefix":56,"propose":[{"t":" sku","src":"ntp"},{"t":" VARCHAR","src":"ngram"},{"t":"(","src":"ngram"},{"t":"2","src":"ngram"},{"t":"5","src":"ngram"},{"t":"5","src":"ngram"},{"t":"),","src":"ngram"},{"t":" unit","src":"ngram"}],"conf":[0.997,0.987,0.56,0.736,0.844,0.44,0.478,0.477],"verdict":{"kept":1,"rollback":true,"fix":","}},{"i":44,"prefix":58,"propose":[{"t":" unit","src":"ntp"},{"t":"_price","src":"ngram"},{"t":",","src":"ngram"},{"t":" quantity","src":"ngram"},{"t":" FROM","src":"ngram"},{"t":" products","src":"ngram"},{"t":" WHERE","src":"ngram"},{"t":" product","src":"ngram"}],"conf":[1.0,0.98,0.522,0.816,0.74,0.621,0.306,0.321],"verdict":{"kept":4,"rollback":true,"fix":")"}},{"i":45,"prefix":63,"propose":[{"t":" VALUES","src":"ntp"}],"conf":[1.0,0.997,0.918,0.902,0.408,0.246,0.157,0.133],"verdict":{"kept":1,"rollback":false,"fix":null}}]},{"prompt":"p0","mode":"ntp","tau":1.01,"tok_per_fwd":0.985,"forwards":65,"committed":64,"rollbacks":0,"accepted":{"ntp":64,"matp":0,"ngram":0},"text":", quantity FROM products WHERE product_id = 1 AND unit_price > 10.00;\nCREATE TABLE products (product_id INT, sku VARCHAR(255), unit_price DECIMAL(10,2), quantity INT); INSERT INTO products (product_id, sku, unit_price, quantity) VALUES","steps":[{"i":0,"prefix":0,"propose":[{"t":",","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":1,"prefix":1,"propose":[{"t":" quantity","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":2,"propose":[{"t":" FROM","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":3,"propose":[{"t":" products","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":4,"propose":[{"t":" WHERE","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":5,"propose":[{"t":" product","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":6,"prefix":6,"propose":[{"t":"_id","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":7,"prefix":7,"propose":[{"t":" =","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":8,"propose":[{"t":" ","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":9,"prefix":9,"propose":[{"t":"1","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":10,"prefix":10,"propose":[{"t":" AND","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":11,"prefix":11,"propose":[{"t":" unit","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":12,"prefix":12,"propose":[{"t":"_price","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":13,"prefix":13,"propose":[{"t":" >","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":14,"prefix":14,"propose":[{"t":" ","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":15,"prefix":15,"propose":[{"t":"1","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":16,"prefix":16,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":17,"prefix":17,"propose":[{"t":".","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":18,"prefix":18,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":19,"prefix":19,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":20,"prefix":20,"propose":[{"t":";\n","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":21,"prefix":21,"propose":[{"t":"CREATE","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":22,"prefix":22,"propose":[{"t":" TABLE","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":23,"prefix":23,"propose":[{"t":" products","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":24,"prefix":24,"propose":[{"t":" (","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":25,"prefix":25,"propose":[{"t":"product","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":26,"prefix":26,"propose":[{"t":"_id","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":27,"prefix":27,"propose":[{"t":" INT","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":28,"prefix":28,"propose":[{"t":",","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":29,"prefix":29,"propose":[{"t":" sku","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":30,"prefix":30,"propose":[{"t":" VARCHAR","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":31,"prefix":31,"propose":[{"t":"(","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":32,"prefix":32,"propose":[{"t":"2","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":33,"prefix":33,"propose":[{"t":"5","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":34,"prefix":34,"propose":[{"t":"5","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":35,"prefix":35,"propose":[{"t":"),","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":36,"prefix":36,"propose":[{"t":" unit","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":37,"prefix":37,"propose":[{"t":"_price","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":38,"prefix":38,"propose":[{"t":" DEC","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":39,"prefix":39,"propose":[{"t":"IMAL","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":40,"prefix":40,"propose":[{"t":"(","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":41,"prefix":41,"propose":[{"t":"1","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":42,"prefix":42,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":43,"prefix":43,"propose":[{"t":",","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":44,"prefix":44,"propose":[{"t":"2","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":45,"prefix":45,"propose":[{"t":"),","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":46,"prefix":46,"propose":[{"t":" quantity","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":47,"prefix":47,"propose":[{"t":" INT","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":48,"prefix":48,"propose":[{"t":");","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":49,"prefix":49,"propose":[{"t":" INSERT","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":50,"prefix":50,"propose":[{"t":" INTO","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":51,"prefix":51,"propose":[{"t":" products","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":52,"prefix":52,"propose":[{"t":" (","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":53,"prefix":53,"propose":[{"t":"product","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":54,"prefix":54,"propose":[{"t":"_id","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":55,"prefix":55,"propose":[{"t":",","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":56,"prefix":56,"propose":[{"t":" sku","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":57,"prefix":57,"propose":[{"t":",","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":58,"prefix":58,"propose":[{"t":" unit","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":59,"prefix":59,"propose":[{"t":"_price","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":60,"prefix":60,"propose":[{"t":",","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":61,"prefix":61,"propose":[{"t":" quantity","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":62,"prefix":62,"propose":[{"t":")","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":63,"prefix":63,"propose":[{"t":" VALUES","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}}]},{"prompt":"p1","mode":"union","tau":0.5,"tok_per_fwd":1.561,"forwards":41,"committed":64,"rollbacks":10,"accepted":{"ntp":41,"matp":23,"ngram":0},"text":"SELECT AVG(temperature) FROM climate_data WHERE country = 'India' AND year = 2020;\nCREATE TABLE climate_data (country VARCHAR(20), year INT, temperature FLOAT); INSERT INTO climate_data (country, year, temperature) VALUES ('India', 2020, 25","steps":[{"i":0,"prefix":0,"propose":[{"t":"SELECT","src":"ntp"},{"t":" shipped","src":"ngram"},{"t":"_at","src":"ngram"},{"t":",","src":"ngram"},{"t":" total","src":"ngram"},{"t":"_amount","src":"ngram"},{"t":",","src":"ngram"},{"t":" status","src":"ngram"}],"conf":[0.9,0.037,0.048,0.12,0.122,0.1,0.092,0.085],"verdict":{"kept":1,"rollback":true,"fix":" AVG"}},{"i":1,"prefix":2,"propose":[{"t":"(","src":"ntp"}],"conf":[0.151,0.065,0.256,0.219,0.173,0.102,0.077,0.064],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":3,"propose":[{"t":"temperature","src":"ntp"}],"conf":[0.046,0.256,0.458,0.197,0.105,0.074,0.067,0.065],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":4,"propose":[{"t":")","src":"ntp"}],"conf":[0.88,0.345,0.158,0.112,0.117,0.128,0.121,0.105],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":5,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.89,0.138,0.074,0.152,0.248,0.225,0.172,0.125],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":6,"propose":[{"t":" climate","src":"ntp"}],"conf":[0.105,0.451,0.31,0.152,0.274,0.211,0.139,0.096],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":6,"prefix":7,"propose":[{"t":"_data","src":"ntp"}],"conf":[0.371,0.437,0.309,0.251,0.298,0.21,0.134,0.098],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":7,"prefix":8,"propose":[{"t":" WHERE","src":"ntp"}],"conf":[0.849,0.13,0.217,0.346,0.228,0.155,0.094,0.069],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":9,"propose":[{"t":" country","src":"ntp"}],"conf":[0.337,0.49,0.454,0.453,0.117,0.056,0.054,0.053],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":9,"prefix":10,"propose":[{"t":" =","src":"ntp"},{"t":" '","src":"matp"}],"conf":[0.938,0.962,0.144,0.12,0.181,0.122,0.107,0.071],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":10,"prefix":12,"propose":[{"t":"India","src":"ntp"}],"conf":[0.168,0.326,0.379,0.33,0.109,0.138,0.122,0.093],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":11,"prefix":13,"propose":[{"t":"'","src":"ntp"},{"t":"CREATE","src":"matp"}],"conf":[0.578,0.684,0.248,0.164,0.134,0.077,0.076,0.069],"verdict":{"kept":1,"rollback":true,"fix":" AND"}},{"i":12,"prefix":15,"propose":[{"t":" year","src":"ntp"},{"t":" =","src":"matp"}],"conf":[0.364,0.5,0.23,0.28,0.128,0.19,0.276,0.191],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":13,"prefix":17,"propose":[{"t":" ","src":"ntp"},{"t":"2","src":"matp"},{"t":"0","src":"matp"}],"conf":[0.917,0.921,0.515,0.304,0.131,0.13,0.141,0.062],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":14,"prefix":20,"propose":[{"t":"2","src":"ntp"},{"t":"5","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"}],"conf":[0.737,0.343,0.201,0.373,0.179,0.094,0.081,0.063],"verdict":{"kept":1,"rollback":true,"fix":"0"}},{"i":15,"prefix":22,"propose":[{"t":";\n","src":"ntp"},{"t":"CREATE","src":"matp"}],"conf":[0.389,0.684,0.309,0.153,0.116,0.073,0.063,0.056],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":16,"prefix":24,"propose":[{"t":" TABLE","src":"ntp"},{"t":" climate","src":"matp"},{"t":"_data","src":"matp"}],"conf":[0.989,0.976,0.879,0.479,0.138,0.154,0.169,0.159],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":17,"prefix":27,"propose":[{"t":" (","src":"ntp"},{"t":"id","src":"matp"}],"conf":[0.956,0.509,0.372,0.302,0.251,0.18,0.151,0.155],"verdict":{"kept":1,"rollback":true,"fix":"country"}},{"i":18,"prefix":29,"propose":[{"t":" VARCHAR","src":"ntp"},{"t":"(","src":"matp"}],"conf":[0.923,0.755,0.271,0.23,0.153,0.118,0.112,0.11],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":19,"prefix":31,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"matp"},{"t":"),","src":"matp"}],"conf":[0.488,0.709,0.832,0.362,0.213,0.178,0.24,0.151],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":20,"prefix":34,"propose":[{"t":" year","src":"ntp"},{"t":" VARCHAR","src":"matp"},{"t":"(","src":"matp"},{"t":"(","src":"matp"}],"conf":[0.829,0.664,0.801,0.5,0.245,0.165,0.118,0.093],"verdict":{"kept":1,"rollback":true,"fix":" INT"}},{"i":21,"prefix":36,"propose":[{"t":",","src":"ntp"},{"t":" temperature","src":"matp"}],"conf":[0.996,0.924,0.254,0.443,0.396,0.198,0.171,0.194],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":22,"prefix":38,"propose":[{"t":" FLOAT","src":"ntp"},{"t":"(","src":"matp"}],"conf":[0.626,0.529,0.269,0.389,0.214,0.276,0.244,0.129],"verdict":{"kept":1,"rollback":true,"fix":");"}},{"i":23,"prefix":40,"propose":[{"t":" INSERT","src":"ntp"},{"t":" INTO","src":"matp"},{"t":" climate","src":"matp"}],"conf":[0.9,0.919,0.964,0.411,0.561,0.271,0.305,0.263],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":24,"prefix":43,"propose":[{"t":"_data","src":"ntp"},{"t":" (","src":"matp"},{"t":" (","src":"matp"},{"t":",","src":"matp"},{"t":",","src":"matp"},{"t":" year","src":"matp"},{"t":"0","src":"ngram"},{"t":"),","src":"ngram"}],"conf":[1.0,0.969,0.585,0.652,0.627,0.518,0.456,0.43],"verdict":{"kept":2,"rollback":true,"fix":"country"}},{"i":25,"prefix":46,"propose":[{"t":",","src":"ntp"},{"t":" year","src":"matp"},{"t":",","src":"matp"}],"conf":[1.0,0.984,0.912,0.484,0.406,0.61,0.435,0.212],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":26,"prefix":49,"propose":[{"t":" temperature","src":"ntp"},{"t":")","src":"matp"},{"t":" VALUES","src":"matp"},{"t":" INSERT","src":"ngram"},{"t":" INTO","src":"ngram"},{"t":" climate","src":"ngram"},{"t":"_data","src":"ngram"},{"t":" (","src":"ngram"}],"conf":[1.0,0.996,0.835,0.275,0.216,0.254,0.2,0.171],"verdict":{"kept":3,"rollback":true,"fix":" ('"}},{"i":27,"prefix":53,"propose":[{"t":"India","src":"ntp"},{"t":"',","src":"matp"}],"conf":[0.784,0.866,0.464,0.447,0.408,0.362,0.409,0.354],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":28,"prefix":55,"propose":[{"t":" ","src":"ntp"},{"t":"2","src":"matp"},{"t":"0","src":"matp"}],"conf":[0.999,0.965,0.875,0.483,0.229,0.179,0.145,0.18],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":29,"prefix":58,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"matp"},{"t":",","src":"matp"},{"t":"CREATE","src":"ngram"},{"t":" TABLE","src":"ngram"},{"t":" climate","src":"ngram"},{"t":"_data","src":"ngram"},{"t":" (","src":"ngram"}],"conf":[0.943,0.891,0.625,0.245,0.234,0.2,0.147,0.175],"verdict":{"kept":3,"rollback":true,"fix":" "}},{"i":30,"prefix":62,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"},{"t":",","src":"ngram"},{"t":" ","src":"ngram"},{"t":"2","src":"ngram"}],"conf":[0.553,0.246,0.589,0.213,0.204,0.14,0.115,0.113],"verdict":{"kept":1,"rollback":true,"fix":"5"}}]},{"prompt":"p1","mode":"union","tau":0.6,"tok_per_fwd":1.641,"forwards":39,"committed":64,"rollbacks":7,"accepted":{"ntp":39,"matp":24,"ngram":1},"text":"SELECT AVG(temperature) FROM climate_data WHERE country = 'India' AND year = 2020;\nCREATE TABLE climate_data (country VARCHAR(20), year INT, temperature FLOAT); INSERT INTO climate_data (country, year, temperature) VALUES ('India', 2020, 25","steps":[{"i":0,"prefix":0,"propose":[{"t":"SELECT","src":"ntp"},{"t":" shipped","src":"ngram"},{"t":"_at","src":"ngram"},{"t":",","src":"ngram"},{"t":" total","src":"ngram"},{"t":"_amount","src":"ngram"},{"t":",","src":"ngram"},{"t":" status","src":"ngram"}],"conf":[0.9,0.037,0.048,0.12,0.122,0.1,0.092,0.085],"verdict":{"kept":1,"rollback":true,"fix":" AVG"}},{"i":1,"prefix":2,"propose":[{"t":"(","src":"ntp"}],"conf":[0.151,0.065,0.256,0.219,0.173,0.102,0.077,0.064],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":3,"propose":[{"t":"temperature","src":"ntp"}],"conf":[0.046,0.256,0.458,0.197,0.105,0.074,0.067,0.065],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":4,"propose":[{"t":")","src":"ntp"}],"conf":[0.88,0.345,0.158,0.112,0.117,0.128,0.121,0.105],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":5,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.89,0.138,0.074,0.152,0.248,0.225,0.172,0.125],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":6,"propose":[{"t":" climate","src":"ntp"}],"conf":[0.105,0.451,0.31,0.152,0.274,0.211,0.139,0.096],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":6,"prefix":7,"propose":[{"t":"_data","src":"ntp"}],"conf":[0.371,0.437,0.309,0.251,0.298,0.21,0.134,0.098],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":7,"prefix":8,"propose":[{"t":" WHERE","src":"ntp"}],"conf":[0.849,0.13,0.217,0.346,0.228,0.155,0.094,0.069],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":9,"propose":[{"t":" country","src":"ntp"}],"conf":[0.337,0.49,0.454,0.453,0.117,0.056,0.054,0.053],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":9,"prefix":10,"propose":[{"t":" =","src":"ntp"},{"t":" '","src":"matp"}],"conf":[0.938,0.962,0.144,0.12,0.181,0.122,0.107,0.071],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":10,"prefix":12,"propose":[{"t":"India","src":"ntp"}],"conf":[0.168,0.326,0.379,0.33,0.109,0.138,0.122,0.093],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":11,"prefix":13,"propose":[{"t":"'","src":"ntp"},{"t":"CREATE","src":"matp"}],"conf":[0.578,0.684,0.248,0.164,0.134,0.077,0.076,0.069],"verdict":{"kept":1,"rollback":true,"fix":" AND"}},{"i":12,"prefix":15,"propose":[{"t":" year","src":"ntp"}],"conf":[0.364,0.5,0.23,0.28,0.128,0.19,0.276,0.191],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":13,"prefix":16,"propose":[{"t":" =","src":"ntp"},{"t":" ","src":"matp"},{"t":"2","src":"matp"}],"conf":[0.396,0.755,0.855,0.428,0.27,0.131,0.146,0.107],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":14,"prefix":19,"propose":[{"t":"0","src":"ntp"},{"t":"2","src":"ngram"},{"t":"5","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"}],"conf":[0.988,0.428,0.241,0.121,0.281,0.15,0.087,0.07],"verdict":{"kept":2,"rollback":true,"fix":"0"}},{"i":15,"prefix":22,"propose":[{"t":";\n","src":"ntp"},{"t":"CREATE","src":"matp"}],"conf":[0.389,0.684,0.309,0.153,0.116,0.073,0.063,0.056],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":16,"prefix":24,"propose":[{"t":" TABLE","src":"ntp"},{"t":" climate","src":"matp"},{"t":"_data","src":"matp"}],"conf":[0.989,0.976,0.879,0.479,0.138,0.154,0.169,0.159],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":17,"prefix":27,"propose":[{"t":" (","src":"ntp"}],"conf":[0.956,0.509,0.372,0.302,0.251,0.18,0.151,0.155],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":18,"prefix":28,"propose":[{"t":"country","src":"ntp"}],"conf":[0.428,0.544,0.285,0.228,0.128,0.142,0.127,0.107],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":19,"prefix":29,"propose":[{"t":" VARCHAR","src":"ntp"},{"t":"(","src":"matp"}],"conf":[0.923,0.755,0.271,0.23,0.153,0.118,0.112,0.11],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":20,"prefix":31,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"matp"},{"t":"),","src":"matp"}],"conf":[0.488,0.709,0.832,0.362,0.213,0.178,0.24,0.151],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":21,"prefix":34,"propose":[{"t":" year","src":"ntp"},{"t":" VARCHAR","src":"matp"},{"t":"(","src":"matp"}],"conf":[0.829,0.664,0.801,0.5,0.245,0.165,0.118,0.093],"verdict":{"kept":1,"rollback":true,"fix":" INT"}},{"i":22,"prefix":36,"propose":[{"t":",","src":"ntp"},{"t":" temperature","src":"matp"}],"conf":[0.996,0.924,0.254,0.443,0.396,0.198,0.171,0.194],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":23,"prefix":38,"propose":[{"t":" FLOAT","src":"ntp"}],"conf":[0.626,0.529,0.269,0.389,0.214,0.276,0.244,0.129],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":24,"prefix":39,"propose":[{"t":");","src":"ntp"},{"t":" INSERT","src":"matp"}],"conf":[0.901,0.643,0.538,0.419,0.449,0.329,0.171,0.112],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":25,"prefix":41,"propose":[{"t":" INTO","src":"ntp"},{"t":" climate","src":"matp"},{"t":"_data","src":"matp"},{"t":" (","src":"matp"}],"conf":[1.0,0.993,0.913,0.777,0.271,0.45,0.419,0.356],"verdict":{"kept":4,"rollback":false,"fix":null}},{"i":26,"prefix":45,"propose":[{"t":"country","src":"ntp"},{"t":",","src":"matp"},{"t":" year","src":"matp"},{"t":",","src":"matp"},{"t":"0","src":"ngram"},{"t":"),","src":"ngram"},{"t":" year","src":"ngram"},{"t":" INT","src":"ngram"}],"conf":[0.998,0.979,0.806,0.82,0.511,0.337,0.525,0.286],"verdict":{"kept":4,"rollback":true,"fix":" temperature"}},{"i":27,"prefix":50,"propose":[{"t":")","src":"ntp"},{"t":" VALUES","src":"matp"},{"t":" ('","src":"matp"}],"conf":[0.999,0.974,0.719,0.384,0.279,0.184,0.175,0.187],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":28,"prefix":53,"propose":[{"t":"India","src":"ntp"},{"t":"',","src":"matp"}],"conf":[0.784,0.866,0.464,0.447,0.408,0.362,0.409,0.354],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":29,"prefix":55,"propose":[{"t":" ","src":"ntp"},{"t":"2","src":"matp"},{"t":"0","src":"matp"}],"conf":[0.999,0.965,0.875,0.483,0.229,0.179,0.145,0.18],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":30,"prefix":58,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"matp"},{"t":",","src":"matp"},{"t":"CREATE","src":"ngram"},{"t":" TABLE","src":"ngram"},{"t":" climate","src":"ngram"},{"t":"_data","src":"ngram"},{"t":" (","src":"ngram"}],"conf":[0.943,0.891,0.625,0.245,0.234,0.2,0.147,0.175],"verdict":{"kept":3,"rollback":true,"fix":" "}},{"i":31,"prefix":62,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"},{"t":",","src":"ngram"},{"t":" ","src":"ngram"},{"t":"2","src":"ngram"}],"conf":[0.553,0.246,0.589,0.213,0.204,0.14,0.115,0.113],"verdict":{"kept":1,"rollback":true,"fix":"5"}}]},{"prompt":"p1","mode":"union","tau":0.9,"tok_per_fwd":1.333,"forwards":48,"committed":64,"rollbacks":8,"accepted":{"ntp":48,"matp":12,"ngram":4},"text":"SELECT AVG(temperature) FROM climate_data WHERE country = 'India' AND year = 2020;\nCREATE TABLE climate_data (country VARCHAR(20), year INT, temperature FLOAT); INSERT INTO climate_data (country, year, temperature) VALUES ('India', 2020, 25","steps":[{"i":0,"prefix":0,"propose":[{"t":"SELECT","src":"ntp"},{"t":" shipped","src":"ngram"},{"t":"_at","src":"ngram"},{"t":",","src":"ngram"},{"t":" total","src":"ngram"},{"t":"_amount","src":"ngram"},{"t":",","src":"ngram"},{"t":" status","src":"ngram"}],"conf":[0.9,0.037,0.048,0.12,0.122,0.1,0.092,0.085],"verdict":{"kept":1,"rollback":true,"fix":" AVG"}},{"i":1,"prefix":2,"propose":[{"t":"(","src":"ntp"}],"conf":[0.151,0.065,0.256,0.219,0.173,0.102,0.077,0.064],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":3,"propose":[{"t":"temperature","src":"ntp"}],"conf":[0.046,0.256,0.458,0.197,0.105,0.074,0.067,0.065],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":4,"propose":[{"t":")","src":"ntp"}],"conf":[0.88,0.345,0.158,0.112,0.117,0.128,0.121,0.105],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":5,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.89,0.138,0.074,0.152,0.248,0.225,0.172,0.125],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":6,"propose":[{"t":" climate","src":"ntp"}],"conf":[0.105,0.451,0.31,0.152,0.274,0.211,0.139,0.096],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":6,"prefix":7,"propose":[{"t":"_data","src":"ntp"}],"conf":[0.371,0.437,0.309,0.251,0.298,0.21,0.134,0.098],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":7,"prefix":8,"propose":[{"t":" WHERE","src":"ntp"}],"conf":[0.849,0.13,0.217,0.346,0.228,0.155,0.094,0.069],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":9,"propose":[{"t":" country","src":"ntp"}],"conf":[0.337,0.49,0.454,0.453,0.117,0.056,0.054,0.053],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":9,"prefix":10,"propose":[{"t":" =","src":"ntp"},{"t":" '","src":"matp"}],"conf":[0.938,0.962,0.144,0.12,0.181,0.122,0.107,0.071],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":10,"prefix":12,"propose":[{"t":"India","src":"ntp"}],"conf":[0.168,0.326,0.379,0.33,0.109,0.138,0.122,0.093],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":11,"prefix":13,"propose":[{"t":"'","src":"ntp"}],"conf":[0.578,0.684,0.248,0.164,0.134,0.077,0.076,0.069],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":12,"prefix":14,"propose":[{"t":" AND","src":"ntp"}],"conf":[0.946,0.175,0.222,0.21,0.138,0.124,0.164,0.128],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":13,"prefix":15,"propose":[{"t":" year","src":"ntp"}],"conf":[0.364,0.5,0.23,0.28,0.128,0.19,0.276,0.191],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":14,"prefix":16,"propose":[{"t":" =","src":"ntp"}],"conf":[0.396,0.755,0.855,0.428,0.27,0.131,0.146,0.107],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":15,"prefix":17,"propose":[{"t":" ","src":"ntp"},{"t":"2","src":"matp"}],"conf":[0.917,0.921,0.515,0.304,0.131,0.13,0.141,0.062],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":16,"prefix":19,"propose":[{"t":"0","src":"ntp"},{"t":"2","src":"ngram"},{"t":"5","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"}],"conf":[0.988,0.428,0.241,0.121,0.281,0.15,0.087,0.07],"verdict":{"kept":2,"rollback":true,"fix":"0"}},{"i":17,"prefix":22,"propose":[{"t":";\n","src":"ntp"}],"conf":[0.389,0.684,0.309,0.153,0.116,0.073,0.063,0.056],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":18,"prefix":23,"propose":[{"t":"CREATE","src":"ntp"}],"conf":[0.905,0.418,0.848,0.336,0.191,0.209,0.184,0.174],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":19,"prefix":24,"propose":[{"t":" TABLE","src":"ntp"},{"t":" climate","src":"matp"}],"conf":[0.989,0.976,0.879,0.479,0.138,0.154,0.169,0.159],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":20,"prefix":26,"propose":[{"t":"_data","src":"ntp"},{"t":" (","src":"matp"},{"t":" country","src":"ngram"},{"t":" =","src":"ngram"},{"t":" '","src":"ngram"},{"t":"India","src":"ngram"},{"t":"'","src":"ngram"},{"t":" AND","src":"ngram"}],"conf":[1.0,0.953,0.527,0.317,0.28,0.266,0.209,0.162],"verdict":{"kept":2,"rollback":true,"fix":"country"}},{"i":21,"prefix":29,"propose":[{"t":" VARCHAR","src":"ntp"}],"conf":[0.923,0.755,0.271,0.23,0.153,0.118,0.112,0.11],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":22,"prefix":30,"propose":[{"t":"(","src":"ntp"}],"conf":[0.997,0.747,0.695,0.545,0.305,0.152,0.121,0.129],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":23,"prefix":31,"propose":[{"t":"2","src":"ntp"}],"conf":[0.488,0.709,0.832,0.362,0.213,0.178,0.24,0.151],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":24,"prefix":32,"propose":[{"t":"0","src":"ntp"},{"t":";\n","src":"ngram"},{"t":"CREATE","src":"ngram"},{"t":" TABLE","src":"ngram"},{"t":" climate","src":"ngram"},{"t":"_data","src":"ngram"},{"t":" (","src":"ngram"},{"t":"country","src":"ngram"}],"conf":[0.559,0.786,0.821,0.2,0.206,0.23,0.18,0.149],"verdict":{"kept":1,"rollback":true,"fix":"),"}},{"i":25,"prefix":34,"propose":[{"t":" year","src":"ntp"}],"conf":[0.829,0.664,0.801,0.5,0.245,0.165,0.118,0.093],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":26,"prefix":35,"propose":[{"t":" INT","src":"ntp"}],"conf":[0.975,0.779,0.312,0.206,0.272,0.284,0.226,0.165],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":27,"prefix":36,"propose":[{"t":",","src":"ntp"},{"t":" temperature","src":"matp"}],"conf":[0.996,0.924,0.254,0.443,0.396,0.198,0.171,0.194],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":28,"prefix":38,"propose":[{"t":" FLOAT","src":"ntp"}],"conf":[0.626,0.529,0.269,0.389,0.214,0.276,0.244,0.129],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":29,"prefix":39,"propose":[{"t":");","src":"ntp"}],"conf":[0.901,0.643,0.538,0.419,0.449,0.329,0.171,0.112],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":30,"prefix":40,"propose":[{"t":" INSERT","src":"ntp"},{"t":" INTO","src":"matp"},{"t":" climate","src":"matp"}],"conf":[0.9,0.919,0.964,0.411,0.561,0.271,0.305,0.263],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":31,"prefix":43,"propose":[{"t":"_data","src":"ntp"},{"t":" (","src":"matp"},{"t":"country","src":"ngram"},{"t":" VARCHAR","src":"ngram"},{"t":"(","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"},{"t":"),","src":"ngram"}],"conf":[1.0,0.969,0.585,0.652,0.627,0.518,0.456,0.43],"verdict":{"kept":3,"rollback":true,"fix":","}},{"i":32,"prefix":47,"propose":[{"t":" year","src":"ntp"},{"t":",","src":"matp"}],"conf":[1.0,0.991,0.791,0.697,0.553,0.438,0.223,0.188],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":33,"prefix":49,"propose":[{"t":" temperature","src":"ntp"},{"t":")","src":"matp"},{"t":");","src":"ngram"},{"t":" INSERT","src":"ngram"},{"t":" INTO","src":"ngram"},{"t":" climate","src":"ngram"},{"t":"_data","src":"ngram"},{"t":" (","src":"ngram"}],"conf":[1.0,0.996,0.835,0.275,0.216,0.254,0.2,0.171],"verdict":{"kept":2,"rollback":true,"fix":" VALUES"}},{"i":34,"prefix":52,"propose":[{"t":" ('","src":"ntp"}],"conf":[0.995,0.729,0.654,0.359,0.428,0.502,0.419,0.463],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":35,"prefix":53,"propose":[{"t":"India","src":"ntp"}],"conf":[0.784,0.866,0.464,0.447,0.408,0.362,0.409,0.354],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":36,"prefix":54,"propose":[{"t":"',","src":"ntp"},{"t":" ","src":"matp"}],"conf":[0.989,0.967,0.513,0.76,0.383,0.268,0.183,0.17],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":37,"prefix":56,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"matp"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"},{"t":";\n","src":"ngram"},{"t":"CREATE","src":"ngram"},{"t":" TABLE","src":"ngram"},{"t":" climate","src":"ngram"}],"conf":[0.998,0.933,0.624,0.252,0.168,0.153,0.137,0.22],"verdict":{"kept":4,"rollback":true,"fix":","}},{"i":38,"prefix":61,"propose":[{"t":" ","src":"ntp"}],"conf":[0.981,0.309,0.184,0.19,0.255,0.201,0.157,0.13],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":39,"prefix":62,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"},{"t":",","src":"ngram"},{"t":" ","src":"ngram"},{"t":"2","src":"ngram"}],"conf":[0.553,0.246,0.589,0.213,0.204,0.14,0.115,0.113],"verdict":{"kept":1,"rollback":true,"fix":"5"}}]},{"prompt":"p1","mode":"matp","tau":0.5,"tok_per_fwd":1.585,"forwards":41,"committed":65,"rollbacks":5,"accepted":{"ntp":40,"matp":25,"ngram":0},"text":"SELECT AVG(temperature) FROM climate_data WHERE country = 'India' AND year = 2020;\nCREATE TABLE climate_data (country VARCHAR(20), year INT, temperature FLOAT); INSERT INTO climate_data (country, year, temperature) VALUES ('India', 2020, 25.","steps":[{"i":0,"prefix":0,"propose":[{"t":"SELECT","src":"ntp"}],"conf":[0.9,0.037,0.048,0.12,0.122,0.1,0.092,0.085],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":1,"prefix":1,"propose":[{"t":" AVG","src":"ntp"}],"conf":[0.071,0.348,0.359,0.141,0.11,0.103,0.087,0.069],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":2,"propose":[{"t":"(","src":"ntp"}],"conf":[0.151,0.065,0.256,0.219,0.173,0.102,0.077,0.064],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":3,"propose":[{"t":"temperature","src":"ntp"}],"conf":[0.046,0.256,0.458,0.197,0.105,0.074,0.067,0.065],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":4,"propose":[{"t":")","src":"ntp"}],"conf":[0.88,0.345,0.158,0.112,0.117,0.128,0.121,0.105],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":5,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.89,0.138,0.074,0.152,0.248,0.225,0.172,0.125],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":6,"prefix":6,"propose":[{"t":" climate","src":"ntp"}],"conf":[0.105,0.451,0.31,0.152,0.274,0.211,0.139,0.096],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":7,"prefix":7,"propose":[{"t":"_data","src":"ntp"}],"conf":[0.371,0.437,0.309,0.251,0.298,0.21,0.134,0.098],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":8,"propose":[{"t":" WHERE","src":"ntp"}],"conf":[0.849,0.13,0.217,0.346,0.228,0.155,0.094,0.069],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":9,"prefix":9,"propose":[{"t":" country","src":"ntp"}],"conf":[0.337,0.49,0.454,0.453,0.117,0.056,0.054,0.053],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":10,"prefix":10,"propose":[{"t":" =","src":"ntp"},{"t":" '","src":"matp"}],"conf":[0.938,0.962,0.144,0.12,0.181,0.122,0.107,0.071],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":11,"prefix":12,"propose":[{"t":"India","src":"ntp"}],"conf":[0.168,0.326,0.379,0.33,0.109,0.138,0.122,0.093],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":12,"prefix":13,"propose":[{"t":"'","src":"ntp"},{"t":"CREATE","src":"matp"}],"conf":[0.578,0.684,0.248,0.164,0.134,0.077,0.076,0.069],"verdict":{"kept":1,"rollback":true,"fix":" AND"}},{"i":13,"prefix":15,"propose":[{"t":" year","src":"ntp"},{"t":" =","src":"matp"}],"conf":[0.364,0.5,0.23,0.28,0.128,0.19,0.276,0.191],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":14,"prefix":17,"propose":[{"t":" ","src":"ntp"},{"t":"2","src":"matp"},{"t":"0","src":"matp"}],"conf":[0.917,0.921,0.515,0.304,0.131,0.13,0.141,0.062],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":15,"prefix":20,"propose":[{"t":"2","src":"ntp"}],"conf":[0.737,0.343,0.201,0.373,0.179,0.094,0.081,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":16,"prefix":21,"propose":[{"t":"0","src":"ntp"}],"conf":[0.244,0.31,0.461,0.25,0.145,0.109,0.073,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":17,"prefix":22,"propose":[{"t":";\n","src":"ntp"},{"t":"CREATE","src":"matp"}],"conf":[0.389,0.684,0.309,0.153,0.116,0.073,0.063,0.056],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":18,"prefix":24,"propose":[{"t":" TABLE","src":"ntp"},{"t":" climate","src":"matp"},{"t":"_data","src":"matp"}],"conf":[0.989,0.976,0.879,0.479,0.138,0.154,0.169,0.159],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":19,"prefix":27,"propose":[{"t":" (","src":"ntp"},{"t":"id","src":"matp"}],"conf":[0.956,0.509,0.372,0.302,0.251,0.18,0.151,0.155],"verdict":{"kept":1,"rollback":true,"fix":"country"}},{"i":20,"prefix":29,"propose":[{"t":" VARCHAR","src":"ntp"},{"t":"(","src":"matp"}],"conf":[0.923,0.755,0.271,0.23,0.153,0.118,0.112,0.11],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":21,"prefix":31,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"matp"},{"t":"),","src":"matp"}],"conf":[0.488,0.709,0.832,0.362,0.213,0.178,0.24,0.151],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":22,"prefix":34,"propose":[{"t":" year","src":"ntp"},{"t":" VARCHAR","src":"matp"},{"t":"(","src":"matp"},{"t":"(","src":"matp"}],"conf":[0.829,0.664,0.801,0.5,0.245,0.165,0.118,0.093],"verdict":{"kept":1,"rollback":true,"fix":" INT"}},{"i":23,"prefix":36,"propose":[{"t":",","src":"ntp"},{"t":" temperature","src":"matp"}],"conf":[0.996,0.924,0.254,0.443,0.396,0.198,0.171,0.194],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":24,"prefix":38,"propose":[{"t":" FLOAT","src":"ntp"},{"t":"(","src":"matp"}],"conf":[0.626,0.529,0.269,0.389,0.214,0.276,0.244,0.129],"verdict":{"kept":1,"rollback":true,"fix":");"}},{"i":25,"prefix":40,"propose":[{"t":" INSERT","src":"ntp"},{"t":" INTO","src":"matp"},{"t":" climate","src":"matp"}],"conf":[0.9,0.919,0.964,0.411,0.561,0.271,0.305,0.263],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":26,"prefix":43,"propose":[{"t":"_data","src":"ntp"},{"t":" (","src":"matp"},{"t":" (","src":"matp"},{"t":",","src":"matp"},{"t":",","src":"matp"},{"t":" year","src":"matp"}],"conf":[1.0,0.969,0.585,0.652,0.627,0.518,0.456,0.43],"verdict":{"kept":2,"rollback":true,"fix":"country"}},{"i":27,"prefix":46,"propose":[{"t":",","src":"ntp"},{"t":" year","src":"matp"},{"t":",","src":"matp"}],"conf":[1.0,0.984,0.912,0.484,0.406,0.61,0.435,0.212],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":28,"prefix":49,"propose":[{"t":" temperature","src":"ntp"},{"t":")","src":"matp"},{"t":" VALUES","src":"matp"}],"conf":[1.0,0.996,0.835,0.275,0.216,0.254,0.2,0.171],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":29,"prefix":52,"propose":[{"t":" ('","src":"ntp"},{"t":"India","src":"matp"},{"t":"',","src":"matp"}],"conf":[0.995,0.729,0.654,0.359,0.428,0.502,0.419,0.463],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":30,"prefix":55,"propose":[{"t":" ","src":"ntp"},{"t":"2","src":"matp"},{"t":"0","src":"matp"}],"conf":[0.999,0.965,0.875,0.483,0.229,0.179,0.145,0.18],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":31,"prefix":58,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"matp"},{"t":",","src":"matp"}],"conf":[0.943,0.891,0.625,0.245,0.234,0.2,0.147,0.175],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":32,"prefix":61,"propose":[{"t":" ","src":"ntp"}],"conf":[0.981,0.309,0.184,0.19,0.255,0.201,0.157,0.13],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":33,"prefix":62,"propose":[{"t":"2","src":"ntp"}],"conf":[0.553,0.246,0.589,0.213,0.204,0.14,0.115,0.113],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":34,"prefix":63,"propose":[{"t":"5","src":"ntp"},{"t":".","src":"matp"}],"conf":[0.207,0.892,0.347,0.164,0.132,0.102,0.11,0.1],"verdict":{"kept":2,"rollback":false,"fix":null}}]},{"prompt":"p1","mode":"ngram","tau":0.9,"tok_per_fwd":1.103,"forwards":58,"committed":64,"rollbacks":9,"accepted":{"ntp":58,"matp":0,"ngram":6},"text":"SELECT AVG(temperature) FROM climate_data WHERE country = 'India' AND year = 2020;\nCREATE TABLE climate_data (country VARCHAR(20), year INT, temperature FLOAT); INSERT INTO climate_data (country, year, temperature) VALUES ('India', 2020, 25","steps":[{"i":0,"prefix":0,"propose":[{"t":"SELECT","src":"ntp"},{"t":" shipped","src":"ngram"},{"t":"_at","src":"ngram"},{"t":",","src":"ngram"},{"t":" total","src":"ngram"},{"t":"_amount","src":"ngram"},{"t":",","src":"ngram"},{"t":" status","src":"ngram"}],"conf":[0.9,0.037,0.048,0.12,0.122,0.1,0.092,0.085],"verdict":{"kept":1,"rollback":true,"fix":" AVG"}},{"i":1,"prefix":2,"propose":[{"t":"(","src":"ntp"}],"conf":[0.151,0.065,0.256,0.219,0.173,0.102,0.077,0.064],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":3,"propose":[{"t":"temperature","src":"ntp"}],"conf":[0.046,0.256,0.458,0.197,0.105,0.074,0.067,0.065],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":4,"propose":[{"t":")","src":"ntp"}],"conf":[0.88,0.345,0.158,0.112,0.117,0.128,0.121,0.105],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":5,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.89,0.138,0.074,0.152,0.248,0.225,0.172,0.125],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":6,"propose":[{"t":" climate","src":"ntp"}],"conf":[0.105,0.451,0.31,0.152,0.274,0.211,0.139,0.096],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":6,"prefix":7,"propose":[{"t":"_data","src":"ntp"}],"conf":[0.371,0.437,0.309,0.251,0.298,0.21,0.134,0.098],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":7,"prefix":8,"propose":[{"t":" WHERE","src":"ntp"}],"conf":[0.849,0.13,0.217,0.346,0.228,0.155,0.094,0.069],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":9,"propose":[{"t":" country","src":"ntp"}],"conf":[0.337,0.49,0.454,0.453,0.117,0.056,0.054,0.053],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":9,"prefix":10,"propose":[{"t":" =","src":"ntp"}],"conf":[0.938,0.962,0.144,0.12,0.181,0.122,0.107,0.071],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":10,"prefix":11,"propose":[{"t":" '","src":"ntp"},{"t":"4","src":"ngram"},{"t":"9","src":"ngram"},{"t":"3","src":"ngram"},{"t":"1","src":"ngram"},{"t":"'\n","src":"ngram"},{"t":" ","src":"ngram"},{"t":" AND","src":"ngram"}],"conf":[0.996,0.158,0.235,0.267,0.158,0.098,0.102,0.09],"verdict":{"kept":1,"rollback":true,"fix":"India"}},{"i":11,"prefix":13,"propose":[{"t":"'","src":"ntp"}],"conf":[0.578,0.684,0.248,0.164,0.134,0.077,0.076,0.069],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":12,"prefix":14,"propose":[{"t":" AND","src":"ntp"}],"conf":[0.946,0.175,0.222,0.21,0.138,0.124,0.164,0.128],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":13,"prefix":15,"propose":[{"t":" year","src":"ntp"}],"conf":[0.364,0.5,0.23,0.28,0.128,0.19,0.276,0.191],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":14,"prefix":16,"propose":[{"t":" =","src":"ntp"}],"conf":[0.396,0.755,0.855,0.428,0.27,0.131,0.146,0.107],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":15,"prefix":17,"propose":[{"t":" ","src":"ntp"}],"conf":[0.917,0.921,0.515,0.304,0.131,0.13,0.141,0.062],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":16,"prefix":18,"propose":[{"t":"2","src":"ntp"}],"conf":[0.993,0.556,0.371,0.169,0.116,0.148,0.085,0.055],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":17,"prefix":19,"propose":[{"t":"0","src":"ntp"},{"t":"2","src":"ngram"},{"t":"5","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"}],"conf":[0.988,0.428,0.241,0.121,0.281,0.15,0.087,0.07],"verdict":{"kept":2,"rollback":true,"fix":"0"}},{"i":18,"prefix":22,"propose":[{"t":";\n","src":"ntp"}],"conf":[0.389,0.684,0.309,0.153,0.116,0.073,0.063,0.056],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":19,"prefix":23,"propose":[{"t":"CREATE","src":"ntp"}],"conf":[0.905,0.418,0.848,0.336,0.191,0.209,0.184,0.174],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":20,"prefix":24,"propose":[{"t":" TABLE","src":"ntp"}],"conf":[0.989,0.976,0.879,0.479,0.138,0.154,0.169,0.159],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":21,"prefix":25,"propose":[{"t":" climate","src":"ntp"}],"conf":[0.998,0.977,0.368,0.29,0.284,0.233,0.189,0.14],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":22,"prefix":26,"propose":[{"t":"_data","src":"ntp"},{"t":" WHERE","src":"ngram"},{"t":" country","src":"ngram"},{"t":" =","src":"ngram"},{"t":" '","src":"ngram"},{"t":"India","src":"ngram"},{"t":"'","src":"ngram"},{"t":" AND","src":"ngram"}],"conf":[1.0,0.953,0.527,0.317,0.28,0.266,0.209,0.162],"verdict":{"kept":1,"rollback":true,"fix":" ("}},{"i":23,"prefix":28,"propose":[{"t":"country","src":"ntp"}],"conf":[0.428,0.544,0.285,0.228,0.128,0.142,0.127,0.107],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":24,"prefix":29,"propose":[{"t":" VARCHAR","src":"ntp"}],"conf":[0.923,0.755,0.271,0.23,0.153,0.118,0.112,0.11],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":25,"prefix":30,"propose":[{"t":"(","src":"ntp"}],"conf":[0.997,0.747,0.695,0.545,0.305,0.152,0.121,0.129],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":26,"prefix":31,"propose":[{"t":"2","src":"ntp"}],"conf":[0.488,0.709,0.832,0.362,0.213,0.178,0.24,0.151],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":27,"prefix":32,"propose":[{"t":"0","src":"ntp"},{"t":";\n","src":"ngram"},{"t":"CREATE","src":"ngram"},{"t":" TABLE","src":"ngram"},{"t":" climate","src":"ngram"},{"t":"_data","src":"ngram"},{"t":" (","src":"ngram"},{"t":"country","src":"ngram"}],"conf":[0.559,0.786,0.821,0.2,0.206,0.23,0.18,0.149],"verdict":{"kept":1,"rollback":true,"fix":"),"}},{"i":28,"prefix":34,"propose":[{"t":" year","src":"ntp"}],"conf":[0.829,0.664,0.801,0.5,0.245,0.165,0.118,0.093],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":29,"prefix":35,"propose":[{"t":" INT","src":"ntp"}],"conf":[0.975,0.779,0.312,0.206,0.272,0.284,0.226,0.165],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":30,"prefix":36,"propose":[{"t":",","src":"ntp"}],"conf":[0.996,0.924,0.254,0.443,0.396,0.198,0.171,0.194],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":31,"prefix":37,"propose":[{"t":" temperature","src":"ntp"}],"conf":[0.971,0.489,0.718,0.364,0.124,0.173,0.22,0.156],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":32,"prefix":38,"propose":[{"t":" FLOAT","src":"ntp"}],"conf":[0.626,0.529,0.269,0.389,0.214,0.276,0.244,0.129],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":33,"prefix":39,"propose":[{"t":");","src":"ntp"}],"conf":[0.901,0.643,0.538,0.419,0.449,0.329,0.171,0.112],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":34,"prefix":40,"propose":[{"t":" INSERT","src":"ntp"}],"conf":[0.9,0.919,0.964,0.411,0.561,0.271,0.305,0.263],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":35,"prefix":41,"propose":[{"t":" INTO","src":"ntp"}],"conf":[1.0,0.993,0.913,0.777,0.271,0.45,0.419,0.356],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":36,"prefix":42,"propose":[{"t":" climate","src":"ntp"}],"conf":[0.999,0.937,0.894,0.556,0.671,0.455,0.463,0.379],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":37,"prefix":43,"propose":[{"t":"_data","src":"ntp"},{"t":" (","src":"ngram"},{"t":"country","src":"ngram"},{"t":" VARCHAR","src":"ngram"},{"t":"(","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"},{"t":"),","src":"ngram"}],"conf":[1.0,0.969,0.585,0.652,0.627,0.518,0.456,0.43],"verdict":{"kept":3,"rollback":true,"fix":","}},{"i":38,"prefix":47,"propose":[{"t":" year","src":"ntp"}],"conf":[1.0,0.991,0.791,0.697,0.553,0.438,0.223,0.188],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":39,"prefix":48,"propose":[{"t":",","src":"ntp"}],"conf":[1.0,0.995,0.934,0.514,0.348,0.211,0.145,0.17],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":40,"prefix":49,"propose":[{"t":" temperature","src":"ntp"},{"t":" FLOAT","src":"ngram"},{"t":");","src":"ngram"},{"t":" INSERT","src":"ngram"},{"t":" INTO","src":"ngram"},{"t":" climate","src":"ngram"},{"t":"_data","src":"ngram"},{"t":" (","src":"ngram"}],"conf":[1.0,0.996,0.835,0.275,0.216,0.254,0.2,0.171],"verdict":{"kept":1,"rollback":true,"fix":")"}},{"i":41,"prefix":51,"propose":[{"t":" VALUES","src":"ntp"}],"conf":[0.999,0.964,0.567,0.592,0.306,0.392,0.451,0.392],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":42,"prefix":52,"propose":[{"t":" ('","src":"ntp"}],"conf":[0.995,0.729,0.654,0.359,0.428,0.502,0.419,0.463],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":43,"prefix":53,"propose":[{"t":"India","src":"ntp"}],"conf":[0.784,0.866,0.464,0.447,0.408,0.362,0.409,0.354],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":44,"prefix":54,"propose":[{"t":"',","src":"ntp"}],"conf":[0.989,0.967,0.513,0.76,0.383,0.268,0.183,0.17],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":45,"prefix":55,"propose":[{"t":" ","src":"ntp"}],"conf":[0.999,0.965,0.875,0.483,0.229,0.179,0.145,0.18],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":46,"prefix":56,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"},{"t":";\n","src":"ngram"},{"t":"CREATE","src":"ngram"},{"t":" TABLE","src":"ngram"},{"t":" climate","src":"ngram"}],"conf":[0.998,0.933,0.624,0.252,0.168,0.153,0.137,0.22],"verdict":{"kept":4,"rollback":true,"fix":","}},{"i":47,"prefix":61,"propose":[{"t":" ","src":"ntp"}],"conf":[0.981,0.309,0.184,0.19,0.255,0.201,0.157,0.13],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":48,"prefix":62,"propose":[{"t":"2","src":"ntp"},{"t":"0","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"},{"t":",","src":"ngram"},{"t":" ","src":"ngram"},{"t":"2","src":"ngram"}],"conf":[0.553,0.246,0.589,0.213,0.204,0.14,0.115,0.113],"verdict":{"kept":1,"rollback":true,"fix":"5"}}]},{"prompt":"p1","mode":"ntp","tau":1.01,"tok_per_fwd":0.985,"forwards":65,"committed":64,"rollbacks":0,"accepted":{"ntp":64,"matp":0,"ngram":0},"text":"SELECT AVG(temperature) FROM climate_data WHERE country = 'India' AND year = 2020;\nCREATE TABLE climate_data (country VARCHAR(20), year INT, temperature FLOAT); INSERT INTO climate_data (country, year, temperature) VALUES ('India', 2020, 25","steps":[{"i":0,"prefix":0,"propose":[{"t":"SELECT","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":1,"prefix":1,"propose":[{"t":" AVG","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":2,"propose":[{"t":"(","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":3,"propose":[{"t":"temperature","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":4,"propose":[{"t":")","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":5,"propose":[{"t":" FROM","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":6,"prefix":6,"propose":[{"t":" climate","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":7,"prefix":7,"propose":[{"t":"_data","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":8,"propose":[{"t":" WHERE","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":9,"prefix":9,"propose":[{"t":" country","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":10,"prefix":10,"propose":[{"t":" =","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":11,"prefix":11,"propose":[{"t":" '","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":12,"prefix":12,"propose":[{"t":"India","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":13,"prefix":13,"propose":[{"t":"'","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":14,"prefix":14,"propose":[{"t":" AND","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":15,"prefix":15,"propose":[{"t":" year","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":16,"prefix":16,"propose":[{"t":" =","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":17,"prefix":17,"propose":[{"t":" ","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":18,"prefix":18,"propose":[{"t":"2","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":19,"prefix":19,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":20,"prefix":20,"propose":[{"t":"2","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":21,"prefix":21,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":22,"prefix":22,"propose":[{"t":";\n","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":23,"prefix":23,"propose":[{"t":"CREATE","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":24,"prefix":24,"propose":[{"t":" TABLE","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":25,"prefix":25,"propose":[{"t":" climate","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":26,"prefix":26,"propose":[{"t":"_data","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":27,"prefix":27,"propose":[{"t":" (","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":28,"prefix":28,"propose":[{"t":"country","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":29,"prefix":29,"propose":[{"t":" VARCHAR","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":30,"prefix":30,"propose":[{"t":"(","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":31,"prefix":31,"propose":[{"t":"2","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":32,"prefix":32,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":33,"prefix":33,"propose":[{"t":"),","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":34,"prefix":34,"propose":[{"t":" year","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":35,"prefix":35,"propose":[{"t":" INT","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":36,"prefix":36,"propose":[{"t":",","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":37,"prefix":37,"propose":[{"t":" temperature","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":38,"prefix":38,"propose":[{"t":" FLOAT","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":39,"prefix":39,"propose":[{"t":");","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":40,"prefix":40,"propose":[{"t":" INSERT","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":41,"prefix":41,"propose":[{"t":" INTO","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":42,"prefix":42,"propose":[{"t":" climate","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":43,"prefix":43,"propose":[{"t":"_data","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":44,"prefix":44,"propose":[{"t":" (","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":45,"prefix":45,"propose":[{"t":"country","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":46,"prefix":46,"propose":[{"t":",","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":47,"prefix":47,"propose":[{"t":" year","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":48,"prefix":48,"propose":[{"t":",","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":49,"prefix":49,"propose":[{"t":" temperature","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":50,"prefix":50,"propose":[{"t":")","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":51,"prefix":51,"propose":[{"t":" VALUES","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":52,"prefix":52,"propose":[{"t":" ('","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":53,"prefix":53,"propose":[{"t":"India","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":54,"prefix":54,"propose":[{"t":"',","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":55,"prefix":55,"propose":[{"t":" ","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":56,"prefix":56,"propose":[{"t":"2","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":57,"prefix":57,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":58,"prefix":58,"propose":[{"t":"2","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":59,"prefix":59,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":60,"prefix":60,"propose":[{"t":",","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":61,"prefix":61,"propose":[{"t":" ","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":62,"prefix":62,"propose":[{"t":"2","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":63,"prefix":63,"propose":[{"t":"5","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}}]},{"prompt":"p2","mode":"union","tau":0.5,"tok_per_fwd":1.882,"forwards":34,"committed":64,"rollbacks":8,"accepted":{"ntp":33,"matp":14,"ngram":17},"text":";\n\nSELECT AVG(price) FROM products WHERE category = 'Electronics' AND created_at >= DATE '2025-01-01' AND created_at < DATE '2025-01-02' AND category = 'Electronics' AND product_id IN (SELECT product_id FROM","steps":[{"i":0,"prefix":0,"propose":[{"t":";\n\n","src":"ntp"},{"t":"CREATE","src":"matp"},{"t":" unit","src":"ngram"},{"t":"_price","src":"ngram"},{"t":",","src":"ngram"},{"t":" name","src":"ngram"},{"t":",","src":"ngram"},{"t":" sku","src":"ngram"}],"conf":[0.615,0.616,0.455,0.182,0.096,0.11,0.144,0.15],"verdict":{"kept":1,"rollback":true,"fix":"SELECT"}},{"i":1,"prefix":2,"propose":[{"t":" AVG","src":"ntp"}],"conf":[0.062,0.353,0.374,0.151,0.123,0.113,0.09,0.073],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":3,"propose":[{"t":"(price","src":"ntp"}],"conf":[0.14,0.081,0.233,0.226,0.179,0.105,0.069,0.061],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":4,"propose":[{"t":")","src":"ntp"}],"conf":[0.892,0.328,0.171,0.101,0.083,0.087,0.086,0.074],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":5,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.862,0.062,0.047,0.106,0.171,0.148,0.107,0.073],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":6,"propose":[{"t":" products","src":"ntp"},{"t":" WHERE","src":"matp"}],"conf":[0.153,0.548,0.3,0.129,0.214,0.172,0.147,0.1],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":6,"prefix":8,"propose":[{"t":" category","src":"ntp"},{"t":" =","src":"matp"},{"t":" '","src":"matp"}],"conf":[0.142,0.52,0.641,0.338,0.064,0.06,0.07,0.053],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":7,"prefix":11,"propose":[{"t":"Elect","src":"ntp"}],"conf":[0.057,0.067,0.326,0.216,0.1,0.133,0.099,0.065],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":12,"propose":[{"t":"ronics","src":"ntp"}],"conf":[0.99,0.177,0.232,0.135,0.107,0.13,0.085,0.079],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":9,"prefix":13,"propose":[{"t":"'","src":"ntp"}],"conf":[0.679,0.4,0.085,0.153,0.123,0.104,0.077,0.079],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":10,"prefix":14,"propose":[{"t":" AND","src":"ntp"}],"conf":[0.949,0.159,0.211,0.172,0.302,0.238,0.166,0.121],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":11,"prefix":15,"propose":[{"t":" created","src":"ntp"},{"t":"_at","src":"ngram"},{"t":" >=","src":"ngram"},{"t":" DATE","src":"ngram"},{"t":" '","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"},{"t":"2","src":"ngram"}],"conf":[0.186,0.25,0.353,0.349,0.337,0.161,0.193,0.166],"verdict":{"kept":8,"rollback":false,"fix":null}},{"i":12,"prefix":23,"propose":[{"t":"5","src":"ntp"},{"t":"-","src":"matp"},{"t":"0","src":"matp"},{"t":"1","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"'\n","src":"ngram"}],"conf":[0.791,0.965,0.604,0.441,0.342,0.317,0.292,0.269],"verdict":{"kept":7,"rollback":true,"fix":"'"}},{"i":13,"prefix":31,"propose":[{"t":" AND","src":"ntp"},{"t":" created","src":"ngram"},{"t":"_at","src":"ngram"},{"t":" >=","src":"ngram"},{"t":" DATE","src":"ngram"},{"t":" '","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"}],"conf":[0.828,0.262,0.167,0.161,0.115,0.068,0.049,0.051],"verdict":{"kept":3,"rollback":true,"fix":" <"}},{"i":14,"prefix":35,"propose":[{"t":" DATE","src":"ntp"}],"conf":[0.952,0.427,0.506,0.488,0.508,0.343,0.323,0.237],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":15,"prefix":36,"propose":[{"t":" '","src":"ntp"},{"t":"2","src":"matp"},{"t":"0","src":"matp"},{"t":"2","src":"matp"},{"t":"-","src":"matp"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"}],"conf":[0.891,0.925,0.858,0.52,0.564,0.365,0.383,0.385],"verdict":{"kept":4,"rollback":true,"fix":"5"}},{"i":16,"prefix":41,"propose":[{"t":"-","src":"ntp"},{"t":"0","src":"matp"},{"t":"1","src":"matp"},{"t":"-","src":"matp"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"'","src":"ngram"},{"t":" AND","src":"ngram"}],"conf":[0.999,0.82,0.564,0.749,0.4,0.326,0.343,0.337],"verdict":{"kept":5,"rollback":true,"fix":"2"}},{"i":17,"prefix":47,"propose":[{"t":"'","src":"ntp"},{"t":"CREATE","src":"matp"}],"conf":[0.582,0.696,0.375,0.184,0.161,0.119,0.097,0.099],"verdict":{"kept":1,"rollback":true,"fix":" AND"}},{"i":18,"prefix":49,"propose":[{"t":" category","src":"ntp"}],"conf":[0.212,0.188,0.204,0.333,0.105,0.101,0.118,0.157],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":19,"prefix":50,"propose":[{"t":" =","src":"ntp"},{"t":" '","src":"matp"},{"t":"Elect","src":"matp"},{"t":"ronics","src":"ngram"},{"t":"'","src":"ngram"},{"t":" AND","src":"ngram"},{"t":" created","src":"ngram"},{"t":"_at","src":"ngram"}],"conf":[0.686,0.768,0.633,0.077,0.293,0.237,0.284,0.153],"verdict":{"kept":6,"rollback":true,"fix":" product"}},{"i":20,"prefix":57,"propose":[{"t":"_id","src":"ntp"}],"conf":[0.326,0.325,0.371,0.093,0.137,0.18,0.162,0.112],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":21,"prefix":58,"propose":[{"t":" IN","src":"ntp"},{"t":" ","src":"matp"}],"conf":[0.359,0.732,0.317,0.128,0.086,0.087,0.09,0.086],"verdict":{"kept":1,"rollback":true,"fix":" ("}},{"i":22,"prefix":60,"propose":[{"t":"SELECT","src":"ntp"}],"conf":[0.77,0.47,0.293,0.242,0.167,0.122,0.112,0.077],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":23,"prefix":61,"propose":[{"t":" product","src":"ntp"},{"t":"_id","src":"matp"}],"conf":[0.52,0.65,0.348,0.154,0.185,0.191,0.161,0.131],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":24,"prefix":63,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.986,0.262,0.092,0.11,0.076,0.048,0.051,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}}]},{"prompt":"p2","mode":"union","tau":0.6,"tok_per_fwd":1.829,"forwards":35,"committed":64,"rollbacks":7,"accepted":{"ntp":34,"matp":8,"ngram":22},"text":";\n\nSELECT AVG(price) FROM products WHERE category = 'Electronics' AND created_at >= DATE '2025-01-01' AND created_at < DATE '2025-01-02' AND category = 'Electronics' AND product_id IN (SELECT product_id FROM","steps":[{"i":0,"prefix":0,"propose":[{"t":";\n\n","src":"ntp"},{"t":"CREATE","src":"matp"},{"t":" unit","src":"ngram"},{"t":"_price","src":"ngram"},{"t":",","src":"ngram"},{"t":" name","src":"ngram"},{"t":",","src":"ngram"},{"t":" sku","src":"ngram"}],"conf":[0.615,0.616,0.455,0.182,0.096,0.11,0.144,0.15],"verdict":{"kept":1,"rollback":true,"fix":"SELECT"}},{"i":1,"prefix":2,"propose":[{"t":" AVG","src":"ntp"}],"conf":[0.062,0.353,0.374,0.151,0.123,0.113,0.09,0.073],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":3,"propose":[{"t":"(price","src":"ntp"}],"conf":[0.14,0.081,0.233,0.226,0.179,0.105,0.069,0.061],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":4,"propose":[{"t":")","src":"ntp"}],"conf":[0.892,0.328,0.171,0.101,0.083,0.087,0.086,0.074],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":5,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.862,0.062,0.047,0.106,0.171,0.148,0.107,0.073],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":6,"propose":[{"t":" products","src":"ntp"}],"conf":[0.153,0.548,0.3,0.129,0.214,0.172,0.147,0.1],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":6,"prefix":7,"propose":[{"t":" WHERE","src":"ntp"}],"conf":[0.857,0.153,0.16,0.249,0.252,0.172,0.104,0.067],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":7,"prefix":8,"propose":[{"t":" category","src":"ntp"}],"conf":[0.142,0.52,0.641,0.338,0.064,0.06,0.07,0.053],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":9,"propose":[{"t":" =","src":"ntp"},{"t":" '","src":"matp"}],"conf":[0.962,0.958,0.048,0.078,0.161,0.118,0.125,0.088],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":9,"prefix":11,"propose":[{"t":"Elect","src":"ntp"}],"conf":[0.057,0.067,0.326,0.216,0.1,0.133,0.099,0.065],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":10,"prefix":12,"propose":[{"t":"ronics","src":"ntp"}],"conf":[0.99,0.177,0.232,0.135,0.107,0.13,0.085,0.079],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":11,"prefix":13,"propose":[{"t":"'","src":"ntp"}],"conf":[0.679,0.4,0.085,0.153,0.123,0.104,0.077,0.079],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":12,"prefix":14,"propose":[{"t":" AND","src":"ntp"}],"conf":[0.949,0.159,0.211,0.172,0.302,0.238,0.166,0.121],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":13,"prefix":15,"propose":[{"t":" created","src":"ntp"},{"t":"_at","src":"ngram"},{"t":" >=","src":"ngram"},{"t":" DATE","src":"ngram"},{"t":" '","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"},{"t":"2","src":"ngram"}],"conf":[0.186,0.25,0.353,0.349,0.337,0.161,0.193,0.166],"verdict":{"kept":8,"rollback":false,"fix":null}},{"i":14,"prefix":23,"propose":[{"t":"5","src":"ntp"},{"t":"-","src":"matp"},{"t":"0","src":"matp"},{"t":"1","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"'\n","src":"ngram"}],"conf":[0.791,0.965,0.604,0.441,0.342,0.317,0.292,0.269],"verdict":{"kept":7,"rollback":true,"fix":"'"}},{"i":15,"prefix":31,"propose":[{"t":" AND","src":"ntp"},{"t":" created","src":"ngram"},{"t":"_at","src":"ngram"},{"t":" >=","src":"ngram"},{"t":" DATE","src":"ngram"},{"t":" '","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"}],"conf":[0.828,0.262,0.167,0.161,0.115,0.068,0.049,0.051],"verdict":{"kept":3,"rollback":true,"fix":" <"}},{"i":16,"prefix":35,"propose":[{"t":" DATE","src":"ntp"}],"conf":[0.952,0.427,0.506,0.488,0.508,0.343,0.323,0.237],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":17,"prefix":36,"propose":[{"t":" '","src":"ntp"},{"t":"2","src":"matp"},{"t":"0","src":"matp"},{"t":"2","src":"ngram"},{"t":"5","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"}],"conf":[0.891,0.925,0.858,0.52,0.564,0.365,0.383,0.385],"verdict":{"kept":8,"rollback":false,"fix":null}},{"i":18,"prefix":44,"propose":[{"t":"-","src":"ntp"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"'","src":"ngram"},{"t":" AND","src":"ngram"},{"t":" created","src":"ngram"},{"t":"_at","src":"ngram"},{"t":" <","src":"ngram"}],"conf":[0.999,0.506,0.567,0.497,0.485,0.242,0.133,0.127],"verdict":{"kept":2,"rollback":true,"fix":"2"}},{"i":19,"prefix":47,"propose":[{"t":"'","src":"ntp"},{"t":"CREATE","src":"matp"}],"conf":[0.582,0.696,0.375,0.184,0.161,0.119,0.097,0.099],"verdict":{"kept":1,"rollback":true,"fix":" AND"}},{"i":20,"prefix":49,"propose":[{"t":" category","src":"ntp"}],"conf":[0.212,0.188,0.204,0.333,0.105,0.101,0.118,0.157],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":21,"prefix":50,"propose":[{"t":" =","src":"ntp"},{"t":" '","src":"matp"},{"t":"Elect","src":"matp"},{"t":"ronics","src":"ngram"},{"t":"'","src":"ngram"},{"t":" AND","src":"ngram"},{"t":" created","src":"ngram"},{"t":"_at","src":"ngram"}],"conf":[0.686,0.768,0.633,0.077,0.293,0.237,0.284,0.153],"verdict":{"kept":6,"rollback":true,"fix":" product"}},{"i":22,"prefix":57,"propose":[{"t":"_id","src":"ntp"}],"conf":[0.326,0.325,0.371,0.093,0.137,0.18,0.162,0.112],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":23,"prefix":58,"propose":[{"t":" IN","src":"ntp"},{"t":" ","src":"matp"}],"conf":[0.359,0.732,0.317,0.128,0.086,0.087,0.09,0.086],"verdict":{"kept":1,"rollback":true,"fix":" ("}},{"i":24,"prefix":60,"propose":[{"t":"SELECT","src":"ntp"}],"conf":[0.77,0.47,0.293,0.242,0.167,0.122,0.112,0.077],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":25,"prefix":61,"propose":[{"t":" product","src":"ntp"},{"t":"_id","src":"matp"}],"conf":[0.52,0.65,0.348,0.154,0.185,0.191,0.161,0.131],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":26,"prefix":63,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.986,0.262,0.092,0.11,0.076,0.048,0.051,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}}]},{"prompt":"p2","mode":"union","tau":0.9,"tok_per_fwd":1.882,"forwards":34,"committed":64,"rollbacks":7,"accepted":{"ntp":34,"matp":3,"ngram":27},"text":";\n\nSELECT AVG(price) FROM products WHERE category = 'Electronics' AND created_at >= DATE '2025-01-01' AND created_at < DATE '2025-01-02' AND category = 'Electronics' AND product_id IN (SELECT product_id FROM","steps":[{"i":0,"prefix":0,"propose":[{"t":";\n\n","src":"ntp"},{"t":"SELECT","src":"ngram"},{"t":" unit","src":"ngram"},{"t":"_price","src":"ngram"},{"t":",","src":"ngram"},{"t":" name","src":"ngram"},{"t":",","src":"ngram"},{"t":" sku","src":"ngram"}],"conf":[0.615,0.616,0.455,0.182,0.096,0.11,0.144,0.15],"verdict":{"kept":2,"rollback":true,"fix":" AVG"}},{"i":1,"prefix":3,"propose":[{"t":"(price","src":"ntp"}],"conf":[0.14,0.081,0.233,0.226,0.179,0.105,0.069,0.061],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":4,"propose":[{"t":")","src":"ntp"}],"conf":[0.892,0.328,0.171,0.101,0.083,0.087,0.086,0.074],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":5,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.862,0.062,0.047,0.106,0.171,0.148,0.107,0.073],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":6,"propose":[{"t":" products","src":"ntp"}],"conf":[0.153,0.548,0.3,0.129,0.214,0.172,0.147,0.1],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":7,"propose":[{"t":" WHERE","src":"ntp"}],"conf":[0.857,0.153,0.16,0.249,0.252,0.172,0.104,0.067],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":6,"prefix":8,"propose":[{"t":" category","src":"ntp"}],"conf":[0.142,0.52,0.641,0.338,0.064,0.06,0.07,0.053],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":7,"prefix":9,"propose":[{"t":" =","src":"ntp"},{"t":" '","src":"matp"}],"conf":[0.962,0.958,0.048,0.078,0.161,0.118,0.125,0.088],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":8,"prefix":11,"propose":[{"t":"Elect","src":"ntp"}],"conf":[0.057,0.067,0.326,0.216,0.1,0.133,0.099,0.065],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":9,"prefix":12,"propose":[{"t":"ronics","src":"ntp"}],"conf":[0.99,0.177,0.232,0.135,0.107,0.13,0.085,0.079],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":10,"prefix":13,"propose":[{"t":"'","src":"ntp"}],"conf":[0.679,0.4,0.085,0.153,0.123,0.104,0.077,0.079],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":11,"prefix":14,"propose":[{"t":" AND","src":"ntp"}],"conf":[0.949,0.159,0.211,0.172,0.302,0.238,0.166,0.121],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":12,"prefix":15,"propose":[{"t":" created","src":"ntp"},{"t":"_at","src":"ngram"},{"t":" >=","src":"ngram"},{"t":" DATE","src":"ngram"},{"t":" '","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"},{"t":"2","src":"ngram"}],"conf":[0.186,0.25,0.353,0.349,0.337,0.161,0.193,0.166],"verdict":{"kept":8,"rollback":false,"fix":null}},{"i":13,"prefix":23,"propose":[{"t":"5","src":"ntp"},{"t":"-","src":"matp"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"'\n","src":"ngram"}],"conf":[0.791,0.965,0.604,0.441,0.342,0.317,0.292,0.269],"verdict":{"kept":7,"rollback":true,"fix":"'"}},{"i":14,"prefix":31,"propose":[{"t":" AND","src":"ntp"},{"t":" created","src":"ngram"},{"t":"_at","src":"ngram"},{"t":" >=","src":"ngram"},{"t":" DATE","src":"ngram"},{"t":" '","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"}],"conf":[0.828,0.262,0.167,0.161,0.115,0.068,0.049,0.051],"verdict":{"kept":3,"rollback":true,"fix":" <"}},{"i":15,"prefix":35,"propose":[{"t":" DATE","src":"ntp"}],"conf":[0.952,0.427,0.506,0.488,0.508,0.343,0.323,0.237],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":16,"prefix":36,"propose":[{"t":" '","src":"ntp"},{"t":"2","src":"matp"},{"t":"0","src":"ngram"},{"t":"2","src":"ngram"},{"t":"5","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"}],"conf":[0.891,0.925,0.858,0.52,0.564,0.365,0.383,0.385],"verdict":{"kept":8,"rollback":false,"fix":null}},{"i":17,"prefix":44,"propose":[{"t":"-","src":"ntp"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"'","src":"ngram"},{"t":" AND","src":"ngram"},{"t":" created","src":"ngram"},{"t":"_at","src":"ngram"},{"t":" <","src":"ngram"}],"conf":[0.999,0.506,0.567,0.497,0.485,0.242,0.133,0.127],"verdict":{"kept":2,"rollback":true,"fix":"2"}},{"i":18,"prefix":47,"propose":[{"t":"'","src":"ntp"}],"conf":[0.582,0.696,0.375,0.184,0.161,0.119,0.097,0.099],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":19,"prefix":48,"propose":[{"t":" AND","src":"ntp"},{"t":" created","src":"ngram"},{"t":"_at","src":"ngram"},{"t":" <","src":"ngram"},{"t":" DATE","src":"ngram"},{"t":" '","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"}],"conf":[0.392,0.693,0.221,0.163,0.136,0.084,0.082,0.084],"verdict":{"kept":1,"rollback":true,"fix":" category"}},{"i":20,"prefix":50,"propose":[{"t":" =","src":"ntp"},{"t":" '","src":"ngram"},{"t":"Elect","src":"ngram"},{"t":"ronics","src":"ngram"},{"t":"'","src":"ngram"},{"t":" AND","src":"ngram"},{"t":" created","src":"ngram"},{"t":"_at","src":"ngram"}],"conf":[0.686,0.768,0.633,0.077,0.293,0.237,0.284,0.153],"verdict":{"kept":6,"rollback":true,"fix":" product"}},{"i":21,"prefix":57,"propose":[{"t":"_id","src":"ntp"}],"conf":[0.326,0.325,0.371,0.093,0.137,0.18,0.162,0.112],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":22,"prefix":58,"propose":[{"t":" IN","src":"ntp"}],"conf":[0.359,0.732,0.317,0.128,0.086,0.087,0.09,0.086],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":23,"prefix":59,"propose":[{"t":" (","src":"ntp"}],"conf":[0.977,0.307,0.242,0.201,0.189,0.132,0.085,0.087],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":24,"prefix":60,"propose":[{"t":"SELECT","src":"ntp"}],"conf":[0.77,0.47,0.293,0.242,0.167,0.122,0.112,0.077],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":25,"prefix":61,"propose":[{"t":" product","src":"ntp"}],"conf":[0.52,0.65,0.348,0.154,0.185,0.191,0.161,0.131],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":26,"prefix":62,"propose":[{"t":"_id","src":"ntp"},{"t":" IN","src":"ngram"},{"t":" (","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" product","src":"ngram"},{"t":"_id","src":"ngram"}],"conf":[0.985,0.659,0.406,0.125,0.171,0.132,0.1,0.089],"verdict":{"kept":1,"rollback":true,"fix":" FROM"}}]},{"prompt":"p2","mode":"matp","tau":0.5,"tok_per_fwd":1.455,"forwards":44,"committed":64,"rollbacks":7,"accepted":{"ntp":43,"matp":21,"ngram":0},"text":";\n\nSELECT AVG(price) FROM products WHERE category = 'Electronics' AND created_at >= DATE '2025-01-01' AND created_at < DATE '2025-01-02' AND category = 'Electronics' AND product_id IN (SELECT product_id FROM","steps":[{"i":0,"prefix":0,"propose":[{"t":";\n\n","src":"ntp"},{"t":"CREATE","src":"matp"}],"conf":[0.615,0.616,0.455,0.182,0.096,0.11,0.144,0.15],"verdict":{"kept":1,"rollback":true,"fix":"SELECT"}},{"i":1,"prefix":2,"propose":[{"t":" AVG","src":"ntp"}],"conf":[0.062,0.353,0.374,0.151,0.123,0.113,0.09,0.073],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":3,"propose":[{"t":"(price","src":"ntp"}],"conf":[0.14,0.081,0.233,0.226,0.179,0.105,0.069,0.061],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":4,"propose":[{"t":")","src":"ntp"}],"conf":[0.892,0.328,0.171,0.101,0.083,0.087,0.086,0.074],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":5,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.862,0.062,0.047,0.106,0.171,0.148,0.107,0.073],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":6,"propose":[{"t":" products","src":"ntp"},{"t":" WHERE","src":"matp"}],"conf":[0.153,0.548,0.3,0.129,0.214,0.172,0.147,0.1],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":6,"prefix":8,"propose":[{"t":" category","src":"ntp"},{"t":" =","src":"matp"},{"t":" '","src":"matp"}],"conf":[0.142,0.52,0.641,0.338,0.064,0.06,0.07,0.053],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":7,"prefix":11,"propose":[{"t":"Elect","src":"ntp"}],"conf":[0.057,0.067,0.326,0.216,0.1,0.133,0.099,0.065],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":12,"propose":[{"t":"ronics","src":"ntp"}],"conf":[0.99,0.177,0.232,0.135,0.107,0.13,0.085,0.079],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":9,"prefix":13,"propose":[{"t":"'","src":"ntp"}],"conf":[0.679,0.4,0.085,0.153,0.123,0.104,0.077,0.079],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":10,"prefix":14,"propose":[{"t":" AND","src":"ntp"}],"conf":[0.949,0.159,0.211,0.172,0.302,0.238,0.166,0.121],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":11,"prefix":15,"propose":[{"t":" created","src":"ntp"}],"conf":[0.186,0.25,0.353,0.349,0.337,0.161,0.193,0.166],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":12,"prefix":16,"propose":[{"t":"_at","src":"ntp"},{"t":" >=","src":"matp"},{"t":" '","src":"matp"},{"t":"2","src":"matp"}],"conf":[0.917,0.642,0.542,0.806,0.496,0.274,0.23,0.196],"verdict":{"kept":2,"rollback":true,"fix":" DATE"}},{"i":13,"prefix":19,"propose":[{"t":" '","src":"ntp"},{"t":"2","src":"matp"},{"t":"0","src":"matp"},{"t":"-","src":"matp"}],"conf":[0.666,0.952,0.808,0.549,0.409,0.373,0.383,0.301],"verdict":{"kept":3,"rollback":true,"fix":"2"}},{"i":14,"prefix":23,"propose":[{"t":"5","src":"ntp"},{"t":"-","src":"matp"},{"t":"0","src":"matp"}],"conf":[0.791,0.965,0.604,0.441,0.342,0.317,0.292,0.269],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":15,"prefix":26,"propose":[{"t":"1","src":"ntp"},{"t":"-","src":"matp"}],"conf":[0.946,0.927,0.333,0.422,0.392,0.269,0.138,0.115],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":16,"prefix":28,"propose":[{"t":"0","src":"ntp"},{"t":"1","src":"matp"},{"t":"'","src":"matp"}],"conf":[0.979,0.83,0.579,0.496,0.171,0.142,0.123,0.083],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":17,"prefix":31,"propose":[{"t":" AND","src":"ntp"}],"conf":[0.828,0.262,0.167,0.161,0.115,0.068,0.049,0.051],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":18,"prefix":32,"propose":[{"t":" created","src":"ntp"}],"conf":[0.136,0.175,0.171,0.39,0.167,0.135,0.134,0.157],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":19,"prefix":33,"propose":[{"t":"_at","src":"ntp"}],"conf":[0.959,0.288,0.349,0.384,0.379,0.298,0.157,0.108],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":20,"prefix":34,"propose":[{"t":" <","src":"ntp"}],"conf":[0.715,0.265,0.487,0.419,0.368,0.287,0.236,0.195],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":21,"prefix":35,"propose":[{"t":" DATE","src":"ntp"}],"conf":[0.952,0.427,0.506,0.488,0.508,0.343,0.323,0.237],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":22,"prefix":36,"propose":[{"t":" '","src":"ntp"},{"t":"2","src":"matp"},{"t":"0","src":"matp"},{"t":"2","src":"matp"},{"t":"-","src":"matp"}],"conf":[0.891,0.925,0.858,0.52,0.564,0.365,0.383,0.385],"verdict":{"kept":4,"rollback":true,"fix":"5"}},{"i":23,"prefix":41,"propose":[{"t":"-","src":"ntp"},{"t":"0","src":"matp"},{"t":"1","src":"matp"},{"t":"-","src":"matp"}],"conf":[0.999,0.82,0.564,0.749,0.4,0.326,0.343,0.337],"verdict":{"kept":4,"rollback":false,"fix":null}},{"i":24,"prefix":45,"propose":[{"t":"0","src":"ntp"}],"conf":[0.607,0.317,0.54,0.542,0.173,0.151,0.121,0.094],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":25,"prefix":46,"propose":[{"t":"2","src":"ntp"},{"t":"'","src":"matp"},{"t":"CREATE","src":"matp"}],"conf":[0.713,0.62,0.508,0.307,0.14,0.138,0.105,0.084],"verdict":{"kept":2,"rollback":true,"fix":" AND"}},{"i":26,"prefix":49,"propose":[{"t":" category","src":"ntp"}],"conf":[0.212,0.188,0.204,0.333,0.105,0.101,0.118,0.157],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":27,"prefix":50,"propose":[{"t":" =","src":"ntp"},{"t":" '","src":"matp"},{"t":"Elect","src":"matp"}],"conf":[0.686,0.768,0.633,0.077,0.293,0.237,0.284,0.153],"verdict":{"kept":3,"rollback":false,"fix":null}},{"i":28,"prefix":53,"propose":[{"t":"ronics","src":"ntp"}],"conf":[0.997,0.499,0.466,0.279,0.175,0.163,0.119,0.094],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":29,"prefix":54,"propose":[{"t":"'","src":"ntp"},{"t":"CREATE","src":"matp"}],"conf":[0.517,0.713,0.213,0.154,0.132,0.096,0.093,0.104],"verdict":{"kept":1,"rollback":true,"fix":" AND"}},{"i":30,"prefix":56,"propose":[{"t":" product","src":"ntp"}],"conf":[0.198,0.188,0.331,0.195,0.12,0.134,0.146,0.113],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":31,"prefix":57,"propose":[{"t":"_id","src":"ntp"}],"conf":[0.326,0.325,0.371,0.093,0.137,0.18,0.162,0.112],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":32,"prefix":58,"propose":[{"t":" IN","src":"ntp"},{"t":" ","src":"matp"}],"conf":[0.359,0.732,0.317,0.128,0.086,0.087,0.09,0.086],"verdict":{"kept":1,"rollback":true,"fix":" ("}},{"i":33,"prefix":60,"propose":[{"t":"SELECT","src":"ntp"}],"conf":[0.77,0.47,0.293,0.242,0.167,0.122,0.112,0.077],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":34,"prefix":61,"propose":[{"t":" product","src":"ntp"},{"t":"_id","src":"matp"}],"conf":[0.52,0.65,0.348,0.154,0.185,0.191,0.161,0.131],"verdict":{"kept":2,"rollback":false,"fix":null}},{"i":35,"prefix":63,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.986,0.262,0.092,0.11,0.076,0.048,0.051,0.063],"verdict":{"kept":1,"rollback":false,"fix":null}}]},{"prompt":"p2","mode":"ngram","tau":0.9,"tok_per_fwd":1.829,"forwards":35,"committed":64,"rollbacks":8,"accepted":{"ntp":35,"matp":0,"ngram":29},"text":";\n\nSELECT AVG(price) FROM products WHERE category = 'Electronics' AND created_at >= DATE '2025-01-01' AND created_at < DATE '2025-01-02' AND category = 'Electronics' AND product_id IN (SELECT product_id FROM","steps":[{"i":0,"prefix":0,"propose":[{"t":";\n\n","src":"ntp"},{"t":"SELECT","src":"ngram"},{"t":" unit","src":"ngram"},{"t":"_price","src":"ngram"},{"t":",","src":"ngram"},{"t":" name","src":"ngram"},{"t":",","src":"ngram"},{"t":" sku","src":"ngram"}],"conf":[0.615,0.616,0.455,0.182,0.096,0.11,0.144,0.15],"verdict":{"kept":2,"rollback":true,"fix":" AVG"}},{"i":1,"prefix":3,"propose":[{"t":"(price","src":"ntp"}],"conf":[0.14,0.081,0.233,0.226,0.179,0.105,0.069,0.061],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":4,"propose":[{"t":")","src":"ntp"}],"conf":[0.892,0.328,0.171,0.101,0.083,0.087,0.086,0.074],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":5,"propose":[{"t":" FROM","src":"ntp"}],"conf":[0.862,0.062,0.047,0.106,0.171,0.148,0.107,0.073],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":6,"propose":[{"t":" products","src":"ntp"}],"conf":[0.153,0.548,0.3,0.129,0.214,0.172,0.147,0.1],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":7,"propose":[{"t":" WHERE","src":"ntp"}],"conf":[0.857,0.153,0.16,0.249,0.252,0.172,0.104,0.067],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":6,"prefix":8,"propose":[{"t":" category","src":"ntp"}],"conf":[0.142,0.52,0.641,0.338,0.064,0.06,0.07,0.053],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":7,"prefix":9,"propose":[{"t":" =","src":"ntp"}],"conf":[0.962,0.958,0.048,0.078,0.161,0.118,0.125,0.088],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":10,"propose":[{"t":" '","src":"ntp"},{"t":"9","src":"ngram"},{"t":"9","src":"ngram"},{"t":"0","src":"ngram"},{"t":"4","src":"ngram"},{"t":"'\n","src":"ngram"},{"t":" ","src":"ngram"},{"t":" AND","src":"ngram"}],"conf":[0.997,0.085,0.079,0.205,0.133,0.076,0.075,0.067],"verdict":{"kept":1,"rollback":true,"fix":"Elect"}},{"i":9,"prefix":12,"propose":[{"t":"ronics","src":"ntp"}],"conf":[0.99,0.177,0.232,0.135,0.107,0.13,0.085,0.079],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":10,"prefix":13,"propose":[{"t":"'","src":"ntp"}],"conf":[0.679,0.4,0.085,0.153,0.123,0.104,0.077,0.079],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":11,"prefix":14,"propose":[{"t":" AND","src":"ntp"}],"conf":[0.949,0.159,0.211,0.172,0.302,0.238,0.166,0.121],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":12,"prefix":15,"propose":[{"t":" created","src":"ntp"},{"t":"_at","src":"ngram"},{"t":" >=","src":"ngram"},{"t":" DATE","src":"ngram"},{"t":" '","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"},{"t":"2","src":"ngram"}],"conf":[0.186,0.25,0.353,0.349,0.337,0.161,0.193,0.166],"verdict":{"kept":8,"rollback":false,"fix":null}},{"i":13,"prefix":23,"propose":[{"t":"5","src":"ntp"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"'\n","src":"ngram"}],"conf":[0.791,0.965,0.604,0.441,0.342,0.317,0.292,0.269],"verdict":{"kept":7,"rollback":true,"fix":"'"}},{"i":14,"prefix":31,"propose":[{"t":" AND","src":"ntp"},{"t":" created","src":"ngram"},{"t":"_at","src":"ngram"},{"t":" >=","src":"ngram"},{"t":" DATE","src":"ngram"},{"t":" '","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"}],"conf":[0.828,0.262,0.167,0.161,0.115,0.068,0.049,0.051],"verdict":{"kept":3,"rollback":true,"fix":" <"}},{"i":15,"prefix":35,"propose":[{"t":" DATE","src":"ntp"}],"conf":[0.952,0.427,0.506,0.488,0.508,0.343,0.323,0.237],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":16,"prefix":36,"propose":[{"t":" '","src":"ntp"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"},{"t":"2","src":"ngram"},{"t":"5","src":"ngram"},{"t":"-","src":"ngram"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"}],"conf":[0.891,0.925,0.858,0.52,0.564,0.365,0.383,0.385],"verdict":{"kept":8,"rollback":false,"fix":null}},{"i":17,"prefix":44,"propose":[{"t":"-","src":"ntp"},{"t":"0","src":"ngram"},{"t":"1","src":"ngram"},{"t":"'","src":"ngram"},{"t":" AND","src":"ngram"},{"t":" created","src":"ngram"},{"t":"_at","src":"ngram"},{"t":" <","src":"ngram"}],"conf":[0.999,0.506,0.567,0.497,0.485,0.242,0.133,0.127],"verdict":{"kept":2,"rollback":true,"fix":"2"}},{"i":18,"prefix":47,"propose":[{"t":"'","src":"ntp"}],"conf":[0.582,0.696,0.375,0.184,0.161,0.119,0.097,0.099],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":19,"prefix":48,"propose":[{"t":" AND","src":"ntp"},{"t":" created","src":"ngram"},{"t":"_at","src":"ngram"},{"t":" <","src":"ngram"},{"t":" DATE","src":"ngram"},{"t":" '","src":"ngram"},{"t":"2","src":"ngram"},{"t":"0","src":"ngram"}],"conf":[0.392,0.693,0.221,0.163,0.136,0.084,0.082,0.084],"verdict":{"kept":1,"rollback":true,"fix":" category"}},{"i":20,"prefix":50,"propose":[{"t":" =","src":"ntp"},{"t":" '","src":"ngram"},{"t":"Elect","src":"ngram"},{"t":"ronics","src":"ngram"},{"t":"'","src":"ngram"},{"t":" AND","src":"ngram"},{"t":" created","src":"ngram"},{"t":"_at","src":"ngram"}],"conf":[0.686,0.768,0.633,0.077,0.293,0.237,0.284,0.153],"verdict":{"kept":6,"rollback":true,"fix":" product"}},{"i":21,"prefix":57,"propose":[{"t":"_id","src":"ntp"}],"conf":[0.326,0.325,0.371,0.093,0.137,0.18,0.162,0.112],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":22,"prefix":58,"propose":[{"t":" IN","src":"ntp"}],"conf":[0.359,0.732,0.317,0.128,0.086,0.087,0.09,0.086],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":23,"prefix":59,"propose":[{"t":" (","src":"ntp"}],"conf":[0.977,0.307,0.242,0.201,0.189,0.132,0.085,0.087],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":24,"prefix":60,"propose":[{"t":"SELECT","src":"ntp"}],"conf":[0.77,0.47,0.293,0.242,0.167,0.122,0.112,0.077],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":25,"prefix":61,"propose":[{"t":" product","src":"ntp"}],"conf":[0.52,0.65,0.348,0.154,0.185,0.191,0.161,0.131],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":26,"prefix":62,"propose":[{"t":"_id","src":"ntp"},{"t":" IN","src":"ngram"},{"t":" (","src":"ngram"},{"t":"SELECT","src":"ngram"},{"t":" product","src":"ngram"},{"t":"_id","src":"ngram"}],"conf":[0.985,0.659,0.406,0.125,0.171,0.132,0.1,0.089],"verdict":{"kept":1,"rollback":true,"fix":" FROM"}}]},{"prompt":"p2","mode":"ntp","tau":1.01,"tok_per_fwd":0.985,"forwards":65,"committed":64,"rollbacks":0,"accepted":{"ntp":64,"matp":0,"ngram":0},"text":";\n\nSELECT AVG(price) FROM products WHERE category = 'Electronics' AND created_at >= DATE '2025-01-01' AND created_at < DATE '2025-01-02' AND category = 'Electronics' AND product_id IN (SELECT product_id FROM","steps":[{"i":0,"prefix":0,"propose":[{"t":";\n\n","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":1,"prefix":1,"propose":[{"t":"SELECT","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":2,"prefix":2,"propose":[{"t":" AVG","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":3,"prefix":3,"propose":[{"t":"(price","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":4,"prefix":4,"propose":[{"t":")","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":5,"prefix":5,"propose":[{"t":" FROM","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":6,"prefix":6,"propose":[{"t":" products","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":7,"prefix":7,"propose":[{"t":" WHERE","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":8,"prefix":8,"propose":[{"t":" category","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":9,"prefix":9,"propose":[{"t":" =","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":10,"prefix":10,"propose":[{"t":" '","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":11,"prefix":11,"propose":[{"t":"Elect","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":12,"prefix":12,"propose":[{"t":"ronics","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":13,"prefix":13,"propose":[{"t":"'","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":14,"prefix":14,"propose":[{"t":" AND","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":15,"prefix":15,"propose":[{"t":" created","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":16,"prefix":16,"propose":[{"t":"_at","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":17,"prefix":17,"propose":[{"t":" >=","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":18,"prefix":18,"propose":[{"t":" DATE","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":19,"prefix":19,"propose":[{"t":" '","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":20,"prefix":20,"propose":[{"t":"2","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":21,"prefix":21,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":22,"prefix":22,"propose":[{"t":"2","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":23,"prefix":23,"propose":[{"t":"5","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":24,"prefix":24,"propose":[{"t":"-","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":25,"prefix":25,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":26,"prefix":26,"propose":[{"t":"1","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":27,"prefix":27,"propose":[{"t":"-","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":28,"prefix":28,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":29,"prefix":29,"propose":[{"t":"1","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":30,"prefix":30,"propose":[{"t":"'","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":31,"prefix":31,"propose":[{"t":" AND","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":32,"prefix":32,"propose":[{"t":" created","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":33,"prefix":33,"propose":[{"t":"_at","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":34,"prefix":34,"propose":[{"t":" <","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":35,"prefix":35,"propose":[{"t":" DATE","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":36,"prefix":36,"propose":[{"t":" '","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":37,"prefix":37,"propose":[{"t":"2","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":38,"prefix":38,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":39,"prefix":39,"propose":[{"t":"2","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":40,"prefix":40,"propose":[{"t":"5","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":41,"prefix":41,"propose":[{"t":"-","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":42,"prefix":42,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":43,"prefix":43,"propose":[{"t":"1","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":44,"prefix":44,"propose":[{"t":"-","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":45,"prefix":45,"propose":[{"t":"0","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":46,"prefix":46,"propose":[{"t":"2","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":47,"prefix":47,"propose":[{"t":"'","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":48,"prefix":48,"propose":[{"t":" AND","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":49,"prefix":49,"propose":[{"t":" category","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":50,"prefix":50,"propose":[{"t":" =","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":51,"prefix":51,"propose":[{"t":" '","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":52,"prefix":52,"propose":[{"t":"Elect","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":53,"prefix":53,"propose":[{"t":"ronics","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":54,"prefix":54,"propose":[{"t":"'","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":55,"prefix":55,"propose":[{"t":" AND","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":56,"prefix":56,"propose":[{"t":" product","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":57,"prefix":57,"propose":[{"t":"_id","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":58,"prefix":58,"propose":[{"t":" IN","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":59,"prefix":59,"propose":[{"t":" (","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":60,"prefix":60,"propose":[{"t":"SELECT","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":61,"prefix":61,"propose":[{"t":" product","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":62,"prefix":62,"propose":[{"t":"_id","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}},{"i":63,"prefix":63,"propose":[{"t":" FROM","src":"ntp"}],"conf":[],"verdict":{"kept":1,"rollback":false,"fix":null}}]}]}