{"version":"lazy-lattice-classifier-v1","stepsPerIndependentScramble":2,"maxDepth":4,"region":null,"lanes":[{"lane":"unmarked","runs":[{"evaluatorKnot":"3_1","sourceSeed":43,"targetSeed":901,"source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]],"sourceDiagram":"O1+ O2- O3- O4- U4- U5- O6- U3- O5- O7- U7- U6- U2- U1+ U8- O8-","targetDiagram":"O1+ U1+ U2- O2- O3- U4- O5- U3- U6- O6- O4- O7- U7- U5-","provenance":[{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[3,5,1],[3,5,0],[2,5,0],[2,5,1]],"old":[[3,5,1],[3,5,0]],"replacement":[[3,5,1],[2,5,1],[2,5,0],[3,5,0]],"vertices":[[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[1,3,0],[2,3,0],[2,3,-1],[1,3,-1]],"old":[[1,3,0],[2,3,0]],"replacement":[[1,3,0],[1,3,-1],[2,3,-1],[2,3,0]],"vertices":[[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"II+","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1+ O2- O3- O4- U4- U5- O6- U3- O5- O7- U7- U6- U2- U1+ U8- O8-","direction":[11,13,17]}]},{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[5,2,1],[5,2,0],[5,1,0],[5,1,1]],"old":[[5,2,1],[5,2,0]],"replacement":[[5,2,1],[5,1,1],[5,1,0],[5,2,0]],"vertices":[[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[1,1,0],[1,1,1],[0,1,1],[0,1,0]],"old":[[1,1,0],[1,1,1]],"replacement":[[1,1,0],[0,1,0],[0,1,1],[1,1,1]],"vertices":[[1,1,0],[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"key":"[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]]","kind":"I+","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1+ U1+ U2- O2- O3- U4- O5- U3- U6- O6- O4- O7- U7- U5-","direction":[11,13,17]}]}],"status":"equivalent","meeting":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","leftPath":[14,459],"rightPath":[106,9517],"distance":4,"stats":{"nodes":87,"attempts":9568,"forced":0,"branches":87,"graphBuilds":87,"peakIncidences":75,"generatedStates":3694,"generatedEdges":6019,"domainCacheHits":0,"rawCandidates":9568,"markingEliminations":0,"authorRejections":3502,"markingVersions":0,"replayedDomains":0,"peakFrontier":2537},"knotEquivalence":"equivalent","certificate":{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]],"options":{"depth":4,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[2,3,-1],[2,3,0],[1,3,0],[1,3,-1]],"old":[[1,3,0],[1,3,-1],[2,3,-1],[2,3,0]],"replacement":[[1,3,0],[2,3,0]],"vertices":[[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"II−","beforeDiagram":"O1+ O2- O3- O4- U4- U5- O6- U3- O5- O7- U7- U6- U2- U1+ U8- O8-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[2,5,0],[3,5,0],[3,5,1],[2,5,1]],"old":[[3,5,1],[2,5,1],[2,5,0],[3,5,0]],"replacement":[[3,5,1],[3,5,0]],"vertices":[[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[5,1,0],[5,2,0],[5,2,1],[5,1,1]],"old":[[5,2,1],[5,2,0]],"replacement":[[5,2,1],[5,1,1],[5,1,0],[5,2,0]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[1,1,0],[0,1,0],[0,1,1],[1,1,1]],"old":[[1,1,0],[1,1,1]],"replacement":[[1,1,0],[0,1,0],[0,1,1],[1,1,1]],"vertices":[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]],"key":"[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]]","kind":"I+","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1+ U1+ U2- O2- O3- U4- O5- U3- U6- O6- O4- O7- U7- U5-","direction":[11,13,17]}]},"learning":{"transferValidationNodes":0,"transferValidationMs":0,"system":"unit-cubic-face-internal-vertex-capacity-v1","enabled":false,"applicationsIncludeReplays":true,"cold":true,"initialAssignedValues":0,"version":0,"events":[],"transferredApplications":0,"scope":"Exact local vertex-capacity compatibility. All binary exterior profiles exhaustively probed; translations, signed coordinate permutations and traversal reversal preserve the point model. No target-dependent failure transfer.","assignedComponents":0,"nodes":0,"probeMs":0,"initialVersion":0,"eventsThisRun":[],"probeNodesThisRun":0,"probeMsThisRun":0,"transferValidationNodesThisRun":0,"transferValidationMsThisRun":0,"transferredApplicationsThisRun":0},"verificationMs":77.04800000000023,"totalMs":2760.446708,"scope":"Lazy bidirectional finite-path adaptation. Complete all-face domains, opaque keys, no patch restriction unless explicitly supplied. Local capacity markings preserve legal-edge reachability; future domains remain unknown until exhausted."},{"evaluatorKnot":"4_1","sourceSeed":144,"targetSeed":1004,"source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"sourceDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","targetDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","provenance":[{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[4,6,0],[5,6,0],[5,7,0],[4,7,0]],"old":[[4,6,0],[5,6,0]],"replacement":[[4,6,0],[4,7,0],[5,7,0],[5,6,0]],"vertices":[[4,6,0],[4,7,0],[5,7,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","direction":[11,13,17]},{"face":[[5,7,0],[5,6,0],[6,6,0],[6,7,0]],"old":[[5,7,0],[5,6,0]],"replacement":[[5,7,0],[6,7,0],[6,6,0],[5,6,0]],"vertices":[[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","direction":[11,13,17]}]},{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[6,2,1],[6,3,1],[6,3,0],[6,2,0]],"old":[[6,2,0],[6,2,1],[6,3,1]],"replacement":[[6,2,0],[6,3,0],[6,3,1]],"vertices":[[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"I−","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]},{"face":[[5,6,0],[5,6,1],[6,6,1],[6,6,0]],"old":[[5,6,0],[5,6,1]],"replacement":[[5,6,0],[6,6,0],[6,6,1],[5,6,1]],"vertices":[[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]}]}],"status":"equivalent","meeting":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","leftPath":[95,3639],"rightPath":[178,13840],"distance":4,"stats":{"nodes":97,"attempts":13942,"forced":0,"branches":97,"graphBuilds":97,"peakIncidences":95,"generatedStates":4827,"generatedEdges":8714,"domainCacheHits":0,"rawCandidates":13942,"markingEliminations":0,"authorRejections":5155,"markingVersions":0,"replayedDomains":0,"peakFrontier":4324},"knotEquivalence":"equivalent","certificate":{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":4,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[6,2,1],[6,3,1],[6,3,0],[6,2,0]],"old":[[6,2,0],[6,2,1],[6,3,1]],"replacement":[[6,2,0],[6,3,0],[6,3,1]],"vertices":[[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"I−","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]},{"face":[[5,6,0],[5,6,1],[6,6,1],[6,6,0]],"old":[[6,6,0],[5,6,0],[5,6,1]],"replacement":[[6,6,0],[6,6,1],[5,6,1]],"vertices":[[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]},{"face":[[5,6,0],[5,7,0],[4,7,0],[4,6,0]],"old":[[4,6,0],[4,7,0],[5,7,0]],"replacement":[[4,6,0],[5,6,0],[5,7,0]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,7,0],[6,7,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,7,0],[6,7,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]},{"face":[[5,6,0],[6,6,0],[6,7,0],[5,7,0]],"old":[[5,6,0],[5,7,0],[6,7,0],[6,6,0]],"replacement":[[5,6,0],[6,6,0]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]}]},"learning":{"transferValidationNodes":0,"transferValidationMs":0,"system":"unit-cubic-face-internal-vertex-capacity-v1","enabled":false,"applicationsIncludeReplays":true,"cold":true,"initialAssignedValues":0,"version":0,"events":[],"transferredApplications":0,"scope":"Exact local vertex-capacity compatibility. All binary exterior profiles exhaustively probed; translations, signed coordinate permutations and traversal reversal preserve the point model. No target-dependent failure transfer.","assignedComponents":0,"nodes":0,"probeMs":0,"initialVersion":0,"eventsThisRun":[],"probeNodesThisRun":0,"probeMsThisRun":0,"transferValidationNodesThisRun":0,"transferValidationMsThisRun":0,"transferredApplicationsThisRun":0},"verificationMs":175.37854200000038,"totalMs":5099.2775839999995,"scope":"Lazy bidirectional finite-path adaptation. Complete all-face domains, opaque keys, no patch restriction unless explicitly supplied. Local capacity markings preserve legal-edge reachability; future domains remain unknown until exhausted."},{"evaluatorKnot":"5_1","sourceSeed":245,"targetSeed":1107,"source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"sourceDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","targetDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","provenance":[{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[7,7,0],[7,7,1],[7,8,1],[7,8,0]],"old":[[7,7,0],[7,7,1]],"replacement":[[7,7,0],[7,8,0],[7,8,1],[7,7,1]],"vertices":[[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"I+","beforeDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","afterDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","direction":[11,13,17]},{"face":[[7,2,1],[7,2,0],[7,1,0],[7,1,1]],"old":[[7,2,1],[7,2,0]],"replacement":[[7,2,1],[7,1,1],[7,1,0],[7,2,0]],"vertices":[[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","afterDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","direction":[11,13,17]}]},{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[4,4,0],[4,4,1],[5,4,1],[5,4,0]],"old":[[4,4,0],[4,4,1]],"replacement":[[4,4,0],[5,4,0],[5,4,1],[4,4,1]],"vertices":[[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","direction":[11,13,17]},{"face":[[4,4,1],[4,5,1],[4,5,2],[4,4,2]],"old":[[4,4,1],[4,5,1]],"replacement":[[4,4,1],[4,4,2],[4,5,2],[4,5,1]],"vertices":[[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"II+","beforeDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","afterDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","direction":[11,13,17]}]}],"status":"equivalent","meeting":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","leftPath":[114,2040],"rightPath":[232,19840],"distance":4,"stats":{"nodes":119,"attempts":19889,"forced":0,"branches":119,"graphBuilds":119,"peakIncidences":116,"generatedStates":7223,"generatedEdges":13194,"domainCacheHits":0,"rawCandidates":19889,"markingEliminations":0,"authorRejections":6590,"markingVersions":0,"replayedDomains":0,"peakFrontier":6504},"knotEquivalence":"equivalent","certificate":{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":4,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[4,4,0],[4,4,1],[5,4,1],[5,4,0]],"old":[[4,4,0],[4,4,1]],"replacement":[[4,4,0],[5,4,0],[5,4,1],[4,4,1]],"vertices":[[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","afterDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","direction":[11,13,17]},{"face":[[7,8,1],[7,7,1],[7,7,0],[7,8,0]],"old":[[7,7,0],[7,8,0],[7,8,1],[7,7,1]],"replacement":[[7,7,0],[7,7,1]],"vertices":[[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"I−","beforeDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","afterDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","direction":[11,13,17]},{"face":[[4,5,2],[4,5,1],[4,4,1],[4,4,2]],"old":[[4,4,1],[4,5,1]],"replacement":[[4,4,1],[4,4,2],[4,5,2],[4,5,1]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"II+","beforeDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","afterDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","direction":[11,13,17]},{"face":[[7,2,1],[7,2,0],[7,1,0],[7,1,1]],"old":[[7,2,1],[7,1,1],[7,1,0],[7,2,0]],"replacement":[[7,2,1],[7,2,0]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","afterDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","direction":[11,13,17]}]},"learning":{"transferValidationNodes":0,"transferValidationMs":0,"system":"unit-cubic-face-internal-vertex-capacity-v1","enabled":false,"applicationsIncludeReplays":true,"cold":true,"initialAssignedValues":0,"version":0,"events":[],"transferredApplications":0,"scope":"Exact local vertex-capacity compatibility. All binary exterior profiles exhaustively probed; translations, signed coordinate permutations and traversal reversal preserve the point model. No target-dependent failure transfer.","assignedComponents":0,"nodes":0,"probeMs":0,"initialVersion":0,"eventsThisRun":[],"probeNodesThisRun":0,"probeMsThisRun":0,"transferValidationNodesThisRun":0,"transferValidationMsThisRun":0,"transferredApplicationsThisRun":0},"verificationMs":368.7444170000017,"totalMs":12749.028874999998,"scope":"Lazy bidirectional finite-path adaptation. Complete all-face domains, opaque keys, no patch restriction unless explicitly supplied. Local capacity markings preserve legal-edge reachability; future domains remain unknown until exhausted."}],"runtime":{"node":"v24.19.0","maxRSSKiB":321632,"memoryAtEndBytes":{"rss":329170944,"heapTotal":225558528,"heapUsed":149441216,"external":2190117,"arrayBuffers":137467}}},{"lane":"gcts-cold","runs":[{"evaluatorKnot":"3_1","sourceSeed":43,"targetSeed":901,"source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]],"sourceDiagram":"O1+ O2- O3- O4- U4- U5- O6- U3- O5- O7- U7- U6- U2- U1+ U8- O8-","targetDiagram":"O1+ U1+ U2- O2- O3- U4- O5- U3- U6- O6- O4- O7- U7- U5-","provenance":[{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[3,5,1],[3,5,0],[2,5,0],[2,5,1]],"old":[[3,5,1],[3,5,0]],"replacement":[[3,5,1],[2,5,1],[2,5,0],[3,5,0]],"vertices":[[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[1,3,0],[2,3,0],[2,3,-1],[1,3,-1]],"old":[[1,3,0],[2,3,0]],"replacement":[[1,3,0],[1,3,-1],[2,3,-1],[2,3,0]],"vertices":[[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"II+","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1+ O2- O3- O4- U4- U5- O6- U3- O5- O7- U7- U6- U2- U1+ U8- O8-","direction":[11,13,17]}]},{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[5,2,1],[5,2,0],[5,1,0],[5,1,1]],"old":[[5,2,1],[5,2,0]],"replacement":[[5,2,1],[5,1,1],[5,1,0],[5,2,0]],"vertices":[[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[1,1,0],[1,1,1],[0,1,1],[0,1,0]],"old":[[1,1,0],[1,1,1]],"replacement":[[1,1,0],[0,1,0],[0,1,1],[1,1,1]],"vertices":[[1,1,0],[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"key":"[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]]","kind":"I+","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1+ U1+ U2- O2- O3- U4- O5- U3- U6- O6- O4- O7- U7- U5-","direction":[11,13,17]}]}],"status":"equivalent","meeting":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","leftPath":[14,459],"rightPath":[106,9517],"distance":4,"stats":{"nodes":87,"attempts":6441,"forced":0,"branches":87,"graphBuilds":89,"peakIncidences":75,"generatedStates":3694,"generatedEdges":6019,"domainCacheHits":0,"rawCandidates":9568,"markingEliminations":3127,"authorRejections":375,"markingVersions":2,"replayedDomains":0,"peakFrontier":2537},"knotEquivalence":"equivalent","certificate":{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]],"options":{"depth":4,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[2,3,-1],[2,3,0],[1,3,0],[1,3,-1]],"old":[[1,3,0],[1,3,-1],[2,3,-1],[2,3,0]],"replacement":[[1,3,0],[2,3,0]],"vertices":[[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"II−","beforeDiagram":"O1+ O2- O3- O4- U4- U5- O6- U3- O5- O7- U7- U6- U2- U1+ U8- O8-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[2,5,0],[3,5,0],[3,5,1],[2,5,1]],"old":[[3,5,1],[2,5,1],[2,5,0],[3,5,0]],"replacement":[[3,5,1],[3,5,0]],"vertices":[[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[5,1,0],[5,2,0],[5,2,1],[5,1,1]],"old":[[5,2,1],[5,2,0]],"replacement":[[5,2,1],[5,1,1],[5,1,0],[5,2,0]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[1,1,0],[0,1,0],[0,1,1],[1,1,1]],"old":[[1,1,0],[1,1,1]],"replacement":[[1,1,0],[0,1,0],[0,1,1],[1,1,1]],"vertices":[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]],"key":"[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]]","kind":"I+","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1+ U1+ U2- O2- O3- U4- O5- U3- U6- O6- O4- O7- U7- U5-","direction":[11,13,17]}]},"learning":{"transferValidationNodes":0,"transferValidationMs":0,"system":"unit-cubic-face-internal-vertex-capacity-v1","enabled":true,"applicationsIncludeReplays":true,"cold":true,"initialAssignedValues":0,"version":2,"events":[{"width":2,"context":"[\"1,1,1\",\"1,2,1\",\"2,1,1\",\"2,2,1\"]","samples":[{"profile":[0,0],"outcome":"positive","nodes":1},{"profile":[1,0],"outcome":"negative","nodes":1},{"profile":[0,1],"outcome":"negative","nodes":1},{"profile":[1,1],"outcome":"negative","nodes":1}],"values":[0,0],"activated":true,"probeMs":0.31416699999999764,"validation":{"positives":1,"negatives":3,"unresolved":0,"allResolvedProfilesReplayed":true}},{"width":1,"context":"[\"2,3,0\",\"2,3,1\",\"3,3,0\",\"3,3,1\"]","samples":[{"profile":[0],"outcome":"positive","nodes":1},{"profile":[1],"outcome":"negative","nodes":1}],"values":[0],"activated":true,"probeMs":0.056667000000004464,"validation":{"positives":1,"negatives":1,"unresolved":0,"allResolvedProfilesReplayed":true}}],"transferredApplications":15002,"scope":"Exact local vertex-capacity compatibility. All binary exterior profiles exhaustively probed; translations, signed coordinate permutations and traversal reversal preserve the point model. No target-dependent failure transfer.","assignedComponents":3,"nodes":6,"probeMs":0.3708340000000021,"initialVersion":0,"eventsThisRun":[{"width":2,"context":"[\"1,1,1\",\"1,2,1\",\"2,1,1\",\"2,2,1\"]","samples":[{"profile":[0,0],"outcome":"positive","nodes":1},{"profile":[1,0],"outcome":"negative","nodes":1},{"profile":[0,1],"outcome":"negative","nodes":1},{"profile":[1,1],"outcome":"negative","nodes":1}],"values":[0,0],"activated":true,"probeMs":0.31416699999999764,"validation":{"positives":1,"negatives":3,"unresolved":0,"allResolvedProfilesReplayed":true}},{"width":1,"context":"[\"2,3,0\",\"2,3,1\",\"3,3,0\",\"3,3,1\"]","samples":[{"profile":[0],"outcome":"positive","nodes":1},{"profile":[1],"outcome":"negative","nodes":1}],"values":[0],"activated":true,"probeMs":0.056667000000004464,"validation":{"positives":1,"negatives":1,"unresolved":0,"allResolvedProfilesReplayed":true}}],"probeNodesThisRun":6,"probeMsThisRun":0.3708340000000021,"transferValidationNodesThisRun":0,"transferValidationMsThisRun":0,"transferredApplicationsThisRun":15002},"verificationMs":79.44429199999968,"totalMs":2808.2432080000003,"scope":"Lazy bidirectional finite-path adaptation. Complete all-face domains, opaque keys, no patch restriction unless explicitly supplied. Local capacity markings preserve legal-edge reachability; future domains remain unknown until exhausted."},{"evaluatorKnot":"4_1","sourceSeed":144,"targetSeed":1004,"source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"sourceDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","targetDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","provenance":[{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[4,6,0],[5,6,0],[5,7,0],[4,7,0]],"old":[[4,6,0],[5,6,0]],"replacement":[[4,6,0],[4,7,0],[5,7,0],[5,6,0]],"vertices":[[4,6,0],[4,7,0],[5,7,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","direction":[11,13,17]},{"face":[[5,7,0],[5,6,0],[6,6,0],[6,7,0]],"old":[[5,7,0],[5,6,0]],"replacement":[[5,7,0],[6,7,0],[6,6,0],[5,6,0]],"vertices":[[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","direction":[11,13,17]}]},{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[6,2,1],[6,3,1],[6,3,0],[6,2,0]],"old":[[6,2,0],[6,2,1],[6,3,1]],"replacement":[[6,2,0],[6,3,0],[6,3,1]],"vertices":[[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"I−","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]},{"face":[[5,6,0],[5,6,1],[6,6,1],[6,6,0]],"old":[[5,6,0],[5,6,1]],"replacement":[[5,6,0],[6,6,0],[6,6,1],[5,6,1]],"vertices":[[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]}]}],"status":"equivalent","meeting":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","leftPath":[95,3639],"rightPath":[178,13840],"distance":4,"stats":{"nodes":97,"attempts":8997,"forced":0,"branches":97,"graphBuilds":99,"peakIncidences":95,"generatedStates":4827,"generatedEdges":8714,"domainCacheHits":0,"rawCandidates":13942,"markingEliminations":4945,"authorRejections":210,"markingVersions":2,"replayedDomains":0,"peakFrontier":4324},"knotEquivalence":"equivalent","certificate":{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":4,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[6,2,1],[6,3,1],[6,3,0],[6,2,0]],"old":[[6,2,0],[6,2,1],[6,3,1]],"replacement":[[6,2,0],[6,3,0],[6,3,1]],"vertices":[[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"I−","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]},{"face":[[5,6,0],[5,6,1],[6,6,1],[6,6,0]],"old":[[6,6,0],[5,6,0],[5,6,1]],"replacement":[[6,6,0],[6,6,1],[5,6,1]],"vertices":[[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]},{"face":[[5,6,0],[5,7,0],[4,7,0],[4,6,0]],"old":[[4,6,0],[4,7,0],[5,7,0]],"replacement":[[4,6,0],[5,6,0],[5,7,0]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,7,0],[6,7,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,7,0],[6,7,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]},{"face":[[5,6,0],[6,6,0],[6,7,0],[5,7,0]],"old":[[5,6,0],[5,7,0],[6,7,0],[6,6,0]],"replacement":[[5,6,0],[6,6,0]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]}]},"learning":{"transferValidationNodes":0,"transferValidationMs":0,"system":"unit-cubic-face-internal-vertex-capacity-v1","enabled":true,"applicationsIncludeReplays":true,"cold":true,"initialAssignedValues":0,"version":2,"events":[{"width":2,"context":"[\"1,1,1\",\"1,2,1\",\"2,1,1\",\"2,2,1\"]","samples":[{"profile":[0,0],"outcome":"positive","nodes":1},{"profile":[1,0],"outcome":"negative","nodes":1},{"profile":[0,1],"outcome":"negative","nodes":1},{"profile":[1,1],"outcome":"negative","nodes":1}],"values":[0,0],"activated":true,"probeMs":0.08474999999998545,"validation":{"positives":1,"negatives":3,"unresolved":0,"allResolvedProfilesReplayed":true}},{"width":1,"context":"[\"1,3,0\",\"1,3,1\",\"2,3,0\",\"2,3,1\"]","samples":[{"profile":[0],"outcome":"positive","nodes":1},{"profile":[1],"outcome":"negative","nodes":1}],"values":[0],"activated":true,"probeMs":0.021499999999832653,"validation":{"positives":1,"negatives":1,"unresolved":0,"allResolvedProfilesReplayed":true}}],"transferredApplications":22188,"scope":"Exact local vertex-capacity compatibility. All binary exterior profiles exhaustively probed; translations, signed coordinate permutations and traversal reversal preserve the point model. No target-dependent failure transfer.","assignedComponents":3,"nodes":6,"probeMs":0.1062499999998181,"initialVersion":0,"eventsThisRun":[{"width":2,"context":"[\"1,1,1\",\"1,2,1\",\"2,1,1\",\"2,2,1\"]","samples":[{"profile":[0,0],"outcome":"positive","nodes":1},{"profile":[1,0],"outcome":"negative","nodes":1},{"profile":[0,1],"outcome":"negative","nodes":1},{"profile":[1,1],"outcome":"negative","nodes":1}],"values":[0,0],"activated":true,"probeMs":0.08474999999998545,"validation":{"positives":1,"negatives":3,"unresolved":0,"allResolvedProfilesReplayed":true}},{"width":1,"context":"[\"1,3,0\",\"1,3,1\",\"2,3,0\",\"2,3,1\"]","samples":[{"profile":[0],"outcome":"positive","nodes":1},{"profile":[1],"outcome":"negative","nodes":1}],"values":[0],"activated":true,"probeMs":0.021499999999832653,"validation":{"positives":1,"negatives":1,"unresolved":0,"allResolvedProfilesReplayed":true}}],"probeNodesThisRun":6,"probeMsThisRun":0.1062499999998181,"transferValidationNodesThisRun":0,"transferValidationMsThisRun":0,"transferredApplicationsThisRun":22188},"verificationMs":175.22991699999966,"totalMs":5189.879208,"scope":"Lazy bidirectional finite-path adaptation. Complete all-face domains, opaque keys, no patch restriction unless explicitly supplied. Local capacity markings preserve legal-edge reachability; future domains remain unknown until exhausted."},{"evaluatorKnot":"5_1","sourceSeed":245,"targetSeed":1107,"source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"sourceDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","targetDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","provenance":[{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[7,7,0],[7,7,1],[7,8,1],[7,8,0]],"old":[[7,7,0],[7,7,1]],"replacement":[[7,7,0],[7,8,0],[7,8,1],[7,7,1]],"vertices":[[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"I+","beforeDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","afterDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","direction":[11,13,17]},{"face":[[7,2,1],[7,2,0],[7,1,0],[7,1,1]],"old":[[7,2,1],[7,2,0]],"replacement":[[7,2,1],[7,1,1],[7,1,0],[7,2,0]],"vertices":[[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","afterDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","direction":[11,13,17]}]},{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[4,4,0],[4,4,1],[5,4,1],[5,4,0]],"old":[[4,4,0],[4,4,1]],"replacement":[[4,4,0],[5,4,0],[5,4,1],[4,4,1]],"vertices":[[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","direction":[11,13,17]},{"face":[[4,4,1],[4,5,1],[4,5,2],[4,4,2]],"old":[[4,4,1],[4,5,1]],"replacement":[[4,4,1],[4,4,2],[4,5,2],[4,5,1]],"vertices":[[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"II+","beforeDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","afterDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","direction":[11,13,17]}]}],"status":"equivalent","meeting":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","leftPath":[114,2040],"rightPath":[232,19840],"distance":4,"stats":{"nodes":119,"attempts":13487,"forced":0,"branches":119,"graphBuilds":121,"peakIncidences":116,"generatedStates":7223,"generatedEdges":13194,"domainCacheHits":0,"rawCandidates":19889,"markingEliminations":6402,"authorRejections":188,"markingVersions":2,"replayedDomains":0,"peakFrontier":6504},"knotEquivalence":"equivalent","certificate":{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":4,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[4,4,0],[4,4,1],[5,4,1],[5,4,0]],"old":[[4,4,0],[4,4,1]],"replacement":[[4,4,0],[5,4,0],[5,4,1],[4,4,1]],"vertices":[[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","afterDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","direction":[11,13,17]},{"face":[[7,8,1],[7,7,1],[7,7,0],[7,8,0]],"old":[[7,7,0],[7,8,0],[7,8,1],[7,7,1]],"replacement":[[7,7,0],[7,7,1]],"vertices":[[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"I−","beforeDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","afterDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","direction":[11,13,17]},{"face":[[4,5,2],[4,5,1],[4,4,1],[4,4,2]],"old":[[4,4,1],[4,5,1]],"replacement":[[4,4,1],[4,4,2],[4,5,2],[4,5,1]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"II+","beforeDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","afterDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","direction":[11,13,17]},{"face":[[7,2,1],[7,2,0],[7,1,0],[7,1,1]],"old":[[7,2,1],[7,1,1],[7,1,0],[7,2,0]],"replacement":[[7,2,1],[7,2,0]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","afterDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","direction":[11,13,17]}]},"learning":{"transferValidationNodes":0,"transferValidationMs":0,"system":"unit-cubic-face-internal-vertex-capacity-v1","enabled":true,"applicationsIncludeReplays":true,"cold":true,"initialAssignedValues":0,"version":2,"events":[{"width":2,"context":"[\"1,1,1\",\"1,2,1\",\"2,1,1\",\"2,2,1\"]","samples":[{"profile":[0,0],"outcome":"positive","nodes":1},{"profile":[1,0],"outcome":"negative","nodes":1},{"profile":[0,1],"outcome":"negative","nodes":1},{"profile":[1,1],"outcome":"negative","nodes":1}],"values":[0,0],"activated":true,"probeMs":0.04404199999953562,"validation":{"positives":1,"negatives":3,"unresolved":0,"allResolvedProfilesReplayed":true}},{"width":1,"context":"[\"1,3,0\",\"1,3,1\",\"2,3,0\",\"2,3,1\"]","samples":[{"profile":[0],"outcome":"positive","nodes":1},{"profile":[1],"outcome":"negative","nodes":1}],"values":[0],"activated":true,"probeMs":0.01095799999893643,"validation":{"positives":1,"negatives":1,"unresolved":0,"allResolvedProfilesReplayed":true}}],"transferredApplications":32292,"scope":"Exact local vertex-capacity compatibility. All binary exterior profiles exhaustively probed; translations, signed coordinate permutations and traversal reversal preserve the point model. No target-dependent failure transfer.","assignedComponents":3,"nodes":6,"probeMs":0.05499999999847205,"initialVersion":0,"eventsThisRun":[{"width":2,"context":"[\"1,1,1\",\"1,2,1\",\"2,1,1\",\"2,2,1\"]","samples":[{"profile":[0,0],"outcome":"positive","nodes":1},{"profile":[1,0],"outcome":"negative","nodes":1},{"profile":[0,1],"outcome":"negative","nodes":1},{"profile":[1,1],"outcome":"negative","nodes":1}],"values":[0,0],"activated":true,"probeMs":0.04404199999953562,"validation":{"positives":1,"negatives":3,"unresolved":0,"allResolvedProfilesReplayed":true}},{"width":1,"context":"[\"1,3,0\",\"1,3,1\",\"2,3,0\",\"2,3,1\"]","samples":[{"profile":[0],"outcome":"positive","nodes":1},{"profile":[1],"outcome":"negative","nodes":1}],"values":[0],"activated":true,"probeMs":0.01095799999893643,"validation":{"positives":1,"negatives":1,"unresolved":0,"allResolvedProfilesReplayed":true}}],"probeNodesThisRun":6,"probeMsThisRun":0.05499999999847205,"transferValidationNodesThisRun":0,"transferValidationMsThisRun":0,"transferredApplicationsThisRun":32292},"verificationMs":371.234540999998,"totalMs":12789.442000000001,"scope":"Lazy bidirectional finite-path adaptation. Complete all-face domains, opaque keys, no patch restriction unless explicitly supplied. Local capacity markings preserve legal-edge reachability; future domains remain unknown until exhausted."}],"runtime":{"node":"v24.19.0","maxRSSKiB":328192,"memoryAtEndBytes":{"rss":334626816,"heapTotal":238190592,"heapUsed":136027232,"external":2190117,"arrayBuffers":137467}}},{"lane":"gcts-transfer","runs":[{"evaluatorKnot":"3_1","sourceSeed":43,"targetSeed":901,"source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]],"sourceDiagram":"O1+ O2- O3- O4- U4- U5- O6- U3- O5- O7- U7- U6- U2- U1+ U8- O8-","targetDiagram":"O1+ U1+ U2- O2- O3- U4- O5- U3- U6- O6- O4- O7- U7- U5-","provenance":[{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[3,5,1],[3,5,0],[2,5,0],[2,5,1]],"old":[[3,5,1],[3,5,0]],"replacement":[[3,5,1],[2,5,1],[2,5,0],[3,5,0]],"vertices":[[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[1,3,0],[2,3,0],[2,3,-1],[1,3,-1]],"old":[[1,3,0],[2,3,0]],"replacement":[[1,3,0],[1,3,-1],[2,3,-1],[2,3,0]],"vertices":[[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"II+","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1+ O2- O3- O4- U4- U5- O6- U3- O5- O7- U7- U6- U2- U1+ U8- O8-","direction":[11,13,17]}]},{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[5,2,1],[5,2,0],[5,1,0],[5,1,1]],"old":[[5,2,1],[5,2,0]],"replacement":[[5,2,1],[5,1,1],[5,1,0],[5,2,0]],"vertices":[[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[1,1,0],[1,1,1],[0,1,1],[0,1,0]],"old":[[1,1,0],[1,1,1]],"replacement":[[1,1,0],[0,1,0],[0,1,1],[1,1,1]],"vertices":[[1,1,0],[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"key":"[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]]","kind":"I+","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1+ U1+ U2- O2- O3- U4- O5- U3- U6- O6- O4- O7- U7- U5-","direction":[11,13,17]}]}],"status":"equivalent","meeting":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","leftPath":[14,459],"rightPath":[106,9517],"distance":4,"stats":{"nodes":87,"attempts":6441,"forced":0,"branches":87,"graphBuilds":89,"peakIncidences":75,"generatedStates":3694,"generatedEdges":6019,"domainCacheHits":0,"rawCandidates":9568,"markingEliminations":3127,"authorRejections":375,"markingVersions":2,"replayedDomains":0,"peakFrontier":2537},"knotEquivalence":"equivalent","certificate":{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]],"options":{"depth":4,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[2,3,-1],[2,3,0],[1,3,0],[1,3,-1]],"old":[[1,3,0],[1,3,-1],[2,3,-1],[2,3,0]],"replacement":[[1,3,0],[2,3,0]],"vertices":[[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"II−","beforeDiagram":"O1+ O2- O3- O4- U4- U5- O6- U3- O5- O7- U7- U6- U2- U1+ U8- O8-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[2,5,0],[3,5,0],[3,5,1],[2,5,1]],"old":[[3,5,1],[2,5,1],[2,5,0],[3,5,0]],"replacement":[[3,5,1],[3,5,0]],"vertices":[[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[5,1,0],[5,2,0],[5,2,1],[5,1,1]],"old":[[5,2,1],[5,2,0]],"replacement":[[5,2,1],[5,1,1],[5,1,0],[5,2,0]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","direction":[11,13,17]},{"face":[[1,1,0],[0,1,0],[0,1,1],[1,1,1]],"old":[[1,1,0],[1,1,1]],"replacement":[[1,1,0],[0,1,0],[0,1,1],[1,1,1]],"vertices":[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]],"key":"[[0,1,0],[0,1,1],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,4,1],[5,3,1],[5,2,1],[5,1,1],[5,1,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0]]","kind":"I+","beforeDiagram":"O1- O2- O3- U3- U4- O5- U2- O4- O6- U6- U5- U1-","afterDiagram":"O1+ U1+ U2- O2- O3- U4- O5- U3- U6- O6- O4- O7- U7- U5-","direction":[11,13,17]}]},"learning":{"transferValidationNodes":0,"transferValidationMs":0.002125000000006594,"system":"unit-cubic-face-internal-vertex-capacity-v1","enabled":true,"applicationsIncludeReplays":true,"cold":true,"initialAssignedValues":0,"version":2,"events":[{"width":2,"context":"[\"1,1,1\",\"1,2,1\",\"2,1,1\",\"2,2,1\"]","samples":[{"profile":[0,0],"outcome":"positive","nodes":1},{"profile":[1,0],"outcome":"negative","nodes":1},{"profile":[0,1],"outcome":"negative","nodes":1},{"profile":[1,1],"outcome":"negative","nodes":1}],"values":[0,0],"activated":true,"probeMs":0.36420800000000497,"validation":{"positives":1,"negatives":3,"unresolved":0,"allResolvedProfilesReplayed":true}},{"width":1,"context":"[\"2,3,0\",\"2,3,1\",\"3,3,0\",\"3,3,1\"]","samples":[{"profile":[0],"outcome":"positive","nodes":1},{"profile":[1],"outcome":"negative","nodes":1}],"values":[0],"activated":true,"probeMs":0.04954100000000494,"validation":{"positives":1,"negatives":1,"unresolved":0,"allResolvedProfilesReplayed":true}}],"transferredApplications":15002,"scope":"Exact local vertex-capacity compatibility. All binary exterior profiles exhaustively probed; translations, signed coordinate permutations and traversal reversal preserve the point model. No target-dependent failure transfer.","assignedComponents":3,"nodes":6,"probeMs":0.4137490000000099,"initialVersion":0,"eventsThisRun":[{"width":2,"context":"[\"1,1,1\",\"1,2,1\",\"2,1,1\",\"2,2,1\"]","samples":[{"profile":[0,0],"outcome":"positive","nodes":1},{"profile":[1,0],"outcome":"negative","nodes":1},{"profile":[0,1],"outcome":"negative","nodes":1},{"profile":[1,1],"outcome":"negative","nodes":1}],"values":[0,0],"activated":true,"probeMs":0.36420800000000497,"validation":{"positives":1,"negatives":3,"unresolved":0,"allResolvedProfilesReplayed":true}},{"width":1,"context":"[\"2,3,0\",\"2,3,1\",\"3,3,0\",\"3,3,1\"]","samples":[{"profile":[0],"outcome":"positive","nodes":1},{"profile":[1],"outcome":"negative","nodes":1}],"values":[0],"activated":true,"probeMs":0.04954100000000494,"validation":{"positives":1,"negatives":1,"unresolved":0,"allResolvedProfilesReplayed":true}}],"probeNodesThisRun":6,"probeMsThisRun":0.4137490000000099,"transferValidationNodesThisRun":0,"transferValidationMsThisRun":0.002125000000006594,"transferredApplicationsThisRun":15002},"verificationMs":76.99537499999997,"totalMs":2788.1294589999998,"scope":"Lazy bidirectional finite-path adaptation. Complete all-face domains, opaque keys, no patch restriction unless explicitly supplied. Local capacity markings preserve legal-edge reachability; future domains remain unknown until exhausted."},{"evaluatorKnot":"4_1","sourceSeed":144,"targetSeed":1004,"source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"sourceDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","targetDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","provenance":[{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[4,6,0],[5,6,0],[5,7,0],[4,7,0]],"old":[[4,6,0],[5,6,0]],"replacement":[[4,6,0],[4,7,0],[5,7,0],[5,6,0]],"vertices":[[4,6,0],[4,7,0],[5,7,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","direction":[11,13,17]},{"face":[[5,7,0],[5,6,0],[6,6,0],[6,7,0]],"old":[[5,7,0],[5,6,0]],"replacement":[[5,7,0],[6,7,0],[6,6,0],[5,6,0]],"vertices":[[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","direction":[11,13,17]}]},{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[6,2,1],[6,3,1],[6,3,0],[6,2,0]],"old":[[6,2,0],[6,2,1],[6,3,1]],"replacement":[[6,2,0],[6,3,0],[6,3,1]],"vertices":[[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"I−","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]},{"face":[[5,6,0],[5,6,1],[6,6,1],[6,6,0]],"old":[[5,6,0],[5,6,1]],"replacement":[[5,6,0],[6,6,0],[6,6,1],[5,6,1]],"vertices":[[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]}]}],"status":"equivalent","meeting":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","leftPath":[95,3639],"rightPath":[178,13840],"distance":4,"stats":{"nodes":97,"attempts":8995,"forced":0,"branches":97,"graphBuilds":97,"peakIncidences":95,"generatedStates":4827,"generatedEdges":8714,"domainCacheHits":0,"rawCandidates":13942,"markingEliminations":4947,"authorRejections":208,"markingVersions":0,"replayedDomains":0,"peakFrontier":4324},"knotEquivalence":"equivalent","certificate":{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,2,1],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":4,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[6,2,1],[6,3,1],[6,3,0],[6,2,0]],"old":[[6,2,0],[6,2,1],[6,3,1]],"replacement":[[6,2,0],[6,3,0],[6,3,1]],"vertices":[[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[5,6,0],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"I−","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U7- O7- U2- O4- O6+ O8- U8- U5+ U9- O9-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]},{"face":[[5,6,0],[5,6,1],[6,6,1],[6,6,0]],"old":[[6,6,0],[5,6,0],[5,6,1]],"replacement":[[6,6,0],[6,6,1],[5,6,1]],"vertices":[[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[4,7,0],[5,7,0],[6,7,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]},{"face":[[5,6,0],[5,7,0],[4,7,0],[4,6,0]],"old":[[4,6,0],[4,7,0],[5,7,0]],"replacement":[[4,6,0],[5,6,0],[5,7,0]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,7,0],[6,7,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[5,7,0],[6,7,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]},{"face":[[5,6,0],[6,6,0],[6,7,0],[5,7,0]],"old":[[5,6,0],[5,7,0],[6,7,0],[6,6,0]],"replacement":[[5,6,0],[6,6,0]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,6,1],[3,6,0],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[5,6,1],[5,5,1],[5,4,1],[5,4,0],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[6,2,0],[6,3,0],[6,3,1],[6,4,1],[6,5,1],[6,5,0],[5,5,0],[4,5,0],[4,5,1],[4,4,1],[4,3,1],[4,2,1],[4,1,1],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","afterDiagram":"O1+ O2- O3- U3- U4- U1+ O5+ U6+ U2- O4- O6+ O7- U7- U5+ U8- O8-","direction":[11,13,17]}]},"learning":{"transferValidationNodes":6,"transferValidationMs":0.14612500000023942,"system":"unit-cubic-face-internal-vertex-capacity-v1","enabled":true,"applicationsIncludeReplays":true,"cold":false,"initialAssignedValues":3,"version":2,"events":[{"width":2,"context":"[\"1,1,1\",\"1,2,1\",\"2,1,1\",\"2,2,1\"]","samples":[{"profile":[0,0],"outcome":"positive","nodes":1},{"profile":[1,0],"outcome":"negative","nodes":1},{"profile":[0,1],"outcome":"negative","nodes":1},{"profile":[1,1],"outcome":"negative","nodes":1}],"values":[0,0],"activated":true,"probeMs":0.36420800000000497,"validation":{"positives":1,"negatives":3,"unresolved":0,"allResolvedProfilesReplayed":true}},{"width":1,"context":"[\"2,3,0\",\"2,3,1\",\"3,3,0\",\"3,3,1\"]","samples":[{"profile":[0],"outcome":"positive","nodes":1},{"profile":[1],"outcome":"negative","nodes":1}],"values":[0],"activated":true,"probeMs":0.04954100000000494,"validation":{"positives":1,"negatives":1,"unresolved":0,"allResolvedProfilesReplayed":true}}],"transferredApplications":37178,"scope":"Exact local vertex-capacity compatibility. All binary exterior profiles exhaustively probed; translations, signed coordinate permutations and traversal reversal preserve the point model. No target-dependent failure transfer.","assignedComponents":3,"nodes":6,"probeMs":0.4137490000000099,"initialVersion":2,"eventsThisRun":[],"probeNodesThisRun":0,"probeMsThisRun":0,"transferValidationNodesThisRun":6,"transferValidationMsThisRun":0.14400000000023283,"transferredApplicationsThisRun":22176},"verificationMs":172.5679169999994,"totalMs":5097.6962920000005,"scope":"Lazy bidirectional finite-path adaptation. Complete all-face domains, opaque keys, no patch restriction unless explicitly supplied. Local capacity markings preserve legal-edge reachability; future domains remain unknown until exhausted."},{"evaluatorKnot":"5_1","sourceSeed":245,"targetSeed":1107,"source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"sourceDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","targetDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","provenance":[{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[7,7,0],[7,7,1],[7,8,1],[7,8,0]],"old":[[7,7,0],[7,7,1]],"replacement":[[7,7,0],[7,8,0],[7,8,1],[7,7,1]],"vertices":[[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"I+","beforeDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","afterDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","direction":[11,13,17]},{"face":[[7,2,1],[7,2,0],[7,1,0],[7,1,1]],"old":[[7,2,1],[7,2,0]],"replacement":[[7,2,1],[7,1,1],[7,1,0],[7,2,0]],"vertices":[[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","afterDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","direction":[11,13,17]}]},{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":2,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[4,4,0],[4,4,1],[5,4,1],[5,4,0]],"old":[[4,4,0],[4,4,1]],"replacement":[[4,4,0],[5,4,0],[5,4,1],[4,4,1]],"vertices":[[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","afterDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","direction":[11,13,17]},{"face":[[4,4,1],[4,5,1],[4,5,2],[4,4,2]],"old":[[4,4,1],[4,5,1]],"replacement":[[4,4,1],[4,4,2],[4,5,2],[4,5,1]],"vertices":[[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"II+","beforeDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","afterDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","direction":[11,13,17]}]}],"status":"equivalent","meeting":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","leftPath":[114,2040],"rightPath":[232,19840],"distance":4,"stats":{"nodes":119,"attempts":13485,"forced":0,"branches":119,"graphBuilds":119,"peakIncidences":116,"generatedStates":7223,"generatedEdges":13194,"domainCacheHits":0,"rawCandidates":19889,"markingEliminations":6404,"authorRejections":186,"markingVersions":0,"replayedDomains":0,"peakFrontier":6504},"knotEquivalence":"equivalent","certificate":{"version":"lattice-face-reidemeister-v1","source":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"target":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"options":{"depth":4,"maxEdges":220,"direction":[11,13,17],"region":null},"steps":[{"face":[[4,4,0],[4,4,1],[5,4,1],[5,4,0]],"old":[[4,4,0],[4,4,1]],"replacement":[[4,4,0],[5,4,0],[5,4,1],[4,4,1]],"vertices":[[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,8,0],[7,8,1],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","afterDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","direction":[11,13,17]},{"face":[[7,8,1],[7,7,1],[7,7,0],[7,8,0]],"old":[[7,7,0],[7,8,0],[7,8,1],[7,7,1]],"replacement":[[7,7,0],[7,7,1]],"vertices":[[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0],[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"I−","beforeDiagram":"O1+ O2- U2- U3- O4- U5- U6- O6- O7- U8- O3- O9- U9- U4- U10- O10- O5- U7- U11- O11- O8- U1+","afterDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","direction":[11,13,17]},{"face":[[4,5,2],[4,5,1],[4,4,1],[4,4,2]],"old":[[4,4,1],[4,5,1]],"replacement":[[4,4,1],[4,4,2],[4,5,2],[4,5,1]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,1,1],[7,1,0],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"II+","beforeDiagram":"O1- O2- O3- U3- U4- O5- O6- U6- U7- U8- O8- O9- U2- O4- O10- U10- U5- O7- U9- U1-","afterDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","direction":[11,13,17]},{"face":[[7,2,1],[7,2,0],[7,1,0],[7,1,1]],"old":[[7,2,1],[7,1,1],[7,1,0],[7,2,0]],"replacement":[[7,2,1],[7,2,0]],"vertices":[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]],"key":"[[1,1,0],[1,1,1],[1,2,1],[1,3,1],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,4,1],[3,5,1],[3,5,0],[4,5,0],[5,5,0],[5,5,1],[5,6,1],[5,7,1],[5,7,0],[6,7,0],[7,7,0],[7,7,1],[7,6,1],[7,5,1],[7,4,1],[7,3,1],[7,2,1],[7,2,0],[6,2,0],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[5,4,0],[5,4,1],[4,4,1],[4,4,2],[4,5,2],[4,5,1],[4,6,1],[4,6,0],[5,6,0],[6,6,0],[6,6,1],[6,5,1],[6,4,1],[6,3,1],[6,2,1],[6,1,1],[6,1,0],[5,1,0],[4,1,0],[3,1,0],[2,1,0]]","kind":"routing","beforeDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","afterDiagram":"O1+ O2- O3- O4- U5- O6- O7- U7- U8- U9- U2- U1+ O9- O10- U4- U11- O11- O5- O12- U12- U6- O8- U10- U3-","direction":[11,13,17]}]},"learning":{"transferValidationNodes":12,"transferValidationMs":0.22808300000090753,"system":"unit-cubic-face-internal-vertex-capacity-v1","enabled":true,"applicationsIncludeReplays":true,"cold":false,"initialAssignedValues":3,"version":2,"events":[{"width":2,"context":"[\"1,1,1\",\"1,2,1\",\"2,1,1\",\"2,2,1\"]","samples":[{"profile":[0,0],"outcome":"positive","nodes":1},{"profile":[1,0],"outcome":"negative","nodes":1},{"profile":[0,1],"outcome":"negative","nodes":1},{"profile":[1,1],"outcome":"negative","nodes":1}],"values":[0,0],"activated":true,"probeMs":0.36420800000000497,"validation":{"positives":1,"negatives":3,"unresolved":0,"allResolvedProfilesReplayed":true}},{"width":1,"context":"[\"2,3,0\",\"2,3,1\",\"3,3,0\",\"3,3,1\"]","samples":[{"profile":[0],"outcome":"positive","nodes":1},{"profile":[1],"outcome":"negative","nodes":1}],"values":[0],"activated":true,"probeMs":0.04954100000000494,"validation":{"positives":1,"negatives":1,"unresolved":0,"allResolvedProfilesReplayed":true}}],"transferredApplications":69461,"scope":"Exact local vertex-capacity compatibility. All binary exterior profiles exhaustively probed; translations, signed coordinate permutations and traversal reversal preserve the point model. No target-dependent failure transfer.","assignedComponents":3,"nodes":6,"probeMs":0.4137490000000099,"initialVersion":2,"eventsThisRun":[],"probeNodesThisRun":0,"probeMsThisRun":0,"transferValidationNodesThisRun":6,"transferValidationMsThisRun":0.08195800000066811,"transferredApplicationsThisRun":32283},"verificationMs":380.46649999999863,"totalMs":12615.111541999999,"scope":"Lazy bidirectional finite-path adaptation. Complete all-face domains, opaque keys, no patch restriction unless explicitly supplied. Local capacity markings preserve legal-edge reachability; future domains remain unknown until exhausted."}],"runtime":{"node":"v24.19.0","maxRSSKiB":322704,"memoryAtEndBytes":{"rss":330022912,"heapTotal":223199232,"heapUsed":89705352,"external":2190117,"arrayBuffers":137467}}}],"scope":"All lattice face placements throughout both knots. Provenance not passed to search. Separate fresh Node worker per lane. Transfer lane shares only its in-memory local marking model across different knot tests. No bundled marking import."}