{ "step": "C426", "status": "passed", "assertions_passed": 575, "checks": [ "normal source coordinate 0", "normal source coordinate 1", "normal source coordinate 2", "normal source coordinate 3", "normal source coordinate 4", "normal source coordinate 5", "normal source coordinate 6", "normal source coordinate 7", "normal source coordinate 8", "normal source coordinate 9", "normal source coordinate 10", "normal source coordinate 11", "normal source coordinate 12", "normal source coordinate 13", "normal source coordinate 14", "normal source coordinate 15", "normal source coordinate 16", "normal source coordinate 17", "normal source coordinate 18", "normal source coordinate 19", "normal source coordinate 20", "normal source coordinate 21", "normal source coordinate 22", "normal source coordinate 23", "normal source coordinate 24", "normal source coordinate 25", "normal source coordinate 26", "normal source coordinate 27", "normal source coordinate 28", "normal source coordinate 29", "normal source coordinate 30", "normal source coordinate 31", "normal source coordinate 32", "normal source coordinate 33", "normal source coordinate 34", "normal source coordinate 35", "normal source coordinate 36", "normal source coordinate 37", "normal source coordinate 38", "normal source coordinate 39", "normal source coordinate 40", "normal source coordinate 41", "normal source coordinate 42", "normal source coordinate 43", "normal source coordinate 44", "normal source coordinate 45", "normal source coordinate 46", "normal source coordinate 47", "normal source coordinate 48", "normal source coordinate 49", "normal source coordinate 50", "normal source coordinate 51", "normal source coordinate 52", "normal source coordinate 53", "normal source coordinate 54", "normal source coordinate 55", "normal source coordinate 56", "normal source coordinate 57", "normal source coordinate 58", "normal source coordinate 59", "normal source coordinate 60", "normal source coordinate 61", "normal source coordinate 62", "normal source coordinate 63", "normal source coordinate 64", "normal source coordinate 65", "normal source coordinate 66", "normal source coordinate 67", "normal source coordinate 68", "normal source coordinate 69", "normal source coordinate 70", "normal source coordinate 71", "normal source coordinate 72", "normal source coordinate 73", "normal source coordinate 74", "normal source coordinate 75", "normal source coordinate 76", "normal source coordinate 77", "normal source coordinate 78", "normal source coordinate 79", "normal source coordinate 80", "normal source coordinate 81", "normal source coordinate 82", "normal source coordinate 83", "normal source coordinate 84", "normal source coordinate 85", "normal source coordinate 86", "normal source coordinate 87", "normal source coordinate 88", "normal source coordinate 89", "normal source coordinate 90", "normal source coordinate 91", "normal source coordinate 92", "normal source coordinate 93", "normal source coordinate 94", "normal source coordinate 95", "normal source coordinate 96", "normal source coordinate 97", "normal source coordinate 98", "normal source coordinate 99", "normal source coordinate 100", "normal source coordinate 101", "normal source coordinate 102", "normal source coordinate 103", "normal source coordinate 104", "normal source coordinate 105", "normal source coordinate 106", "normal source coordinate 107", "normal source coordinate 108", "normal source coordinate 109", "normal source coordinate 110", "normal source coordinate 111", "normal source coordinate 112", "normal source coordinate 113", "normal source coordinate 114", "normal source coordinate 115", "normal source coordinate 116", "normal source coordinate 117", "normal source coordinate 118", "normal source coordinate 119", "normal source coordinate 120", "normal source coordinate 121", "normal source coordinate 122", "normal source coordinate 123", "normal source coordinate 124", "normal source coordinate 125", "normal source coordinate 126", "normal source coordinate 127", "normal source coordinate 128", "normal source coordinate 129", "normal source coordinate 130", "normal source coordinate 131", "normal source coordinate 132", "normal source coordinate 133", "normal source coordinate 134", "normal source coordinate 135", "normal source coordinate 136", "normal source coordinate 137", "normal source coordinate 138", "normal source coordinate 139", "normal source coordinate 140", "normal source coordinate 141", "normal source coordinate 142", "normal source coordinate 143", "normal source coordinate 144", "normal source coordinate 145", "normal source coordinate 146", "normal source coordinate 147", "normal source coordinate 148", "normal source coordinate 149", "normal source coordinate 150", "normal source coordinate 151", "normal source coordinate 152", "normal source coordinate 153", "normal source coordinate 154", "normal source coordinate 155", "normal source coordinate 156", "normal source coordinate 157", "normal source coordinate 158", "normal source coordinate 159", "normal source coordinate 160", "normal source coordinate 161", "normal source coordinate 162", "normal source coordinate 163", "normal source coordinate 164", "normal source coordinate 165", "normal source coordinate 166", "normal source coordinate 167", "normal source coordinate 168", "normal source coordinate 169", "normal source coordinate 170", "normal source coordinate 171", "normal source coordinate 172", "normal source coordinate 173", "normal source coordinate 174", "normal source coordinate 175", "normal source coordinate 176", "normal source coordinate 177", "normal source coordinate 178", "normal source coordinate 179", "normal source coordinate 180", "normal source coordinate 181", "normal source coordinate 182", "normal source coordinate 183", "normal source coordinate 184", "normal source coordinate 185", "normal source coordinate 186", "normal source coordinate 187", "normal source coordinate 188", "normal source coordinate 189", "normal source coordinate 190", "normal source coordinate 191", "normal source coordinate 192", "normal source coordinate 193", "normal source coordinate 194", "normal source coordinate 195", "normal source coordinate 196", "normal source coordinate 197", "normal source coordinate 198", "normal source coordinate 199", "normal source coordinate 200", "normal source coordinate 201", "normal source coordinate 202", "normal source coordinate 203", "normal source coordinate 204", "normal source coordinate 205", "normal source coordinate 206", "normal source coordinate 207", "normal source coordinate 208", "normal source coordinate 209", "normal source coordinate 210", "normal source coordinate 211", "normal source coordinate 212", "normal source coordinate 213", "normal source coordinate 214", "normal source coordinate 215", "normal source coordinate 216", "normal source coordinate 217", "normal source coordinate 218", "normal source coordinate 219", "normal source coordinate 220", "normal source coordinate 221", "normal source coordinate 222", "normal source coordinate 223", "normal source coordinate 224", "normal source coordinate 225", "normal source coordinate 226", "normal source coordinate 227", "normal source coordinate 228", "normal source coordinate 229", "normal source coordinate 230", "normal source coordinate 231", "normal source coordinate 232", "normal source coordinate 233", "normal source coordinate 234", "normal source coordinate 235", "normal source coordinate 236", "normal source coordinate 237", "normal source coordinate 238", "normal source coordinate 239", "normal source coordinate 240", "normal source coordinate 241", "normal source coordinate 242", "normal source coordinate 243", "normal source coordinate 244", "normal source coordinate 245", "normal source coordinate 246", "normal source coordinate 247", "normal source coordinate 248", "normal source coordinate 249", "normal source coordinate 250", "normal source coordinate 251", "normal source coordinate 252", "normal source coordinate 253", "normal source coordinate 254", "normal source coordinate 255", "normal source coordinate 256", "normal source coordinate 257", "normal source coordinate 258", "normal source coordinate 259", "normal source coordinate 260", "normal source coordinate 261", "normal source coordinate 262", "normal source coordinate 263", "normal source coordinate 264", "normal source coordinate 265", "normal source coordinate 266", "normal source coordinate 267", "normal source coordinate 268", "normal source coordinate 269", "normal source coordinate 270", "normal source coordinate 271", "normal source coordinate 272", "normal source coordinate 273", "normal source coordinate 274", "normal source coordinate 275", "normal source coordinate 276", "normal source coordinate 277", "normal source coordinate 278", "normal source coordinate 279", "normal source coordinate 280", "normal source coordinate 281", "normal source coordinate 282", "normal source coordinate 283", "normal source coordinate 284", "normal source coordinate 285", "normal source coordinate 286", "normal source coordinate 287", "normal source coordinate 288", "normal source coordinate 289", "normal source coordinate 290", "normal source coordinate 291", "normal source coordinate 292", "normal source coordinate 293", "normal source coordinate 294", "normal source coordinate 295", "normal source coordinate 296", "normal source coordinate 297", "normal source coordinate 298", "normal source coordinate 299", "normal source coordinate 300", "normal source coordinate 301", "normal source coordinate 302", "normal source coordinate 303", "normal source coordinate 304", "normal source coordinate 305", "normal source coordinate 306", "normal source coordinate 307", "normal source coordinate 308", "normal source coordinate 309", "normal source coordinate 310", "normal source coordinate 311", "normal source coordinate 312", "normal source coordinate 313", "normal source coordinate 314", "normal source coordinate 315", "normal source coordinate 316", "normal source coordinate 317", "normal source coordinate 318", "normal source coordinate 319", "normal source coordinate 320", "normal source coordinate 321", "normal source coordinate 322", "normal source coordinate 323", "normal source coordinate 324", "normal source coordinate 325", "normal source coordinate 326", "normal source coordinate 327", "normal source coordinate 328", "normal source coordinate 329", "normal source coordinate 330", "normal source coordinate 331", "normal source coordinate 332", "normal source coordinate 333", "normal source coordinate 334", "normal source coordinate 335", "normal source coordinate 336", "normal source coordinate 337", "normal source coordinate 338", "normal source coordinate 339", "normal source coordinate 340", "normal source coordinate 341", "normal source coordinate 342", "normal source coordinate 343", "normal source coordinate 344", "normal source coordinate 345", "normal source coordinate 346", "normal source coordinate 347", "normal source coordinate 348", "normal source coordinate 349", "normal source coordinate 350", "normal source coordinate 351", "normal source coordinate 352", "normal source coordinate 353", "normal source coordinate 354", "normal source coordinate 355", "normal source coordinate 356", "normal source coordinate 357", "normal source coordinate 358", "normal source coordinate 359", "normal source coordinate 360", "normal source coordinate 361", "normal source coordinate 362", "normal source coordinate 363", "normal source coordinate 364", "normal source coordinate 365", "normal source coordinate 366", "normal source coordinate 367", "normal source coordinate 368", "normal source coordinate 369", "normal source coordinate 370", "normal source coordinate 371", "normal source coordinate 372", "normal source coordinate 373", "normal source coordinate 374", "normal source coordinate 375", "normal source coordinate 376", "normal source coordinate 377", "normal source coordinate 378", "normal source coordinate 379", "normal source coordinate 380", "normal source coordinate 381", "normal source coordinate 382", "normal source coordinate 383", "normal source coordinate 384", "normal source coordinate 385", "normal source coordinate 386", "normal source coordinate 387", "normal source coordinate 388", "normal source coordinate 389", "normal source coordinate 390", "normal source coordinate 391", "normal source coordinate 392", "normal source coordinate 393", "normal source coordinate 394", "normal source coordinate 395", "normal source coordinate 396", "normal source coordinate 397", "normal source coordinate 398", "normal source coordinate 399", "normal source coordinate 400", "normal source coordinate 401", "normal source coordinate 402", "normal source coordinate 403", "normal source coordinate 404", "normal source coordinate 405", "normal source coordinate 406", "normal source coordinate 407", "normal source coordinate 408", "normal source coordinate 409", "normal source coordinate 410", "normal source coordinate 411", "normal source coordinate 412", "normal source coordinate 413", "normal source coordinate 414", "normal source coordinate 415", "normal source coordinate 416", "normal source coordinate 417", "normal source coordinate 418", "normal source coordinate 419", "normal source coordinate 420", "normal source coordinate 421", "normal source coordinate 422", "normal source coordinate 423", "normal source coordinate 424", "normal source coordinate 425", "normal source coordinate 426", "normal source coordinate 427", "normal source coordinate 428", "normal source coordinate 429", "normal source coordinate 430", "normal source coordinate 431", "normal source coordinate 432", "normal source coordinate 433", "normal source coordinate 434", "normal source coordinate 435", "normal source coordinate 436", "normal source coordinate 437", "normal source coordinate 438", "normal source coordinate 439", "normal source coordinate 440", "normal source coordinate 441", "normal source coordinate 442", "normal source coordinate 443", "normal source coordinate 444", "normal source coordinate 445", "normal source coordinate 446", "normal source coordinate 447", "normal source coordinate 448", "normal source coordinate 449", "normal source coordinate 450", "normal source coordinate 451", "normal source coordinate 452", "normal source coordinate 453", "normal source coordinate 454", "normal source coordinate 455", "normal source coordinate 456", "normal source coordinate 457", "normal source coordinate 458", "normal source coordinate 459", "normal source coordinate 460", "normal source coordinate 461", "normal source coordinate 462", "normal source coordinate 463", "normal source coordinate 464", "normal source coordinate 465", "normal source coordinate 466", "normal source coordinate 467", "normal source coordinate 468", "normal source coordinate 469", "normal source coordinate 470", "normal source coordinate 471", "normal source coordinate 472", "normal source coordinate 473", "normal source coordinate 474", "normal source coordinate 475", "normal source coordinate 476", "normal source coordinate 477", "normal source coordinate 478", "normal source coordinate 479", "normal source coordinate 480", "normal source coordinate 481", "normal source coordinate 482", "normal source coordinate 483", "normal source coordinate 484", "normal source coordinate 485", "normal source coordinate 486", "normal source coordinate 487", "normal source coordinate 488", "normal source coordinate 489", "normal source coordinate 490", "normal source coordinate 491", "normal source coordinate 492", "normal source coordinate 493", "normal source coordinate 494", "normal source coordinate 495", "normal source coordinate 496", "normal source coordinate 497", "normal source coordinate 498", "normal source coordinate 499", "normal source coordinate 500", "normal source coordinate 501", "normal source coordinate 502", "normal source coordinate 503", "normal source coordinate 504", "normal source coordinate 505", "normal source coordinate 506", "normal source coordinate 507", "normal source coordinate 508", "normal source coordinate 509", "normal source coordinate 510", "normal source coordinate 511", "normal source coordinate 512", "normal source coordinate 513", "normal source coordinate 514", "normal source coordinate 515", "normal source coordinate 516", "normal source coordinate 517", "normal source coordinate 518", "normal source coordinate 519", "normal source coordinate 520", "normal source coordinate 521", "normal source coordinate 522", "normal source coordinate 523", "normal source coordinate 524", "normal source coordinate 525", "normal source coordinate 526", "normal source coordinate 527", "2K decomposition (431, 168)", "2K decomposition (399, 152)", "2K decomposition (82, 248)", "2K decomposition (130, 248)", "2K decomposition (66, 344)", "2K decomposition (114, 344)", "2K decomposition (208, 270)", "2K decomposition (448, 270)", "2K decomposition (304, 366)", "2K decomposition (480, 366)", "2K decomposition (86, 252)", "2K decomposition (134, 252)", "2K decomposition (70, 348)", "2K decomposition (118, 348)", "2K decomposition (83, 249)", "2K decomposition (131, 249)", "2K decomposition (67, 345)", "2K decomposition (115, 345)", "2K decomposition (209, 271)", "2K decomposition (449, 271)", "2K decomposition (305, 367)", "2K decomposition (481, 367)", "2K decomposition (87, 253)", "2K decomposition (135, 253)", "2K decomposition (71, 40)", "2K decomposition (71, 349)", "2K decomposition (119, 40)", "2K decomposition (119, 349)", "2K decomposition (63, 32)", "2K decomposition (111, 32)", "2K decomposition (55, 24)", "2K decomposition (103, 24)", "2K decomposition (415, 160)", "2K decomposition (184, 30)", "2K decomposition (176, 22)", "2K decomposition (432, 22)", "2K decomposition (280, 14)", "2K decomposition (272, 6)", "2K decomposition (464, 6)", "2K decomposition (185, 31)", "2K decomposition (177, 23)", "2K decomposition (433, 23)", "2K decomposition (281, 15)", "2K decomposition (273, 7)", "2K decomposition (465, 7)", "2K decomposition (383, 144)", "C414 coverage" ], "source_checks_passed": 14, "source_checks": [ "PREVIOUS_CERTIFICATE.json", "PREVIOUS_DATA.json", "PREVIOUS_RESULTS.json", "PREVIOUS_CHECKPOINT.md", "PREVIOUS_NEXT_STEP.json", "File_18.md", "File_09.md", "C286_DATA.json", "C287_DATA.json", "C414_DATA.json", "predecessor PREVIOUS_DATA.json", "predecessor PREVIOUS_RESULTS.json", "predecessor PREVIOUS_CHECKPOINT.md", "predecessor PREVIOUS_NEXT_STEP.json" ], "canonical_or_graph_edits": false, "new_independent_agent_review": false }