{ "schema_version": "0.1", "name": "[[400,35,<=8]] SCE-LP R3EliteP01 at t=8", "code_type": "CSS", "n": 400, "k": 35, "checks": { "X": [ [ 4, 78, 138, 198, 265, 276, 299 ], [ 5, 79, 139, 199, 264, 277, 298 ], [ 6, 64, 140, 200, 267, 278, 301 ], [ 7, 65, 141, 201, 266, 279, 300 ], [ 8, 66, 142, 202, 269, 280, 303 ], [ 9, 67, 143, 203, 268, 281, 302 ], [ 10, 68, 128, 204, 271, 282, 289 ], [ 11, 69, 129, 205, 270, 283, 288 ], [ 12, 70, 130, 206, 257, 284, 291 ], [ 13, 71, 131, 207, 256, 285, 290 ], [ 14, 72, 132, 192, 259, 286, 293 ], [ 15, 73, 133, 193, 258, 287, 292 ], [ 0, 74, 134, 194, 261, 272, 295 ], [ 1, 75, 135, 195, 260, 273, 294 ], [ 2, 76, 136, 196, 263, 274, 297 ], [ 3, 77, 137, 197, 262, 275, 296 ], [ 20, 94, 154, 214, 263, 277, 297 ], [ 21, 95, 155, 215, 262, 276, 296 ], [ 22, 80, 156, 216, 265, 279, 299 ], [ 23, 81, 157, 217, 264, 278, 298 ], [ 24, 82, 158, 218, 267, 281, 301 ], [ 25, 83, 159, 219, 266, 280, 300 ], [ 26, 84, 144, 220, 269, 283, 303 ], [ 27, 85, 145, 221, 268, 282, 302 ], [ 28, 86, 146, 222, 271, 285, 289 ], [ 29, 87, 147, 223, 270, 284, 288 ], [ 30, 88, 148, 208, 257, 287, 291 ], [ 31, 89, 149, 209, 256, 286, 290 ], [ 16, 90, 150, 210, 259, 273, 293 ], [ 17, 91, 151, 211, 258, 272, 292 ], [ 18, 92, 152, 212, 261, 275, 295 ], [ 19, 93, 153, 213, 260, 274, 294 ], [ 36, 110, 170, 230, 271, 282, 299 ], [ 37, 111, 171, 231, 270, 283, 298 ], [ 38, 96, 172, 232, 257, 284, 301 ], [ 39, 97, 173, 233, 256, 285, 300 ], [ 40, 98, 174, 234, 259, 286, 303 ], [ 41, 99, 175, 235, 258, 287, 302 ], [ 42, 100, 160, 236, 261, 272, 289 ], [ 43, 101, 161, 237, 260, 273, 288 ], [ 44, 102, 162, 238, 263, 274, 291 ], [ 45, 103, 163, 239, 262, 275, 290 ], [ 46, 104, 164, 224, 265, 276, 293 ], [ 47, 105, 165, 225, 264, 277, 292 ], [ 32, 106, 166, 226, 267, 278, 295 ], [ 33, 107, 167, 227, 266, 279, 294 ], [ 34, 108, 168, 228, 269, 280, 297 ], [ 35, 109, 169, 229, 268, 281, 296 ], [ 52, 126, 186, 246, 259, 283, 291 ], [ 53, 127, 187, 247, 258, 282, 290 ], [ 54, 112, 188, 248, 261, 285, 293 ], [ 55, 113, 189, 249, 260, 284, 292 ], [ 56, 114, 190, 250, 263, 287, 295 ], [ 57, 115, 191, 251, 262, 286, 294 ], [ 58, 116, 176, 252, 265, 273, 297 ], [ 59, 117, 177, 253, 264, 272, 296 ], [ 60, 118, 178, 254, 267, 275, 299 ], [ 61, 119, 179, 255, 266, 274, 298 ], [ 62, 120, 180, 240, 269, 277, 301 ], [ 63, 121, 181, 241, 268, 276, 300 ], [ 48, 122, 182, 242, 271, 279, 303 ], [ 49, 123, 183, 243, 270, 278, 302 ], [ 50, 124, 184, 244, 257, 281, 289 ], [ 51, 125, 185, 245, 256, 280, 288 ], [ 3, 75, 133, 205, 313, 324, 347 ], [ 2, 74, 132, 204, 312, 325, 346 ], [ 5, 77, 135, 207, 315, 326, 349 ], [ 4, 76, 134, 206, 314, 327, 348 ], [ 7, 79, 137, 193, 317, 328, 351 ], [ 6, 78, 136, 192, 316, 329, 350 ], [ 9, 65, 139, 195, 319, 330, 337 ], [ 8, 64, 138, 194, 318, 331, 336 ], [ 11, 67, 141, 197, 305, 332, 339 ], [ 10, 66, 140, 196, 304, 333, 338 ], [ 13, 69, 143, 199, 307, 334, 341 ], [ 12, 68, 142, 198, 306, 335, 340 ], [ 15, 71, 129, 201, 309, 320, 343 ], [ 14, 70, 128, 200, 308, 321, 342 ], [ 1, 73, 131, 203, 311, 322, 345 ], [ 0, 72, 130, 202, 310, 323, 344 ], [ 19, 91, 149, 221, 311, 325, 345 ], [ 18, 90, 148, 220, 310, 324, 344 ], [ 21, 93, 151, 223, 313, 327, 347 ], [ 20, 92, 150, 222, 312, 326, 346 ], [ 23, 95, 153, 209, 315, 329, 349 ], [ 22, 94, 152, 208, 314, 328, 348 ], [ 25, 81, 155, 211, 317, 331, 351 ], [ 24, 80, 154, 210, 316, 330, 350 ], [ 27, 83, 157, 213, 319, 333, 337 ], [ 26, 82, 156, 212, 318, 332, 336 ], [ 29, 85, 159, 215, 305, 335, 339 ], [ 28, 84, 158, 214, 304, 334, 338 ], [ 31, 87, 145, 217, 307, 321, 341 ], [ 30, 86, 144, 216, 306, 320, 340 ], [ 17, 89, 147, 219, 309, 323, 343 ], [ 16, 88, 146, 218, 308, 322, 342 ], [ 35, 107, 165, 237, 319, 330, 347 ], [ 34, 106, 164, 236, 318, 331, 346 ], [ 37, 109, 167, 239, 305, 332, 349 ], [ 36, 108, 166, 238, 304, 333, 348 ], [ 39, 111, 169, 225, 307, 334, 351 ], [ 38, 110, 168, 224, 306, 335, 350 ], [ 41, 97, 171, 227, 309, 320, 337 ], [ 40, 96, 170, 226, 308, 321, 336 ], [ 43, 99, 173, 229, 311, 322, 339 ], [ 42, 98, 172, 228, 310, 323, 338 ], [ 45, 101, 175, 231, 313, 324, 341 ], [ 44, 100, 174, 230, 312, 325, 340 ], [ 47, 103, 161, 233, 315, 326, 343 ], [ 46, 102, 160, 232, 314, 327, 342 ], [ 33, 105, 163, 235, 317, 328, 345 ], [ 32, 104, 162, 234, 316, 329, 344 ], [ 51, 123, 181, 253, 307, 331, 339 ], [ 50, 122, 180, 252, 306, 330, 338 ], [ 53, 125, 183, 255, 309, 333, 341 ], [ 52, 124, 182, 254, 308, 332, 340 ], [ 55, 127, 185, 241, 311, 335, 343 ], [ 54, 126, 184, 240, 310, 334, 342 ], [ 57, 113, 187, 243, 313, 321, 345 ], [ 56, 112, 186, 242, 312, 320, 344 ], [ 59, 115, 189, 245, 315, 323, 347 ], [ 58, 114, 188, 244, 314, 322, 346 ], [ 61, 117, 191, 247, 317, 325, 349 ], [ 60, 116, 190, 246, 316, 324, 348 ], [ 63, 119, 177, 249, 319, 327, 351 ], [ 62, 118, 176, 248, 318, 326, 350 ], [ 49, 121, 179, 251, 305, 329, 337 ], [ 48, 120, 178, 250, 304, 328, 336 ], [ 14, 72, 140, 198, 361, 372, 395 ], [ 15, 73, 141, 199, 360, 373, 394 ], [ 0, 74, 142, 200, 363, 374, 397 ], [ 1, 75, 143, 201, 362, 375, 396 ], [ 2, 76, 128, 202, 365, 376, 399 ], [ 3, 77, 129, 203, 364, 377, 398 ], [ 4, 78, 130, 204, 367, 378, 385 ], [ 5, 79, 131, 205, 366, 379, 384 ], [ 6, 64, 132, 206, 353, 380, 387 ], [ 7, 65, 133, 207, 352, 381, 386 ], [ 8, 66, 134, 192, 355, 382, 389 ], [ 9, 67, 135, 193, 354, 383, 388 ], [ 10, 68, 136, 194, 357, 368, 391 ], [ 11, 69, 137, 195, 356, 369, 390 ], [ 12, 70, 138, 196, 359, 370, 393 ], [ 13, 71, 139, 197, 358, 371, 392 ], [ 30, 88, 156, 214, 359, 373, 393 ], [ 31, 89, 157, 215, 358, 372, 392 ], [ 16, 90, 158, 216, 361, 375, 395 ], [ 17, 91, 159, 217, 360, 374, 394 ], [ 18, 92, 144, 218, 363, 377, 397 ], [ 19, 93, 145, 219, 362, 376, 396 ], [ 20, 94, 146, 220, 365, 379, 399 ], [ 21, 95, 147, 221, 364, 378, 398 ], [ 22, 80, 148, 222, 367, 381, 385 ], [ 23, 81, 149, 223, 366, 380, 384 ], [ 24, 82, 150, 208, 353, 383, 387 ], [ 25, 83, 151, 209, 352, 382, 386 ], [ 26, 84, 152, 210, 355, 369, 389 ], [ 27, 85, 153, 211, 354, 368, 388 ], [ 28, 86, 154, 212, 357, 371, 391 ], [ 29, 87, 155, 213, 356, 370, 390 ], [ 46, 104, 172, 230, 367, 378, 395 ], [ 47, 105, 173, 231, 366, 379, 394 ], [ 32, 106, 174, 232, 353, 380, 397 ], [ 33, 107, 175, 233, 352, 381, 396 ], [ 34, 108, 160, 234, 355, 382, 399 ], [ 35, 109, 161, 235, 354, 383, 398 ], [ 36, 110, 162, 236, 357, 368, 385 ], [ 37, 111, 163, 237, 356, 369, 384 ], [ 38, 96, 164, 238, 359, 370, 387 ], [ 39, 97, 165, 239, 358, 371, 386 ], [ 40, 98, 166, 224, 361, 372, 389 ], [ 41, 99, 167, 225, 360, 373, 388 ], [ 42, 100, 168, 226, 363, 374, 391 ], [ 43, 101, 169, 227, 362, 375, 390 ], [ 44, 102, 170, 228, 365, 376, 393 ], [ 45, 103, 171, 229, 364, 377, 392 ], [ 62, 120, 188, 246, 355, 379, 387 ], [ 63, 121, 189, 247, 354, 378, 386 ], [ 48, 122, 190, 248, 357, 381, 389 ], [ 49, 123, 191, 249, 356, 380, 388 ], [ 50, 124, 176, 250, 359, 383, 391 ], [ 51, 125, 177, 251, 358, 382, 390 ], [ 52, 126, 178, 252, 361, 369, 393 ], [ 53, 127, 179, 253, 360, 368, 392 ], [ 54, 112, 180, 254, 363, 371, 395 ], [ 55, 113, 181, 255, 362, 370, 394 ], [ 56, 114, 182, 240, 365, 373, 397 ], [ 57, 115, 183, 241, 364, 372, 396 ], [ 58, 116, 184, 242, 367, 375, 399 ], [ 59, 117, 185, 243, 366, 374, 398 ], [ 60, 118, 186, 244, 353, 377, 385 ], [ 61, 119, 187, 245, 352, 376, 384 ] ], "Z": [ [ 9, 27, 35, 63, 268, 319, 354 ], [ 8, 26, 34, 62, 269, 318, 355 ], [ 11, 29, 37, 49, 270, 305, 356 ], [ 10, 28, 36, 48, 271, 304, 357 ], [ 13, 31, 39, 51, 256, 307, 358 ], [ 12, 30, 38, 50, 257, 306, 359 ], [ 15, 17, 41, 53, 258, 309, 360 ], [ 14, 16, 40, 52, 259, 308, 361 ], [ 1, 19, 43, 55, 260, 311, 362 ], [ 0, 18, 42, 54, 261, 310, 363 ], [ 3, 21, 45, 57, 262, 313, 364 ], [ 2, 20, 44, 56, 263, 312, 365 ], [ 5, 23, 47, 59, 264, 315, 366 ], [ 4, 22, 46, 58, 265, 314, 367 ], [ 7, 25, 33, 61, 266, 317, 352 ], [ 6, 24, 32, 60, 267, 316, 353 ], [ 12, 29, 38, 55, 284, 335, 370 ], [ 13, 28, 39, 54, 285, 334, 371 ], [ 14, 31, 40, 57, 286, 321, 372 ], [ 15, 30, 41, 56, 287, 320, 373 ], [ 0, 17, 42, 59, 272, 323, 374 ], [ 1, 16, 43, 58, 273, 322, 375 ], [ 2, 19, 44, 61, 274, 325, 376 ], [ 3, 18, 45, 60, 275, 324, 377 ], [ 4, 21, 46, 63, 276, 327, 378 ], [ 5, 20, 47, 62, 277, 326, 379 ], [ 6, 23, 32, 49, 278, 329, 380 ], [ 7, 22, 33, 48, 279, 328, 381 ], [ 8, 25, 34, 51, 280, 331, 382 ], [ 9, 24, 35, 50, 281, 330, 383 ], [ 10, 27, 36, 53, 282, 333, 368 ], [ 11, 26, 37, 52, 283, 332, 369 ], [ 7, 25, 39, 63, 300, 351, 386 ], [ 6, 24, 38, 62, 301, 350, 387 ], [ 9, 27, 41, 49, 302, 337, 388 ], [ 8, 26, 40, 48, 303, 336, 389 ], [ 11, 29, 43, 51, 288, 339, 390 ], [ 10, 28, 42, 50, 289, 338, 391 ], [ 13, 31, 45, 53, 290, 341, 392 ], [ 12, 30, 44, 52, 291, 340, 393 ], [ 15, 17, 47, 55, 292, 343, 394 ], [ 14, 16, 46, 54, 293, 342, 395 ], [ 1, 19, 33, 57, 294, 345, 396 ], [ 0, 18, 32, 56, 295, 344, 397 ], [ 3, 21, 35, 59, 296, 347, 398 ], [ 2, 20, 34, 58, 297, 346, 399 ], [ 5, 23, 37, 61, 298, 349, 384 ], [ 4, 22, 36, 60, 299, 348, 385 ], [ 73, 91, 99, 127, 258, 311, 360 ], [ 72, 90, 98, 126, 259, 310, 361 ], [ 75, 93, 101, 113, 260, 313, 362 ], [ 74, 92, 100, 112, 261, 312, 363 ], [ 77, 95, 103, 115, 262, 315, 364 ], [ 76, 94, 102, 114, 263, 314, 365 ], [ 79, 81, 105, 117, 264, 317, 366 ], [ 78, 80, 104, 116, 265, 316, 367 ], [ 65, 83, 107, 119, 266, 319, 352 ], [ 64, 82, 106, 118, 267, 318, 353 ], [ 67, 85, 109, 121, 268, 305, 354 ], [ 66, 84, 108, 120, 269, 304, 355 ], [ 69, 87, 111, 123, 270, 307, 356 ], [ 68, 86, 110, 122, 271, 306, 357 ], [ 71, 89, 97, 125, 256, 309, 358 ], [ 70, 88, 96, 124, 257, 308, 359 ], [ 76, 93, 102, 119, 274, 327, 376 ], [ 77, 92, 103, 118, 275, 326, 377 ], [ 78, 95, 104, 121, 276, 329, 378 ], [ 79, 94, 105, 120, 277, 328, 379 ], [ 64, 81, 106, 123, 278, 331, 380 ], [ 65, 80, 107, 122, 279, 330, 381 ], [ 66, 83, 108, 125, 280, 333, 382 ], [ 67, 82, 109, 124, 281, 332, 383 ], [ 68, 85, 110, 127, 282, 335, 368 ], [ 69, 84, 111, 126, 283, 334, 369 ], [ 70, 87, 96, 113, 284, 321, 370 ], [ 71, 86, 97, 112, 285, 320, 371 ], [ 72, 89, 98, 115, 286, 323, 372 ], [ 73, 88, 99, 114, 287, 322, 373 ], [ 74, 91, 100, 117, 272, 325, 374 ], [ 75, 90, 101, 116, 273, 324, 375 ], [ 71, 89, 103, 127, 290, 343, 392 ], [ 70, 88, 102, 126, 291, 342, 393 ], [ 73, 91, 105, 113, 292, 345, 394 ], [ 72, 90, 104, 112, 293, 344, 395 ], [ 75, 93, 107, 115, 294, 347, 396 ], [ 74, 92, 106, 114, 295, 346, 397 ], [ 77, 95, 109, 117, 296, 349, 398 ], [ 76, 94, 108, 116, 297, 348, 399 ], [ 79, 81, 111, 119, 298, 351, 384 ], [ 78, 80, 110, 118, 299, 350, 385 ], [ 65, 83, 97, 121, 300, 337, 386 ], [ 64, 82, 96, 120, 301, 336, 387 ], [ 67, 85, 99, 123, 302, 339, 388 ], [ 66, 84, 98, 122, 303, 338, 389 ], [ 69, 87, 101, 125, 288, 341, 390 ], [ 68, 86, 100, 124, 289, 340, 391 ], [ 137, 155, 163, 191, 262, 317, 356 ], [ 136, 154, 162, 190, 263, 316, 357 ], [ 139, 157, 165, 177, 264, 319, 358 ], [ 138, 156, 164, 176, 265, 318, 359 ], [ 141, 159, 167, 179, 266, 305, 360 ], [ 140, 158, 166, 178, 267, 304, 361 ], [ 143, 145, 169, 181, 268, 307, 362 ], [ 142, 144, 168, 180, 269, 306, 363 ], [ 129, 147, 171, 183, 270, 309, 364 ], [ 128, 146, 170, 182, 271, 308, 365 ], [ 131, 149, 173, 185, 256, 311, 366 ], [ 130, 148, 172, 184, 257, 310, 367 ], [ 133, 151, 175, 187, 258, 313, 352 ], [ 132, 150, 174, 186, 259, 312, 353 ], [ 135, 153, 161, 189, 260, 315, 354 ], [ 134, 152, 160, 188, 261, 314, 355 ], [ 140, 157, 166, 183, 278, 333, 372 ], [ 141, 156, 167, 182, 279, 332, 373 ], [ 142, 159, 168, 185, 280, 335, 374 ], [ 143, 158, 169, 184, 281, 334, 375 ], [ 128, 145, 170, 187, 282, 321, 376 ], [ 129, 144, 171, 186, 283, 320, 377 ], [ 130, 147, 172, 189, 284, 323, 378 ], [ 131, 146, 173, 188, 285, 322, 379 ], [ 132, 149, 174, 191, 286, 325, 380 ], [ 133, 148, 175, 190, 287, 324, 381 ], [ 134, 151, 160, 177, 272, 327, 382 ], [ 135, 150, 161, 176, 273, 326, 383 ], [ 136, 153, 162, 179, 274, 329, 368 ], [ 137, 152, 163, 178, 275, 328, 369 ], [ 138, 155, 164, 181, 276, 331, 370 ], [ 139, 154, 165, 180, 277, 330, 371 ], [ 135, 153, 167, 191, 294, 349, 388 ], [ 134, 152, 166, 190, 295, 348, 389 ], [ 137, 155, 169, 177, 296, 351, 390 ], [ 136, 154, 168, 176, 297, 350, 391 ], [ 139, 157, 171, 179, 298, 337, 392 ], [ 138, 156, 170, 178, 299, 336, 393 ], [ 141, 159, 173, 181, 300, 339, 394 ], [ 140, 158, 172, 180, 301, 338, 395 ], [ 143, 145, 175, 183, 302, 341, 396 ], [ 142, 144, 174, 182, 303, 340, 397 ], [ 129, 147, 161, 185, 288, 343, 398 ], [ 128, 146, 160, 184, 289, 342, 399 ], [ 131, 149, 163, 187, 290, 345, 384 ], [ 130, 148, 162, 186, 291, 344, 385 ], [ 133, 151, 165, 189, 292, 347, 386 ], [ 132, 150, 164, 188, 293, 346, 387 ], [ 201, 219, 227, 255, 266, 309, 362 ], [ 200, 218, 226, 254, 267, 308, 363 ], [ 203, 221, 229, 241, 268, 311, 364 ], [ 202, 220, 228, 240, 269, 310, 365 ], [ 205, 223, 231, 243, 270, 313, 366 ], [ 204, 222, 230, 242, 271, 312, 367 ], [ 207, 209, 233, 245, 256, 315, 352 ], [ 206, 208, 232, 244, 257, 314, 353 ], [ 193, 211, 235, 247, 258, 317, 354 ], [ 192, 210, 234, 246, 259, 316, 355 ], [ 195, 213, 237, 249, 260, 319, 356 ], [ 194, 212, 236, 248, 261, 318, 357 ], [ 197, 215, 239, 251, 262, 305, 358 ], [ 196, 214, 238, 250, 263, 304, 359 ], [ 199, 217, 225, 253, 264, 307, 360 ], [ 198, 216, 224, 252, 265, 306, 361 ], [ 204, 221, 230, 247, 282, 325, 378 ], [ 205, 220, 231, 246, 283, 324, 379 ], [ 206, 223, 232, 249, 284, 327, 380 ], [ 207, 222, 233, 248, 285, 326, 381 ], [ 192, 209, 234, 251, 286, 329, 382 ], [ 193, 208, 235, 250, 287, 328, 383 ], [ 194, 211, 236, 253, 272, 331, 368 ], [ 195, 210, 237, 252, 273, 330, 369 ], [ 196, 213, 238, 255, 274, 333, 370 ], [ 197, 212, 239, 254, 275, 332, 371 ], [ 198, 215, 224, 241, 276, 335, 372 ], [ 199, 214, 225, 240, 277, 334, 373 ], [ 200, 217, 226, 243, 278, 321, 374 ], [ 201, 216, 227, 242, 279, 320, 375 ], [ 202, 219, 228, 245, 280, 323, 376 ], [ 203, 218, 229, 244, 281, 322, 377 ], [ 199, 217, 231, 255, 298, 341, 394 ], [ 198, 216, 230, 254, 299, 340, 395 ], [ 201, 219, 233, 241, 300, 343, 396 ], [ 200, 218, 232, 240, 301, 342, 397 ], [ 203, 221, 235, 243, 302, 345, 398 ], [ 202, 220, 234, 242, 303, 344, 399 ], [ 205, 223, 237, 245, 288, 347, 384 ], [ 204, 222, 236, 244, 289, 346, 385 ], [ 207, 209, 239, 247, 290, 349, 386 ], [ 206, 208, 238, 246, 291, 348, 387 ], [ 193, 211, 225, 249, 292, 351, 388 ], [ 192, 210, 224, 248, 293, 350, 389 ], [ 195, 213, 227, 251, 294, 337, 390 ], [ 194, 212, 226, 250, 295, 336, 391 ], [ 197, 215, 229, 253, 296, 339, 392 ], [ 196, 214, 228, 252, 297, 338, 393 ] ] }, "distance": { "d": 8, "X": { "value": 8, "confidence": "upper_bound", "witness": [ 192, 200, 226, 234, 295, 303, 389, 397 ] }, "Z": { "value": 8, "confidence": "upper_bound", "witness": [ 52, 60, 116, 118, 124, 126, 176, 184 ] } }, "provenance": { "authors": [ "@mathysrennela" ], "construction": "Lifted product over Z_t x Z_2 (|G|=16), protograph A (3x4), B (3x4) taken from arXiv:2606.24808 Table 1 (R3EliteP01, an SCE search elite), with the paper's exponents reduced modulo the family parameter t=8 to fit the board's n<=700 cap (n = (nA*nB + mA*mB)*|G| = 25*16 = 400). Entries of A act by left regular representation, entries of B by right regular representation (via inverse), HX = [A~(x)I | I(x)B~^T], HZ = [I(x)B~^T-blocks | A~^T-blocks]. Paper reports [[1500,81,<=pd]] at t=30; this is the same protograph at a smaller lift. Distance is an upper bound from the kit's randomized witness search.", "references": [ "arXiv:2606.24808" ], "date": "2026-09-14", "notes": "Construction family and protograph published in arXiv:2606.24808 (R3EliteP01 at t=30, reported [[1500,81,<=18]]); this entry is the same protograph at a new, smaller lift (t=8), a parameter point the paper does not tabulate; literature novelty of the parameter set unverified. Board dedup gate-checked: not an exact or WL-equivalent duplicate of any existing entry.", "model": "GLM 5.3 Flash", "origin": "submission" }, "family": "lifted-product" }