{ "schema_version": "0.3", "name": "[[414,136,8]] parity-amplified affine-Frobenius CSS code", "code_type": "CSS", "n": 414, "k": 136, "checks": { "X": [ [ 0, 64, 128, 192, 256, 320, 399, 407 ], [ 1, 65, 129, 193, 257, 321, 400, 408 ], [ 2, 66, 130, 194, 258, 322, 401, 409 ], [ 3, 67, 131, 195, 259, 323, 402, 410 ], [ 4, 68, 132, 196, 260, 324, 403, 411 ], [ 5, 69, 133, 197, 261, 325, 404, 412 ], [ 6, 70, 134, 198, 262, 326, 405, 413 ], [ 7, 71, 135, 199, 263, 327, 406 ], [ 8, 72, 136, 200, 264, 328, 400, 409 ], [ 9, 73, 137, 201, 265, 329, 399, 410 ], [ 10, 74, 138, 202, 266, 330, 402, 407 ], [ 11, 75, 139, 203, 267, 331, 401, 408 ], [ 12, 76, 140, 204, 268, 332, 404, 413 ], [ 13, 77, 141, 205, 269, 333, 403 ], [ 14, 78, 142, 206, 270, 334, 406, 411 ], [ 15, 79, 143, 207, 271, 335, 405, 412 ], [ 16, 80, 144, 208, 272, 336, 403, 410 ], [ 17, 81, 145, 209, 273, 337, 404, 409 ], [ 18, 82, 146, 210, 274, 338, 405, 408 ], [ 19, 83, 147, 211, 275, 339, 406, 407 ], [ 20, 84, 148, 212, 276, 340, 399 ], [ 21, 85, 149, 213, 277, 341, 400, 413 ], [ 22, 86, 150, 214, 278, 342, 401, 412 ], [ 23, 87, 151, 215, 279, 343, 402, 411 ], [ 24, 88, 152, 216, 280, 344, 404, 408 ], [ 25, 89, 153, 217, 281, 345, 403, 407 ], [ 26, 90, 154, 218, 282, 346, 406, 410 ], [ 27, 91, 155, 219, 283, 347, 405, 409 ], [ 28, 92, 156, 220, 284, 348, 400, 412 ], [ 29, 93, 157, 221, 285, 349, 399, 411 ], [ 30, 94, 158, 222, 286, 350, 402 ], [ 31, 95, 159, 223, 287, 351, 401, 413 ], [ 32, 96, 160, 224, 288, 352, 405 ], [ 33, 97, 161, 225, 289, 353, 406, 413 ], [ 34, 98, 162, 226, 290, 354, 403, 412 ], [ 35, 99, 163, 227, 291, 355, 404, 411 ], [ 36, 100, 164, 228, 292, 356, 401, 410 ], [ 37, 101, 165, 229, 293, 357, 402, 409 ], [ 38, 102, 166, 230, 294, 358, 399, 408 ], [ 39, 103, 167, 231, 295, 359, 400, 407 ], [ 40, 104, 168, 232, 296, 360, 406, 412 ], [ 41, 105, 169, 233, 297, 361, 405, 411 ], [ 42, 106, 170, 234, 298, 362, 404 ], [ 43, 107, 171, 235, 299, 363, 403, 413 ], [ 44, 108, 172, 236, 300, 364, 402, 408 ], [ 45, 109, 173, 237, 301, 365, 401, 407 ], [ 46, 110, 174, 238, 302, 366, 400, 410 ], [ 47, 111, 175, 239, 303, 367, 399, 409 ], [ 48, 112, 176, 240, 304, 368, 401, 411 ], [ 49, 113, 177, 241, 305, 369, 402, 412 ], [ 50, 114, 178, 242, 306, 370, 399, 413 ], [ 51, 115, 179, 243, 307, 371, 400 ], [ 52, 116, 180, 244, 308, 372, 405, 407 ], [ 53, 117, 181, 245, 309, 373, 406, 408 ], [ 54, 118, 182, 246, 310, 374, 403, 409 ], [ 55, 119, 183, 247, 311, 375, 404, 410 ], [ 56, 120, 184, 248, 312, 376, 402, 413 ], [ 57, 121, 185, 249, 313, 377, 401 ], [ 58, 122, 186, 250, 314, 378, 400, 411 ], [ 59, 123, 187, 251, 315, 379, 399, 412 ], [ 60, 124, 188, 252, 316, 380, 406, 409 ], [ 61, 125, 189, 253, 317, 381, 405, 410 ], [ 62, 126, 190, 254, 318, 382, 404, 407 ], [ 63, 127, 191, 255, 319, 383, 403, 408 ], [ 0, 9, 18, 27, 36, 45, 54, 63, 384 ], [ 1, 8, 19, 26, 37, 44, 55, 62, 385 ], [ 2, 11, 16, 25, 38, 47, 52, 61, 386 ], [ 3, 10, 17, 24, 39, 46, 53, 60, 387 ], [ 4, 13, 22, 31, 32, 41, 50, 59, 388 ], [ 5, 12, 23, 30, 33, 40, 51, 58, 389 ], [ 6, 15, 20, 29, 34, 43, 48, 57, 390 ], [ 7, 14, 21, 28, 35, 42, 49, 56, 391 ], [ 0, 10, 20, 30, 35, 41, 55, 61, 392 ], [ 1, 11, 21, 31, 34, 40, 54, 60, 393 ], [ 2, 8, 22, 28, 33, 43, 53, 63, 394 ], [ 3, 9, 23, 29, 32, 42, 52, 62, 395 ], [ 4, 14, 16, 26, 39, 45, 51, 57, 396 ], [ 5, 15, 17, 27, 38, 44, 50, 56, 397 ], [ 6, 12, 18, 24, 37, 47, 49, 59, 398 ], [ 64, 73, 82, 91, 100, 109, 118, 127, 384 ], [ 65, 72, 83, 90, 101, 108, 119, 126, 385 ], [ 66, 75, 80, 89, 102, 111, 116, 125, 386 ], [ 67, 74, 81, 88, 103, 110, 117, 124, 387 ], [ 68, 77, 86, 95, 96, 105, 114, 123, 388 ], [ 69, 76, 87, 94, 97, 104, 115, 122, 389 ], [ 70, 79, 84, 93, 98, 107, 112, 121, 390 ], [ 71, 78, 85, 92, 99, 106, 113, 120, 391 ], [ 64, 74, 84, 94, 99, 105, 119, 125, 392 ], [ 65, 75, 85, 95, 98, 104, 118, 124, 393 ], [ 66, 72, 86, 92, 97, 107, 117, 127, 394 ], [ 67, 73, 87, 93, 96, 106, 116, 126, 395 ], [ 68, 78, 80, 90, 103, 109, 115, 121, 396 ], [ 69, 79, 81, 91, 102, 108, 114, 120, 397 ], [ 70, 76, 82, 88, 101, 111, 113, 123, 398 ], [ 128, 137, 146, 155, 164, 173, 182, 191, 384 ], [ 129, 136, 147, 154, 165, 172, 183, 190, 385 ], [ 130, 139, 144, 153, 166, 175, 180, 189, 386 ], [ 131, 138, 145, 152, 167, 174, 181, 188, 387 ], [ 132, 141, 150, 159, 160, 169, 178, 187, 388 ], [ 133, 140, 151, 158, 161, 168, 179, 186, 389 ], [ 134, 143, 148, 157, 162, 171, 176, 185, 390 ], [ 135, 142, 149, 156, 163, 170, 177, 184, 391 ], [ 128, 138, 148, 158, 163, 169, 183, 189, 392 ], [ 129, 139, 149, 159, 162, 168, 182, 188, 393 ], [ 130, 136, 150, 156, 161, 171, 181, 191, 394 ], [ 131, 137, 151, 157, 160, 170, 180, 190, 395 ], [ 132, 142, 144, 154, 167, 173, 179, 185, 396 ], [ 133, 143, 145, 155, 166, 172, 178, 184, 397 ], [ 134, 140, 146, 152, 165, 175, 177, 187, 398 ], [ 192, 201, 210, 219, 228, 237, 246, 255, 384 ], [ 193, 200, 211, 218, 229, 236, 247, 254, 385 ], [ 194, 203, 208, 217, 230, 239, 244, 253, 386 ], [ 195, 202, 209, 216, 231, 238, 245, 252, 387 ], [ 196, 205, 214, 223, 224, 233, 242, 251, 388 ], [ 197, 204, 215, 222, 225, 232, 243, 250, 389 ], [ 198, 207, 212, 221, 226, 235, 240, 249, 390 ], [ 199, 206, 213, 220, 227, 234, 241, 248, 391 ], [ 192, 202, 212, 222, 227, 233, 247, 253, 392 ], [ 193, 203, 213, 223, 226, 232, 246, 252, 393 ], [ 194, 200, 214, 220, 225, 235, 245, 255, 394 ], [ 195, 201, 215, 221, 224, 234, 244, 254, 395 ], [ 196, 206, 208, 218, 231, 237, 243, 249, 396 ], [ 197, 207, 209, 219, 230, 236, 242, 248, 397 ], [ 198, 204, 210, 216, 229, 239, 241, 251, 398 ], [ 256, 265, 274, 283, 292, 301, 310, 319, 384 ], [ 257, 264, 275, 282, 293, 300, 311, 318, 385 ], [ 258, 267, 272, 281, 294, 303, 308, 317, 386 ], [ 259, 266, 273, 280, 295, 302, 309, 316, 387 ], [ 260, 269, 278, 287, 288, 297, 306, 315, 388 ], [ 261, 268, 279, 286, 289, 296, 307, 314, 389 ], [ 262, 271, 276, 285, 290, 299, 304, 313, 390 ], [ 263, 270, 277, 284, 291, 298, 305, 312, 391 ], [ 256, 266, 276, 286, 291, 297, 311, 317, 392 ], [ 257, 267, 277, 287, 290, 296, 310, 316, 393 ], [ 258, 264, 278, 284, 289, 299, 309, 319, 394 ], [ 259, 265, 279, 285, 288, 298, 308, 318, 395 ], [ 260, 270, 272, 282, 295, 301, 307, 313, 396 ], [ 261, 271, 273, 283, 294, 300, 306, 312, 397 ], [ 262, 268, 274, 280, 293, 303, 305, 315, 398 ], [ 320, 329, 338, 347, 356, 365, 374, 383, 384 ], [ 321, 328, 339, 346, 357, 364, 375, 382, 385 ], [ 322, 331, 336, 345, 358, 367, 372, 381, 386 ], [ 323, 330, 337, 344, 359, 366, 373, 380, 387 ], [ 324, 333, 342, 351, 352, 361, 370, 379, 388 ], [ 325, 332, 343, 350, 353, 360, 371, 378, 389 ], [ 326, 335, 340, 349, 354, 363, 368, 377, 390 ], [ 327, 334, 341, 348, 355, 362, 369, 376, 391 ], [ 320, 330, 340, 350, 355, 361, 375, 381, 392 ], [ 321, 331, 341, 351, 354, 360, 374, 380, 393 ], [ 322, 328, 342, 348, 353, 363, 373, 383, 394 ], [ 323, 329, 343, 349, 352, 362, 372, 382, 395 ], [ 324, 334, 336, 346, 359, 365, 371, 377, 396 ], [ 325, 335, 337, 347, 358, 364, 370, 376, 397 ], [ 326, 332, 338, 344, 357, 367, 369, 379, 398 ] ], "Z": [ [ 0, 64, 128, 192, 256, 320, 384, 392 ], [ 1, 65, 129, 193, 257, 321, 385, 393 ], [ 2, 66, 130, 194, 258, 322, 386, 394 ], [ 3, 67, 131, 195, 259, 323, 387, 395 ], [ 4, 68, 132, 196, 260, 324, 388, 396 ], [ 5, 69, 133, 197, 261, 325, 389, 397 ], [ 6, 70, 134, 198, 262, 326, 390, 398 ], [ 7, 71, 135, 199, 263, 327, 391 ], [ 8, 72, 136, 200, 264, 328, 385, 394 ], [ 9, 73, 137, 201, 265, 329, 384, 395 ], [ 10, 74, 138, 202, 266, 330, 387, 392 ], [ 11, 75, 139, 203, 267, 331, 386, 393 ], [ 12, 76, 140, 204, 268, 332, 389, 398 ], [ 13, 77, 141, 205, 269, 333, 388 ], [ 14, 78, 142, 206, 270, 334, 391, 396 ], [ 15, 79, 143, 207, 271, 335, 390, 397 ], [ 16, 80, 144, 208, 272, 336, 386, 396 ], [ 17, 81, 145, 209, 273, 337, 387, 397 ], [ 18, 82, 146, 210, 274, 338, 384, 398 ], [ 19, 83, 147, 211, 275, 339, 385 ], [ 20, 84, 148, 212, 276, 340, 390, 392 ], [ 21, 85, 149, 213, 277, 341, 391, 393 ], [ 22, 86, 150, 214, 278, 342, 388, 394 ], [ 23, 87, 151, 215, 279, 343, 389, 395 ], [ 24, 88, 152, 216, 280, 344, 387, 398 ], [ 25, 89, 153, 217, 281, 345, 386 ], [ 26, 90, 154, 218, 282, 346, 385, 396 ], [ 27, 91, 155, 219, 283, 347, 384, 397 ], [ 28, 92, 156, 220, 284, 348, 391, 394 ], [ 29, 93, 157, 221, 285, 349, 390, 395 ], [ 30, 94, 158, 222, 286, 350, 389, 392 ], [ 31, 95, 159, 223, 287, 351, 388, 393 ], [ 32, 96, 160, 224, 288, 352, 388, 395 ], [ 33, 97, 161, 225, 289, 353, 389, 394 ], [ 34, 98, 162, 226, 290, 354, 390, 393 ], [ 35, 99, 163, 227, 291, 355, 391, 392 ], [ 36, 100, 164, 228, 292, 356, 384 ], [ 37, 101, 165, 229, 293, 357, 385, 398 ], [ 38, 102, 166, 230, 294, 358, 386, 397 ], [ 39, 103, 167, 231, 295, 359, 387, 396 ], [ 40, 104, 168, 232, 296, 360, 389, 393 ], [ 41, 105, 169, 233, 297, 361, 388, 392 ], [ 42, 106, 170, 234, 298, 362, 391, 395 ], [ 43, 107, 171, 235, 299, 363, 390, 394 ], [ 44, 108, 172, 236, 300, 364, 385, 397 ], [ 45, 109, 173, 237, 301, 365, 384, 396 ], [ 46, 110, 174, 238, 302, 366, 387 ], [ 47, 111, 175, 239, 303, 367, 386, 398 ], [ 48, 112, 176, 240, 304, 368, 390 ], [ 49, 113, 177, 241, 305, 369, 391, 398 ], [ 50, 114, 178, 242, 306, 370, 388, 397 ], [ 51, 115, 179, 243, 307, 371, 389, 396 ], [ 52, 116, 180, 244, 308, 372, 386, 395 ], [ 53, 117, 181, 245, 309, 373, 387, 394 ], [ 54, 118, 182, 246, 310, 374, 384, 393 ], [ 55, 119, 183, 247, 311, 375, 385, 392 ], [ 56, 120, 184, 248, 312, 376, 391, 397 ], [ 57, 121, 185, 249, 313, 377, 390, 396 ], [ 58, 122, 186, 250, 314, 378, 389 ], [ 59, 123, 187, 251, 315, 379, 388, 398 ], [ 60, 124, 188, 252, 316, 380, 387, 393 ], [ 61, 125, 189, 253, 317, 381, 386, 392 ], [ 62, 126, 190, 254, 318, 382, 385, 395 ], [ 63, 127, 191, 255, 319, 383, 384, 394 ], [ 0, 9, 20, 29, 38, 47, 50, 59, 399 ], [ 1, 8, 21, 28, 39, 46, 51, 58, 400 ], [ 2, 11, 22, 31, 36, 45, 48, 57, 401 ], [ 3, 10, 23, 30, 37, 44, 49, 56, 402 ], [ 4, 13, 16, 25, 34, 43, 54, 63, 403 ], [ 5, 12, 17, 24, 35, 42, 55, 62, 404 ], [ 6, 15, 18, 27, 32, 41, 52, 61, 405 ], [ 7, 14, 19, 26, 33, 40, 53, 60, 406 ], [ 0, 10, 19, 25, 39, 45, 52, 62, 407 ], [ 1, 11, 18, 24, 38, 44, 53, 63, 408 ], [ 2, 8, 17, 27, 37, 47, 54, 60, 409 ], [ 3, 9, 16, 26, 36, 46, 55, 61, 410 ], [ 4, 14, 23, 29, 35, 41, 48, 58, 411 ], [ 5, 15, 22, 28, 34, 40, 49, 59, 412 ], [ 6, 12, 21, 31, 33, 43, 50, 56, 413 ], [ 64, 73, 84, 93, 102, 111, 114, 123, 399 ], [ 65, 72, 85, 92, 103, 110, 115, 122, 400 ], [ 66, 75, 86, 95, 100, 109, 112, 121, 401 ], [ 67, 74, 87, 94, 101, 108, 113, 120, 402 ], [ 68, 77, 80, 89, 98, 107, 118, 127, 403 ], [ 69, 76, 81, 88, 99, 106, 119, 126, 404 ], [ 70, 79, 82, 91, 96, 105, 116, 125, 405 ], [ 71, 78, 83, 90, 97, 104, 117, 124, 406 ], [ 64, 74, 83, 89, 103, 109, 116, 126, 407 ], [ 65, 75, 82, 88, 102, 108, 117, 127, 408 ], [ 66, 72, 81, 91, 101, 111, 118, 124, 409 ], [ 67, 73, 80, 90, 100, 110, 119, 125, 410 ], [ 68, 78, 87, 93, 99, 105, 112, 122, 411 ], [ 69, 79, 86, 92, 98, 104, 113, 123, 412 ], [ 70, 76, 85, 95, 97, 107, 114, 120, 413 ], [ 128, 137, 148, 157, 166, 175, 178, 187, 399 ], [ 129, 136, 149, 156, 167, 174, 179, 186, 400 ], [ 130, 139, 150, 159, 164, 173, 176, 185, 401 ], [ 131, 138, 151, 158, 165, 172, 177, 184, 402 ], [ 132, 141, 144, 153, 162, 171, 182, 191, 403 ], [ 133, 140, 145, 152, 163, 170, 183, 190, 404 ], [ 134, 143, 146, 155, 160, 169, 180, 189, 405 ], [ 135, 142, 147, 154, 161, 168, 181, 188, 406 ], [ 128, 138, 147, 153, 167, 173, 180, 190, 407 ], [ 129, 139, 146, 152, 166, 172, 181, 191, 408 ], [ 130, 136, 145, 155, 165, 175, 182, 188, 409 ], [ 131, 137, 144, 154, 164, 174, 183, 189, 410 ], [ 132, 142, 151, 157, 163, 169, 176, 186, 411 ], [ 133, 143, 150, 156, 162, 168, 177, 187, 412 ], [ 134, 140, 149, 159, 161, 171, 178, 184, 413 ], [ 192, 201, 212, 221, 230, 239, 242, 251, 399 ], [ 193, 200, 213, 220, 231, 238, 243, 250, 400 ], [ 194, 203, 214, 223, 228, 237, 240, 249, 401 ], [ 195, 202, 215, 222, 229, 236, 241, 248, 402 ], [ 196, 205, 208, 217, 226, 235, 246, 255, 403 ], [ 197, 204, 209, 216, 227, 234, 247, 254, 404 ], [ 198, 207, 210, 219, 224, 233, 244, 253, 405 ], [ 199, 206, 211, 218, 225, 232, 245, 252, 406 ], [ 192, 202, 211, 217, 231, 237, 244, 254, 407 ], [ 193, 203, 210, 216, 230, 236, 245, 255, 408 ], [ 194, 200, 209, 219, 229, 239, 246, 252, 409 ], [ 195, 201, 208, 218, 228, 238, 247, 253, 410 ], [ 196, 206, 215, 221, 227, 233, 240, 250, 411 ], [ 197, 207, 214, 220, 226, 232, 241, 251, 412 ], [ 198, 204, 213, 223, 225, 235, 242, 248, 413 ], [ 256, 265, 276, 285, 294, 303, 306, 315, 399 ], [ 257, 264, 277, 284, 295, 302, 307, 314, 400 ], [ 258, 267, 278, 287, 292, 301, 304, 313, 401 ], [ 259, 266, 279, 286, 293, 300, 305, 312, 402 ], [ 260, 269, 272, 281, 290, 299, 310, 319, 403 ], [ 261, 268, 273, 280, 291, 298, 311, 318, 404 ], [ 262, 271, 274, 283, 288, 297, 308, 317, 405 ], [ 263, 270, 275, 282, 289, 296, 309, 316, 406 ], [ 256, 266, 275, 281, 295, 301, 308, 318, 407 ], [ 257, 267, 274, 280, 294, 300, 309, 319, 408 ], [ 258, 264, 273, 283, 293, 303, 310, 316, 409 ], [ 259, 265, 272, 282, 292, 302, 311, 317, 410 ], [ 260, 270, 279, 285, 291, 297, 304, 314, 411 ], [ 261, 271, 278, 284, 290, 296, 305, 315, 412 ], [ 262, 268, 277, 287, 289, 299, 306, 312, 413 ], [ 320, 329, 340, 349, 358, 367, 370, 379, 399 ], [ 321, 328, 341, 348, 359, 366, 371, 378, 400 ], [ 322, 331, 342, 351, 356, 365, 368, 377, 401 ], [ 323, 330, 343, 350, 357, 364, 369, 376, 402 ], [ 324, 333, 336, 345, 354, 363, 374, 383, 403 ], [ 325, 332, 337, 344, 355, 362, 375, 382, 404 ], [ 326, 335, 338, 347, 352, 361, 372, 381, 405 ], [ 327, 334, 339, 346, 353, 360, 373, 380, 406 ], [ 320, 330, 339, 345, 359, 365, 372, 382, 407 ], [ 321, 331, 338, 344, 358, 364, 373, 383, 408 ], [ 322, 328, 337, 347, 357, 367, 374, 380, 409 ], [ 323, 329, 336, 346, 356, 366, 375, 381, 410 ], [ 324, 334, 343, 349, 355, 361, 368, 378, 411 ], [ 325, 335, 342, 348, 354, 360, 369, 379, 412 ], [ 326, 332, 341, 351, 353, 363, 370, 376, 413 ] ] }, "distance": { "d": 8, "X": { "value": 8, "confidence": "upper_bound", "witness": [ 83, 91, 116, 124, 211, 219, 244, 252 ] }, "Z": { "value": 8, "confidence": "upper_bound", "witness": [ 20, 30, 51, 57, 84, 94, 115, 121 ] } }, "provenance": { "authors": [ "@nihoniumqc" ], "construction": "Central CSS tensor product E_6 tensor B (arXiv:2609.37231, Eqs. 14-15). E_6 has H_X=H_Z=(1,1,1,1,1,1). B is the board seed 64-34-4, credited to @MathysRennela and arXiv:2609.24201; retain original rows 0..14 of each seed matrix. The three qubit sectors have lengths 384,15,15. The public research note gives the full matrix recipe.", "references": [ "https://arxiv.org/abs/2609.37231", "https://arxiv.org/abs/1512.07081", "https://arxiv.org/abs/2609.24201" ], "date": "2026-10-03", "notes": "The trusted gate found no matching exact fingerprint or WL signature against upstream 78051e5f32bd05397f2f3fdacfc064ce0c66a5cf. This is not an exhaustive code equivalence test. Known tensor construction; literature novelty unverified. Both distance claims remain witness-backed upper bounds.", "model": "GPT-6", "origin": "submission", "novelty": "unknown", "search_budget": { "candidates_screened": 7, "tool": "NumPy RIS pilot and unmodified gf2_fast witness search", "wall_clock_hours": 0.03375526191000012, "notes": "Seven non-control products screened. For this code: 500 NumPy trials per side, followed by 100000 and 1000000 accelerated trials per side on distinct root seeds; backend trial counts are not interchangeable.", "ris_trials_per_side": 1000000 } }, "family": "other" }